中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	面向第二语言学习的作文自动评估技术学位论文 OAI收割工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2012 作者: 彭星源收藏 \| 浏览/下载：143/0 \| 提交时间：2015/09/02 作文自动评估主题内容一致分析潜在语义分析词汇评分多层面文本特征有限状态转换 automated essay assessment topic content consistent analysis latent semantic analysis word score multi-level text features finite state transducer
	面向大规模数据分发的发布订阅系统关键技术研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2009 马建刚 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/03/17 发布/订阅数据分发语义数据模型元数据语义上下文事件转换订阅转换事件匹配算法优先级调度算法
	BPMN到BPEL2.0的模型转换方法期刊论文 OAI收割计算机应用研究, 2008, 卷号: 25, 期号: 11, 页码: 3363-3366 魏明; 夏永霖; 魏峻 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/06/10 业务流程管理模型转换业务流程建模符号业务流程执行语言模型中国科学院组件转换方法支持实际运用软件建模工具规范标准工程中心错误处理研究所可用性语义特性适用事务设计扩展检验
	基于语义的异构信息内容集成技术研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 李剑收藏 \| 浏览/下载：32/0 \| 提交时间：2011/03/17 信息内容集成语义Web 本体查询划分与转换完整性约束模式集成信息门户
	需求驱动的Web服务建模及其验证:一个基于本体的方法期刊论文 OAI收割中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/13 Web服务环境本体自动组合 π演算形式化验证需求驱动 Web服务建模验证算法本体组合模型环境变化能力描述进程表达式转换机制验证方法可满足性操作形式化概念化 π演算语义行为框架交互
	UML活动图的时序逻辑语义期刊论文 OAI收割计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/28 UML 活动图形式化语义时序逻辑 XYZ/E 活动图线性时序逻辑语言逻辑语义 UML Activity Diagrams 形式化系统行为语义转换行为建模描述系统逻辑框架动态行为图结构控制流可表示程序性基础
	UNITY与典型程序设计模型的比较期刊论文 OAI收割计算机工程与应用, 2003, 卷号: 39, 期号: 32, 页码: 52-54,104 肖美华; 薛锦云; 化志章 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/29 程序设计模型 UNITY 形式语义程序转换 Seuss 程序转换证明系统设计模型结构模式计算模型程序映射新策略命令式逻辑式计算机函数式规则式体系能力理论基础机理
	基于语义的特征分离和结合期刊论文 OAI收割计算机集成制造系统, 2001, 卷号: 7, 期号: 11, 页码: 59-63 潘文俊; 李震宇; 禹涌; 席平 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/29 特征识别特征语义特征转换制造模型特征语义特征转换特征识别加工特征维特征转换过程特征模型识别方法征之应用流程邻接