【摘 要】
：
基于时间自动机理论,提出了时间窗、时间依赖服务代价以及时间依赖旅行时间这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)框架内的线性降维算法,并且基于所给出的理论框架提出了
浙江美欣达印染集团公司是民营股份制企业，建厂时间不长，发展很快，是一个后起之秀，后来居上的印染企业。近年相继引进国内外新技术、新设备，而且十分重视培养技术人员，具有很强的竞
8月11日-13日在北京展览馆举行的2006中国婚博会暨第四届北京结婚展再掀奢华高潮，给所有前来参展的观众带来了强烈的视觉冲击和奢华盛宴。
老年男性多患前列腺增生症。这是因为随年龄的增长,睾丸会发生生理性功能减退,使前列腺无所依赖而随之出现退行性变化。所以,老年人即使没有出现病状,其前列腺也有程度不同的
儿童的音乐生活带有原生形态的性质，他们是把音乐与游戏联结起来作为一个整体来看待的。通过一种“一体化的感受”，“将音乐作为既听又看，又引起身体反应例＆舞），同时又理解、尊重的
详细介绍了规格为11．7tex×11．7tex(经纬纱排列T：C按1：1)543×312 160cm的超细旦涤纶与棉交织白坯色织物的设计与生产及关键技术措施。
"任务驱动教学模式"是在老师指导下,以学生为主体,以任务为驱动的教学方式。它融学习过程于工作过程的职业情境,让学生身份转变为工作人员身份。如此,不仅可克服传统应用文写