位置：成果数据库 > 期刊 > 期刊详情页
On dynamic description logic actions relationships with petri nets
  • ISSN号：0254-4156
  • 期刊名称：自动化学报
  • 时间：0
  • 页码：1144-1149
  • 语言：中文
  • 相关项目：基于领域本体和过程挖掘的用户知识需求获取的关键技术研究
作者： Ma, Bing-Xian|Xu, Ying-Lei|
同期刊论文项目
基于领域本体和过程挖掘的用户知识需求获取的关键技术研究
期刊论文 48 会议论文 6 获奖 4 著作 1
同项目期刊论文
Course ontology-based user';s knowledge requirement acquisition from behaviors within e-learning sys
一种基于同步合成构造Petri网进程表达式的方法
Modeling and analysis for workflow constrained by resources and nondetermined time: An approach base
Regular expression and standard properly end Petri net
Conflict detection and resolution for workflows constrained by resources and non-determined duration
Context-dependent learning strategy: Goal-driven learning method based on training process
Using a user-interactive QA system for personalized e-learning
Axiomatic definition and measure method of knowledge granularity in incomplete information system
概念格研究进展
A construction method for the process expression of petri net based on decomposition
A Construction method for the process expression of a Petri net based on synchronization composition
Semantic patterns for user-interactive question answering
Hierarchical knowledge representation method for mathematical concepts towards multi-purposes
服务于本体逻辑理论的本体定义
基于组件的空间信息管理系统及典型应用案例
A Polynomial-time Decomposition Algorithm for a Petri Net based on Indexes of Places
整数环上的Farkas引理及其应用
正规表达式与恰当终结的标准Petri网
A user reputation model for a user-interactive question answering system
Behavior description for complex flexible manufacturing system based on decomposition of petri net
自动问答系统研究综述
基于CPEBSDL通信协议的Petri网建模方法
正规表达式到无空标注Petri网的构造方法
基于Petri网进程的协议测试例生成方法及其实例
S-不变量求取的多项式算法
谓词/变迁系统对一阶谓词公式的建模
公平Petri网中同步距离计算的一个实现算法
同步及共享合成操作对Petri网汇合性质的保持性
库所耦合网的T-不变量求解算法
可达性与状态方程可满足性等价的两个Petri网子类
T-时延离散Petri网的运行原理及其性质
栈结构的增广Petri网模型
S-不变量极小支集判定的多项式算法
基于实数编码遗传算法的改进支持向量机
一种基于Web Services的数据库资源服务化方法
OWL-S服务操作语义的Petri网描述新方法
过程挖掘的研究现状与问题综述
基于B／S结构的农业空间信息管理系统设计与实现
基于本体的液压支架产品变型设计
不完备信息系统中知识粒度的公理化定义与度量方法
面向多用途的数学概念知识分层表示方法
一种基于Web Service的虚拟化目录服务
多角度认识本体工程中的本体
一种新的模糊概念格及其构造方法
离散型决策表的二分归纳属性约简算法
动态描述逻辑动作间关系的Petri网分析方法研究
模糊下近似算子的一个公理组
期刊信息
  • 《自动化学报》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国自动化学会 中国科学院自动化研究所
  • 主编：王飞跃
  • 地址：北京东黄城根北街16号
  • 邮编：100717
  • 邮箱：aas@ia.ac.cn
  • 电话：010-64019820
  • 国际标准刊号：ISSN：0254-4156
  • 国内统一刊号：ISSN：11-2109/TP
  • 邮发代号:2-180
  • 获奖情况:
  • 1997年获全国优秀期刊奖,1985、1990、1996、2000年获中国科学院优秀期刊二等奖,2002年获国家期刊奖
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:27550