基于IP协议的安全机制的研究及应用

Ｉｎｔｅｒｎｅｔ的安全问题越来越受到人们的关注，目前有许多协议用来实现Ｉｎｔｅｒｎｅｔ的安全。本文介绍了一种应用基础较为广泛的安全机制－基于ＩＰ的安全机制，这是一种基于ＩＰ可选报头的灵活、可伸缩的机制，本文还涉及与这种安全机制密切相关的密钥管理及其他实现上的问题。文章末尾，还简单地介绍了这种安全机制在ＶＰＮ中的实现。     

清算网络的产生式系统解决策略

通过分析银行清算网络路径问题，指出问题的实质：单向图上两个底层节点逐层向上搜索，寻找最佳汇集点，并提出了采用产生式系统和A^*算法解决此类问题的一般方法。     

UMTS环境下VASP安全计费问题的研究

2G和3G的一个重大区别就是VASP(Valuc-Added Service Provider,增值服务提供商)的大量出现。该文介绍了一个适用于UMTS环境、对VASP实现安全计费的模型及其协议。介绍了协议如何实现，以获得灵活、高效和不可抵赖的计费。最后还分析了协议的一些突出特点，列举出协议中的一些问题并给出了可能解决方法。     

基于Internet的虚拟现实与VRML

虚拟现实（VirtualReality）是一种以改善人机交互为目标的技术，它通过计算机及相关的软硬件模拟出一种极具现实感的场景，使人有一种身临其境的感觉。该技术出现至今，已被广泛地应用于各个领域，并呈进一步蓬勃发展之势。对虚拟现实的研究已经历了好几个阶段：从一开始时图形学（如三维世界的建模）的研究到硬件外设（如HMD、偏振光眼镜）的研制，然后是与人工智能结合而对虚拟智能体进行研究等。上面这些研究都是在单机上实现的。随着计算机网络基础设施及相关技术的发展，如何把传统意义上的虚拟现实与网络技术结合起来，实现分布式…     

远地后备的实现

当远地后备数据库系统与主地点系统都拥有多个处理器产工且不同地点间由多重通道线路连接，很难保持后备地点与主地点的一致性，本文提供了一个对多处理器系统有效的事务处理机制，以保证该特性和其它一些重要特性。     

程序测试与概率检查

本文在分析传统的程序结果检查方法的基础上，介绍了引进随机概率的自我检查／校正程序设计的及其特点。     

JB-CCD中对库程序处理的实用技术

JB/CCD是国家“八五”重点科技攻关项目“68-6-1软件工程技术,工具与环境的研究与开发”的子课题“集成化软件工程支撑环境”JB/Sun中的面向C语言的编码与排错工具。在CCD中高效自动地使用C的程序库是将CCD推向实用的一大难点。为进一步巩固“七五”成果,为“八五”CASE的实用化作准备,我们在实用化方面作了大量尝试与工作。本人给出了一种对C函数库处理的高效的方法。该方法对以抽象语法树(AST)为内部机制的编码排错工具的实用化具有普遍意义。     

SQL语言中量词和空值的使用技术

在ＳＱＬ语言中可以引入全称量词符号ＦＯＲＡＬＬ，使ＳＱＬ语言使用更为自然，方便。本文讨论全称量词，存在量词和ＡＬＬ三种谓词之间的转换，联系和区别，以及空值存在时ＳＱＬ的使用技术。     

中西文仿真终端设计技术

通过对ＶＴ１００、ＩＢＭ３２７０等终端的中国文仿真软件设计的实践、介绍ＩＢＭＰＣ及其兼容机上设计通用中西文仿真软件的技术，并对一些特殊类型的终端的仿真技术进行探讨。     

知识库系统中的一种并发控制方法

本文给出了一个基于ＤＡＴＡＬＯＧ环境的知识库并发控制算法，算法的基础是两段锁（ＴＷＯＰＨＡＳＥＬＯＣＫＩＮＧ），它使用了相关和覆盖的概念，减少了被锁对象的数目，从而提高了系统的效率．最后给出了算法的正确性证明．