一个C程序切片系统的设计与实现

针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现的一个Ｃ程序切片系统，其中包括系统的概要设计思想，系统中使用的数据结构以及切片生成算法。Ｃ程序切片系统不仅可用于产生Ｃ程序的切片，而且可用于观察Ｃ程序的框架结构和有关变量的多种数据字典。所有这些结果，为Ｃ程序的测试、排错与维护提供许多有用的信息，对Ｃ程序的并行性检测、波动分析和复杂性度量提供有力的支持。     

车刀破损快速报警的实验研究

刀具破损的突发性和危害性对刀具监测系统提出了快速报警的要求。本文对切削振动信号在车刀破损时的变化规律进行了实验考察,提出了用均值分量的偏移和高频分量的短时消失来监测车刀破损的方法,并在已建立的微机监测系统中获得了满意的试验结果。     

CBN滚切车刀研制及其加工质量研究

研制了安装９．５～２３ Ｃ Ｂ Ｎ 刀片的滚切车刀。刀片用弹性卡头装卡,刀杆具有可调前角和刃倾角,并具有滑动轴承和滚动轴承 ２ 种刀轴。切削实验表明,加工质量主要受表面波纹度影响,采用适当的切削速度、进给量、刀具几何参数,减小刀片直径和刀轴轴承间隙均可降低波纹度。     

超精密机床主轴在线动平衡装置研究现状

在超精密加工中,机床主轴的动不平衡和振动成为限制加工精度进一步提高的关键技术。文章紧密结合近几年的技术发展,介绍了在线动平衡的基本原理,并从机械设计的角度对各种自动平衡装置进行分类,综述了在线动平衡装置的基本原理,优缺点、发展现状及应用前景。     

亚音速民机平尾初步设计

本文着重搜集、归纳了那些重要的,且又便于在飞机初步设计阶段使用的品质要求,并将它们用平尾相对面积和飞机重心之间的解析关系表达出来。利用这种解析关系,可以在平尾相对面积和飞机重心位置的参数平面上,绘制出各种限制边界,形成所谓“剪刀图”。如果所要求的飞机重心变化范围给定,则可在这种边界限制图上很容易地确定出所需要的平尾相对面积.为说明本文方法的可行性和可靠性,最后还以Y-7飞机为算例进行了验证性计算.     

对衍生金融工具的会计确认与计量研究

就金融创新的衍生金融工具的特点与传统会计理论和实践所产生的差异 ,导致在具体会计核算上需要进行确认和计量的必要性进行了分析。并对如何进行确认及计量提出了自己的看法。     

难加工材料高速切削

介绍了刀具陶瓷的发展、性能、切削特点，以及对提高切削加工技术的作用。重点分析了陶瓷刀具在切削淬火钢和镍基高温合金中有关切削力、切削温度、刀具磨损等方面的机理。研究表明陶瓷刀具可用于淬火钢和镍基合金的高速切削。     

航空发动机转子动力优化设计软件工具研究

通过对航空发动机多转子系统的转子动力学优化模型的深入分析与研究,采用模糊数学中的正态分布的隶属函数的加权之和,对多阶临界转速相对于多个常用工作转速的分布状态进行了描述,并由此构造了目标函数;按照设计工程需要选定了对临界转速有显著影响的多个因素作为设计变量;按照设计规范的要求选定性能约束; 从而成功地建立了航空发动机转子动力学优化数学模型.在Windows98/NT平台上开发了航空发动机转子动力学优化设计软件工具.该工具可以实现多转子系统的转子动力学优化设计和整体转子的有限元变形与应力分析.以航空发动机转子为实例,验证了转子动力学优化设计软件工具在航空发动机优化设计中的应用,取得了满意的优化结果.     

面向对象CAPP系统开发工具的设计方法

采用面向对象的系统分析方法，分析了工艺规程设计问题域，并抽取了其中的对象及结构，然后，描述了通过建立对象类库来实现语言型ＣＡＰＰ开发工具的方法，这种开发工具兼有外壳型开发工具的特点。     

SketchMapia: Qualitative Representations for the Alignment of Sketch and Metric Maps

More and more private citizens collect and publish environmental data via web-based geographic information systems. These systems face two challenges: The user interface must be intuitive and the processing of geographic information must account for cognitive impact. We propose to use sketch maps as the medium for interaction, because they reflect a person's spatial knowledge. Information from sketch maps is distorted, schematized, incomplete, and generalized and metric maps are not. This article employs qualitative representations for the alignment of sketch and metric maps. We suggest a set of cognitively oriented aspects in sketch maps stably computed by people and evaluate qualitative representations to formalize these aspects. This allows us to align and integrate geographic information from sketch maps.