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

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

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

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

浅谈居住建筑设计

居住建设包括住宅、集体宿舍和旅馆等，在此，重点谈谈居民住宅设计。各居民住宅的组成及各部分设计要点：住宅由居住和辅助两部分组成。居住部分包括起居室、卧室、客厅、辅助部分包括厨房、卫生间。浴室、厕所、走廊、楼梯以及贮藏室等。规格各房间的设计浅谈一下：一、居室——大厅小卧房室是住宅中最主要的房间。居室应有良好的朝向，以保证获得充足的阳光，住宅朝向以朝南。为好。随着面积标准的提高，建筑设计住宅套型，“大厅小卧”趋势发展很快。居室中至少应有一间或二间朝向较好。设计居室时还应注意创造良好的通风条件。在实际设…     

服务提供过程与服务质量

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

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

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

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

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

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

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

钢结构建筑防火保护探讨

钢结构材料以其优良的力学性能广泛用于大跨度和高层建筑中,但钢结构存在耐火能力差的弱点,发生火灾时极易发生倒塌,威胁着人们的生命和财产的安全,因此采用合理的防火保护措施,提高它的耐火极限,就显得格外的重要。     

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

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

我国体育仲裁制度的构建与规范刍议

体育仲裁是一种特殊类型的仲裁,有其自身的特点和法律属性.体育仲载制度应包含受案范围、仲裁机构、管辖、仲裁程序等内容.为了规范体育仲裁应重视几项工作：必须确保体育仲裁机构的独立,保证仲裁的公正性;建立高效的体育仲裁工作机制,保证仲裁的效率;注重体育仲裁员队伍素质,保证注重仲裁质量.