型腔模具主要加工方法浅析

介绍并分析了当前型腔模具主要加工方法，提出选择加工方法的依据。     

Haptic Environment for Designing Human Interface of Virtual Mechanical Products

For efficient and high-quality design of mechanical products, it is now possible to use virtual product models as a basis for functional simulation and verification. However it is not easy to evaluate human operational interfaces of such virtual products only by graphical interfaces. In this paper, a method is proposed to simulate human operational interfaces by use of generic haptic devices. Based on behavioural simulation of virtual product models, appropriate information for haptic interaction is generated, and machine operational interfaces are simulated by use of generic haptic devices. For evaluating the effectiveness of the proposed method, assessment of virtual mechanical switching operations has been performed.     

A menu generator for audio visual networks

An audio visual system can enhance its controllability by an interactive and user-friendly menu through which a user issues commands to control audio visual devices. One of the serious problems encountered in such menu development is that end-user's requirement specifications vary in screen layouts, device configurations and commands contents, and often involves extensive manual programming. We have definedMacroMMenu formally as a tree structure menu system model restricting a menu transition graph, and designed and implemented an automated menu prototyping system which includes a menu generator calledInteractive Proto. UsingInteractive Proto through a visual programming language, end-users themselves, who are usually non-programmers, can easily define menu specification, input this source specification, and the targetMacro Menu is generated automatically.     

Computer Cathodic Orientation Device: Functional Properties of Electroformed Nickel Shells

A new developed device, computer cathodic orientation system, was tested to analyze functional properties of electroformed shells of nickel. Several applications, such as rapid tooling, may require thickness uniformity, where the tool or mold is made by electroforming, starting from the 3D model. This system enables the programed movement of the cathode (the model) in front of the anode with the main objective of achieving thickness uniformity. Different strategies were carried out, and parameters such as thicknesses and flexural modulus were measured for each sample. Results showed the apparent influence of this apparatus on the thickness distribution and the flexural modulus. Either the rate of mean thickness or central thickness was improved when the strategy of modifying relative position took place. Also, the flexural modulus was influenced by the approach carried out in the sequence of movement.     

FDM工艺快速成型技术中均匀壁厚截面填充路径的优化

对FDM快速成型工艺的填充轨迹进行了分析,提出了在Z方向采用混合填充的算法:基于AutoCAD二次开发工具ObjectARX和VC++6.0开发平台实现平行线和轮廓线2种填充轨迹在Z方向混合填充.该算法简单有效,可以应用于扩展或开发快速成型机中.     

利用快速成型技术制造压气机叶轮整体模具研究

作者论述了在车用涡轮增压器压气机整体叶轮模具的设计和快速成型加工技术。它们满足了车用增压器产品系列化对造型和编程系统参数化的要求。利用该技术成功的进行了直径120mm的压气机叶轮整体模具快速成型加工，并通过了试验测试，投入实用。     

面向最终用户的原型化方法

本文提出五种面向最终用户的原型化ＭＩＳ开发方法，利用面向对象和软件重用技术设计并建造了一个可视化的原型开发环境和一种在程序执行过程中修改应用的机制，利用它快速生成ＭＩＳ原型，让最终用户在原型的基础上参与ＭＩＳ的开发、维护和修改，解决传统ＭＩＳ开发方法中存在的问题。     

螺旋模型在开发专家系统中的应用

现在，在开发专家系统的过程中存在很多问题，其方法与现行的软件开发方法差异较大。文中通过分析这些问题，提出利用螺旋模型开发专家系统。这种方法有利于更好地开发和维护专家系统。     

管理信息系统及其开发方法探讨

本文给出了管理信息系统MIS的定义及一般结构．分析了管理信息系统的特性及其与当前所用开发方法的关系．提出了统畴化开发管理信息系统的思想．     

A prototyping environment for specifying,executing and checking communicating real-time state machines

We describe a toolset, consisting of a graphical editor, a simulator, and an assertion checker, for prototyping real-time systems that are specified as Communicating Real-Time State machines (CRSMs). CRSMs are timed state machines that communicate synchronously over unidirectional channels. The system behavior of CRSMs is characterized by a time-stamped trace of communication events. Safety and timing assertions on the trace of communication events are expressed in a notation based on Real-Time Logic. We illustrate the simulator and assertion checker by specifying a traffic-light controller and other real-time systems. There are two main contributions in this work: first, the prototyping environment serves as a validation of the model, the execution algorithm and paper design of example CRSMs, demonstrating that the ideas are realizable and potentially useful. Secondly, the paper presents a novel and useful method of specifying safety and timing properties, and checking them during simulation.