机载软件建模与仿真技术研究

机载软件是机载系统的核心功能的载体,它的开发面临着早期验证困难、可重用性差、验证成本高昂等难题。针对这些问题,构建了一个支持机载软件先期验证的建模环境,开发了一套机载软件中间件,并研制了一种机载软件仿真验证环境。实验结果表明,所开发的建模及仿真环境能够极大地提高机载软件的开发效率,降低机载软件的开发和验证成本。

工程认证背景下物联网中间件课程建设研究

随着物联网的快速发展,物联网中间件作为连接和管理物联网设备的关键技术,已经成为工程领域中不可或缺的组成部分。然而,在物联网中间件课程的教学建设方面,仍存在着一些挑战。本研究旨在探讨在工程认证背景下如何有效地开展物联网中间件课程的教学建设,以满足行业需求并提升学生的综合能力。

机载软件中间件及其应用技术研究

针对当前机载软件复杂度攀带来的可移植性差、开发周期长等问题,提出了一种机载软件中间件的设计方法。首先,分析了分区操作系统环境下机载应用软件的共性特征;然后,设计了一种结合了通信中间件和组件中间件功能的通用的机载软件中间件架构,让开发人员可以使用该中间件快速开发机载应用程序;最后,使用本文所设计的中间件开发了一个飞行管理系统软件,验证了该中间件的通用性。实验结果表明,该中间件具有良好的适配性和可移植性,能够加快机载应用程序的开发过程,降低软件开发成本。

初中语文教学中阅读与写作的互动关系研究

文章以初中语文教学中阅读与写作的互动关系为研究对象,探讨了阅读与写作在初中语文教学中的地位和作用,以及如何实现阅读与写作的有效结合,来提高学生的语文综合素养。分析认为,阅读与写作相互作用,相互促进。阅读可以培养学生的写作能力,写作可以促进学生的阅读能力。在阅读与写作的互动教学方面,需要制定合理的教学计划,精选阅读材料,开展写作训练,加强阅读与写作的结合点并培养学生的自主学习能力。

嵌入式系统应用开发人才培养模式探索

为了推进国家“新工科”建设政策,培养出一大批高素质的嵌入式系统应用开发人才,使物联网工程专业学生具备解决复杂工程问题的能力,本文通过分析嵌入式系统应用开发课程的特点及教学过程中存在的问题,提出从学生培养机制、教学模式改革、课程教材建设和教师队伍建设等方面进行改革。实践结果表明,本文所提出的改革方案更好地培养和提高了学生的动手实践能力和设计创新能力,更好地满足了“新工科”产业对人才的需求。

“新工科”背景下《嵌入式操作系统》课程改革研究

为了适应国家对"新工科"人才培养模式的需求,使计算机科学与技术专业学生具备解决复杂工程问题的能力,本文从课程内容建设、教学模式改革、考核方式改革和教师团队建设四个方面提出了嵌入式操作系统的课程改革方案。教学实践结果表明,本文所提出的方案提升了学生的工程能力,达到了"新工科"建设所要求的目标。

Web应用安全漏洞测试工具Punks的设计与实现

文中设计和实现了一个Web应用安全漏洞测试工具Punks。其中Punks的爬行模块的设计与实现来源于对开源的网络爬虫软件Harvestman的改写,进而达到了高性能的多线程爬行。为了提高整体性能,还设计和实现了一个具有队列缓冲机制和多线程机制支持的注入/分析组件,并把改写后的网络爬行组件和它很好的集成,最终实现了一个高性能的Web应用安全漏洞测试工具。

基于Lab Windows/CVI的动态网络通信平台的搭建

针对Lab Windows/CVI中的DataSocket技术和NI网络变量只能手工、静态分配采集端资源的问题。该文设计和实现了一个基于虚拟仪器的网络通信平台,使得多个客户端可以同时和多个采集端进行通信,并动态的申请和释放采集端资源。

AFDX航空总线仿真测试技术研究

为了对AFDX总线的网络系统进行测试,采用德国AIM公司所研制的仿真测试软件fdXplorer及API-FDX-2仿真测试板卡,搭建虚拟的机载数据总线的通信仿真测试系统,仿真AFDX数据包的发送、接收和监控。

基于AFDX的机载数据网络端系统通信机制研究

阐述了AFDX标准化文档ARINC664(主要是第7部分)对机载数据网络端系统通信机制的标准化规定。介绍了虚拟链路和AFDX端系统协议栈等关键技术。用一个端系统和交换机配置的实例阐述了机载网络的端系统通信机制。

AADL分级调度模型的分析与验证

针对嵌入式系统体系结构分析设计语言(architecture analysis and design language,AADL)分级调度模型的分析问题,提出了基于模型检验的可调度性分析和验证方法.基于时间自动机理论,将AADL分级调度模型转换为时间自动机网络,将待验证性质描述为时序逻辑公式,通过模型检验工具对可调度性进行分析和验证.研究结果表明,使用模型检验方法来分析AADL分级调度模型的可调度性是可行的.相对其他方法而言,该方法利用了形式化方法的穷举性来分析系统的性质,分析结果更加精确.

基于区域一致性的图割立体匹配

面向深度信息获取的立体匹配由于其处理快速、操作简单和隐蔽性好等一系列优点已应用于机器人视觉导航、医学成像和军事等领域,已成为立体视觉中的一个热点方向。由于图割算法不仅精度高,收敛速度快,并且对于光照变化、弱纹理等区域的匹配效果也比其他算法好。但是图割算法没有考虑图像的全局一致性,针对其不足之处,文章提出了基于区域一致性约束的图割立体匹配算法,并通过matlab仿真验证了算法有效性。

基于多特征模糊融合的疲劳状态判决

在基于视觉的疲劳驾驶识别过程中,使用单个特征进行疲劳驾驶判断,常常会受到非普遍适用性、噪声等因素的影响,从而导致识别率降低。为了解决眼部特征参数或者是嘴巴特征参数单个特征识别率低甚至特使环境无法识别的问题,提出一种基于多特征融合的判决方法,利用了各种特征之间的优势互补,可以降低噪声和类内类间差异的影响,从而提高系统的性能,并且能增强适用性。最后通过实验结果证明,使用眼部和嘴巴特征融合的方法比单一的判决方法准确率更高。

一种通用机载总线接口控制文档设计方法

以通用机载总线监控及测试系统研发为背景,针对接口控制文档(ICD)严重依赖于总线类型,缺乏通用性的现状,提出了一种通用的ICD设计方法。在软件层面上对接口控制文档的通用性进行高层抽象,并在此基础上设计和实现了通用的ICD数据模型和ICD解析器。在通用机载总线监控系统中对本文提出的方法进行了通用性验证和可行性验证。实验结果表明,使用此解析器,无需修改应用程序代码即可适配各种类型的机载总线;同时,高层抽象带来的总线传输时延不超过2 ms,满足总线测试系统的需求。

基于FPGA的疲劳驾驶检测算法研究与设计

随着交通工具大幅度增加,同时事故率也居高不下,疲劳驾驶是导致交通事故的一个重要因素。在过去的技术研究和应用中,绝大多数都是基于PC机和DPS的算法研究实现,不适用于车载,而在车载系统中不仅要实时性高而且要求体积小、方便安装使用,因此本文提出一种基于FPGA嵌入式的疲劳驾驶检测技术系统并对在FPGA上算法特点进行了研究、验证,通过实验证明了算法设计有和优化的有效性。

高可靠计算机MFOP的设计与验证

针对传统可靠性指标在计算机设计中所受质疑,提出了用MFOP进行计算机高可靠设计的思路。首先,论述了计算机提高MFOP的通用和专用设计方法,其次,在加速系数不明确的情况下,针对高可靠计算机提出了基于加速验证试验方案的非参数统计方法。再次,在加速系数明确的情况下,通过试验设计将MFOP验证过程转化为二项分布的可靠性验证试验验证过程。最后,通过两个算例对验证方法进行了说明。

基于节点可靠度的无线传感器网络拓扑控制算法

针对无线传感器网络节点在数据传输过程中易面临能量耗尽和数据拥塞失效的问题,通过构建节点可靠度模型,获得了网络在保证节点可靠度最大且网络生存时间最长的条件下最优节点度的取值。进而依据最优节点度的取值,提出了一种基于节点度调整的无线传感器网络拓扑控制算法(TCNR)。仿真实验结果表明,TCNR算法极大减少了拓扑数据传输过程中的拥塞程度,增强了拓扑结构的健壮性,并有效延长了网络生存时间。

采用压缩感知与智能优化的大规模WSNs移动稀疏数据收集

针对大规模无线传感网数据处理网络流量大、任务时延高的缺陷,提出了一种基于自适应块压缩感知与离散弹性碰撞优化算法的移动节点数据收集方案。首先,通过分析网络分块与节点部署之间的关系,提出自适应块压缩感知数据采集策略,实现传感器节点基于自适应网络块压缩感知数据采集;设计移动节点数据采集路径规划策略和多移动节点协同计算机制,通过采用适应度值约束变换处理技术和并行离散弹性碰撞优化算法,达到均衡网络节点能耗和降低数据处理任务时延的目的。最后,仿真结果表明,该数据收集方案能够有效实现大规模传感网数据高效处理,而且降低了网络流量和网络任务时延,更好均衡了网络节点能耗。

基于图像特征融合的航空装备多属性维修决策方法

以保障航空装备运行稳定性,制定科学的航空装备维修方案,提出基于图像特征融合的航空装备多属性维修决策方法。该方法利用主成分分析方法与投影寻踪方法融合航空装备图像后,通过阈值化分割方法得到航空装备故障诊断结果,该诊断结果即为航空装备维修的多属性;依据航空设备维修多属性,使用灰色模糊数和灰色关联关系矩阵方式获得航空装备多属性维修决策结果。实验结果表明:该方法可在航空装备图像存在缺失和模糊情况下有效对其实施融合,且诊断航空设备故障区域和计算航空设备维修多属性结果较为精准;针对不同航空装备故障,有效对其进行维修决策,应用效果较为显著。

一种嵌入式实时多分区操作系统下的NVRAM管理机制

在嵌入式实时多分区操作系统中,针对直接通过绝对地址访问NVRAM导致存储器访问越界的问题,该文提出了一种NVRAM管理机制,通过定义注册接口、读取接口和写入接口,屏蔽了不安全的物理存储器访问机制,建立了安全可靠的NVRAM管理机制。通过实际的工程应用证明,该NVRAM管理机制完全避免了存储越界访问的风险,同时降低了系统维护成本,有效地提高了应用软件的安全性,降低了开发成本。