机构

• 软件研究所 [26]
• 计算技术研究所 [5]
• 数学与系统科学研究院 [2]
• 紫金山天文台 [2]
• 长春光学精密机械与物... [1]
• 上海微系统与信息技术... [1]
• 更多

采集方式

• OAI收割 [38]

内容类型

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

发表日期

• 2016 [1]
• 2012 [1]
• 2011 [1]
• 2007 [2]
• 2005 [1]
• 2004 [1]
• 更多

学科主题

• 天文和天体物理 [2]
• Computer S... [1]
• 红外系统与元部件 [1]

筛选

浏览/检索结果: 共38条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 面向无穷数据的形式模型综述 期刊论文  OAI收割 软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690 宋富; 吴志林   |  收藏  |  浏览/下载：16/0  |  提交时间：2016/12/09 无穷数据  自动机  逻辑  非空性  语言包含  可满足性  可判定性  复杂性   The correspondence between the concepts in description logics for contexts and formal concept analysis 期刊论文  OAI收割 中国科学：信息科学（英文版）, 2012, 卷号: 55.0, 期号: 005, 页码: 1106 作者:  Ma Yue;  Sui Yuefei;  Cao Cungen   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 形式概念分析  对应关系  描述逻辑  知识基础  背景模型  价值观念  逻辑语言  伽罗瓦   P2P信任模型中基于模糊逻辑的共谋团体识别方法 期刊论文  OAI收割 计算机研究与发展, 2011, 卷号: 48, 期号: 12, 页码: 2187-2200 苗光胜; 冯登国; 苏璞睿   |  收藏  |  浏览/下载：23/0  |  提交时间：2013/10/08 对等网络  信任模型  共谋  模糊逻辑  语言变量   加密技术在空间对地观测卫星上的研究与应用 学位论文  OAI收割 : 中国科学院研究生院, 2007 作者:  高军   |  收藏  |  浏览/下载：21/0  |  提交时间：2012/08/14 高级加密算法  高级在轨系统  有限域  可编程逻辑阵列  硬件描述语言   双重软件体系结构描述框架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 朱雪阳; 唐稚松   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/28 UML  活动图  形式化语义  时序逻辑  XYZ/E  活动图  线性时序逻辑语言  逻辑语义  UML Activity Diagrams  形式化  系统行为  语义转换  行为建模  描述系统  逻辑框架  动态行为  图结构  控制流  可表示  程序性  基础   基于SPIN/Promela的并发系统验证 期刊论文  OAI收割 计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/29 模型检测  并发系统  软件可靠性  SPIN/Promela  形式化验证  并发系统  逻辑一致性  计算机科学  安全性分析  验证技术  验证工具  研究领域  数据结构  软件系统  建模语言  基本算法  工作机理  分析验证  运用  应用  通道  输出  设计  模型   一种基于FPGA的实时图像处理系统 期刊论文  OAI收割 长春工业大学学报(自然科学版), 2003, 期号: 04, 页码: 50-52 作者:  闫丰 收藏  |  浏览/下载：14/0  |  提交时间：2013/03/11 现场可编程逻辑阵列  高速集成电路硬件描述语言  实时图像处理   一种基于构件的软件体系结构求精方法及其应用 期刊论文  OAI收割 重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5 晏荣杰; 张广泉   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/29 软件体系结构  构件  形式化描述  求精  XYZ/E  基于构件  软件体系结构  方法及  应用  求精方法  形式化描述  时序逻辑语言  研究领域  描述语言  开发实例  基于行为  工程学科  风格   三机冗余容错系统的描述和验证 期刊论文  OAI收割 软件学报, 2003, 卷号: 14, 期号: 1 郭亮; 唐稚松   |  收藏  |  浏览/下载：13/0  |  提交时间：2010/08/26 时序逻辑语言XYZ/E  容错系统  三机冗余  描述  验证