CAD/CAM的新生代产品——Cimatron E数控五轴加工软件包

Cimatron(思美创)公司成立于1982年,是为工模具和制造业提供从报价到交付的CAD/CAM解决方案的引领者.C imatron始终致力于向工模具制造者和数控编程用户提供综合的、有利于降低企业成本的CAD/CAM解决方案.这种解决方案使得制造流程更加顺畅,协作伙伴间的工作沟通更加方便,缩短了产品的交付时间.全球8 5 0 0多家用户安装并使用Cimatron提供的软件解决方案,涉及的领域有汽车、消费品市场及电子产品.     

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

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

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

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

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

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

语言碰撞与飞行安全

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

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

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

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

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

五年了,感谢您!

亲爱的旅客:您好!2009年起,就是在这本杂志上,以冬虫夏草高效利用的真诚沟通,极草开始了与您的同行之旅。之后与您的每月相约,极草的点滴成长都与您分享。五年了,极草由衷地感谢,有您,一路同行。今天,我们再次向您汇报我们五年来的成果与感悟。从零到遥遥领先坦率地说,极草到如今的发展速度已经远远超越了我们的预期。最初只是想把自己的研究成果与消费者分享,让大家获得更好的产品体验,收获更好的效果,使如此珍稀的资源得以高效利用。幸运的是,今天,不但这些目标都已达成,极草更在这五     

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