Constructive Sets in Computable Sets

The original interpretation of the constructive set theory CZF in Martin-Loef‘s type theory uses the‘extensional identity types’.It is generally believed that these‘types’do not belong to type theory.In this paper it will be shown that the interpretation goes through without identity types.This paper will also show that the interpretation can be given in an intensional type theory.This reflects the computational nature of the interpretation.This computational aspect is reinforced by an ω-Set moel of CZF.     

五号机LOG文件的应用

五号机在运行过程中,要产生大量报告,如:软、硬件故障报告,话务报表,输入命令产生的报告等等。五号机提供了两种报告输出方法:打印机和IOG文件。交换机产生的报告可立即在打印机上输出,同时分类存储于各种LOG文件中,这样,既不会丢失信息,又便于分析故障时查找相关的报告。     

苯乙烯-马来酸酐(SMA)共聚物对颜料的分散及其在喷墨印花中的应用

介绍了苯乙烯-马来酸酐（SMA）共聚物的合成方法和分散性能。探讨了它对颜料分散的机理、影响分散性能的主要因素，以及在喷墨印花中的应用前景作了展望。     

中国打印机市场回顾与展望

一、回顾(一)繁荣中的悲哀:打印机民族产业基本停滞不前 在中国计算机市场上,打印机是除个人计算机以外最大宗的产品。我国打印机产业的发展始于八十年代,当时主要是作为微机的配套产品,基本上都是针式打印机。目前国内打印机产业基本呈停滞不前状态,生产针式打印机的厂家有二十家,而生产激光打印机的厂家则屈指可数,生产喷墨打印机的