智能城市五人谈

由信息化、数字化到智能化!城市建设的热潮开始席卷全国,而智能城市的建设不能缺乏总体框架、更不能没有标准可依!各行业、各部门将如何把握自己的建设脉搏?明天的智能上海将从何处起步?本刊专访来自市交通、水务、电力、网上房地产、市政建设一线的五位领导及专家学者,呈现一个完整“智能上海”的美好前景。     

基于Petri网的并发系统控制器设计

针对并发系统的死锁现象,通过原系统Petri网模型的状态可达图和行为规范,产生目标系统的可达图,进一步生成控制器的Petri网模型。同此为这类问题的控制器Petri网模型的生成提供一条有效途径。     

扩展Petri网在实时数据库并发控制中的应用

提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN).此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间.用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能.     

同步合成网的完全顺序行为不变性

定义了完全行为不变性,引入根同构等概念,给出完全行为不变性的一个简洁判据.进一步地研究了完全行为不变性在活性和公平性等重要性质保持过程中的作用,指出在完全行为不变的前提下,这些性质的保持是充分必要的关系。     

一类同步合成网合法发射序列判定的一个多项式时间算法

研究了同步合成网的语言性质，针对一类同步合成网，提出合法发射序列的一个多项式判定算法. 从而将这类问题的多项式可解性从坚持网、无冲突网和状态机网的仅有Petri网子类，推广到更为广泛的这些子类的同步合成Petri网. 一般Petri网的这类问题的判定是NP完全问题. 因此，寻求这类问题的多项式可解性的任何更广网类的判定算法一直是重要的研究课题.     

工作流模型验证及分解的多项式算法分析

基于工作流的Petri网结构化建模方法,证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T-不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性.     

Petri网在工作流系统建模和分析中的应用

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容.     

张量乘积图的HAMIL TONIAN分解(Ⅲ)

本文先讨论两个偶阶圈张量积的哈密顿分解问题,然后又讨论多个偶阶圈张量积的哈密顿分解问题。     

矩阵乘法的一个最佳算法

一、引言 矩阵乘法是线性代数中常见的问题之一,许多数值计算问题都包含着矩阵乘法的计算。因此,降低矩阵乘法算法的时间复杂度问题,多年来一直引起算法研究者们的高度重视。 1969年,Strassen提出了一个时间复杂度为O(n~(log_2~7))的矩阵乘法算法,第一次突破了O(n~3)的界限,被誉为“在代数复杂性理论中最激动人心的结果”。以后,又出现了一系列新