马春燕
- 作品数：54 被引量：68H指数：4
- 供职机构：西北工业大学软件与微电子学院更多>>
- 发文基金：国家自然科学基金中国航空科学基金陕西省自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术文化科学更多>>
- 嵌入式处理器P2020机器码程序到C语言源程序的溯源方法
- 2021年
- 处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1111个C语言函数声明与1273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明:文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。
- 谢文光李琪马春燕汪克念尹伟张涛
- 关键词：C语言源程序源代码分析
- 面向新工科的数据库系统新形态课程建设实践探索
- 2023年
- 当前数据库系统课程因内容缺乏时代性、教学方法传统而导致学生学习兴趣不高,难以达到新工科的启发性教育要求。面向新工科的数据库系统新形态课程建设,是可从课程目标、内容体系、教学模式、自主产权、考核方式等多方面进行系统性的课程建设改革探索。结合西北工业大学软件学院的教学实际,通过新课程建设后学生课程目标的达成情况,分析基于上述教改实践的成效,并进行相应的总结反思,以期为国内高校的相关课程建设提供有益的借鉴。
- 李鸿岐陆伟李勇李勇
- 关键词：数据库系统教学改革
- 一种结合BERT的用于教学任务的跨平台智能问答实现方法
- 本发明提出一种结合BERT的用于教学任务的跨平台智能问答实现方法，首先构建智能问答的问答对知识库，然后利用现代汉语语料库和面向对象课程的领域知识构建智能问答词典，并对知识库中的问题语句进行切分；之后构建基于多个双向Tra...
- 马春燕王慧朝张磊李尚儒
- 文献传递
- 一种不同的基于数据分区的并行构建密度树聚类算法(PCDTC)
- 2008年
- 传统的聚类算法在全空间下的聚类过程倾向于输出单一的聚类结果,高维数据在不同的子空间多视图下往往呈现不同的数据结构。文中引入空间的正交化方法实现在不同子空间上的并行化,构建密度树聚类,以提供对数据集在多维子空间视图下聚类结果的多样性观测,通过F-measure值引导用户确定不同子空间中感兴趣的聚类结果。真实数据集上的实现结果证明了上述方法的有效性。
- 张云鹏张璐翟正军马春燕戴维迪
- 关键词：并行处理数据处理聚类
- 航空控制软件条件表达式故障分类及修复方法
- 2020年
- 航空控制软件已成为航空系统的核心控制决策单元。布尔条件表达式是构成航空控制软件循环和分支逻辑代码的主要成分,研究了航空控制软件条件表达式故障分类及修复方法。①提出了一种2层次布尔条件表达式故障分类方法;②在设计变异算子、修复方案和变异修复停止条件的基础上,提出了一种条件表达式自动化修复方法;③设计和实现了面向条件表达式各类故障的修复辅助工具,对航空控制软件中155个故障表达式进行故障修复实验,结果表明,55.5%的故障表达式可以精确修复,44.5%的故障表达式修复后产生多个正确版本,部分版本存在运算冗余,尚需人工介入选择最优修复版本。
- 谢文光李琪汪克念马春燕张涛张国群
- 一种基于FACE架构的软件系统建模方法
- 本发明提出一种基于标准架构FACE的软件系统建模方法，包括系统组件化、数据建模、系统I/O服务建模及组件传输服务建模等方法。本发明提出的建模方法可以指导我国航空电子系统架构的建模，可以作为FACE架构下的系统建模相关工具...
- 马春燕魏伟张磊
- 文献传递
- 一种基于SystemC的AADL软构件模型仿真测试实例生成方法
- 本发明提出了一种基于SystemC的AADL软构件模型仿真测试实例生成方法，首先给出了将数据构件、端口和连接转换为SystemC仿真测试实例的转换技术；然后，依据构件的包含关系，从构件树的底层(子程序)到树的中间层(线程...
- 马春燕董云卫朱晓燕朱宇峰
- 文献传递
- 一种基于AADL模态时间自动机模型的嵌入式软件测试方法
- 本发明涉及一种基于AADL模态时间自动机模型的嵌入式软件测试方法，技术特征在于：根据AADL架构模型文件，生成带有模态信息的AADL系统构件树，通过广度优先遍历构件树，构造AADL模型的时间自动机模型。利用现有的时间自动...
- 董云卫张云峰马春燕张凡周伟超朱宇峰
- 文献传递
- AFDX网络设备故障诊断技术
- 2023年
- AFDX网络作为机载主干通信网络,如果出现故障,将影响整个航电系统的功能。AFDX网络设备故障诊断对于机载通信的稳定运行和航空子系统故障管理具有重要意义。聚焦网络设备故障诊断技术,研究了一套基于网络演算法的AFDX网络设备故障诊断技术。通过设计故障特征参数标识故障类型,给出检测结果和故障特征参数的关联关系;使用被动式采集的方式对关键元器件、通信过程以及设备性能进行状态检测;针对所收集的检测数据,分别给出故障诊断方法并对偶发性异常进行识别和抑制;设计网络故障诊断测试用例,从实时性和并发性2个角度进行测试验证,测试用例的通过率达到98%,且未发生致命、严重级别的BUG,较小级别的BUG不超过5个且均已修复,验证结果证明了方法的有效性。
- 胡磊柳杨郭卿超时雨马春燕张建东张涛
- 关键词：网络设备故障诊断网络监控
- 易于数据采集和高精度的室内定位方法
- 本发明涉及一种易于数据采集和高精度的室内定位方法，由两个部分构成，离线信息采集阶段和在线定位阶段。离线阶段的主要工作是：信标布设、信号指纹信息的采集与存储。在线阶段的主要工作是：定位信号采集、数据交互以及实时位置计算。在...
- 郑江滨马春燕张通
- 文献传递
