山东省自然科学基金(ZR2011FL018)

作品数：4被引量：6H指数：1
导出分析报告
相关作者：刘惊雷孙雪姣郭艳燕张伟汲长飞更多>>
相关机构：烟台大学更多>>
相关期刊：《烟台大学学报（自然科学与工程版）》《模式识别与人工智能》《吉林大学学报（工学版）》《计算机科学》更多>>
相关主题：CP-NETSUML状态机RSL形式化方法形式化定义更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于表决策略的CP-Nets可满足性序列的聚合
《模式识别与人工智能》2013年第9期891-896,共6页孙雪姣 刘惊雷 
国家自然科学基金项目(No.61170224);山东省自然科学基金项目(No.ZR2011FL018,ZR2012FL07);山东省科技发展计划项目(No.2012GGB01017);山东省教育厅科技计划项目(No.J11LG35,J10LG27)资助
条件偏好网(CP-Nets)的可满足性序列是由决策者的偏好信息得到的一个关于所有配置的排序表,其中偏好关系具有不完备性和传递性.主要分析借鉴传统的表决策略来实现CP-Nets的可满足性序列的聚合的可行性,介绍"少数服从多数"和"与位置相关...
关键词：条件偏好网（CP-Nets） 可满足性序列 表决系统 聚合 
UML状态机模型元素的RSL形式化定义被引量：4
《计算机科学》2013年第5期177-183,205,共8页郭艳燕 刘惊雷 
国家自然科学基金(61170224);山东省自然科学基金(ZR2011FL018);山东高等学校科研计划项目(J10LG27)资助
UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一...
关键词：统一建模语言(UML ) 状态机 形式化方法 有穷自动机 RAISE规约语言(RSL) 
复杂网络中的二阶邻居网络被引量：1
《吉林大学学报（工学版）》2013年第2期404-409,共6页张伟 汲长飞 童向荣 
国家自然科学基金项目(61170224);山东省自然科学基金项目(ZR2011FL018);山东高等学校科研计划项目(J11LG35,J10LG27);山东省科技攻关项目(JS12K21)
基于以单个节点为中心的两层邻居网络,研究了复杂网络中的局部拓扑结构,提出邻居度等相关概念,分析了邻居度在复杂网络中信息的传递控制、MAS中的结构自组织、系统的鲁棒性以及网络社区发现等方面的应用,其中通过邻居度的分解可以有效地...
关键词：人工智能 邻居度 MAS 信息控制 网络社区发现 
利用SCSP实现CP-nets的强占优测试被引量：1
《烟台大学学报（自然科学与工程版）》2012年第3期189-193,共5页孙雪姣 
国家自然科学基金资助项目(61170224);山东省自然科学基金资助项目(ZR2011FL018)
基于"从CP-nets向SCSP规约"的思想来实现CP-nets的强占优测试,实现了CP-nets中的定性判断向约束半环中的定量判断的转换.通过重新定义转换规则,修正了刘惊雷提出的方法中的错误,文中阐述了具体的实现方法.
关键词：条件偏好网(CP—nets) 条件偏好表(CPT) 强占优测试 带有软约束的满足问题(SCSP) 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部