PCF的信息系统模型

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

稀土萃取信息系统

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

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

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

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.     

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

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

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

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

校园IC卡系统设计与管理信息系统

本文通过一个实际的IC卡应用系统一校园IC卡系统的设计与实现过程，给出了开发研制IC卡应用系统的基本方法．本文还对校园IC卡管理信息系统作了介绍．该系统的管理软件采用数据库语言FoxProforWindows编写，具有人机界面友好直观、多画面、多窗口、安全可靠等特点．     

图象信息与光电子技术

本文阐述图象信息的重要性，说明它与光电子技术的关系，包括图象信息的获取、传输、存储与显示，展望了未来。     

An exploration of expertise of knowledge workers: towards a definition of the universe of discourse for knowledge acquisition

Abstract. Knowledge systems development and use have been significantly encumbered by the difficulties of eliciting and formalizing the expertise upon which knowledge workers rely. This paper approaches the problem from an examination of the knowledge competencies of knowledge workers in order to define a universe of discourse for knowledge elicitation. It outlines two categories and several types of knowledge that could serve as the foundations for the development of a theory of expertise.