带时间约束相关论文
交互模型描述语言主要应用于分布式实进系统中的交互行为规范,这种规范是基于场景的并着重于系统中通讯实体间的信息交换.交互模型......
根据不同交通工具的技术经济特征,建立一个适用于多集散地之间如何选择最优交通方式组合的模型。该模型是一个多目标的0-1规划......
在服务组合中为了满足用户的需求规约,有时不可避免地采用异步交互方式,但异步交互行为不可能无限等待。针对带有时间属性限制的......
本文提出了一种形式化模型—TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析。首先给出顺......
对于实时系统,消息顺序图(Message Sequence Chart,以下简称MSC)描述了系统中各部件间的交互活动.消息顺序图规范(MSC Specificati......
多阶段带时间约束的变尺寸装箱问题,是将一般的变尺寸装箱问题(VS-BPP)置于动态环境下并加入时间约束而形成的.通过合理的计划对多阶段......
基于带时间约束的多段图问题是多段图问题的自然扩展.该文带时间约束的多段图的路径选择,引入了递归集合的表示方法和回溯技术,在......