机构

• 软件研究所 [14]
• 计算技术研究所 [6]
• 自动化研究所 [2]
• 心理研究所 [1]
• 声学研究所 [1]

采集方式

• OAI收割 [24]

内容类型

• 期刊论文 [20]
• 学位论文 [4]

发表日期

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

学科主题

• 人工智能::人工智能... [1]
• 计算机科学技术::人... [1]
• 认知神经科学 [1]

筛选

浏览/检索结果: 共24条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 结构启发的神经语义解析方法研究 学位论文  OAI收割 2024 作者:  张翔   |  收藏  |  浏览/下载：20/0  |  提交时间：2024/06/26 自然语言理解  神经语义解析  形式化语义表示  组合泛化   汉语词典义的语义理解研究 学位论文  OAI收割 工学博士, 北京: 中国科学院研究生院, 2015 作者:  赵美静 收藏  |  浏览/下载：94/0  |  提交时间：2016/04/25 汉语词典义  概念知识树知识表示模型  形式化  语义  句法   SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |  浏览/下载：32/0  |  提交时间：2014/12/16 结构化需求语言  形式化软件规约  自动生成系统  高可靠  范畴论语义  structural requirement language  formal software specification  automatic generation system  high reliability  category semantics   非结构化信息的形式语义表征与检索 学位论文  OAI收割 北京: 中国科学院研究生院, 2012 作者:  杨来   |  收藏  |  浏览/下载：21/0  |  提交时间：2012/06/27 非结构化信息，多媒体，形式语义，信息检索，动态哈希trie   时间相关密码协议逻辑及其形式化语义 期刊论文  OAI收割 软件学报, 2011, 卷号: 22, 期号: 3, 页码: 534-557 雷新锋; 刘军; 肖军模   |  收藏  |  浏览/下载：21/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 朱雪阳   |  收藏  |  浏览/下载：28/0  |  提交时间：2011/07/01 软件体系结构  体系结构描述语言  双重描述框架  XYZ/E  时序逻辑  UML  活动图  状态图  形式语义  结构描述  框架  形式化方法  语义基础  图形语言  软件工程师  表示系统  体系结构设计  时序逻辑语言  软件开发过程  软件的可靠性  语言建模  形式语言  行为表示  前端  静态语义  结构框图  结构建模  基本概念Formal languages  Formal methods  Semantics  Software engineering  Software reliability  Tem   分布式计算系统信息流安全 期刊论文  OAI收割 小型微型计算机系统, 2007, 期号: 3, 页码: 425-430 黄海军; 陈意云 收藏  |  浏览/下载：83/8  |  提交时间：2011/07/01 程序信息流安全  形式语义  类型和效果系统  多态   移动计算系统信息流安全 期刊论文  OAI收割 小型微型计算机系统, 2006, 期号: 8, 页码: 1455-1460 黄海军; 陈意云   |  收藏  |  浏览/下载：10/0  |  提交时间：2011/07/13 程序信息流安全,无干扰性,形式语义,类型系统,子定型   需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文  OAI收割 中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/13 Web服务  环境本体  自动组合  π演算  形式化验证  需求驱动  Web服务  建模  验证算法  本体  组合模型  环境变化  能力描述  进程表达式  转换机制  验证方法  可满足性  操作  形式化  概念化  π演算  语义  行为  框架  交互