交互式马尔可夫链代数的事件结构模型

对进程代数LOTOS的事件结构模型进行了随机特性的量化扩展.给出了随机进程代数交互式马尔可夫链代数(IMCA)的非交互式语义模型:事件结构.并且证明了给出的随机事件结构模型的正确性.同时,给出了IMCA基于事件的操作语义,并且证明了它和现有交互式语义的一致性.     

江门举办邮政行业安全培训班

正为进一步提高邮政行业安全生产责任意识,加强寄递安全管理,江门市邮政局在完成前期对各市、区防恐防暴座谈调研后,于3月上旬举办了全市邮政行业安全生产培训班,对市邮政企业、各快递企业负责人就寄递安全开展工作开展专题培训。培训班邀请了邮政业资深培训师,运用大量案例,从政策法规解读、安全责任、邮件收寄验视及禁寄物品辨析等多方面对寄递安全管理进行     

对科研院所声像档案管理的一些思考

随着我国国防建设的快速发展以及声像制作和新型声像载体的发展变化,科研院所对声像档案管理的部分环节已不能适应当前的档案管理要求。本文针对科研院所声像档案管理中存在的问题,分析并提出了相应管理对策。     

学学欧洲的江河治理经验

2012年发生在广西龙江河的镉污染事件,揪紧了国人的心。由于龙江河位于珠江水系西江左岸重要支流柳江的上游,柳江进入到下游后会与多条流量很大的江河交汇,进入广东省。倘若污染团进入广东水域,这起污染事件将会演变成一起重大的跨流域污染事件。笔者认为,要想真正架构起跨流域防污、治污的常态机制,欧洲莱茵河的跨流域治理模式,有3条经验值得借鉴,作为我们学习的模板。其一,制定了畅通无阻的跨流域协调机制。莱茵河流域的9个国家,制     

大事件

◎9月16日．外交部寰布．中国政府决定向《联合国海洋法公约》设立的大陆架界限委员会提交东海部分海域二百海里以外大陆架划界案。◎9月26日，国务院常务会议审议通过《国内水路运输管理条例（草案）》。◎9月23日．大连船舶重工正式交付中国首艘航母“辽宁”号。     

危难时刻显身手中流砥柱立潮头——记参加“10.5”湄公河事件善后外云南海事人奚永清

2011年10月16日14时许，在中国公安巡逻艇护卫下，滞留泰国的中国货船“金水12”号汽笛长鸣，沿澜沧江一湄公河航道驶过中老界碑附近水域，率先回到祖国的怀抱。看着首批归航的11艘货船依次挂上海事部门赠送的崭新国旗，安全驶向关累港，满脸疲倦的奚永清扶着船舱长长地舒了一口气，有些如释重负。     

二公司召开“反恐”工作动员会

针对近期社会上公共场所经常出现恐怖袭击等恶性事件问题，为保证生产安全，进一步提高全体职工的“反恐”意识，保证市民顺利出行，公交二公司5月8日在东赵场区会议室召开“反恐”工作动员会，公司班子成员及全体管理人员参加了会议。     

沧浪之水浊兮,警钟当重敲长鸣

水生态尤其河流与海洋生态危机并非始于今日.淮河生态危机甚至成为跨世纪治理的"顽劣",便是一例.正值珠江休渔期,我们将触角伸向珠江、湘江和近海海洋,在鱼和渔民命运的悲鸣中,在珠江、湘江、近海海洋触目惊心的污染中,我们试图再次重重地击打悬在危若累卵的中国水生态之上的那口警钟.     

不能忘却的伤痛——墨西哥湾漏油事件一周年回首

海洋的美丽,不是语言足以形容的,海洋博大而宽广,浸润人们的心灵。然而科技的发展,文明的进步,使人类和自然的矛盾渐渐加深。随着人类活动加剧(过度捕捞、海上原油泄漏等)和气候继续变暖,以往经常被人们所关注的海洋生态受到严重危害:海岸线缩短,海滩逐渐消失,小岛沉没,冰川消融,为海洋生物多样性重要组成的珊瑚礁群落也面临严重危机。海洋生态问题,已经成为了人们需要大力关注的问题。时逢墨西哥湾溢油事件1周年,让我们站在历史的角度上,重新对这次事件进行回顾。