【摘 要】
：
基于时间自动机理论,提出了时间窗、时间依赖服务代价以及时间依赖旅行时间这3类时变网络中国邮路问题的统一建模的语义模型和求解方法.首先,将中国邮路问题可行解条件和时变
【基金项目】
：
国家自然科学基金（60873256）,国家重点基础研究发展计划（973）（2005CB321904）
论文部分内容阅读
基于时间自动机理论,提出了时间窗、时间依赖服务代价以及时间依赖旅行时间这3类时变网络中国邮路问题的统一建模的语义模型和求解方法.首先,将中国邮路问题可行解条件和时变参数与时间自动机联系起来,建立了3类问题的统一时间自动机系统（timed automata system,简称TAS）模型;然后,将时变网络中国邮路问题归结为TAS模型上的一系列可达性判定问题,并利用形式化验证算法给出了有效的求解方法.由于TAS模型中存在O（｜A｜＋｜AR｜＋1）个时间自动机,限制了问题求解规模.为此,通过扩展时间自动机语义,
其他文献
国防生军政培训现已经成为国防生培养的重要内容之一,本文通过比较国防生军政培训与大学生军训的共同点,科学安排教学计划,统筹协调教学资源,从而使二者有机结合,解决国防生
将压缩映射和同构映射引入核化图嵌入框架(kernel extension of graph embedding,简称KGE),从理论上证明了KGE框架内的各种核算法其实质是KPCA(kernel principal component analysis)+LGE(linear extension of graph embedding,简称LGE)框架内的线性降维算法,并且基于所给出的理论框架提出了
"任务驱动教学模式"是在老师指导下,以学生为主体,以任务为驱动的教学方式。它融学习过程于工作过程的职业情境,让学生身份转变为工作人员身份。如此,不仅可克服传统应用文写