铁路桥跨方案自动布置算法初探

1

作者 柏华军 郑洪 +1 位作者 陈瓴 刘峰 《铁道标准设计》 北大核心 2025年第9期87-94,共8页

针对我国高速铁路桥跨方案影响因素多,人工设计难度大、效率低的特点,研发一套铁路桥梁孔跨方案自动布置算法,实现满足约束条件的桥跨方案自动生成和优选方案推荐。将桥跨布孔问题抽象为满足控制点集合与梁型库约束条件的寻优问题,基于... 针对我国高速铁路桥跨方案影响因素多,人工设计难度大、效率低的特点,研发一套铁路桥梁孔跨方案自动布置算法,实现满足约束条件的桥跨方案自动生成和优选方案推荐。将桥跨布孔问题抽象为满足控制点集合与梁型库约束条件的寻优问题,基于多策略融合思想,通过模拟桥跨布孔业务流程,先通过贪心策略研发主梁布置算法,实现控制点的主梁选型;然后通过回溯、动态规划策略研发主梁桥接算法,实现相邻控制点主梁区间桥接;最后利用梁部造价、侵限桥墩等组合评价指标,基于专家打分构建桥跨方案评价算法,实现多方案的评价和优选推荐。依托长赣高铁进行模拟设计验证,结果表明算法可大幅提高桥梁布跨工作效率。 展开更多

关键词 高速铁路 铁路桥梁 桥跨方案 布孔设计 约束条件 回溯策略 贪心策略 动态规划策略

在线阅读 下载PDF 职称材料

CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑 被引量：2

2

作者 张奠成 李修华 《计算机科学》 CSCD 北大核心 1996年第4期70-73,共4页

近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对... 近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面。 展开更多

关键词 OODB语言 约束演绎 多类型逻辑

在线阅读 下载PDF 职称材料

汽车阻尼可调半主动悬架混杂模型预测控制 被引量：11

3

作者 张亮修 王宇 +1 位作者 吴光强 刘兆勇 《西安交通大学学报》 EI CAS CSCD 北大核心 2017年第11期156-164,共9页

为协调汽车阻尼连续可调半主动悬架舒适性和操稳性之间的矛盾,并考虑减振器阻尼力须满足的非线性约束条件,研究了一种适用于半主动悬架的混杂模型预测控制方法,包括建立半主动悬架单轮车辆模型,提出综合描述舒适性和操稳性的悬架优化控... 为协调汽车阻尼连续可调半主动悬架舒适性和操稳性之间的矛盾,并考虑减振器阻尼力须满足的非线性约束条件,研究了一种适用于半主动悬架的混杂模型预测控制方法,包括建立半主动悬架单轮车辆模型,提出综合描述舒适性和操稳性的悬架优化控制目标函数及半主动悬架须满足的非线性约束条件。利用混合逻辑动态建模方法描述半主动悬架混杂系统模型,基于模型预测控制理论研究半主动悬架混杂系统的有限时域优化控制问题。为便于问题求解,将非线性约束优化问题转化为包含实值变量和二值变量的混合整数二次规划问题,并借助分支定界算法进行求解。在随机路面和正弦波突起路面进行仿真验证后表明,所提混杂模型预测方法明显优于被动悬架和传统线性二次型调节器算法,能有效提高阻尼可调半主动悬架的综合性能,并在不同的路面输入激励和车速下均能取得较好的控制效果。 展开更多

关键词 半主动悬架 非线性约束优化 混合逻辑动态建模 混杂模型预测控制 混合整数二次规划

在线阅读 下载PDF 职称材料

归纳逻辑程序设计综述 被引量：4

4

作者 郑磊 贾东 刘椿年 《计算机工程与应用》 CSCD 北大核心 2003年第17期43-46,86,共5页

归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研... 归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研究工作,回顾了归纳逻辑程序设计研究的发展;之后介绍了归纳逻辑程序设计领域中需要深入研究的若干问题,并提出了新的解决思路;最后是总结,以引起读者对归纳逻辑程序设计领域研究的进一步关注。 展开更多

关键词 机器学习 逻辑程序设计 归纳逻辑程序设计 粗糙—归纳逻辑程序设计 遗传归纳逻辑程序设计 约束归纳逻辑程序设计 关系数据挖掘

在线阅读 下载PDF 职称材料

考虑暂态稳定的风电穿透功率极限计算模型 被引量：5

5

作者 蔺海明 刘天琪 +2 位作者 李兴源 王剑 李茜 《电力系统保护与控制》 EI CSCD 北大核心 2013年第20期47-52,共6页

为保证风电并网系统的稳定性,建立考虑暂态稳定的模糊随机机会约束规划模型计算风电穿透功率极限。针对风电出力和负荷的不确定性,模型中将两者作为模糊随机变量处理;模型中考虑暂态稳定约束时,根据发电机有功出力和转角的关系,通过时... 为保证风电并网系统的稳定性,建立考虑暂态稳定的模糊随机机会约束规划模型计算风电穿透功率极限。针对风电出力和负荷的不确定性,模型中将两者作为模糊随机变量处理;模型中考虑暂态稳定约束时,根据发电机有功出力和转角的关系,通过时域仿真分析将系统的暂态稳定约束转化为发电机的出力限制约束。采用数学优化方法和时域仿真法相结合来求解所提模型。最后通过在IEEE14节点上仿真分析,证明了暂态稳定约束是风电穿透功率极限的关键约束条件之一。 展开更多

关键词 风电穿透功率极限 模糊随机机会约束模型 暂态稳定 不确定性理论 时域仿真分析

在线阅读 下载PDF 职称材料

约束归纳逻辑程序设计方法的研究 被引量：3

6

作者 郑磊 刘椿年 《计算机工程与应用》 CSCD 北大核心 2003年第10期63-66,共4页

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

关键词 约束归纳逻辑程序设计方法 程序设计方法 机器学习 Porlog语言 ILP系统

在线阅读 下载PDF 职称材料

RTL数据通路模拟矢量自动生成方法研究与实现 被引量：2

7

作者 李暾 郭阳 李思昆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第8期1062-1069,共8页

针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约... 针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 。 展开更多

关键词 RTL 数据通路 模拟矢量自动生成方法 约束逻辑编辑 CLP VLSI 形式化描述 模型检验 位向量算术 约束求解

在线阅读 下载PDF 职称材料

智能教学系统中自动推理模块的设计与实现 被引量：2

8

作者 郑磊 贾东 刘椿年 《北京工业大学学报》 CAS CSCD 北大核心 2002年第3期363-368,共6页

以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语... 以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机.以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法.当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题. 展开更多

关键词 自动推理模块 设计 智能教学系统 约束逻辑程序设计 Strips算子 中学 数学教学

在线阅读 下载PDF 职称材料

基于约束程序的变迁约束可达问题判定研究 被引量：3

9

作者 覃海生 蓝乾艺 杨夏妮 《广西大学学报（自然科学版）》 CAS CSCD 2007年第3期307-311,共5页

在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发... 在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U. 展开更多

关键词 PETRI网 可达问题 逻辑抽象技术 变迁约束 约束程序

在线阅读 下载PDF 职称材料

基于断言的模拟矢量自动生成方法 被引量：4

10

作者 李暾 郭阳 李思昆 《软件学报》 EI CSCD 北大核心 2004年第10期1441-1450,共10页

VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输... VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约束生成模拟矢量.该方法的优势在于运用了字级(word-level)约束求解技术,能统一处理控制电路和数据通路间的数据传播,求解效率高;基于功能模型的模拟矢量生成技术,模拟矢量生成目标更明确;与动态加速技术相结合,使搜索过程效率更高;设计化简技术的运用使搜索过程计算复杂度只与断言有关.实验结果表明,该方法能快速找到并定位设计中的错误,生成模拟矢量效率更高. 展开更多

关键词 VLSI 断言 模拟矢量自动生成

在线阅读 下载PDF 职称材料

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

11

作者 李暾 屈婉霞 +2 位作者 郭阳 刘功杰 李思昆 《计算机学报》 EI CSCD 北大核心 2007年第7期1138-1144,共7页

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

关键词 谓词抽象 Verilog约束逻辑编程 模型检验 符号模拟

在线阅读 下载PDF 职称材料

约束逻辑编程中宽数据算术运算算法 被引量：1

12

作者 万海 李暾 +1 位作者 郭阳 李思昆 《计算机工程》 CAS CSCD 北大核心 2003年第22期40-42,50,共4页

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

关键词 约束逻辑编程 GNU PROLOG 宽数据 运算分解

在线阅读 下载PDF 职称材料

扩展的加权约束逻辑程序在产品配置中的应用 被引量：1

13

作者 王洁 安雪妹 刘椿年 《北京工业大学学报》 EI CAS CSCD 北大核心 2012年第1期90-94,共5页

为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推... 为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推理能力,但没有增加计算复杂性.以一个计算机配置实例讨论了扩展的加权约束逻辑程序在产品配置问题中的应用. 展开更多

关键词 加权约束 逻辑程序 稳定模型 产品配置

在线阅读 下载PDF 职称材料

一种可扩展型CLP系统的统一建模方法 被引量：2

14

作者 易军凯 翟性泉 王雪晶 《计算机工程与应用》 CSCD 北大核心 2004年第30期116-119,共4页

约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展... 约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展型约束逻辑程序设计结构系统。为实现可扩展的约束推理搜索系统,引进UML建模语言中用例图、类图和协作图。在建模基础上详细说明了可扩展约束逻辑程序设计中数学模型,搜索引擎和搜索驱动三者间的关系以及它们内部的工作内容。最后在描述系统结构后,提出了可扩展的内容。根据扩展因素,外界为满足更多的需要可扩展本系统的约束过滤器。 展开更多

关键词 约束逻辑程序设计 数学建模 搜索引擎 搜索求解器

在线阅读 下载PDF 职称材料

约束逻辑程序的良基模型研究 被引量：1

15

作者 常万军 郭祖华 魏昆鹏 《计算机工程》 CAS CSCD 2013年第9期298-302,共5页

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

关键词 正规逻辑程序 约束逻辑程序 回答集 最小不动点 良基模型 前缀幂集

在线阅读 下载PDF 职称材料

约束逻辑程序的一个新语义研究 被引量：1

16

作者 张永刚 孙吉贵 《广西师范大学学报（自然科学版）》 CAS 2003年第A01期1-5,共5页

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

关键词 约束逻辑程序 多重回答约束 s-语义

在线阅读 下载PDF 职称材料

一类带不连续约束优化问题的研究及应用 被引量：1

17

作者 张杰 赵丽萍 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第1期16-19,共4页

带不连续约束的非线性优化问题在描述许多工程、经济管理问题时有着广泛的应用,而对这类问题的求解比较复杂.针对约束含跳跃间断点的优化问题进行研究,首先通过连续延拓来构造连续函数,然后通过引入逻辑变量,建立了此类问题的混合整数... 带不连续约束的非线性优化问题在描述许多工程、经济管理问题时有着广泛的应用,而对这类问题的求解比较复杂.针对约束含跳跃间断点的优化问题进行研究,首先通过连续延拓来构造连续函数,然后通过引入逻辑变量,建立了此类问题的混合整数优化模型.作为模型的应用,给出了一个计算实例. 展开更多

关键词 带约束优化问题 逻辑变量 混合整数规划

在线阅读 下载PDF 职称材料

SC-PROLOG解释系统中的约束逻辑程序设计方法 被引量：1

18

作者 林琪 《计算机工程与科学》 CSCD 1997年第1期68-72,共5页

约束逻辑程序设计（ＣＬＰ）方法是提高ＰＲＯＬＯＧ语言效率的一种崭新方法，本文针对ＳＣ┐ＰＲＯＬＯＧ解释系统的实现介绍其相应设计思想，从域变量含义入手，提出了域及约束的存储方法以及约束机制的实现算法。

关键词 约束 逻辑程序设计 域 回朔 约束

在线阅读 下载PDF 职称材料

考虑软逻辑的鲁棒项目调度优化 被引量：1

19

作者 张立辉 李怡菲 +1 位作者 邹鑫 曹蔷楠 《运筹与管理》 CSSCI CSCD 北大核心 2023年第9期28-35,共8页

不确定环境下,基准进度计划的稳定性对项目的顺利实施十分重要,而软逻辑能够在项目遇到扰动时提供更强的自由度和调节能力。本文研究考虑软逻辑的鲁棒项目调度优化问题。首先,分析三种类型的软逻辑对项目工期和解鲁棒性的影响;然后,构... 不确定环境下,基准进度计划的稳定性对项目的顺利实施十分重要,而软逻辑能够在项目遇到扰动时提供更强的自由度和调节能力。本文研究考虑软逻辑的鲁棒项目调度优化问题。首先,分析三种类型的软逻辑对项目工期和解鲁棒性的影响;然后,构建基于软逻辑的双目标鲁棒项目调度优化模型,并设计e-约束算法对其进行求解;最后,通过一个典型的实际案例和蒙特卡洛模拟验证了模型和算法的可行性与有效性,结果表明考虑软逻辑可以使项目工期和解鲁棒性同时得到优化。本文将软逻辑应用于鲁棒项目调度优化问题,能够进一步提高项目调度方案应对不确定性因素干扰的能力。 展开更多

关键词 鲁棒性调度 软逻辑 双目标 e-约束算法

在线阅读 下载PDF 职称材料

一个并发约束程序设计语言的定义与实现

20

作者 廖乐健 曹元大 董国增 《北京理工大学学报》 EI CAS CSCD 北大核心 2004年第3期241-246,共6页

设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起... 设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性. 展开更多

关键词 并发约束程序设计 约束储仓 约束传播 回溯

在线阅读 下载PDF 职称材料