价格时间自动机相关论文
时间和价格是大多数应用系统模型的两项主要参数，因此如何将时间和价格信息有效地在建模工具中表示出来并加以应用成为一个有意义的......
随着5G通信、物联网技术的发展,越来越多软件、硬件被部署在开放的物理环境中。然而,系统在该环境中运行存在多种不确定性因素(例......
模型驱动体系结构（MDA）是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型......
目前航空运输系统飞机着陆调度环节普遍存在调度策略单一、效率低、附加成本较高等不足,提出了以价格时间自动机作为基础模型架构......
多处理器片上系统（MPSo C）是在单一芯片上集成多个处理器的复杂So C,是多核时代So C的最新发展方向,保证MPSo C可调度是其设计的重点......
价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具．而价格时间自动机则是一种相对成熟的工具．提出一种......
近年来,智能大厦的概念在国内外受到了高度的关注.相比于传统的建筑,智能大厦更加节能、舒适、易维护,已成为未来建筑的发展趋势.......
针对目前航空运输系统中对飞机着陆调度成本效益研究的不足,提出采用价格时间自动机作为形式化描述方法,将飞机着陆过程建模为其相......
