简介:随机Petri网(SPN)是一种基于状态空间的可靠性建模分析方法,由于它具有其他可靠性分析方法(可靠性框图、故障树等)所不可比拟的优势,使其成为目前系统可靠性分析中备受关注的一种方法。但是,当所分析系统复杂时,状态空间爆炸问题是SPN进行系统可靠性分析最大的挑战。特别针对神光Ⅲ原型装置计算机控制系统这一庞大、复杂的系统,状态空间大小不可估量,所以很有必要研究克服SPN空间状态爆炸的方法。根据系统可靠性分析时常用到的SPN模型结构和有关可靠性分析理论知识,提出了模型结构约简方法,以约简系统模型,从而克服或缓解SPN模型可靠性分析中的状态爆炸问题。
简介:语音识别控制系统需要对语音进行录制与播放处理,利用单片机实现该功能可克服传统语音录制与播放系统需外接语音处理模块、体积大且使用较复杂的缺点。因此选用SPR4096存储器作为语音的数字化信号存储器件,利用凌阳16位单片机设计与实现语音录制与播放硬件系统。结果表明,该硬件系统降低了电路复杂度和制作成本,简单易行,具有有较高的实用价值。
简介:地磁异常场的强度在空间上变化丰富而在时间上很稳定。对地磁异常值与位置之间的非线性函数关系进行了随机线性化,将地磁异常测量值直接作为观测量,采用扩展卡尔曼滤波技术实现地磁异常测量信息与惯性导航信息的融合,估计并校正了惯性导航系统导航误差.仿真表明,组合导航系统具有如下良好性能:对地磁异常具有广泛的适用性;对初始位置误差、速度误差及姿态误差具有较好的鲁棒性;对地磁数据噪声敏感度较低;可实时更新组合导航信息.将观测量选为参考数据测量值的信息融合策略引入惯性/地磁组合导航。定量描述地磁异常辅助惯性导航系统的信息量,分析组合导航系统对地磁图的适用性.
简介:利用Liapunov函数方法,研究了一类一般的非线性系统周期解的存在唯一性与渐近稳定性,得到了存在唯一渐近稳定周期解的充分条件。
简介:提出并研究具有反馈控制变量和Holling-Ⅱ类功能性反应的修正Leslie-Gower离散捕食系统的持久性问题,通过运用差分不等式得到了一组保证该系统持久的充分性条件.该结果表明反馈控制变量不会影响系统的持久性从而改进了已有的结果.数值模拟显示了本文结果的可行性.
简介:研究半直线上带无限个脉冲点的中立型泛函微分方程非振动解的渐进性,并给出正解存在的充分条件.