【摘 要】
：
旨在为角色自律分散系统的建模提供一种形式化方法，为形式化验证奠定基础。角色随时空变化的动态表达取决于系统的自律度和环境条件。在对几类系统自律性的度量指标分析比较的
论文部分内容阅读
旨在为角色自律分散系统的建模提供一种形式化方法，为形式化验证奠定基础。角色随时空变化的动态表达取决于系统的自律度和环境条件。在对几类系统自律性的度量指标分析比较的基础上，从内部视点和外部视点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例。对照组采用传统开腹手术,观察组实施腹腔镜手术。
【正】 作为政工干部,其根本任务就是要用人类历史上最先进、最科学的世界观、方法论去教育人、启发人,解决人的立场和思想道德,使人们从各种谬论和偏见中解放出来,不断提高