RPM技术用于电动车零部件的开发

本文介绍快速成型技术的原理，重点讨论了与快速成型相关的技术，并将此技术充分应用于产品设计评价，以期缩短产品的开发周期。     

论世界汽车零部件产业发展新特征

世界汽车零部件产业具有技术高新化、组织集团化、经营信息化等新特征。为应对世界汽车零部件迅速发展,我国要加大投资力度,扬长避短,尽快缩小与世界的差距。     

内燃机零部件的遗传优化设计方法

遗传算法是一种新的概率优化方法,在工程中已引起广泛重视,就内燃机气门弹簧,具体阐述了遗传算法在内燃机零部件优化设计中的应用,通过实例计算表明,该算法具有较好的应用前景。     

零部件可追溯性管理系统的开发研究

为了能够保证轨道客车的质量与安全,应对其零部件进行可追溯性管理。轨道客车的装配零部件要建立信息档案,对生产,供应,使用等全程追踪记录,并进行质量安全管理,这就要设计开发轨道客车零部件可追溯性管理系统,本文对此进行了研究。     

基于SystemVerilog的SoC功能验证方法研究

SoC功能复杂度不断提高,结合了最新验证语言SystemVerilog的断言、随机约束、功能覆盖率等特点以及Verification Methodology Manual(VMM)验证架构,对SoC验证的各阶段进行了改进.模块验证阶段灵活应用了形式验证和动态仿真验证;集成验证阶段依据可重性的思想搭建验证环境、采用迭代开发的思想提前了集成验证启动时间;系统验证阶段采取了软硬件协同验证;同时利用随机约束技术开发验证向量,利用功能覆盖率技术评价随机约束向量对功能的覆盖.通过这些改进措施达到了提SoC功能验证效率的目的.     

分析当下新抗生素的开发与发展前景

青霉素发现以后,经历约半个世纪至今已发现3500种左右的抗生素。其中很多是已实用的感染治疗药。由于对抗生素耐药性的增多,且存在一系列病原菌天生的耐药性以及随机感染的出现,需要更有效更安全的药物,以治疗肿瘤和病毒病、系统霉菌病、原生动物病和寄生虫病。这就需要我们去研发更多的新抗生素。     

一种16位CPUIP核的功能验证方法

分析了IP核设计过程中功能验证的重要性,研究了CIU96B IP核设计,在此基础上提出了一个相应的验证平台设计,仿真显示该验证平台结构的实现了对该IP核的验证,有效地促进了该IP核的设计.     

一种三元配合物体系新研究方法的验证

对一种三元配合物体系新研究方法的验证进行了探讨,认为该方法的计算结果与实验相符,将其应用于三元配合物体系的研究是可行的.     

基于SystemVerilog的SoC功能验证方法研究

结合最新验证语言SystemVerilog的特点以及VMM（Verification Methodology Manual）验证架构,分别讨论了SoC设计过程中模块验证,集成验证和系统验证的一些改进措施,达到提高功能验证效率的目的。     

FDA的高压灭菌器验证方法的讨论

文章对高压灭菌器在FDA认证中的验证方法进行了讨论,具体提出了验证方法和验证要求,并提出具体验证报告的编写过程。     

金属零部件漏装检测的电磁感应方法

在工业生产中,产品零部件的漏装普遍存在。它不仅降低产品质量,而且也影响了产品生产率。从电磁感应基本原理出发,提出通过感应监测金属零部件装配过程,对已装配零部件进行计数,实现对零部件装配过程中漏装检测的自动化,达到在线漏装监控的目的。理论分析了利用电涡流感应原理监测金属零部件运动的可行性,并利用MATLAB软件进行了仿真计算。在理论分析的基础上,设计了针对金属零部件的传感器、相应的信号处理电路及配套软件,建立在线检测系统并进行了模拟试验。此方法有效地解决了由人为因素造成的零部件漏装等问题,为工厂节约了成本,有效地提高产品的合格率。     

SoC自动化验证方法的研究与实现

为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60％降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

基于神经网络的模型验证方法

通过对传统模型验证方法在应用中所存在问题的详细分析,提出一种基于神经网络的模型验证方法.该方法利用神经网络强大的非线性映射能力,通过对各种模型关键行为特性的学习,将实际系统行为归类为其中的一种模型,从而对模型的可信性做出评估.首先利用仿真模型的输入输出作为训练集充分训练神经网络,再使用实际系统参数作用于训练好的神经网络,通过神经网络的输出值(概率向量)确定模型与实际系统的匹配程度.最后的图像目标识别模型验证数值仿真实例,说明了该方法的可行性和有效性.基于神经网络的模型验证方法能够很好地验证模型对复杂不确定系统的建模准确程度.     

套管损坏的验证与封堵方法

总结分析了东辛油田老井套管破损原因及表现特征，提出了解决套管损坏的方法。     

验证功能原理的实验方法

介绍了在气轨上验证功能原理的一种实验方法,从而使功能原理得到进一步的验证.     

一种WF-net合理性验证方法

工作流过程定义的合理性对于工作流管理系统具有重用意义,在设计的工作流过程投入实际运行前必须证明其合理性.WF-net是一种对工作流的控制流维度建模的Petri网,具有牢固的理论基础,是对工作流过程定义进行描述的有效工具.基于WF-net工作流建模理论,在工作流过程定义的合理性及与WF-net的合理性相关的基本原理和分析方法的基础上,提出了一种验证WF-net合理性的方法.     

柴油机零部件有限元网络自动生成修改方法

在有限元网格生成理论的基础上,探讨了柴油机零部件计算机辅助网格生成算法,并利用这些算法完成活塞、缸套等轴对称结构以及气缸盖的气道等复杂结构的全部三维有限元网格,为今后复杂结构的三维有限元计算中的网格生成提供了新的方法。     

一种基于覆盖率的功能验证方法

针对功能验证的特点，在传统功能验证的基础上，引入覆盖率作为验证程度的反馈信息，从而有针对性地完善了验证环境，提高了验证程度．并以一款8位MCU为例，介绍了基于覆盖率的功能验证方法的具体实现．     

基于LSC的形式化验证方法

调查研究了LSC在形式化验证方法中的作用的研究发展现状,包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状,LSC在抽取待验证系统性质的作用的研究现状,LSC在模型检验中的作用的研究现状,展望了LSC在未来模型检验中的发展方向——概率模型检验.     

浅谈科学进行机械零部件的设计及可靠性方法

文章描述了机械零部件的设计思想及进行科学机械零部件设计,提出了可靠性的设计方法。