铁路信号电缆绝缘检测准确性优化方法

为提高铁路信号电缆在线绝缘检测准确性,提出具体优化方法。通过理论建模,分析铁路信号电缆在线绝缘检测不准确的原因,在此基础上提出优化方法。实践结果表明,该方法具备有效性。     

基于布尔可满足性的逻辑电路等价性验证方法

提出了基于布尔可满足性(Boolean Satisfiability,SAT)的逻辑电路等价性验证方法。这一验证方法把每个电路抽象成一个有穷自动机(FSM),为两个待验证的电路构造积机,把等价性验证问题转换成了积机的断言判定问题。改进了Tseitin变换方法,并将其用于把电路约束问题变换成(Conjunctive Normal Form,CNF)公式。之后则用先进的CNF SAT求解器zChaff判定积机所生成的布尔公式的可满足性。事例电路验证说明了该方法的有效性。     

基于8051核的数字电路系统验证技术

SoC设计的重要特征是IP集成,但是不同IP模块的集成给SoC验证工作带来大量的问题.文中基于8051核的总线构建一个8位SoC设计验证平台,该平台可重用IP模块的激励文件,并利用现有的EDA工具对不同设计阶段进行软硬件协同仿真,大大减轻系统验证的工作量.     

基于正交多站测角的机载红外定位技术研究

研究了基于测角的被动定位方法,分析了双站测角定位系统的测距精度,针对双站测角定位精度较低且在一些目标方位上出现的几何方位影响精度(Geometric Dilution of Precision,GDOP)问题,结合机载平台的结构特点,提出了一种适用于单架飞机的红外被动测角定位方法.该方法按照正交方式将四个测量站装载到机载平台上,构成两个正交的测角定位系统,通过恰当选取两个系统的定位信息,可有效克服GDOP问题.最后进行了仿真验证,结果表明该方法能够有效克服GDOP问题,提高定位精度.     

ROV扭矩工具系统研制与应用

ROV扭矩工具(TT)是深水水下油气田开发过程中使用的水下机器人(ROV)作业装备。ROV扭矩工具系统是以ROV为核心,包括扭矩工具本体和控制系统,其结构尺寸和工作能力与工作效率是影响水下作业的便利性与作业成本的关键因素。依托南海某气田水下生产系统,参考ISO13628-8等规范,设计出具有多尺寸自适应接口、牙嵌离合换挡结构和锁紧机构的扭矩工具及其控制系统。采用有限元分析软件对扭矩工具关键部件进行仿真分析。完成了扭矩工具的样机研制并进行测试。测试结果表明：水下ROV扭矩工具的锁紧、解锁功能,换挡功能,马达闭环控制功能均可实现,技术参数满足设计要求。研究成果对ROV扭矩工具及其控制系统的技术发展和产品开发均有借鉴意义。     

螺旋埋弧焊管全管体扩径工艺与性能研究

随着管道建设对管材性能一致性要求的提高,以及全位置自动焊工艺对管材几何尺寸精度更高的要求,需要研究改进螺旋焊管制备工艺。开展了X80钢级Φ1 219 mm×22 mm螺旋埋弧焊管全管体扩径工艺试验,对比分析了扩径前后管体的几何尺寸、残余应力及力学性能变化。结果显示,随着扩径量的增加,管体尺寸精度大幅提高,在扩径率为0.75%时,管体不圆度降低了20%,周长一致性提高了71%,噘嘴量减少35.4%,管体切断后对应的两个管端直径差值在1 mm之内;扩径可以进一步降低管材成型焊接形成的整体内应力以及表面应力,使得螺旋埋弧焊管残余应力一定程度减小;扩径后管材强度和屈强比略有上升,韧性略有下降,管材强度的一致性大幅提高,管材相关性能指标优于设计及施工标准要求。结果表明,X80钢级Φ1 219 mm×22 mm螺旋埋弧焊管扩径工艺技术是可行的。     

基于DSP+CPLD的高精度信号发生器

介绍了基于直接数字式频率合成(DDS)原理的全数字信号发生器(DSP),利用DSP芯片快速、高精度的运算优势以及CPLD芯片灵活的编程逻辑、大容量存储功能的特点,采用通用可编程芯片以及数字波形合成技术,形成高稳定、高精度、高动态的数字合成信号.该信号发生器可产生0～25 kHz的正弦波、三角波和方波,输出电压峰峰值为0～5 V,频率步进1 Hz,幅度步进0.001 V.     

嵌入式系统软件模拟及硬件接口设计的快速验证

该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬件接口功能。     

ASIC综合后的静态验证方法的研究

介绍了基于深亚微米CMOS工艺ASIC电路设计流程中的静态验证方法。将这种验证方法与以往的劝态验证方法进行了比较，结果表明，前者比后者更加高效和准确。由此可以说明，静态验证完全可以取代劝态验证，并且静态验证比动态验证更加适合超大规模集成电路的发展趋势。     

总线监视器的设计

随着集成电路设计规模的不断增加，传统的验证方法学由于无法提供足够的能力来检查系统所有可能功能的正确性，已经不能满足SoC验证的需求。验证重用方法学是解决这一问题的有效途径。在SoC的验证过程中．利用总线监视器对片上总线上发生的事务进行实时监视，并将监视结果以机器可读的格式显示出来，从而可以帮助验证工程师有效地判断数据传输的正确性，达到验证单个模块和系统功能的目的。本文提出了一种SoC功能。验证平台中总线监视器的设计方法，并给出了具体的实现过程。