中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
自动化研究所 [2]
力学研究所 [1]
计算技术研究所 [1]
数学与系统科学研究院 [1]
心理研究所 [1]
软件研究所 [1]
更多
采集方式
OAI收割 [7]
内容类型
期刊论文 [4]
学位论文 [2]
会议论文 [1]
发表日期
2008 [1]
2006 [1]
2003 [2]
2002 [1]
1982 [1]
1981 [1]
更多
学科主题
筛选
浏览/检索结果:
共7条,第1-7条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
线性系统同时镇定若干问题的研究与基于BOTTEMA的一类全局优化问题的解
学位论文
OAI收割
工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2008
作者:
何冠男
收藏
  |  
浏览/下载:89/0
  |  
提交时间:2015/09/02
线性系统
同时镇定
不等式型定理机器证明
比利时巧克力问题
法国香槟问题
复分析
全局优化
BOTTEMA程序包
linear systems
simultaneous stabilization
automated inequality-type theorem proving
Belgian chocolate problem
French champagne problem
complex analysis
global optimization
BOTTEMA
线性系统同时镇定若干问题的研究与射频识别网络规划
学位论文
OAI收割
工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2006
作者:
关强
收藏
  |  
浏览/下载:33/0
  |  
提交时间:2015/09/02
同时镇定
香槟问题
广义香槟问题
巧克力问题
不等式型定理机器证明
复分析
射频识别网络
网络规划
组合优化
simultaneous stabilization
Champagne Problem
Generalized Champagne Problem
Chocolate Problem
automated inequality-type theorem proving
complex analysis
RFID network
network planning
combinational optimization
Clifford代数,几何计算和几何推理
期刊论文
OAI收割
数学进展, 2003, 卷号: 32.0, 期号: 004, 页码: 405-415
作者:
李洪波
  |  
收藏
  |  
浏览/下载:67/0
  |  
提交时间:2021/01/14
Clifford代数
数学机械化
几何计算
机器证明
一类构造性几何不等式的机器证明
期刊论文
OAI收割
计算机学报, 2003, 卷号: 26.0, 期号: 007, 页码: 769
作者:
杨路
;
夏时洪
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
构造性几何不等式
机器证明
自动证明
半代数系统
虚拟装配中感知机制构造
期刊论文
OAI收割
软件学报, 2002, 卷号: 13, 期号: 12, 页码: 2324-2330
程成
  |  
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2011/07/29
虚拟环境
虚拟装配
人机交互
感知
特征设计
几何约束
软件构造
虚拟装配
感知机
机制构造
交互性
虚拟环境
系统结构
认知负荷
感知模式
复合对象
实时性
桌面
证明
用户
性能
特性
实践
目标
描述
机器
方法Assembly
Constraint theory
Object oriented programming
Virtual reality
数学机械化问题中的向量加工
期刊论文
OAI收割
计算机学报, 1982, 卷号: 5, 期号: 3, 页码: 222-225
作者:
刘尊全
收藏
  |  
浏览/下载:976/43
  |  
提交时间:2009/08/03
数学机械化
多项式算法
微分方程组
机械化算法
人工智能
公式推导
程序系统
数学问题
机器定理证明
汉字结构的统计分析
会议论文
OAI收割
北京, 1981-01-01
作者:
彭瑞祥.
  |  
收藏
  |  
浏览/下载:33/0
  |  
提交时间:2021/06/17
汉字结构
笔划结构
小学语文课本
统计分析
再认
印刷体
特点
机器识别
材料
制学校
统计用
全日制
证明
手写
实验
并联