基于无序点云的叶片截面特征参数提取

针对提取航空发动机叶片截面特征参数的实用性要求,研究了基于无序点云数据的叶片截面特征参数提取方法.综合距离法和二分法的优点,采用基于矩形腐蚀法的距离-二分法对点云数据排序,基于最小包容区域直线和最小二乘圆拟合,提出了将整条叶片截面点云数据分割成前缘、后缘、叶盆和叶背4部分的自动分区方法,对特征参数提取方法做了研究并用VC++进行算法实现,使用UG/OpenGrip生成UG中叶片截面上的点云数据进行实验运算,计算精度达到10-4mm,表明在实际测量和参数提取中算法误差可以忽略.      

飞机栅格零件SLM成形过程的变形演化仿真研究

栅格零件是某型无人机中的关键功能结构,形状复杂,形貌精度控制要求较高,非常适合采用激光选区熔化(SLM)工艺进行制造。利用华中科技大学研发的iAdditive仿真软件对栅格零件的SLM成形过程进行仿真分析,对支撑与关键塑性变形位置的分区打印策略进行了设计和优化。结果表明:通过仿真模拟可以迅速获得SLM成形过程中的关键塑性变形位置,通过分区设计可以使关键堆积层的变形量减小大约60%;通过对比支撑切除之后的模拟结果与试验结果,两者之间的变形趋势和变形数值吻合良好,最大变形处在中间栅格区域,变形量约为2.0mm。     

提高实时应用软件可靠性的新途径

飞行器飞行时间短,试验成本昂贵,试验成败意义重大。为了确保试验顺利进行,通常实时应用软件的可靠性指标定为99%以上。目前计算机双网络和硬件"双工热备份"体系结构在硬件上已面临性能上的"瓶颈",难以从硬件平台上再度提高实时应用软件的可靠性。现行计算机体系结构由于双机软件完全一致,一旦软件系统出现故障,会使双工系统同时瘫痪,甚至导致试验失利。本文针对实时应用软件强实时性、高可靠性要求,研究建立功能完善的实时应用软件双工系统的方法。     

RTEMS操作系统应用开发环境的设计与实现

在嵌入式应用开发中,实时操作系统越来越重要,其开发环境的优劣也成为评价的标准.RTEMS是一个开放源代码的实时嵌入式操作系统.通过建立交叉编译环境、实现远程下载、远程调试以及工程化管理和裁剪,完成了一个具有友好可视化用户界面、易于使用的RTEMS操作系统应用开发环境的设计,为开发人员提供了一个良好的工作平台,为编写大型的嵌入式软件提供了方便,为推广RTEMS的使用打下了基础.该系统已经用于教学和科研领域.      

基于固定优先级航天器任务分层调度研究

在航天器自主控制结构中, 采用分层结构构建系统, 实现不同分组的软件互不影响执行. 针对固定优先级调度模型, 通过对分区可调度性和分区设计问题进行研究, 仔细考察了任务最大响应时间迭代计算过程, 提出了一种更为精确的求解算法; 在固定优先级任务利用率上限的基础上, 给出了分区任务可设计的判定条件; 通过利用价值函数, 给出了分区参数解析模型, 在此基础上, 提出了一种局部最优的设计方法来实现整个处理器的分区设计, 通过具体实例对所提出的分区分析和设计方法进行了验证.      

正确调用自动化系统的shell脚本

引言 目前使用的空管自动化系统大多以unix操作系统作为平台,并基于unix shell编写了大量的脚本文件（shell脚本）。比如在杭州空管现行使用的两套自动化系统中,都各自携带了许多自己的shell脚本：在马丁系统,含有runmx、Reboot、do-install、purge．sh等脚本;在28所应急系统,又含有S99startatc、copy、openwin、start_pre等脚本。     

时间分区的设计与实现

为了满足新一代航空电子系统高度综合化、模块化的要求,在高安全实时操作系统中引入了分区（Partition）的概念。分区是运行于一个处理机模块上的一个或多个应用程序（或子系统）,这些应用程序在时间和空间上彼此隔离,互不影响。分区操作系统根据预先定义的主时间框架内的时间窗口调度相应的分区,在分区的时间窗口内,每个分区按照分区内自己的调度策略调度分区内的进程。分区内的进程有周期进程和非周期进程两种类型,每个进程具有截止期属性,周期进程除了截止期还存在周期属性,当进程发生截止期超时或周期超时,操作系统需进行相应的超时处理。本文着重讨论符合ARINC653要求的时间分区的一种设计及实现方法,包括分区时间调度,进程截止期管理,周期进程调度,以及时间事件管理。     

一种基于AADL的IMA系统配置信息的正确性检测方法

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。     

基于模型转换的IMA系统可调度性验证方法

综合模块化航空电子系统（Integrated modular avionics ,IMA）中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering ,MDE)框架下,基于实时嵌入式系统建模与分析（Modeling and analysis of real time and embedded system,MARTE）模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE 对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。     

操作系统与模块支持层隔离机制的研究

新一代航空电子系统是一种高度综合化、模块化的系统,使用层次性的软件体系结构可以减低软件开发费用、提高系统安全性.本文参考欧洲航空电子标准ASMC,对操作系统与模块支持层的隔离机制进行了深入研究,分析了嵌入式操作系统VxWorks结构,尝试了将其内核和模块支持层进行隔离.