中文版 | English

在结果中检索

CSpace

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

限定条件            
已选(0)清除 条数/页：   排序方式：
PMDA：一种物理模型驱动的物联网软件体系结构 期刊论文
计算机研究与发展, 2013, 卷号: 50.0, 期号: 006, 页码: 1185
作者:  谢开斌;  陈海明;  崔莉
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
物联网  物理应用  软件体系结构  物理模型  感执模型  应用模型  
基于动态描述逻辑的语义Web服务匹配研究 期刊论文
计算机研究与发展, 2008, 卷号: 45.0, 期号: 012, 页码: 2102
作者:  彭晖;  陈立民;  常亮;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
语义Web服务  服务匹配  描述逻辑  动态描述逻辑  动作  
通信协议的实体行为描述语言CPEBSDL 期刊论文
计算机研究与发展, 2007, 卷号: 44.0, 期号: 011, 页码: 1839
作者:  范昊;  吴哲辉
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
通信协议  描述语言  交互行为  实体  BSDL语言  行为描述  语言规则  CPE  
基于主体的语义Web服务自动组合研究 期刊论文
计算机研究与发展, 2007, 卷号: 44.0, 期号: 004, 页码: 643
作者:  邱莉榕;  史忠植;  林芬;  常亮
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
语义Web服务  服务组合  AI规划  动态描述逻辑  主体  
文本检索的统计语言建模方法综述 期刊论文
计算机研究与发展, 2006, 卷号: 43.0, 期号: 005, 页码: 769
作者:  丁国栋;  白硕;  王斌
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
信息检索  统计语言建模  语言模型  平滑  
龙芯2号微处理器的功能验证 期刊论文
计算机研究与发展, 2006, 卷号: 43.0, 期号: 006, 页码: 974
作者:  张珩;  沈海华
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
功能验证  结构验证  处理器设计  模拟仿真  形式化验证  
基于动态描述逻辑的多主体协作模型 期刊论文
计算机研究与发展, 2006, 卷号: 43.0, 期号: 008, 页码: 1317
作者:  罗杰文;  史忠植;  王茂光;  林芬
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
动态描述逻辑  主体  多主体系统  协作  
可伸缩多媒体传输错误保护算法综述 期刊论文
计算机研究与发展, 2005, 卷号: 42.0, 期号: 011, 页码: 1954
作者:  霍龙社;  高文;  黄庆明;  谢建国
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
可伸缩多媒体  传输  错误保护  率失真优化  信源信道联合编码  
UML活动图描述工作流模型的执行语义 期刊论文
计算机研究与发展, 2005, 卷号: 42.0, 期号: 002, 页码: 300
作者:  赵志崑;  盛秋戬;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
工作流  UML活动图  语义  
基于动态描述逻辑的主体模型 期刊论文
计算机研究与发展, 2004, 卷号: 41.0, 期号: 005, 页码: 780
作者:  董明楷;  张海俊;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
智能主体  主体模型  动态描述逻辑