Morita Context理论的对偶

对任意有限维Ｈｏｐｆ代数讨论它所诱导的ＭｏｒｉｔａＣｏｎｔｅｘｔ理论的对偶，即ｐｒｅｅｑｕｉｖａｌｅｎｃｅｄａｔｅ的理论，并进而建立Ｈ余模余代数的ＣｏＧａｌｏｉｓ余扩张理论．     

关于Krull-Remak-Schmidt Azumaya定理

本文联系范畴论讨论了关于模的直和分解的著名Krull-Remak-Schmidt-Azumaya定理。特别是要研究M.Harada定义的商范畴的方法,并应用这一方法给出Matlis问题的一些结果。     

现行建筑模数协调标准体系存在的问题与修订

结合工作实践 ,对我国现行建筑模数协调标准体系存在的问题提出了修订意见 .     

当代出舱活动技术发展

出舱活动技术有多种分类方法和广泛用途,并需使用气闸舱、舱外航天服等一些先进而复杂的硬件设备.40多年来.经过苏联/俄罗斯、美国等国的专家的不断开发.出舱活动技术已有了长足的发展.俄美两国在出舱活动系统方面各有特色,在出舱训练技术方面也各有千秋.中国航天员将进行首次出舱活动,成为世界上第3个完全独立实现出舱活动的国家.     

点阵式液晶显示模块中T6963C的应用与分析

为了方便地实现点阵式液晶显示,使用了内置T6963C控制芯片的液晶显示模块.采用8155对单片机的并行I/O口扩展和通过对电路的硬件、软件合理设计达到对T6963C显示模块的控制.此外,给出了T6963C正常工作的基本条件以及相关控制程序、程序流程图,并介绍了一种绘画直线的算法,从而更方便地实现了人机对话.     

IGBT在大功率不间断电源中的应用

介绍了使用IGBT作为开关器件开发新型2 0 0kVA大功率UPS ,以及它的性能特点。     

FPGA在出租车记费器上的研究与设计

介绍了基于FPGA的出租车记费器系统组成,并详细介绍了各个模块的程序实现。     

基于WebSphere MQ的MIS系统的研究与实现

MIS系统学子归家系统以IBM的WebSphere MQ为通讯中间件,可提高整个系统的效率、安全性以及稳定性,并且实现短信模块,方便学校和家长之间的消息沟通和交流,让家长能了解学生上学、放学的动态情况.     

Modeling Trusted Computing

0 IntroductionThe purpose of trusted computingis to solve some of to-day’s security problems through hardware changes topersonal computer . The trusted property can be extendedfromroot of trust to entire PC platformthrough the chain oftrust[1].Root of trustis a small hardware device calledtrustedplatform module (TPM) addedto PC.A well-known project of trusted computing is trustedcomputing platformalliance(TCPA) .It is calledtrusted com-puting group (TCG) now[2 ,3]. Besides this , other…     

凝聚环上FP—内射维数的换环定理

讨论了凝聚环上的FP-内射维数的换环定理及其它维数公式。