排序方式: 共有41条查询结果,搜索用时 0 毫秒
1.
2.
本文讨论逆绎推理的形式化问题,指出这一问题的认知基础,然后证明逆绎推理可通过建立必要性假设来完成;NH构成了对已有知识订的扩充,必须构造必要性假设理论来捕捉逆绎推理的逻辑特征,本文选择缺席逻辑作为形式化NL的理论框架,并指出NL的基本性质。 相似文献
3.
4.
集合覆盖问题的启发函数算法 总被引:8,自引:1,他引:8
本文给出了求解NP困难问题的完备策略的概念,在此基础上提出了一个求解集合覆盖问题的启发函数算法SCHF(set-covering heuristic function),文中对该算法的合理性、时间复杂性以及解的精度进行了分析,本文的主要创新点是用已知的完备策略建立启发函数,并用该启发函数进行空间搜索求出优化解.该方法具有一定的普遍性,可以应用到其它的NP困难问题.它为求解NP困难问题的近似解提供了一种行之有效的方法.在规则学习中的应用结果表明,本文给出的SCHF算法是非常有效的. 相似文献
5.
采用半导体激光器在H13钢基体表面制备了Stellite 6钴基合金涂层,利用X射线衍射仪(XRD)、光学显微镜(OM)和电化学工作站研究了不同激光功率下涂层的物相组成、显微组织及电化学腐蚀行为。结果表明,激光功率对涂层的物相组成没有明显影响,涂层均由γ-Co、CoCX和Cr7C3相组成。随着激光功率的增大,涂层由柱状晶和少量树枝晶的混合组织,转变为细小均匀的等轴晶,再至粗大的柱状树枝晶。不同激光功率下Stellite 6涂层在3.5%(质量分数) NaCl溶液中的自腐蚀电位均高于H13钢,而腐蚀电流密度均低于H13钢,且激光功率为3 000 W时涂层具有最佳的耐腐蚀性能。电化学阻抗谱规律与极化曲线保持一致,表明了激光熔覆Stellite 6合金涂层可以有效提高H13钢的耐腐蚀性能。 相似文献
6.
叶风 《电视字幕·特技与动画》2005,(5):29-32
近年来,开发动画项目成了国内文化产业发展的一个热点。打造动画明星角色是我国动画产业发展的必由之路,如何根据市场来打造什么样的“动画明星”是首要考虑的问题。动画片及其周边产品推向市场进行营利的时候,就变成了商品,对商品的开发就必须遵循市场规律。在很多情况下,动画 相似文献
7.
0mInduhvehecPrDgr~ng(ILP)['Jisanewlyemergedbranh0fthewhfieldsinMachineteam-ing.Thetheses0faxsocalledarethetopicsofsolvingthaseproblemsasthelndtati0n0fkn0wledgeexPressionandtheuhlhationofbackgroUndknOWledge,reliedonthethooryoffogicp~ng-0neofthemaintopicsofILPistheproblem0faPPlicability0finductivehppthesesfoedbyun.TIadithally,BK,H,E+andE-repasentf0rbackgnundlm0Wlydge,induchvehypotheses,peitiveex-=trt:=rt=t:=Hom0ffirst'order,whileE+andE-aresimPleexaxn-ples,withrestrictiOnSthatBKAE-l/… 相似文献
8.
现在的软件安装一般比较简单,没有太多的设置需要用户调整,如果你双击Setup exe并一路按默认设置安装的话,程序一般都会安装到操作系统所在的系统分区(C盘).因此过一段时间后,C盘的可用空间必然越来越小.如果C盘空间只有几百兆甚至只有几十兆时,你的PC就会频繁报警,提示你空间严重不足,PC运行的速度越来越慢.重新对硬盘进行分区和格式化固然可以,但操作起来太麻烦,涉及到操作系统和相关程序的重新安装,不到万不得已,相信这样的办法是没人采用的.多数人希望在保持现有系统和数据不被损坏的情况下,找回失去的磁盘空间. 相似文献
9.
10.
在QQ的安装目录下,以你的QQ号码为名字的文件夹里有几个关键文件,保存着你的QQ的一些信息,如果用好了它们,可以玩出一些有趣的花样. 相似文献