基于模块的标准ATLAS语言及其应用

面向模块的ATS设计是现代测试技术的重要分支.论述了测试语言ATLAS的产生、发展过程,分析了其存在的问题.指出基于模块的ATLAS是标准的测试语言,详细介绍了它的特点、模型结构及在现代ATS设计中的应用,满足了TPS可移植性的发展要求,代表着现代测试语言的发展方向.     

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

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

英语习得与人为目的语环境的创造

"语言习得"与"语言学习"是外语教学理论研究中的两个重要概念,克拉申认为只有"习得"来的语言才能成为流利的口头表达,而"学习"只能起"监查"作用.在"学习"的条件下,通过营造人为目的语习得环境,以用为本,立足实践,学习者同样可以达到习得外语的目标.     

非制导炸弹投掷的攻击航迹规划研究

战斗机投掷非制导炸弹,需要预先对攻击航迹做出合理规划,以提高作战效能和生存能力。为此,提出一种战斗机的攻击航迹规划方法。首先建立战斗机运动模型,生成基本战术动作模型库,并将动作组合合成为基本航迹;然后,构建各阶段动作参数的开闭环控制模型,对战术动作进行微观控制,并依据飞行员经验确定参数变化的约束范围;最后,基于非制导炸弹的基本性能和战术运用方式,限定战机的投掷参数,进而完成航迹规划。对机动跃升加俯冲攻击战术进行仿真分析和演示验证。结果表明:所规划航迹满足攻击条件,运动参数符合飞行要求,验证方法可行有效。     

平视指引系统及其在客机上的运用

平视指引系统(HGS)在民航客机上的运用越来越广泛。飞行员不需要低头就可以从这块玻璃上获取重要的飞行参数和飞行状态,又可以透过这块玻璃看驾驶舱外,获取必要的目视参考,使飞行员更加轻松地专注于飞行,实现飞机的精准着陆和安全飞行。然而,HGS在我国的运用并不好,需要引起政府部门和航空公司的关注。     

语言碰撞与飞行安全

在世界诸多语系和语种中,混合语、洋泾浜和克里奥尔语等“边缘”语言不为大众所了解。本文介绍了陆空通话中的混合语(linguafranca)——用于特殊用途的航空英语。虽然英语已广为航空业者所使用,但是由于使用不当而引发的诸多问题和安全隐患不能不引起我们的高度重视。本文重点探讨了空空通话和陆空通话中飞行员之间以及飞行员和地面管制人员之间用母语和英语通话时所遇到的诸多障碍,目的在于通过实例分析、经验总结和文字研究,提出航空领域亟待加强和规范的语言通话策略。     

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

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

多重分形谱在材料分析中的应用研究

基于多重分形谱的物理意义，通过图像分析与处理技术，利用Delphi语言设计了图像结构的多重分形谱的计算程序。通过程序中图像黑白二值化转化阈值的设定，实现了从材料组织结构形貌图像上提取其相应的概率测度和标度指数的功能，并计算了它们的多重分形谱。分析表明：在对材料的组织结构进行研究的问题中，多重分形谱是一种有意义的表征参数，能够从多分形角度对材料的组织结构开展定量化的分析与解释。     

Java程序度量工具的实现及案例分析

介绍了面向对象度量技术,给出针对Java语言的McCabe,Halstead和WMC复杂度的定义,提出了一种新的面向Java语言的度量工具的实现方法,并且通过实例分析说明利用该工具度量Java程序,某些度量值高的模块逻辑复杂、工作量大、易错且难维护,从而引导测试人员重点测试这些模块,同时也使开发人员关注它们,仔细检查程序逻辑,进行合理优化,使整个程序的复杂度降低.确凿实验数据表明,软件度量对改进软件质量具有很大实用价值.本工具采用以下度量标准度量Java程序:针对继承复杂性的DIT(Depth of Inheritance Tree)和NOC(Number Of Children)复杂度;针对模块复杂性的McCabe度量法、Halstead软件科学度量和WMC(Weighted Methods per Class)复杂度;针对类间耦合性、聚集性的RFC(Response for a Class)度量法.每种复杂度从不同方面、不同层次度量Java程序,从而有效全面的评价软件质量,揭示可能隐藏的错误.     

面向NXD的XML数据函数依赖

XML的半结构化特性造成了Native XML 数据库中数据模式规范化设计中的很多问题.采用结构信息和数据信息相结合的方法,给出XML数据间函数依赖的定义,解决数据模式规范化设计中的理论问题.建立了XML模式路径和XML数据树节点路径的定义,描述XML数据中的路径;给出了XML文档有效性的形式化定义;在此基础上定义了树元组和树元组相等的概念.运用树元组及其相等的概念定义了XML数据的函数依赖关系,进而给出了相应的自反、增广、传递推理规则,用于推导给定集合所蕴涵的函数依赖关系.并证明了这一推理规则是正确的.上述工作为Native XML 数据库系统中数据模式的规范化设计提供了一定的理论基础,增强了XML数据的语义特性.