范·弗拉森的量子力学解释理论

范·弗拉森的量子力学解释理论既是他的量子力学哲学的核心，也是他的建构经验论的科学思想基础。本文主要从量子力学的一般解释理论、量子力学测量问题、测量的模态解释的主要思想、模态解释的意义等四个层次较深入浅出地介绍范·弗拉森的量子力学解释理论。     

关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

测量嗅觉诊断病症的"临床鼻"

如今，一项称为“临床鼻”的医疗产品在新加坡问世，该产品能让医生通过测量人的嗅觉，来诊断出病人是否患上相关疾病，甚至是帕金森症及早老性痴呆症。     

一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

Web环境下的火工品感度虚拟仿真测试

应用WWW上的虚拟现实建模语言VRML，制作了可在Internet上应用Ⅲ和Netscape等普通浏览器进行交互操作的火工品感度虚拟仿真测试系统，对实现该测试系统的关键技术进行了论述。该虚拟仿真测试系统具有高度的真实效果，使操作人员如同在实地进行真正测试一样，是虚拟现实技术在万维网上的具体应用。     

高温与液压对快堆座式主容器屈曲的影响

讨论了快中子增殖反应堆在运行工况下，主容器内液态钠的高温和液压的存在对容器的屈曲行为的影响。首先用有限元分析了聚氯乙烯圆柱容器实验模型在室温和高温、无液压和有液压时在模拟水平地震的水平力和弯矩荷载下的屈曲荷载与屈曲模态，高温使容器的弹性模量降低，从而使容器抗屈曲能力降低，而液压的存在使抗屈曲能力增加。计算结果与实验结果吻合得到很好。然后用同一程序计算了中国实验快堆钠池主要容器在室温和高温、无液压和有液压时在模拟水平地震的水平力和弯矩荷载下的静态屈曲荷载与屈曲模态，由于屈曲发生在主容器的裙座，不是在有液体的主圆柱壳上，高温和液压对屈曲荷载与屈曲模态几乎没有影响。     

浅谈软件测试方法

随着软件产业化的发展，软件测试在软件生命周期中扮演着越来越重要的角色，本文利用实例详细介绍了白盒测试和黑盒测试两种方法的工作原理和实现方法。     

标准贯入与波速在原位测试中的对比分析

标准贯入与波速测试在工程勘察中都是较重要的原位测试手段,应用广泛。通过对芜湖城南某地块分别利用标准贯入试验和单孔波速测试法进行原位测试试验结果的分析,说明在工程勘察及成果运用中,应综合考虑多种因素,合理采用有关参数。     

水下潜器三维成像数字传输测试系统研制

采用计算机接口、软硬件相结合的方法对水下潜器三维成像数字传输测试系统进行设计。误码检测电路是由ISA总线并配以相应的外围电路构成的号虑到系统应用的通用性，测试信号的码速范围设计为40～125Mbps，另外还介绍了硬件、软件的设计原理以及系统实验。     

桅杆结构数据采集软件

章介绍了桅杆结构数据采集软件的编制，并基于HY-8021多功能数据采集板与光电位置传感器的特性，使得该软件可满足以低频振动为主的建筑工程结构数据采集的要求。