基于转供逻辑约束的城市电网运行阻塞控制模型

针对城市电网日益严重的运行阻塞问题,建立高压配电网负荷转供中独有的顺序、互斥、方向3类逻辑约束,以110kV容量单元的电源选择变量替代传统开关状态变量进行建模,构建了电源替换次数最少、混合减载、负载均衡3种运行阻塞控制模型,结合优化操作序列模型以形成完整策略。所提方法虽增加了变量规模,但转供逻辑约束的引入降低了模型非线性程度,使其能用商用优化软件直接求解,速度快且避免了传统方法求解不稳定的问题。利用某城市电网局部系统验证了所提方法的有效性与适用性。

考虑禁止运行区的环境经济调度混合逻辑约束优化方法

为了准确描述考虑禁止运行区域的发电机出力限制,分析了优化问题约束条件之间存在的"与"和"或"的逻辑关系,研究了一种同时包含"与"和"或"逻辑约束的混合逻辑约束优化(MLCO)问题,并基于此,将考虑禁止运行区域的发电机出力限制表示为一组"或"逻辑关系的约束条件,建立了环境经济调度的MLCO模型。根据布尔代数逻辑变换的思想,延伸出约束条件逻辑关系的等价数学变换,实现了"或"逻辑和"与"逻辑的约束条件之间的转换。从而将MLCO问题转化为仅含"与"逻辑约束的常规非线性优化问题,最后采用现代内点算法加以求解。6机和15机系统的测试结果表明所提出的MLCO模型与方法行之有效,具有较高的求解精度和效率。

逻辑约束自动分析叠前等效偏移中的速度谱

逻辑约束自动分析叠前等效方法中的速度谱，是以地震剖面上反射目的层双程To时的控制为基础，由质量高的速度谱作初始模型速度曲线。分析第一张速度谱时以初始模型速度为参考，分析第二张速度谱以第一张速度谱分析的结果为参考，以此类推。也就是说，从资料好的地方向外逐步逻辑约束自动分析，最后得到良好的速度剖面，为获得可靠的偏移成像效果奠定了基础。这种方法不仅考虑了速度模型作参考，克服了仅仅以能量团极大值为条件的不足，而且节省了时间、人力，还节省了材料。

一种基于逻辑约束的软件设计过程验证方法及其工程实践

如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设计方法的基础上,提出一种利用RSL对系统进行逻辑约束,在开发设计过程中不断进行系统逻辑规约验证的有效反方法.该方法提高了系统的稳定性与可靠性.我们还将该方法用于开发了一个教学管理系统以验证该方法的系统设计能力.

基于复杂逻辑约束的自主应急联动系统设计

目前设计的自主应急联动系统反应时间过长,联动能力较弱。为了解决上述问题,基于复杂逻辑约束设计了一种新的自动应急联动系统,对系统的硬件和软件进行了优化设计。系统硬件主要包括联动器、传感器、调度器和响应器,采用JISUUE-92系列的联动器提高输出和输入功率,通过JWBS-73传感器实现信息交互,利用BSJ-72调度器实现信息调度。引入复杂逻辑约束,通过信息分析、自主处理、应急响应实现信息联动。实验结果表明,基于复杂逻辑约束的自主应急联动系统能够有效提高系统反应时间,增强联动能力。

图形逻辑构造与约束研究

针对ICAD中在高层次几何推理及概念设计中图形的逻辑构造及约束问题,根据各种图形表示的依赖因素,通过谓词逻辑,提出了二维、三维图形的逻辑构造和逻辑约束以及图形变换的逻辑构造.通过构图实例说明了所述方法的可行性,作为存储图形的一种方式可方便于图形的几何推理与概念设计.

基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法

利用人工智能最新研究成果——约束逻辑编程对Verilog描述进行谓词抽象,并与目前基于SAT的方法进行了比较．首先通过符号模拟建立Verilog的形式化模型,然后结合要抽象的谓词,将谓词抽象问题转化为约束逻辑编程问题并进行求解．该方法的优点是在计算抽象系统时,不需要像基于SAT的方法那样将字级约束打散成位级约束,求解效率显著提高;提供了一个统一的框架用于描述各种约束．实验结果表明,与基于SAT的抽象技术相比,基于约束逻辑编程的抽象方法的求解速度有显著提高．

约束逻辑编程中宽数据算术运算算法

提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法。该方法解决了现有CLP求解器所能处理的最大整数限制问题。该文设计并实现了宽数据加法、减法和乘法运算的分解算法，运算分解扩展了现有CLP的功能，使其能适应实际的数据通路设计。实验结果表明方法是有效的。

约束逻辑程序的一个新语义研究

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.

约束逻辑程序的良基模型研究

在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上,研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方法,对展开前后逻辑程序的等价特性进行逻辑证明。分析正规逻辑程序良基模型的构建方法,以求得经展开得到的等价正规逻辑程序的最小不动点为切入,给出简单约束逻辑程序交替不动点的良基语义模型。经推理证明,该良基模型是合理的,用该模型的构建方法将约束逻辑程序转化为正规逻辑程序也是可行的。

约束归纳逻辑程序设计方法的研究

提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用户诱导,不依赖约束求解器的情况下,学习出覆盖正例而排斥负例的含约束的Horn子句程序。

基于约束逻辑的非单调属性委托

分析了目前分布式协作环境下属性委托模型否定授权能力的现状,引入约束逻辑中否定推理的原理,提出一个支持否定授权的属性委托模型,并给出相应的操作语义,最后对该模型进行可靠性和完备性验证及约束域的分析。理论分析表明,提出的基于约束逻辑否定推理的属性委托模型在扩展的范围约束域上是可行的,与原有的类似模型相比具有更强的表达能力。

简单单调约束逻辑程序的良基语义研究

在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型。论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的。

逻辑、优化及约束程序的综述

由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起。它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣。概述了各种优化中基于逻辑的方法,总结了约束程序研究领域的各种方法,并对优化和约束程序结合的框架进行了综述。

基于约束逻辑规划和遗传算法的柔性调度

根据柔性生产环境的特点 ,描述了约束逻辑规划 (CL P)和遗传算法 (GA)在解决调度问题中的应用框架。 CL P的解作为满足约束的调度问题的起始解 ,保证了初始解的合理性。把 CL P用作计算每一代样本的约束检验手段 ,有利于在遗传算法的搜索中获得更好的解和更高的解算效率。

基于约束逻辑的无线通信网络拥塞控制方法研究

随着信息技术的不断发展,便捷的无线网络通信成为信息的重要传输方式。但是由于无线通信网络中复杂的多样连通路径,传统的端到端拥塞控制机制难以解决无线通信网络的拥塞问题。针对上述问题,设计了一种基于约束逻辑的无线通信网络拥塞控制方法,通过建立拥塞检测机制、拥塞避免机制、拥塞消除机制解决拥塞问题,实验模拟了三种无线通信网络拥塞方式,测评了新方法与传统方法的拥塞控制性能,结果证明新方法的拥塞控制效果优于传统的方法。

约束归纳逻辑程序设计系统

提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序。

约束逻辑程序设计的变量压缩事件分析

该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后,提出引入变量事件,总结为三种类型:SINGLE、BOUND和DOMCHG,用于减少过滤器的激发次数。实验结果表明,变量事件能够促进约束推理机的搜索效率,缩短二叉树搜索的时间,可以更快寻找到答案。

加权约束逻辑程序

大多数传统的程序设计语言本质上都是属于过程性语言(如PASCAL和C),需要在程序执行前详细规定运行步骤。而基于逻辑的计算机语言的出现(即逻辑程序设计语言),给某些逻辑问题提供了更有效的解决途径。本文首先简要介绍加权逻辑程序设计语言,然后经典的八皇后逻辑问题为例,说明逻辑程序的优势,最后展望逻辑程序的发展及其应用前景。

面向对象的约束逻辑程序设计

本文介绍了面向对象技术和约束逻辑程序设计方法在人工智能中应用的基本思想，通过二者的结合使现有逻辑程序设计在逻辑的清晰性和执行的高效性上都得以提高。