对具有时间转换约束网络模型的特性研究 被引量：3

1

作者 李星梅 张倩 +1 位作者 乞建勋 赵新超 《系统工程学报》 CSCD 北大核心 2013年第3期394-402,共9页

传统的网络技术规定工序可以在任意时刻开始,但是在现实的工程中由于时间转换约束的存在,活动很少在满足优先关系约束后在任意时刻开始.本文主要是在时间转换约束模型网络的基础上,提出时间转换约束对网络关键线路的影响,并对网络的传... 传统的网络技术规定工序可以在任意时刻开始,但是在现实的工程中由于时间转换约束的存在,活动很少在满足优先关系约束后在任意时刻开始.本文主要是在时间转换约束模型网络的基础上,提出时间转换约束对网络关键线路的影响,并对网络的传递性进行了分析,得出传递量推算过程.最后通过算例验证了其准确性. 展开更多

关键词 网络 时间转换约束 关键路线 传递性

在线阅读 下载PDF 职称材料

多种费用下具有时间转换约束的工期费用均衡项目调度研究 被引量：4

2

作者 张静文 徐渝 何正文 《运筹与管理》 CSCD 北大核心 2009年第3期78-84,共7页

传统离散时间—费用均衡项目调度问题DTCTP未考虑各个活动执行时间差别,本文将时间转换约束引入传统DTCTP,同时考虑项目间接费用和联系合同双方的奖惩费用,形成多种费用条件下具有活动类型时间转换约束的工期—费用均衡项目调度模型DTCT... 传统离散时间—费用均衡项目调度问题DTCTP未考虑各个活动执行时间差别,本文将时间转换约束引入传统DTCTP,同时考虑项目间接费用和联系合同双方的奖惩费用,形成多种费用条件下具有活动类型时间转换约束的工期—费用均衡项目调度模型DTCTPTSC,并对模型进行优化分析。实例结果表明,间接费用率对工期—费用决策产生影响的阈值减小,业主设置的奖惩因子对承包商的激励约束效果具有区间响应特点;进一步从业主和承包商双方角度探讨了奖惩因子的取值对各自行为的影响,分析结果对双方在项目谈判过程中具有借鉴意义。 展开更多

关键词 运筹学 项目调度 工期-费用均衡 时间转换约束 多种费用

在线阅读 下载PDF 职称材料

基于学习效应及时间转换约束双重作用下项目网络模型研究 被引量：2

3

作者 李星梅 张倩 +1 位作者 赵新超 乞建勋 《管理工程学报》 CSSCI 北大核心 2015年第2期63-69,共7页

具有时间转化约束项目网络是对传统网络的创新,其考虑了时间转换约束对项目网络的影响。但是,在已有时间转换约束项目网络的研究过程中都是假设在整个工期内工作效率是固定不变的,忽略了人为因素。而人在工作过程中具有学习效应,即随着... 具有时间转化约束项目网络是对传统网络的创新,其考虑了时间转换约束对项目网络的影响。但是,在已有时间转换约束项目网络的研究过程中都是假设在整个工期内工作效率是固定不变的,忽略了人为因素。而人在工作过程中具有学习效应,即随着时间的推移人由对活动的生疏逐渐到能够熟练完成活动,在这个过程中工作效率也有了很大的提高。本文在前人研究的基础上,考虑了人的行为因素对具有时间转换约束网络的影响,给出了在人的学习效应和时间转换约束双重作用下的机动时间的计算公式,进而给出工序持续时间的计算公式,并在此基础上建立了网络关键线路的变化模型。最后,通过实例验证了该模型的有效性和合理性。 展开更多

关键词 时间转换约束 学习效应 工作效率 人为因素

在线阅读 下载PDF 职称材料

基于特征约束语义的夹具自动装配技术研究 被引量：1

4

作者 陆春月 《机床与液压》 北大核心 2011年第13期125-127,130,共4页

为提高夹具装配的准确性与效率,采用了一种基于特征约束语义的自动装配方法。该方法利用参数化技术建立夹具的三维模型元件库,定义了特征约束语义的描述方法。通过约束转换,用程序自动将基于特征约束的装配转换为基于几何约束的装配,从... 为提高夹具装配的准确性与效率,采用了一种基于特征约束语义的自动装配方法。该方法利用参数化技术建立夹具的三维模型元件库,定义了特征约束语义的描述方法。通过约束转换,用程序自动将基于特征约束的装配转换为基于几何约束的装配,从而实现快速装配。并开发了原型系统,验证了该方法的有效性。 展开更多

关键词 夹具 特征约束语义 约束转换 快速装配

在线阅读 下载PDF 职称材料

基于混合离散粒子群优化的Slew约束下X结构Steiner最小树算法 被引量：6

5

作者 刘耿耿 黄逸飞 +2 位作者 王鑫 郭文忠 陈国龙 《计算机学报》 EI CAS CSCD 北大核心 2021年第12期2542-2559,共18页

Steiner最小树是超大规模集成电路中布线阶段的最佳模型,进一步考虑能够有效防止信号失真的电压转换速率(Slew)约束这一个更为贴近实际芯片设计模型和更具线长优化能力的X结构,首次提出基于混合离散粒子群优化的Slew约束下X结构Steiner... Steiner最小树是超大规模集成电路中布线阶段的最佳模型,进一步考虑能够有效防止信号失真的电压转换速率(Slew)约束这一个更为贴近实际芯片设计模型和更具线长优化能力的X结构,首次提出基于混合离散粒子群优化的Slew约束下X结构Steiner最小树算法.首先,为了避免频繁的Slew约束计算,提出了高效的预处理策略,并且提出一种能够有效考虑Slew约束的针对性的惩罚机制.其次,为了能够有效求解该离散问题,基于遗传算子重新设计了粒子群优化算法的离散更新机制,并提出一种更适合遗传算子的引脚对编码方式.然后,为了进一步优化布线树的长度,提出一种有效的精炼策略.最终,提出一种混合修正策略以完全满足Slew约束.实验表明,所提算法可完全满足电压转换速率约束并取得同类工作中最佳的布线结果. 展开更多

关键词 粒子群优化 STEINER树 电压转换速率约束 X结构 超大规模集成电路

在线阅读 下载PDF 职称材料

考虑Pareto最优的列车运行图与维修天窗协调优化 被引量：6

6

作者 张哲铭 何世伟 +3 位作者 李光晔 赵子琪 王攸妙 周汉 《铁道科学与工程学报》 EI CAS CSCD 北大核心 2024年第3期949-958,共10页

列车运行图与维修天窗之间的冲突始终无法避免,且维修天窗开设时间的长短显著影响列车总运行时间。针对此问题,综合考虑维修天窗对列车运行造成的限速约束、车站到发线数量约束等,建立列车总运行时间最小,以及维修天窗实际开设时长与理... 列车运行图与维修天窗之间的冲突始终无法避免,且维修天窗开设时间的长短显著影响列车总运行时间。针对此问题,综合考虑维修天窗对列车运行造成的限速约束、车站到发线数量约束等,建立列车总运行时间最小,以及维修天窗实际开设时长与理想时长总偏差最小的双目标混合整数规划模型;对困难约束设置中间辅助变量将模型线性化以提高求解效率,并设计约束转换算法求解双目标模型的Pareto最优;微观化处理铁路线,将站内资源和站间资源细化为一系列行车资源单元,得到更加符合实际旅客运输需求的运行图。以某地区铁路线夜间开行列车及维修天窗开设计划为研究背景,调用商业软件求解双目标函数模型的Pareto最优,并对双目标模型的最小支配解和最优支配解进行对比分析;针对最优支配解下的列车进入、离开行车资源单元的时间、停站作业时间及维修天窗的开始时间及开设时长,绘制列车运行图。求解结果表明:模型在满足维修天窗最小开设时长的同时,能够兼顾列车运行总时间最小和维修天窗开设时长更充裕。基于最优支配解绘制的列车运行图表明:微观路网下的列车运行时刻表优化结果更符合实际旅客运输生产作业需要。研究结果可为铁路运营管理部门进一步优化列车运行图编制与维修天窗开设提供参考。 展开更多

关键词 铁路运输 列车运行图 维修天窗 到发线数量 约束转换算法 PARETO最优

在线阅读 下载PDF 职称材料

基于GMEC转换算法的Petri网结构控制器综合方法

7

作者 郁希 黎良 《计算机应用研究》 CSCD 北大核心 2023年第10期3059-3063,3090,共6页

针对含不可控变迁Petri网系统禁止状态控制器设计问题,提出了一种基于矩阵变换和整数线性规划的结构控制器综合方法。该方法的关键是对代表系统合法状态的广义互斥约束(generalized mutual exclusion constraint,GMEC)进行转换。首先,根... 针对含不可控变迁Petri网系统禁止状态控制器设计问题,提出了一种基于矩阵变换和整数线性规划的结构控制器综合方法。该方法的关键是对代表系统合法状态的广义互斥约束(generalized mutual exclusion constraint,GMEC)进行转换。首先,根据Petri网系统的关联矩阵,将库所集分为无关库所集、不可控库所集和补足库所集。其次,通过对非允许GMEC中补足库所的权值和不可控库所的权值进行处理,并运用整数线性规划将非允许GMEC转换为允许GMEC。在允许GMEC的基础上,根据库所不变量原理设计出Petri网系统的结构控制器。最后,以某零件加工系统为例验证了所提方法的泛用性和高效性,为实际智能制造系统的监督控制器设计提供有效参考方案。 展开更多

关键词 监督控制 离散事件系统 PETRI网 约束转换

在线阅读 下载PDF 职称材料

批式流加发酵中的鲁棒脉冲时滞最优控制

8

作者 宫召华 时郭庆 《石河子大学学报（自然科学版）》 CAS 北大核心 2024年第3期376-382,共7页

本文研究了批式流加发酵中的鲁棒脉冲时滞最优控制问题。首先,提出一个非线性状态依赖的脉冲时滞系统描述批式流加发酵甘油生产1,3-丙二醇(1,3-PD)过程。由于批式流加发酵过程中的动力学参数难以准确估计,本文建立了一个具有连续状态不... 本文研究了批式流加发酵中的鲁棒脉冲时滞最优控制问题。首先,提出一个非线性状态依赖的脉冲时滞系统描述批式流加发酵甘油生产1,3-丙二醇(1,3-PD)过程。由于批式流加发酵过程中的动力学参数难以准确估计,本文建立了一个具有连续状态不等式约束的鲁棒脉冲时滞最优控制模型。这里,目标函数为终端时刻1,3-PD浓度及其关于动力学参数的灵敏性的加权和,控制向量为流加发生时甘油的临界浓度及每次流加时甘油的流加体积。然后,通过引入辅助脉冲系统,将该鲁棒最优控制问题转化为等价的标准最优控制问题。进一步,通过约束转换技术,将等价的最优控制问题转化为仅具有盒式约束的罚问题。最后,设计了一种并行差分进化算法求解转化后的罚问题。数值结果表明:当参数受到微小扰动时,尽管牺牲了少量的1,3-PD浓度,但是明显提高了系统的鲁棒性。 展开更多

关键词 非线性脉冲系统 最优控制 约束转换 差分进化算法 批式流加发酵

在线阅读 下载PDF 职称材料

基于对象的分布式实时系统调度模型研究 被引量：5

9

作者 董荣胜 赵岭忠 +1 位作者 蔡国永 古天龙 《计算机研究与发展》 EI CSCD 北大核心 2002年第11期1464-1470,共7页

为了解决分布式实时系统有关分配和调度等问题 ,给出并用形式化方法描述了一种基于对象分布式实时系统调度的通用模型 .该模型包括表示时限的绝对时间约束、表示周期属性的周期约束、表示各种前趋关系和同步要求的相对时间约束以及保证... 为了解决分布式实时系统有关分配和调度等问题 ,给出并用形式化方法描述了一种基于对象分布式实时系统调度的通用模型 .该模型包括表示时限的绝对时间约束、表示周期属性的周期约束、表示各种前趋关系和同步要求的相对时间约束以及保证资源使用一致性的一致性约束 .此外该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时约束的不足 ,允许从方法和活动上描述所需的约束 ,降低了单一约束描述的繁杂程度 .为了能够使用现有调度算法进行任务调度 ,讨论了约束转换的问题 ,给出了高层约束到底层约束的转换规则和相应的转换算法 . 展开更多

关键词 对象 分布式实时系统 调度模型 实时约束 约束转换 多处理机 程序设计

在线阅读 下载PDF 职称材料

一种Petri网禁止状态控制器综合方法 被引量：2

10

作者 郝真鸣 雷帅帅 +1 位作者 刘军堂 郝晋渊 《电子测量与仪器学报》 CSCD 北大核心 2022年第1期180-187,共8页

针对含有不可控变迁Petri网的禁止状态问题,提出了一种基于整数线性规划的控制器综合方法,该方法适用于任意普通Petri网模型。首先,根据Petri网的结构特性构建所有不可控变迁应满足的约束条件集合,其次通过求解整数线性规划问题将给定... 针对含有不可控变迁Petri网的禁止状态问题,提出了一种基于整数线性规划的控制器综合方法,该方法适用于任意普通Petri网模型。首先,根据Petri网的结构特性构建所有不可控变迁应满足的约束条件集合,其次通过求解整数线性规划问题将给定的线性约束转换为允许线性约束;最后,利用库所不变量方法设计控制器将转换后的约束综合到Petri网中。以某零件加工系统为例进行实验,实验结果表明,提出的方法简单高效,对实际自动制造系统的禁止状态监控问题具有一定借鉴意义。 展开更多

关键词 PETRI网 禁止状态 约束转换 自动制造系统

在线阅读 下载PDF 职称材料

协同短期调度的新能源电力系统月度机组组合模型与快速求解方法 被引量：31

11

作者 元一平 王建学 +3 位作者 周锟 王秀丽 王学斌 张舒捷 《中国电机工程学报》 EI CSCD 北大核心 2019年第18期5336-5345,5580,共11页

为实现多时间尺度下新能源电力系统经济、灵活运行与发电资源最优性配置,该文考虑月度机组组合与短期调度之间的层次衔接关系,提出协同短期调度的月度机组组合模型与高效求解算法。首先,结合风电短期随机不确定性与长期相关不确定性之... 为实现多时间尺度下新能源电力系统经济、灵活运行与发电资源最优性配置,该文考虑月度机组组合与短期调度之间的层次衔接关系,提出协同短期调度的月度机组组合模型与高效求解算法。首先,结合风电短期随机不确定性与长期相关不确定性之间的概率统计规律,提出基于非参数核密度估计与自回归滑动平均分析的新能源出力模拟方法;在此基础上,通过协调月度机组群开停机计划与短期调度的互动关系,构建协同短期调度的多场景月度机组组合模型。其次,针对该混合整数线性规划模型的计算复杂性问题,利用约束转换技术与松弛诱导技术,提出一种基于分支—定界原理的改进求解策略。最后,结合某省区电网进行实际算例对比分析,论证协同短期调度的月度机组组合模型与求解算法的有效性。 展开更多

关键词 风电出力模拟 月度机组组合 松弛诱导技术 约束转换技术

在线阅读 下载PDF 职称材料

基于空铁联运OD服务频率优化的航班时刻表调整模型 被引量：10

12

作者 梅正男 聂磊 +1 位作者 任广建 可钰 《铁道科学与工程学报》 EI CAS CSCD 北大核心 2022年第12期3581-3589,共9页

提高空铁联运起讫点(Origin-Destination,OD)的服务频率对于培育联运客流具有重要意义。针对铁路能力紧张、机场时刻资源富裕的换乘枢纽,考虑“高铁接续航空”(H-A接续)与“航空接续高铁”(A-H接续)的双向空铁联运,固定铁路列车时刻表,... 提高空铁联运起讫点(Origin-Destination,OD)的服务频率对于培育联运客流具有重要意义。针对铁路能力紧张、机场时刻资源富裕的换乘枢纽,考虑“高铁接续航空”(H-A接续)与“航空接续高铁”(A-H接续)的双向空铁联运,固定铁路列车时刻表,考虑航班优先级。以单跑道机场为研究背景,固定重点航班在枢纽机场的起降时刻。基于原始航班时刻表,考虑机场航班调度规则,包括尾流间隔约束、起降顺序约束、位置偏移约束、起降时间约束、换乘时间约束、机场小时容量约束和同航线不超越约束。在可接受的范围调整普通航班在枢纽机场的起降时刻,构建OD服务频率最大、航班时刻表调整量最小的双目标整数规划模型,针对模型特点设计约束转换算法求解。以石家庄正定机场为案例,根据某日93架航班的实际时刻表数据,运用ILOG CPLEX求解优化后的航班时刻表。当调整时间窗宽度取值10 min时,帕累托最优前沿的终点,OD服务频率提高9.55%,时刻表总调整时间为58 min,偏移量大于3 min的航班仅6架次,每架航班在换乘枢纽机场的平均调整时间为0.78 min。研究结果表明:模型在优化服务频率的同时,能够保持航班时刻表的稳定性。为给机场运营方提供更好的选择,使其可以基于机场实际情况选择时间窗宽度以优化空铁联运OD服务频率,求解不同宽度的时间窗对应的帕累托最优前沿终点以进行灵敏度分析。 展开更多

关键词 交通运输规划与管理 空铁联运 整数规划 航班时刻表 OD服务频率 约束转换算法

在线阅读 下载PDF 职称材料

循环经济的均衡模型与发展路径分析 被引量：7

13

作者 程启智 向宏桥 徐楷 《中南财经政法大学学报》 CSSCI 北大核心 2007年第5期19-25,共7页

随着人口的增长以及生产力的发展,自然资源和生态环境已从相对过剩演变为严重稀缺,有限的生态环境与无限的物质追求之间的矛盾上升为人类社会面对的普遍矛盾。影响人们效用的因素除了物质产品以外,生态环境和自然资源也是重要因素。人... 随着人口的增长以及生产力的发展,自然资源和生态环境已从相对过剩演变为严重稀缺,有限的生态环境与无限的物质追求之间的矛盾上升为人类社会面对的普遍矛盾。影响人们效用的因素除了物质产品以外,生态环境和自然资源也是重要因素。人们追求生态效用最大化又会受到物质产品与生态环境之间的技术转换生态约束。文章通过反思传统效用理论的缺陷,构造生态效用函数,建立了循环经济均衡模型,以找出实现循环经济均衡的条件,以及循环经济发展的路径。 展开更多

关键词 生态效用 技术转换生态约束 循环经济

在线阅读 下载PDF 职称材料

含不可观和不可控变迁Petri网的控制器综合方法

14

作者 郝晋渊 高丽敏 +2 位作者 冉宁 黄淼 郝真鸣 《河北大学学报（自然科学版）》 CAS 北大核心 2023年第5期517-524,共8页

针对同时含有不可观和不可控事件的离散事件系统禁止状态问题,提出了一种基于整数线性规划的控制器综合方法.首先,依据Petri网的结构特性构建所有不可观变迁及不可控变迁需满足的线性约束条件集合,将给定约束条件抽象为整数线性规划问题... 针对同时含有不可观和不可控事件的离散事件系统禁止状态问题,提出了一种基于整数线性规划的控制器综合方法.首先,依据Petri网的结构特性构建所有不可观变迁及不可控变迁需满足的线性约束条件集合,将给定约束条件抽象为整数线性规划问题.其次,通过求解整数线性规划问题得到允许线性约束.最后,基于库所不变量的方法设计控制器并将转换后的允许线性约束综合到Petri网中.实验仿真表明提出的方法简单高效,能够保障系统不进入禁止状态,对离散事件系统监控问题具有理论指导意义. 展开更多

关键词 PETRI网 禁止状态 约束转换 整数线性规划

在线阅读 下载PDF 职称材料

基于Petri网的事件协调控制方法研究

15

作者 方欢 王苏城 +1 位作者 方贤文 王丽丽 《计算机科学》 CSCD 北大核心 2016年第11期107-110,116,共5页

事件的协调控制是离散事件系统中一项重要的研究内容,同时包含资源约束和事件约束的混杂约束更是系统设计的难点问题。以DES系统的加权Petri网模型为基础,以DES中变迁库所混杂约束的转换问题为研究对象,将事件协调约束转换为Petri网系... 事件的协调控制是离散事件系统中一项重要的研究内容,同时包含资源约束和事件约束的混杂约束更是系统设计的难点问题。以DES系统的加权Petri网模型为基础,以DES中变迁库所混杂约束的转换问题为研究对象,将事件协调约束转换为Petri网系统的结构约束,使得库所变迁混合约束问题转化为单一的库所约束问题。首先,提出基于Petri网的事件协调控制方法的设计算法,通过研究变迁约束转换为库所约束的规则与方法,将DES变迁库所混杂约束问题转换为单一的库所约束问题,从库所约束的角度来分析事件协调控制。其次,在3种不同系数约束的变迁≤约束表达式下,利用Petri网结构的特性,将变迁间的协调控制约束转换为系统的库所≤约束,并给出具体的算法步骤。最后,给出基于Petri网的事件协调控制方法的技术难点,剖析进一步分析和研究的主要问题。 展开更多

关键词 协调控制 PETRI网 变迁约束 结构转换 约束条件转换

在线阅读 下载PDF 职称材料