-
题名关于刚体系统的单侧约束运动
被引量：1
- 1
-
-
作者
李洪波
-
机构
中国科学院系统科学所数学机械化研究中心
-
出处
《应用数学和力学》
EI
CSCD
北大核心
1996年第10期883-887,共5页
-
文摘
本文研究了一大类刚体系统的单侧约束运动的局部和整体性质．主要结论是；局部地，这类系统的运动相当于某带过黎曼流形上的质点的运动；整体地，在能量守恒的假定下．这类系统相当于某带边黎曼流形上的台球系统．
-
关键词
单侧约束运动
刚体系统
台球系统
弹性碰撞
-
Keywords
unilaterally constrained motions, rigid bodies systems, billiards
-
分类号
O311.3
[理学—一般力学与力学基础]
-
-
题名CAGD中代数曲面拟合问题
被引量：19
- 2
-
-
作者
吴文俊
王定康
-
机构
中国科学院系统科学研究所数学机械化研究中心
-
出处
《数学的实践与认识》
CSCD
北大核心
1994年第3期26-31,共6页
-
文摘
本文考虑用特征列方法来解决代数曲面拟合问题,并且给出了几个具体的实例。
-
关键词
CAGD
代数曲面拟合
代数曲线
-
分类号
TP391.72
[自动化与计算机技术—计算机应用技术]
-
-
题名吴文俊的数学机械化理论及方法
被引量：3
- 3
-
-
作者
吴文达
-
机构
中国科学院系统科学研究所数学机械化研究中心
-
出处
《中国科学院院刊》
1991年第1期39-41,共3页
-
文摘
数学研究至少应包括定理证明与方程求解两大主题。它高度汇聚了人类的聪明才智。随着现代科学的发展,大量研究课题所需进行的繁复分析、演算和推导必须借助计算机才能完成。利用计算机部分代替人类的脑力劳动,是科学家们长期追求的目标,也是社会发展的必然需要。
-
关键词
吴文俊
数学机械化
数学
计算机
-
分类号
O1－8
[理学—数学]
-
-
题名定理机器证明与吴文俊方法
- 4
-
-
作者
刘卓军
-
机构
中国科学院系统科学研究所数学机械化研究中心
-
出处
《科学》
1992年第1期20-24,63-64,共5页
-
文摘
作为人类脑力的一种延伸,数学机械化和定理机器证明研究的学术努力及其每一个重大突破,都必将对人类和科学产生意义深远的冲击。
-
关键词
定理机器证明
数学
人工智能
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名Clifford代数与几何定理机器证明
被引量：3
- 5
-
-
作者
李洪波
-
机构
中国科学院数学与系统科学研究院数学机械化研究中心
-
出处
《世界科技研究与发展》
CSCD
2001年第3期41-47,共7页
-
文摘
Clifford代数是一种深深根植于几何学之中的代数系统。近年来 ,它在微分几何、理论物理、经典分析等方面取得了辉煌的成就 ,是现代理论数学和物理的一个核心工具 ,并在现代科技的各个领域 ,如机器人学、计算机视觉等方面有广泛的应用。本文主要介绍Clifford代数在数学机械化的核心内容—几何定理机器证明中的应用。作为一种非常优秀的描述和计算几何问题的代数语言 ,Clifford代数对于几何体 ,几何关系和几何变换有不依赖于坐标的、易于计算的多种表示 ,因而应用它进行几何自动推理 ,不仅使困难定理的证明往往变得极为简单 ,而且能够解决著名的数学公开问题。目前在国际上 ,几何自动推理已经成为Clif ford代数的一个重要应用领域。
-
关键词
CLIFFORD代数
几何定理
机器证明
数学机械化
-
Keywords
Clifford algebra, automated geometric theorem proving, mathematics mechanization
-
分类号
O151.24
[理学—数学]
-
-
题名分布式密码计算平台的架构设计及其实现
被引量：1
- 6
-
-
作者
程贯中
林东岱
张珍
-
机构
中国科学院数学与系统科学研究院数学机械化研究中心
中国科学院软件研究所
华中科技大学电信系数字视频中心
-
出处
《中国科学院研究生院学报》
CAS
CSCD
2004年第2期218-226,共9页
-
基金
国家自然科学基金 (NSFC90 2 0 40 16)
国家 863计划 ( 2 0 0 3AA14 40 3 0 )资助项目
-
文摘
分析了常见的密码算法对于分布式计算平台的需求 ,定义了通用的任务表示格式 ,使用DCOM技术设计了一个针对密码计算的分布式通用平台及其外挂算法模块 ;并实现了两种常见的密码攻击算法 ,给出了测试结果 .
-
关键词
密码算法
分布式计算
通用平台
-
Keywords
cryptography algorithm, distributed computing, common platform
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于单向陷门函数的TMN协议的改进
被引量：1
- 7
-
-
作者
孙海波
林东岱
-
机构
中国科学院数学与系统科学研究院数学机械化研究中心
-
出处
《中国科学院研究生院学报》
CAS
CSCD
2002年第3期254-262,共9页
-
基金
973资助项目(NKBRSF G1998030609)
863资助项目(2001AA144030)
-
文摘
提出了一种利用陷门单向函数的性质对TMN协议进行改进的一般形式,利用串空间理论证明了它的安全性,并给出了几个具体的实现形式.
-
关键词
TMN协议
串空间理论
单向陷门函数
安全协议
移动通信系统
密码协议
-
Keywords
strand space, trap-door one-may function, secure protocols, cryptographic protocols
-
分类号
TN929.5
[电子电信—通信与信息系统]
TN915.04
[电子电信—信息与通信工程]
-
