A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint

Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface(ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints(TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics(IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards.     

对两种典型非工作储备模型的分析

对两种典型的非工作储备模型进行了深入的分析。对成败型模型的分析得出，当组成单元均为成败型时，非工作储备模型与并联模型等效的结论。对限时型模型的分析，考虑其储备单元的耗损故障机理，则建立相应的数学模型。     

温度测点优化在机床主轴热误差建模中的应用

从理论上分析了机床主轴温度场与热变形的动态特性,证明了机床主轴上最佳温度测点的存在,并通过实验加以论证。采用黄金分割法对主轴最佳温度测点的位置进行优化,并采用最佳温度测点处的温度建立线性函数,精确预报主轴的热伸长量。     

散乱点曲面测量造型技术及其在飞机曲面工装模具设计与制造中的应用研究

 分析研究了利用坐标测量机进行曲面模具数控测量的有关理论和方法。提出了一种基于测量规划、散乱点三角划分和采用Ｂｅｚｉｅｒ三角形插值曲面重建曲面模具实物数学模型的方法。目前，这种重建实物数学模型的方法已经在复杂曲面模具散乱点测量、几何造型和数控加工系统３ＭＳ中得到了应用，较好地解决了航空、航天及汽车工业中一类构型十分复杂、形状和边界极不规则曲面产品的设计与制造     

刚体群点的预测模型

本文讨论了对刚体群点进行动态预测的建模方法，该方法尽可能地保持群点间相互联系的整体性，仅对群点运动中的独立运动因素进行建模，当刚体群点集合中样本点数量很大时，它可以使建模工作量大幅度下降，同时使模型的精度和可靠性得到更好的保证。     

无人机系统的仿真建模研究

在对无人机系统概念分析的基础上，通过对无人机系统中各个子系统工作原理的分析，对其遥控遥测子系统中的通讯系统部分进行了数学建模，结合无人机本体的动力学模型，建立了其内外环飞行控制系统的数学模型，并进行了一个无人机空中徘徊待机对地压制攻击任务的仿真计算，结果表明，所建立的数学模型可以满足战术任务的要求。     

补偿模糊神经网络在机床热误差预报模型中的应用

提出了一种基于补偿模糊神经网络的数控机床热误差预报模型,讨论了该模型的详细结构、模糊规则、训练算法及相关技术问题,并给出了智能预报结果和精度评价。     

基于误差通道在线辨识的直升机结构振动主动控制研究

 提出一种基于误差通道在线辨识的有源控制方法,并把它应用于直升机结构振动的主动控制。针对一直升机模型与前人的方法进行了比较,并进行多输入多输出的主动控制仿真。仿真结果表明,这种控制方法明显优于前人的方法,说明这种基于误差通道在线辨识的多输入多输出的主动控制方法对直升机结构振动有很好的抑制作用。     

面向Web服务的制造企业应用集成技术

在探讨现代制造企业对信息资源与技术实际需求的基础上 ,针对企业在信息系统架构方面形成“信息孤岛”这一缺陷 ,采用企业应用集成 (EAI)方法和技术 ,提出面向分布式网络环境下基于Web服务的企业业务流程管理集成应用解决方案与实现途径 ,有力地促进了企业实现各种遗产系统与新的企业应用系统的集成 ,更进一步促进制造企业加速实现信息化工程。     

虚拟现实技术在三维编织物设计及仿真中的应用

以四步法三维管状编织物身例，讨论了虚拟现实技术在三维编织物仿真设计中应用的关键技术问题；该方法的使用，使得用户在织造前就可在虚拟环境中自由缩放、移动、旋转织物模型，清楚地了解纱线的编织运动过程，并使编织工艺设计的网络化成为可能。