期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于价格时间自动机的飞机着陆最优成本研究
1
作者 姬莉霞 马建红 李学相 《济南大学学报(自然科学版)》 CAS 北大核心 2013年第2期150-153,共4页
针对目前航空运输系统中对飞机着陆调度成本效益研究的不足,提出采用价格时间自动机作为形式化描述方法,将飞机着陆过程建模为其相关实体的交互行为,引入时间和价格因素描述各实体的属性和行为,从而将飞机着陆形式化为时间价格的动态交... 针对目前航空运输系统中对飞机着陆调度成本效益研究的不足,提出采用价格时间自动机作为形式化描述方法,将飞机着陆过程建模为其相关实体的交互行为,引入时间和价格因素描述各实体的属性和行为,从而将飞机着陆形式化为时间价格的动态交互协作,并分别为相关实体和服务建模,形成彼此独立又相互协作的价格时间自动机网络,将飞机着陆调度成本表示为价格时间自动机网络上的状态转换路径。最后提出一组系统模型需要满足的性质,使用价格时间自动机模拟验证工具UPPAAL CORA仿真并验证其正确性,使用最优成本标准分支算法分析求解飞机着陆调度最优成本的可达性。 展开更多
关键词 价格时间自动机 最优成本 可达性 飞机着陆
下载PDF
复杂环境下基于价格时间自动机飞机着陆调度
2
作者 姬莉霞 张晗 《传感器与微系统》 CSCD 北大核心 2013年第6期56-59,共4页
目前航空运输系统飞机着陆调度环节普遍存在调度策略单一、效率低、附加成本较高等不足,提出了以价格时间自动机作为基础模型架构的飞机着陆调度设计,在满足着陆时间窗、最小尾流间隔等约束条件下优化额外成本消耗,并考虑复杂气候地理环... 目前航空运输系统飞机着陆调度环节普遍存在调度策略单一、效率低、附加成本较高等不足,提出了以价格时间自动机作为基础模型架构的飞机着陆调度设计,在满足着陆时间窗、最小尾流间隔等约束条件下优化额外成本消耗,并考虑复杂气候地理环境,构建出飞机着陆过程中各交互实体的价格时间自动机模型,采用UPPAAL CORA中的分支界定算法求解飞机着陆调度最优成本的可达性。仿真实验结果表明:此研究方法可应用于复杂环境下、大吞吐量的飞机着陆调度,能够显著降低着陆消耗,提升跑道容量,具有安全性、智能性与经济性。 展开更多
关键词 价格时间自动机 最优成本 飞机着陆调度 UPPAAL CORA
下载PDF
MPSoC可调度性分析的价格时间自动机模型 被引量:1
3
作者 汪群博 赵政文 +3 位作者 张涛 程胜 朱海涛 李坤 《西北工业大学学报》 EI CAS CSCD 北大核心 2017年第2期292-297,共6页
多处理器片上系统(MPSoC)是在单一芯片上集成多个处理器的复杂SoC,是多核时代SoC的最新发展方向,保证MPSoC可调度是其设计的重点。针对MPSoC的特性,使用价格时间自动机,对其构建一种可调度性分析模型,并使用模型检测工具UPPAAL中的统计... 多处理器片上系统(MPSoC)是在单一芯片上集成多个处理器的复杂SoC,是多核时代SoC的最新发展方向,保证MPSoC可调度是其设计的重点。针对MPSoC的特性,使用价格时间自动机,对其构建一种可调度性分析模型,并使用模型检测工具UPPAAL中的统计模型检测引擎自动模拟系统,并估算不可调度概率。实例验证结果表明,该模型检测方法降低了分析成本,可以分析传统模型检测方法所不能判定的复杂系统。 展开更多
关键词 MPSo C 价格时间自动机 UPPAAL 可调度性 模型检测
下载PDF
一种价格时间Petri网的状态空间计算 被引量:3
4
作者 刘显明 李师贤 +1 位作者 李文军 潘理 《电子学报》 EI CAS CSCD 北大核心 2006年第10期1778-1782,共5页
价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在... 价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的. 展开更多
关键词 价格时间Petri网 价格时间自动机 状态空间计算
下载PDF
基于随机价格时间博弈的列车队列稳定性模型验证与控制策略优化
5
作者 卢万里 吕继东 +5 位作者 高金金 柴铭 刘宏杰 唐涛 李丹勇 宋栋良 《交通运输工程学报》 EI CSCD 北大核心 2023年第2期273-286,共14页
为保证列车队列运行安全并提高队列稳定性,研究了列车队列稳定性模型验证与控制策略优化问题;基于车-车通信的列车队列采用等空间间隔、等时间间隔和变时距3种控制策略,利用随机价格时间博弈自动机,建立了包含领航列车和跟随列车的队列... 为保证列车队列运行安全并提高队列稳定性,研究了列车队列稳定性模型验证与控制策略优化问题;基于车-车通信的列车队列采用等空间间隔、等时间间隔和变时距3种控制策略,利用随机价格时间博弈自动机,建立了包含领航列车和跟随列车的队列控制模型,分析了模型的队列稳定性;在保证列车运行安全的前提下,以列车的相对位置差、相对速度差和时间间隔差为成本函数,通过队列随机价格时间博弈自动机模型获得控制策略集;利用Q-Learning方法得到队列的最优驾驶策略,验证队列运行的安全性和稳定性;结合列车运行追踪场景,进行队列的稳定性分析。仿真结果表明:通过形式化验证,采用3种控制策略下的队列安全性得到了保证;通过随机价格时间博弈控制、协方差优化控制和Q-Learning方法对比PID控制,等空间间隔策略下的队列稳定性误差最大值分别减小到了0.19%、0.18%和0.11%,等时间间距策略下的队列稳定性误差最大值分别减小到了30.21%、10.34%和9.24%,变时距策略下队列稳定性误差最大值分别为118.27%、56.09%和39.67%,可见,采用Q-Learning方法的随机价格时间博弈理论能在安全前提下提高列车队列稳定性。 展开更多
关键词 交通信息工程 列控系统 随机价格时间博弈自动机 稳定性 模型验证 控制策略优化
原文传递
不确定环境下智能大厦空调系统调度策略评估 被引量:4
6
作者 陈铭松 顾璠 +1 位作者 徐思远 陈小红 《软件学报》 EI CSCD 北大核心 2016年第3期655-669,共15页
近年来,智能大厦的概念在国内外受到了高度的关注.相比于传统的建筑,智能大厦更加节能、舒适、易维护,已成为未来建筑的发展趋势.作为智能大厦空调通风系统的关键部分,空调系统及其调度策略决定了大厦整体的节能效果以及大厦中用户的舒... 近年来,智能大厦的概念在国内外受到了高度的关注.相比于传统的建筑,智能大厦更加节能、舒适、易维护,已成为未来建筑的发展趋势.作为智能大厦空调通风系统的关键部分,空调系统及其调度策略决定了大厦整体的节能效果以及大厦中用户的舒适度.然而,由于智能大厦所处的环境具有许多不确定因素,极大地增加了空调系统调度策略设计与评估的复杂程度.因此,如何设计与评估不确定环境下空调系统的调度策略成为了智能大厦设计者面临的一大挑战.已有的方法主要针对智能大厦空调系统进行能耗与性能等方面的分析,但尚未有方法针对调度策略本身进行分析与评估.提出一种基于价格时间自动机的调度策略评估框架,支持对不确定环境下的智能大厦进行精确建模与定量评估.该框架使用UPPAAL-SMC作为属性查询引擎对模型进行随机模拟运行,根据模拟结果对不同调度策略下大厦的能耗及用户的舒适度进行定量分析.实验结果表明,该方法能够有效地帮助设计者进行策略的制定和选取. 展开更多
关键词 不确定环境 智能大厦 价格时间自动机 策略评估
下载PDF
基于MDA的实时软件资源建模与模型转换的方法 被引量:4
7
作者 吉鸣 黄志球 +2 位作者 祝义 王珊珊 沈国华 《计算机科学》 CSCD 北大核心 2011年第8期136-141,共6页
模型驱动体系结构(MDA)是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型转换的方法。首先通过元建模抽象出包含资源信息的MARTE元模型以及价格时间自动机的元模型;然后利用模... 模型驱动体系结构(MDA)是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型转换的方法。首先通过元建模抽象出包含资源信息的MARTE元模型以及价格时间自动机的元模型;然后利用模型转换语言ATL对MARTE元模型和价格时间自动机元模型构造转换规则,通过将对应的实例模型进行相互转换,实现在MDA下MARTE模型到价格时间自动机模型的转换;最后通过形式化工具UPPAAL对模型转换结果进行形式化验证。实例分析表明了该方法的可行性与有效性,它能够提高实时软件资源建模的可信性。 展开更多
关键词 模型驱动体系结构 元建模 MARTE 模型转换 价格时间自动机
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部