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

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

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

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

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

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

语言碰撞与飞行安全

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

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

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

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

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

基于OPC技术和Windows DNA-M结构的制造信息监视技术研究

针对传统的制造信息监视系统中底层通信接口的不一致性，并基于Web应用的组件化需求，提出了基于OPC技术和Windows DNA—M结构的制造信息监视技术。首先论述了Windows DNA—M的体系结构和特性，探讨了OPC和XML在系统集成框架中的应用．枸建了基于OPc和xML技术的Windows DNA—M结构，详细描述了自行开发的基于OPC技术和Windows DNA—M体系的多层分布式制造信息监视系统实现的关键技术，最后通过该技术在某制造企业DNC系统设备状态信息监视中的成功应用，验证了基于OPC技术和Windows DNA—M结构的制造信息监视系统具有良好的柔性。     

系统群进化环境的模型设计

由于系统群复杂性的增加和有关实践的非成熟性，开发了一个系统化的方法来进行进化活动显得十分必要。本提出了一个系统群进化的综合环境的设计模型，介绍了该环境的设计思想，操作的流程，主要的模块以及如何运用系统构架知识来支持系统的进化，最后给出了该环境设计的高层结构。     

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数据的语义特性.