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

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

基于QFD和TRIZ的可信软件技术冲突解决方法

为解决软件开发中的技术冲突及提高软件的可信性,提出了基于质量功能展开(QFD)和发明性问题解决理论(TRIZ)的可信软件技术冲突解决方法.首先构建可信软件规划质量屋,在软件开发过程中引入用户视角;其次,重点分析质量屋的技术特性自相关矩阵中呈负相关的技术特性,尝试用TRIZ的发明创新原理予以解决,获得多个可行的创新性解决...     

法律适用中的语言学研究

法律适用的过程是将法律规则内含的旨意表达出来并使相关人接受、使相关事务得到合理解决的过程,最终使人与人之间的关系归于有序。而人与人之间的关系协调最终是需要通过语言使双方的意图被彼此接受,而法律只是其中的一部分。因此,从语言的角度讨论法律的适用,实质是研究如何使法律更好地得到实施的方法或途径之一。通过研究法律语言的现状从修辞学角度探究法律适用。     

高职高专英语教学中的文化导入

通过对文化和语言的关系及对高职高专学生对英语应用能力的研究,系统分析了在高职高专英语教学中的文化导入的切入点,阐述了在英语词汇教学中、英语听说教学中和英语读写教学中文化导入的相关内容及必要性,对高职高专英语教学的方法导入提出了积极可行的方法。     

基于过程规范语言的复杂工艺过程模型建立方法

 使用基于本体论的过程规范语言（PSL）对制造过程信息进行规范,已成为过程信息集成的重要发展趋势。针对零件复杂工艺过程信息中存在的资源多样性、工序次序无关性等特点,讨论了PSL理论在工艺过程领域的应用模式,提出了一种采用PSL建立复杂多工艺过程模型的模型构建方法和描述方法,并建立了基于PSL的工艺过程信息建模平台,同时实现了在计算机辅助工艺设计系统中的初步应用,为进一步探索PSL在制造信息系统集成中的应用提供了可参考的经验。     

Java语言应用于测控实时软件的分析与研究

开发测控软件必须要满足实时性的要求。本文介绍了Java实时规范对实时编程的解决方法,给出了Java语言本地接口的构造过程。在Solaris10操作系统下,Java环境的实时调度性能的测试表明,将Java语言应用于测控实时软件开发在技术上是可行的。     

基于模糊语言变量的航空项目研制风险决策分析

分析了航空项目研制风险中一系列影响技术风险的相关因素.针对其风险决策过程中的不确定性,提出了基于模糊语言变量的评价决策分析方法.通过模糊风险语言术语集的建立,由决策者对研制方案给出模糊语言判断矩阵,使用EOWA算子进行集结,并求得方案中技术风险的语言标度,对方案进行择优排序,提高了航空项目研制风险决策的准确性和可操作性,对最终的风险管理具有重要意义.     

从心理语言学角度探析造成民航英语陆空通话歧义的原因

民航英语通话失误或歧义是当今引发航空安全事故的主要因素之一.本文在研究大量事故案例的基础上,尝试性地从心理语言学的角度(主要是从言语听辨理论)分析了造成这些失误与歧义的原因,并在此基础上提出了减少或避免通话歧义产生的对策.     

基于PCL语言的局部覆盖PCLD梁的动力学优化

为实现局部覆盖被动约束层阻尼(PCLD)梁的动力学优化,在通用有限元软件MSC.PATRAN/NASTRAN平台上,利用PCL语言在PATRAN中建立了局部覆盖PCLD梁有限元模型,实现了设计变量的参数化,以局部覆盖PCLD梁第一阶模态损耗因子最大为优化目标函数,采用单纯型法对局部覆盖被动约束层阻尼梁进行了动力学优化计算.算例表明,程序合理,结果正确,能够满足工程设计需要.     

数控技术中的高级语言调用低级语言处理

本文通过第1象限直线插补实例说明了用C语言调用汇编语言程序的实现步骤和方法。在本例中既使用了屏幕动态显示运动轨迹,也发出了电机控制信号。