排序方式: 共有56条查询结果,搜索用时 156 毫秒
31.
研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用. 相似文献
32.
为了探究战场威胁下多轴特种车辆轮胎系统的生存概率,对轮胎系统的抗毁伤能力进行量化表征,提出了一种基于等毁线的轮胎系统抗毁伤能力表征方法。针对轮胎毁伤状态下对整车的影响,基于车辆动力学对轮胎系统的力学特性进行量化表征,建立了轮胎系统功能毁伤的计算模型;采用毁伤理论对冲击波超压场进行弹目交会和量化分析,建立了轮胎系统物理毁伤的计算模型;根据爆心与车辆的位置关系,采用面向车辆全面域的计算特征线,建立了轮胎系统等毁线计算模型。以某型五轴特种车辆为例,进行了表征方法验证。研究结果表明:该表征方法可应用于战场威胁下多轴特种车辆轮胎系统的抗毁伤能力表征,为后续机动规避和防护能力提升奠定模型基础。 相似文献
33.
研究一类具有时滞的两种群捕食系统,通过分析特征方程讨论了正平衡点的局部稳定性问题。通过构造适当的Lyapunov泛函,得到了保证系统正平衡点全局渐近稳定的充分条件,并讨论了在正平衡点附近Hopf分支的存在性问题。 相似文献
34.
系统总结了在教材中双官能团有机化合物的命名规则,对教材内容提出了适当的补充,综合了各类双官能团有机物的命名特点,得出适用于双官能团有机物的命名规则,丰富了教材内容。 相似文献
35.
首先对脑功能成像技术的研究背景和发展历程进行了简单的回顾 ,然后对脑功能光学成像方法进行了分类综述 ,主要介绍了电压敏感性染色成像、内源光学成像、光学相干层析成像、神经元活动相关光信号成像等成像方法的原理和最新进展 ,并总结了选择光学成像系统所应考虑的因素 ,最后 ,通过对各种成像方法的分析和比较 ,提出了改进和完善脑功能光学成像技术的建议 ,并对脑功能光学成像技术的发展前景指出了一些可能的方向 相似文献
36.
本文研究了一个在 PC 机上运行的模拟系统,可以用来对一般的单片微机应用系统进行功能模拟和时序分析,具有以下两个特点:(1)系统模拟;(2)软、硬件同时模拟。本文介绍了模拟系统的基本组成,讨论了元件模型的建立,并给出了相应的模拟算法。 相似文献
37.
时宝 《国防科技大学学报》1993,15(2):84-88 ,110
本文研究方程:x'(t)=A(t)f(x(t),x(x(t)))强解的渐近性态,对Eder,Wang (王克) 等的结果作了部分推广。 相似文献
38.
郝建平 《军械工程学院学报》1995,(2)
分析了装备战伤修理与平时维修的主要差别,指出平时装备备件研究基本假设不适用于战伤修理备件研究。在此基础上作者介绍了另一种适合于战伤修理备件研究的基本假设,给出了基本的数学推导。最后作者还提出了战伤修理备件研究的一般步骤。 相似文献
39.
空空导弹攻击区处理的拟合——插值法 总被引:3,自引:0,他引:3
用最小二乘拟合与插值相结合的方法对空空导弹的发射包线进行处理,降低了拟合阶次。数字仿真结果表明,该方法不但在平常发射条件下极大地提高了拟合的精度和速度,而且在一些传统方法几乎无法使用的异常情况下仍有较好的结果。 相似文献
40.
在军队改革的大环境下,军事训练从难从严向实战化聚焦将成为日常训练的常态,而体能训练就是其中最为基础和重要的训练。但是,现阶段的军事体能训练仍然存在着训练理论不系统、训练方法不科学、相关心理指导和心理训练缺乏等弱点,从而造成体能训练成绩提升缓慢、训练损伤居高不下的问题。本文运用功能性军事体能训练和心理训练相结合的方法,从新兵体能训练着手,对其进行身心干预,旨在增强心理适应能力、提高训练成绩、减少训练损伤,为提高部队实战化训练水平打下基础。 相似文献