基于Protel的信号完整性分析

文章讲述了信号完整性包含的内容、解决措施；介绍了利用Protel对PCB板进行信号完整性分析，并通过Protel仿真给出采用端接技术后信号质量的提高．     

机械密封的失效模式与临界平衡比的计算

介绍了与机械密封面积比（平衡比）有关的几种主要失效模式，如密封面开启失效、早期磨损、干运转、热裂、疱疤、相态失稳、倾斜失稳、液膜失稳、液膜破裂、汽化和丧失密封性等，并提出了考虑主要失效现象的临界平衡比公式。根据临界面积比的大小，可以判断所选用的机械密封平衡比是否合理；并进一步来确定该机械密封的合适面积比，给出了计算实例，计算结果可供机械密封设计时选用。     

贪污罪侵害客体问题评析

贪污罪侵犯客体的诸观点包括10余种，但笔者认为，宜将贪污罪客体表述为国家工作人员职务行为的廉洁性和公共财物的所有权，并且此两者具有两层基本关系：一是层次递进关系，第一层次是公共财产所有权，第二层次是国家工作人员职务行为的廉洁性；二是因果关系．公共财物的所有权与国家工作人员职务行为的廉洁性两者存在原因与结果的关系。     

高速磨削加工的残余硬度

研究了淬硬钢回火硬度与回火温度的关系．建立了回火硬度与回火温度关系的回火效应模型。磨削热导致回火引起淬硬钢磨削后表面硬度变化。通过合并磨削热模型和回火效应，可以预测工件磨削后的表面硬度变化。进行了45^#钢的高速磨削试验．研究了工件速度和磨削深度对磨削后表面硬度的影响。试验值与预测值能够较好吻合。     

基于电热模拟的电迁移可靠性诊断及时钟完整性分析

为诊断大规模集成电路设计过程中电迁移可靠性及分析时钟信号完整性,开发一种用于集成电路片上时钟信号模拟软件Etsim3。该模拟软件考虑了集成电路自热效应,通过电热耦合模拟以及金属连线温度分布解析模型获得更准确的集成电路芯片表面以及各金属连线网络上的温度分布。模拟结果表明,考虑集成电路自热效应前后,电迁移诊断以及时钟信号完整性分析结果都有了较大程度上的改变,Etsim3可以得到更为精确的分析以及诊断结果。     

Nanoindentation response analysis of TiN-Cu coating deposited by magnetron sputtering

To investigate the change of the mechanical properties of soft metals doped PVD(Physical Vapor Deposition)coatings after the migration of soft metal to the surface, TiN-Cu coating was deposited on Si(100) by magnetron sputtering. The microstructure and mechanical properties at room temperature and after vacuum heat treatment at 300 ℃ were investigated. The results showed that the grains were clustered and the microstructure was porous for TiN-Cu coating at room temperature, while many micro-and nano-sized Cu particles were observed on the surface after vacuum heat treatment at 300 ℃. The elastic properties of the TiN-Cu coating after vacuum heat treatment at 300℃ degraded compared with that at room temperature. The hardness and elasticity modulus of TiN-Cu coating kept constant(3.7 GPa and 125.0 GPa, respectively) with the increase of nano-indentation depth, while the hardness and elasticity modulus of TiN-Cu coating after vacuum heat treatment at 300 ℃ increased gradually.     

多组分烃类混合物机械密封性能参数计算

介绍了多组分烃类混合物的密度、汽液相平衡常数等热力学物性及粘度、导热系数等热物性的计算方法，以平行端面机械密封为模型，给出了多组分烃类混合物密封性能参数计算程序的编制方法和使用方法，对不同组成的多组分烃类混合物，给出了膜压系数和端面温度间的关系曲线。理论计算结果和现场实测结果吻合很好，证明文中所给方法及程序的可靠性，该计算方法可供机械密封设计部门使用。     

飞机修补结构的相容位移分析

以飞机修补结构分析为背景,讨论了适于修补结构快速分析计算的相容位移方法．用此方法,对某典型修补结构进行分析计算,讨论了铆钉直径、补强板与蒙皮板的厚度比、切口大小和补强板边距变化对补强区应力变化趋势的影响,得到了一些对修理结构有一般意义的研究结果     

支持垂直引导进近的多星座RAIM算法

为了充分利用未来的全球导航卫星系统(GNSS)中多星座多频点的卫星信号,使接收机自主完好性监测(RAIM)技术能够用于垂直引导进近(APV)飞行阶段,提出了一种基于双星故障假设的多星座RAIM算法。算法将全部可见卫星分为3组,分别计算定位解,对3个分组定位解加权平均作为最终的定位解,通过迭代寻找最优加权因子,使得在满足定位精度要求的前提下极大化算法的可用性。仿真结果表明:该算法能够以100%的可用性支持APV-Ⅰ飞行阶段,以高于99%的可用性支持APV-Ⅱ飞行阶段。     

Formal analysis on an extended security model for database systems

In order to develop highly secure database systems to meet the requirements for class B2, the BLP （Bell-LaPudula） model is extended according to the features of database systems. A method for verifying security model for database systems is pro- posed. According to this method, an analysis by using Coq proof assistant to ensure the correctness and security of the extended model is introduced. Our formal security model has been verified secure. This work demonstrates that our verification method is effective and sufficient.