虚拟测试技术在继电器测试中的应用

文章主要介绍了以LabVIEW作为软件开发环境的虚拟测试技术 ,分别在继电器动态特性测试的应用、在数据记录与保存中的应用和在继电器寿命试验和可靠性试验中的应用。     

SOC设计验证讲述

本文论述了SOC正确性验证所使用的模拟，形式验证技术和静态验证技术等，并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。     

捷联惯导系统(SINS)敏感器斜向配置技术

以四个敏感器的冗余系统为例，对采用冗余敏感器的惯导系统的可靠性进行了分析，对四个敏感器构成的捷联惯导系统的可靠性进行了仿真实验，验证了冗余敏感器可以提高系统可靠性结论的正确性。中给出非正交敏感器测量值向惯导系统正交坐标系转化的方法和转换矩阵。最后对冗余敏感器的配置方式进行了分析。通过仿真实验，得到敏感器最佳配置的条件。     

基于模拟关系的编译优化实现正确性验证方法

编译器中通常采用各种优化方法来提高目标代码的质量,为了实现较好的效果,一些编译优化算法通常十分复杂,很容易给可靠性和安全性带来隐患.现有的编译器缺陷大部分是由优化阶段引起的.传统的编译优化正确性研究大部分只关注优化算法的正确性,但是只有该算法被正确的实现了才能确保实际运行的优化过程是正确的.本文提出一种基于模拟关系的方法来验证编译优化实现的正确性.在每次优化结束后,我们通过建立优化前代码和优化后代码之间的模拟关系生成优化正确应满足的逻辑条件,然后验证逻辑条件是否成立从而判定编译优化的实现是否正确性.以优化编译中的常量折叠优化和变量替换的验证作为示例显示了本方法的有效性和可靠性.     

串行角馈微带天线的理论分析和实验

本文基于多端口网络模型、腔模理论和分片法，首次给出串行角馈微带天线输入阻抗的一种有效的理论分析方法，导出其闭合表达式。实验结果验证了理论的正确性。采用本方法计算方便，适于工程应用。     

P/NP问题意味着什么

最近,计算机界对"P/NP问题"议论不断.8月6日,位于加州帕洛阿尔托的惠普实验室(HPLabs)的研究专家维奈·迪勒里卡(Vinay Deolalikar)将自己发现的"证据"发布到了互联网上,同时还发给了该领域内的一些专家.专家们丝毫不敢怠慢,随即便在学术博客和维基网站上解析了这份证据的正确性.最初,专家对于这份证据是持尊重和怀疑态度的.而到现在,专家们一致认为,迪勒里卡的论证方法有着根本性的错误.     

“一个看似简单的问题”不简单——对《趣味物理学》中一个问题的分析

笔者执教高中的时候,正在研究一个有关液体压强的问题.忽然,来一位学生把别莱利曼的《趣味物理学(续编)》递给我,让我看文中第6.8节"一个看似简单的问题".该学生怀疑它的正确性.追忆往事,撰成此文.1问题的提出文献[1]中原题:您的面前是盛满30杯水的茶     

矩量法中的伪解问题

本文对矩量法求解电磁场本征值问题出现伪解的原因进行了数学上简洁直接的讨论，给出了关于伪解存在性的简明实用判据。研究表明，当基函数集所属的定义域及其相对应的值域为不同的函数空间时，作为矩量法特殊形式的伽略金方法会导致伪解的产生。计算实例验证了本文理论的正确性。     

Optical Fiber Pressure Sensor with Reference channel^①

The principle of optical fiber pressure sensing probe with common diaphragm and the method for stabilizing the laser diodes are described in this paper at first.Then we discussed the improvement in characteristics of the system by means of taking the techniques of reference light channel and ratio measurement.     

高转矩软起动器的研究

本文研究了三相感应电动机高转矩软起动的控制方法。在理论分析与仿真的基础上，完成了以intel 16位单片机为微处理器的高转矩软起动器的实验研究、实践表明，基于高转矩的软起动器能使电机以高转矩和较小起动电流平滑起动。负载试验结果与传真结果基本吻合，证明了这种高传矩软起动理论的正确性和有效性。