高职院校教学督导信息化建设探究

ZENG La-mei(Changsha Aeronautical Vocational and Technical College, Changsha Hunan 410124)     

教育生态学视角下的英语课堂建构

运用生态学原理,从教育生态学视角考察大学英语课堂教学,挖掘英语课堂生态环境失衡的原因,树立生态型观念,构建具有生态特征的英语课堂,从而改善英语课堂生态环境,为大学英语课堂教学质量的提高提供了一个全新途径。     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

CROMEMCO LISP符号微分程序系统

本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。     

直升机阵风响应缓和控制律设计

本文提出直升机抑制阵风扰动的最优控制律设计方法。优化性能指标要求在阵风扰动下驾驶员处法向过载、飞机姿态变化、以及控制信号能量损耗最小。最终所综合的系统工程实现简便,只需在直升机姿态控制系统基础上增加垂直升降速率反馈通道即可。为跟踪90年代采用高级语言开发飞控应用软件的总趋势,本文使用C语言对优化控制律进行编程。数模混合仿真表明,控制律优化及数字化实现的效果是令人满意的。     

航天器测试语言及其运行平台研究

针对测试序列自动执行程度低影响航天器测试效率的问题,提出了一种可控制流程的 高级语言形式的新型航天器测试语言（STL）,并对其语言执行机构进行研究,设计并实现 了基于插件技术的以解释器为核心的集成开发环境——航天器测试语言运行平台。实践表 明航天器测试语言具有较强的通用性与实用性,该语言运行平台能够有效降低航天器地面测 试强度,节约测试成本,提高测试效率。
     

关于本科《机械制图测绘》教学方法的思考

测绘对提高学生的绘图能力、读图能力、查阅资料能力以及培养学生的工程意识和专业素质至关重要。机械制图测绘是《机械制图》课程非常重要的教学环节。针对我院刚刚由专科升为本科,教学理念、教学思路、教学方法都正在进行适当调整和改进这一实际情况,就我院工科类专业的机械制图测绘的教学思路和教学手段进行了思考,分析了制图测绘中存在的问题,提出了改进建议。     

基于工作过程的航空维修工程实习的改革*

在定位分析航空维修工程专业所面向的岗位、工作任务以及完成任务所要求具备的职业能力的基础上,研究运用基于工作过程的实践教学方法进行教学内容和方法设计的改革,构建并优化了案例库。实践表明,该教学改革可充分发挥学生的主体作用,提高了学生实践技能,增强了学生的工程意识。     

由“纯语言”看解构主义翻译观——读本雅明《译者的任务》

通过分析和探讨“纯语言”这一重要概念,评述解构主义翻译观的实质。