航空电源地面自动测试系统的设计与实现

航空电源的地面测试是飞机电源设备检测的一项重要环节.针对航空交直流电源系统的地面检测与特性试验,设计与实现了一种计算机自动测试与分析系统.描述了系统的总体结构和主要功能,论述了电源系统交直流参数的检测分析与处理方法、基于RS485总线的速度调节控制算法以及基于网格搜索的交流负荷自动加卸载调节管理算法的原理与实现.该系统现已正式投入运行,各项指标均满足设计要求.     

航空电源控制保护器测试系统设计与实现

电源控制保护器在飞机供电系统的控制保护中居于核心地位,其工作的可靠性直接影响到飞机的安全.对电源控制保护器的检测复杂而繁琐,为实现自动化检测,设计实现了航空电源控制保护器计算机测试系统.介绍了测试系统的软、硬件设计原理及实现,并描述了利用计算机软件对航空电源控制保护器的各项性能参数进行测试的过程,重点论述了测试系统在实现过程中解决的技术难点.     

航空地面电源发电机励磁系统仿真设计与实现

受系统规模和复杂性、安全性等的限制,很多航空地面电源的实验无法直接在原型系统上进行;为了实现真实地模拟航空地面电源发电机励磁系统,方便检测其实际工作状况和进行仿真实验,提高可靠性和安全性;以某型航空地面电源车发电机励磁系统为研究对象,对系统模型的建立和仿真进行了分析,选用Matlab软件平台对系统模型进行了仿真和试验;仿真和试验结果验证了该设计方案的可行性,表明了该模型能够真实地反映航空地面电源发电机励磁系统的实际运行特性,具有较好的动态性能;该设计可为未来航空地面电源的分析和设计提供新的思路和方法,同时也可为新型航空地面电源的研制提供试验平台。     

电源车运行状态参数检测记录仪的设计与实现

为了有效提高航空电源车的飞行保障效率,本文设计了电源车运行状态参数检测记录仪,该记录仪主要由传感器、整理电路、数据采集和数据处理等部分组成,实际运用表明,整个系统运行稳定、实时性好,实现了航空地面电源设备的信息化管理,为装备的维修和保养提供重要依据.     

组合式航空逆变电源设计刍议

在航空中,航空逆变电源的良好运行对飞行的安全十分重要。但由于运行环境的复杂,负载、电网、空间磁场的干扰都可能对航空逆变电源造成影响,而航空逆变器一旦出现故障,对整个系统的影响可能是致命的。采取组合式的航空逆变电源能够很好地满足供电的需求,增加电源系统的稳定性和可靠性。而在设计中,基于模块化稳压电源构建的组合式航空逆变电源不仅能提高电源系统的可靠性,还具有很好的可维护性,对航空电源系统的安全可靠有着十分重要的现实意义。     

基于虚拟仪器的航空电源性能参数测试系统

介绍了一种基于虚拟仪器技术的航空电源性能参数测试系统的设计与实现;根据测试标准,对航空电源性能参数测试要求进行了分析,设计采用高速数据采集卡DAQ2204实现数据的采集,并设计了数据采集与分析处理软件、负载管理与控制和数据库管理软件,并对数据分析处理方法进行了分析;通过对航空发电机进行测试,试验结果表明该系统性能稳定、可靠,测试结果满足精度要求,达到了产品设计要求,具有广泛的市场应用前景.     

飞控蓄电池盒故障检测系统的研究与设计

飞控蓄电池盒作为航空电源系统主电源不工作或是失效时的直流后备电源,担负着地面启动涡轮发动机与空中应急点火的任务,同时还为机上一些重要用电设备供电.基于飞控蓄电池盒的重要性及针对存在的故障模式,采用故障寻址编码的技术对蓄电池进行故障诊断.充分研究了航空镉镍蓄电池盒的结构以及性能指标,设计一套自动飞控蓄电池盒故障检测系统,用来检测蓄电池盒的各性能参数.试验结果表明:测试设备能够提高检测精度,提前预测故障,提高蓄电池的性能品质和可靠性,满足飞机飞行的安全要求.     

航空二次电源计算机综合测试系统的设计与实现

航空二次电源是飞机电源系统的重要组戍部分，其工作的可靠性和供电质量直接影响到飞机的安全和性能。为了实现各种二次电源性能参数的自动化测试，以计算机为核心，附以信号调理箱、控制柜等硬件模块，通过VC＋＋环境下的软件编程，设计实现了航空二次电源计算机综合测试系统。对测试系统设计开发的背景及意义作了简单介绍，并阐述了系统的测试参数及总体功能特点。论述了测试系统的硬件系统结构和功能及软件系统的设计思路。     

开关磁阻发电系统并网逆变单元仿真研究

开关磁阻发电系统是航空电源发展的新方向,多发电机并网供电在航空电源系统中占有重要地位.为了实现输出电能平稳并网,需要输出电压在幅值、相位和频率上与主汇流条电压保持一致;在汇流条并网电压的变换过程中,采用空间矢量脉宽调制( SVPWM)波控制开关磁阻发电机的三电平逆变器输出模块,即可得到满足要求的电能.仿真实验表明,该发...     

航空电源专用地面测控系统的设计与实现

航空电源地面测试是保证航空安全的重要步骤,而对大量同一类产品进行全面检测是一项十分冗余、繁琐的工作;针对这一要求以及航空电机检测过程中的测试要求,设计了一种结合嵌入式技术、串行通信、计算机测控技术及变频调速技术的航空电源专用地面测控系统;描述了系统的软硬件结构和各部分的功能,并介绍了一些关键数据分析处理算法;该系统目前已投入了实际运行,并取得了良好的使用效果。     

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.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.