工程技术类课程的双语教学模式及实践

在阐述双语教学原则的基础上，将工程技术课程的双语教学分为三种基本模式，即辅助双语教学模式、混合双语教学模式和浸没双语教学模式，并分析了这三种教学模式的特点和适用场合。笔就这三种模式分别进行了实践性教学，并提出在工程技术课程的双语教学中采用分层次教育的设想。     

民机机电综合子系统试验验证的实现

分析某型号机电系统(水/废水子系统)的各功能模块,研究了机电子系统与机电综合控制管理系统的交互关系,利用Visual C++与Matlab混合编程、多线程等技术完成机电子系统仿真环境软件的研制。仿真环境软件可以模拟真实水/废水系统功能,实现与机电综合控制管理系统交互指令和数据信息传输,试验和验证机电综合控制管理系统中的水/废水软件功能块。     

基于STPA的SSPC不安全控制行为识别与验证

固态功率控制器是飞机配电系统的重要组成部分,是固态配电的核心,需要在系统研制过程中进行完善的风险识别与安全性分析。当今使用较多的方法如故障树分析等主要基于部件独立性计算系统失效率,但针对组件之间非线性交互带来的安全性问题的研究较少。为此以固态功率控制器为对象,应用STPA方法识别不安全控制行为,利用UPPAAL工具建立形式化模型并对不安全控制行为进行验证,基于过程模型识别危害场景并进行形式化验证,形成更详细的SSPC安全控制约束清单。结果表明,方法可以有效识别出SSPC组件交互不当产生的安全性问题。