中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
无权访问的条目 学位论文
作者:  陈博文
Adobe PDF(2566Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2011/06/07
无权访问的条目 期刊论文
作者:  范 昊;  吴哲辉
Adobe PDF(568Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/10/13
面向多层次分布式商业应用的管理平台架构 期刊论文
计算机工程, 2007, 卷号: 33.0, 期号: 009, 页码: 263
作者:  刘丹军;  詹剑锋;  马捷;  江滢
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
形式化模型  商业应用  应用管理  服务质量  机群  
无权访问的条目 期刊论文
作者:  张 珩;  沈海华
Adobe PDF(310Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/10/15
龙芯2号微处理器的功能验证 期刊论文
计算机研究与发展, 2006, 卷号: 43.0, 期号: 006, 页码: 974
作者:  张珩;  沈海华
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
功能验证  结构验证  处理器设计  模拟仿真  形式化验证  
基于本体的中医专家临床病案的知识获取方法 期刊论文
计算机系统应用, 2005, 卷号: 000, 期号: 008, 页码: 80
作者:  刘和洋;  曹宇峰;  秦丽娜
收藏  |  浏览/下载：12/0  |  提交时间：2023/12/04
获取方法  病案  本体  知识转化  知识工程师  中医学  形式化  专家知识  临床经验  知识库  电子  
基于SoT的BGP4＋协议一致性测试系统设计 期刊论文
计算机工程与应用, 2005, 卷号: 41.0, 期号: 021, 页码: 139
作者:  颜勇;  谢高岗;  张大方
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
一致性测试  BGP4＋  测试集形式化描述语言  
汉语自动分词的研究现状与困难 期刊论文
系统仿真学报, 2005, 卷号: 17.0, 期号: 1.0, 页码: 138
作者:  张春霞;  郝天永
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
汉语自动分词  形式化模型  未登录词  分词评测  
一种兼顾协议正确性验证和性能评估的Petri网方法 期刊论文
计算机科学, 2005, 卷号: 32.0, 期号: 012, 页码: 48
作者:  范昊;  吴哲辉;  曾庆田
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
协议验证  形式化分析  时延Petri网  协议性能评估  0-1停止等待协议  
多Agent VSK-AF逻辑 期刊论文
计算机工程, 2004, 卷号: 30.0, 期号: 023, 页码: 1
作者:  孙瑜;  夏幼明;  李志平
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
多Agent系统  形式化模型  交互  完全性  推理  一致性  证明  信息特征  逻辑  体系