基于情感组织Agent的联盟形成研究 被引量：7

1

作者 陈莉 陈晓云 +1 位作者 胡山立 林运国 《广西师范大学学报（自然科学版）》 CAS 北大核心 2008年第1期146-149,共4页

情感Agent通过同动态环境(包括人)的交互,能够感知周围环境,自治运行以实现特定的目标,同时也能影响和改变环境。把EBDI中的情感Agent引入到组织和联盟中,提出情感因子,对形成联盟的Agent的能力贡献多少进行评估,能充分体现了动态环境... 情感Agent通过同动态环境(包括人)的交互,能够感知周围环境,自治运行以实现特定的目标,同时也能影响和改变环境。把EBDI中的情感Agent引入到组织和联盟中,提出情感因子,对形成联盟的Agent的能力贡献多少进行评估,能充分体现了动态环境中情感Agent的各个情感分量的变化及这种变化对Agent行为的影响。因此,提出基于情感组织Agent的联盟形成策略,引入组织Agent的情感因子对形成联盟过程中的能力贡献进行评估,体现额外效用分配方法有效性、简单性、动态性、时效性,也使整个系统更趋于人性化,显示出协商机制的公平合理性。 展开更多

关键词 情感组织Agent 效用 情感因子

下载PDF 职称材料

初中物理课堂教学中科学方法教育的实施 被引量：1

2

作者 林运国 《中学课程资源》 2023年第4期10-13,共4页

科学方法教育是基础教育的基本内容,是确保课堂教学质量和教学效率的关键因素。如何实施科学方法教育,提高教学质量,让学生在课堂学习中有所收获,是当前广大教师面临的一项重要课题。在初中物理课堂教学中,教师应当结合教学内容,改进教... 科学方法教育是基础教育的基本内容,是确保课堂教学质量和教学效率的关键因素。如何实施科学方法教育,提高教学质量,让学生在课堂学习中有所收获,是当前广大教师面临的一项重要课题。在初中物理课堂教学中,教师应当结合教学内容,改进教学方法,采取控制变量、测量转换、观察对比、类比、等效替代、理想模型、科学推理、图像、放大九种方法,使初中物理课堂呈现新气象,让学生看得懂、学得快,提升教学效果。 展开更多

关键词 初中物理 科学方法教育 教学方法

下载PDF 职称材料

多Agent模糊概率信念逻辑 被引量：3

3

作者 林运国 陈晓云 +1 位作者 胡山立 陈莉 《广西师范大学学报（自然科学版）》 CAS 北大核心 2008年第1期150-153,共4页

在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{0,1}。基于新模糊集合论给出信念真值的模糊真值计算方法,将信念的真值取值范围推广到[0,1]。在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,... 在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{0,1}。基于新模糊集合论给出信念真值的模糊真值计算方法,将信念的真值取值范围推广到[0,1]。在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,从而建立多Agent模糊概率信念逻辑。在该逻辑中,给出多Agent模糊概率信念逻辑的语法和语义,并且证明了该逻辑系统的可靠性。 展开更多

关键词 多AGENT系统 信念逻辑Kripke语义 广义Aumann语义 模糊概率

下载PDF 职称材料

学生成绩预测的时齐马尔科夫法

4

作者 吴卢荣 林运国 《聊城师院学报（自然科学版）》 2002年第2期95-96,98,共3页

应用时齐马尔科夫法来预测未来学生的考试成绩.

关键词 成绩预测 时齐马尔科夫法预测 转移概率矩阵 随机过程 时齐马尔科夫过程 考试成绩 高校

下载PDF 职称材料

量子测量逻辑与推理理论 被引量：1

5

作者 林运国 李永明 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2016年第6期6-13,共8页

已有的量子逻辑存在只适合于刻画封闭量子系统以及无法形式化量子测量算子等问题。为了描述开放量子系统,本文基于量子测量给出一种逻辑语言。首先,将经典命题公式作为逻辑语言的局部公式,以量子测量算子作为项公式;然后,将项公式的比... 已有的量子逻辑存在只适合于刻画封闭量子系统以及无法形式化量子测量算子等问题。为了描述开放量子系统,本文基于量子测量给出一种逻辑语言。首先,将经典命题公式作为逻辑语言的局部公式,以量子测量算子作为项公式;然后,将项公式的比较式和封闭量子子系统作为逻辑语言的原子命题,并定义一组量子联结词;最后,按结构归纳方式给出逻辑语言的全局公式。通过比较、分析已有的逻辑语言,说明量子测量逻辑的表达能力。作为公理化系统,给出量子测量逻辑的推理规则、元定理等相关理论。 展开更多

关键词 量子逻辑 量子测量 元定理 推理规则

下载PDF 职称材料

高校学生课程绩点预测方法 被引量：1

6

作者 林运国 曾海滨 +1 位作者 张云帆 温永仙 《内江师范学院学报》 2019年第2期57-62,共6页

学业预警是加强学风建设、提高教学质量的一项举措,课程绩点预测是其中一项必不可少的工作.在分析课程之间的关系基础上,运用遗传优化BP神经网络算法对目标课程绩点进行预测.首先,将百分制成绩转化为课程绩点;其次,引入专业知识网络并... 学业预警是加强学风建设、提高教学质量的一项举措,课程绩点预测是其中一项必不可少的工作.在分析课程之间的关系基础上,运用遗传优化BP神经网络算法对目标课程绩点进行预测.首先,将百分制成绩转化为课程绩点;其次,引入专业知识网络并建立课程社团;然后,运用关联规则分析给出课程之间的关联性;接下来,利用遗传算法优化BP神经网络,提出预测课程绩点的算法;最后,以本校数学专业成绩为分析数据,讨论该预测方法的可行性和有效性. 展开更多

关键词 高校学生 课程绩点 预测方法

下载PDF 职称材料

仓库容量有限条件下易变质产品的随机存储模型 被引量：1

7

作者 林运国 《福建师大福清分校学报》 2007年第2期6-10,共5页

讨论易变质产品在仓库容量有限条件下有多种不同销售价格不同需求分布的最佳存储量。

关键词 存储模型 订货费 存储费 租赁仓库费 缺货损失费 最优订货量

下载PDF 职称材料

学生考试成绩分布的拟合 被引量：1

8

作者 林运国 吴卢荣 《聊城师院学报（自然科学版）》 2002年第1期92-93,共2页

探讨了学生成绩的分布情况,发现学生成绩并非都呈正态分布.

关键词 学生 考试成绩 分布 拟合 正态分布 伽玛分布

下载PDF 职称材料

Agent信念的遗忘修正方法 被引量：1

9

作者 林运国 林耀海 王秀丽 《计算机应用》 CSCD 北大核心 2010年第10期2572-2574,2577,共4页

为了使信念修正能够满足最小改变原则,首先基于遗忘理论定义遗忘收缩算子,并且证明该算子满足必要AGM收缩假定;然后通过Levi Identity构建遗忘修正算子;最后给出遗忘修正方法和多次遗忘修正算法。实例分析表明,算法具有可行性和有效性,... 为了使信念修正能够满足最小改变原则,首先基于遗忘理论定义遗忘收缩算子,并且证明该算子满足必要AGM收缩假定;然后通过Levi Identity构建遗忘修正算子;最后给出遗忘修正方法和多次遗忘修正算法。实例分析表明,算法具有可行性和有效性,能够得到较满意的修正结果。 展开更多

关键词 信念修正 部分相交收缩 收缩 修正 遗忘理论

下载PDF 职称材料

加权迁移系统线性时间属性及其安全性检测

10

作者 林运国 《计算机应用》 CSCD 北大核心 2014年第5期1413-1417,共5页

针对加权迁移系统,提出了线性时间属性及其安全性检测。首先定义了半环K上的加权迁移系统,提出了加权线性时间属性概念,并根据权重函数确定加权线性时间属性的上确界、下确界和闭包;接着给出了几种常见的加权线性时间属性并且讨论了它... 针对加权迁移系统,提出了线性时间属性及其安全性检测。首先定义了半环K上的加权迁移系统,提出了加权线性时间属性概念,并根据权重函数确定加权线性时间属性的上确界、下确界和闭包;接着给出了几种常见的加权线性时间属性并且讨论了它们的关系;然后重点研究了加权安全性,通过加权自动机和闭包给出了加权正则安全性;最后基于加权有穷自动机,建立了加权正则安全性的检测方法。检测过程结合半环和形式幂级数,构造了加权迁移系统和加权有穷自动机的乘积系统,将加权安全性检测问题转化为验证乘积系统的不变性,给出了加权正则安全性检测的算法和复杂度。实例结果表明,所提的方法能够对加权迁移系统的安全性进行检测。 展开更多

关键词 迁移系统 线性时间属性 模型检测 安全性 半环

下载PDF 职称材料

动态约束下的联盟形成

11

作者 林耀海 林运国 宁正元 《计算机工程与科学》 CSCD 北大核心 2010年第7期123-125,共3页

联盟形成是多Agent系统中一种重要的合作方式。人们设计了一系列联盟形成框架,较好地解决了联盟值最大化、任务分配、组合拍卖等问题。已有关于联盟形成的研究,较多地从效用、任务等角度来考虑问题。在一些情况下,仅从这些角度考虑联盟... 联盟形成是多Agent系统中一种重要的合作方式。人们设计了一系列联盟形成框架,较好地解决了联盟值最大化、任务分配、组合拍卖等问题。已有关于联盟形成的研究,较多地从效用、任务等角度来考虑问题。在一些情况下,仅从这些角度考虑联盟形成是不够的,于是我们从约束的角度来研究联盟形成。首先深刻分析了联盟形成时的约束问题,采用命题逻辑来描述对Agent的约束,给出了联盟偏好语言及其语义描述;接着给出了它的一些性质;最后将动态约束下的联盟形成机制与常见的一些联盟形成机制作了对比,体现了动态约束下联盟形成机制的特点。 展开更多

关键词 动态 联盟 约束 多AGENT系统

下载PDF 职称材料

开放量子行走的击中时分析

12

作者 林运国 蔡水英 《计算机工程与应用》 CSCD 北大核心 2016年第15期43-48,共6页

作为量子搜索算法研究的一个基本工具,量子行走是一个重要研究课题。同时,击中时是衡量量子行走到达某一目标顶点速度的标准,对量子算法研究具有广泛的应用。在开放量子环境下,给出开放量子行走的四种击中时定义:单次击中时、并行击中... 作为量子搜索算法研究的一个基本工具,量子行走是一个重要研究课题。同时,击中时是衡量量子行走到达某一目标顶点速度的标准,对量子算法研究具有广泛的应用。在开放量子环境下,给出开放量子行走的四种击中时定义:单次击中时、并行击中时、平均击中时和极限击中时。区分四种击中时,说明前两种用于刻画开放量子行走局部到达目标顶点,而后两种从全局和极限角度分析目标顶点到达情况。针对同质开放量子行走、异质开放量子行走和嵌套开放量子行走,分别给出四种击中时具体计算。 展开更多

关键词 量子算法 量子行走 开放量子系统 击中时

下载PDF 职称材料

《信息论与编码》课程实践教学环节探索与实践

13

作者 黄习培 林运国 连海峰 《福建电脑》 2017年第1期84-86,共3页

介绍了信息论与编码课程的主线,提出了用一个课程设计将主线内容贯穿于一起的方法。课程设计分三大部分信源、信道和信息安全,课程设计可以分段实施,并与理论讲授内容相适应。建议了课程设计可选的工具和课程设计的考核方式。

关键词 信息论与编码 实践教学 课程设计

下载PDF 职称材料

基于内模型的知识遗忘

14

作者 林运国 王秀丽 林耀海 《福建农林大学学报（自然科学版）》 CSCD 北大核心 2011年第3期318-321,共4页

在多Agent系统下,根据遗忘理论和经典知识逻辑建立基于内模型的知识逻辑,并且提出相应的互模拟关系,定义出知识逻辑;讨论了知识遗忘的相关性质.

关键词 多AGENT系统 知识逻辑 内模型 遗忘理论

下载PDF 职称材料

量子马尔可夫链安全性模型检测 被引量：7

15

作者 林运国 雷红轩 李永明 《电子学报》 EI CAS CSCD 北大核心 2014年第11期2191-2197,共7页

本文定义了量子线性时间属性,包括量子安全性,量子不变性,讨论了它们的关系和性质.结合测量一次、测量多次的单向量子有穷自动机,构建了两类乘积量子马尔可夫链,提出了基于自动机技术的量子正则安全性检测方法.通过验证乘积量子马尔可... 本文定义了量子线性时间属性,包括量子安全性,量子不变性,讨论了它们的关系和性质.结合测量一次、测量多次的单向量子有穷自动机,构建了两类乘积量子马尔可夫链,提出了基于自动机技术的量子正则安全性检测方法.通过验证乘积量子马尔可夫链的可达终状态来判断量子正则安全性的可满足性,并给出了可满足性的概率计算公式.作为应用,分析了广义量子loop程序,将程序终止归结为验证量子正则安全性的可满足性. 展开更多

关键词 量子马尔可夫链 模型检测 安全性 量子有穷自动机 广义量子loop程序

下载PDF 职称材料

时间非齐次二态量子游荡的演化过程分析 被引量：1

16

作者 林运国 《数学物理学报（A辑）》 CSCD 北大核心 2021年第4期1097-1110,共14页

建立时间非齐次二态量子游荡的数学模型,给出位置概率分布的计算表达式.通过计算演化算子的谱值和谱向量分析量子态的演化.推导出伊藤公式并进行矩阵分解和解释.

关键词 量子游荡 非齐次 概率分布 谱值 伊藤引理

下载PDF 职称材料

基于安全性检测的广义量子Loop程序终止验证 被引量：1

17

作者 林运国 李永明 《中国科学：信息科学》 CSCD 北大核心 2015年第12期1615-1631,共17页

针对广义量子Loop程序的终止问题,首先介绍终止和几乎终止的两种定义,说明它们在刻画程序终止问题上的能力不足.为了弥补这种缺陷,引入另外两种定义:以一定概率在第n步终止和可终止,并且对这四种终止定义进行比较.其次,量子(正则)安全... 针对广义量子Loop程序的终止问题,首先介绍终止和几乎终止的两种定义,说明它们在刻画程序终止问题上的能力不足.为了弥补这种缺陷,引入另外两种定义:以一定概率在第n步终止和可终止,并且对这四种终止定义进行比较.其次,量子(正则)安全性是量子Markov链中重要的一类线性时间属性,证明出量子正则安全性的可满足概率等于乘积量子Markov链终状态不可达的概率,从而给出量子正则安全性检测技术.运用该检测技术,将广义量子Loop程序的终止问题归结为量子正则安全性的可满足性问题,并给出算法来计算第n步终止、可终止的概率和量子终态.针对多(单)量子比特系统、复合系统、嵌套系统,推导出第n步终止、可终止的终态和概率,并提供计算的显式表达式.最后证明广义量子Loop程序有限步内终止和可终止的充要条件. 展开更多

关键词 量子Loop程序 量子Markov链 量子自动机 程序终止 安全性

原文传递

一维离散时间量子行走的路径分析法、概率分布与对称性

18

作者 林运国 《电子学报》 EI CAS CSCD 北大核心 2021年第7期1323-1330,共8页

为了模拟长程的一维离散时间量子行走的演化过程以及降低计算复杂性,提出一种路径分析方法.首先分析系统到达某个位置的路径分块和路径数,将系统移位到某个位置演化算子进行分解,表示成二阶矩阵线性空间的一组基的线性组合;然后用超几... 为了模拟长程的一维离散时间量子行走的演化过程以及降低计算复杂性,提出一种路径分析方法.首先分析系统到达某个位置的路径分块和路径数,将系统移位到某个位置演化算子进行分解,表示成二阶矩阵线性空间的一组基的线性组合;然后用超几何级数进行化简,给出概率分布的计算方法;最后分析产生对称式概率分布的充分条件,表明对称性只与量子初态有关.实验结果表明,该方法能够有效模拟系统的长时间演化过程.相关结果可以推广到更一般类型的离散时间量子行走. 展开更多

关键词 离散时间量子行走 翻转算子 路径分析法 极限分布 概率分布 对称性

下载PDF 职称材料

开放量子行走:概率分布与中心极限定理

19

作者 林运国 李永明 《计算机学报》 EI CSCD 北大核心 2016年第12期2446-2459,共14页

作为量子算法研究的一个基本工具,量子行走已经成为一个重要研究课题.在开放量子环境下,同质量子行走已经得到充分研究,包括其概率分布和中心极限定理.然而,对于高维格上且在异质环境下的开放量子行走的演化方程、概率分布和中心极限定... 作为量子算法研究的一个基本工具,量子行走已经成为一个重要研究课题.在开放量子环境下,同质量子行走已经得到充分研究,包括其概率分布和中心极限定理.然而,对于高维格上且在异质环境下的开放量子行走的演化方程、概率分布和中心极限定理还未得到研究.在此基础上,该文提出高维格上异质开放量子行走以及它的演化方程,重点研究高维格上具有不同类型的量子运算的开放量子行走的概率分布和中心极限定理.首先给出高维格上量子系统的演化表达式,它不但适合于同质开放量子行走,也适合于异质开放量子行走.与已有的演化表达式相比,该结果更具有一般性.其次,利用傅里叶变换和逆变换给出开放量子行走的概率分布的计算公式,研究其对同质开放量子行走和异质开放量子行走的适用性.通过例子说明一维格上、二维格上异质开放量子行走的概率分布计算.最后,运用鞍差分序列中心极限定理,给出并证明高维格上异质开放量子行走的中心极限定理,说明一维格上同质开放量子行走的中心极限定理是它的一种特殊情况,并通过二维格上异质开放量子行走的实例给出求解极限分布的具体过程. 展开更多

关键词 量子行走 开放量子系统 概率分布 中心极限定理 量子计算

下载PDF 职称材料

Exogenous量子马尔可夫链及其可达性分析

20

作者 林运国 李永明 《软件学报》 EI CSCD 北大核心 2016年第12期2994-3002,共9页

为了刻画开放量子系统的量子属性,扩展现有的量子马尔可夫链是有必要的.通过构建Exogenous量子算子逻辑,定义了Exogenous量子马尔可夫链.作为新型量子马尔可夫链,重点研究了4种可达性公式,给出可达性公式可满足性问题的求解,并分析了它... 为了刻画开放量子系统的量子属性,扩展现有的量子马尔可夫链是有必要的.通过构建Exogenous量子算子逻辑,定义了Exogenous量子马尔可夫链.作为新型量子马尔可夫链,重点研究了4种可达性公式,给出可达性公式可满足性问题的求解,并分析了它们的可判定性问题.作为应用,实例说明广义量子Loop程序的终止问题可以归结为Exogenous量子马尔可夫链的最终可达性,进而通过检测量子公式可满足性来判定程序的终止问题. 展开更多

关键词 量子马尔可夫链 量子逻辑 可达性 可满足性问题 可判定性问题

下载PDF 职称材料