一类递归查询问题的快速求解算法

来源 :控制与决策 | 被引量 : 0次 | 上传用户:liudanfeng123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出一个求解一类扩充递归Datalog逻辑程序的算法,论证其正确性,并讨论了算法的复杂性。该算法结合了自底向上和自顶向下的逻辑程序求解算法的优点,但比魔集算法简单,易于实现。利用宁可以解决工程数据管理中常遇到的产品零部件装配关系的递归查询问题。
其他文献
目的分析阿托伐他汀在冠心病二级预防中临床效果。方法 100例冠心病患者,随机分为观察组和对照组,每组50例。对照组行常规二级干预,观察组在对照组基础上使用阿托伐他汀钙片,
研究一类具有非匹配不确定性的非线性时变系统的鲁棒状态反馈输出跟踪控制器设计问题。通过引入非线性时变系统的相对阶将系统输入输出线性化,然后设计出一种基于标称系统和不
<正>2014年7月,吴超被渭南市民政局选派至富平县齐村镇桥西村开展驻村联户扶贫工作,并担任驻村工作队长,2015年7月兼任桥西村驻村"第一书记"。初次入村对接时,映入他眼前的桥
<正> 高血粘综合征是血液粘滞度异常综合征中较多见的一种类型,它可能是某些疾病发生的主导环节,也可能是疾病进展到某一特定阶段所发生的后果,常在祖国医学中的眩晕、
电视购物是以电视媒介为形式主体,向目标市场发布直接反应电视广告,使受众成员立刻做出回应的直复营销活动,又称直接反应电视(direct-response television)。现阶段国内电视购物商
目的评价乙肝两对半检测的临床价值,分析检测结果的精确性,制定行之有效的控制措施。方法对乙肝两对半检测采用ELISA法(酶联免疫法)进行检测。结果30例乙肝两对半参加检测人员,其
将模糊神经网络应用于传统线性积分自适应控制,构造了一类模糊神经自适应方法,用于消除非线性系统响应偏差。模糊神经网络构成直接非线性自适应控制器。对线性及非线性对象的仿
本文以广东省21个重要城市为例,利用主成分分析对广东各地区的物流发展综合实力进行评价,再利用新得到的综合主成分指标代替原采较多的评价指标,对省内各地区的物流发展进行聚类
应用系统边际发电单元的概念,利用随机生产模拟方法,提出一种计算电力系统边际发电成本概率分布函数的有效方法,它不仅能考虑发电机组强迫停运和负荷预测的不确定性,且易于计入燃
财务管理是建筑施工企业中最为重要的组成部分,财务管理对企业的运营和发展具有重要的作用。随着社会主义市场经济的不断发展,建筑施工企业面临着日益激烈的竞争,对财务管理