期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
最少时间最小费用路问题的修改Dijkstra算法 被引量:3
1
作者 宿洁 袁军鹏 《计算机工程与应用》 CSCD 北大核心 2003年第30期4-5,50,共3页
针对同时带有顶点权和弧权的运输网络的最少时间最小费用路问题,首先将该网络转化为一般的只带弧权的运输网络,然后设计了求解该类问题的修改的“带前点标号的Dijkstra算法”,最后给出在物资公路运输中的一个实例。
关键词 最少时间最小费用路 时间标号 Dijkstrd算法
在线阅读 下载PDF
TSP及其操作语义模型研究
2
作者 叶俊民 王振宇 +1 位作者 黄萍 赵恒 《海军工程大学学报》 CAS 北大核心 2005年第2期12-18,27,共8页
在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDL... 在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则. 展开更多
关键词 FSP TSP 时间标号迁移系统 操作语义
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部