作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

面向互联网金融行业的大数据资源服务平台  CNKI文献

在大数据时代,数据已经渗透至各个行业,并且呈现出数量大、动态性、类型复杂等显著特征,尤其是互联网金融等为代表的典型行业.本文简要阐述了大数据的研究现状与重大意义,探讨了大型数据资源服务平台架构及其3个主要组...

蒋昌俊 丁志军... 《科学通报》 2014年36期 期刊

关键词: 大数据 / 互联网金融 / 可信网络交易 / 行为认证

下载(1265)| 被引(17)

方舱计算  CNKI文献

随着信息技术创新日新月异,数字化、网络化、智能化深入发展,新应用层出不穷、新业态蓬勃发展,对业务系统的敏捷构造和持续运维提出了更高的要求.为此,本文提出了一种新的计算模式:方舱计算.所谓方舱计算,是通过网络访...

蒋昌俊 丁志军... 《中国科学:信息科学》 2021年08期 期刊

关键词: 方舱 / 虚拟数据中心 / 跨域资源管理 / 资源分配

下载(151)| 被引(0)

智能源于人、拓于工——人工智能发展的一点思考  CNKI文献

人工智能(AI)旨在模拟人脑中信息存储和处理机制等智能行为,使机器具有一定程度的智能水平。随着互联网、大数据、云计算和深度学习等新一代信息技术的飞速发展,目前AI领域的研究和应用已经取得重要进展。本文将深入分...

蒋昌俊 王俊丽 《中国工程科学》 2018年06期 期刊

关键词: 人工智能 / 人脑智能 / 类脑智能 / 智能发展

下载(368)| 被引(3)

Petri网理论与方法研究综述  CNKI文献

综述了Petri网领域的国内外研究状况,阐明了作者对网论的发展观点。指出Petri网理论和方法上所取得的成绩及其发挥的作用,结合自己的工作展望了这一领域的发展势态。

蒋昌俊 《控制与决策》 1997年06期 期刊

关键词: Petri网 / 并发系统 / 模型

下载(1887)| 被引(130)

交通信息网格的研究  CNKI文献

交通信息网格通过异构计算机的整合 ,实现更高程度的资源共享 ,能够提供更强的计算能力 ,是解决交通问题的有效手段 交通信息网格原型系统根据城市交通与网格具有相似的特征 ,融合信息网格技术 ,以解决智能交通系统中...

蒋昌俊 曾国荪 ... 《计算机研究与发展》 2003年12期 期刊

关键词: 智能交通 / 信息网格 / 原型系统 / 并行计算

下载(436)| 被引(71)

Petri网语言的Pumping引理  CNKI文献

Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网...

蒋昌俊 刘关俊 《计算机学报》 2006年02期 期刊

关键词: Petri网 / 语言 / 正规语言 / Pumping引理

下载(287)| 被引(19)

Petri网的动态不变性  CNKI文献

定义了Petri网的动态不变性概念,分别从行为和状态两方面刻划了系统合成过程中不变性特征.讨论了行为不变性与状态不变性之间的关系,获得判定不变性的代数判据,由此为系统合成的一致性检验提供了依据.

蒋昌俊 《中国科学E辑:技术科学》 1997年06期 期刊

关键词: Petri网 / 系统 / 行为 / 状态

下载(199)| 被引(46)

基于Petri网语言的并发系统性质研究(英文)  CNKI文献

给出 Petri网弱活性 (无死锁 )与活性的两个语言刻画 ,讨论了同步合成 Petri网的语言性质 .基于 Petri网语言 ,给出了判定 Petri网活性的充分必要条件 .同时研究了 Petri网同步合成过程中活性保持问题 ,给出保持活性的...

蒋昌俊 陆维明 《软件学报》 2001年04期 期刊

关键词: Petri网 / 并发系统 / 活性 / 同步合成

下载(186)| 被引(25)

矩阵乘法的一个最佳算法  CNKI文献

一、引言 矩阵乘法是线性代数中常见的问题之一,许多数值计算问题都包含着矩阵乘法的计算。因此,降低矩阵乘法算法的时间复杂度问题,多年来一直引起算法研究者们的高度重视。 1969年,Strassen提出了一个时间复杂度为O...

蒋昌俊 吴哲辉 《科学通报》 1989年04期 期刊

关键词: 算法 / 矩阵乘法 / 运算次数 /

下载(698)| 被引(22)

Petri网的标注可达树  CNKI文献

本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法。

蒋昌俊 吴哲辉 《软件学报》 1993年06期 期刊

关键词: 可达树 / Petri

下载(228)| 被引(23)

城市交通智能路网的关键技术及应用  CNKI文献

针对现有智能交通系统中,交通信息协调性差、交通控制应变性弱和交通控制与交通信息融合性低的不足,本文以交通控制的多尺度、交通信息感知与处理的高并发、控制与信息的深融合为目标,构建了城市交通协同监控与实时服...

蒋昌俊 丁志军... 《自动化博览》 2015年05期 期刊

关键词: 智能路网 / 协同监控 / 实时服务 / 并行处理

下载(268)| 被引(2)

矢量文法与PN机  CNKI文献

引入串语义下的矢量文法概念,给出矢量文法的类乔姆斯基分类,并就正规矢量文法进行了更细的划分。讨论了矢量文法谱系和标量文法谱系之间的强弱关系,构成了标矢量文法谱系图。指出正规矢量文法与Petri网(也称PN机)语言...

蒋昌俊 《中国科学(A辑 数学 物理学 天文学 技术科学)》 1995年12期 期刊

关键词: 矢量文法 / PN机 / 语言

下载(78)| 被引(22)

加权T图的几种化简运算  CNKI文献

本文首先给出加权T图的几种化简运算,然后证明这几种运算对于网的某些结构性质保持不变,从而为加权T图的化简及综合提供了有效途径。

蒋昌俊 《通信学报》 1994年02期 期刊

关键词: 加权T图 / T图

下载(64)| 被引(33)

Petri网连接过程中的行为关系  CNKI文献

先前的Petri网模型的综合研究着重在性质的保持性方面,象活性、可达性和回归性.然而,系统行为关系的保持性研究应该更为重要.本文研究了Petri网模型自环连接、抑止弧连接和同步连接三种操作的行为关系,获得他们的语言...

蒋昌俊 王怀清... 《自动化学报》 2000年01期 期刊

关键词: 模型 / Petri网 / 连接 / 行为

下载(136)| 被引(11)

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

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

蒋昌俊 《应用科学学报》 2000年03期 期刊

关键词: Petri网 / 完全行为不变性 / 活性 / 公平性

下载(74)| 被引(20)

功能确定的离散并发系统的Petri网规范设计方法  CNKI文献

本文提出概念模型的概念,作为实际问题到Petri同模型的桥梁,也就是系统的规格说明.概念模型包括功能图、资源图和约束集三部分,由此将系统设计中的功能与环境严格区分开,给出实际问题到概念模型,以及概念模...

蒋昌俊 《计算机学报》 1995年07期 期刊

关键词: 离散并发系统 / 建模 / Petri网 / 概念模型

下载(78)| 被引(21)

求有效极小(受控)可重复向量的一个算法  CNKI文献

文献[1]基于有效(受控)可重复向量,给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件.然而,求取一个标准Petri网的有效(受控)可重复向量是判定网语言属型的前提条件...

蒋昌俊 《计算机学报》 1994年08期 期刊

关键词: Petri网 / 有效增向量 / 有效减向量 / 有效传递向量

下载(77)| 被引(20)

并发系统建模与分析研究  CNKI文献

基于Petri网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型,用于需求规格说明,包括功能图、资源图和约束集。给出概念模型的精练过程,以及由概念模型到Petri网模型的转换算法。

蒋昌俊 郑应平... 《高技术通讯》 1996年06期 期刊

关键词: 并发系统 / 概念模型 / Petri网模型

下载(151)| 被引(10)

同步合成网的进程特性研究  CNKI文献

进程是反映Petri网动态特性的重要工具,同步合成是考察复杂Petri同性质的有效途径.本文研究Petri网同步合成过程中进程关系的特性,获得基本进程集的合成公式和进程语言的合成公式,还得到了切集,线...

蒋昌俊 闫春钢 《电子学报》 1997年02期 期刊

关键词: Petri网 / 进程 / 同步合成

下载(93)| 被引(17)

基于Petri网语言的系统设计与分析  CNKI文献

本文从Petri网语言着手,研究系统设计方法,提出相应的理论,建立有关策略,形成一套从用户需求到原型Petri网模型以及对模型的性质分析和控制的方法。通过对系统的逻辑行为及性能指标的分析比较,从而优选...

蒋昌俊 郑应平... 《通信学报》 1997年01期 期刊

关键词: 并发系统 / Petri网语言 / 模型 / 建模

下载(122)| 被引(9)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状