您的位置： 专家智库 > >

赵孝武

作品数：5 被引量：7H指数：2
供职机构：中国科学院软件研究所更多>>
发文基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇期刊文章
  • 1篇学位论文

领域

  • 5篇理学
  • 2篇自动化与计算...

主题

  • 2篇拟物
  • 2篇可满足性
  • 2篇函数
  • 1篇代数
  • 1篇代数微分方程
  • 1篇定理
  • 1篇亚纯函数
  • 1篇正交
  • 1篇正交表
  • 1篇正交拉丁方
  • 1篇势能函数
  • 1篇数论
  • 1篇拟人算法
  • 1篇拟素
  • 1篇拟物拟人算法
  • 1篇微分
  • 1篇微分方程
  • 1篇物理模型
  • 1篇例外函数
  • 1篇拉丁方

机构

  • 2篇华中理工大学
  • 2篇中国科学院软...
  • 1篇华中科技大学
  • 1篇武汉交通科技...

作者

  • 5篇赵孝武
  • 1篇黄文奇
  • 1篇黄承绪
  • 1篇陈先桥
  • 1篇黄文奇

传媒

  • 2篇武汉交通科技...
  • 1篇计算机研究与...
  • 1篇华中理工大学...

年份

  • 1篇2002
  • 1篇2001
  • 1篇2000
  • 1篇1999
  • 1篇1998
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
关于Γ(z)函数的Hlder定理的推广
1999年
在推广有关的Γ（ｚ）函数的Ｈｏ¨ｌｄｅｒ定理的基础上，证明了Γ（ｚ）函数与其它函数的复合及组合不满足一类代数微分方程．这些结论改善了已知有关结果．
黄承绪赵孝武陈先桥
关键词：代数微分方程
具有 Borel 例外函数的亚纯函数的分解
1998年
研究了具有Ｂｏｒｅｌ例外函数的亚纯函数的分解性，建立了两个分解定理，获得了一些拟素、左素甚至素函数类，部分地解决了有关函数分解的一个公开问题．
赵孝武
关键词：亚纯函数拟素例外函数
求解正交表问题的拟物拟人方法
该文应用拟物拟人方法来求解若干正交表的构造问题.该学位论文做了以下工作:第一,阐述了拟物拟人方法的涵义,通过对一些具体问题应用拟物拟人方法的心得和体会,总结出应用该方法求解问题的基本技术路线.第二,对于求解SAT问题的拟...
赵孝武
关键词：正交表拉丁方正交拉丁方可满足性NP问题
文献传递
求解正交数组问题的拟物拟人算法被引量：5
2002年
此工作是方开泰工作的继续 .正交数组在制造业和高技术产业的试验中有着广泛的应用 .目前正交数组构造的研究相当活跃 .现有的许多构造方法很复杂且所能构造的类型有限 .提出了一个构造正交数组简单而有效的方法——拟物拟人算法 .应用该算法已经独立地得到了一些历史上尚未发现的 L2 7(31 3)的不同构数组 .
黄文奇赵孝武
关键词：拟物拟人算法数论计算机
关于SAT问题物理模型猜想的一个反例被引量：3
2000年
针对关于SAT问题物理模型的一个猜想 ,得到了该猜想成立的必要条件 .然后构造出反例 ,说明该猜想是不成立的 .同时指出 ,考虑到“算法吸引区”的存在 ,这并不降低应用该物理模型求解SAT问题的良好的现实效果 .
赵孝武黄文奇
关键词：合取范式可满足性势能函数物理模型猜想
全选 清除 导出
共1页<1>
聚类工具0