摘要：机电产品的BIT(Built-inTest)设计以及状态监测和诊断过程在很大程度上依赖于传感层系统的可靠性 ,通过传感层系统的不确定性分析可对该可靠性进行定量描述。在实际应用过程中 ,传感层系统的可靠性与测试过程中的各个属性相关 ,而各个属性及其变化决定了测试输出的变化。提出基于传感器测试输出变化进行传感层系统的不确定性静态分析 ,计算结果描述传感器系统特性和特定测试环境对测试输出的不确定性的固有影响 ,提供改善系统的依据。

摘要：利用三维实体建模软件SolidWorks建立了复合肋工作台的实体模型,将其导入到有限元分析软件ANSYS Workbench中,经过局部细节的简化处理、单元选择及网格划分、边界条件的设置等步骤,再对其有限元模型进行静力学分析得到静变形量。综合复合肋工作台的静力有限元分析结果,改变工作台肋板厚度,提高了工作台的静刚度。

摘要：随着集成电路产业的全球化,大部分设计、制造和测试过程已经转移到了世界各地不受信任的第三方实体,这样可能存在攻击者在硬件设计中插入有恶意行为电路的风险,即硬件木马。在早期发现硬件木马至关重要,若在设计后期或制造后再想移除它将开销很大。文章提出一种基于静态分析的多视图硬件木马检测方法,首先通过分析Verilog代码得出变量数据依赖图和变量控制依赖图,从多个视角深度挖掘硬件设计的语义信息;然后通过多视图表示目标硬件设计不同视角下的行为表示向量;最后利用多视图融合方法进行协同融合,将得出的表示向量送入分类器中,从而检测Verilog代码是否被插入了硬件木马。实验结果表明,文章所提的检测方法在不依赖设计规范和不局限于模式库的情况下,实现了对硬件木马精确且全面的检测以及对Verilog代码的全自动分析。

摘要：基于随钻测斜钻杆使用环境的特殊性,根据随钻测斜钻杆的物理模型,利用计算机模拟的方法建立了随钻测斜钻杆优化设计的数学模型,利用SolidWorks Simulation的分析功能对其载荷特性进行了静力分析及优化,得出随钻测斜钻杆的安全性、可靠性及外形结构的最优尺寸。该分析对设计随钻测斜钻杆外形结构尺寸的设计和优化及成本的降低具有一定的参考作用。

摘要：以ＺＸ_５－４００晶闸管弧焊整流器为例，分析了它的闭环阶段缓降外特性方程式及其斜率，确切地表明了有关环节对外特性曲线形状的影响。为非恒流式弧焊整流器分析、设计、调试提供了一种具体的方法。

摘要：针对电容传感器检测场较为复杂的特点,借助ANSYS软件对其进行三维静态模拟,分析了传感器结构参数对三维检测场的均匀性与灵敏度等指标的影响。通过有限元计算和优化设计,得到了最优的传感器结构参数,如屏蔽罩半径R3=27.37mm,极板长度L=207.39mm,极板旋转角度θp=270°,极板张角θ=135°等。优化后的传感器检测场均匀性误差SVP=2.794%。在试验室条件下对传感器进行试验。结果表明,经过优化设计的传感器其性能指标均优于未优化设计的传感器。

摘要：针对目前现有静态分析方法存在的漏报率和误报率较高的问题,提出一种基于数据融合的源代码静态分析漏洞检测技术.该技术通过对不同检测方法的分析结果进行解析和数据融合,有效地降低误报率和漏报率.设计与实现了一个可扩展的源代码静态分析工具原型,可通过用户的反馈信息自动寻优.实验结果表明:相对于单个漏洞检测方法而言,该方法的误报率和漏报率明显降低.

摘要：为了减少高炉煤气余压透平发电(TRT)叶片发生振动而损坏,设计出一种新的圆柱阻尼拉金结构,通过有限元模拟分析,获得了阻尼结构的相关静态特性。对整个阻尼拉金结构的应力、位移分布情况进行分析,获得了应力、位移在不同区域的波动规律;在拉金孔处、过渡曲面、一二级榫齿槽面等对应力敏感的区域进行切片分析,获得了各个截面内部的应力、应变分布规律。通过与相关文献中无阻尼结构叶片的相应区域的应力、位移波动规律做对比分析后,结果表明圆柱阻尼结构的静态特性满足设计要求。

摘要：本文给出了以抽象语法树为基础的软件静态分析工具的体系结构,介绍了该工具中各个模块的设计与实现方法,着重于规则库的设计,以及利用定义好的规则实现自动化的代码检测的过程。

摘要：采用反射和开放编译技术,设计并实现了一个面向对象程序静态分析器,对开放编译器Open C++进行了扩展与改进。通过实验研究表明,该程序静态分析器可以得到全面的系统依赖信息,可以有效地辅助程序理解。