基于安全控制模块的高可信计算机研究

当前的可信计算机主要关注于TPM安全芯片的集成与应用,在可信根保护、文件加密存储和系统安全防护方面存在不足。在参考可信计算技术的基础上,提出了一种以内嵌的安全控制模块为物理信任根的高可信计算机解决方案。论述了整体的组成结构、工作原理,详细分析了高可信计算机中安全控制模块和可信BIOS的实现机制。相关实验结果验证了高可信计算机平台设计方案的有效性。     

图书馆集成管理系统采访模块的功能分析

基于调查结果,分析了我国引进的3种图书馆集成管理系统(Innopac,Aleph500,Unicorn)采访模块的各项功能,指出它们各自的优势及不足,认为这些系统理念上、技术上较先进,但存在本土化问题,需要用户通过二次开发加以解决。     

对刚体静力学中的一个典型模型的研究

通过几种佐证和一种模型的计算对刚体力学中一个典型的模型的受力情况进行了研究,并得出一些结果.     

相对Hopf模与非交换微分几何

对于相对Hopf模，定义了一种新的代数非交换微分形式，并且得出了相对Hopf模与在某一微分上具有平坦联络的模之间有一一对应的关系.     

高校干部管理信息系统的设计与实现

主要设计了高校干部管理信息系统并实现了数据的模糊查询和精确查询;在数据录入模块中保证了录入数据的正确性,同时也大大提高了录入效率.     

F—纯子模

设F是环R上的右Gabriel拓扑,文中用线性方程组给出了S-R-模N是S-R-模M的F-纯子模的充分必要条件,并对绝对F-纯模进行了刻划。     

半超幂零根

本文定义半超幂零根,用例子说明它是一个真正弱于超幂零根的概念。证明半超幂零根存在补根,并讨论了何时两个半超幂零根有相同补根、什么样的半超幂零根有对偶补根等问题。     

投射生成元自同态环的反自同构

设R是带恒等元的结合环,_RP是投射生成元,E=End_RP.若Pic R平凡,则E的任一反自同构φ可由定义在P上的某个弱厄米特型所决定.     

VOLVO工程机械用柴油发动机电子控制技术

文章以volvo工程机械用电控柴油发动机为例,说明了其独特的工作方式。     

子空间格代数的模

本文讨论了子空间格代数模中的有限秩算子,得到了一些结果,这些结果包含了格代数中已有的结论.