软件代码的防篡改技术

针对目前存在的严重软件盗版现象，探讨和总结了防止软件代码被篡改的主要技术，并分析了它们的优缺点。利用一些软硬件防篡改技术，可有效保护软件的知识产权，促进软件产业的健康发展。     

机场安全检测的优化策略

为提高机场行李安全检测的可靠性，利用矩阵分析工具建立了通过安排高峰时段航班起飞时间的客流分配模型，模型将机场起飞高峰期分成若干时间段，估算飞机起飞前一段时间内各时间段乘客到达的数量和峰值；在一可接受范围内，利用计算机对高峰期各时间段的航班起飞向量进行分配搜索，得出有效平稳客流量、充分利用安检系统的航班分配组合，并建立了实际可行的飞机起飞安排算法；结合成本分析，对进一步提高安检可靠性提出了建议方案。     

Model Checking-Based Testing of Web Applications

A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key problem of model checking-based test generation for a Web application is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria.     

语音信号的混沌调制识别

在语音信号ＧＴＦ特征的基础上，提出一种基于混沌调制的语音识别新方法．实验结果表明，该方法对语音的缺损和突发性噪声干扰具有很强的容错能力．     

安康汉江大桥南引桥抗震验算

本文通过对汉江大桥南引桥进行反应谱分析,表明汉江大桥南引桥能满足抗震设防要求,对同类型桥型的抗震设计验算具有一定的参考意义。     

并行工程中的资源与决策冲突消解策略及评价

并行工程产品开发过程中不可避免地会遇到各种冲突。主要讨论并行工程中的资源冲突与决策冲突。针对任务间的资源冲突,给出了关键任务优先、等待时间最短、先来先得三种冲突消解策略。针对决策冲突,给出了可信度优先、权威性优先、相邻影响、彼此影响等四种协商策略。通过实例对资源冲突和决策冲突曲各种消解和协调策略进行了比较。     

利用层次分析法确定普通高校图书馆考核评优办法

通过确立科学的指标权重,重视指标彼此间重要性的量化,确定考核评优指标模型,为确定普通高校图书馆考核评优体系模型提供了可行的途径。     

从《引书法示端溪书院诸生》谈引文规范

以清代陈澧《引书法示端溪书院诸生》为例,阐述了引文应按规范,即杜绝抄袭,当引雅书,注明篇卷,核对引文,标出创获及尊重前人。认为一个世纪以前的引文规范在我们这个时代依然需要,那即是学者共同的期待：提倡科学精神,遵守学术规范。     

化合物2杀菌活性的模糊聚类分析

应用模糊数学聚类分析的方法,分析了化合物2对几种病菌的抑制作用。算法公式数学模型处理得到模糊相似矩阵,进而画出动态聚类分析图即可分析化合物2对几种病菌抑制作用的特点及异同。此分析有很重要的实际应用价值。     

基于三层C／S模式的公安旅店业信息管理系统

三层Ｃ／Ｓ模式是基于Ｗｅｂ的ＤＢＭＳ服务，与常规的Ｃ／Ｓ模式相比，具有简便性，灵活性和瘦客户等特点，是信息系统建设的发展方向。本文提出了基于三层Ｃ／Ｓ模式的公安旅店业管理系统，详细讨论了系统设计与实现方法，包括数据库设计，三层Ｃ／Ｓ模式的实现以及图像采集与处理，数据实时归并，动态查控等功能模块的设计与实现，本系统已投入使用。