车辆路径问题的形式化及其知识表示方法研究

针对目前车辆路径问题(Vehicle Routing Problem,VRP)求解方法缺乏动态自适应能力这一缺陷,从面向问题的角度出发,研究车辆路径问题的形式化和知识表示。通过深入分析车辆路径问题及其特点,提出了基于知识的车辆路径问题的形式化方法及车辆路径问题的树状知识表示方法,并以此为基础,实现了车辆路径问题的知识表示支持系统,为模型自动生成和问题求解创造条件。     

智能交通安全控制系统的模型验证

随着智能交通系统的发展，交通安全控制系统的开发变得越来越复杂，系统中存在的“设计型故障”很难被检测和排除，“设计型故障”成为影响系统安全性的主要问题。笔者利用形式化方法对交通安全控制系统进行严格的模型验证，提出了系统模型验证的安全性约束和安全性路径的概念，给出了模型验证的推演方法，为解决智能交通安全控制系统的“设计型故障”问题提供了一种有效的手段。     

詹天佑科学技术发展基金会第二届理事会第一次会议在北京召开

詹天佑科学技术发展基金会第二届理事会第一次会议2011年11月30日在北京举行。会议选举产生了新一届理事会(监事会),通过了名誉理事长、理事长、副理事长、秘书长和监事会主任、副主任;宣     

中国海事专家委员会在京成立

6月28日,中国海事专家委员会在北京成立。中国海事局常务副局长陈爱平出席成立大会并致辞,副局长黄何主持会议,20余位常务委员参会。大会选举了专家委员会主任和副主任、任命秘书长及分委会主任。当选的首任中国海事专家委员会主任吴兆麟教授发表了讲话。     

民进党内的派系演化轨迹及其制度性原因

本文以台湾民进党领导层和党籍“立委”为观察指标,讨论民进党内的派系结构及其变化趋势,探寻其制度性原因.民进党的派系政治具有制度化运作和“派系共治”的历史传统.民进党在2006年宣布解散派系后,党内派系出现了由强组织向弱组织转化的迹象.派系林立的根本原因是党内高层选举所实行的单记不可让渡投票制,为中小派系留下了存活的空间.     

林瑞麟最幽默

胡志强演讲完毕之后，被记者问及蓝营在台湾县市长选举未如理想时表示，这是台湾“国民党”的一个警号，必须尽快检讨。     

上海市道路运输行业协会第六届会员代表大会第一次会议第六届理事会选举办法（2009年4月22日上海市道路运输行业协会第六届会员代表大会第一次会议通过）

一、根据本协会章程和有关规定，制定本办法。 二、经民主协商，本届理事会设理事190名，由会员代表投票选举产生；本届理事会设常务理事66名，正、副会长8名，经理事会投票选举产生。     

云南省公路学会召开第四届会员代表大会暨2005年学术年会——会议选举产生新一届理事会

根据云南省科协2005年11月10日《关于同意云南省公路学会换届的批复》，在第四届会员代表大会筹备领导小组的精心组织、周密安排、认真筹划，完成各项筹备工作的基础上，云南省公路学于2005年10月24日在昆明召开了第四届会员代表大会。     

计算机联锁软件的Z规格说明

计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。     

铁路信号联锁逻辑形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发，还是对联锁软件的测试都是非常重要的。 铁路大站的联锁逻辑十分复杂，对其进行形式化描述是一项艰难的工作。目前，国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念，采用层次化有色Petri网，以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的，以车站联锁设备的层次化有色Petri网模型为背景，介绍了铁路车站信号联锁逻辑的形式化描述的基本方法。