约束满足问题在空间方向关系推理中的应用

约束满足问题是人工智能的一个研究领域,诸如查找、规划等问题都可转化为约束满足问题利用约束满足方法加以有效地解决。方向关系是空间关系的重要组成部分,用以确定空间对象的方位。本文应用约束满足问题的方法,利用空间方向关系约束的谓词形式构造X图和Y图来检查约束的一致性,给出了进行空间方向关系推理的一个算法。     

一种面向知识编译的OBDD构造方法

知识编译作为人工智能的重要方向,在实时查询和推理中起重要作用.有序二元决策图(ordered binary decision diagram,OBDD)是知识编译领域中一个主要的编译目标语言,已被广泛用于编译诸多实际的可满足性问题(SAT).近年来,OBDD的构造技术得到了深入研究,其目的是减少目标OBDD的大小并且缩...     

一种基于几何推理、约束满足法的参数化设计系统的研究

提出了分阶段的、基于推理的、基于约束满足法的参数化设计方法:首先用草图方式输入原型图;其次增加结构约束、尺寸约束后分别进行推理,实现图形的变动设计.     

一种基于动态优先级的实时混合任务调度算法

作者对现有多种实时任务调度算法进行研究,针对复杂实时任务模型,提出了一种新型的基于动态优先级的混合型实时任务调度算法.经过模拟测试验证,算法可以提高硬截止期任务满足截止期的概率,也可以提高固截止期任务完成数量占总数量的比例.     

高级BDD最优化

近20年来，超大规模集成（VLSI）电路和系统的计算机辅助设计（CAD）的方法和工具有了很大发展，这是科学与工业合作的重要成果，它得益于简化有序二元设计图解（BDD）的应用及Boole可满足性（SAT）的概念，并且反过来推动了后者的发展。本书较全面系统地论述了BDD最优化，给出有关概念、基本理论和方法，包括现行的各种算法、应用实例、发展趋势，讨论了它与VLSICAD的其他一些活跃领域的关系。本书在理论与实用之间架设了桥梁，弥合了两者间的空隙。     

一种基于神经网络的并行设计活动调度方法

对并行产品开发过程中的活动进行调度,对于缩短开发周期、降低成本、减少返工和确保具有串行关系的活动尽可能地并行进行具有重要意义.针对并行活动调度问题提出了一种约束满足神经网络与启发式结合的算法.其中神经网络用于获得所有活动的可行的开始时间;用启发式算法求得基于资源约束的调度问题的可行解;然后用梯度搜索算法优化可行调度方案得到最终优化可行调度解.应用实例表明此法对并行活动调度的有效性和可行性.     

满足（accr）环的I—adic完备化

满足（accr)环是比Noether环更广泛的一类环。本文继（1）之后继续讨论了满足（accr)环的I－adic完备化问题,并讨论了满足（accr)环上模的n次同调群的特性。     

求解可满足性问题的两个启发式策略

提出了两个用于求解可满足性(SAT)问题的启发式策略.数值实验表明,基于该策略的模拟退火算法的性能优于局部搜索算法,因此这两个策略是可行和有效的.     

太阳能手机充电器

最近,一种内置镍氢电池的太阳能充电器在日本问世。这块可随身携带的充电器附着一层太阳能电池板,连续光照6～10个小时即可完成充电过程。如果连接手机,只需3个小时即可完成。充电后最长可满足40分钟的通话。处在户外无电源场合可满足临时用电需要。它的原理是在太阳光下。通过控制电路将光电池产生的电能存储到内置蓄电池。也可以直接把光电池产生的电能对手机或MP4、     

移动供应链实时调度模型及协同进化遗传算法

运用精确控制库存检查和车辆调度,实现了动态的供应链配送系统。整合供应链库存控制策略与车辆调度规划,建立移动供应链实时调度模型。该模型针对随机需求下的零售商最优订货,实现在途库存动态配送。在决策模型的基础上,设计协同进化遗传算法,解决模型组合优化过程中的约束满足问题。计算机仿真结果表明,实时调度模型可以有效降低整体供应链运行费用。