WWW索引信息库的多周期增量更新方法

讨论WWW搜索引擎索引信息库的更新维护问题。并针对WWW文档的多样性 ,提出了一个多周期增量信息更新方法 ,从而减轻了索引信息库维护的工作负担。     

一种新的基于B/S模式的权限管理方案

本文分析了RBAC模型存在的局限性,结合高校教务系统权限管理的特点,在给出了WEB页面权限指纹概念的基础上提出了一种基于用户功能、分组式授权的新的权限管理方案。该方案应用于B/S模式的MIS系统中能够很大程度上降低应用服务器用于权限管理的运行代价。     

STAMP模型及其在核电厂DCS安全分析中的应用展望

数字化控制是核电发展的必然趋势,核电厂数字化控制系统（Digital Control System,DCS）的应用在提高核电厂系统控制能力的同时也增加了系统的复杂性,以事件链模型为基础的传统安全分析技术面临挑战。为提高核电厂DCS的安全性能,需要关注安全工程领域的新研究成果,将其引入到核电安全领域并加以研究。本文介绍一种新的基于系统理论的事故模型和过程（Systems-Theoretic Accident Modeling and Processes,STAMP）安全模型,对比分析了其与传统安全模型的优缺点,说明了基于STAMP的风险分析（STAMP-Based Hazard Analysis, STPA）技术的基本步骤,并根据STAMP在国内外的应用情况,对STAMP在我国核电领域的发展前景进行了展望。     

Java建模语言在程序不变量动态发现过程中的应用

通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构.主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题,针对提出的问题给出了相应的解决方法.     

基于搜索的科研论文自动评价

互联网上信息量的增加，迫切需要一些新的科研论文评价方法来使科研工作者能更便捷地查阅有价值的文献。分析了传统的人工科研论文评价方法存在的缺点，介绍了Google Scholar学术搜索及其特点。提出一个新的基于搜索的科技论文自动评价方法，通过搜索获取原始论文集、引文和被引用文献，构造论文网络，利用基于Web社区发现技术形成论文社区，获得社区的核心论文，对指定的论文进行评价。该方法在评价论文时避免了人工操作的缺点，结果也很准确。     

基于合约的似然程序不变量动态发现

本文主要讨论基于合约的似然程序不变量的内涵,以及通过程序断言动态生成技术来发现程序不变量的意义。在此主要描述基于合约的似然程序不变量发现的基本理论模型以及该模型与动态不变量检测工具Daikon实体模型的比较,进一步论述程序断言动态生成技术。通过精确的程序断言动态生成,可以分析程序各变量之间的关联属性,以完成不变量的检测。从而有助于设计高质量的程序架构以及规范化的程序代码.     

基于ASP.NET页面指纹的分组式权限管理方案

论文分析了RBAC模型存在的局限性,结合高校教务系统权限管理的特点,在给出了Web页面权限指纹概念的基础上提出了一种基于用户功能、分组式授权的新的权限管理方案。该方案应用于B/S模式的MIS系统中能够很大程度上降低应用服务器用于权限管理的运行代价。     

基于弱实时系统的元搜索引擎合成策略

本文根据弱实时系统理论提出一种新的元搜索引擎结果合成策略，与现有系统相比可以较好把握系统响应时间与准确率的平衡，提高元搜索引擎的搜索速度和性能，并具有进一步深入研究的价值。     

IPSec技术在VPN中的应用

当前VPN应用中，基于IPSec的VPN受到人们的普遍关注．本文分析了IPSecVPN的安全体系结构；IPSec的实现策略以及应注意的问题；提出了一些实现VPN的IPSec集成解决方案．