一种基于航电系统架构模型的故障树自动建模方法

航电系统作为安全关键系统,利用故障树对其进行安全性分析十分必要。然而,传统的故障树依靠手工构建,主要依赖于分析人员对系统的理解程度;同时由于安全性分析人员与系统设计人员对系统的理解不同而很难保证失效模式与系统架构的一致性。针对上述问题,提出了一种基于航电系统架构模型的故障树自动建模方法:通过向系统设计模型中添加相应的安全性属性,并嵌入高级形式化语言AltaRica中的断言机制描述故障转移过程,由此形成安全性分析模型;基于此模型利用路径追溯的方法完成故障树自动建模。以某飞机驾驶舱显示系统为案例的研究结果表明,所提出的方法能基于航电系统架构模型有效进行故障树自动建模,从而确保了故障树分析结果的完整性。     

大型高空台进排气控制半物理仿真系统设计

为构建大型复杂高空模拟试车台进排气控制半物理仿真系统,提出了仿真模型和实物部件相结合的系统设计方法。依据系统结构组成及工作机理统筹规划系统仿真模型和实物部件,利用理论建模、系统辨识方法建立仿真模型,并基于PLC完成系统设计和软件开发,最终将仿真模型和实物部件高效统一形成半物理仿真试验台。通过仿真平台实现了系统一体化虚拟仿真,结果表明系统运行可靠稳定,能够准确模拟真实发动机试车过程。     

平流层演示验证飞艇实时仿真平台设计

在平流层飞艇的设计和研究中,飞行仿真可以有效验汪飞艇的动力学模型、控制器设计,检验飞艇的操纵性、飞行稳定性。同时,实时仿真技术可以提高飞艇性能,缩短研制周期。为解决上述问题,提出通过搭建飞艇的实时仿真平台,实现飞行仿真和实时仿真技术的统一。针对上海交通大学"致远一号"平流层演示验证飞艇,使用xPC target搭建了飞艇的实时仿真平台,完成了利用Simulink软件的动力学建模和控制系统设计,同时利用Flightgear飞行模拟器为仿真系统设计开发了视景仿真系统。进行仿真的结果显示,系统较好的实现了飞艇从上升到返回全过程飞行任务,视景系统直观准确地显示了飞艇在仿真过程中的状态变化,并可以为后续研究工作提供了依据。     

飞机供电系统的Saber仿真

飞机供电系统是整个飞机系统的重要组成部分,负责向机上所有电气负载提供高可靠性的电能.利用仿真软件Saber建立了一个具有双余度的飞机供电系统的仿真模型,在逐步建立起系统各个主要模块的基础上,搭建起一个能够保证稳定供电的飞机供电系统,并对系统在各个故障模式下的工作情况进行整体仿真.仿真结果表明,该系统结构紧凑,功能完善,在各种故障模式下都能够稳定运行,并提供连续稳定的电能.此外该系统还具有很好的扩展性,对于其他飞机供电系统的设计具有一定的参考价值.     

舰载机自动着舰可视化仿真

根据舰载机自动着舰系统的原理建立了航母的甲板运动、舰尾流、甲板运动补偿和舰载机着舰的引导控制模型;使用3D Max软件绘制了飞机、航母的三维模型;利用Visual C++和OpenGL软件进行编程,完成了舰载机自动着舰仿真软件的设计,并实现了舰裁机自动着舰的可视化仿真.     

基于ARINC739规范的控制显示组件仿真系统研究

通过对ARINC739规范的研究,利用接口仿真技术设计了具有真实航电组件接口特性和外形的多功能控制显示组件仿真系统;系统设计使用面向对象的设计语言,建立了符合ARINC739规范通信接口模型,解决了页面系统生成、协议故障注入等关键问题;仿真结果表明,仿真系统可以完成与其他飞机系统的数据交互和显示,协议故障注入功能对于测试其他仿真组件的故障处理功能有较大帮助。     

飞机高压直流电气系统的建模和仿真

飞机高压直流电气系统是一种新型的电气系统,建立了包括发电机、直流斩波器、三相逆变器等高压直流电气系统典型组成部件的时域数学模型,利用基于微分方程的仿真方法,设计了以matlab作为计算平台的仿真程序,进行了系统加载实验,实验结果和实际较好的吻合;首先利用微分方程稳定性理论分析了DC/DC模块和恒功率负载相互作用时的稳定性问题,得出一个稳定性的结论,然后用模型进行了仿真验证,理论分析与仿真结果吻合,证明建模方法和结果是正确有效的,对系统设计具有参考价值.     

欠驱动步行机器人实时仿真系统设计

开发了异构多软件平台融合的机器人实时仿真系统。在欠驱动步行机器人动力学建模中引入虚拟样机技术,利用ADAMS软件生成动力学模型,利用MATLAB软件设计控制器,二者通过接口实现联合仿真;在开发人机界面及连接各个模块的接口中引入MATLAB和VC＋＋混合编程技术,完成对硬件的驱动控制及系统平台的操作。该仿真系统实现对欠驱动步行机器人进行理论步态仿真、控制方法的开发及实验研究,对实体机器人的控制调试、实时控制算法的设计。     

Ka频段数字卫星广播系统仿真设计

研究卫星优化通信技术问题,给出了Ka频段基于DVB-S标准的数字卫星广播系统的建模方法,设计了场景显示模块、软限幅转发器模块、信道模块和通信收发模块,其中场景显示模块完成了天线设计、场景显示和链路计算;软限幅转发器模块完成了通信卫星有效载荷部分的建模;信道模块完成了Ka频段同步轨道通信卫星的信道建模;通信收发模块完成了依据DVB-S标准的通信系统设计,在STK和Simulink软件上进行了仿真试验.对不同天气条件下系统的误码性能也进行了分析,仿真结果表明,通信场景可以实时显示,同时可提高抗干扰性能,可以为系统提供可靠的仿真平台.     

基于MATLAB/Simulink的电力系统仿真

通过一个示例介绍了MATLAB6.5电力系统工具箱的应用.依据一个工厂的厂用电供电系统电路模型要求,利用MATLAB的动态仿真软件Simulink搭建了该系统的仿真模型,得到了在该系统主供电线路电源端发生三相短路接地故障并由断路器自动跳闸隔离故障的仿真结果,并分析了这一暂态过程,表明了MATLAB电力系统工具箱是分析电力系统的有效工具.     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

Rank and select revisited and extended

The deep connection between the Burrows–Wheeler transform (BWT) and the so-called rank and select data structures for symbol sequences is the basis of most successful approaches to compressed text indexing. Rank of a symbol at a given position equals the number of times the symbol appears in the corresponding prefix of the sequence. Select is the inverse, retrieving the positions of the symbol occurrences. It has been shown that improvements to rank/select algorithms, in combination with the BWT, turn into improved compressed text indexes.     

高等院校行政分析与决策系统的设计与实现

为提高高等院校的管理水平和决策水平,充分利用校园网资 源,开发了高等院校行政财政分析与决策系统。解决了诸如数据的动态查询、自动生成报表 、网络环境下数据共享等技术问题,具有网上数据共享、图形界面友好和安全的保密措施等 特点。     

Stochastic balancing and approximation-stability and minimality

A new method of stochastic model reduction has recently been introduced by Desai et al. [1], [2]. The stability of the reduced order model has not previously, been considered. In this paper, we show that the stability of the reduced order model follows directly from the results of Pernebo and Silverman [3]. It is also shown that the reduced order model is minimal, in the controllability/observability sense. The relevance of this notion of minimality to stochastic minimality is made clear.