80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

A Structured Mesh Euler and Interactive Boundary Layer Method for Wing/Body Configurations

To compute transonic flows over a complex 3D aircraft configuration, a viscous/inviscid interaction method is developed by coupling an integral boundary-layer solver with an Eluer solver in a ＂semi-inverse＂ manner. For the turbulent boundary-layer, an integral method using Green＇s lag equation is coupled with the outer inviscid flow. A blowing velocity approach is used to simulate the displacement effects of the boundary layer. To predict the aerodynamic drag, it is developed a numerical technique called far-field method that is based on the momentum theorem, in which the total drag is divided into three component drags, i.e. viscous, induced and wave-formed. Consequently, it can provide more physical insight into the drag sources than the often-used surface integral technique. The drag decomposition can be achieved with help of the second law of thermodynamics, which implies that entropy increases and total pressure decreases only across shock wave along a streamline of an inviscid non-isentropic flow. This method has been applied to the DLR-F4 wing/body configuration showing results in good agreement with the wind tunnel data.     

Improved NSGA-II Multi-objective Genetic Algorithm Based on Hybridization-encouraged Mechanism

To improve performances of multi-objective optimization algorithms, such as convergence and diversity, a hybridization- encouraged mechanism is proposed and realized in elitist nondominated sorting genetic algorithm （NSGA-Ⅱ）. This mechanism uses the normalized distance to evaluate the difference among genes in a population. Three possible modes of crossover operators--＂Max Distance＂, ＂Min-Max Distance＂, and ＂Neighboring-Max＂--are suggested and analyzed. The mode of ＂Neighboring-Max＂, which not only takes advantage of hybridization but also improves the distribution of the population near Pareto optimal front, is chosen and used in NSGA-Ⅱ on the basis of hybridization-encouraged mechanism （short for HEM-based NSGA-Ⅱ）. To prove the HEM-based algorithm, several problems are studied by using standard NSGA-Ⅱ and the presented method. Different evaluation criteria are also used to judge these algorithms in terms of distribution of solutions, convergence, diversity, and quality of solutions. The numerical results indicate that the application of hybridization-encouraged mechanism could effectively improve the performances of genetic algorithm. Finally, as an example in engineering practices, the presented method is used to design a longitudinal flight control system, which demonstrates the obtainability of a reasonable and correct Pareto front.     

增升状态下的全机位流数值模拟

研究了势流理论下的全机增升装置复杂外形气动力数值计算方法,该方法以低阶面元法为基础,具有计算量小、速度快的优点.复杂流动的粘性效应主要通过附面层粘性修正技术加以体现.采用该方法对某增升装置翼身组合体外形压力分布特性进行计算,并和风洞实验数据相比较,验证了方法的正确性和实用性.在此基础上对某型飞机真实复杂外形的压力分布特性进行了计算,为复杂外形飞行器增升装置的初步设计、方案选型与评估提供了非常理想的工程技术手段.     

An interactive system for global ship monitoring

The US Navy has more than 300 ships equipped with over 500 PHALANX weapon systems. Ordalts (ordnance alterations) and casreps (casualty reports) are received frequently by Naval Ordnance. Ordalts are done when parts need replacing or a design is exchanged for an old. Casreps are an urgent request for parts or service. Information pertaining to ordalts and casreps is put into several databases, which are continually updated and used in reports among the PHALANX community. Ship locations are used for sending parts and/or assistance to the ship. The ordalt and casrep requests have been combined with the ship locations report to produce a more efficient manner in which to monitor ordalt requests, casrep requests and ship locations, using a sample database containing ordalt and casrep data and ship locations. The database is interfaced to a computer graphics program that monitors ship movement throughout the world and supplies information from the database whenever requested. The hardware and software used to implement the project are described     

Selective laser melting of Al–8.5Fe–1.3V–1.7Si alloy: Investigation on the resultant microstructure and hardness

This article presents the microstructure and hardness variation of an Al–8.5Fe–1.3V–1.7Si(wt%, FVS0812) alloy after selective laser melting(SLM) modification. Three zones were distinguished across the melting pool of the SLM-processed FVS0812 alloy: the laser melted zone(LMZ), the melting pool border, and the heat affected zone(HAZ) in the previously deposited area around the melting pool. Inside the LMZ, either an extremely fine cellular-dendritic structure or a mixture zone of the a-Al matrix and nanoscale Al_(12)(Fe,V)_3Si particles appeared. With a decreased laser beam scanning speed, the cellular-dendritic structure zone within the LMZ shrank significantly while the mixture zone expanded. The a-Al and Al_(12)(Fe,V)_3Si mixture zone was also observed in the HAZ, but another phase, submicron h-Al_(13)Fe_4 particles with rectangular or hexagonal shapes,formed along the melting pool border. Microhardness tests indicated that the hardness of the SLM-processed FVS0812 samples far exceeded that of the as-cast FVS0812 alloy.     

双元统一推进系统混合比调节技术研究

对空间液体推进系统的混合比调节技术进行了研究.根据闭环补气调节混合比原理,建立了补气调节混合比试验模型,研究了系统的流量特性.根据某同步轨道卫星平台推进系统的性能要求,给出了相应混合比的调节范围和对应的补气量,为混合比调节技术的实际工程应用提供了理论和试验依据.     

某型蒸发式稳定器气动及燃烧特性研究

为解决亚燃冲压发动机在高速低温来流条件下的可靠点火、火焰稳定和高效燃烧问题,对某型蒸发式火焰稳定器分别进行了冷态流场和燃烧流场的数值研究,并与常规V型火焰稳定器进行了对比分析。研究结果表明:在给定范围内,蒸发式稳定器随来流速度的增大,总压恢复系数和停留时间明显减小,回流区长度、回流率和燃烧效率变化不大;与相同槽宽的常规V型火焰稳定器相比,回流率明显减小,总压恢复系数、回流区长度和停留时间略有减小。蒸发式稳定器后部形成明显的回流区,且基本上不受外部主流流动的干扰,通过单独控制稳定器局部供油,可以使稳定器在最佳油气比下工作,有利于在高速来流条件下可靠工作。     

Gray bootstrap method for estimating frequency-varying random vibration signals with small samples

During environment testing, the estimation of random vibration signals （RVS） is an important technique for the airborne platform safety and reliability. However, the available meth- ods including extreme value envelope method （EVEM）, statistical tolerances method （STM） and improved statistical tolerance method （ISTM） require large samples and typical probability distri- bution. Moreover, the frequency-varying characteristic of RVS is usually not taken into account. Gray bootstrap method （GBM） is proposed to solve the problem of estimating frequency-varying RVS with small samples. Firstly, the estimated indexes are obtained including the estimated inter- val, the estimated uncertainty, the estimated value, the estimated error and estimated reliability. In addition, GBM is applied to estimating the single flight testing of certain aircraft. At last, in order to evaluate the estimated performance, GBM is compared with bootstrap method （BM） and gray method （GM） in testing analysis. The result shows that GBM has superiority for estimating dynamic signals with small samples and estimated reliability is proved to be 100% at the given confidence level.