排序方式: 共有120条查询结果,搜索用时 0 毫秒
1.
一种基于扩展规则的#SAT 求解系统 总被引:2,自引:1,他引:1
#SAT 问题是SAT 问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有模型计数问题求解方法的一种补方法.证明了该方法的完备性和有效性,设计了基于扩展规则的#SAT 求解系统:JLU-ERWMC.实验结果表明,JLU-ERWMC 在有些问题中优于目前最为高效的#SAT 问题求解系统. 相似文献
2.
3.
4.
基于BP神经网络的气囊点火算法模型 总被引:3,自引:1,他引:2
通过建立完整的车体-乘员-约束系统仿真分析模型,将BP神经网络模块嵌入到仿真分析流程中,在产品开发阶段实现了气囊点火算法的验证。本算法模型在对网络进行训练的基础上,以不同碰撞速度的正面刚性墙碰撞分析模型为研究对象,建立了车体加速度与乘员位移之间的数学模型,实现了随机输入车体加速度曲线即可获取乘员位移曲线,计算结果与仿真分析结果吻合,为进一步研究气囊点火优化算法奠定了基础。 相似文献
5.
稳定类语义和辨论语义是逻辑程序语义学研究方面突出的两种语义统一框架理论,它们统一了一些很重要的语义,因为它们有着不同的直觉和概念,它们的相互关系并不清楚。我们在它们最基础的概念层次上证明了,常规逻辑程序句法下二者是等价的,它们有着同样的语义统一能力。基于这个结果,我们为有前途的辨论语义指明一种迭代构造的方法。 相似文献
6.
约束满足问题是人工智能研究领域的重要问题.而弧相容算法是求解约束满足问题的重要工具.在弧相容算法中应用启发式规则已经证明是一种很有效的方式.本文提出一个基于最先失败原则的约束传播算法,该算法在搜索过程中更早地发现含有空域的变量并提前进行回溯,从而提高问题求解效率.同时,在"明月1.0"架构下实现了该算法,实验结果表明使用最先失败原则的弧相容算法要比原来的算法效率上提高了约40%. 相似文献
7.
因果知识的表示和推理 总被引:2,自引:0,他引:2
本文介绍了因果推理的两个主要应用:预测行为的间接结果,找出给定事实的真正原因,指出了用逻辑描述的因果关系在解决这两个问题中存在的不足。本文也简单地介绍了J.Pearl提出的因果推理方法,该方法的基本思想是把因果推理看成是一种“计算模式”,而这种把智能归结为“计算模式”的想法正是认知科学中的核心思想。本文最后比较了基于逻辑的方法和基于认知科学的方法实现智能的区别,指出了因果推理应该在认知科学的框架内得到解决。 相似文献
8.
针对传统的RBAC模型不能表达复杂的工作流安全访问控制约束的缺点,提出了一个适合工作流系统的基于多权角色和规则的条件化安全访问控制模型CMWRRBSAC(conditioned multi-weighted role and rule based secure access control model).该模型基于传统的RBAC模型,提出了基于动态角色分配的条件化RBAC方法,定义了基于多权角色的工作流系统访问授权新概念,并针对多个角色和多个用户协同激活任务的序约束问题,给出了基于令牌的序约束算法和基于加权角色综合的序约束算法,讨论了一个基于规则的职责分离约束建模方法,并给出了改进的规则一致性检验算法. 相似文献
9.
10.
非二元约束满足问题求解 总被引:12,自引:1,他引:12
在约束满足问题(CSP)的研究中,大部分工作集中在二元约束,但处理实际问题时,常常会遇到非二元约束的情况.该文在概要地讨论了两类求解非二元约束问题方法的基础上,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法,以典型例子给出了实现系统的运行结果. 相似文献