沃蓝达与选举政治沾边了

雪佛兰沃蓝达（Volt）的销量在1月骤降。政府的安全性调查给沃蓝达进行了反面宣传，可谓给这款插电式混合动力车的需求泼了一盆冷水。1月份通用共售出603辆沃蓝达。去年第四季度，通用平均每月售出1，259辆沃蓝达。     

中国远洋新一届董事监事高管人员名单出炉

2008年6月6日，中国远洋在北京召开2007年年度股东大会。会议选举魏家福、张富生等11人为中国远洋第二届董事会董事，选举李云鹏等4人为中国远洋第二届监事会监事。（吴树雄、马建华继续担任职工监事）。同日，召开第二届董事会和监事会第一次会议，选举魏家福先生为董事长、张富生先生为副董事长、李云鹏先生为监事会主席。     

推行基层党组织"公推直选"的实践与思考

所谓"公推直选",是指基层党组织领导班子成员候选人由组织推荐、党员推荐、群众推荐和个人自荐相结合产生,再由全体党员直接选举的一种选举方式.     

迈向双普选——莫在中途站徘徊不前

2012政改方案出台以来，社会上各种意见都有，讨论相当激烈。大家关注的焦点有很多，其中包括2012政改方案通过与否对2017年和2020年实行普选是否有影响。     

选举路上的梁家杰

在特首曾荫权以外，另一位宣布参与特首选举的是公民党的立法会议员梁家杰。他的一生因着选举而产生了很大的变化。     

日本政坛“变天”，经济何处去？

当地时间8月31日，日本第45届国会众议院选举结果揭晓：El本最大的在野党民主党获得众议院全部480个议席中的308席，超过控制众议院各个常设委员会的绝对稳定多数269席，取得空前胜利。在日本民主党以绝对优势赢得大选的背后，是长久以来自民党的执政疲劳，以及其在经济治理方面的不尽如人意。不过，民主党的上台，并不意味着日本当前的经济政策会有大变动。展望未来，     

珠海市道路运输协会召开第三次会员大会

经珠海市交通局同意、市民政局批准，成立于1994年的珠海交通协会于今年9月更名为珠海市道路运输协会。为总结上届理事会工作，选举产生第二届协会领导班子，12月13日，珠海市道路运输协会召开了第三次会员大会。     

安全苛求系统的形式化开发方法

从系统工程的角度出发，基于形式化理论，对安全苛求系统的开发方法进行了研究。首先介绍了安全苛求系统的形式化方法，分析了形式化方法对安全苛求系统的作用；提出了一种安全苛求系统的形式化开发模型（FDM），给出了具体的应用实例。     

基于有色Petri网的RBC行车许可生成建模与仿真

CTCS-3级列控系统行车许可是保证高速列车安全运行的关键信息,及时准确地为辖区内列车计算和发送行车许可是RBC(无线闭塞中心)子系统的主要功能之一。在分析CTCS-3级列控系统不同运营场景下行车许可生成机制的基础上,采用层次化描述思想,建立基于CPN(有色Petri网)的RBC行车许可生成模型,并运用动态仿真和状态空间分析工具对模型进行了仿真分析。结果表明,所建模型能够满足不同运营场景下计算行车许可的要求,无死锁,并具有活性、回归性和公平性,为分析列控系统性能提供了很好的试验平台。     

基于CPN的联锁系统选岔网络建模及验证

在详细分析联锁系统选岔电路的前提下,抽象出选岔网络的联锁逻辑条件,并采用有色Petri网(Colored Petri Net,CPN)为其建立形式化验证模型,同时采用CPN TOOLS对所建立的模型进行仿真及状态空间分析,结果表明所建立的模型能够很好的描述选岔网络的工作状态。