摘要：为了实现对系统的主动度量和控制,国内研究人员提出了基于可信平台控制模块(TPCM)的双系统并行体系结构,但受限于硬件设计和制造能力,短期内难以完全实现。文章基于当前可信硬件基础,在保留主动度量能力的前提下对双系统体系结构进行了简化,基于可信平台控制模块设计并实现了系统运行中的主动动态度量机制,保障可信软件基(TSB)在完整运行周期中均能得到可信硬件的保护,有效解决了信息系统运行过程中可信软件基的自身安全保障问题。文章对主动动态度量机制的安全性进行了形式化证明,分析了各环节中可能受到的攻击及应对方案,并对核心技术进行了工程实现和测试分析。

摘要：基于热-机耦合热弹塑性有限元理论,利用MARC有限元分析软件对连接杆的焊接变形进行数值模拟,并进行焊接试验.将数值模拟结果与试验结果进行比较,两者基本吻合,误差仅为4.8%,验证了有限元模型建立的准确性.在此基础上,自行设计了弹性反变形工装.对有反变形工装的连接杆进行数值模拟,并将最佳工艺参数应用于试验中,得到了理想的焊接样件.结果表明,当未采用反变形工装时,连接杆的最大焊接变形量为9.85 mm;当采用反变形工装且中间和两侧弯环的下压量分别为7,4 mm时,最大的焊接变形量减小至1.73 mm,降低了82.4%,有效的控制了焊接变形.