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

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

帮助

条数/页：排序方式：
	结构启发的神经语义解析方法研究学位论文 OAI收割 2024 作者: 张翔 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2024/06/26 自然语言理解神经语义解析形式化语义表示组合泛化
	汉语词典义的语义理解研究学位论文 OAI收割工学博士, 北京: 中国科学院研究生院, 2015 作者: 赵美静收藏 \| 浏览/下载：93/0 \| 提交时间：2016/04/25 汉语词典义概念知识树知识表示模型形式化语义句法
	基于代数的软件过程建模系统的设计与实现期刊论文 OAI收割计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/06/10 软件过程建模多元π演算 ASPMS系统形式化分析验证代数软件过程建模语言建模系统设计软件开发过程易于理解表示方式表达能力图形化形式化语义组织生产质量开发效率 π演算模型描述矛盾
	双重软件体系结构描述框架XYZ/ADL 期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳 \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2011/07/01 软件体系结构体系结构描述语言双重描述框架 XYZ/E 时序逻辑 UML 活动图状态图形式语义结构描述框架形式化方法语义基础图形语言软件工程师表示系统体系结构设计时序逻辑语言软件开发过程软件的可靠性语言建模形式语言行为表示前端静态语义结构框图结构建模基本概念Formal languages Formal methods Semantics Software engineering Software reliability Tem
	UML活动图的时序逻辑语义期刊论文 OAI收割计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/28 UML 活动图形式化语义时序逻辑 XYZ/E 活动图线性时序逻辑语言逻辑语义 UML Activity Diagrams 形式化系统行为语义转换行为建模描述系统逻辑框架动态行为图结构控制流可表示程序性基础
	基于知识本体的资源管理平台框架设计与实现期刊论文 OAI收割北京航空航天大学学报, 2005, 卷号: 31, 期号: 11, 页码: 1245-1249 朱礼军; 陈虔; 刘慧; 黄晓云 \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2011/07/28 信息资源管理内容管理知识本体语义查询资源描述框架知识本体资源管理平台框架设计信息资源语义推理组件语义分析资源描述服装形式化表示资源缺乏资源检索增值服务原型系统语义融合语义描述语义查询信息检索实验系统内在关系Database systems Information retrieval Mathematical models Semantics Structural design
	语义Web的逻辑基础期刊论文 OAI收割中国科学：E辑, 2004, 卷号: 34.0, 期号: 010, 页码: 1123 作者: 史忠植; 董明楷; 蒋运承; 张海俊 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 语义Web 描述逻辑 DDL 知识表示推理动态形式化逻辑基础存在传统