中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共10条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
国家知识基础设施中的数学知识表示 期刊论文
软件学报, 2006, 卷号: 17.0, 期号: 008, 页码: 1731
作者:  曹存根;  眭跃飞;  孙瑜;  曾庆田
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
数学知识  框架  描述逻辑  本体  
基于变迁指标的Petri网分解方法 期刊论文
计算机科学, 2006, 卷号: 33.0, 期号: 1.0, 页码: 144
作者:  曾庆田
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
Petri网  变迁指标  分解  可达状态  语言  Petri网分解  分解方法  变迁  结构性质  子系统  
S-网的进程表达式及求取方法研究 期刊论文
计算机科学, 2006, 卷号: 33, 期号: 10, 页码: 225
作者:  段华;  曾庆田
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
Petri网  S-网  进程  进程表达式  
大学水平的“数学分析知识”的获取和分析研究 期刊论文
计算机科学, 2005, 卷号: 32.0, 期号: 010, 页码: 118
作者:  刘汉武;  曹存根;  曾庆田
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
数学知识  本体  框架  逻辑  类型  知识表示  知识获取  数学分析  大学本科  知识库  知识获取过程  水  数学相关  数学平台  数学系统  软件系统  
一种兼顾协议正确性验证和性能评估的Petri网方法 期刊论文
计算机科学, 2005, 卷号: 32.0, 期号: 012, 页码: 48
作者:  范昊;  吴哲辉;  曾庆田
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
协议验证  形式化分析  时延Petri网  协议性能评估  0-1停止等待协议  
无权访问的条目 期刊论文
作者:  曾庆田;  眭跃飞;  曹存根
Adobe PDF(241Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/03/30
Petri网语言的同步交运算 期刊论文
小型微型计算机系统, 2004, 卷号: 25.0, 期号: 002, 页码: 216
作者:  曾庆田;  吴哲辉
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
Petri网  同步交  语言  分解  合成  
S-网的活性分析 期刊论文
小型微型计算机系统, 2004, 卷号: 25.0, 期号: 011, 页码: 1975
作者:  段华;  曾庆田
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
Petri网  S-网  S-图  活性  
无界Petri网的进程表达式 期刊论文
计算机学报, 2003, 卷号: 26.0, 期号: 012, 页码: 1629
作者:  曾庆田;  吴哲辉
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
无界Petri网  进程表达式  进程行为  模型化  
基于本体的数学知识获取与知识继承机制研究 期刊论文
微电子学与计算机, 2003, 卷号: 20.0, 期号: 009, 页码: 19
作者:  眭跃飞;  司晋新;  田国刚;  刘汉武;  曾庆田;  曹存根
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
数学软件  数学知识获取  本体  知识继承机制  知识表示  人工智能