求解器

作品数：384被引量：905H指数：13
导出分析报告
相关领域：自动化与计算机技术交通运输工程机械工程更多>>
相关作者：万德成张智军王建华李宣东金龙更多>>
相关机构：上海交通大学浙江大学国家电网有限公司清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金长江学者奖励计划国家重点基础研究发展计划工业与信息化部高技术船舶科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于逻辑程序的调机路径规划研究被引量：1
《计算机工程》2018年第1期98-103,共6页谢小天 赵岭忠 
国家自然科学基金(61262008;61562015);广西自然科学基金(2015GXNSFAA139307;2015GXNSFDA139038);广西高等学校高水平创新团队及卓越学者计划项目;广西可信软件重点实验室基金(kx201505);桂林电子科技大学创新团队基金
调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务。但目前的编制工作仍以人工为主,存在编制作业的工作量大、计划编制不及时、计划调整困难等问题。为此,给出基于回答集程序(ASP)与有限域约束逻辑程序(C...
关键词：调机路径规划 回答集程序 有限域的约束逻辑程序 求解器 逻辑程序 
Spark环境下基于SMT的分布式限界模型检测
《计算机工程》2017年第6期19-23,29,共6页任胜兵 张健威 吴斌 王志健 
国家自然科学基金面上项目(61272151);中南大学自主探索创新项目(2016zzts373)
在基于可满足性模理论(SMT)的限界模型检测中,限界深度对于程序验证结果的可信性和程序验证效率具有重要影响。传统串行检测方法由于单机处理性能和内存的限制,不能在限界较深的条件下进行验证。针对该问题,在Spark环境下提出一种分布...
关键词：软件验证 限界模型检测 弹性分布式数据集 可满足性模理论求解器 Spark框架 
基于回答集编程的Banks选举求解方法被引量：1
《计算机工程》2013年第8期266-269,共4页赖河蒗 陈红英 赖博先 柯万添 
国家自然科学基金资助项目(61173010)
采用启发式算法的Banks选举在进行求解时执行效率较低。为解决该问题,提出一种基于回答集编程(ASP)的求解方法。通过建立Banks选举问题到ASP问题的映射,编写相对应的ASP,调用回答集求解器进行求解,得到的每一个ASP模型就是Banks选举问...
关键词：回答集编程 Banks选举 计算复杂度 求解器 启发式算法 最大传递子图 
SMP集群系统上可扩展并行特征问题求解器研究
《计算机工程》2006年第19期3-5,共3页赵永华 迟学斌 姜金荣 
国家"863"计划超级计算网格节点建设基金资助项目(2002AA104540);中国科学院知识创新工程信息化建设专项"超级计算环境建设与应用"(INF05-SCE)
基于对称三对角特征问题的分而治之方法,提出了一个适合SMP集群环境的多级混合并行算法。SMP节点内的并行求解采用了粗粒度和细粒度两种OpenMP并行。为了改善纯MPI算法中的负载不平衡,混合并行算法使用了动态任务分配方法。在深腾6800...
关键词：SMP集群 MPI+OPENMP 混合并行 并行求解器 
动态合同网协议被引量：36
《计算机工程》2004年第21期44-46,57,共4页张海俊 史忠植 
国家自然科学基金资助项目(90104021);国家"863"计划基金资助项目(2001AA113121)
对经典的合同网协议进行了改进,结合群体智能提出了一种适应环境及主体能力动态变化的动态合同网协议。 并给出了动态合同网协议的算法。经过在多主体平台MAGE(Multi-AGent Environment)上的多次试验,证明了动态合同网协议在各方面的优...
关键词：合同网协议 动态合同网 主体 信任度 求解器 DCNP 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部