基于PTM的可信虚拟平台方案

在多种信息系统中,将虚拟化技术与可信计算相结合的方式是一种保障系统安全的有效手段.然而,传统基于可信平台模块(TPM)的可信系统存在着系统信任基础不明确与数据迁移计算开销大的不足.本文应用便携式可信模块(PTM)信任模型,基于Xen虚拟化平台提出了一种客户端可信虚拟化平台方案——OASIS,设计并实现了OASIS平台结构、可信启动信任链建立方法及数据迁移机制.本方案具有灵活高效、以用户为中心的特点,使用PTM作为系统信任基础,为用户提供个人化可信计算环境,为用户在多平台间漫游的应用场景提供极大的便利性.原型系统测试结果表明,本方案具有可行性.     

以控制模块实现中央空调配电控制

根据中央空调的工艺要求并结合低压配电特点,从配电系统,控制与保护的要求及控制系统的构成3个方面,详述以控制模块实现中央空调系统的配电控制,实践证明,以模块控制能增强系统设备运行的可靠性,简化二次线路,方便 检修维护,从而大大提高空调机组系统运行效率。     

具位移时滞反馈机床颤振系统的 稳定性和分支分析

研究了具位移时滞反馈机床颤振系统模型.从对系统线性化方程的特征方程根的分布分析入手,讨论了系统平衡点的稳定性,确定了系统的线性稳定性区域,发现当系统中的时滞经过一系列临界值时,系统经历了Hopf分支.然后,利用中心流形理论和规范型方法分析了分支周期解的稳定性和Hopf分支的分支方向.最后,数值模拟验证了理论结果.     

关于n-余挠模

设 R 为环,M 为右 R 模,n是一个给定的非负整数.若对任意平坦右R模 N 都有Ext n 1 R (N, M) = 0则称M 为 n-余挠模.若对任意n-余挠右R-模 N都有 Ext1R(M, N) = 0则称M为n-平坦模.本文给出了n-余挠模与n-平坦模的一些性质.     

强孤立子模

在孤立子模的基础上给出强孤立子模的概念并讨论强孤立子模的一些性质,并证明R-模M的加补子模N是强孤立子模当且仅当N的任意真子模被包含在N的极大子模中.     

关于L-fuzzy子环的L-fuzzy同态的新刻画

给出L-fuzzy子环的L-fuzzy同态和L-fuzzy子环的L-fuzzy模的L-fuzzy同构的一种新刻画.     

电子商务安全探讨和网上交易规范设计

首先探讨了电子商务活动中所面临的安全威胁和防范措施,然后在介绍网上交易基本概念的基础上,进一步阐述了网上交易的基本原则和网上交易服务提供者的规范行为。     

H-Hopf双模余代数范畴与余代数范畴

引进H-Hopf双模余代数的概念．设Hopf代数H是余交换的,证明了H-Hopf双模余代数范畴等价于余代数范畴。     

超音速结构非线性翼型的颤振分析

对超音速流速中的结构非线性二元机翼进行颤振分析。通过对线化系统在零平衡点的特征值分析得到该系统的Hopf分叉点,应用中心流形定理对原系统降维,并用后继函数法判断分叉点的类别及稳定性;然后应用分支问题的Liapunov第二方法分析了系统的超临界、亚临界Hopf分叉现象,并通过数值模拟验证了理论分析的正确性。     

交叉余积上的弱Hopf代数结构

利用左H-模、弱双代数、交叉积等工具给出了交叉余积成为弱双代数与Hopf代数的充要条件.