分享到:

信息图的归约

0引言 信息处理的很多问题可以归结为对图的处理,在用计算机处理这类问题时,往往由于图的结点太多,要占用的存储空何太大而带来困难。因此,图的归约,即如何减少其结点数的问题是经常遇到的。但一般说来,结点数减少了,图的信息处理能力·也随之降低。本文引入图的自然同态概念,并据此定义了自然同态可归约信息图,这种图的自然同态像不但减少了图的结点数,而且可以保持信息处理的能力。 定义1设S是给定的有穷的信息符号表,S*是S上所有有穷长信息符号行的集合’任a任S*称为一个信息。 定义2信息图是二元组,其中G=是有向根图,R是信息处理规则的集合。 我们约定:以自然数标记G的结点,以O标记其根,以S中的字母标记G的边,且同一气的不同引出边标记不同。在G的每个结点上附加一组信息处理规则,所有点的规则构成R。对于外度非零的结点‘,其上规则是:若有j〔犷,使得从i到j有一条标记为二的边 (此时称j为£的后继),则点‘上有规则占(i,幼=j。外度为零的结点...  (本文共5页) 阅读全文>>

燕山大学
燕山大学

工作流建模方法及模型验证方法的研究

工作流技术已经成为实现业务流程自动化和重组所必须的技术。工作流建模工具是工作流管理系统的起点,而工作流模型是工作流建模工具设计与实现的基础,工作流模型的正确性验证又是工作流模型能有效描述业务流程的前提和保证。因此,工作流模型及其验证方法的研究对工作流技术的发展有着重要意义。首先,为了提高工作流模型对业务流程的描述能力,对现有的工作流模型进行了分析和比较,对原有的有向图工作流模型进行扩展,引入新的建模元素,提出了基于扩展条件有向图的工作流模型。给出了扩展条件有向图工作流模型的形式化定义和图形符号描述,并通过一个研究实例详细说明了使用扩展条件有向图工作流模型进行建模的过程。其次,为了验证工作流模型结构的正确性,将Pi-Calculus引入到模型验证的过程中,给出了如何使用Pi-Calculus描述所建立的工作流模型。在使用Pi-Calculus准确描述模型的基础上,提出了基于Pi-Calculus的工作流模型归约规则,给出了基于Pi...  (本文共78页) 本文目录 | 阅读全文>>

东华大学
东华大学

装配图参数化设计系统的实现及其关键技术的研究

随着计算机技术的发展,全球化制造时代已经到来。在这种背景下,利用集成化、智能化CAD系统完成产品的开发设计是企业赢得市场竞争的重要保证。因此,对集成化、智能化CAD系统的研究,已经成为设计领域的发展趋势。设计问题本质上是一个约束满足问题(Constraint Satisfaction Problem,CSP),即给定功能、结构、材料及制造等方面的约束描述,求得满足设计要求的设计对象的细节。现行的CAD系统能较好地处理复杂的零件图,但在装配图的设计方面,却显得薄弱无力,缺乏完善、可靠的装配建模工具。然而,装配图是产品设计中极为重要的技术文件,它对提高设计效率,缩短设计周期都具有重要的意义。本文以基于网络的零件库技术以及装配约束满足问题(Assembly Constraint Satisfaction Problem,ACSP)为主线,对集成化的智能CAD进行了研究,建立了基于PPLIB(Parametric Parts LIBra...  (本文共132页) 本文目录 | 阅读全文>>

北京工业大学
北京工业大学

分布式XML嵌套流数据查询技术研究

可扩展标记语言(eXtensible Markup Language,XML)是W3C提出的一种半结构化的数据描述语言,由于具有高可读性、可扩展性、自描述性以及跨平台等特性,在互联网上得到了广泛的应用。随着互联网技术的发展,互联网用户持续增加,网络应用的普及,互联网上数据规模正在不断的扩大。XML作为目前互联网数据的存储格式、数据共享和数据交换的主导标准,在许多应用中都有广泛的使用。近年来大数据和云计算的飞速发展,XML已经不再局限于单个文档,更多的情况是数据以流的形式出现,不能完全存放于一个文档之内。很多现有的应用中,XML的文档已经不能够一次性都放入内存中了。传统的XML处理方法依赖于将XML放入计算机的内存中,将XML构建成一棵树的结构,对XML进行查询。很明显,这样的查询方法已经不再适用于当前的XML查询。而使用XML流数据的方式,将海量的数据以流的形式出现,单边扫描进行查询处理的方式受到了研究人员的普遍关注,XML流数...  (本文共62页) 本文目录 | 阅读全文>>

哈尔滨理工大学
哈尔滨理工大学

关于主动数据库中主动规则集可终止性理论的研究

传统数据库系统是被动的,数据库状态的改变是外界或用户程序影响的结果,也就是所有的查询和数据处理操作必须通过人工操作完成。为了实现数据完整性、一致性的自动维护以及满足实时信息处理的需要,主动数据库系统通过主动规则或触发器的形式加强了传统数据库的现有功能,它具有无须人工干预就自动对数据库状态改变作出反应的能力。主动数据库系统能够自动对数据库内、外部的状态进行监控分析,并作出实时响应。在工业控制系统、工作流管理、主动数据仓库、生物信息管理等众多领域都充分利用了主动规则机制。主动规则可以相互触发,使得主动规则集的可终止性问题成为了数据库界的一个著名的难题。具有可终止性是保证主动规则集具有良好行为特性的一个重要特征,因为规则集的无限循环执行会导致系统大量资源的浪费,从而导致系统性能恶化,而对一些要求严格的控制系统,则会对系统产生致命的损伤。主动规则集的可终止性判定是一个直接影响主动数据库设计和应用的关键问题,但现有的可终止性分析方法都只能...  (本文共143页) 本文目录 | 阅读全文>>

哈尔滨工业大学
哈尔滨工业大学

面向环和结的分布式死锁检测算法研究

在分布式系统中,如果资源的分配与需求产生冲突,系统中可能发生死锁,这是一种无限阻塞状态:发生死锁的进程集合中的已经持有部分资源的进程在发出新的资源申请时,发现被申请的资源正在被这个集合中的其它进程所占据,这个集合中的进程都将无限期地相互等待资源被释放,从而导致系统运行陷入停滞。死锁可以在分布式系统设计之初就采取措施加以避免,但这样一来或者需要系统拥有足够多的资源,或者需要对进程的资源请求做出严格的限制,以运行时间的延长来换取不被锁住。所以避免方法要预知系统可能出现的各种运行状态,适用于进程的并发时间和规模相对固定的分布式系统,如机场的实时控制系统。而大多数分布式系统中的进程对资源的需求时间和规模是不确定的,避免算法无法应对所有的可能情况,此时可行的死锁处理方法是死锁的检测和解决。对分布式死锁检测算法的研究由来已久,根据进程对资源的需求条件不同,分布式计算可以被分为单资源模型、AND模型、OR模型以及AND-OR模型,这些模型的通...  (本文共112页) 本文目录 | 阅读全文>>