深部地层智能压井多解性分析与优化策略 被引量：1

1

作者 王志远 梁沛智 +3 位作者 陈科杉 仉志 张剑波 孙宝江 《石油钻探技术》 CAS CSCD 北大核心 2024年第2期136-145,共10页

开发深部地层油气资源时普遍存在地质条件复杂、钻井周期长和井筒压力控制困难等问题,采用智能压井方法结合多源实时信息反馈,可实现井筒内气液分布状态和压力变化规律的实时预测与更新,但不同修正系数组合可能得到相同的压力计算结果,... 开发深部地层油气资源时普遍存在地质条件复杂、钻井周期长和井筒压力控制困难等问题,采用智能压井方法结合多源实时信息反馈,可实现井筒内气液分布状态和压力变化规律的实时预测与更新,但不同修正系数组合可能得到相同的压力计算结果,导致模型存在多解性难题。为此,分析了不同历史时间节点解空间形态的演变规律,揭示了模型多解性的本质源于少量数据约束下模型训练的不完善性;并对应建立了基于实时信息序列的模型全局训练优化方法及动态随机种群训练优化方法,测试了其对于模型全局最优解的搜索能力及适用条件。测试结果表明,全局训练优化方法在压井初期能够实现精准调控,但计算耗时较长;而动态随机种群训练优化方法在压井初期与预期值略有差异,但计算耗时较少。根据可用计算资源情况选择合适的训练优化方法,可实现多源实时数据约束下模型关于井筒气液流动规律的深度学习。 展开更多

关键词 深部地层 智能压井方法 模型多解性 多源实时数据约束 训练优化方法

在线阅读 下载PDF 职称材料

考虑经济性和时效性的配送中心选址模型研究 被引量：8

2

作者 董开帆 干宏程 张惠珍 《上海理工大学学报》 CAS 北大核心 2013年第4期336-339,344,共5页

为提高物流系统的服务水平,对具有经济性和时效性的配送中心选址问题进行了研究.以经济费用最小为目标,将客户对送货时间的要求转化为时效性约束条件,构造配送中心选址模型.讨论了求解该选址问题的优化算法——序列二次规划算法(SQP).... 为提高物流系统的服务水平,对具有经济性和时效性的配送中心选址问题进行了研究.以经济费用最小为目标,将客户对送货时间的要求转化为时效性约束条件,构造配送中心选址模型.讨论了求解该选址问题的优化算法——序列二次规划算法(SQP).通过实际算例对选址模型和求解算法的可行性进行了检验.算例结果表明:模型和算法能很好地解决有时效性约束的配送中心选址问题,对提高物流系统的运作效率有积极的意义. 展开更多

关键词 配送中心 时效性约束 选址模型 序列二次规划

在线阅读 下载PDF 职称材料

时间约束下k/N(G)机群任务可用度的建模方法 被引量：4

3

作者 陈光宇 李婧 +2 位作者 刘楠 王惟贤 梁晨宇 《电子科技大学学报》 EI CAS CSCD 北大核心 2014年第6期943-949,共7页

考虑执行任务过程中运行时间和维修时间的约束,提出一种评估k/N(G)机群任务可用度的简便建模方法。构建机群运行过程和时间模型图,分析机群与系统之间运维时间的关系;基于系统任务可用度的解析式,推导出n/N(G)机群任务可用度的解析式;... 考虑执行任务过程中运行时间和维修时间的约束,提出一种评估k/N(G)机群任务可用度的简便建模方法。构建机群运行过程和时间模型图,分析机群与系统之间运维时间的关系;基于系统任务可用度的解析式,推导出n/N(G)机群任务可用度的解析式;选用解析与仿真相结合的方法,建立机群维修过程的随机Petri网模型,结合n/N(G)机群任务可用度的解析式给出模型参数的计算方法;利用已知参数的仿真模型可得时间约束下k/N(G)机群的任务可用度。通过算例分析揭示机群任务可用度随着运行时限、维修时限的变化趋势,以及与无时间约束下k/N(G)机群可用度的差异。 展开更多

关键词 机群 任务可用性 建模 时间约束

在线阅读 下载PDF 职称材料

航空兵协同对海打击时间协同模型研究 被引量：2

4

作者 马海洋 李冬 孙怀亮 《舰船科学技术》 北大核心 2016年第3期147-150,共4页

时间因素在协同作战中作用日益凸显。首先对简单时间约束网络进行了分析,而后根据时间约束网络,对航空兵协同时间约束进行了定量化,将定量时间约束转化为STCN要求的不等式形式,给出了时间协同STCN模型建模的具体流程,最后,建立了基于STC... 时间因素在协同作战中作用日益凸显。首先对简单时间约束网络进行了分析,而后根据时间约束网络,对航空兵协同时间约束进行了定量化,将定量时间约束转化为STCN要求的不等式形式,给出了时间协同STCN模型建模的具体流程,最后,建立了基于STCN的d个协同动作时间约束模型。 展开更多

关键词 航空兵 协同动作 TCN 时间约束模型

在线阅读 下载PDF 职称材料

有人机/无人机编队协同攻击任务分配方法研究 被引量：13

5

作者 刘宏强 魏贤智 +1 位作者 付昭旺 周中良 《电光与控制》 北大核心 2013年第6期16-19,共4页

任务分配方法直接决定协同作战效果。针对有人机/无人机编队协同空战的任务分配问题进行研究,给出时序约束下的任务分解方法,采用改进的合同网协议建立任务分配模型,通过引入熟人库来提高任务分配的效率,通过引入任务有效性和黑板机制... 任务分配方法直接决定协同作战效果。针对有人机/无人机编队协同空战的任务分配问题进行研究,给出时序约束下的任务分解方法,采用改进的合同网协议建立任务分配模型,通过引入熟人库来提高任务分配的效率,通过引入任务有效性和黑板机制来实现对时序任务的处理,最后对任务分配算法进行仿真。结果表明任务分配方法是可行的。 展开更多

关键词 有人机 无人机编队 任务分配 合同网协议 时序约束 黑板模型

在线阅读 下载PDF 职称材料

基于吱呀轮优化的多卫星数传调度问题求解方法 被引量：10

6

作者 经飞 王钧 +2 位作者 李军 陈浩 景宁 《宇航学报》 EI CAS CSCD 北大核心 2011年第4期863-870,共8页

研究多卫星数传调度技术对提高对地观测系统的综合应用效益具有重要意义。通过分析卫星数传调度问题,建立一种考虑时间窗调整的约束优化模型。利用吱呀轮优化(Squeaky-Wheel Optimization,SWO)的大邻域导向式搜索特点,提出了一种基于SW... 研究多卫星数传调度技术对提高对地观测系统的综合应用效益具有重要意义。通过分析卫星数传调度问题,建立一种考虑时间窗调整的约束优化模型。利用吱呀轮优化(Squeaky-Wheel Optimization,SWO)的大邻域导向式搜索特点,提出了一种基于SWO的多卫星数传调度算法。该算法可以在短时间内获得优化解。实验结果表明,该算法在时间性、优化度等方面取得满意的结果。 展开更多

关键词 地面站 卫星数传调度 时间窗调整 约束优化模型 SWO算子

在线阅读 下载PDF 职称材料

卫星控制系统时序建模分析方法研究 被引量：7

7

作者 王磊 袁利 戴居峰 《空间控制技术与应用》 2014年第3期31-35,共5页

分析国内外卫星控制系统时序分析与设计方法和方法的现状,阐述了对时序进行数学建模的重要性.提出了针对时序设计过程的数学建模分析方法和时序描述的工作流图方法,通过系统性的时序建模,可求解出时序过程中的所有时间参数,以便用于时... 分析国内外卫星控制系统时序分析与设计方法和方法的现状,阐述了对时序进行数学建模的重要性.提出了针对时序设计过程的数学建模分析方法和时序描述的工作流图方法,通过系统性的时序建模,可求解出时序过程中的所有时间参数,以便用于时序分析和指导时序测试. 展开更多

关键词 卫星 控制系统 时序模型 时序约束

在线阅读 下载PDF 职称材料

基于自适应多态蚁群算法的多约束车辆路径问题 被引量：13

8

作者 陈美军 张志胜 史金飞 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第1期37-42,共6页

建立了在有客户优先级、路况影响、多车型、时间窗和容量等多约束条件下车辆路径问题(VRPMC)的数学模型.由于该模型是一个NP-hard问题,目前还没有多项式算法求解,又提出了采用自适应的多态蚁群算法(APACA)来对其进行求解的策略.首先,算... 建立了在有客户优先级、路况影响、多车型、时间窗和容量等多约束条件下车辆路径问题(VRPMC)的数学模型.由于该模型是一个NP-hard问题,目前还没有多项式算法求解,又提出了采用自适应的多态蚁群算法(APACA)来对其进行求解的策略.首先,算法中侦察蚁完成满足约束条件的路径侦察并设置侦察信息素;其次,搜索蚁利用侦察蚁提供的辅助信息进一步搜索可行路径,通过多态蚂蚁间的协作和自适应调整挥发系数,能更快地搜索到问题的优化解;最后通过一个实例与节约算法、遗传算法、禁忌搜索算法和基本蚁群算法进行了对比,结果表明:对VR-PMC问题,APACA算法比前述算法在算法稳定性、运行距离、计算速度方面更具有优势. 展开更多

关键词 车辆路径问题 时间窗 多约束 数学模型 自适应多态蚁群算法

在线阅读 下载PDF 职称材料

用于汽车动力学实时仿真的悬架建模方法的研究 被引量：7

9

作者 管欣 吴振昕 詹军 《汽车工程》 EI CSCD 北大核心 2007年第5期433-436,共4页

针对汽车动力学实时仿真的要求提出一种新的悬架建模方法—复合约束隔离解耦建模方法。将悬架系统视为连接车身和车轮之间的无质量复合约束,基于这个概念建立的悬架系统模型,由于实现有质量刚体的相互隔离及代数方程与微分方程的解耦,... 针对汽车动力学实时仿真的要求提出一种新的悬架建模方法—复合约束隔离解耦建模方法。将悬架系统视为连接车身和车轮之间的无质量复合约束,基于这个概念建立的悬架系统模型,由于实现有质量刚体的相互隔离及代数方程与微分方程的解耦,提高了模型求解效率。应用该方法建立的悬架模型,由于是面向结构的模型,因而可较为准确地描述悬架动态特性,同时由于求解效率的提高又能够满足仿真实时性的要求。 展开更多

关键词 实时仿真 悬架模型 复合约束 隔离解耦

在线阅读 下载PDF 职称材料

一种基于Ontology的WEB服务时间约束定义及验证方法 被引量：1

10

作者 刘如娟 陈俊杰 +1 位作者 王立军 谢红薇 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2009年第6期158-164,共7页

针对目前面向服务计算(SOC)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法。该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时... 针对目前面向服务计算(SOC)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法。该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时间本体(Time Ontology),全面地刻画了服务的基本时间约束。扩展已有的Petri网本体,增强其描述能力,使其能够描述服务数据及时间信息,并定义了在OWL-S上定义的时间本体与Pe-tri网时间本体间的关系。根据模型检测理论,通过扩展OWL-API,将附加时间属性的OWL-S的服务描述本体转换为Petri网的标准格式PNML文件,建立起扩展时间属性的Web服务模型与形式化模型时间约束Petri网(TCPN)间的映射关系。该方法很好地描述了服务时间约束,为后续的基于TCPN的服务时间形式化验证打下了坚定的基础。 展开更多

关键词 时间本体 Petri网本体 时间约束PETRI网 模型检测

在线阅读 下载PDF 职称材料

煤与瓦斯共采非线性约束多变量时空协同优化模型 被引量：4

11

作者 秦冰 郝建峰 +3 位作者 梁冰 孙维吉 秦新伟 李存洲 《煤炭学报》 EI CAS CSCD 北大核心 2019年第S02期593-600,共8页

实现煤与瓦斯共采是深部煤炭资源开采的必然途径。我国煤与瓦斯共采技术的工程应用已有雏形,但目前为止还未形成有效性、科学性、针对性的煤与瓦斯共采技术相配套的煤与瓦斯共采基础理论体系。由于煤与瓦斯共采的时效性、协同性差,瓦斯... 实现煤与瓦斯共采是深部煤炭资源开采的必然途径。我国煤与瓦斯共采技术的工程应用已有雏形,但目前为止还未形成有效性、科学性、针对性的煤与瓦斯共采技术相配套的煤与瓦斯共采基础理论体系。由于煤与瓦斯共采的时效性、协同性差,瓦斯抽采效率低,生产接替关系紧张,导致还没有达到抽采效果就不得不开始采煤,给开采造成较大的安全隐患,瓦斯抽采量、煤炭开采量、抽采时间、采煤与抽采瓦斯如何衔接等目前还不清楚。煤与瓦斯共采中,为了在追求两种资源的总体收益最大化同时,满足煤炭、瓦斯资源采出率最大化,寻找最优的煤炭采出量和瓦斯抽采量,使得煤炭开采系统和瓦斯抽采系统由无序变为有序的协同。采用协同学、系统优化理论建立煤炭开采与瓦斯抽采协同作用模型,在满足煤炭开采安全规程和瓦斯抽采达标等规范要求前提下,以煤与瓦斯共采中煤炭开采、采前瓦斯预抽、采中瓦斯抽采、采空区瓦斯抽采等各个阶段关键的时间点、空间点的煤炭回采与瓦斯抽采两子系统间相互促进和相互制约关系为约束条件,选取煤炭资源采出率、瓦斯资源采收率以及经济效益最大化为煤与瓦斯共采优化目标函数,其中考虑开采成本、销售价格、安全因素和宏观政策等因素,以煤炭采出量xc和采前瓦斯预抽量xg1、采中瓦斯抽采量xg2、采空区瓦斯抽采量xg3、风排瓦斯量Qfp、采空区回采时间tchc、工作面瓦斯预抽时间ty、平均日产量A为优化变量,建立煤与瓦斯共采约束非线性多变量时空协同优化模型,并编制共采优化求解程序。优化了沙曲矿24207共采工作面,提高了资源采收率和效益,验证该模型的有效性,实现有理论依据的煤与瓦斯时空协同采。 展开更多

关键词 煤与瓦斯共采 时空协同 非线性约束 多变量 优化模型

在线阅读 下载PDF 职称材料

大规模设备协同中的时间建模与验证 被引量：1

12

作者 荣晓慧 马世龙 +1 位作者 邓攀 陈峰 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2012年第1期91-97,共7页

针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时... 针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时间区间属性,实现了对状态维持时间的建模.在此模型的基础上,给出了大规模设备协同中4种基本结构的时间计算方法,并通过结构等价,将基本结构等价为一个连接符,从而实现了一个设备协同模型中所有节点的时间计算;并给出了大规模设备协同中的时间约束验证规则.通过相关比较及实验分析,验证了该方法具有更高的准确度,计算偏差较低且稳定,能够满足大规模设备协同系统的性能要求. 展开更多

关键词 大规模设备协同 时间建模 时间约束验证

在线阅读 下载PDF 职称材料

带严格时间限制的大宗物资运输模型及算法 被引量：1

13

作者 陆朝荣 刘新建 黄永平 《运筹与管理》 CSCD 2005年第6期57-59,63,共4页

阐述了带严格时间限制的大宗物资运输问题的特性,应用目标规划建立了单个发点多收点问题的数学模型,根据模型约束条件多的特点,给出了求解算法,并编制了相应的计算机程序。

关键词 时间限制 大宗物资 运输 模型 算法

在线阅读 下载PDF 职称材料

基于人工蜂群算法的中继卫星任务调度研究 被引量：9

14

作者 开彩红 肖瑶 方青 《电子与信息学报》 EI CSCD 北大核心 2015年第10期2466-2474,共9页

研究中继卫星任务调度问题可以为跟踪与数据中继卫星系统(TDRSS)的任务计划编排提供科学合理的决策方法,任务调度模型的建立与调度算法的设计是中继卫星任务调度的两个关键问题。该文针对中继卫星任务调度问题特点,综合考虑中继卫星与... 研究中继卫星任务调度问题可以为跟踪与数据中继卫星系统(TDRSS)的任务计划编排提供科学合理的决策方法,任务调度模型的建立与调度算法的设计是中继卫星任务调度的两个关键问题。该文针对中继卫星任务调度问题特点,综合考虑中继卫星与用户航天器之间具有可见时间窗、用户提交的任务属性、中继卫星前向资源受限等约束条件,建立了中继卫星任务调度约束规划模型并提出基于人工蜂群(ABC)算法的中继卫星任务调度算法。最后,通过仿真数据分析,表明基于人工蜂群算法的中继卫星任务调度算法是一种有效的、合理的调度方法。 展开更多

关键词 中继卫星任务调度 可见时间窗 任务属性 约束规划模型 人工蜂群算法

在线阅读 下载PDF 职称材料

原油混输调度的模型法研究 被引量：4

15

作者 周祥 郭锦标 +1 位作者 周涵 梁彬华 《石油炼制与化工》 CAS CSCD 北大核心 2008年第1期49-52,共4页

采用约束规划方法建立原油混输模型,利用深度优先搜索策略对模型进行求解获得可行的调度方案。根据混输调度的实际情况,确立一种连续时间方法解决时间因素的表征问题,采用分段法解决管存油量大的问题。对时间跨度为300 h的原油混输问题... 采用约束规划方法建立原油混输模型,利用深度优先搜索策略对模型进行求解获得可行的调度方案。根据混输调度的实际情况,确立一种连续时间方法解决时间因素的表征问题,采用分段法解决管存油量大的问题。对时间跨度为300 h的原油混输问题进行分析的结果表明,对于规模较大的模型(7 649个变量和13 918条约束),能在较短的时间内(小于30 s)获得可行的调度方案;该方案有利于保证蒸馏装置的平稳运行,且满足了特殊油种的存储和加工要求。 展开更多

关键词 石油输送 调度 模型 约束规划 连续时间 分段法

在线阅读 下载PDF 职称材料

铁路信号安全关键软件形式化建模 被引量：6

16

作者 李耀 郭进 +1 位作者 杨扬 马亮 《铁道学报》 EI CAS CSCD 北大核心 2017年第9期74-80,共7页

针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形式化规范和时钟约束的问题,扩展出具有时钟属性的Timed SyncCharts建模方法。首先,采用Z语言系统地给出了... 针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形式化规范和时钟约束的问题,扩展出具有时钟属性的Timed SyncCharts建模方法。首先,采用Z语言系统地给出了Timed SyncCharts的形式化定义;其次,结合Timed SyncCharts的组件元素,确定Timed SyncCharts的宏步转移机制;然后,提出将Timed SyncCharts转化为Kripke结构的规则,保证了模型分析的可行性;最后,建立计算机联锁软件道岔定位需求的Timed SyncCharts模型,证明该方法的可行性和有效性。 展开更多

关键词 安全关键软件 形式化建模 时钟约束 timeD SyncCharts Kripke 计算机联锁

在线阅读 下载PDF 职称材料

复杂约束下的导弹作战任务规划模型和算法研究 被引量：9

17

作者 杨萍 毕义明 +1 位作者 肖海波 顾立林 《指挥控制与仿真》 2009年第2期14-17,41,共5页

导弹作战任务规划是一个涉及时间、资源、质量和其他关系约束的复杂问题。首先通过定义约束满足效用对基本约束满足模型进行了扩展,建立了导弹任务规划的约束满足优化模型。在此基础上,研究了任务规划模型求解的时间和效用传播算法,提... 导弹作战任务规划是一个涉及时间、资源、质量和其他关系约束的复杂问题。首先通过定义约束满足效用对基本约束满足模型进行了扩展,建立了导弹任务规划的约束满足优化模型。在此基础上,研究了任务规划模型求解的时间和效用传播算法,提出了基于综合效用的优化求解框架。该模型和求解框架易于解决具有多种约束因素的复杂问题,具有较好的通用性。通过定义软、硬约束效用,使得实际任务规划问题求解具有更好的灵活性。 展开更多

关键词 导弹作战任务规划 约束满足优化模型 约束效用 时间传播算法 效用传播算法

在线阅读 下载PDF 职称材料

基于OWL时间本体的工作流建模与验证 被引量：2

18

作者 何庆 汤庸 黄永钊 《通信学报》 EI CSCD 北大核心 2006年第11期36-41,共6页

提出了一种基于OWL时间本体的工作流模型,将OWL时间本体引入到工作流模型的描述中,可以方便地表示工作流中的时态信息和时态约束。在工作流管理系统中加入基于本体的规则后推理机可以检测工作流中的时态约束是否满足,同时推理机还可以... 提出了一种基于OWL时间本体的工作流模型,将OWL时间本体引入到工作流模型的描述中,可以方便地表示工作流中的时态信息和时态约束。在工作流管理系统中加入基于本体的规则后推理机可以检测工作流中的时态约束是否满足,同时推理机还可以自动检测工作流信息的一致性和有效性。 展开更多

关键词 工作流模型 OWL时间本体 XPDL 时态约束

在线阅读 下载PDF 职称材料

基于嵌套赋时多色图的工作流模型

19

作者 闫崇京 廖文和 +1 位作者 郭宇 程筱胜 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第6期794-799,共6页

为了满足扩散制造流程建模中递阶分层结构的定义和不确定运行时间的表达,通过对多色图的研究和改进,提出嵌套赋时多色图,用以构建扩散制造中的工作流模型。在此基础之上,给出工作流结构约束规则,检查结构可达性、合理性、输入/输出惟一... 为了满足扩散制造流程建模中递阶分层结构的定义和不确定运行时间的表达,通过对多色图的研究和改进,提出嵌套赋时多色图,用以构建扩散制造中的工作流模型。在此基础之上,给出工作流结构约束规则,检查结构可达性、合理性、输入/输出惟一性等,避免流程模型中出现不良结构。在流程时间分析中,利用基本结构的时间计算求解流程整体时间。引入时间裕度的概念,并在时间维分解任务节点,将多色图映射为时间距离图。利用Floyd-Warshall算法判断时间一致性,进而确定任务起止时间。以某装备的贮箱部件扩散制造为例,对方法进行了验证。 展开更多

关键词 工作流模型 建模 时间约束 多色图

在线阅读 下载PDF 职称材料

基于时间约束的多品种冷链共同配送模型 被引量：3

20

作者 丁雪峰 汪莉亚 《物流技术》 北大核心 2013年第7期173-176,共4页

针对物流配送中冷链食品配送的特殊性,在满足不同需求地对不同产品配送时间要求的前提下,以包括运输成本、配送中心固定成本、冷藏成本、惩罚成本以及仓储成本等在内的总成本最低为目标,基于共同配送视角构建了考虑时间约束的多品种冷... 针对物流配送中冷链食品配送的特殊性,在满足不同需求地对不同产品配送时间要求的前提下,以包括运输成本、配送中心固定成本、冷藏成本、惩罚成本以及仓储成本等在内的总成本最低为目标,基于共同配送视角构建了考虑时间约束的多品种冷链食品配送的系统优化模型,并借助优化建模软件LINGO,对数值算例进行了优化求解,验证了本文模型的合理性与有效性,为冷链物流中多品种配送系统的优化设计提供有价值的理论指导。 展开更多

关键词 时间约束 多品种冷链物流 共同配送 模型优化

在线阅读 下载PDF 职称材料