多智体系统时态认知规范的模型检测算法 被引量：9

1

作者 吴立军 苏开乐 《软件学报》 EI CSCD 北大核心 2004年第7期1012-1020,共9页

模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规范已广泛地采用知识逻辑来描述.着重研讨了时态认知逻辑的模型检测算法.在SMV(symbolicmodelverifier)模... 模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规范已广泛地采用知识逻辑来描述.着重研讨了时态认知逻辑的模型检测算法.在SMV(symbolicmodelverifier)模型检测器的基础上,根据知识的语义和集合理论,提出了多种检验知识和公共知识的算法,从而使SMV的检测功能由时态逻辑扩充到时态认知逻辑.这些方法也适用于其他以状态集合作为输出的模型检测方法和工具的功能扩充. 展开更多

关键词 符号模型检测 多智体系统 协议验证 SMV TMN密码协议

在线阅读 下载PDF 职称材料

多主体系统时态认知规范的“On the Fly”模型检测算法研究 被引量：2

2

作者 吴立军 苏开乐 +1 位作者 陈清亮 杨志华 《计算机研究与发展》 EI CSCD 北大核心 2006年第8期1417-1424,共8页

时态认知逻辑已被广泛应用于分布式系统和协议的规范描述,模型检测时态认知规范已成为一个新的研究领域,因此着重研讨时态认知规范的“OntheFly”模型检测算法·在“OntheFly”模型检测时态逻辑描述规范的基础上,根据自动机理论、... 时态认知逻辑已被广泛应用于分布式系统和协议的规范描述,模型检测时态认知规范已成为一个新的研究领域,因此着重研讨时态认知规范的“OntheFly”模型检测算法·在“OntheFly”模型检测时态逻辑描述规范的基础上,根据自动机理论、深度优先方法和知识的语义,提出了“OntheFly”模型检测时态认知规范的算法,该算法在模型检测带有知识算子的时态规范时,在找到一个反例之前,往往只需构造系统的部分甚至小部分状态空间,从而避免了时态认知规范的模型检测中内存不足和状态爆炸等问题,实现了“OntheFly”模型检测时态认知规范,并且算法的复杂性是多项式时间的·最后,通过该方法在验证TMN密码协议中的应用来作为一个例子说明该方法的有效性· 展开更多

关键词 自动机 时态认知逻辑 模型检测 多主体系统 协议验证 TMN密码协议

在线阅读 下载PDF 职称材料

多智能体系统时态认知规范高效符号模型检测的算法研究 被引量：2

3

作者 吴立军 苏金树 苏开乐 《计算机学报》 EI CSCD 北大核心 2008年第2期245-252,共8页

Clarke和McMillan提出了利用mu演算和OBDDs符号模型检测时态逻辑的方法.这些方法是非常有效的,能用于验证许多具有极大状态空间的实际系统(状态个数可以超过1020).但是,这些方法不能检测知识逻辑.而时态认知逻辑能更精确地描述分布式领... Clarke和McMillan提出了利用mu演算和OBDDs符号模型检测时态逻辑的方法.这些方法是非常有效的,能用于验证许多具有极大状态空间的实际系统(状态个数可以超过1020).但是,这些方法不能检测知识逻辑.而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范.文章首先讨论了Kripke结构和mu演算的扩展,然后提出了利用扩展mu演算和OBDDs符号模型检测时态认知逻辑的方法. 展开更多

关键词 OBDDs mu演算 时态认知逻辑 符号模型检测 安全协议验证

在线阅读 下载PDF 职称材料

基于任务协同的MAS计算模型

4

作者 叶小平 陈铠原 +1 位作者 胡苏 李顺古 《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期107-111,共5页

粒度分析技术是一种新的软计算方法,可以有效地分析和处理不确定信息.在知识粒度分析与计算的基础上,引入了基于任务的MAS模型,提出了成员Agent必要度和重要度概念,并以此得到了MAS的协同任务配置.

关键词 粒计算 基于任务MAS模型 任务协同配置

在线阅读 下载PDF 职称材料

基于角色PMI的电子政务安全模型 被引量：6

5

作者 吴立军 苏开乐 《计算机工程与应用》 CSCD 北大核心 2004年第31期117-119,共3页

论文介绍了角色规范属性证书和角色指派属性证书,讨论了基于角色的PMI体系结构,探讨了基于角色PMI的电子政务安全模型。

关键词 电子政务 公钥证书 角色规范属性证书 角色指派属性证书 电子政务安全模型

在线阅读 下载PDF 职称材料

大幅波浪中船舶非线性运动与波浪载荷仿真 被引量：3

6

作者 徐言民 马国勤 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第9期2458-2461,共4页

对基于切片理论的线性频域预报方法进行扩展,考虑湿表面等非线性因素,给出了船舶在大幅波浪中航行时的非线性波浪载荷计算方法,开发出了仿真平台。通过缩尺船模试验验证了仿真系统的精确性,并对大幅波浪中船舶非线性运动和波浪载荷计算... 对基于切片理论的线性频域预报方法进行扩展,考虑湿表面等非线性因素,给出了船舶在大幅波浪中航行时的非线性波浪载荷计算方法,开发出了仿真平台。通过缩尺船模试验验证了仿真系统的精确性,并对大幅波浪中船舶非线性运动和波浪载荷计算进行了实例仿真研究。 展开更多

关键词 非线性运动 切片理论 波浪载荷 时域 船模试验 仿真

在线阅读 下载PDF 职称材料

运用灰色动态模型对我国电力需求的预测 被引量：6

7

作者 蔡安宁 赖斯 《统计与决策》 CSSCI 北大核心 2009年第23期47-49,共3页

文章以我国用电量的历史数据（2000-2008年）为样本，根据灰色动态预测模型GM（1，1）的建模方法，建立了我国电力需求的预测模型。经过相对误差和后验残差检验，模型的精度是一级（优）。文章还运用该模型预测了中国未来3年的电力需求... 文章以我国用电量的历史数据（2000-2008年）为样本，根据灰色动态预测模型GM（1，1）的建模方法，建立了我国电力需求的预测模型。经过相对误差和后验残差检验，模型的精度是一级（优）。文章还运用该模型预测了中国未来3年的电力需求，并提出了相关政策建议。 展开更多

关键词 灰色动态模型 经济增长 电力需求预测

在线阅读 下载PDF 职称材料

优化线性辨别分析在人脸识别中的应用(英文)

8

作者 杨文新 饶淑琴 +2 位作者 王继娜 印鉴 陈健 《计算机科学与探索》 CSCD 2009年第5期539-549,共11页

国内外学者研究发现,类间方差最大化的方向与类内方差最大化的方向之间的角度对传统的线性辨别分析方法的准确性影响显著,并且,当这两个方向平行的时候,传统的线性方法往往不能得到很好的结果。经过的研究和实验,发现传统线性方法的准... 国内外学者研究发现,类间方差最大化的方向与类内方差最大化的方向之间的角度对传统的线性辨别分析方法的准确性影响显著,并且,当这两个方向平行的时候,传统的线性方法往往不能得到很好的结果。经过的研究和实验,发现传统线性方法的准确性与类间方差和类内方差之间的角度没有直接的决定关系,它的最大问题在于线性地对类间方差和类内方差的加和不能完全保留类别之间的辨别信息。提出了一种优化的线性辨别分析的方法(OLDA)来解决这个问题。首先,引入了辨别能量的概念,能够给任意两个类之间的辨别信息赋予同样的权重;其次,引入了一种梯度下降的算法来计算最终的判别向量,并且加速迭代算子的引入能够更加有效地解决运算复杂度的问题。最后,为了解决非线性问题,预先的聚类算法能够将非线性问题转化成为线性问题,从而使数据集能够被有效地分辨出来。采用了一个人脸数据集和一个虚拟数据集进行了实现,实验结果表明提出的优化辨别分析的方法能够有效地解决数据集的分类问题。 展开更多

关键词 人脸识别 线性辨别分析 特征分解 辨别能量 聚类分析

在线阅读 下载PDF 职称材料

一种多项式时间复杂度的密码协议秘密性验证方法

9

作者 吴立军 苏开乐 《计算机科学》 CSCD 北大核心 2005年第7期109-112,共4页

密码协议的秘密性验证是网络安全领域的一个难题,本文在提出协议行为结构的基础上,通过对协议行为及其结构的分析,提出了一种新的密码协议的秘密性验证算法,该算法的时间复杂度是多项式时间的,从而简化了秘密性验证过程,文中最后,作为实... 密码协议的秘密性验证是网络安全领域的一个难题,本文在提出协议行为结构的基础上,通过对协议行为及其结构的分析,提出了一种新的密码协议的秘密性验证算法,该算法的时间复杂度是多项式时间的,从而简化了秘密性验证过程,文中最后,作为实例,给出了TMN密码协议的秘密性验证。 展开更多

关键词 时间复杂度 密码协议 秘密性 验证方法 多项式时间 网络安全 行为结构 验证算法 验证过程 TMN

在线阅读 下载PDF 职称材料

一个基于智能的MAS模型及其方法论 被引量：5

10

作者 李超明 苏开乐 《计算机研究与发展》 EI CSCD 北大核心 2007年第6期980-989,共10页

为了得到好的体系结构模式来将模式驱动的方法用于多智能体系统(MAS)的设计,必须有形式上抽象但是技术上细化的方法论.基于智能思想的提出,使得以智能作桥梁将AO,PO和OO的优点融合,并以此提出一种覆盖了从事务分析到Agent组织系统实现... 为了得到好的体系结构模式来将模式驱动的方法用于多智能体系统(MAS)的设计,必须有形式上抽象但是技术上细化的方法论.基于智能思想的提出,使得以智能作桥梁将AO,PO和OO的优点融合,并以此提出一种覆盖了从事务分析到Agent组织系统实现全过程而又比较技术化的方法论IB.同时提出一个基于智能的智能系统模型(MIBIS),通过模型的构造过程来叙述方法论.因为模型以及构造过程的形式化和整个过程的技术化,所以使得该模型和方法论能够被用于体系结构模式的归纳,也能用于工程的实用.而且该模型所表达的结构有良好动态组织性、实用性、实时性、扩展性和重用性. 展开更多

关键词 基于智能 AO 体系结构 方法论 MAS

在线阅读 下载PDF 职称材料

蒙特卡罗方法与拟蒙特卡罗方法解线性方程组 被引量：4

11

作者 赖斯 卢秀玉 《东华大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第2期224-228,共5页

分别介绍蒙特卡罗方法和拟蒙特卡罗方法解线性方程组的基本原理,并对两种方法的误差和收敛速度进行讨论.提出误差由3方面造成:截断误差、方法本身、伪随机数序列和低差异序列分布不均匀.在收敛速度方面:蒙特卡罗法的收敛速度与问题的规... 分别介绍蒙特卡罗方法和拟蒙特卡罗方法解线性方程组的基本原理,并对两种方法的误差和收敛速度进行讨论.提出误差由3方面造成:截断误差、方法本身、伪随机数序列和低差异序列分布不均匀.在收敛速度方面:蒙特卡罗法的收敛速度与问题的规模和模拟路径长度无关;拟蒙特卡罗方法的收敛与问题的规模无关,但与模拟路径长度有关.经过对两种方法适用的情况进行讨论及数据测试,认为在一般情况下应选择用拟蒙特卡罗方法解线性方程组. 展开更多

关键词 蒙特卡罗方法 线性方程组 拟蒙特卡罗方法 Sobol序列 马尔科夫链

在线阅读 下载PDF 职称材料

中介者模式的面向方面实现

12

作者 罗达 张远舟 周晓聪 《计算机应用与软件》 CSCD 北大核心 2008年第11期46-47,111,共3页

中介者模式常被应用于多个对象需要交互的场合。使用传统的面向对象技术的实现方案容易导致代码分散,冗余代码多,可维护性低。使用面向方面技术实现中介者模式的方案,用方面来表达中介者对象,并把构建模式的同事对象所需要的代码也封装... 中介者模式常被应用于多个对象需要交互的场合。使用传统的面向对象技术的实现方案容易导致代码分散,冗余代码多,可维护性低。使用面向方面技术实现中介者模式的方案,用方面来表达中介者对象,并把构建模式的同事对象所需要的代码也封装到方面中,对象的交互则使用切入点的定义与通知来实现。与传统实现方案相比,基于面向方面技术的实现方案具有代码集中、可读性强、可扩展性强等优点。 展开更多

关键词 面向对象 方面 AOP 设计模式 中介者模式

在线阅读 下载PDF 职称材料