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

来源 :铁道学报 | 被引量 : 0次 | 上传用户:zdh313
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础。角色随时空变化的动态表达取决于系统的自律度和环境条件。在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN—C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素。应用RN—C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语
其他文献
据俄新社2015年7月22日报道,俄罗斯在2015年将遴选1000名天才大学生,为其在校学习期间提供每月2万卢布的总统奖学金。俄罗斯教科部表示,千名天才大学生资助方案旨在从国家层面为
幌伞枫(Hetero panax fragrans),又名罗伞树,五加通,为五加科幌伞枫属树种,常绿大乔木,树高达30m,胸径90cm,树皮淡灰棕色.小枝粗,自然分枝少,3~5回羽状复叶,长达1m,小叶椭圆形
汤人人都喝过,可是常下厨房的你对煲汤的内涵又了解多少呢?常听人们说,身体不好时要多喝点汤补补身子,其实美味的靓汤还有美容的神奇功效呢!怎么样,是不是心动很想尝试一下啊,那就
为整合研究型大学、设置跨校研究中心、打造国际一流大学,台湾教育部门提出了"发展国际一流大学及顶尖研究中心计划"。该计划执行5年后,2010年被修订为"迈向顶尖大学计划"。建设
【正】 科技期刊是专业图书馆的主要文献之一,它也是获得科技情报的主要来源,据报导来自科技期刊情报源的约占科技情报总量的四分之三,随着科技期刊的情报价值的提高,订购期
如果说川菜是小家碧玉的话,那么鲁幕就是大家闺秀了。鲁菜讲究丰盏实惠,大盘大碗,如十全十美席为十盘十碗,往往是一桌子菜盘子堆得像金字塔,具体到每一道菜也十分大气,如一款“八宝
  随着电子设备的功耗越来越高,设备体积越来越小,环境要求越来越严格,热设计的余量越来越小,对热设计的精度提出了较高的要求,目前工程级的误差一般在20%左右,这在产品设计中是不
目的研究低温延迟回植技术联合负压封闭引流术(VSD)对肢体骨折伴大面积皮肤撕脱伤患者植皮成活率的影响。方法选取2014—01—2017—01间收治的94例肢体骨折伴大面积皮肤撕脱伤
目的 比较开腹与腹腔镜子宫肌瘤剔除术的效果。方法 根据不同手术方式对将86例择期行子宫肌瘤剔除术的患者分为2组,各43例。对照组采用传统开腹手术,观察组实施腹腔镜手术。
【正】 作为政工干部,其根本任务就是要用人类历史上最先进、最科学的世界观、方法论去教育人、启发人,解决人的立场和思想道德,使人们从各种谬论和偏见中解放出来,不断提高