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

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

航站楼安检布局及流程优化研究

为保证旅客出行安全,提高机场安检效率,对机场安检流程进行优化。以航站楼内旅客安检服务流程为研究对象,根据安检服务流程特性,分析并选择广义随机Petri网对航站楼内单通道安检服务流程进行建模与仿真分析。在验证模型可靠性的基础上,运用广义随机Petri 网和马尔科夫链的相关理论给出安检流程的性能评价。最后,以深圳宝安国际机场航站楼内旅客安检流程为实例分析对象,在对资源没有限制的条件下,对深圳机场单通道安检流程进行分析,验证模型的可靠性,找出安检过程中的瓶颈问题,提出改善建议。     

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

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

飞机装配生产过程的仿真与工艺优化

针对飞机装配产品结构、生产工艺复杂,装配过程离散,数据量庞大多变,难以建立产品化的信息化解决方案的问题,探索出一种基于Petri网模型建立的模拟装配生产线的模型.通过对离散数据的分析与处理,建立装配过程中相关联变量之间的关系网络,运用时延Petri网TdPN模型具有的成熟的数学分析方法,对装配过程进行模拟分析,从而找到最优的人员、工艺、质量、设备和管理资源的配置,达到装配生产过程的优化.最后,通过对某型号飞机外翼的装配过程进行仿真优化,验证了建模仿真和优化算法的可行性.     

基于分层着色Petri网的地空导弹装备维修建模

讨论了一种基于分层着色Petri网理论建立地空导弹装备基地级维修系统模型的方法.该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,有利于模型分析和仿真实现.     

基于Petri网的建模分析

Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于离散事件系统的模拟和分析中。随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。在介绍工作流和Petri网概念的基础上,通过实例研究如何使用Petri网建立模型,并进一步做了可达性分析。     

基于模糊Petri网的维修保障活动可视化建模与仿真研究

介绍了模糊Petri网矩阵推理算法,并对模糊Petri网中的元素进行了抽象定义,同时,为了仿真实现矩阵推理算法,定义了用于存储模型数据和中间计算结果的动态数组,并给出具体代码建模流程图。最后,作为验证实例,应用飞机前轮更换轮胎对该维修保障活动仿真软件进行验证。结果表明,该软件可对该维修保障活动进行建模,即直观清晰地体现出飞机某环节维修保障活动的进程,同时也可以根据相关参数进行分析,将能为在航空系统产品保障效能评估中找出可靠性、维修性、测试性和保障性设计存在的薄弱环节提供技术支持。     

一种基于规则约束着色Petri网的车间调度器

针对制造执行系统(MES)的核心模块--车间生产调度模块,利用对离散动态系统具有准确描述能力的着色Petri网(CPN)对车间生产进行了抽象和建模:通过向网系统中引入规则约束,为车间内的动态事件和扰动提供了动态调度.为了实现MES生产调度模块的易集成、快速重用性,提出了利用分布式组件(DCOM)技术将车间调度模型封装为车间调度器的实现方法.     

基于Arena的飞行前机务准备流程仿真与优化研究

运用面向对象Petri网（OOPN）和随机Petri网（SPN）对飞行前机务准备流程进行建模,在所建立模型的框架下利用Arena进行仿真和分析,并采用流程优化理论进行优化,对优化后的流程进行仿真和分析。结果表明,优化后的飞行前机务准备时间较主机厂所的准备时间明显缩短,同时根据保障人员岗位配置新模式,人员工作量均衡问题得到了改善。     

基于仿真的单元化制造系统的单元分组

在传统单元分组方法的基础上,提出了用仿真方法解决瓶颈机床的分组问题.采用着色Petri网,对生产系统建模.以BEA算法作为分组基础,经过仿真试验得到最终的单元分组结果.试验表明,用仿真的方法能够弥补传统分组算法复杂的缺点.     

基于多智能体的捕食者—被捕食者系统研究

以Swarm软件系统为编程平台,利用多智能体仿真思想,模拟研究了捕食者与被捕食者系统。在不改变智能体行为准则的前提下,通过改变智能体的数量和遗传特性,模拟了智能体之间在相互合作、竞争关系下系统的演化过程,体现了竞争与合作在多智能体系统中的作用。仿真结果与数学模型结论相符。     

基于FMECA的测试性验证分析

随着装备元件的集成度越来越高,对装备测试性的要求越来越高。良好的测试性设计可以有效地提高产品维修性,降低全寿命周期费用。在对通用处理单元进行故障模式、影响和致命度分析(FMECA)的基础上,建立了产品的测试性模型,进行了测试性验证试验,并对验证结果进行分析。     

系统级芯片设计研究

根据国内外电子行业及微电子IC设计行业的发展现状和军用航空电子系统的特殊性,本文提出了SOC设计构想,详细讨论了SOC设计过程。并以视频字符发生器设计为例,对航空电子进行了SOC新设计概念的探索。     

舰船空气尾流场对直升机着舰的影响研究

舰船空气尾流场是直升机舰上起降时的主要环境条件,对直升机的操稳性能及飞行安全有很大的影响。通过某型舰模风洞试验的PIV结果,介绍了舰船空气尾流场特性,如:等速度场和截面流线图、舰船机库脱体涡等,分析了下冲气流、涡流区及开/关机库大门等对直升机着舰的影响,对保障直升机飞行安全有重要价值。     

飞机装配进度三维可视化技术研究

为了将飞机装配进度以一种直观、可视化的方式展现出来,提出用三维简化模型展示飞机装配进度的方法.首先研究了三维设计模型的简化方法;其次将生产信息与三维简化模型关联起来,建立了飞机装配进度信息模型;再次研究了在信息模型支持下的组件装配状态信息提取技术;最后通过某飞机制造企业的应用实例,验证了方法的可行性和有效性.     

先进上风格式跨声速CFD计算研究

介绍了空气动力学跨音速计算中应用广泛的几种上风格式,同时引入了JAMSON中心差分格式作为比较,针对激波分辨率,格式精度,计算效率等方面的问题对ONERAM6机翼进行了对比性计算,讨论了ROE的FDS格式,AUSM+格式和AUSMDV格式的计算性能,得出了很有意义的结论。     

基于数据库的CAPP系统研究

简述了航空产品基于数据库的CAPP的必要性,介绍这种CAPP的体系结构、数据流程和特点。论述以产品结构树为核心的用户化工艺文件信息模型、工艺文件的表达、面向产品或BOM的工艺设计方法、CAPP与PDM、MRPII之间的信息集成等关键技术。     

Access—list技术应用研究

访问表是网络防御外来安全威胁的第一关 ,它是通过允许或拒绝信息流通过路由器的接口来实现的一种机制。本文介绍了访问表的基本概念、基本原理以及具有高级安全特性的新一代访问表 ,给出了一个建立应用访问表的实例 ,最后对各种网络安全威胁给出了对策及实现方案。     

基于IETM技术的数据要求分析

比较了MIL-D-87269A和S1000D两个标准的IETM数据要求,分析出CSDB是数据库构建的有效解决方案.基于CSDB的IETM系统实现全寿命信息管理"一次生成,多次使用"的理念.     

云存储环境下的负载均衡策略研究

云存储系统具有高容错性、部署在低廉的硬件上、易扩展性、提供高传输率访问数据的优点,但是在云存储环境下的HDFS架构中,原有的数据节点选择策略有可能造成大文件存储负载不均衡,从而影响整个系统的性能。针对这一问题,综合考虑多个因素对其进行改进,提出了设备选择策略算法,用以均衡系统的负载。并设计仿真实验,验证了算法的有效性。