支持MEMS的CAD/CAE系统结构研究

CAD/CAE技术在MEMS(Micro Electro Mechanical Systems)研究过程中具有非常重要的作用.本文首先介绍了用于MEMS的CAD/CAE技术特点,然后研究了MEMS CAD/CAE系统结构,给出了软件支持工具结构框图,指明了解决其中关键技术的途径.CAD/CAE技术的应用,将提高微型机电系统的设计质量,缩短研制周期,使之及早走向工业化.     

Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

涂层硬质合金刀具加工镍基合金的应用

本文在对镍基合金进行系统车削实验基础上，研究了多种先进硬质合金刀片的切削性能。并对涂层硬质合金刀片独特的优良性能进行了论述。文中从抗磨料磨损、抗扩散磨损及抗氧化磨损几方面，对涂层刀具的切削机理进行了分析研究。     

天然金刚石刀具单激励超声椭圆振动车削

设计并制造了一种单激励夹心式纵弯复合椭圆振动车削系统.在分析超声椭圆振动切削抑制刀具崩刃机理的基础上,利用该系统进行了天然金刚石刀具振动车削铝件的试验,证实了椭圆振动切削可以有效防止刀具崩刃.     

航空发动机管路系统数字化设计

本文介绍了基于数字样机的全新管路系统设计。通过构建规范化的数字样机，借助研究开发的规范、应用程序、数据库，实现了发动机结构参数提取、空间数据管理与分析、管路路径生成与路径快速更新。借助标准件库实现面向加工与装配的全新设计模式，达到了设计的高速、高质量和低开发成本等多个目标。     

基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

软件可靠性预计方法研究及实现

软件可靠性评估可以估计和预计软件可靠性水平.为了解决软件可靠性预计过程中存在的问题,提出了一种软件可靠性预计方法.该方法通过分析和改进模型的预计质量来选择模型进行预计,对模型预计质量的分析使用了U图、Y图和对数PLR图,再标定法和组合法被用于改进模型的预计质量.在该方法的基础上开发了软件可靠性分析工具,此工具可以进行多种软件可靠性模型的原始预计、预计质量分析和改进原始模型的预计质量.     

Hermite算法的收敛性分析及其改进

为了提高多点切触加工算法的计算效率,对其中的Hermite算法进行了改进,并且对改进后的Hermite算法的收敛性进行了理论分析,推导了改进后算法的局部收敛条件,同时给出算法的Steffensen加速迭代公式并新提出了一种基于试算的待定系数迭代法.分析和实例表明,改进后的Hermite算法属于线性收敛的算法,而待定系数迭代法则有接近二阶的收敛速度.综合应用上述算法,可以满足一般性自由曲面多点切触加工刀位计算的要求.      

数控加工中等高线刀具轨迹的生成

针对高质量的等高线高速加工要求,设计并实现了数控加工中、根据刀位面及其Zmap模型计算等高线刀具轨迹的原理和算法.该算法充分考虑了刀位面Zmap模型的特点,能确保刀具轨迹始终处于顺铣状态,从而保证了良好的加工工艺性.算法稳定性好,计算速度快,并已在商品化软件CAXA-ME中成功实现.      

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程序,从而有效全面的评价软件质量,揭示可能隐藏的错误.