【摘 要】
:
本文从UML状态图自身出发,在其中加入数据流对象,定义UML状态图的语法,选择标记转换系统作为语义域,并通过结构化操作语义分两步定义了UML状态图的数据流语义,为工作流中数据流的正确性验证提供了理论基础.
【机 构】
:
苏州大学计算机科学与技术学院,苏州,215006
【出 处】
:
2006年全国理论计算机科学学术年会
论文部分内容阅读
本文从UML状态图自身出发,在其中加入数据流对象,定义UML状态图的语法,选择标记转换系统作为语义域,并通过结构化操作语义分两步定义了UML状态图的数据流语义,为工作流中数据流的正确性验证提供了理论基础.
其他文献
随着铁精矿市场的好转,上马了一些民营选矿厂,处理贫、细、杂的铁矿石,可是厂主为了在短期内收回投资,大都没有设计出最佳的选矿工艺流程,就开始投入生产.由于流程的不合理性,虽然初期减少了基建、设备等费用,但是在实际生产中却出现了很多弊端.比如,破碎产品粒度不均匀、入选矿石品位偏低却没有安装磁滑轮进行预先抛尾等.致使球磨机的磨矿效率降低,处理原矿量也较少,生产不出更多的铁精矿,造成选矿成本增加,从而得不
迁安市铁矿资源丰富,开发利用较早,经过多年的探索和实践,实现了采选配套协调发展,铁选厂生产能力渐趋稳定,生产工艺日趋合理,经济效益稳步提升,在为区域经济发展做出重要贡献的同时,也积累了一定的选别鞍山式贫磁铁矿的成功经验.文中通过对迁安地区中小铁矿山生产现状进行考察,分析了一些新工艺新设备在这些铁矿山的应用现状及其带来的经济效益。
介绍了SLon立环脉动高梯度磁选机的工作原理,性能及特点.首钢矿业公司孟家沟赤铁矿资源赋存情况,孟家沟赤铁矿资源开发的必要性、紧迫性和优势.对孟家沟赤铁矿进行了原矿性质研究、SLon立环脉动高梯度磁选机试验室选矿研究.并介绍了首钢大石河铁矿选厂强磁流程的设计和建设情况、生产指标及运行情况,分析了流程中存在的问题.
本文提出了一种新型的工作流仿真模型-SimNet,并讨论了工作流软件的几种关键性能指标的计算。文章围绕、工作流仿真、关键性能指标 调度策略等进行了论述。
本文对有模式指导的XML动态集成框架进行了研究。文章提出了一种有模式指导的XMI.动态集成框架,有效解决了当前XMI_数据集成面临的挑战,特别是底层源的模式更新问题。该方法既保证遵循预定义模式又实现了模式更新情况下的动态集成,而且采用最新的相关技术提高了数据集成的效率。
本文对一种新高效的频繁项集挖掘算法进行了研究。文章围绕AFP-Tree的设计与构建、AFP-Miner算法、实验与结果分析等进行了论述。
本文主要介绍了Tile自组装模型,并开发出了系统软件对自组装过程进行模拟。这一模拟工具不仅方便了研究人员对自组装算法的设计,也避免了进行生物实验所需的昂贵费用。
本文对基于本体概念结构的SVM多类分类方法及其在本体自动扩充中的应用进行了研究。文章构建了一个面向开放领域的本体自动扩充系统,采用有监督的SVM模型对本体实例进行分类,并根据本体自动扩充任务的特点,设计了一个基于本体概念结构的SVM多类分类分解方法。
本文利用基于模型的诊断方法对故障系统与换元系统的诊断和冲突之间的关系进行了分析,研究了系统修复与重新配置问题,利用替换发生后换元系统输出的变化刻画了故障系统的重新配置,提出了系统修复与重新配置的概念,对利用替换给系统输出行为带来的影响刻画了系统的修复与重新配置的生成过程,为发生故障系统的修复提供了理论基础。
本文对一种改进的基于差别矩阵的知识挖掘方法进行了研究。文章通过对原有Skowron差别矩阵的生成过程进行了改进,不仅最终同样能够达到决策表的知识约简和规则约简生成的目的,而最关键的是,通过对原有算法的改进,节省了大量的运算时间和数据存储空间,既又不丢失决策表中的任何信息,又保证了最终从决策表中所提炼信息的正确性。