Specification methods for material-handling control algorithms in flexible manufacturing systems

Good methods are needed to specify, test, and debug material-handling control logic. This article surveys a number of representative methods for defining and describing control algorithms for programmable material-handling equipment used in flexible manufacturing systems. The methods are evaluated with regard to their suitability for communication between people and as bases for interfaces to automatic program generators. It is concluded that no single method is entirely satisfactory. Three methods (position diagrams, function block diagrams, and operation networks) have potential to be combined into an effective hybrid approach that minimizes the need for the user to switch between various conceptual models.     

Implementing total quality management at the U.S. Department of Defense

This paper examines Total Quality Management (TQM) as defined by Dr. W. Edwards Deming including Deming's fourteen points and explains how the United States' Department of Defense (DOD) defines TQM and why TQM is necessary. It also covers how the DOD is planning on implementing TQM and the policy that has been established as guidance in the implementation process.     

兰州重离子加速器大型真空室

已建成的兰州重离子加速器的真空室是一个大型整体结构的超高真空容器,直径约10m,高4.5m,重65000kg,内表面积211m~2,容积100m~3,工作真空度为5×10~(-5)Pa。采用有限单元法在计算机上用SAP-5C程序对真空室受力分析进行了计算。真空室结构材料选用瑞典Uddeholm钢厂生产的316 L 超低碳不锈钢。承制此大型容器的是航天工业部风华机器厂。由于结构庞大,首先将真空室分成八大块和几小块在工厂制造,然后运至现场焊制成一整体容器并进行机械加工。所有密封焊缝均用着色渗透液,X-射线探伤和氦质谱探漏仪进行检查和探漏。     

The impacts of a GTL plant on Brazil's oil products supply and refinery expansion

This paper assesses the impacts of a GTL plant on the expansion of Brazil's oil refining segment. The GTL plant (50,000 bpd) was sized to start up operations in 2015, producing diesel and naphtha through the indirect route (FT-synthesis). This plant will consume the non-associated natural gas production from the recent discoveries at the Santos Basin (around 419 Bm³), and the associated gas production from the Campos Basin. Both basins are located in the Southeast of Brazil, the most populated, rich and industrialized region of the country. Two different criteria for refinery expansion were simulated in order to meet oil product demand scenarios. Findings show that depending on the refinery expansion criteria considered GTL will play a fundamental hole to meet the oil product demand forecast to Brazil in the next 10 years.     

Feasibility analysis of membrane reactors – discovery of reactive arheotropes

A feasibility analysis methodology adopted from reactive distillation is applied to membrane reactors. A model is formulated to depict the reactive liquid phase composition on the retentate side of a continuous type membrane reactor. The effects of both the chemical reaction kinetics and the membrane mass transfer kinetics on the feasible products are elucidated by means of retentate phase diagrams and bifurcation analysis. The proposed method can be applied to various membrane processes, independent of the specific structure of the membrane. Two quaternary reaction systems are considered to illustrate the methodology. In the first hypothetical system, it is shown how selective membranes can influence the sequence of effective volatilities which in turn affects the feasible products of the system. In the second example of practical importance, i.e. the heterogeneously catalysed synthesis of propyl acetate coupled with permeation through a porous polycarbonate membrane, the dusty gas model is applied to describe the component fluxes through the membrane. For the latter reaction system, the existence of reactive arheotrope is demonstrated. Arheotropes represent mass transfer controlled feasible products of membrane separation process.     

甘三酯立体专一分析的研究：（Ⅱ）甘三酯立体专一分析方法初探

在第一部分综合讨论的基础上对甘三酯立体专一分析方法作了初步探讨。以液体油(菜油)及固体脂(猪脂)为基质,系统地研究了这一分析方法,取得了经验并补充了一些具体验证方法。分析液体油的结果与文献数据相一致,分析猪脂的结果欠佳,还存在一些问题需待进一步研究。     

Computerized conferencing for knowledge acquisition from multiple experts

The increasing complecity of many expert system application areas calls for the integration of the knowledge of multiple experts. The use of multiple experts introduces some interesting new problems during the process of knowledge acquisition. The problems are further complicated when the experts are geographically dispersed or unavailable for face-to-face interactions.

This article discusses the motivations for acquiring the knowledge of multiple experts, the problems related to knowledge acquisition, new issues that arise whens multiple experts interact, solutions that can be brought to bear in building multiple expert systems (particularly when experts are geographically dispersed), and new tools for knowledge engineers to use when dealing with multiple experts.     

Catalytic properties and electronic structure of copper ions in Cu-ZSM-5

The effect of ion exchange conditions, such as Si/Al ratio, precursor copper salt, pH and concentration of the solution, on the catalytic activity in SCR of NO by propane and on the electronic state of copper ions in Cu-ZSM-5 has been studied. The NO conversion in NO SCR by C₃H₈ has been found to reach a maximum value at Cu/Al ratio about 0.37–0.4 and remain constant at higher Cu/Al.

ESR and UV–vis DR spectroscopy have been used to elucidate stabilization conditions of copper ions in Cu-ZSM-5 zeolites as isolated Cu²⁺ ions, chain copper oxide structures and square-plain oxide clusters. The ability of copper ions for reduction and reoxidation in the chain structures may be responsible for the catalytic activity of Cu-ZSM-5. These transformations of copper ions are accompanied by the observation of intervalence transitions Cu²⁺–Cu⁺ and CTLM of the chain structures in the UV–vis spectra.     

基于FPGA乘法器架构的RNS与有符号二进制量转换

RNS(余数数制系统)是一种整数运算系统,在粒度精确性,能源损耗和响应速度上有很大的优势.从RNS到二进制数的输入输出转换是基于余数算法的专用架构实现的关键.本文提出了一个基于N类模的RNS与有符号二进制量的通用转换算法在FPGAs的乘法器上的实现过程.该算法能更有效地进行有符号数与RNS的转换.基于该算法类型乘法器在同类型乘法器中显示出了速度优势.文章中该架构被映射到Altera的10K系列的FPGA上.     

Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.