论文部分内容阅读
提出拟物拟人方法，论述了如何按此种方法为ＮＰ难问题设计出高效实用快速求解算法，作为例证，所得出的关于ＣＮＦ－ＳＡＴ问题及ｐａｃｋｉｎｇ问题的算法，其先进性在国际竞赛阁得到了显示。
解packing及CNF—SAT问题的拟物拟人方法
【摘 要】
：
提出拟物拟人方法，论述了如何按此种方法为ＮＰ难问题设计出高效实用快速求解算法，作为例证，所得出的关于ＣＮＦ－ＳＡＴ问题及ｐａｃｋｉｎｇ问题的算法，其先进性在国际竞赛阁得到了显示。
【机 构】
：
华中理工大学计算机科学与技术学院
【出 处】
：
华中理工大学学报
【发表日期】
：
1998年9期
【基金项目】
：
国家九五攀登计划,国家863高技术发展计划,国家自然科学基金委数学天元基金,高等学校博士学位点专项科研基金,中国科学院软件研究所计算机科学开放研究实验室课题基金
其他文献
基于层合板类推法和能量耗散原理，导出了两步法三维编织纤维增强复合材料矩形截面梁的比阻尼容量计算公式；提出了此类梁的优化设计方法，梁的阻尼取为最大优化目标函数，梁的刚度要
采用面向对象建模技术建立了结构ｐ自适应分析模型，提出了用对象和功能模型来描述面向对象的ｐ自适应分析系统，并探讨系统分析、设计和实现。
建立了任意空间抛物线的数学模型和五坐标的编程模型，提出了空间抛物线的迭代插补方法及旋转坐标和线性坐标的插补方法，推导出速度误差，弓高误差和旋转坐标误差的误差估计公式，实
通过胁迫筛选法筛选红豆杉抗真菌细胞变异系，并比较了该细胞系和原型在真菌诱导物处理后与抗病有关的几种酶的变化规律以及紫杉醇含量的变化，结果表明诱导物处理后抗性细胞的紫
分析了静电场对液体表面张力的影响，用瑞利极限分析了雾滴的破裂机理和雾滴在静电场作用下聚并的特殊规律。在此基础上，通过正交实验对静电场作用下的气动喷头的雾化特性进行了
给出了第三代平头涡尾船的型的船模型阻力，船模自航试验结果和实验船测速结果，通过试验分析，阐述了该代船型具有优异的推进性能对其机理作了探讨。
首先对一般回转刀具的刀刃曲线的广义螺旋运动参数进行了统一定义，然后遵循“回转刀具表面模型→刀刃曲线模型→前刀面、后刀面模型”的路线建立了回转刀具的数学模型，为刀位轨
研究了并行工程产品开发过程中冲突协商的特点与过程，分析了冲突协商支持系统在并行工程实施环境中所起到的重要作用．在提出冲突协商状态模型的基础上，指出冲突协商支持系统是多
研究了利用单色检测系统检测荧光屏彩色涂层中的残留和混合的图像处理方法，利用图像像素之间相关等性质，解决了分色和区域分割的自适应问题，实验结果表明，该方法的检测精度达到了
研究了混合式步进电动机的谐振特性，指出由于各种不对称因素的影响使得电机的谐波电磁转矩比较丰富，谐波电磁转矩的存在导致电机产生振荡，其中２次谐振的强度比较大，给出了谐振点的