农作物需水信息检测系统的研究

提出以植株体电阻作为农作物需水信息的新方法，设计一种测定体电阻的专用传感器，研制对农作物植株体电阻进行实时、快速测量的微机检测系统．实验结果表明，本系统亏水诊断结果与其他方法诊断结果基本吻合．     

函数程序设计在软件开发中的应用

从函数程序设计的角度对速成原型方法进行研讨，采用形式方法解释其应用上的优劣。并结合林业实例，说明该方法的优越性。     

控温器与电加热器微机监控测试系统

本文介绍由Ｚ８０ＡＣＰＵ组成的工控机监控测试系统，该系统利用温度传感器，温度变送器，电压电流互感器和变送器以及接口电路自动进行数据采集，和微机构成闭环监控系统，实现控温器和电加热器电气性能动态特性自动控制和测试。     

一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

规范场理论在粒子物理学中的地位和作用

本文在论述规范变换及Yang-Mills规范场理论的基础上，揭示了规范场理论的精髓，从而阐明了该理论在弱电统一、量子色动力学以及强、弱、电大统一理论中的作用及其深远意义．     

延期药和点火药燃速测试新方法

燃烧速度是延期药、点火药的重要技术指标。传统的燃烧速度测试方法只能测延期药的平均燃速，且测试精度较低。本将ＣＣＤ（光电耦合器件）技术应用于药剂燃烧速度的测试，解决了以往无法测延期药、占火药瞬时燃速的难题。以Ｔｉ－ＢａＣｒＯ４系延期药为例，用该方法对其燃烧速度进行了实际测试，得到了该延期药燃烧波面位置－时间曲线、瞬时燃速曲线以及平均燃速随压力变化的曲线。     

规范场,引力场反常与Chern—Simons链

将规范场和引力场作为两个子流形从构成一个大的流形，利用Ｃｈｅｒｎ－Ｓｉｍｏｎｓ链自然地得到规模场反常，各种引力反常以及规范场和引力场之间的相互作用对反常所作的贡献，其表达形式简洁明了。     

《虚拟仪器》课程的综合实验研究

设置《虚拟仪器》课程的综合实验，是为了提高学生快速组建测试系统、编制测试系统软件的能力。通过实验，学生不仅能得到LabVIEW图形编程的训练，更能理解软件编程与数据采集硬件应用间的关系，真正认识虚拟仪器技术的实质。文章介绍了虚拟仪器的五种硬件构成模式、在LabVIEW开发环境下测试系统软件的三种编程模式和综合实验的要求。     

基于行为模型算法的入侵检测技术研究

在分析现有的入侵检测技术的基础上，提出基于行为模型的入侵检测技术．通过学习模式和检测模式来分析行为模型算法．本文从URI检测、客户请求的数据检测及访问顺序检测这3个部分来阐述基于行为模型的入侵检测技术的检测原理．经过测试，行为模型算法对现有的攻击（如SQL注入攻击、跨站脚码攻击、隐藏域攻击）能起到有效的防御；对现今未发现的攻击行为，在它出现后可以通过学习、建模也能进行很好的检测．     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．