PCF的信息系统模型

带类型的λ－演算是一个逻辑系统，它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型，然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合．本文利用Ｓｃｏｔｔ引进的信息系统概念构造ＰＣＦ的另一种模型，并证明与这个模型对应的指称语义与操作语义是完全配合的．     

稀土萃取信息系统

应稀土化学发展的需要,我们组建了稀土萃取信息系统。其中包括:数据的来源和数据类型;数据的组织;检索功能;数据间的关联;最优化设计以及萃取剂结构与其物理性质和结构与萃取性能的相关分析研究。     

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.     

为莱钢做强做大提供强有力的自动化信息化技术支撑

主要介绍了自动化部近几年来在科技创新和管理方面的工作经验,如围绕莱钢生产建设全力推进技术创新;以“数字莱钢”建设为目标,加快推进莱钢信息化建设,所有这些都为莱钢提供了强有力的自动化信息化技术支撑。     

SHARED: An information model for cooperative product development

One fundamental issue in developing collaborative engineering systems is the representation of product information which supports communication and coordination. This product information includes not only the geometric and physical properties of the product and its parts, but also information about functions, constraints and the design rationale. In this paper, we describe an information model, SHARED, which was developed for encoding product information in DICE, a distributed and integrated environment for computer-aided engineering. SHARED provides multiple levels of both functional and geometric abstractions, multiple views and techniques for maintaining consistency between the various abstractions and views. These elements are essential for a good representation model of product information. The use of the SHARED model is illustrated through an example, depicting the various representations of a product as it evolves through the design process. The SHARED model has been implemented over a distributed OODBMS as a toolkit/framework for developing environments which need to model, manipulate and communicate product information between distributed cooperating applications, while supporting coordination between them.     

Photostabilisation of colour formers for heat-sensitive recording systems: Effect of counter-ions on the photofading of fluoran dyes

Fluorans are given considerable attention as functional dyes for heat-and/or pressure-sensitive recording media. Numerous potential metal complexes were synthesised to prolong the life of coloured species. The protecting effect of these compounds against the photofading was examined on cellulose. It was found that the zinc or nickel salts of 3,5-dihydroxy-2-naphthoic acid and its derivatives can be applied as effective stabilisers against the fading of fluoran dyes.     

组态软件在应用中的功能扩展

在DDE动态数据交换基础上,采用本地以太网UDP用户数据报协议,解决了组态王不支持网络变量从本机输出的问题,完善了系统功能。     

信息化时代企业情报工作与时俱进

针对信息化时代企业情报工作面临的新课题，结合本企业情况，从成为企业技术创新的加油站、成为职工素质提高的资源库、成为企业获取和分析竞争环境的侦察兵、成为企业信息安全的保护伞等方面论述了企业情报工作与时俱进等理念和方法。     

房地产开发企业会计核算问题探讨

本文就房地产开发企业会计核算的现状及特点进行了分析,并提出了完善房地产开发企业会计核算规范的对策。     

Networks for sorting multitonic sequences

Lee and Batcher have designed networks that efficiently merge k separately provided sorted sequences of known lengths totalling n. We show that the design is still possible, and in fact easier to describe, if we do not make use of the lengths, or even the directions of monotonicity, of the individual sequences—the sequences can be provided in a single undelimited concatenation of length n. The depth of the simplest resulting network to sort sequences that are “k-tonic” and of length n is , generalizing Batcher's 1968 results for the extreme values of k (k=2 corresponding to merging, and k=n/2 corresponding to general sorting).The exposition is self-contained and can serve even as an introduction to sorting networks and Batcher's results.