简介:面向多通道复杂混合信号的快速精确自动化测试需求,设计并实现了具有在线实时自动校准功能的CPCI总线专用组合测试系统。基于标准的CPCI总线J1/J2接口和扩展的后IO接口设计了专用信号调理模块和通用数据采集模块硬件,基于FPGA设计了测量转换时序与控制逻辑,基于LabVIEW环境开发了自动测试软件。基于Matlab研究了自适应的分段拟合校准算法,实现了系统在线实时自动校准,校准后直流、交流、频率测量精度误差分别达到1‰、2%和0.1‰。测试结果表明,基于分段三次多项式拟合的自动校准方法能够快速有效降低系统非线性导致的测量误差,整套系统满足面向密集信号的快速装备测试需求。
简介:航空运输业的快速发展对空中交通系统提出了更高的要求,但也提高了系统整体性能优化成本并降低了系统可实施性。选取影响力大的重要节点进行局部优化,在提高系统整体性能的同时,降低了工作量及成本,提高了系统可实施性。采用复杂网络理论对空中交通管理系统进行建模,计算网络性能和介数中心性,评估网络影响力节点,分析影响力节点对整个网络性能的影响。最后,以中国东北地区空中交通系统为例进行分析,当改变影响力节点时,网络临界值RC比非影响力节点大20%,其中具有相同影响力的航路节点对网络性能的影响比机场节点大,因此通过对航路节点进行合理分流可提高网络性能。
简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。