光学式颗粒计数装置的研制

设计了一种检测装置，用来对洁净介质中的颗粒粒径大小和数量进行统计。详细分析了用几何光学的光阻公式替代消光公式对大粒径颗粒的检测机理和前向光散射探测器检测小粒径颗粒时的计数技术。用该装置对标准颗粒物质进行了检测实验，结果表明：对于2μm以上的颗粒计数。效率能达到90％；对于1μm以下的颗粒也有较好的分辨能力，计数效率在70％左右。数值计算和实验结果证实了该装置具有较好的计数能力，能够表征洁净介质的污染程度。     

一个新的具有指定接收者(t,n)门限签名加密方案

提出了一个具有指定接收考验证的签名加密方案。该方案是数字签名与公钥密码体制的有机集成。与普通数字签名方案相比，除了具有认证性、数据完整性外还具有保密性和接收方的隐私性。然后又利用门限方案首次构造了一个（t,n)门限签名加密方案。该(t,n)门限签名方案具有数据传输安全、顽健性、通信代价更小、执行效率更高等特点。     

H.323话机主叫方物理地址定位的研究

本文提出了一套应、救急系统对H．323话机发起的呼叫定位其主叫物理地址的方案。方案分两部分内容：H．323网关对主叫物理地址的获取以及SS7信令对该地址的传输,本文详细阐述述了为实现这两部分内容而对相关协议流程所作的修改与补充。     

Java语言及其虚拟机技术探讨

随着Internet的迅猛发展，Internet编程语言Java愈来愈成为计算机行业的焦点。本文在简述了Java的主要特点后，重点对Java最关键的技术──虚拟机进行了深入的探讨。     

基于GIS的园区网络链路管理可视化研究

本文研究了将GIS引入到园区网络链路管理系统中实现可视化的主要技术问题。设计了一个基于GIS的园区网络链路管理的原型系统,探讨了其对网络底层管理的便利性,并分析了基于GIS的链路管理系统和基于MIS的网络管理系统的异同。     

一个新的证明网定义及合理性

本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理．和Ｇｉｒａｒｄ的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为Ｏ（ｎ＊ｎ）,并且在证明所定义的证明网是可矢列化时更加自然和简单．     

Linux内核模块的实现机制

讨论了实现Ｌｉｎｕｘ内核可装载模块机制所要解决的问题;分析了Ｌｉｎｕｘ中用于实现模块的主要数据结构以及由它们组成的模块链表、符号表、依赖表、引用链表;阐明了Ｌｉｎｕｘ使用这些数据结构进行内核模块的加载与卸载的过程。     

模糊集在目标识别上的应用

对于复杂背景下的模式识别,目标识别一直是一个较难解决的问题,本文提出在提取目标的多个特征的基础上用模糊录属度表征各个特征的生的方法来选取目标,近而成功地识别目标。文中给出了一个成功的应用实例一车牌自动识别系统。收集道口现场实验表明,在分别和字符切分正确的基础上,此模型的目标识别率为９９％。     

CORBA应用中的编码范例

设计阶段以后的CORBA远程对象调用模式的分布应用的编码包括五个步骤,这既花费时间而且易于出错。针对CORBA类型的分布式应用提出了一种简化的编码范例。     

移动Agent的安全性问题探讨

介绍了移动Agent的安全性问题：1）保护运行移动Agent的主机或称运行环境免遭恶意移动Agent的攻击和破坏;2）保护移动Agent免遭运行环境的攻击。并就这两个方面问题的一些解决方案的思想、各自的特点、实现方法以及存在的问题作了详细的分析、介绍与讨论。最后探讨了问题1）与2）的解决方案之间的矛盾与互斥性问题。