石赫
- 作品数：11 被引量：26H指数：3
- 供职机构：中国科学院数学与系统科学研究院更多>>
- 发文基金：国家重点基础研究发展计划更多>>
- 相关领域：理学自动化与计算机技术化学工程更多>>
- SU(3)规范场的恰当形式(欧空间)被引量：3
- 2008年
- 应用数学机械化方法讨论SU(3)规范场的规范化问题.首先提出一种具有明确几何意义的Yang-Mills方程,称其为恰当的Yang-Mills方程.然后构造了一类线性微分变换,称之为SU(3)规范场的示性变换,它具体给出联络和截面之间的微分关系.经由示性变换,将非线性的恰当的YM-方程变为一组线性Laplace方程,即实现了规范场YM-方程的线性化.从而证明了SU(3)规范场包括8个独立的Yang-Mills规范场.
- 石赫
- 关键词：数学机械化
- 几何代数和几何计算(一)被引量：2
- 2005年
- 数学是研究现实世界的"数"与"形"的科学.数学就是围绕这两个概念的演变而发展的,也通过这两个基本概念应用到各个不同的领域中去.代数是研究"数"的学科,几何是研究"形"的学科.数学科学发展的历程中两者彼此独立,又相互缠绕.几何(形)的概念用代数(数)表示,几何的目标可经过代数计算实现;反之,代数语言赋有了几何背景,可更加直观地理解它们的意义,发现它们的丰富内涵.吴文俊院士指出:几何代数化,在近代数学的兴起和发展过程中发挥着决定性的作用.
- 石赫李洪波
- 关键词：代数和近代数学代数语言几何代数
- SU(2)规范场的恰当形式(欧空间)被引量：3
- 2008年
- 应用数学机械化方法研究欧氏空间中SU(2)规范场的正规化问题.首先对Yang- Mills方程的表述进行了讨论,给出了一种具有物理和几何意义的YM-方程,称其为恰当的(exact)YM-方程.对于这种恰当的YM-方程,构造了一类线性微分变换,称之为SU(2)规范场的示性变换.经由示性变换,将非线性的恰当的YM-方程变为一组Laplace方程,实现了SU(2)规范场方程的线性化,即场方程的正规化.从而证明了SU(2)规范场存在3个独立的Yang-Mills规范场.
- 石赫
- 关键词：数学机械化
- 预测蛋白质三维结构的拟物算法被引量：4
- 2004年
- 研究了生物信息学中的一个重要问题,即蛋白质结构预测.并受物理世界的物体间相互作用的规律的启发,给出了该问题一个三维欧氏空间连续模型,它比离散模型有一定的优越性,使计算很自然地利用到了一个客观存在的"天然导引",这个"天然导引"即是疏水氨基酸之间的引力,然后根据这个连续模型找到了相应的拟物算法,最后还给出了实验结果,结果也证明了这个拟物算法在计算速度方面的优越性.
- 黄文奇黄勤波石赫
- 关键词：蛋白质NP难度问题折叠生物信息学
- 吴文俊院士的科学成就被引量：1
- 2001年
- 让公众更多了解数学 ,了解数学家 ,是本刊一项不懈的追求。在迎接 2 0 0 2年国际数学家大会即将在我国召开之际 ,本期发表高小山、石赫两位研究员撰写的《吴文俊院士的科学成就》一文 ,介绍了这位首届国家最高科学技术奖获得者、82岁高龄仍精力充沛地拼搏在科研第一线的著名数学家的主要科学成就。
- 高小山石赫
- 关键词：拓扑学数学机械化代数几何学对策论
- Yang-Mills规范场的存在性、可解性(一)
- 2009年
- 应用数学机械化方法研究欧氏空间中SU(2)Yang-Mills规范场的存在性问题.首先对YM-方程的结构进行了讨论,说明YM-方程由它的奇部份和偶部份联立组成.对于YM-方程构造了一类线性微分变换,称之为SU(2)规范场的示性变换.经示性变换,将非线性的YM-方程的奇部份变为一组Laplace方程,实现了SU(2)规范场方程的线性化.从而证明了SU(2)规范场存在3个独立的Yang-Mills规范场.
- 石赫
- 关键词：数学机械化
- 几何代数和几何计算(二)
- 2005年
- 时代的需求
数学科学的发展要适应时代的需求.
欧洲的文艺复兴,极大地促进了自然科学的进步,各类新的重大发现,如天文学、力学、机械学等,只有成功应用了数学,才能形成完美的科学定律.坐标几何正是适应这样的时代需求应运而生的,它的建立改变了科学的历史进程.
- 石赫李洪波
- 关键词：共形几何代数代数和数学科学文艺复兴自然科学
- 求解蛋白质结构预测问题的二维连续模型及其相应的拟物算法被引量：12
- 2004年
- 研究了生物信息学中的一个重要问题 ,即蛋白质结构预测 受物理世界的物体间相互作用的规律的启发 ,给出了该问题一个二维欧氏空间连续模型 它比离散模型有一定的优越性 ,此模型的优点可能在于让计算很自然地利用到了一个客观存在的“天然导引” ,这个“天然导引”即是疏水氨基酸之间的引力 ,从而在构形优度相当的前提下 ,连续模型有助于计算速度的提高 然后根据这个连续模型找到了相应的拟物算法 ,最后给出了一些实验结果 。
- 黄文奇黄勤波石赫
- 关键词：蛋白质结构预测NP难度问题折叠
- Artin空间中SU(3)规范场的几何解析
- 2013年
- 研究4维Artin空间中SU(3)规范场的线性化问题.首先对Yang-Mills方程的推导进行了讨论,给出了恰当的Yang-Mills方程的概念,其具有明确的几何意义.其次,构造了一类线性微分变换,称之为Artin空间SU(3)规范场的示性变换.示性变换是应用数学机械化方法确定的.经由示性变换,将非线性的恰当的Yang-Mills方程变为一组线性方程,实现了SU(3)规范场的场方程的线性化.从而证明了,对于恰当的Yang-Mills方程,SU(3)规范场包括8个独立的规范场.
- 石赫
- 关键词：数学机械化
- 数学机械化与自动推理平台被引量：2
- 2002年
- 数学机械化就是将数学研究的主要活动——“推理与计算”实现机械化或自动化的过程。本项目研究数学机械化基础理论、信息技术若干关键问题的应用、自动推理平台开发。在微分方程求解、不等式自动证明、全局优化、组合恒定式自动证明、Clifford代数计算、几何自动作图与智能CAD、信息压缩、图像伪装、基于Stewart平台的数控技术、CAGD等方面取得一批重要成果。在软件方面,开发出有自主版权的智能软件。在图像压缩方面,提出的“多成分变换”技术为JPEG2000图像压缩国际标准所采纳。
- 高小山石赫
- 关键词：数学机械化信息技术
