中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
数学与系统科学研究院 [3]
近代物理研究所 [3]
沈阳自动化研究所 [2]
金属研究所 [1]
计算技术研究所 [1]
测量与地球物理研究所 [1]
更多
采集方式
OAI收割 [12]
内容类型
期刊论文 [11]
学位论文 [1]
发表日期
2016 [1]
2012 [1]
2008 [2]
2007 [2]
2005 [2]
2003 [2]
更多
学科主题
筛选
浏览/检索结果:
共12条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
三维Ising模型的数学结构与精确解探索
期刊论文
OAI收割
金属学报, 2016, 期号: 10, 页码: 1311-1325
张志东
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2016/12/28
Ising模型
数学结构
精确解
拓扑性质
代数性质
几何性质
基于李代数的变形目标跟踪
期刊论文
OAI收割
自动化学报, 2012, 卷号: 38, 期号: 3, 页码: 420-429
作者:
史泽林
;
刘云鹏
;
李广伟
收藏
  |  
浏览/下载:38/0
  |  
提交时间:2012/10/24
李群
李代数
目标跟踪
几何变形
指数映射
在旋转磁场中海森伯自旋链的几何相位
期刊论文
OAI收割
四川大学学报(自然科学版), 2008, 卷号: 2008, 期号: 04, 页码: 891-894
宋元军
;
李建民
;
王庆武
;
杨洋
;
刘艳霞
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2010/10/29
3粒子海森伯自旋链
几何相位
代数动力学
基于李代数参数化的射影变形目标跟踪
期刊论文
OAI收割
仪器仪表学报, 2008, 卷号: 29, 期号: S, 页码: 405-409
作者:
刘云鹏
;
李广伟
;
尹健
;
史泽林
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2010/11/29
射影变换
目标跟踪
几何优化
李群
李代数
指数映射
基于非差的星载GPS数据质量控制研究
学位论文
OAI收割
硕士, 武汉: 中国科学院 测量与地球物理研究所, 2007
孔巧丽
收藏
  |  
浏览/下载:48/0
  |  
提交时间:2013/09/24
基于非差的星载GPS数据质量控制
星载GPS几何法定轨
相位平滑伪距
"选举多数"法和迭代数据联合质量控制
拟准检定法
代数结构破缺对几何相位的影响
期刊论文
OAI收割
四川大学学报(自然科学版), 2007, 卷号: 2007, 期号: 01, 页码: 115-118
宋元军
;
王顺金
;
王庆武
;
杨富
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2010/10/29
自旋链
代数结构
破缺
几何相位演化结构
几何代数和几何计算(二)
期刊论文
OAI收割
科学, 2005, 卷号: 57.0, 期号: 006, 页码: 25-27
作者:
石赫
;
李洪波
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2021/01/14
共形几何代数
几何代数化
几何建模
几何计算
零括号代数
几何代数和几何计算(一)
期刊论文
OAI收割
科学, 2005, 卷号: 57.0, 期号: 005, 页码: 3-7
作者:
石赫
;
李洪波
  |  
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2021/01/14
共形几何代数
几何代数化
几何建模
几何计算
零括号代数
一类构造性几何不等式的机器证明
期刊论文
OAI收割
计算机学报, 2003, 卷号: 26.0, 期号: 007, 页码: 769
作者:
杨路
;
夏时洪
  |  
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
构造性几何不等式
机器证明
自动证明
半代数系统
Clifford代数,几何计算和几何推理
期刊论文
OAI收割
数学进展, 2003, 卷号: 32.0, 期号: 004, 页码: 405-415
作者:
李洪波
  |  
收藏
  |  
浏览/下载:69/0
  |  
提交时间:2021/01/14
Clifford代数
数学机械化
几何计算
机器证明