一种基于规则的语言的公理语义

为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言（LRDL）。用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程序的正确性证明提供了理论依据。     

基于分布式Agent的入侵检测系统研究

随着网络入侵行为变得越来越普遍和复杂,传统的单一入侵检测系统已不能满足网络安全的发展需求,针对当前形势,为了提高计算机及网络系统的防御能力,提出了一种基于分布式Agent技术的入侵检测模型,并给出了一种可疑度算法和多IP地址连续报告策略,经测试和论证,系统可有效地阻止已知和未知的攻击行为,最后对系统的整体性能进行了详细描述。     

二进神经网络的模式匹配学习

二进神经网络的知识提取需要了解每个神经元的逻辑意义。一般来说,对二进神经网络学习结果的分析是困难的。该文提出了一种基于线性可分结构系结构分析的学习算法,采用这种方法对布尔空间的样本集合进行学习,得到的二进神经网络隐层神经元都归属于一类或几类线性可分结构系,只要这几类线性可分结构系的逻辑意义是清晰的,就可以分析整个学习结果的知识内涵。     

用X24C45实现设备掉电时的数据存储

在工控现场及各种仪表中往往需要实时记录一些数据,本文介绍采用Ｘｉｃｏｒ公司Ｘ２４Ｃ４５实现设备掉电时的数据自动存储的方法,并给出了应用实例。     

电磁兼容抗扰度试验的探讨

电磁兼容性测试是对设备在电磁环境中不对其他设备产生电磁干扰、并能符合要求运行的能力进行测试。文章介绍了电磁兼容抗扰度试验主要针对的内容和项目,对影响电磁兼容的因素进行分析,总结了电磁兼容抗扰度试验的重要作用,对提高电子、电气产品的电磁兼容度提了一些建议。     

一种运动估计的快速预测搜索算法

本文提出了一种运动估计的快速预测搜索算法。     

水蒸汽喷射泵抽气特性计算方法及其适用性

本文对三种喷射泵理论计算模型进行了分析，将计算结果与实验值进行了比较，根据三种理论模型在膨胀比10—4000范围内的计算误差，得出理论模型的可用性及适用的膨胀比范围．     

相干光学系统的计算机模拟

在衍射理论基础上.通过对衍射公式以及光波通过透镜后所引起的相位变化的讨论.提出了利用FFT模拟光学系统的计算机算法.并给出了模拟结果.     

防毒产品漫谈

在高科技飞速发展的今天，个人电脑的普及已经不再是什么新鲜的事情了，我们可以在家里通过个人电脑处理事物，学习知识，进行各种娱乐活动。但是，随着个人电脑这种分布式系统的日益增加和tos这种开放式环境的普遍应用，电脑病毒的入侵和泛滥也给我们的用户带来了无尽的烦恼。怎样才能使我们摆脱这种面临着的一不小心就会“血本无归”的困境呢？每个用户和厂商都在寻找一条防毒之路。目前世界上采取的防范方法主要有扫毒（SCAN）。解毒（CLEAN）和防毒（PROTECT）。前两种技术都是属于在病毒入侵电脑后的补救，它们无法解决未知病毒…     

新型高效除草剂氟胺草酯的合成

杂草是影响作物生长的的关键问题,目前的管理措施主要是施用化学除草剂。化学除草具有省工、省时、除草效果好等优点。氟胺草酯是由日本住友化学公司于20世纪80年代开发的酞酰亚胺类除草剂,适用于防除大豆、玉米等作物的杂草,尤其是对大豆田中的一年生阔叶杂草具有很好的防除效果,对后茬作物没有影响。由于药效高、用量少、三废少、对生态环境安全,其在农药家族中所占的比例越来越大。