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

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

船舶智能损管训练系统中的Virtools应用和实现

近年来,船舶对损管能力和指挥人员指挥能力的要求越来越高,急需研究和开发现代化的训练方式和训练系统。然而,当前我国船舶损管训练系统智能化水平低、真实性差的缺点。为确保船舶损管训练系统的性能,本文结合法国达索公司推出的Virtools工具,通过对系统需求、角色行为构建、监控与检测技术等的研究,成功实现了Virtools在船舶智能损管训练系统中的应用和实现,满足船舶对高性能损管训练系统的要求。     

大学系主任角色行为研究

由于受多种角色期待的制约，大学系主任与其他学术人员和管理人员 相比存在更多的角色紧张和角色冲突。系主任本人及相关管理部门应根据系主任角色行为的特点，正确评价系主任的工作。