求齐次有限马尔科失链状态空间全体闭集的算法

本文给出了齐次有限马尔科夫链状态空间的闭集族的算法，为了减少计算量和无重复地列出全体闭集，引进了状态空间压缩法和逐点删去法。对状态个数不太大的情形，可利用压缩状态空间的状态转移图求全体闭集；对一般情形，给出了计算机算法。     

通用计算机系统的可信增强研究

提出了基于USB-KEY的通用计算机系统的可信增强方案.该方案能够帮助用户在现有计算机系统上获得和可信计算机几乎相当的安全保护,方案中开发的各种信任链软件和安全协议栈与现有应用系统保持兼容,并能很好地迁移到将来的可信计算平台当中.探讨了基于USB-KEY对通用计算机系统进行可信增强的若干问题,并构建了一个原型系统.测试结果表明:可信增强的改造方案不仅成本低廉,实施方便,而且能够确保系统被授权使用,有效抵御病毒和木马的攻击,为用户营造一个安全稳定的计算环境.     

排序融合算法在校园网搜索引擎中的应用

网页排序技术是搜索引擎的核心技术之一. 校园网搜索引擎是指以一个校园网内的Web网页为搜索内容的搜索引擎. 由于校园网相对于互联网和内联网的特殊性,各种启发式条件对校园网网页排序优化的影响及排序融合技术在校园网搜索引擎的作用是研究的重点. 实验结果表明各个启发式条件的影响和实验数据集有关,而不同启发式条件组合经过排序融合后所获得的查全率差别很大(2%～48%). 查全率大于35%的启发式条件组合至少包含4个启发式条件,即校园网搜索引擎的排序需要依据数据集综合考虑多个启发式条件的排序结果. 排序融合技术是校园网搜索引擎具有良好的查全率的必要技术之一. 基于排序融合技术的网页排序模块已经应用于清华大学校园网搜索引擎中.     

防区外攻击仿真框架和攻击动作链设计

对地攻击仿真系统包括诸多子系统。各个子系统通过仿真框架有机组合成仿真系统。本文主要针对防区外攻击任务特点，讨论其仿真框架的建立，根据任务剖面设计出攻击机防区外攻击的典型动作链。最终建立起防区外攻击的仿真系统。通过一个攻击机实施防区外攻击的算例，总结出导弹发射前后攻击机的动作链特点，对空地武器发射平台与空地导弹的配合问题进行了初步的探讨。     

伪轨跟踪性与几乎周期点

设(X,d)是紧致度量空间,f是X上的连续自映射,AP(f)、CR(f)分别表示f的几乎周期点集和链回归点集。证明了:如果f有伪轨跟踪性,那么f| ■:■→■也有伪轨跟踪性,并且CR(f)=■。     

基于事件调度的随机Petri网仿真

当随机Petri网时间变迁的延迟时间分布为非指数分布时，随机Petri网就不再与马尔可夫链同构，不存在数学分析解法。数字仿真成为解算其性能指标最通用的方法。本文提出基于事件调度的随机Petri网仿真算法，该算法适用于任意时间变迁延迟时间分布随机Petri网性能的解算，实例分析证明该仿真算法的有效性。     

三种群非自治捕食链斑块系统正周期解的存在性

利用叠合度有外界资源的连续定理，对有外界资源的三种群非自给捕食链斑块系统进行讨论，得到了该系统正周期解存在的条件，同时给出了结论的一个具体运用的例子。