排序方式: 共有95条查询结果,搜索用时 0 毫秒
91.
92.
研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用. 相似文献
93.
个别谈心作为经常性思想政治工作的有效形式之一,在基层部队用得比较广泛。新形势下官兵现实思想和行为表现都发生了深刻的变化,如何提高谈心水平,进而准确把握官兵的思想脉搏、有效解决官兵的现实思想困惑呢?对于这个问题,基层带兵人可能会见仁见智各有高招,我的体会是坚持做到“四得”。 相似文献
94.
面向多约束下高超声速飞行器末制导过程中的通道耦合、参数扰动、模型失配等突出问题,设计一种适于高超声速飞行器的三维非线性自适应末制导律。为了模型描述的完整性和简洁性,引入视线旋量和旋量速度的概念,并基于此建立三维制导参考模型和实际系统的表达式;为了保证制导律的鲁棒性和自适应性,基于自适应控制理论,设计一种三维非线性自适应制导律;通过数学推导证明了该制导律的稳定性。该制导律能够从理论上克服高超声速飞行器末制导面临的通道耦合、参数扰动、模型失配等突出问题,满足多约束制导要求。仿真结果验证了所设计制导律的有效性。 相似文献
95.