机构

• 软件研究所 [9]
• 计算技术研究所 [2]
• 自动化研究所 [2]
• 声学研究所 [1]

采集方式

• OAI收割 [14]

内容类型

• 期刊论文 [11]
• 学位论文 [3]

发表日期

• 2024 [1]
• 2015 [1]
• 2014 [1]
• 2011 [1]
• 2008 [1]
• 2007 [1]
• 更多

学科主题

• 计算机科学技术::人... [1]

筛选

浏览/检索结果: 共14条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 结构启发的神经语义解析方法研究 学位论文  OAI收割 2024 作者:  张翔   |  收藏  |  浏览/下载：19/0  |  提交时间：2024/06/26 自然语言理解  神经语义解析  形式化语义表示  组合泛化   汉语词典义的语义理解研究 学位论文  OAI收割 工学博士, 北京: 中国科学院研究生院, 2015 作者:  赵美静 收藏  |  浏览/下载：92/0  |  提交时间：2016/04/25 汉语词典义  概念知识树知识表示模型  形式化  语义  句法   SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |  浏览/下载：31/0  |  提交时间：2014/12/16 结构化需求语言  形式化软件规约  自动生成系统  高可靠  范畴论语义  structural requirement language  formal software specification  automatic generation system  high reliability  category semantics   时间相关密码协议逻辑及其形式化语义 期刊论文  OAI收割 软件学报, 2011, 卷号: 22, 期号: 3, 页码: 534-557 雷新锋; 刘军; 肖军模   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/10/10 密码协议  时间相关  谓词模态逻辑  形式化语义Cryptography  Formal logic  Semantics   基于代数的软件过程建模系统的设计与实现 期刊论文  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   需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文  OAI收割 中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/13 Web服务  环境本体  自动组合  π演算  形式化验证  需求驱动  Web服务  建模  验证算法  本体  组合模型  环境变化  能力描述  进程表达式  转换机制  验证方法  可满足性  操作  形式化  概念化  π演算  语义  行为  框架  交互   汉语人机对话话语信息形式化表示研究 学位论文  OAI收割 博士, 中国科学院声学研究所: 中国科学院声学研究所, 2005 方志炜 收藏  |  浏览/下载：50/0  |  提交时间：2011/05/07 人机对话系统  话语形式化  言语行为  语用行为  语义框架   UML活动图的时序逻辑语义 期刊论文  OAI收割 计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/28 UML  活动图  形式化语义  时序逻辑  XYZ/E  活动图  线性时序逻辑语言  逻辑语义  UML Activity Diagrams  形式化  系统行为  语义转换  行为建模  描述系统  逻辑框架  动态行为  图结构  控制流  可表示  程序性  基础   基于知识本体的资源管理平台框架设计与实现 期刊论文  OAI收割 北京航空航天大学学报, 2005, 卷号: 31, 期号: 11, 页码: 1245-1249 朱礼军; 陈虔; 刘慧; 黄晓云   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/07/28 信息资源管理  内容管理  知识本体  语义查询  资源描述框架  知识本体  资源管理平台  框架设计  信息资源  语义推理  组件  语义分析  资源描述  服装  形式化表示  资源缺乏  资源检索  增值服务  原型系统  语义融合  语义描述  语义查询  信息检索  实验系统  内在关系Database systems  Information retrieval  Mathematical models  Semantics  Structural design