中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [9]
计算技术研究所 [2]
成都山地灾害与环境研... [1]
采集方式
OAI收割 [12]
内容类型
期刊论文 [9]
学位论文 [3]
发表日期
2014 [1]
2008 [2]
2005 [4]
2004 [1]
2003 [1]
2002 [1]
更多
学科主题
计算机软件::软件理... [1]
筛选
浏览/检索结果:
共12条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
并发系统差分隐私的形式化验证
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2014
许丽丽
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2015/01/16
差分隐私
概率自动机
模块化分析
定量互模拟
Kantorovich距离
Crowds协议
密码学家就餐协议
证明系统
语义Web中的自动推理和主动规则终止性分析
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008
徐贵红
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2011/03/17
语义Web
自动推理
描述逻辑
一阶逻辑推理
自动定理证明
有限模型查找
ECA规则
终止性
约束
约束求解
基于DSL的装备保障领域建模
期刊论文
OAI收割
计算机工程, 2008, 卷号: 34, 期号: 2, 页码: 66-68,71
王金全
;
郑宇军
;
王侃
收藏
  |  
浏览/下载:113/6
  |  
提交时间:2011/06/10
需求工程
领域专用语言
装备保障
模型转换
装备保障
元模型
自动生成
专用语言
执行系统
软件系统
开发人员
证明
要素
行为
实验
描述
流程
精化
建模
构建
FAPKC签名和加密混合使用的安全性分析
期刊论文
OAI收割
计算机研究与发展, 2005, 卷号: 42, 期号: 10, 页码: 1692-1697
韩小西
;
姚刚
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/07/28
有限自动机
混合使用
安全性
加密
签名
公钥签名
公钥加密系统
混合使用
密码系统
密码体制的安全性
有限自动机
损害
密钥
关联关系
公开钥
证明
用途
应用
分解弱可逆有限自动机的两个结果
期刊论文
OAI收割
计算机研究与发展, 2005, 卷号: 42, 期号: 4, 页码: 690-696
王鸿吉
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2011/07/28
有限自动机
弱可逆
延迟
分解
输出权
τ步弱可逆
有限自动机
Finite Automata
严格延迟
不可分解
密码体制的安全性
输出权
公开问题
分解问题
充分条件
有状态
强连通
公开钥
证明
基础
构造
基于GIS的三峡库区滑坡坡形研究
期刊论文
OAI收割
自然灾害学报, 2005, 卷号: 14, 期号: 3, 页码: 34-37
作者:
乔建平
收藏
  |  
浏览/下载:41/0
  |  
提交时间:2010/07/19
三峡库区
坡形
计算机自动生成
GIS软件
统计分析方法
GIS技术
定量化研究
危险性评价
影响规律
滑坡发育
理论证明
实践检验
研究区
提取
从文本中获取植物知识方法的研究
期刊论文
OAI收割
计算机科学, 2005, 卷号: 32.0, 期号: 010, 页码: 6
作者:
罗贝
;
吴洁
;
曹存根
;
邵志清
  |  
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2023/12/04
植物本体
植物知识
基于本体的知识获取与分析
知识获取
文本挖掘
植物
自动获取
人工智能
领域知识
网页文本
实验证明
获取方法
分组密码的分析与设计
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
张文涛
收藏
  |  
浏览/下载:31/0
  |  
提交时间:2011/03/17
分组密码
安全性分析
可证明安全性
分组密码的设计
基混沌函数的分组密码
基于细胞自动机的分组密码
一类构造性几何不等式的机器证明
期刊论文
OAI收割
计算机学报, 2003, 卷号: 26.0, 期号: 007, 页码: 769
作者:
杨路
;
夏时洪
  |  
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
构造性几何不等式
机器证明
自动证明
半代数系统
宽带接入网络拓扑搜索算法研究
期刊论文
OAI收割
计算机工程与设计, 2002, 卷号: 23, 期号: 11, 页码: 82-85
孙波
;
吴继峰
;
卫东华
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/07/29
宽带接入网
网络管理
拓扑搜索
SNMP
ICMP
宽带接入网络
拓扑搜索算法
算法研究
网络管理
拓扑自动搜索
宽带网络环境
以太接入
网络技术
算法开发
搜索方法
试验应用
软件开发
搜索法
路由表
证明
基础
程序