山东省自然科学基金(ZR2011FL018)
- 作品数：4 被引量：6H指数：1
- 相关作者：刘惊雷孙雪姣郭艳燕张伟汲长飞更多>>
- 相关机构：烟台大学更多>>
- 发文基金：山东省自然科学基金国家自然科学基金山东省科技攻关计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 利用SCSP实现CP-nets的强占优测试被引量：1
- 2012年
- 基于"从CP-nets向SCSP规约"的思想来实现CP-nets的强占优测试,实现了CP-nets中的定性判断向约束半环中的定量判断的转换.通过重新定义转换规则,修正了刘惊雷提出的方法中的错误,文中阐述了具体的实现方法.
- 孙雪姣
- UML状态机模型元素的RSL形式化定义被引量：4
- 2013年
- UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机;然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础。
- 郭艳燕刘惊雷
- 关键词：状态机形式化方法有穷自动机
- 复杂网络中的二阶邻居网络被引量：1
- 2013年
- 基于以单个节点为中心的两层邻居网络,研究了复杂网络中的局部拓扑结构,提出邻居度等相关概念,分析了邻居度在复杂网络中信息的传递控制、MAS中的结构自组织、系统的鲁棒性以及网络社区发现等方面的应用,其中通过邻居度的分解可以有效地对Zachary社会关系网进行社区划分。
- 张伟汲长飞童向荣
- 关键词：人工智能MAS
- 基于表决策略的CP-Nets可满足性序列的聚合
- 2013年
- 条件偏好网(CP-Nets)的可满足性序列是由决策者的偏好信息得到的一个关于所有配置的排序表,其中偏好关系具有不完备性和传递性.主要分析借鉴传统的表决策略来实现CP-Nets的可满足性序列的聚合的可行性,介绍"少数服从多数"和"与位置相关"策略在CP-Nets的可满足性序列的聚合的具体实现并进行性能分析.实现传统表决系统的一个从完备到非完备的推广应用.
- 孙雪姣刘惊雷
- 关键词：表决系统
