首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   6篇
  免费   0篇
工业技术   6篇
  2017年   1篇
  2013年   1篇
  1998年   1篇
  1997年   1篇
  1996年   2篇
排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
本文根据作者多年工作经验对城市道路施工项目成本控制的要点进行了简单的阐述。  相似文献   
2.
介绍镗杆的设计,加工工艺要求,以及在制造镗杆方面成功的探索.  相似文献   
3.
一类扩展的Steiner树优化问题及其应用   总被引:1,自引:0,他引:1  
本文提出了一个计算机网络通信和分布式系统中的一类扩展的Steiner树问题.对此问题设计了两个求其最优解的算法.这两个算法的时间复杂性分别是O(3(k-1)·n+2(k-1)·n2)和O(2(n-k)·n2).其中,k是一棵Steiner树需支撑的给定顶点的个数.  相似文献   
4.
Maximum satisfiability (MAX SAT) problem is an optimization version of the satisfiability (SAT) problem. This problem arises in certain applications in expert systems and knowledge base revision. MAX SAT problem is NP-hard Some algorithms can solve this problem, but they are not adapted to the special cases where the number of variables is larger than the number of clauses. Usually, the number of variables has great impact on the efficiency of these algorithms. Thus, a polynomial-time algorithm is proposed to reduce the number of variables. Let T be any instance of the MAX SAT problem. The algorithm transforms T into another instance P of which the number of variables is smaller than the number of clauses of T. Using other algorithms, the optimal solution to P can be found, and it can be used to construct the optimal solution of T. Therefore, this algorithm is an efficient preprocessing step.  相似文献   
5.
一个求解结构SAT问题的高效局部搜索算法   总被引:8,自引:1,他引:7  
逻辑表达式可满足性(SAT)问题是第一个被证明的NP完全问题.它也是解决人工智能和计算理论中许多实际问题的基础.人们发现,对于某些类型的SAT问题,局部搜索算法要比一些传统的算法(例如Davis-Putnam过程)更为有效.在本文中,我们主要讨论如何用局部搜索算法求解结构SAT问题.我们对一个典型的局部搜索算法GSAT+walk做了改进与扩展.首先,我们除去了GSAT+walk中GSAT部分的"平移";其次,我们给每一个子句赋权,并在GSAT+walk的搜索过程中动态地调整子句的权.文中给出的实验结果表明改进后的新算法对于求解结构SAT问题非常有效.  相似文献   
6.
梁东敏  马绍汉 《计算机学报》1996,19(12):895-902
本文提出了一个计算机通信和分布式系统的一类扩展的Steiner树问题,对此问题设计了两个求其最优解的算法。这两个算法的时间复杂性分别是O和O。其中,k是一棵Steiner树需支撑的给定顶点的个数。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号