课程文献中心 更多>>

标准号: CEN PREN ISO 4157-3-1997

关键词： Sufficient conditions   Boolean algebra   Regular   Commute   Zero   Bijection   Cartesian product   cycle group   Dual space   Semi group  

摘要： If (L;f) is an Ockham algebra with dual space (X;g), then it is known that the semigroup of Ockham endomorphisms on L is (anti-)isomorphic to the semigroup Lambda(X;g) of continuous order-preserving mappings on X that commute with g. Here we consider the case where L is a finite boolean lattice and fis a bijection. We begin by determining the size of Lambda(X;g), and obtain necessary and sufficient conditions for this semigroup to be regular or orthodox. We also describe its structure when it is a group, or an inverse semigroup that is not a group. In the former case it is a cartesian product of cyclic groups and in the latter a cartesian product of cyclic groups each with a zero adjoined.

关键词： 数据处理   登记号码   编码号   识别   字符识别   数据代码   运输   钥匙   数据编码   条形码   电子数据交换   编码   数   光学字符识别   定义  

标准号: DIN EN 1572-1997

摘要： This document defines a license plate number which is to be used for identifying a transport unit uniquely. It can be presented in bar coded form. The number gives access to traceability data provided in paper documents or electronic data interchange messages.

摘要： Click to increase image sizeClick to decrease image size

关键词： Java   客户机系统   服务器   开发环境   可视化   IBM  

摘要： IBM于9月推出的VisualAge for Java是完全集成的Java开发环境,能够将Java客户机系统与现有流行的服务器数据、事务处理过程以及应用程序连接,编程人员无需重新编写就能够轻松地将基于服务器的应用系统扩展到Internet/Intranet上。 VisualAge for Java的“快速应用程序开发”环境,使开发者在调试或测试可以修改应用程序逻辑,及时消除故障并为用户节约大量时间。 EnterpfiseAccess Builder通过生成Java Beans能够快速地将Java客户机系统与基于服务器的数据、事务处理过程和应用程序

标准号: NF EN 1573-1997

摘要： La présente norme européenne : - définit les prescriptions générales relatives à la conception des étiquettes de transport avec code à barres destinées à être utilisées par la majorité de l'industrie ; - prévoit le suivi des unités transportées par accès automatique via un "numéro matricule" imprimé sous forme de code à barres etfournit lorsque c'est nécessaire par d'autres données identifiées présentées à la fois sous forme de code à barres et sous une forme lisible par l'homme ; - fournit tout un choix de symbologies de codes à barres ; - spécifie des critères de qualité, des catégories de densité du code à barres ;- indique des recommandations sur le support de l'étiquette, les dimensions et l'ajout de texte libre ou de tout graphique approprié.

关键词： 滤色器   自定义   客户服务   客服   服务器   词汇   控制台   逗号   标识符   应用程序   应用软件   控制器   调节器   定界   字符   Windows NT  

关键词： Java   无关性   线程   JVM   开发工具   浏览器   知识竞赛   语言特点  

摘要： 上一讲,我们介绍了Java产生的背景,即什么是Java、Java的来龙去脉、Java产生的意义以及它的优势,读者应该对它有一个模糊的认识。本讲,我们将主要介绍Java语言的特点。Java的原始开发工具JDK,并用一个小例子简单介绍如何编写使用Java Applet。

标准号: ITU-T X.660 AMD 2-1997