检索结果-南通市图书馆

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

一种可行的容错实时系统可调度性分析

软件学报 2005年第8期16卷 1513-1522页

作者：李俊阳富民卢炎生华中科技大学计算机科学与技术学院湖北武汉430074

针对容错实时系统中容错优先级两种分配策略存在的不足,通过对容错实时任务进行基于最坏响应时间的可调度性分析,提出了允许容错优先级降低的分配策略以提高系统的容错能力.经过深入的分析和实验证明,这种容错优先级的分配策略能够在以... 详细信息

针对容错实时系统中容错优先级两种分配策略存在的不足,通过对容错实时任务进行基于最坏响应时间的可调度性分析,提出了允许容错优先级降低的分配策略以提高系统的容错能力.经过深入的分析和实验证明,这种容错优先级的分配策略能够在以前两种分配策略无法提高系统容错能力的情况下,有效地提高系统的容错能力,设计并实现了改进的最佳容错优先级分配因子的搜索算法,并通过模拟实验进行了验证.

关键词：容错实时系统最坏响应时间可调度性容错优先级

在线全文

学校读者我要写书评

暂无评论

考虑风电场可调度性的储能容量配置方法

电工技术学报 2013年第5期28卷 120-127,134页

作者：施琳罗毅涂光瑜施念华中科技大学电气与电子工程学院武汉430074

风电场出力的不可调度性给大量风电场接入后系统安全运行形成了巨大挑战。配套储能系统实现风电场可调度性是解决风电场接入问题的有效方法,基于风电场可调度性规划合理的配套储能容量成为必须解决的问题。本文对满足特定风电场可调度... 详细信息

风电场出力的不可调度性给大量风电场接入后系统安全运行形成了巨大挑战。配套储能系统实现风电场可调度性是解决风电场接入问题的有效方法,基于风电场可调度性规划合理的配套储能容量成为必须解决的问题。本文对满足特定风电场可调度性置信度水平下储能系统规划方法进行了研究。首先采用持续预测方法获取全年风电场小时前预测出力数据,并依据风电场预测出力考虑配套储能容量最小化原则提出了一种调度策略。基于风电场可调度性和储能容量折中,定义风电场可调度性作为约束并利用非参数估计和曲线拟合方法生成储能功率和容量约束函数,以计入储能使用寿命的投资成本模型作为目标函数,利用遗传算法进行求解。最后,以风电场锂电池储能规划为例进行说明。

关键词：置信度水平可调度性储能容量规划风电场

在线全文

学校读者我要写书评

暂无评论

工作流模型可调度性验证与分析方法

机械工程学报 2004年第4期40卷 93-98页

作者：李建强范玉顺清华大学自动化系北京100084

实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段,而从理论上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流模型在时间层次上需要考虑的... 详细信息

实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段,而从理论上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流模型在时间层次上需要考虑的各种时间约束的基础上,通过扩展时间信息到只描述过程逻辑的工作流网中来,给出了时控工作流网的概念。进而在给出了从一种包含时间信息的有向网络图到时控工作流网的模型映射方法之后,对基于时控工作流网的工作流模型可调度性验证与综合进行了详细的讨论。最后用一实例验证了其有效性。

关键词：工作流模型时序依赖时间约束模型验证 Petri网可调度性制造业

在线全文

学校读者我要写书评

暂无评论

基于可调度性排序的时间触发调度表生成方法

北京航空航天大学学报 2018年第11期44卷 2388-2395页

作者：宋梓旭李峭汪晶晶熊华钢北京航空航天大学电子信息工程学院北京100083

时间触发以太网(TTE)静态调度表的生成依据可满足性模理论(SMT);如果时间触发(TT)流量集合的规模较大,需要分批选取流量子集进行增量化调度求解,选取的次序对于计算耗时具有显著的影响。采用严格周期利用率因子(SPU)量化各条流量的可调... 详细信息

时间触发以太网(TTE)静态调度表的生成依据可满足性模理论(SMT);如果时间触发(TT)流量集合的规模较大,需要分批选取流量子集进行增量化调度求解,选取的次序对于计算耗时具有显著的影响。采用严格周期利用率因子(SPU)量化各条流量的可调度性,按照调度难度降序分批选取流量组成流量子集,并依次对流量子集进行SMT求解,同时采用可调度性检查和约束缩减措施,提出并形成了一种基于可调度性排序的增量化时间触发调度表生成方法。在求解过程中,如果出现局部不可调度的情况,则进行回溯操作;同时引入干涉时间作为已调度集合对于未调度集合的联合约束条件,大规模缩减了这两种集合之间的约束数量,进一步提高了求解效率。案例研究表明,与随机排序、周期升序和可调度难度升序的增量化调度方法相比,该方法的回溯次数随系统规模增长的速度显著降低。

关键词：时间触发以太网(TTE) 时间触发(TT)流量增量化调度可调度性流量排序约束缩减

考虑核电可调度性的风-光-核-水-火多源协调短期优化调度

在线全文

学校读者我要写书评

暂无评论

电工技术学报 2018年第12期33卷 2873-2882页

作者：侯文庭韦化广西电力系统最优化与节能技术重点实验室(广西大学) 南宁530004

提出一种考虑核电机组可调度性的多源协调短期优化调度模型。在已有的核电实际运行经验和大量仿真研究结果的基础上,分析核电的可调度性,即核电参与调峰的可行性,提出了核电的安全可调节域和运行约束,建立了核电调峰运行模型。基于核电... 详细信息

提出一种考虑核电机组可调度性的多源协调短期优化调度模型。在已有的核电实际运行经验和大量仿真研究结果的基础上,分析核电的可调度性,即核电参与调峰的可行性,提出了核电的安全可调节域和运行约束,建立了核电调峰运行模型。基于核电运行特点,采用两阶段调度方法,预调度阶段确定核电机组的低功率运行时间,再调度阶段优化核电的调峰深度,最终得到核电参与调峰的最优运行方式。针对风电、光电出力的不确定性,采用鲁棒优化的方法始终保证调度决策的可行性。对丰水期和枯水期两种典型情况进行算例分析,结果表明所提模型在保证核电机组安全运行的同时兼顾了经济性,实现了对可再生能源的足额消纳,并有效协调了各类电源的发电空间,均衡了各方利益。

关键词：核电可调度性多源协调优化调度

端到端实时CORBA系统调度模型及其可调度性研究

在线全文

学校读者我要写书评

暂无评论

计算机学报 2003年第4期26卷 397-405页

作者：沈卓炜谢俊清汪芸东南大学计算机科学与工程系南京210096 教育部计算机网络与信息集成重点实验室南京210096

实时CORBA系统中的基本问题是如何合理分配有限的计算资源和通信资源以保证各个实时任务的时间需求 .该文以固定优先级方式调度的、周期性任务的硬实时系统为研究对象 ,提出了端到端实时CORBA系统调度模型 ,该模型综合考虑了客户端系统... 详细信息

实时CORBA系统中的基本问题是如何合理分配有限的计算资源和通信资源以保证各个实时任务的时间需求 .该文以固定优先级方式调度的、周期性任务的硬实时系统为研究对象 ,提出了端到端实时CORBA系统调度模型 ,该模型综合考虑了客户端系统的处理、服务对象处理、网络传输等几大主要因素 ,而且可以描述服务对象间的嵌套调用关系 ,因而能全面描述实时CORBA系统中客户调用过程 .在此基础上 ,该文基于非连续工作型同步协议 ,应用时间需求分析方法。

关键词： CORBA系统调度模型可调度性应用软件计算机网络通信资源

基于时间自动机的嵌入式系统AADL模型可调度性验证

在线全文

学校读者我要写书评

暂无评论

东南大学学报（自然科学版） 2015年第6期45卷 1032-1037页

作者：李静沈宁敏白海洋周培云南京航空航天大学计算机科学与技术学院南京211106

采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了A... 详细信息

采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了AADL调度模型到时间自动机模型的语义映射法则.然后,设计了自动化模型转换插件,并将其集成到OSATE建模工具中,实现了建模、转换、验证的集成开发环境.最后,利用UPPAAL工具对时间自动机模型进行模拟与验证.仿真实验结果表明,所建立的模型转换方法能够有效、实时地将AADL模型转换为时间自动机模型,并可在UPPAAL中分析原模型的可调度性.

关键词：结构分析与设计语言时间自动机模型可调度性仿真验证

多处理器实时系统可调度性分析的UPPAAL模型

在线全文

学校读者我要写书评

暂无评论

软件学报 2015年第2期26卷 279-296页

作者：代声馨洪玫郭兵杨秋辉黄蔚徐保平四川大学计算机学院

随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方... 详细信息

随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方法的缺陷,提出使用模型检测的方法来实现可调度性分析.提出了一个用于多处理器实时系统可调度性分析的模板,将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模,并使用UPPAAL验证可调度的性质是否总被满足.符号化模型检测方法被用于推断可调度性,但是由于秒表触发的近似机制,符号化模型检测方法不能用于证明系统不可调度.作为补充,统计模型检测方法被用于估算系统不可调度的概率,并在系统不可调度时生成反例.此外,在系统可调度时,通过统计模型检测方法获取一些性能相关的信息.

关键词：可调度性模型检测 UPPAAL 多处理器实时系统时间自动机

在线全文

学校读者我要写书评

暂无评论

TCPN的可调度性及调度区间的约束分析

控制与决策 2002年第5期17卷 522-526页

作者：吴亚丽曾建潮卫军胡孙国基西安交通大学系统工程研究所陕西西安710049 太原重型机械学院系统仿真与计算机应用研究所山西太原030024

时间约束 Petri网 (TCPN)通过引入时间因素 ,增强了对网的时间约束的描述能力。但由于TCPN网拓扑结构的多样性以及时间约束的复杂性 ,使得网的可调度性及调度区间的分析十分困难。针对常见的如顺序、并发、同步、冲突等拓扑结构 ,对变... 详细信息

时间约束 Petri网 (TCPN)通过引入时间因素 ,增强了对网的时间约束的描述能力。但由于TCPN网拓扑结构的多样性以及时间约束的复杂性 ,使得网的可调度性及调度区间的分析十分困难。针对常见的如顺序、并发、同步、冲突等拓扑结构 ,对变迁的可成功调度与否以及影响调度区间的约束条件进行了分析和研究 ,简化了 TCPN网的可达性与可调度性的分析方法。

关键词： TCPN 可调度性调度区间约束分析拓扑结构时间约束Petri网