一种将设计模式用于程序精化演算的并行程序设计方法研究

并行程序设计是并行计算的难点之一。提出了一种将设计模式用于程序精化演算的并行程序设计方法。它通过在Z语言的Schema演算体系中扩充并行的概念和表示，使用设计模式，将问题求解和并行开发的知识进行形式化的定义与描述，通过扩充的Schema演算将其与模型规范进行复合，逐步精化得到抽象并行程序。通过实例对这一方法进行了详细的描述。     

上下文无关语言分析树的一种表示形式

介绍了上下文无关语言（ＣＦＬ）的句子的一种分析树表示,它适用用于一类与以往不同的ＣＦＬ的应用,即对分析树空间效率要求较高且不需标记分析树的应用,典型的就是把ＣＦＬ的句子用作算法加工对象,这种表示比传统分析树不仅空间较小,而且进行结构匹配的快速快,还介绍了这种分析树表示的实现技术。     

软件需求工程-方法及工具评述

文中从需求工程的基本概念和研究内容出发,简单介绍了需求工程生命周期和需求规范等概念;比较全面地总结了现有的有代表笥的需求工程开发方法和工具,对其中一些重要的方法及工具作了分类和评述,并指出了需求工程方法和工具开发与实际领域相脱离等不足之处;最后探讨了需求工程研究现状中存在的一些主要问题及一些相应的解决方案。     

模型库管理系统的设计和实现*

模型库管理系统是决策支持系统的核心，其基本功能包括模型的定义、组合、存储和调用.该文介绍一个支持客户/服务器模式的模型库管理系统的设计和实现，在这个系统中，模型被视为程序模块，通过运用面向对象的方法进行组织以及对模型的远程和动态的透明调用提供支持，使实现的系统具有良好的动态可扩充性.同时,通过提供模型定义语言和模型库管理，便于决策支持系统客户软件的开发.     

基于VTK库的医学图像处理子系统设计和实现

VTK(TheVisualizationToolkits)是一个基于面向对象方法设计的,功能强大的可视化和图形图像处理类库,针对医学图像处理的需要和特点,利用VTK的图像处理和可视化,及图形显示功能,用面向对象的方法设计和实现了一个易于扩展、高效率、实用的医学图像处理子系统。实践证明该子系统能很好地应用于各种医学图像处理中。     

面向HTTP协议的防火墙设计与实现

分析了防火墙系统中分组过滤技术和代理服务技术存在的安全性缺陷，指出了HTTP协议身份验证方案存在的问题。基于证书中心和安全通道设计与实现了一个面向HTTP协议的安全的防火墙系统，其中身份识别依赖于证书中心发放的数字证书，并具有安全通讯的安全通道。     

基于递进网格的多层次模型编辑

给出了一种基于递进网格的交互式模型编辑新方法,该方法中把模型看成由若干个不同的细节层次来表示,对每一层次可进行单编辑,在活动层次中实现编辑操作的方法是将编辑抠映射到二维空间上,并在其上对施加在原模型上的离散编辑信息进行插值,再逆映射到原三维模型,从而实现模型形状的修改。别外,由于我国可以将编辑信息在不同层次间进行传播,因此该方法可以实现层次式模型编辑。     

可灵活设置托管代理的密钥托管方案

一般密钥托管方案都没有考虑托管方的权重,文章基于门限思想和高级门限方案,设计了一种可灵活设置托管方权重的密钥托管方案,具体给出了某一托管代理必须参与才能恢复用户密钥的托管方案和两组托管代理共同参与才能恢复用户密钥的托管方案。可以根据托管代理的具体情况,设计出更多类型的可灵活设置托管代理的密钥托管方案,该方案还能克服阀下信道攻击和部分托管代理共谋或泄密等情况。     

一种用于风险管理的改进的代数方案

用于风险管理的代数方法，利用自动化思想，实现将网络安全风险决策制定过程转化为代数方程式的求解，已成为自动化风险管理方法研究的一个方向。但已有的代数方法存在缺陷，本文针对已有代数方法存在的不足，改进和扩展原有代数方法，优化多分类标记体系，完善风险分析应考虑的因素，增加一个改写系统，能普遍有效地实现对一个实际环境的自动化风险管理。     

辐射度技术用于随机分维几何面的全局光照计算

分维几何为模拟自然体和景物提供了十分卓越的工具，然而，分维几何的造型是一个无限细分的随机造型过程，这就为分维几何的绘制带来了极大的困难，到目前为止，只有某些特殊的光线跟踪技术能够用于绘制分维几何曲面，主要产生高光效果。