在大数据时代,数据已经渗透至各个行业,并且呈现出数量大、动态性、类型复杂等显著特征,尤其是互联网金融等为代表的典型行业.本文简要阐述了大数据的研究现状与重大意义,探讨了大型数据资源服务平台架构及其3个主要组...
随着信息技术创新日新月异,数字化、网络化、智能化深入发展,新应用层出不穷、新业态蓬勃发展,对业务系统的敏捷构造和持续运维提出了更高的要求.为此,本文提出了一种新的计算模式:方舱计算.所谓方舱计算,是通过网络访...
人工智能(AI)旨在模拟人脑中信息存储和处理机制等智能行为,使机器具有一定程度的智能水平。随着互联网、大数据、云计算和深度学习等新一代信息技术的飞速发展,目前AI领域的研究和应用已经取得重要进展。本文将深入分...
综述了Petri网领域的国内外研究状况,阐明了作者对网论的发展观点。指出Petri网理论和方法上所取得的成绩及其发挥的作用,结合自己的工作展望了这一领域的发展势态。
交通信息网格通过异构计算机的整合 ,实现更高程度的资源共享 ,能够提供更强的计算能力 ,是解决交通问题的有效手段 交通信息网格原型系统根据城市交通与网格具有相似的特征 ,融合信息网格技术 ,以解决智能交通系统中...
Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网...
定义了Petri网的动态不变性概念,分别从行为和状态两方面刻划了系统合成过程中不变性特征.讨论了行为不变性与状态不变性之间的关系,获得判定不变性的代数判据,由此为系统合成的一致性检验提供了依据.
基于Petri网语言的并发系统性质研究(英文) CNKI文献
给出 Petri网弱活性 (无死锁 )与活性的两个语言刻画 ,讨论了同步合成 Petri网的语言性质 .基于 Petri网语言 ,给出了判定 Petri网活性的充分必要条件 .同时研究了 Petri网同步合成过程中活性保持问题 ,给出保持活性的...
一、引言 矩阵乘法是线性代数中常见的问题之一,许多数值计算问题都包含着矩阵乘法的计算。因此,降低矩阵乘法算法的时间复杂度问题,多年来一直引起算法研究者们的高度重视。 1969年,Strassen提出了一个时间复杂度为O...
本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法。
针对现有智能交通系统中,交通信息协调性差、交通控制应变性弱和交通控制与交通信息融合性低的不足,本文以交通控制的多尺度、交通信息感知与处理的高并发、控制与信息的深融合为目标,构建了城市交通协同监控与实时服...
引入串语义下的矢量文法概念,给出矢量文法的类乔姆斯基分类,并就正规矢量文法进行了更细的划分。讨论了矢量文法谱系和标量文法谱系之间的强弱关系,构成了标矢量文法谱系图。指出正规矢量文法与Petri网(也称PN机)语言...
本文首先给出加权Ｔ图的几种化简运算，然后证明这几种运算对于网的某些结构性质保持不变，从而为加权Ｔ图的化简及综合提供了有效途径。
先前的Petri网模型的综合研究着重在性质的保持性方面,象活性、可达性和回归性.然而,系统行为关系的保持性研究应该更为重要.本文研究了Petri网模型自环连接、抑止弧连接和同步连接三种操作的行为关系,获得他们的语言...
定义了完全行为不变性，引入根同构等概念，给出完全行为不变性的一个简洁判据．进一步地研究了完全 行为不变性在活性和公平性等重要性质保持过程中的作用，指出在完全行为不变的前提下，这些性质的保持是充分必要的...
功能确定的离散并发系统的Petri网规范设计方法 CNKI文献
本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ同模型的桥梁，也就是系统的规格说明．概念模型包括功能图、资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模...
文献［１］基于有效（受控）可重复向量，给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件．然而，求取一个标准Ｐｅｔｒｉ网的有效（受控）可重复向量是判定网语言属型的前提条件...
基于Ｐｅｔｒｉ网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型，用于需求规格说明，包括功能图、资源图和约束集。给出概念模型的精练过程，以及由概念模型到Ｐｅｔｒｉ网模型的转换算法。
进程是反映Ｐｅｔｒｉ网动态特性的重要工具，同步合成是考察复杂Ｐｅｔｒｉ同性质的有效途径．本文研究Ｐｅｔｒｉ网同步合成过程中进程关系的特性，获得基本进程集的合成公式和进程语言的合成公式，还得到了切集，线...
