照片打印机渐入“家”境

随着数码产品的诞生,数码影像正在逐渐取代传统影像,成为时代的主流。现在人们花钱到冲印店冲洗数码照片还算比较时尚,但仍有人还不满足,他们更愿意把照片打印机搬回家来,自己动手打印照片。有很多人把数码照片用于网络传输、制作网页或电子相册,但是更多的人喜欢冲印或打印出来。无论数码冲印如何方便快捷,而且符合人们的传统习惯,但是在这个讲究时尚个性化的时代,自     

呈研630PS热升华数码相片打印机

有人用“激情燃烧的岁月”来形容2002年中国的数码相机市场,很多消费者在近年完成了与数码相机的“第一次亲密接触”。数码相机作为一种时尚家电,成为许多家庭的必须品,特别为年轻人所青睐! 拥有数码相机后,如何将拍摄的图片变成高质量的相片输出,有时令人头痛。用喷墨打印机输出的相片,     

天下

内部威胁成跨国公司网络安全最大挑战；德专家告诫网民勿在个人网站公布电邮；教MBA追求工作中的快乐；顾客第一还是员工第一；“瘦脸”打印机10月将面市     

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文件中,这样,既不会丢失信息,又便于分析故障时查找相关的报告。