基于类型系统的完整性信息流控制

构造了一种实现完整性信息流控制的安全类型系统.首先,为π-演算建立具有完整性安全等级的安全类型.然后,建立该安全类型的子类规则和类型规则,这些规则实现了系统的完整性策略及对系统行为的限制.最后,证明该类型系统的类型合理性,表明满足初始安全策略的系统经过不断的演进、交互,系统的安全属性依然可被满足.所建立的完整性信息流控制机制可通过静态类型检验高效实现.     

高速数字电路中信号完整性及仿真策略

在高速数字电路中，信号完整性问题至关重要。介绍了高速数字电路中的信号完整性，并给出了信号完整性仿真分析策略。     

高速磨削加工的残余硬度

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

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

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

含内聚空洞的固体发动机药柱结构完整性分析

为评估固体发动机药柱含内聚空洞时的结构完整性，通过在药柱后部不同应变梯度的部位设置不同直径的内聚空洞，基于三维黏弹性有限元分析方法，计算了在燃气内压和轴向过载作用下发动机的应变场。由不同直径内聚空洞的最大Von Mises应变值随着直径变化的规律及最大Von Mises应变准则判断出内聚空洞位于药柱不同位置时允许的最大直径。     

超声法检测技术在钻孔灌注桩完整性检验中的应用研究

在当今建筑业飞速发展的形势下,钻孔灌注桩技术也取得了飞速的发展,其使用也正在变得非常广泛,然而,因为钻孔灌注桩在成桩过程中需要耗费许多施工工序,并且很难搞好其质量控制工作,因此,非常容易产生事故,这就要求对于钻孔灌注桩进行完整性检验。由此看来,进行超声法检测技术在钻孔灌注桩完整性检验中的应用研究具有非常重要的意义。     

关于学校档案管理存在的问题和对策探究

本文针对目前学校档案管理的缺陷进行探讨,研究完整可行的档案管理方案,对学校档案管理进行进一步完善。     

具有历史特征的Biba模型严格完整性策略

针对Biba模型中的严格完整性策略在保证数据完整性的同时会降低系统兼容性的问题,在Biba严格完整性模型基础上提出了具有历史特征的Biba模型严格完整性策略,将主体完整性等级扩展为独立的读写区间,并根据主体读写历史调整主体可读写的区间,并给出形式化的描述.该模型既可以保护系统数据的完整性,又能提高系统的兼容性.同时,给出所构造规则的实施策略的实现算法,说明该实施策略和常规实施策略具有相同的时间复杂度.     

二氧化碳注入条件下井筒水泥环完整性若干研究进展

井筒水泥环完整性是实现二氧化碳(Carbon dioxide,CO₂)地质封存长期安全有效的重要保障。在CO₂的捕集、利用及封存过程中,低温CO₂流体注入过程将引起井筒结构温度和压力的分布变化,易造成井筒水泥环完整性失效。为评价CO₂注入条件下井筒水泥完整性和优化注入参数提供理论指导和分析方法,文章在简要综述前人相关研究的基础上,重点介绍了笔者的相关创新研究成果：1)简述了CO₂注入井井筒完整性失效的研究现状,重点介绍了CO₂注入过程中井筒流动模型以及不同注入参数对井筒温度分布的影响;2)简述了含缺陷水泥环完整性的研究现状,重点介绍了井筒裂纹断裂参数计算方法,定量分析了CO₂注入井含缺陷水泥环的完整性,揭示了水泥力热性能对径向裂纹和界面裂纹扩展行为的影响规律。文章可为CO₂注入过程施工参数优化、井筒水泥环完整性评价等方面的相关研究与应用工作提供有益参考。     

高速电路中电源/地平面间同步开关噪声的抑制研究

提出一种将介质型电磁带隙结构与电源平面分割技术相结合,用于抑制高速电路电源/地平面间同步开关噪声的新方法.利用Ansoft HFSS建立相应三维电磁仿真模型并对其进行数值仿真,结果表明:若以-40 dB为噪声隔离标准,噪声可在0.01～0.66 GHz与0.91～4.11 GHz范围内得到有效抑制,并且噪声最大抑制深度...