检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

60 篇 专利
34 篇 期刊文献
22 篇 学位论文
10 篇 会议
3 册 图书

馆藏范围

127 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

43 篇 工学
- 18 篇 控制科学与工程
- 9 篇 光学工程
- 9 篇 电气工程
- 7 篇 软件工程
- 6 篇 机械工程
- 2 篇 仪器科学与技术
- 2 篇 航空宇航科学与技...
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 信息与通信工程
- 1 篇 计算机科学与技术...
- 1 篇 环境科学与工程（可...
37 篇 理学
- 26 篇 数学
- 12 篇 系统科学
- 2 篇 物理学
2 篇 管理学
- 2 篇 管理科学与工程(可...
1 篇 文学
- 1 篇 外国语言文学

主题

69 篇 微分代数
4 篇 无位置传感器控制
4 篇 非线性控制系统
4 篇 非线性系统
3 篇 数值计算
2 篇 偏微分方程组
2 篇 死区补偿
2 篇 磁浸没透镜
2 篇 曲轴像差
2 篇 proceedings
2 篇 渐近稳定性
2 篇 代数约束
2 篇 控制
2 篇 代数方程
2 篇 smpmsm驱动系统
2 篇 自动微分
2 篇 微分几何
2 篇 轨迹优化
2 篇 电子光学
2 篇 李代数

机构

8 篇 西安交通大学
6 篇 西北工业大学
5 篇 南京信息工程大学
4 篇 大连理工大学
4 篇 中国人民解放军国...
4 篇 东南大学
4 篇 艺术系统软件有限...
4 篇 清华大学
4 篇 哈尔滨工业大学
4 篇 北京航空航天大学
4 篇 浙江大学
4 篇 合肥工业大学
2 篇 上海师范大学
2 篇 中国科学院大学
2 篇 中国人民解放军国...
2 篇 天津大学
2 篇 上海电机学院
2 篇 国防科技大学
2 篇 兰州大学
2 篇 南方电网科学研究...

作者

7 篇 杨震
7 篇 罗亚中
6 篇 张进
6 篇 唐天同
5 篇 孙冲
5 篇 陈建林
5 篇 孙振江
5 篇 潘慧敏
4 篇 陈乔乔
4 篇 b.施泰因
4 篇 崔尧
4 篇 翟小祥
4 篇 袁建平
4 篇 臧强
4 篇 代洪华
4 篇 李必信
4 篇 程敏
4 篇 d.库拉托洛
4 篇 m.霍夫曼
4 篇 胡凯

语言

128 篇 中文
1 篇 英文

检索条件"主题词=微分代数"

共 129 条记录，以下是41-50 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

用于实时计算混合微分代数过程模型的状态参量的方法

用于实时计算混合微分代数过程模型的状态参量的方法

引用

作者： D.库拉托洛 M.霍夫曼 B.施泰因德国帕德博恩

描述和示出一种用于在具有过程接口的过程计算机上以相继的时间步骤实时计算混合微分代数过程模型（DAP）的状态参量的方法，其中过程计算机被设计为，使得通过过程接口可以获取物理过程的至少一个过程参量和/或可以由过程计算机输出用... 详细信息

标准号: CN102667780A

描述和示出一种用于在具有过程接口的过程计算机上以相继的时间步骤实时计算混合微分代数过程模型（DAP）的状态参量的方法，其中过程计算机被设计为，使得通过过程接口可以获取物理过程的至少一个过程参量和/或可以由过程计算机输出用于影响物理过程的输出参量，其中至少通过积分器功能、条件分析功能以及在识别出条件变化的情况下通过针对结构判决参量的一致性识别功能来求解混合DAP，并且混合DAP的部分依据结构判决参量而有效或无效。

关键词：过程计算机参量过程接口物理过程积分器功能过程参量过程模型时间步骤实时计算条件变化条件分析微分代数状态参量判决

来源：评论

学校读者我要写书评

暂无评论

一种基于微分代数时序动态逻辑的CPS属性验证方法

一种基于微分代数时序动态逻辑的CPS属性验证方法

引用

作者：李必信翟小祥李加凯朱敏陈乔乔 211189 江苏省南京市江宁开发区东南大学路2号

本发明提出了一种基于微分代数时序动态逻辑的CPS属性验证方法，用于对CPS进行系统建模、属性规约和属性验证。本发明涉及到的关键操作包括：(1)在对CPS详细分析的基础上，使用微分代数程序对CPS进行系统建模，得到系统的操作模型；(2)... 详细信息

标准号: CN102722593B

本发明提出了一种基于微分代数时序动态逻辑的CPS属性验证方法，用于对CPS进行系统建模、属性规约和属性验证。本发明涉及到的关键操作包括：(1)在对CPS详细分析的基础上，使用微分代数程序对CPS进行系统建模，得到系统的操作模型；(2)使用DATL对要验证的CPS属性进行规约，得到DATL公式，此规约过程考虑了CPS的时序行为；(3)使用DATL中的相继式演算对前面得到的DATL公式进行验证，整个演算过程是通过不断地使用DATL规则来进行推理，最后得出DATL公式成立，也就是CPS属性满足。

关键词：规约微分代数系统建模验证时序进行验证时序动态演算过程验证方法推理分析

来源：评论

学校读者我要写书评

暂无评论

基于HybridUML向微分代数程序转换的CPS建模与验证方法

基于HybridUML向微分代数程序转换的CPS建模与验证方法

引用

作者：李必信陈乔乔翟小祥宋锐张前东 211189 江苏省南京市江宁开发区东南大学路2号

本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-Algebraic Dynamic Logic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CP... 详细信息

标准号: CN102426522A

本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-Algebraic Dynamic Logic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。

关键词：进行验证微分代数建模程序转换动态逻辑验证方法转换推理

来源：评论

学校读者我要写书评

暂无评论

一种基于微分代数时序动态逻辑的CPS属性验证方法

一种基于微分代数时序动态逻辑的CPS属性验证方法

引用

作者：李必信翟小祥李加凯朱敏陈乔乔 211189 江苏省南京市江宁开发区东南大学路2号

标准号: CN102722593A

关键词：规约微分代数系统建模验证时序进行验证时序动态演算过程验证方法推理分析

来源：评论

学校读者我要写书评

暂无评论

多输入多输出非线性微分代数子系统的输出校正控制方法

多输入多输出非线性微分代数子系统的输出校正控制方法

引用

作者：臧强岳华潘慧敏胡凯 210044 江苏省南京市江北新区宁六路219号

本发明公开了一种多输入多输出非线性微分代数子系统的输出校正控制方法，包括：创建多输入多输出非线性微分代数子系统，其包括若干个非线性微分子系统模块，该多输入多输出非线性微分代数子系统存在向量相对阶、并且向量相对阶的阶数... 详细信息

标准号: CN109459932A

本发明公开了一种多输入多输出非线性微分代数子系统的输出校正控制方法，包括：创建多输入多输出非线性微分代数子系统，其包括若干个非线性微分子系统模块，该多输入多输出非线性微分代数子系统存在向量相对阶、并且向量相对阶的阶数和小于微分变量维数；计算非输入多输出非线性微分代数子系统的微分同胚，通过微分同胚和状态反馈将非输入多输出非线性微分代数子系统转换成等价系统，等价系统包括若干个等价子系统；通过反步方法构建每个等价子系统的子系统控制器；将各组子系统控制器控制器与状态反馈统一组成大系统输出校正控制器。本发明能够使得被控对象的范围更广泛，将本发明所提及的方法应用在电力系统中能够使系统趋于稳定。

关键词：微分代数多输出子系统控制器向量相对阶等价系统输出校正状态反馈控制器等价子系统模块被控对象电力系统微分变量大系统构建阶数维数转换创建统一

来源：评论

学校读者我要写书评

暂无评论

基于微分代数与高斯和的非线性系统状态偏差演化方法

基于微分代数与高斯和的非线性系统状态偏差演化方法

引用

作者：罗亚中孙振江张进杨震 410073 湖南省长沙市砚瓦池正街47号

本发明公开了一种基于微分代数与高斯和的非线性系统状态偏差演化方法，步骤包括：采用微分代数方法预报非线性系统的终端状态，并表示为关于初始状态偏差的高阶泰勒展开多项式；确定子高斯分布协方差矩阵，针对各个子高斯分布打靶拟合... 详细信息

标准号: CN107402903B

本发明公开了一种基于微分代数与高斯和的非线性系统状态偏差演化方法，步骤包括：采用微分代数方法预报非线性系统的终端状态，并表示为关于初始状态偏差的高阶泰勒展开多项式；确定子高斯分布协方差矩阵，针对各个子高斯分布打靶拟合高斯和模型；计算子高斯分布高阶中心矩；确定各子高斯分布在终端时刻的均值和协方差矩阵，给出高斯和形式的终端状态偏差分布概率密度函数。本发明能够自动拓展至任意指定阶偏差演化精度，无需手动推导动力学方程的高阶偏导数，适用于非线性强和长时间预报的非线性系统偏差演化分析问题，在精确描述偏差分布及其非高斯性的同时，仍能保持相对Monte Carlo仿真方法的显著效率优势，具有使用方便、计算精度高的优点。

关键词：高斯分布非线性系统高阶高斯微分代数终端状态矩阵动力学方程协方差矩阵分布概率密度函数时间预报泰勒展开效率优势状态偏差非高斯偏导数中心矩推导方差拟合终端预报拓展分析

来源：评论

学校读者我要写书评

暂无评论

基于微分代数的静止轨道摄动相对轨迹高阶制导方法

基于微分代数的静止轨道摄动相对轨迹高阶制导方法

引用

作者：罗亚中孙振江张进杨震 410073 湖南省长沙市开福区德雅路109号

本发明涉及一种基于微分代数的静止轨道摄动相对轨迹高阶制导方法，属于航天器轨道动力学技术领域，考虑光压摄动地球静止轨道非线性相对运动轨迹的两脉冲制导问题，首先依据线性化的考虑光压摄动相对运动方程解析求解线性制导脉冲，然... 详细信息

标准号: CN108490966A

本发明涉及一种基于微分代数的静止轨道摄动相对轨迹高阶制导方法，属于航天器轨道动力学技术领域，考虑光压摄动地球静止轨道非线性相对运动轨迹的两脉冲制导问题，首先依据线性化的考虑光压摄动相对运动方程解析求解线性制导脉冲，然后利用微分代数方法，以线性解为参考轨迹求解制导所需速度增量关于初始和终端位置偏差的高阶泰勒多项式，最后将参考轨迹终端脱靶量代入该泰勒多项式，求得所需的制导脉冲，无需多次迭代积分，能够以任意高阶精度计算所需制导脉冲，计算精度高，应用标称问题的制导映射，仅需多项式运算即可求解标称问题附近的偏置制导问题，无需重新积分计算，计算精度和效率高。