基于SPN的跑道利用率模型分析与研究

采用随机Petri网(SPN)建立了跑道系统运行约束方程;通过构造同构马尔科夫链建立了系统处于各种状态时的稳态概率表达式;改变变迁的触发速率,分析跑道利用率的变化情况。证明了模型的可达性、有界性,且不存在死点。     

具有混合约束的DES Petri网控制器的设计

针对基于Petri网离散事件系统库所和变迁混合不等式约束反馈控制器的设计问题,提出一项新型设计具有库所和变迁混合约束的Petri网控制器的方法——利用Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显。借助一个应用实例．将该控制器设计方法与Yamalidou等人提出的控制器设计方法作比较,表明所提出的控制器设计方法不仅更简单、更有效而且可以应用到推广Petri网。     

不确定性因素下航班延误波及建模与分析

针对机场终端区日益严重的航班延误,提出了一种基于有色－时间Petri网的不确定性因素下航班延误波及分析模型。模型综合考虑航班运行尾流、跑道运行模式、跑道占用时间等运行安全间隔约束,同时根据连续航班间的信息更新,设计进离场航班序列动态调整流程,并由计算模型可得出航班延误总架次及时间。最后,依据历史延误数据分析得出不确定性因素延误的概率分布。选取上海浦东机场为背景对模型进行仿真验证,仿真结果表明,所构建模型可用于战略阶段的航班延误波及程度与过程的评估。     

基于SPN的近距平行跑道容量建模与分析

跑道理论容量计算是机场容量评估的一项重要内容。传统方法是针对跑道实际运行情况建立特定的数学模型进行粗略计算,本研究则采用随机Petri网(stochastic Petri net,SPN)建立通用的近距平行跑道运行模型,通过同构马尔科夫链,建立系统稳态概率表达式,进而建立跑道容量数学模型。在此基础之上,将跑道容量的影响因素映射成相应变迁的激发率,通过对激发率的调整,实现了不同条件下交替起降近距平行跑道容量的计算与分析。与传统方法相比,该方法所建模型可复用性强,参数调整更为灵活,为跑道理论容量的计算与分析提供了新的解决方案。     

面向产品开发活动的细胞交互模型研究

为实现产品开发活动交互的自主性和多样性,更好地支持产品开发过程管理与优化,在对细胞的交互机理、物质能量及信息的输入输出渠道研究的基础上,基于Petri网构建了面向产品开发的细胞交互元模型,给出了模型的定义及变迁规则.以汽车油泵单向阀测试装置开发过程为实例,验证了建模方法的有效性.     

基于小生境遗传算法的航空发动机维修构型控制

为实现航空发动机维修中构型控制,建立了基于Petri网的构型控制描述模型,通过变迁序列的激发求得改型后可能的零件集合,作为后续的约束满足条件,并提出一种基于小生境遗传算法的发动机构型多方案求解方式.     

基于拆卸及扩展广义随机 Petri网的维修性仿真

在装备研制早期,难以有效地利用试验的方法进行维修性估计,此时适合采用仿真手段。对于机械系统拆卸路径的分析与优化,先基于赋时变迁Petri网建立拆卸Petri网模型,再利用A＊算法搜索最优拆卸路径,并确定拆卸时间。为了建立系统整个维修事件的过程模型,对广义随机Petri网进行了扩展,将其延时变迁与实际分布关联,对基于变迁的维修作业之间的逻辑关系进行了描述,并给出了基于蒙特卡罗法的维修时间仿真算法。最后,以对某火炮装备发射系统不击发故障的分析与排除为例,仿真计算了维修时间均值与方差,并对结果进行了分析。     

机场场面运行控制仿真软件开发及关键技术

针对飞行区场面运行控制仿真的需求,在Anylogic仿真平台上设计和开发了基于Petri网的飞行区场面运行控制仿真软件,并用于实现A-SMGCS冲突监控算法。通过分析基于Petri网的场面运行建模与控制仿真需求,确定了软件的功能目标和体系结构。研究了软件实现和开发中的几个关键技术问题,如Petri网模型基本类的设计、面向闭环控制的Petri网模型扩展定义、开环和闭环场面运行Petri网模型的仿真算法设计。某机场飞行区的场面运行控制仿真表明,软件可以完成场面运行的闭环控制仿真,支持实现冲突监控算法。     

Petri网模型在智能型电话管理系统开发中的应用

基于Petri网模型的智能仪器监控软件设计方法是一种新型的软件设计方法。运用该方法 ,在对智能型电话管理系统中的内部因素和外部因素综合分析的基础上 ,结合Petri网模型理论 (Petri -net-modeltheo ry) ,找到了智能仪器监控软件的形式化描述技术和数学化设计方法 ,给出了其工程化的解决方案。工程应用实践表明 ,Petri网模型及其在智能仪器监控软件设计中的应用是可行而成功的。     

基于Petri网的飞机复杂系统可靠性分析方法研究

Petri网在建模方面具有较强的可视性及良好的动态表达性,提出一种利用Petri网对飞机复杂系统进行可靠性建模的方法,并通过蒙特卡洛仿真方法对Petri网模型进行仿真求解,形成一套完整的可靠性分析理论;以某型机电传飞控系统为例进行建模计算,验证上述方法的可行性和精确性.结果表明:本文提出的基于Petri网的可靠性分析理论,能够有效应用于飞机复杂系统的可靠性分析.     

The effect of inlet conditions on the flow and heat transfer in multiple rotating cavity with axial throughflow

This paper discusses experimental results from two different build configurations of a heated multiple rotating cavity test rig.Measurements of heat transfer from the discs and tangential velocities are presented.The test rig is a 70% full scale version of a high pressure compressor stack of an axial gas turbine engine.Of particular interest are the internal cylindrical cavities formed by adjacent discs and the interaction of these with a central axial throughflow of cooling air.Tests were carried out for a range of non-dimensional parameters representative of high pressure compressor internal air system flows(Re up to 5×106 and Rez up to 2×105).Two different builds have been tested.The most significant difference between these two build configurations is the size of the annular gap between the(non-rotating) drive shaft and the bores of the discs.The heat transfer data were obtained from thermocouple measurements of surface temperature and a conduction solution method.The velocity measurements were made using a two component,LDA system.The heat transfer results from the discs show differences between the two builds.This is attributed to the wider annular gap allowing more of the throughflow to penetrate into the cavity.There are also significant differences between the radial distributions of tangential velocity in the two builds of the test rig.For the narrow annular gap,there is an increase of non-dimensional tangential velocity V/Ωr with radial location to solid body rotation V/Ωr=1.For the wider annular gap,the non-dimensional velocities show a decrease with radial location to solid body rotation.      

Research on Auto-detection for Remainder Particles of Aerospace Relay Based on Wavelet Analysis

Aerospace relay is one kind of electronic components which is used widely in national defense system and aerospace system. The existence of remainder particles induces the reliability declining, which has become a severe problem in the development of aerospace relay. Traditional particle impact noise detection (PIND) method for remainder detection is ineffective for small particles, due to its low precision and involvement of subjective factors. An auto-detection method for PIND output signals is proposed in this paper, which is based on direct wavelet de-noising (DWD), cross-correlation analysis (CCA) and homo-filtering (HF), the method enhances the affectiv-ity of PIND test about the small particles. In the end, some practical PIND output signals are analysed, and the validity of this new method is proved.     

Preparation of Highly Dispersed Antimony-doped Tin Oxide Nano-powder via Ion-exchange Hydrolysis of SnCl4 and SbCl3 and Azeotropic Drying

Antimony-doped tin hydroxide colloid precipitates have been synthesized by hydrolysis of SnCl4 and SbCl3 using: (1) an ion-exchange hydrolysis to remove chlorine ions, and (2) isoamyl acetate as an azeotropic solvent to obviate water. The obtained dried powder is of high dispersivity without any need for further grinding. The size and dispersivity of the final particles are investigated with the aid of TG-DTA, BET, XRD and TEM. After having calcined, the antimony-doped tin oxide nanopowder possesses a tetragonal rutile structure with high dispersivity, uniform particles and low hard agglomeration.     

Effects of Mo on the Microstructure and Hydrogen Sorption Properties of Ti-Mo Getters

The effects of Mo on the microstructure evolution, porosity and hydrogen sorption properties of Ti-Mo getters are investigated in this work. The results show that the addition of Mo prolongs the densification process of Ti-Mo getters and results in a significant amount of sintered pores. With the Mo content increasing, the porosity of getters firstly increases reaching the maximum value as it at- tains about 7.5wt.%, and then drops. At the room temperature, the hydrogen sorption property of getters increases progressively with the Mo content increasing, but the tendency is not very clear before its content lies below 2.5wt.%. When the Mo content achieves about 7.5wt.%, the hydrogen sorption property proves to be the best. The discussion is made about the above mentioned phenomena inclusive of hydrogen sorption properties of getters under different activation conditions (from 500-750 ℃).     

超声速燃烧数值模拟中的湍流与化学反应相互作用模型

高精度数值模拟有助于理解超声速湍流燃烧中湍流与化学反应的相互作用,可为发动机燃烧室等工程应用设计提供可靠的预测模型。除直接数值模拟外,目前在湍流燃烧应用中使用的大涡模拟和雷诺平均Navier-Stokes模拟均需要借助模型模化发生在湍流小尺度上的流动与化学反应过程对湍流大尺度运动的影响。现有的湍流与化学反应相互作用模型大致可分为:火焰面类模型和概率密度函数类模型,2类模型在不同的应用中各自具有优势和局限性。此外,现有模型大都基于低马赫数燃烧,而超声速燃烧中通常会伴随快速混合、局部熄火和再着火以及激波等复杂过程,这为发展其中的湍流与化学反应相互作用模型提出了更多的挑战。     

适于低轨卫星IP网络的单核共享树组播算法(英文)

为了解决低轨卫星IP网络中现有典型源组播算法的信道资源浪费问题,本文提出了一套单核共享树组播算法,即核心群合并共享树(CCST)和加权核心群合并共享树(w-CCST)算法。CCST 算法包括动态近似中心(DAC)选核方法和核心群合并组播路径构建方法。DAC方法专为周期、规律运动的低轨卫星网络提出,不需要复杂的星上计算。在核心群合并方法中,以核节点作为初始核心群,通过核心群和剩余组成员的最短路径方法逐步扩展直至整棵组播树构建完成,从而使得组播树的树代价最小,大大提高了网络的带宽利用率和组播传输效率。w-CCST 算法中所提出的加权因子可以调整树代价和端到端传播时延之间的折衷程度,因此,可以通过调整加权因子来适度增大树代价、降低端到端传播时延以支持某些端到端时延要求苛刻的实时组播业务。最后,与低轨卫星 IP 网络中典型算法进行了性能比较,仿真结果说明,CCST 算法的平均树代价比其它算法显著降低,w-CCST 算法的平均端到端传播时延小于 CCST 算法。     

Jet Vectoring Control Using a Novel Synthetic Jet Actuator

A primary air jet vectoring control system with a novel synthetic jet actuator (SJA) is presented and simulated numerically. The results show that, in comparison with an existing traditional synthetic jet actuator, which is able to perform the duty of either “push” or “pull”, one novel synthetic jet actuator can fulfill both “push” and “pull” functions to vector the primary jet by shifting a slide block inside it. Therefore, because the new actuator possesses greater efficiency, it has potentiality to replace the existing one in various appli- cations, such as thrust vectoring and the reduction of thermal signature. Moreover, as the novel actuator can fulfill those functions that the existing one can not, it may well be expected to popularize it into more flow control systems.     

Nonlinear Adaptive Slewing Motion Control of Spacecraft Truss Driven by Synchronous V-gimbaled CMG Precession

The slewing motion control of a truss arm driven by a V-gimbaled control-moment-gyro (CMG) is a nonlinear control problem. The V-gimbaled CMG consists of a pair of gyros that must precess synchronously. The moment of inertia of the system, the angular momentum of the gyros and the external disturbances are not exactly known. With the help of feedback linearization and recursive Lyapunov design method, an adaptive nonlinear controller is designed to deal with the unknown items. Performance of the proposed controller is verified by simulation.     

An SOR Implicit Time-accurate Scheme in Calculating Unsteady Flows

A new time-accurate marching scheme for unsteady flow calculations is proposed in the present work. This method is the combination of classical Successive Over-Relaxation (SOR) iteration method and Jacobian matrix diagonally dominant splitting method of LUSGS. One advantage of this algorithm is the second-order accuracy because of no factorization error. Another advantage is the low computational cost because the Jacobian matrices and fluxes are only calculated once in each physical time step. And, the SOR algorithm has better convergence property than Gauss-Seidel. To investigate its accuracy and convergency, several unsteady flow computa- tional tests are carried out by using the proposed SOR algorithm. Roe’s FDS scheme is used to discritize the inviscid flux terms. Un- steady computational results of SOR are compared with the experiment results and those of Gauss-Seidel. Results reveal that the numerical results agree well with the experimental data and the second-order accuracy can be obtained as the Gauss-Seidel for unsteady flow computations. The impact of SOR factor is investigated for unsteady computations by using different SOR factors in this algorithm to simulate each computational test. Different numbers of inner iterations are needed to converge to the same criterion for different SOR factors and optimal choice of SOR factor can improve the computational efficiency greatly.