A review of the existing performance verification infrastructure for micro-CMMs

The performance verification of micro-CMMs is now of intense interest because of their capability to perform length measurements in three dimensions to high accuracy with low uncertainties. Currently, verification of micro-CMMs is completed in the spirit of existing specification standards, because strict adherence to these standards is often difficult. This review aims to present and discuss verification techniques available for micro-CMMs: specification standards, existing calibrated test lengths and traceability routes that can be associated with micro-CMMs. Three specification standards used in the testing of CMMs will be considered. In addition, a wide range of calibrated test lengths are reported, and any advantages and disadvantages associated with their use are discussed. It is concluded that micro-CMMs cannot yet be verified in accordance with existing specification standards. Suggestions are made for future standardisation work required to rectify these issues.     

CAPP中参数化规格表的建立及可视化填写的实现

计算机辅助工艺设计（CAPP）软件能否高效地发挥其功用，其基础数据库建立的好坏起着极其重要的作用。在对众多商品化CAPP软件进行详细调研的基础上，开发出了能由用户自行建立参数化规格表并实现可视化填写的CAPP系统，并在国家863/CF-CIMS应用示范工程中得到应用。     

圆盘锯机性能提升途径

圆盘锯机在线材厂投入使用时不能满足生产的需要：锯切周期太长，锯片使用性能差，经过对设备进行技术改造和对设备操作规程进行优化，以及在操作上加强管理，使之关键指标大幅度提升，为圆盘锯机的使用改善提供了新的思路。     

MetateM: An introduction

In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics.     

形式化方法在电信服务系统中的应用与研究

为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拔打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段．以期减少电信服务系统内部错误的产生、提高稳定性。     

Defining Specifications for Custom Products: A Multi-Attribute Negotiation Approach

Defining product specifications so that customers' needs could be well matched with suppliers' capabilities is a very challenging task in custom product design. This research links technical requirements on product design with product management issues and formulates specification definition as multi-attribute negotiation. Specification negotiation is modeled as an iterative process of give and take in search of a mutually acceptable configuration. A negotiation support system is developed based on a product configuration system to identify among the multiple attributes what to give, what to take, and by how much so as to facilitate specification negotiation operationally.     

改进型BP网络在男西服规格尺寸自动生成上的应用

男西服规格尺寸设计对成衣的合体性和板型有着直接的影响,在现今的服装企业中,这项工作对制板师的经验依赖程度比较高,容易因人员流动影响成衣质量。随着人工神经网络等人工智能技术的发展,本文构建了一种可用于男西服规格尺寸设计的改进型BP神经网络模型,并探讨和分析了隐含层神经元数、传递函数、动量因子等影响神经网络性能的关键因素,经过多次仿真测试,表明利用改进型BP网络可以实现由人体关键部位的净体数据自动生成男西服成衣规格尺寸。若经过进一步完善,此方法还能应用于其他服装品种的规格尺寸设计,有利于提高服装企业的制板效率和成衣的适体率。     

冲模模架及装配技术

分析了冲模模型的基本类型，讨论了冲模模架的技术要求，介绍了标准模架的装配工艺，并指出了模架装配时的注意事项。     

Ehrenfeucht-Fraïssé games in finite set theory

In this article, with Ehrenfeucht-Fraïssé games we prove that Δ₁≠Δ₀ on BFR, which implies Δ≠Δ₀ on BFR, and thus solve an open problem raised by Albert Atserias in his dissertation (Δ₀,Δ₁,Δ are fragments of first order logic and BFR is a class of finite sets which in essence is equivalent to a class of finite pure arithmetic structures with built-in BIT predicate).