角色自律分散系统的RN-C形式化描述方法

旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点.     

步步为营,稳扎稳打——访梁山杨嘉挂车制造有限公司董事长杨合连

位于梁山县的杨嘉挂车制造有限公司是当地发展历史较长、经营现状较好的挂车(专用汽车)生产企业之一,在董事长杨合连领导下,该公司在多变的市场环境下坚持对技术创新和产品品质的追求,同时公司还逐步涉猎挂车、专用汽车所需零部件和主要型材领域,为建设覆盖全产业链的杨嘉集团奠定良好基础.     

浅谈国外投资环境建设经验对完善我国区域投资环境的启示

招商引资是目前我国各地区发展经济的一种重要手段,各级政府纷纷将其作为支撑经济增长与发展的关键。而投资方为保证投资的回收并实现更多的增值,总是选择具备最佳投资环境的国家或地区,投资环境的优劣已成为影响各地区招商引资的重要因素。本文从分析国外三种不同类型的国家在招商引资、改善区域投资环境方面的建设经验入手,总结出他们成功的经验,提出完善我国区域投资环境的对策建议。     

浅析出口退税评估

就出口退税的概念、特征、内容分类和具体的工作流程进行了介绍,并就目前我国出口退税评估管理存在的问题进行了相关分析,并着重针对这些问题进行了深入探讨,提出了四方面的具体解决措施。     

宁波市第一支海上防污染志愿者队伍正式成立

"六五"世界环境日,在社会各界近百人的共同见证下,宁波市第一支海上防污染志愿者队伍在海事监管基地正式成立。首批海上防污染志愿者队伍以宁波辖区主要码头单位和修造船厂员工为主体组建,共有200余名成员。     

紧抓历史机遇夯实发展基础为实现中铁物资战略目标开好头起好步

1 在复杂多变的经济环境中顽强拼搏,2008年各项工作取得了新的成绩 1.1 生产经营继续较快发展,取得了良好业绩 全年实现营业收入1002亿元,历史性地迈上了千亿元的大台阶,比上年增长26.8%.完成了国资委经营业绩考核指标.     

香港经济乍暖还寒

香港已进入夏天，炽热的阳光令走在街上的人们汗流夹背。不过，香港经济基本面，没有像夏日阳光般释出的热度，仍未令人心暖和起来。从近日所看到的经济数据和预测，香港经济下半年可以复苏之说，实属言之过早。环顾外围环境仍不明朗．如果全球各地仍然会录得负增长．及至2010年上半年才扭转劣势，香港复苏的时间将被延迟。     

中国造船：无近忧需远虑

随着美国次贷危机的不断深化、蔓延，全球经济运行的潜在风险和不确定性明显上升，对国际航运、造船市场产生了重大不利影响。从8月开始，国际航运费率出现巨幅下挫，造船市场新船成交持续走低，航运和造船市场下行的态势已基本显现。短期内，随着造船市场环境继续恶化和新船成交量逐渐下降，长期坚挺的新船价格开始下降，二手船价格出现大幅度下滑，造船产能过剩，船厂之间的竞争会日趋激烈。我国船舶工业经济运行情况究竟如何？面对危机与风险又将怎样应对呢？     

汽车消费陷阱多 维修领域尤为突出

的年来，随着汽车消费走人寻常百姓家，名目众多的消费陷阱也是购车族和用车族颇为关心的话题。调查显示962％的被调查者表示．在汽车消费中遭遇过商家的欺骗行为，只有38％的被调查者对汽车消费环境感到满意。据《新京报》报道，     

全国地铁信用评级仅为B

地铁给人们的生活带来了方便和快捷,随之而来的安全问题也让人捏了把汗。中国产品质量协会和中质信评估中心于10月30日发布公告:地铁行业质量信用评级为B。协会的评价指出:"全国地铁事故多于往年,表明此行业产品在一定期限内质量信用存在一定风险。"该协会建议,地铁行业应确保工程质量、列车设备运营服务等方面优良,以保障民众的人身安全。