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

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

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

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

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

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

服务提供过程与服务质量

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

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

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

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

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

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

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

科学数据共享工程"十一五"建设规划

科学数据共享是实现自主创新的重要支撑之一。通过实施科学数据共享,整合零散的数据资源,完善共享的保障体系,切实提高科技竞争能力。科学数据共享必须解决下列问题:一是切实改变传统的科学数据观念,打破信息壁垒,实现科学数据的合理流通;二是建立一套有利于科学数据共享的管理体制和数据标准,实现数据共享的规范运作;三是整合分散在部门、行业、科学家个人手中的数据资源,实现全社会数据共享。1科学数据共享工程进展情况1)初步完成了《科学数据共享工程建设规划》的编制。2)制定了数据共享的相关政策。一是制定了《科学数据共享条例》,二是…     

以科学发展观学习公路桥涵新规范(JTG D-60-62-2004)

交通部公路规划设计院受国家交通部的委托拟订公路桥涵新规范(JTG D-60-62-2004).它是部份科研成果之总结,也是可靠度为基础之论著.现将本人学习心得与体会归纳如下,谨供参考.     

谈信息工程建设监理的完善

随着我国信息工程建设事业的发展，客观上对信息、工程建设监理提出了更高的要求。然而，当前我国的信息工程建设监理行业存在诸多的问题，为此，需要采取积极的对策进行完善和规范。