随机 Petri 网的瓶颈及其最大处理能力

介绍了随机Ｐｅｔｒｉ网瓶颈的概念,给出了一般随机Ｐｅｔｒｉ网最大处理能力的数学模型,针对一类特殊结构的随机Ｐｅｔｒｉ网,导出了分析其最大处理能力和瓶颈的快速算法,最后给出了一个防空决策组织信息处理瓶颈与处理能力分析的实例。     

遥感数据处理任务调度的Petri网模型及求解算法

为了对多源遥感数据的处理任务进行有效的调度和管理,提高处理资源的利用率,根据遥感数据处理任务调度问题的特点,采用Petri网对该问题进行形式化描述,建立了遥感数据处理任务调度的数学模型,根据该问题的多目标特性,采用蚁群算法进行求解.给出仿真实例,将蚁群算法的求解结果与启发式算法和模拟退火算法的求解结果进行比较,验证算法...     

亚波长割线对结构的太赫兹共振特性

利用有限元方法模拟了以亚波长周期排列的金属割线对(cut-wire pair)结构在太赫兹频域的透射谱.以单色平面波正入射该结构,透射谱出现很强的共振峰,其线宽随着金属几何线宽增加而增加,且在频域上出现红移.通过理论建模和数值仿真相结合分析,证明了这种随金属线宽增加而增强变宽的共振峰是法布里-珀罗(Fabry-Péro...     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

基于FBS模型的电子装备仿真方法

针对电子装备功能结构的复杂性,提出了一种基于FBS(功能——行为——结构)模型的电子装备仿真的新方法,并详细介绍了该模型的原理及其分析、建立过程.然后以该模型为基础,分析了如何针对电子装备的具体结构、功能特点,确立仿真策略、选择仿真软件以满足仿真要求,并以某复杂电子装备为例,探讨了其虚拟仿真的设计与实现.最后根据实际应...     

化学毒剂及相关化合物的色谱及质谱分析检测研究进展

介绍了当前对毒剂及相关化合物的色谱及质谱分析检测研究进展和发展趋势。仪器设备方面,气相色谱-质谱联用仪仍是主力仪器：但对热不稳定性及难挥发性化合物来说,用液相色谱-质谱来分析则更为合适;发展现场可用的、便携式鉴别技术和设备也是一个发展趋势。分析化合物方面,不能局限于附表化学品,应该积极开展对毒素及毒物与生物体加合物等复杂化合物的分析研究。样品基质方面,应该展开对新型消毒剂样品及生物样品的研究。     

斯蒂芬-玻耳兹曼定律的微观证明研究

斯蒂芬-玻耳兹曼定律是热辐射理论中的一个重要规律,准确地理解该规律对掌握辐射传热和在实际消防灭火中灵活应用具有重要的意义。从经典热力学统计理论和微观量子波动理论两个不同的角度对该定律进行了详细地证明,得到了统一的结果,并对此加以讨论。     

一类比率型捕食系统的定性分析

研究一类比率型捕食者-食饵模型dxdt=x(a-bx)-x2c+x2myy2dydt=y(-r+x2d+xm2y2),应用微分方程定性理论,得出该系统极限环的存在性与正平衡点的全局渐近稳定性的充分条件。     

本征模式函数与经验模式分解方法分析

介绍本征模式函数IMF满足的条件和定义,分析了经验摸式分解EMD的前提、本质及其对非线性平衡系统数据处理所体现的优越性,并以隧道采集的风力数据处理为例,对上述理论进行了验证,展示了这种新方法的作用和效果。最后,从理论上证明了所处理数据的完备性及EMD成员正交性应满足的条件。     

多转子-轴承系统虚拟样机建模及仿真

以LMS Virtual.Lab Motion为开发环境建立了某传动箱多转子-轴承系统虚拟样机,导入PRO/E模型文件进行简化,建立实体模型。针对目前所建立的齿轮传动系统虚拟样机过于简化的情况,建立了考虑时变啮合刚度的非线性扭转振动模型。通过组合副和用户自定义程序,实现了齿轮副和轴承端的耦合振动模型。仿真结果表明:通过虚拟样机仿真的方法获得载荷谱是可行的,其可用于深入研究传动箱的振动分析、强度校核和寿命预测。