基于Petri网的空中交通管制辅助决策系统

空中交通管制系统是生产实际中的一种典型的离散事件动态系统（Ｄｉｓｃｒｅｔｅ ｅｖｅｎｔ ｄｙｎａｍｉｃｓｙｓｔｅｍ,ＤＥＤＳ）,而Ｐｅｔｒｉ网理论是研究ＤＥＤＳ的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构,文中引入Ｐｅｔｒｉ网概念的一类扩充－－开放Ｐｅｔｒｉ网的概念,并用开放Ｐｅｔｒｉ网工中交通管制辅助决策系统进行建模与分析,阐述了空中交通管制辅助决策系统的开放Ｐｅｔｒ     

基于无线传感网的纺织机械状态监测系统

提出了一种基于无线传感器网的纺织机械设备监测系统,该系统通过在部署纺织机械上的无线传感器采集数据并传输到基站节点,由基站节点统一对采集数据集中进行分析、处理与展示。详细介绍了系统的体系结构、介质访问控制协议以及系统实现的硬件配置。     

基于CAS的数字校园单点登录系统

将CAS应用到数字校园的单点登录中,采用基于LDAP和CA相结合,实现了统一用户的统一身份认证,实现了基于反向代理和PLUG—IN的两种应用接入方式,实现了不同业务系统的应用集成,采用基于用户、权限、角色的方式,实现了统一权限管理。     

基于模糊Petri网的设备故障诊断新方法研究

专家系统用于计算机数控（CNC）设备的故障诊断日益受到人们的重视。为了能够解决故障现象的模糊性，本文将模糊理论与Petri网结合，建立了模糊Petri网（FPN）理论体系。引出了FPN转移被激发规则，确定了FPN的动态运行过程。应用FPN能够清楚地表达与或树、产生式规则等知识表达形式。基于FPN理论，建立了CNC设备故障诊断专家系统（CNCM-FDES）。该系统由知识库系统、知识库管理系统、诊断推理机制、诊断过程解释机制、故障评价、故障决策与入机界面组成。文中分别介绍了该系统的各个组成部分。     

速度型切削颤振系统的数字仿真研究

本文采用数字仿真技术分析研究了速度型切削颤振系统的非稳定状态与颤振状态,内容包括起振阈与消振阈的分离、有限振幅不稳定性、系统参数对稳态颤振状态的影响。结果表明,起振阈与消振阈的分离现象是由切削宽度的连续变化引起的;有限振幅不稳定性与动态切削力中的三次项阻尼系数有关;动态切削力系数与机床结构系统参数对稳态颤振状态均有影响。     

基于无线公用网的煤气生产及输配过程的监测系统

本文提出了一种基于无线公用网的对煤气生产及输配过程进行监测的系统设计,该系统可以对煤气气源厂、煤气储备站及全部中压输气管的煤气压力,存量,温度等生产工况进行实时可靠的监测与调度。文章简要介绍了GPRS技术和系统流程,详细阐述系统的工作原理和监测终端具体软硬件设计。     

基于无回溯模式匹配的网元故障监控系统的设计

在移动通讯中 ,常常采用人工查询网元故障告警信息的方法实现移动通讯设备监控 ,然而由于设备故障告警信息量非常庞大 ,人工查询无法确保及时准确地查询到故障告警 ,导致有些重要告警不能及时得到 ,这将对移动通讯网络运行的安全性和可靠性造成很大的威胁。为此 ,本文基于模式匹配的原理 ,提出了一种移动通讯自动、快速且经济的故障监控方案 ,并同时给出了一个成功的案例     

变速恒频电源系统的数字仿真研究

建立了脉宽调制型交直交变速恒频电源系统的数学模型，研制了仿真软件，并给出了仿真实例。研究表明，本文的方法和软件可以进行变速恒频电源系统部件级和系统级的仿真分析，为设计和分析该系统提供了有力的工具。文中的方法和软件也可以用于分析恒速恒频和高压直流电源系统，为开发一套完整的飞机电源系统仿真软件奠定了基础。     

基于带权时间Petri网的工作流建模研究及应用

文章提出了一种带权的时间工作流概念,建立了带权时间工作流模型WTPWF-Net(带权时间工作流网络),给出了其元模型和过程模型,给出了从工作流概念到模型元素之间的映射方法,并利用本模型对某公司的物资管理系统的业务流程进行了实际运用,良好的运行效果验证了该模型的可行性和有效性。     

基于Petri网的故障树分析方法

故障树是事件间的一种布尔逻辑关系模型,基于故障树的诊断方法的广泛应用由于实际故障树分析过程NP困难问题而受到妨碍。Petri网作为一种特殊的有向网,它能反映系统的状态变化和事件发展,尤其适合于表达故障的传播关系。本文因此提出了两种基于Petri网的改进方法,与下行法相比,用该方法寻找最小割集和最小路集能有效地节省计算时间,提高推理速度和效率,并且其算法便于计算机实现。     

L波段数字航空通信系统研究

随着全球航空运输的发展,空中交通管制与航空公司运控等航空业务对航空通信系统的数据传输速率、频谱利用率、航空通信网容量等性能提出了更高的要求。虽然现阶段基于甚高频的航空通信系统得到了迅速的发展,但仍受限于标准体制、技术壁垒等因素,难以满足持续增长的运行需求。L波段数字航空通信（L-band digital aeronautical communication system,L-DACS）数据链技术作为新一代航空通信系统的预选方案,是有效解决频谱资源饱和难题、满足高速率传输需求的有效途径。本文在总结L-DACS数据链技术发展现状的基础上,阐述了该通信系统现阶段的技术标准,分析了L-DACS发展所面临的挑战,提出了对应的发展建议,为面向航空宽带通信L-DACS的研究提供了参考与借鉴。     

无人机撞网回收的技术发展

撞网回收是一种适合小型固定翼无人机在狭窄场地或舰船上实现精确定点回收的先进回收方式.本文介绍了无人机撞网回收技术在国内外的发展和应用状况,归纳总结了国外撞网回收系统的4种典型结构方案,分析了无人机撞网回收所涉及的吸能缓冲、末端精确引导以及系统仿真与试验验证等关键技术及其解决途径,探讨了国内开展无人机撞网回收系统研制的总体思路.本文为中国无人机撞网回收技术研究尽快转入工程集成应用提供了有益的参考.     

基于SRTM数字高程模型的WRF低空风场模拟研究

针对复杂地形条件下的中小尺度的低空风场模拟受地形影响较大,特别是机场周围的低空风切变严重影响现代民航的飞行安全。文中提出利用WPSGeo Tiff、GRASS GIS等技术,将美国航空航天局和美国国防部国家测绘局联合提供的精度为90 m(30s)的SRTM(Shuttle Radar Topography Mission)高精度数字高程数据Digital Elevation Model(DEM)替换到中小尺度数值预报模式Weather Research and Forecasting Model(WRF)中。通过对北京2013年3月9日一次大风天气的模拟,检验SRTM DEM数据对WRF风场模拟精度的影响。模拟结果表明新引入的SRTM DEM数据更真实地反映了北京地区的地形高度特征,尤其是地形复杂区域的高度特征。同时由于高度信息误差的减小,增强了WRF模式在北京地区复杂地形条件下的风场模拟能力。     

基于微分Petri网的民机航迹演化通用模型构建

为实现对未来大流量、高密度、小间隔条件下的空域实施管理,在战略航迹规划阶段,提出了一种模块化的战略航迹演化通用模型。建立了不同航段之间航空器状态动态切换的一类宏观Petri网演化模型,以及同一航段内航空器速度和高度两种特征参数值连续变化的3类微观Petri网演化模型。根据航空器特征参数值转化的4种不同形式并基于航空器全飞行剖面的混杂运行特性,运用微分Petri网理论,定义了航空器的4种演化模式,通过组合各种演化模式得到了3种航空器基本演化模型。在满足航空器性能约束的前提下,通过设定10个航段及15个高度和速度预设值,得到了全飞行剖面下各特征参数的演化图。结果表明,所设计的演化模型增强了航迹预测模型的通用性,能够反映航空器在水平剖面和垂直剖面内的状态变化。     

基于Petri网和UML的工作流模型设计

介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

用Petri网仿真方法实现机械加工系统的规划设计

为了保证所设计的机械制造系统(MMS)能够获得最大的经济效益,必须对系统进行合理的规划设计。本文首先引入MMS规则设计中的几点原则,以及计算机仿真涉及到的生产调度问题及其决策规则,论述各生产调度规则在Petri网模型中的实现方法。并对Petri网运行中的冲突问题引入了解决冲突的规则。其次,基于包括工件流和刀具流的MMS的Petri网模型,根据最小事件时间推进原理,实现Petri网模型的计算机动态仿真,即实现MMS的计算机动态仿真。最后,将仿真程序应用于仿真实例,从而有效地评价MMS的规划设计方案。     

宽带信号的数字测向算法研究

数字测向是电子侦察领域的一项重要内容。本文介绍了多基线测向算法,时其解模糊原理及范围作了深入分析,并给出了常见宽带信号的数字鉴相算法。该算法时这些宽带信号采用非线性变换,将其变为常规信号后进行处理,估计出该宽带信号的方向。本算法在较低信噪比条件下仍有较高精度。