航空电子分区层次调度模型及其优化设计

在模块化航空电子系统中,采用分层结构构建系统,通过分区管理实现不同分组的航空软件互不影响的执行.在任务最大响应时间函数的基础上,利用加权轮转时间和任务执行系数,得到了分区调度成功的判决条件;通过对系统剩余时间的计算,提出了分区快速设计模型;通过对任务时间遍历,得出分区最优化设计模型.开发仿真工具对这两种模型进行对比,结果表明:快速设计模型较好的解决了航空电子分区设计问题.     

航空电子分区调度研究

在模块化航空电子系统中,通过分区管理实现不同分组的航空软件互不影响的执行.分区管理采用两层任务调度策略,在操作系统层采用周期调度的方式激活每一个分区,在具体每一个分区,系统根据分区内航空应用软件的固定优先级进行调度.在航空电子软件的分区调度问题研究过程中,通过对分区处理任务系统建模,对任务关键时刻进行分析,利用分区访问时间和任务执行系数,计算系统空闲时间,给出了分区成功调度的条件,最后给出实例进行具体说明.     

基于UML语言的航空电子系统快速原型设计

航空电子系统中的快速原型设计主要涉及航空电子系统的快速原型设计,作战飞行软件的快速原型设计和座舱显示系统的快速原型设计等,主要提出用UML语言描述航空电子系统设计的方法以及航空电子系统、作战飞行软件和座舱显示系统一体化设计开发过程,并以一个典型的综合航空电子系统为例进行了分析、设计、建模、仿真和演示验证。     

基于DSPN的浮标布阵系统建模与仿真

浮标布阵系统是航空电子系统中典型的实时嵌入式系统,系统性能评价是其发展的重要理论基础和支撑技术。以浮标布阵系统为应用背景,研究了航空电子系统原理和特点,并对航空电子系统周期性消息进行了研究。给出了一套完整的基于确定与随机Petri网的性能评价模型。通过对模型的仿真,得到了系统的性能指标总线利用率随系统运行时间变化的规律,通过对性能曲线分析,可对航空电子系统的设计和完善提供重要的理论依据。     

基于原型仿真的航空电子系统螺旋式开发方法

针对未来航空电子系统面临的挑战和航空电子系统设计的特点,提出基于原型仿真的航空电子系统螺旋式开发方法,克服了瀑布式系统开发方法在航空电子系统开发中的缺陷。该方法强调概念和需求的验证,克服因系统设计早期发生错误而引起系统研制后期更大的更改;强调图形化设计和原型仿真,克服错误的需求理解导致错误设计;强调系统建模,一方面可以在模型上进行各种验证和试验工作,另一方面可以重复迭代和重复利用。航空电子系统座舱综合显示设计的应用实例,显示了该设计方法的有效性。     

综合模块化航电系统性能退化Lévy模型

综合模块化航空电子系统(integrated modular avionics, IMA)是现代航空的核心系统之一, 其性能状态对飞机的安全性有着重要的影响。针对IMA性能退化特性分析问题, 首先依据IMA运行管理机制, 在现有测点的基础上, 遴选了间歇故障发生频次和功能完成时间作为表征IMA性能状态的健康特征参数。然后, 根据IMA自身运行特点证明了IMA功能完成时间历程是一个Lévy过程。提出了IMA性能退化Lévy模型, 构建了单因素影响和多因素综合影响的IMA性能退化模型。最后, 搭建了IMA仿真平台, 获取了IMA性能退化Lévy模型参数, 仿真了IMA性能退化历程, 验证了模型的有效性。     

攻防战术模式研究

本文探讨了美国和北大西洋公约组织发展的攻防战术模式,其中涉及护航机对攻击机群的防卫模式和歼击机拦截攻击机群的进攻模式,并对飞机性能、航空电子系统特性和武器系统性能进行了综合考虑,最后得出了防御敌方歼击机拦截攻击机群编队的恰当防卫模式所需的护航机数目及航空电子系统特性。     

机载图像处理引擎实时仿真平台

针对航空电子系统中图像处理模块数字化设计的趋势,建立了一个完整的机载图像处理实时仿真平台。该平台以电子系统级设计（ESL）方法为基础,利用Handel-C语言将视频处理系统中关键算法模块抽象为知识产权核（intellectual property core）,同时进行系统级仿真与验证,并通过FPGA实现。解决了单纯用软件实现算法实时性差、难以协同设计验证的问题。座舱综合显示和视景增强子系统被用来作为案例在该平台上实现,验证了平台仿真的实时性。     

基于确定随机Petri网的AFDX航电系统建模研究

通过结合AFDX航空电子系统和确定随机Petri网的特点,给出了一种基于确定随机Petri网的AFDX航电系统的建模方法。该方法以AFDX中的虚链路调度算法为中心,依照组件开发的思想,并利用系统各部分的子模型对航空电子系统整体进行建模。从而为分析航空电子系统的性能提供了有力的参考。     

总线型卫星电子系统T-时延离散PETRI网建模

小卫星综合电子系统是整个卫星的管理中心,能够完成参数采集,数据处理,信息提取和各种控制模式的实施等任务,综合电子系统设计方案直接决定小卫星的性能和可靠性等指标.给出小卫星基于总线的综合电子系统方案,针对以总线为核心的电子系统方案,建立了T-时延离散Petri网(TTDPN)模型,并对该模型进行了性能分析与评价,数学仿真结果表明,基于总线的电子系统方案能够有效满足系统实时性要求.     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

Call for Papers The 12th International Conference on Service Systems and Service Management ICSSSM'15

正June 22-24,2015Guangzhou,China http://iec.cnsba.com/index.htmlCo-Sponsored by:ffiEE SMC(pending)South China University of Technology The Chinese University of Hong Kong Tsinghua UniversityHosted bv:School of Business Administration,South China University of Technology,China Conference Co-Chairs:     

The 12th International Conference on Service Systems and Service Management ICSSSM'15

正~~