异步时序电路的功能测试自动生成方法

异步时序电路的测试一直是一个比较困难的问题。该文通过在前人研究的基础上，提出了一种实用、高效的自动测试生成方法。该方法通过使用基于OBDD(有序二元判决图)的布尔特征函数的运算求解来确定电路的状态转换图，然后通过对转换图的强连通图的搜索运算简化状态转换图，最后使用图论的方法求出测试序列。     

MEI系数循环卷积的快速解法

提出了一种用于减少不变量测试方程(MEI)法计算时间的快速算法,循环卷积和快速多极子(FMM)技术(CC-FMM)分别用于不同区域对应的MEI系数,可以加速建立不变量测试方程所需系数的计算.由于循环卷积和FMM的计算效率明显高于直接求和,故整个算法的计算时间明显减少.二维验算实例验证了这种算法的有效性和准确度.     

古丝绸之路地区的多民族体育文化

古丝绸之路与民族体育之间有密切的关系,丝绸之路民族体育具有深厚的文化内涵.当代丝绸之路民族体育丰富多彩,具有鲜明的民族特色,可以分为竞技类、娱乐类、生活类.当代丝绸之路民族体育文化的发展需要产业依托和加强交流.     

一种粗糙面双站散射非定常迭代算法

发展了一种残差光滑平方化共轭梯度(RSCGS)方法.通过残差光滑技术和平方化共轭梯度法的结合,使该方法既有收敛迅速的特点,同时又保持良好的收敛性质.在电磁离散矩阵方程求解计算中,该方法能加速迭代收敛和改善迭代收敛性质.最后利用该方法计算了当TE、TIM高斯波束入射在高斯粗糙导体表面和复合粗糙导体表面的双站散射系数,计算结果表明了该方法的有效性.     

油库多源设备数据采集和处理系统设计研究

为解决大规模成品油库异构设备的数据采集和实时处理问题,创新性地设计了一种针对成品油库的通用化、高可用性的工业实时数据采集和处理系统,以定义异构数据采集的四层架构,并规范油库设备设计的四层级编码和数据格式化处理规则。按照开放平台通信统一架构(OPC UA)标准协议,对油库多源异构设备进行数据采集和协议转换。利用消息队列遥测传输(MQTT)协议与云平台进行数据转发和传输,同步提出采集的高可用性策略,实现多源异构设备设施与平台端大规模数据的实时采集和交互。云平台端利用Kafka、Storm、MySQL和Redis实现大规模实时数据的高速处理。该系统在多座大型成品油库试点应用,实现对油库安全生产的实时数据采集、处理和预警推送,采集监控点超过5 000个,测试数据采集和处理最大时延低于1.5 s。应用结果证实了该系统的有效性。     

一种基于可测性的寄存器分配算法

提出了一种在高层次综合的寄存器分配过程中考虑可测性的算法，该算法在将一个调度好的CDFG（Control Data Flow Graph)的变量分配到相应的寄存器的过程中，通过对未能分配复用到输入、输出寄存器的变量进行可测性处理，达到提高设计可测性的目的，同时在进行可测性处理的时候，定义了CDFG的节点的可测性测度方法。     

一种压阻式三轴加速度传感器的设计

介绍了一种基于SOI的硅压阻式三轴加速度传感器的设计和制备.该三轴加速度传感器采用四个相互垂直的悬臂梁支撑中间质量块的结构.加速度传感器通过利用合理布置的压敏电阻构成的惠斯通电桥测量三个方向的加速度.对加速度传感器结构进行了理论分析和有限元仿真优化,确定加速度传感器的结构尺寸,并详细论述了三轴加速度传感器的制备工艺步骤和测试结果.     

基于SOI的集成硅微传感器芯片的制作

为满足小体积、多参数测量的要求,采用SOI硅片,设计了一种测量三轴加速度、绝对压力、温度参数的单片集成硅微传感器,其中加速度、绝对压力传感器基于掺杂硅压阻效应,温度传感器基于掺杂硅电阻温度效应.根据集成传感器的结构,制定了相应的制备工艺步骤.针对芯片上各电阻间金属引线的可靠性问题和加速度传感器质量块吸附问题提出了有效的改进方法.最后给出了集成传感器芯片的性能测试结果.     

一种集成三轴加速度、压力、温度的硅微传感器

针对恶劣环境和严格空间体积限制条件下的多参数测量问题,利用绝缘体上硅（SOI）材料,采用微型机械电子系统（MEMS）技术,研制了一种可以同时测量三轴加速度、绝对压力、温度参数的单片集成硅微传感器,其中加速度、绝对压力传感器基于掺杂硅压阻效应,温度传感器基于掺杂硅电阻温度效应.结合芯片中各传感器的工作原理,用有限元方法对设计的结构进行了仿真,确定集成传感器的电阻分布和结构参数.根据确定的集成传感器结构,制定了相应的制备工艺步骤.最后给出了集成传感器芯片的性能测试结果.     

多输出电路跳变次数(TC)测试算法

本文提出了一种多输出电路的改进TC测试法。该方法根据多输出电路的输入输出的函数关系把电路按输出分解，然后按照各个输出的相关输入，分别测试输出的响应，从而可以实现对多输出电路的测试，进而说明这种检测的完备性，进一步提出了一种加速测试的方法。