谢正
- 作品数：4 被引量：2H指数：1
- 供职机构：浙江大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：理学政治法律农业科学更多>>
- 宁波城市人民公社研究
- 城市人民公社是1958年“大跃进”与农村人民公社运动持续动员下产生的城市基层政权组织，同时也是兼具集体生产与集体化生活两大职能的社会基层单位。尽管城市人民公社存续时间较短，但其一方面发挥了城市的工业生产职能并进一步消灭城...
- 谢正
- 关键词：整改工作
- 文献传递
- 离散外微分与计算电磁学被引量：1
- 2010年
- 计算电磁学的核心之一是数值求解Maxwell方程组.适当的离散方式是保证结果能真实反映物理现象的关键.为了在离散的过程中保持该方程组的几何性质,我们建立了基于棱柱网格的系数为R的格点规范理论,其离散曲率满足相应的Bianchi恒等式.通过适当定义离散微分形式之间的内积和棱柱网格上的Hodge星算子,我们由离散变分导出源方程和连续性方程,和Bianchi恒等式一起称为真空中的离散Maxwell方程组.这组方程是内蕴的,并具有规范不变性.
- 谢正马玉杰叶征
- 关键词：计算电磁学格点规范MAXWELL方程组
- 杭州地区奶牛结核病流行态势监测
- 谢正
- 关键词：结核病奶牛ELISA
- 基于指标形式张量的微分几何定理机器证明
- 2009年
- 提出了一个基于指标形式张量的微分几何定理的机器证明算法.该算法将微分几何定理转化成带指标的张量多项式的计算问题,然后通过利用重写规则,挖掘等价条件和分次选取条件等方法大大减少了这个多项式系统的方程个数.再利用这个多项式系统本身和关于哑元的方程三角化这个多项式系统,将所得到的首项代入结论,从而得到了该定理的机器证明.该算法不仅能够证明基于指标形式张量的微分几何定理,也可以用于张量方程的求解.
- 叶征曹源昊谢正李洪波
- 关键词：微分几何机器证明三角化
