飞行等待程序自动生成算法和显示研究

在分析目前飞行等待程序标准规定的基础上,总结出一套飞行等待程序自动生成算法,采用Google Earth和VC＋＋编程技术,实时生成等待程序航迹,对有效评估等待程序设计的安全性和合理性有着重要意义.     

试卷自动生成算法

采用试卷自动生成算法记录试题的一组特征值,根据用户提供的试卷中题目类型、题量,难易程度和学时条件,借助于条件中的一系列数据文件,使具体课程的相关数据动态地抽象成逻辑数据,用以解决通用问题,在此基础上附加一定的限制条件线性规划出一份满足用户要求的,通用的,科学合理的试卷。     

基于小扰动动力学模型的舰载机复飞决策系统研究

从提高舰载机着舰安全性出发,提出了满足着舰安全要求的复飞准则,对基于飞机小扰动动力学模型复飞决策系统的实现技术以及复飞边界计算方法进行了研究,并以国外某型飞机为例,利用matlab软件对复飞边界进行了计算,并对复飞过程进行了仿真验证,结果表明基于小扰动动力学模型的复飞决策方法切实可行。     

基于航迹特征的飞行程序噪声预测研究

针对目前飞行程序减噪设计的需要,研究了民机的航迹特征,选取了声暴露级（SEL）作为单个事件的飞机噪声评价指标,并在研究飞行程序特点的基础上,结合飞机噪声性能（ANP）数据库和NPD噪声计算方法,建立了一套基于航迹特征的离场飞行程序噪声预测方法。以某民用机场的离场程序为例,绘制出噪声等值线图,验证了方法的可行性。实例证明,该方法可以量化预测飞行程序的噪声影响,规范了飞行程序噪声预测的方法,可以为减噪飞行程序设计提供参考。     

面向战役级目标态势生成的航迹关联算法

针对战役级目标态势数据量大、信息源数量多、采样频率各异、探测误差差异大、目标属性特征存在误判等问题,基于多尺度航迹聚类提出了一种面向战役级目标态势生成的航迹关联算法.首先利用等距滑动窗口均值滤波剔除目标异常数据点、降低传感器误差引起的数据抖动,重新估计目标航速和航向;然后综合目标量测数据的多维特征提出了一种轨迹相似性距离;最后基于该距离,分阶段进行基于多粒度网格聚类的粗聚类和基于密度聚类的精聚类完成目标数据关联判断,综合聚类结果和离群点得到关联结果.实验表明:提出的方法在战役级目标数据环境下,数据处理容量、关联正确率、身份异常稳定性等方面较现有航迹关联算法有一定的提升,适用于战役级目标态势生成应用.     

基于SIFT算法的自动全景图生成算法

自动全景生成被广泛应用于全景数码相机,卫星图像拼接以及医学图像分析中。本文提出一种基于尺度不变特征变换（SIFT）算法和改进的普氏分析（Procrustes analysis）的自动全景图像生成算法。实验证明该算法能够根据多幅图像的特征自动准确地拼接生成全景图像。     

dBASEⅢ报表程序自动生成系统

报表自动生成系统，是当前较为热门的一项课题，而且众多的报表自动生成系统应运而生。本文所介绍的这个系统就是一个实例，但是其设计思想和实现技术上都有新的内容。文章着重向读者介绍了本系统在总体设计时的理论指导思想，即：1．从数据结构出目标程序的结构；2．从结构的类型导出目标程序结构的类型；3．从源数据文件与目标数据文件之间的关系，导出目标程序中的算法（加工）模型。     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法;然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式;最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

实时系统中的报表自动生成模型

针对实时系统应用软件的特点,详细讨论了一种报表自动生成模型,并将其应用到某电力生产实时信息显示系统中,结果表明,该模型提高了软件的开发效率和系统的实时性,使系统具有较强的灵活性、可扩充性和实用性     

航迹自动舵的实船试验研究

阐述了一类航迹自动舵的系统设计,重点介绍了实船试验情况,并通过海试比较了增益规划式ＰＩＤ鲁棒控制及神经网络控制等不同算法的性能,试验结果表明航迹舵在不同海况长时间工作稳定可靠,航迹控制性能良好。     

柔性制造系统动态调度算法自动生成系统

介绍了研制的柔性制造系统动态调度算法自动生成系统,探讨了它的领域知识库的获取及组织方式,算法生成及算法修改的机制主一些相关的新观点。     

柔性制造系统动态调度算法自动生成系统

介绍了研制的柔性制造系统动态调度算法自动生成系统,探讨了它的领域知识库的获取及组织方式,算法生成及算法修改的机制以及一些相关的新观点。     

基于建筑信息模型自动生成施工质量检查点的算法

依据国家标准,提出基于建筑信息模型(BIM)自动生成建筑工程施工质量检查点的算法.首先阐述国家标准在传统施工质量验收过程中的作用,接着深入分析IFC(industry foundation classes)数据,提出结合BIM技术改善这一过程的可能性,然后将国家标准与IFC数据关联,建立基于BIM自动生成施工质量验收检查点的算法,最后分析实现这一算法的平台和技术,并就其典型界面和应用情形进行简单说明.     

基于航迹分段的飞行程序噪声评估方法

为了减少飞机噪声排放对机场周围居民区的影响,研究了典型的进离场飞行程序。结合民用航空器运动模型和性能模型,建立了航迹模型。在研究飞行程序噪声评估方法的基础上,选取了合理的飞行程序噪声评价指标,提出了基于航迹分段模型的飞行程序噪声评估方法。以西安咸阳国际机场的进离场程序为例,选取B737—300机型进行仿真验证,绘制出了噪声等值线图。结果表明,该方法具有可行性,能够提高飞行程序噪声评估的效率,具有一定的参考价值。     

编译程序自动生成系统HMCGS的设计与实现

本文介绍一个基于范式有序属性转换文法NOATG的编译程序自动生成系统HMCGS。NOATG源于属性文法,可被用于描述程序语言的形式语义、编译程序的自动生成等领域。属性描述语言ADL是专为HMCGS系统设计的输入语言。HMCGS系统接受一个ADL语言程序,生成一个相应的目标编译程序。本文还简要介绍了HMCGS系统与目标编译程序的系统结构。     

元程序设计环境的自动生成技术实现

针对因目标程序和元程序的复杂性而导致元程序设计环境的构造过程十分复杂的问题,将面向对象的方法应用于元程序设计环境的自动生成技术,并以此为基础,实现了一个支持多种环境语言(实现元程序的语言)的元程序设计环境自动生成系统--O_MPS.实验结果表明,该系统可以根据用户提供的说明自动生成元程序设计环境,O_MPS生成的元程序设计环境包含丰富的元级操作,支持中间表示和元级操作的同时扩展,为灵活高效地进行元程序设计提供了支持.     

基于认知心理学模型的自动文本摘要生成技术

自动文本摘要生成(ATS)与计算机科学和认知心理学密切相关.提出了一个自动文本摘要生成系统(EI-ATS).该系统借助句法和词法分析,将认知心理学中的事件-索引(Event-indexing)模型运用到自动文本摘要生成.评价结果表明:该系统在多文件摘要生成方面表现良好,成为整合两个相异但相关领域知识的研究范例.     

移动威胁下的无人机三维航迹规划

针对移动威胁下的无人机三维航迹规划问题,采用自适应卡尔曼滤波算法,对移动威胁的状态信息进行了预测,依据其航迹方位角、航迹倾斜角与视线角之间的关系,建立了航迹角控制数学模型,并提出了移动威胁下基于参数调整的航迹规划算法.仿真结果表明,该算法能够保证无人机有效地躲避空中移动威胁,并提高了其规避移动威胁的快速性.