中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共7条，第1-7条

帮助

条数/页：排序方式：
	线性系统同时镇定若干问题的研究与基于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 汉字结构笔划结构小学语文课本统计分析再认印刷体特点机器识别材料制学校统计用全日制证明手写实验并联