采用系统理论思想实现新一代防病毒技术

本文从防病毒角度把病毒分为三类：可检测型病毒、半可检测型病毒和非检测型病毒；提出系统状态转移网络这一中心概念，根据系统状态的可测性、状态间的相容性和循环性来判别ＤＯＳ系统的安全性，并提出了仿真检测判别技术。新一代防病毒技术从传统地剖析病毒转移到ＤＯＳ系统状态的研究，为全面预防各种计算机病毒奠定了系统理论基础。     

用实二次型理论解多元函数的极值问题

文章以二次型理论为依据,提出了解决多元函数极值问题的另一种方法.     

彝族“打歌”初探

“打歌”史称“踏歌”，是一种自娱性的民间歌舞。彝族“打歌”历史悠久、曲调优芙、歌词内容丰富、舞姿活泼多变，并在国内外享有盛名，是彝族文化的重要组成部分，同时也是中华民族优秀的文化遗产之一。在当前世界范围内的现代化进程中，通过各种途径积极保护彝族“打歌”这一传统文艺形式具有十分重要的意义。     

Sasakian空间形式中具有平行平均曲率向量的C-全实子流形的刚性定理

讨论了Sasakian空间形式中具有平行平均曲率向量的C-全实子流形,得到了紧致的C-全实子流形的一个刚性结果.     

圆形池壁滑模提升系统设计与施工

本阐述了郑州污水处理厂等直径钢筋混凝土消化池，采用滑升模板施工，连续浇筑混凝土提高工效，经过满水和闭气试验，符合设计要求，保证工程质量．取得较好的结果。     

联邦接口规范测试方法研究

高层体系结构（HLA：High Level Architecture)可以支持各种类型仿真之间的互操作，同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行，其中联邦测试是FEDEP模型的重要组成部分，主要包括三级测试，即：一致性测试，集成测试，联邦测试。一致性测试主要包括接口规范测试，OMT测试，RTI测度等内容，本文对联邦接口规范测试的方法进行了研究，根据接口规范的测试标准，制定了测试顺序，给出了联邦接口规范的测试顺序，给出了联邦接口规范的测试顺序模型，使接口规范测试更加系统，清晰。     

集合识别问题的D序列和UIO序列的一种推导方法

集合识别方法是非确定性分布式系统相容性测试的一种新方法，是经典的状态识别方法的一种扩展，提出了在集合识别问题中使用的推导Ｄ序列和ＵＩＯ序列的方法。     

超声波探伤中快速制作距离波幅曲线的方法

经过多年的探伤实验，总结出两种快速制作距离波幅曲线的方法。     

计算机基础课教学网站开发和建设方案

文章针对计算机基础所面临的不断变化和持续增长 的需求，提出了计算机基础课教学网站的建设方案，介绍了网站的总体结构和创建网站时所使用的主要工具的方法，以及动态WEB的实现技术。     

基于蓝牙Profiles的互连测试系统的研究和实现

对蓝牙通信软件的互连性测试进行了研究,提出了测试模型和测试方法.