Modeling the effect of pigment morphology on the dynamic compression of coating layers using DEM

In the present paper, discrete element method (DEM) was employed to investigate the effect of pigment morphology on packing dynamics and compressive behavior of paper coating layers in calendering process. Spherical, platy, and needle-like particles, representing GCC, delaminated clay, and aragonite PCC pigments, were considered in this study. For each particle shape, the compression of coating structures formed by mono-sized and poly-dispersed pigments were modeled. Stress–strain behavior of the coating layers and in-plane and out-of-plane movements of the pigment particles during the compression were computed under the same maximum compressive stress. Simulation results revealed that the in-plane movements of the pigment particles during compression in the calender nip were small in magnitude (<0.35 μm). These findings help to better understand the smoothening phenomena of coating structures during the calendering process.     

QD-Janus: A sequential implementation of Janus in Prolog

Janus is a language designed for distributed constraint programming. This paper describes QD-Janus, a sequential implementation of Janus in Prolog. The compiler uses a number of novel analyses and optimizations to improve the performance of the system. The choice of Prolog as the target language for a compiler, although unusual, is motivated by the following: (i) the semantic gap between Janus and Prolog is much smaller than that between Janus and, say, C or machine language—this simplifies the compilation process significantly, and makes it possible to develop a system with reasonable performance fairly quickly; (ii) recent progress in Prolog implementation techniques, and the development of Prolog systems whose speeds are comparable to those of imperative languages, indicates that the translation to Prolog need not entail a significant performance loss compared to native code compilers; and (iii) compilation to Prolog can benefit immediately from a significant body of work on, and implementations of, parallel Prolog systems. Our experience indicates that translation of logic programming languages to Prolog, accompanied by the development of good program analysis and optimization tools, is an effective way to quickly develop flexible and portable implementations with good performance and low cost.     

Java语言及其虚拟机技术探讨

随着Internet的迅猛发展，Internet编程语言Java愈来愈成为计算机行业的焦点。本文在简述了Java的主要特点后，重点对Java最关键的技术──虚拟机进行了深入的探讨。     

On modeling the design of cellular manufacturing systems

A new optimization model is discussed for the design of cellular manufacturing systems. It is based on an integer programming formulation that updates some other models by eliminating redundant machine assignment and cost coefficients dependent on cell configuration. To reduce computational burdens, a simplified integer programming model and a decomposition algorithm are proposed. Several computer solutions were performed to evaluate the performance of the new model. The computational results are discussed.     

面向对象机器翻译知识库IMT—KB的设计与实现

机器翻译知识库是机译系统的重要组成部分,针对传统机译知识库的不足之处,本文提出一种面向对象的机译知识体系结构,同时给出这种具有层次性和模块性机译知识库的存储组织和管理机制。     

An object-oriented manufacturing control system

This paper presents the development of an event-driven control architecture and its implementation in a physical simulator of a computerized manufacturing system using object-oriented techniques. The architecture was developed to improve the efficiency of handling concurrent control events in the DOS environment. In the implementation, the control system of the physical simulator consists of four distinct layers of control devices: a PC/386 computer, a microcontroller, I/O modules and the system's control devices such as motors, solenoids and sensors. A control program residing in the PC/386 coordinates system-level tasks such as event scheduling, while a BASIC program running on the microcontroller handles all low-level control tasks such as sensor monitoring and motion control. The concepts and developments presented in this paper should help in implementing an efficient control system for both CIM systems and their physical simulators.     

An object-oriented product database using ROSE

A product database for a design and manufacturing enterprise serves as a repository for the data needed to manufacture a product. This paper discusses how an object-oriented persistent object manager named ROSE, under development at Rensselaer, has been used in the Rensselaer CIM program to develop a STEP/PDES-compliant product database for its research test bed. In so doing, it provides an overview of the requirements for a product database system in an integrated design and manufacturing facility, and it discusses how the chosen system meets these requirements.     

Categorical ML — Category-theoretic modular programming

We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as objects. This is intended to enforce a certain mathematical rigour on the programmer, so that the only programs that can be expressed are those with a categorical significance. The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules. We describe this programming language, give examples of its use, and explain how it is implemented in a type system.     

SFTMP——一个实现软件容错的多处理机系统

多版本软件通过设计相异性实现了软件容错。为了对这种方法进行研究，我们的课题实现了一个三版本软件系统，称之为SFTMP（SoftwareFault－TolerantMultiProcessor）。本文描述了SFTMP的硬件结构和软件执行支持环境，该环境包括同步、表决和监控功能、版本间的通讯及故障的恢复和重构。     

漳泽水库最优兴利调度研究

漳泽水库供水能力下降。优化调度方式是提高水库效益的最有效途径。通过采用随机动态规划方法与模拟模型交互运算得到现行控制水位的水库优化调度图。采用同样方法对不同控制水位的水库运行方式进行优化调度，选出的规划水库最优控制水位为汛限水位９０４ ．５ ｍ ，正常高水位９０５ ．５ ｍ 。优化的控制水位方案在保障水库防洪安全的前提下可供给城市生活和工业用水６ ３００ 万ｍ３ ，较现行控制水位下的供水量提高１ ２５５ 万ｍ３ 。但农业用水仍然不足，应采取一定措施给予解决，如对灌区工程进行改造，因地制宜采取不同节水措施和污水回用等。