移动计算形式理论分析与研究

移动计算是在网络技术发展中涌现出的一种新计算范型．文章旨在从形式抽象的角度来认识移动计算的本质特点．文中分析了网络计算平台的综合特征，总结了移动计算范型的典型特征，重点介绍了有代表性的移动计算形式模型和方法，包括进程代数类的π－演算、环境演算和Ｓｅａｌ演算、时序逻辑类的移动Ｕｎｉｔｙ，以及Ａｃｔｏｒ扩充模型．针对每个模型或方法，分析了位置、移动等概念在模型中的刻画，以及各自的交互、动态配置重构和资源控制机制在移动环境中的特点．通过综合比较与分析，对各个模型和方法给出了一定评价。

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

文中从需求工程的基本概念和研究内容出发，简单介绍了需求工程生命周期和需求规范等概念；比较全面地总结了现有的有代表性的需求工程开发方法和工具，对其中一些重要的方法及工具作了分类和评述，并指出了需求工程方法和工具开发与实际领域相脱离等不足之处；

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

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

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

分维几何为模拟自然形体和景物提供了十分卓越的工具．然而，分维几何的造型是一个无限细分的随机造型过程，这就为分维几何的绘制带来了极大的困难．到目前为止．只有某些特殊的光线跟踪技术能够用于绘制分维几何曲面，主要产生高光效果．本文首次提出了用于绘制分维曲面的辐射度技术．该技术将漫反射的计算与随机分维造型紧密结合起来，使逐步求精的辐射度技术自然地融合于分维曲面生成的求精过程中．该技术的关键是解决分维曲面细分的辐射度能量再分布问题．本文给出了其能量再分布算法，并成功地实现了分维几何面的辐射度技术．其示例的测试结果说明，该方法具有良好的效率．该技术的实现增强了辐射度图形表达真实感的能力并且提高了辐射度技术的实用性．

高度复杂植物场景的构造和真实感绘制

绘制高度真实感的自然场景是计算机图形学研究领域的一个富有挑战性的难题 ,植物对象比如草地和树木是虚拟自然场景的重要组成部分 .植物种类繁多 ,形态各异 ,复杂的结构使其无论在造形、存储还是在绘制上都存在相当的困难 .为了解决这个难题 ,根据植物的自身特点 ,分别采用多边形、纹元 (texel)和体纹理 (volum etrictexture)作为工具来构造不同的植物 ,并且分别给出了不同植物场景的简单构造方法 .绘制的结果证明了这些构造和绘制方法是有效可行的 .

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

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

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

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

基于多幅图象的树木造型方法

基于图象的造型技术 (Image basedmodeling)是目前计算机图形学的研究热点之一。与传统的基于几何的造型技术相比 ,基于图象的造型技术具有造型过程简单直观、真实感强等许多优点。本文基于计算机图形学、图象处理、图象变形以及计算机视觉领域的一些方法和技术 ,提出一种基于图象的树木造型方法。与传统的基于数学或生物学的树木造型方法不同 ,我们以图象为输入 ,通过人机交互、充分分析和利用图象信息 ,生成形态上与图象中的自然树木极为类似的几何模型。由于取材于真实的自然树木 ,造型具有很强的真实感。在重建过程的各各环节 ,我们提出了若干加速和改进算法 :枝干分割方面 ,我们对交互式图象分割算法“智能剪刀”做了改进以使其适应树木枝干的分割 ;骨架提取方面 ,我们提出了一种基于动态规划的连通性判定算法 ,实现了快速骨架提取 ;立体视觉方面 ,我们实现了自然场景下的基于平面参照物的相机定标 ;立体匹配方面避免了点对点的匹配 ,代之以更大、更稳定的、具有全局性质的基元匹配。实验结果表明算法具有较高的鲁棒性和实用性。

对象描述语言及其指称描述

在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性，在这样的逻辑框架下，对象的属性（结构）和动作（行为）得以统一．对象聚合提供了由已有对象描述构造复杂对象描述的机制；而继承则可以扩充给定的对象描述并保持原描述的特性．此外。

从VRML到MultiGen/Vega的造型转换与简化─澳门大学虚拟漫游系统实践

复杂场景的虚拟漫游一直是虚拟现实和图形学领域一个非常重要的课题,它在城市规划、文化传播、旅游工业等领域有着极为广泛的应用前景。本文在原有系统的基础上,将VRML语言构造的整个澳门大学虚拟场景转换成MultiGen格式, 并且在Vega上实现了对整个场景的实时漫游。与原有VRML语言所实现的虚拟场景相比较,新系统使得虚拟漫游更加灵活方便,且速度具有显著的提高。本文将论述格式转换中的若干技术问题。

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

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

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

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

时间符号迁移图及其互模拟判定

引入时间符号迁移图的概念 ,作为既涉及通讯又具有实时性的并发系统的模型 .该文给出了这种迁移图时间互模拟的算法 。

限定误差的直方图

限定误差的直方图方法以任意给定的误差作为前提，生成满足要求的直方图．本文在作者已有工作的基础上，进一步探讨生成限定误差直方图的方法，以适用于等值和范围两种查询，并进行了大量的模拟实验．实验结果表明，限定误差的直方图不仅估算精确，肯定能满足预定的要求，而且算法简单，实现效率高，具有良好的应用前景．

基于方面构件模型及其组装与实现

将面向方面编程技术融入传统的基于构件开发方法,提出了一种基于方面的构件模型。同时探讨了基于方面构件的组装策略以及利用XML语言描述组装、编织方面化构件的处理逻辑。新的构件模型采用更加模块化的构件实现方式,从传统构件模型中提取出方面元素,很好地解决了传统的基于构件开发方法中构件间关注点横切所导致系统混乱的问题,提高了构件的可复用性以及软件的开发效率。

关于非线性有限自动机的弱可逆性

根据ＲａＲｂ变换所得方程是否有解或至多一解可判定有限自动机Ｍ是否为弱逆或弱可逆．本文证明这些充分条件与某类映射为满射或单射是等价的，从而减少了判定所需的工作量．本文还讨论了它们同时也是判定Ｍ为弱逆或弱可逆的必要条件的情形．

简单模式的一种匹配方法

模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上，结合常用的模式匹配树的构造思想，设计了一种模式匹配方法。这种模式匹配方法通过计算给定模式集合的扩展集合来构造模式匹配树。虽然在最坏情况下，该方法与LFC现有实现的空间复杂度一样，但当函数定义是部分构造式，而定义中的非项模式覆盖了较多项时，这种模式匹配方法可以避免LFC语言现有实现中较大的编码空间。这个方法略作修改即可用于复杂的嵌套模式，是一种通用的模式匹配方法。

字稿求精的几个技术问题

自从汉字进入计算机以来，字形技术发展很快．近几年出现的曲线轮廓字代表了当前计算机汉字字形的最高水平．它可以应用于很多领域，特别是国际标准的大字符集的推行，其应用前景将更加广阔．本文着重讨论曲线轮廓字形的几个技术问题．曲线拟合的好坏直接关系到生成字形的质量；采用多种方法进行拟合，并辅助以其它一些外围处理，可以得到数据量小且精度高的字形．出版、广告制作、影视等大量地使用形体各异的美术字，曲线轮廓字所具有的独特性质有可能用比较简单的拓扑变换，自动地生成多种规则和不规则几何形状的美术字．

软件体系结构描述语言ADL

主要阐述了现有的常见软件体系结构描述语言ADL的特点和功能 ,并简要介绍了一种新的可视化体系结构描述语言。