在库仑规范和洛仑兹规范下电磁势之间的关系

本文证明了用势表述的电动力学基本方程式在库仑规范和和洛仑兹规范下的基本解可以通过规范变换联系起来，并直接地证明它们决定同一个场。     

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

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

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

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

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

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

服务提供过程与服务质量

服务是一种无形产品，它是服务提供过程的结果，服务过程的控制直接影响服务质量。文章介绍了有形产品的生产过程与服务提供过程之间存在的质的区别，简述了制订服务提供过程规范的必要性及其内容、目的和实施     

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

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

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

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

规范窗口Fourier变换的反演公式及其值域刻画

应用算子论与积分论方法,研究了L2-函数的规范窗口Fourier变换Twwinf的连续性与有界性.证明了Twwin的弱反演公式,并利用Bochner积分给出了规范窗口Fourier变换的强反演公式,得到了算子Twwin的值域刻画定理,即F∈R(Twwin)当且仅当F(b,ω)=〈F,Twwinwb,ω〉.     

基于Petri网的TCP协议异常检测模型

从面向连接的角度出发，以Petri网为工具，建立了TCP协议异常检测模型．该模型以TCP协议的状态变迁图为基础，并根据协议规范可对传输报文的标志位进行系统的分析，从而识别出标志位非法组合构成的畸形报文（FIN—RST报文）．模型中规定了各种状态下可接收的标志位集合，同时还细化了各状态下的超时异常，据此可准确地检测出各种异常，以抵御已知和未知的非法行为．利用该模型不仅可发现已知异常事件，还可对未知漏洞进行防范．通过实验发现，网络中的错误标志位报文、端口扫描以及DOS攻击产生的异常流量将占到总流量的10%以上．     

基于NDIS中间层的嗅探器的设计与实现

NDIS驱动程序是Windows平台下开发网络驱动程序必须遵守的设计框架。文章对NDIS中间层进行了详细的分析,介绍了嗅探器的基本工作原理,提出了一种嗅探器的设计思想,并给出其实现的关键技术和设计框架。在此基础上实现了在Windows平台下基于NDIS中间层驱动程序的嗅探器,该嗅探器在实际应用中发挥了重要的作用。