【摘 要】
：
目前的相关文献,一般是基于约束观点的研究.它们通过时间约束模型与空间约束模型的方法,研究约束本身以及两种约束之间的一致性关系.这种约束处理,是将时空分割为时间和空间
论文部分内容阅读
目前的相关文献,一般是基于约束观点的研究.它们通过时间约束模型与空间约束模型的方法,研究约束本身以及两种约束之间的一致性关系.这种约束处理,是将时空分割为时间和空间两个实体分别加以描述,并以此为基础讨论两者之间的一致性关系.这种思路没有很好解决时间与空间一体性这一关键问题,所以其处理过程,由于时空分离,而使判定问题变的很复杂.根据相对论的时空观,该文尝试从"时空一体"的角度建立模型,以更好地解决上述问题.相对论的时空观是"Petri网"建模的基础之一,加之"Petri网"自身的形象直观性,该文在相关文献的基础上,提出了一种时空一体的多媒体Petri网模型,并给出了相应的描述模型、多媒体脚本模型以及使用Pr/T-系统建立的检测模型.
其他文献
煤泥水中的精煤主要是通过粉煤洗选系统来回收的。传统的煤泥水处理方法是将原生和次生煤泥水直接排放到耙式浓缩池自然沉淀与浓缩,经真空过滤机或压滤机脱水回收。
Clean c
该文主要讨论电力负荷预测的六个实用的模型,并且结合数据对模型中的一些参数做较为具体的估计,主要做了工作是根据数据的特点建立数学模型,用模型对历史数据进行拟合,由拟合
该文研究一类更为广泛的具反馈控制,变时滞及无穷时滞的单种群增长模型,利用重合度理论和Liapunov泛函方法讨论了其周期正解的存在性和全局吸收性,得到了保证周期正解存在和
本文主要的结果就是将二维首达渗流模型推广到二维非齐次首达渗流模型。模型建立为： 在二维正方形点格图L2=（Z2，E2）中，对图中的每一边e；指定一随机变量t（e），称为边e的通过时间。并
该文主要研究细分方程和细分格式的若干问题.细分格式是计算机图形学的一个重要工具.它与细分方程紧密相联着.由收敛细分格式可以得到细分方程的解,由细分方程解的存在性也可
该文第一章是绪论,主要介绍了该文所研究的历史和现状,该文的创新和突破,以及该文的现实意义.介绍了该文所用到的一些预备知识,同时用几个具体的模型实例,阐述了该文所研究问
搜索引擎由三部分组成:负责从网上收集信息的蜘蛛Spider、对信息进行索引器Indexer、处理用户查询并提供用户界面搜索器Searcher.Indexer是搜索引擎中最为关键的核心部分,是
已经证明,计算图的亏格是NP完全问题.因此从不同方面对图的亏格进行考察是必要的.在该文中,我们着眼于分析图中的哪些顶点和边对图的亏格的贡献较大.该文使用的主要工具是同
设So为亏格大于1的紧Riemann曲面.又设T(So)为基点的Teichmuller空间.该文研究了当Teichmuller空间中的一个点从So出发,沿着过So的Teichmuller射线向T(So)的边界运动时,其上
该文研究了有关特征标的π-理论和特征标环的几个问题,主要包括三个方面的内容:第一部分对有限群的局部子群的结构进行了探讨;第二部分将一系列p-块的结构推广到π-块上;第三