【摘 要】
：
本文研究了一种自动验证工作流过程模型的方法。首先使用 UML2.0 活动图建立工作流过程模型，然后使用前向链接算法的思想，给出一种简单易行的工作流过程模型的结构验证方法。可验证的问题包括工作流过程模型的冗余迁移、死锁、活锁和非连通等。方法不仅适用于验证常见的工作流模式，还适用于多种特殊模式的验证。
【机 构】
：
国防科技大学计算机学院，长沙410073
论文部分内容阅读
本文研究了一种自动验证工作流过程模型的方法。首先使用 UML2.0 活动图建立工作流过程模型，然后使用前向链接算法的思想，给出一种简单易行的工作流过程模型的结构验证方法。可验证的问题包括工作流过程模型的冗余迁移、死锁、活锁和非连通等。方法不仅适用于验证常见的工作流模式，还适用于多种特殊模式的验证。
其他文献
本文针对计算机集群系统，设计了网络负载评估和分配算法。算法中综合考虑了处理器能力和网络负载情况，对实现过程中的问题进行了详细讨论，对原型系统的测试结果显示设计算法的负载分配合理、转发效率高、调度开销小，实现了线性可伸缩。
本文结合 web 分析与数据流，提出了一种新的树结构 LHB-TREE，可以有效地处理数据流的历史数据。HB-TREE 存储聚集函数收集的统计信息，具有存储空间小，查询速度快的优点，并在此基础上提出了历史时间粒度的概念，解决数据流系统中查询海量历史数据的问题。
在基于机群系统的并行数据仓库研究中，数据模型决定数据的分布策略，从而决定着查询优化技术的使用。如何利用并行数据仓库的并行特征和系统的数据模型特点，选择合适的查询优化技术是本文重点研究的内容。本文根据系统的体系结构特点，提出了并行数据仓库的数据三层模式结构，并在此结构的基础上设计了全新的并行数据仓库的查询划分策略，充分地利用系统的并行性，有效地降低处理机资源的浪费，并在试验中证明了策略的有效性。
与图像不同，文本文档一般含有较少的可用来进行秘密通信的冗余信息，因此这方面的信息隐藏方法也较少，且大多依赖于文本格式的调整。本文针对以表格为主的文本文档，提出了一种基于表线标记的信息隐藏方法，论述了把隐藏数据转换成标记的物理特征或几何分布特征的完整模型及其可行性，并以典型的序列号隐藏为实例验证了其有效性。与传统方法相比，本方法具有不受文本编辑、排版调整的影响，能够较好地保持秘密信息的优点。
业务流程管理（BPM）是流程自动化和系统设计领域的最新发展方向，用来设计和实现企业内或企业间的业务协作。目前已经出现了多种业务流程建模语言和实现技术，并在竞争中继续发展着，其中，最有影响的是 BPEL4WS 和 BPML。但是，在系统地评估这些语言和技术的性能及局限性方面，国内却极少甚至没有做过工作。本文是在此方向上的初步探索。分析所依据的框架结构建立在工作流模式和通讯模式基础之上。
本文对经典的粒子群算法进行了修改，通过引入遗传算法中常用的轮盘赌选择算子，能在早期抑制部分超级粒子对种群的控制，从而有效避免早熟收敛问题。我们在大量著名测试函数上实施了广泛的比较实验。结果表明，与其他已发表的算法相比，改进后的算法能以更快的收敛速度获得质量更好的解，在困难的多峰函数优化问题上优势尤其明显。
本文根据分水岭变换的模拟浸水原理，利用粘连对象的形态特征，设计并实现了一种新的、快速、有效的分水岭图像分割算法。该算法把图片中各个粘连物体视做一个个的盆地，只需扫描初始图片中各个象素的四连通和盆地的边缘情况即可，且其简单明了，执行速度快，又达到了对目标图像进行有效分离的目的，成功有效的解决了由于目标物体粘连而造成的不便和对后续处理的干扰等问题，是一种切实可行的图像分割方法。
Ontology 是语义 Web 的关键部分。语义 Web 的完全分布式特点使得 ontology 映射成为亟待解决的问题。由于网络环境下人工定义本体之间的映射关系费时费力且容易出错，因而需要一种自动或半自动的本体映射方法以减轻人工定义的负担。本文提出了一种通用 Ontology 映射方法，用于解决语义异构问题。该方法使用了多种 ontology 匹配策略，并在此基础上利用相似度传播算法进一步提高
对软件开发中的缺陷的记录、统计和分析是软件测试的重要内容，缺陷管理系统是实现有效测试的技术保证。本文利用中间件技术和面向对象技术，设计并实现了基于 Web 的缺陷管理系统，提高了系统的灵活性、可扩展性和可移植性。本系统可以针对每一个软件系统的特点，创建出合适的缺陷库，并进行相关管理。
在柔性处理系统中，流程设计和作业调度两个问题密不可分，调度的最优性依赖流程设计的结果。本文论述了利用共生进化算法将二者放在一起进行处理，并在共生算法中引入自适应，提出并实验尝试了两种新的自适应算法思想，继而研究了自适应算法在多种群中的应用效果。