VLSI门级及功能级混合测试生成技术

介绍了混合形式自动测试图形生成技术,该技术将门级测试图形生成技术与在线路高一级抽象形式上进行测试生成技术相结合。利用该技术开发的自动测试生成程序在内附检测器自动植入模块后可用于VLSI线路的设计系统。     

美、欧正式签署第二阶段“天空开放”协议

6月22～24日,第五届全球航空情报管理大会在北京召开．来自ICAO．IATA．Eurocontrol等将近50多个国家和组织的近400位代表参加了大会,民航局空管局局长王利亚作为承办方代表在大会上致欢迎词。     

基于扩展卡尔曼滤波的动量轮故障检测方法

 动量轮作为卫星姿态控制系统的关键执行部件,对其故障检测对维持卫星的正常运行具有重要意义。首先对动量轮系统的故障进行分析,在建立动量轮线性离散状态空间模型的基础上,把动量轮的故障检测作为时变参数系统的跟踪来处理,将动量轮的模型参数作为扩展的状态空间中的状态量,使得动量轮物理模型参数与状态空间中的状态量有对应关系,通过在扩展了的状态空间上采用扩展的卡尔曼滤波,完成时变参数的跟踪。然后,将离散空间的状态量变换回连续空间中,利用物理参数与状态量的对应关系,实现对动量轮物理参数的跟踪。此方法物理意义明确,为系统的物理参数提供了定量的估计值,为进一步诊断故障原因提供了良好的基础。数值仿真表明,此方法能够通过同时检测多个故障参量,实现故障的检测并满足卫星实时性要求。     

基于STAMP/STPA的机轮刹车系统安全性分析

把机轮刹车系统在飞机降落过程中的安全性问题当作系统控制问题,不采用基于故障概率模型的事故模型,而是采用基于系统理论的事故模型和过程(STAMP),构建机轮刹车系统在飞机降落过程中的STAMP控制关联模型和系统理论过程分析(STPA)反馈控制回路。根据系统运行的上下文信息识别机轮刹车系统在飞机降落过程中的不安全控制行为,分析产生不安全控制行为的关键原因。对机轮刹车系统在飞机降落过程中的不安全控制行为进行仿真研究,结果表明了STAMP/STPA的有效性和用仿真方法分析安全性问题的可行性。     

对称六相PMSM与 三相PMSM串联系统的数学建模

针对表贴型转子结构的对称六相PMSM与三相PMSM串联系统,建立了自然坐标系下的数学模型,并利用解耦变换矩阵将电压矢量方程变换到3个相互正交的αβ-xy-o_1o_2子空间中去,分别进行了同步旋转变换,推导出两相同步旋转坐标系下的数学模型;最后,利用i_d=0的矢量控制策略进行了变速解耦运行的仿真验证。     

舰载直升机起降灯光引导系统装置设计

介绍了某舰载直升机起飞着陆灯光引导系统的功能,设计了指挥工作台控制装置,实现了对舰面灯光设备的控制及工作状态的显示,同时还介绍了硬件电路的设计。