△(G)=4的平面连通图的存在性及其分布区域

本文证明了两个关于最大度为4的平面连通图的存在性定理,并确定了此图类的三种类型的分布区域。     

其上任一模都是循环模直和的环

本文在双环的前提下,用任一模都是循环模直和这一模特征,对某类环进行了完全刻划.得到了主要定理:设R是有1的双环.那么下列等价:(α) R上任一左模都是循环模直和;(b) R是左Artin主理想环;(c) R是左Noether环,并且对R的任一理想I,R/I是(左) 自内射环.并且还进一步得到,一个环如果是局部环直和,那么上述(C)成立蕴含着这个环一定是双环.     

Splitting extensions of abelian by hyperfinite groups

ＳｐｌｉｔｔｉｎｇｅｘｔｅｎｓｉｏｎｓｏｆａｂｅｌｉａｎｂｙｈｙｐｅｒｆｉｎｉｔｅｇｒｏｕｐｓＤｕａｎＺｅｙｏｎｇ，ＣａｏＨｏｎｇｐｉｎｇ（ＤｅｐａｒｔｍｅｎｏｆＭａｔｈｅｍａｔｉｃｓ，ＳｏｕｔｈｗｅｓｔＣｈｉｎａ．ＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，...     

可拓扑生成的L-FUZZY拓扑空间中的局部F紧性是L-好的推广

本文证明了强局部 F 紧性,局部 F 紧性和弱局部 F 紧性是 L 一好的推广。以及当 L 是离散格时,星强局部 F 紧性,星局部 F 紧性和星弱局部 F 紧性也是 L 一好的推广。     

─类Fuzzy模的Fuzzy赋值

讨论Ｆｕｚｚｙ向量空间和Ｆｕｚｚｙ模的有限赋值分布问题．Ｒ．Ｌｏｗｅｎ在１９８０年证明了每个Ｆｕｚｚｙ有限维向量空间仅有有限个Ｆｕｚｚｙ赋值［３］．Ｆｕｚｚｙ模是Ｆｕｚｚｙ向量空间概念的一般化，它是由Ｃ．Ｖ．Ｎｅｇｏｉｔａ和Ｄ．Ａ．Ｒａｌｅｓｃｕ于１９７５年引入的［１］．我们在１９８７年找出了一大类Ｆｕｚｚｙ模，它们具有有限Ｆｕｚｚｙ赋值分布的性质［５］．经研究，进一步得到Ｆｕｚｚｙ模具有有限Ｆｕｚｚｙ赋值的充要条件，并介绍了一种求出这些Ｆｕｚｚｙ赋值的计算方法．     

一种新的基于扩散方程的图像平滑方法

针对退化扩散方程在对图像平滑时,奇异点容易被破坏,引入了小波变换模极大值表示,提出了由小波变换模M(s,x,y)决定扩散速度的图像平滑方法.该方法在图像奇异点的位置使平滑速度趋于零;在图像的光滑区域扩散速度由小波变换模决定;在灰度变化不大的区域,采用各向同性扩散.该方法克服了退化方程对图像奇异点的模糊现象,兼顾了去噪和保边界.实验证明该方法优于其他的方法.     

中汽认证中心电子商务网站的规划与设计

随着Internet的迅速普及,企业电子商务网站的功能日益多样化和复杂化.本文旨在通过中国汽车产品认证中心电子商务网站构建的实例,系统阐述网站规划、设计的整个过程,主要介绍了本网站构建的目标和市场定位分析、设计原则和特色、网站内容模块与体系结构、W EB应用程序开发的关键地方.     

Implementing Operating System Support for Extended Trusted Path in TPM-Capable Environments

Trusted path is one of the crucial features that operating systems must provide for fundamental security support. In order to explore the possibility of implementing a trusted path mechanism with the support of trusted platform module （TPM） technologies, and to support TPM capabilities in operating systems, the paper extended the scope of the conventional trusted path to cover the situation in which a user communicates with software residing on a remote host. The paper combined the concept of operating system support for trusted path with that for TPM platforms, and proposed the architecture of an extended trusted path mechanism in operating system with considerations on TPM-capable platforms support. As part of the author＇s research in secure operating systems, the work of the paper was carried out with Linux as an experimental prototype system. The research result shows that TPM capabilities can strengthen extended trusted path mechanisms of operating systems.     

The Mechanism about Key and Credential on Trusted Computing Platform and the Application Study

0 IntroductionPeople need a secure and dependable computing environ-ment[1]. The cryptology is known as the core of com-puter security[2]. The application of cryptologyis mainly ful-filled by key management and credential mechanism.In thispaper , we should study the key management and credentialmechanismbased ontrusted computing platform,and give theactual application of these security mechanisms for buildingtrusted computing environment .1 OverviewTrusted Computing1 .1 The Original of Trus…