排序方式: 共有23条查询结果,搜索用时 46 毫秒
1.
2.
角色自律分散系统的RN-C形式化描述方法 总被引:1,自引:0,他引:1
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点. 相似文献
3.
4.
5.
长江航运物流目前己进入快速发展期,在基础设施建设、市场主体及发展环境等方面均呈现良好势头,但还存在缺乏总体发展战略及规划、地区间物要素发展不平衡、物流基础设施不够完善、物流理念与航运企业融合程度不及、航运物流人才缺乏等问题,需要对长江航运物流需求进行预测分析。长江内河水运物流发展现状1、长江内河水运物流市场现状目前长江担负了中国80%的金属矿石、80%的煤炭和70%的原油运输任务。沿江七省二市经济总体上对水道及其支流的依存度达到9%,其中工业的依存度达到14.32%,沿江重化工企业原材料运输对水运的依存度高达 相似文献
6.
我国汽车保有量至今已达到6700万辆,预计到2020年将达1.8亿辆.如果保持目前的汽车动力结构不变,至2020年我国石油需求将达5亿吨,对外依存度也将达到70%,二氧化碳和微粒的排放将日益严重,烧煤产生SO2也将导致酸雨污染环境.因此,开展清洁汽车运动将是解决能源及环保问题的有效途径和必然方法. 相似文献
7.
2009年,对於外贸依存度高达60%的中国而言,出口将遭遇到30年来前所未有的困难和挑战。而且,困难和挑战并没有随着新年的钟声而远去,相反正在加深,不确定性还在增加。在料峭的寒冬中,还看不到春的影子。 相似文献
8.
9.
10.