规则参数制约下信念、期望及意图主体的前提-结论模型演化机制

把外界刺激、知识库中的规则离散为基本元素并且和信念、期望及意图主体(BDIagent)的前提结论结合在一起,用可学习的函数关系表示了信念、期望及意图的相互转换机制。BDIagent通过生长和演化在规则库中留下痕迹,此痕迹对规则圈中的优先树进行修改,BDIagent在内部函数作用下生长变大,在外部函数作用下演化为友员主体,也可以蜕变为面向对象的类;演化生长为具有各种用途的、在一个整体前提下有机组合的各种功能单位。这种主体可方便地建造适应于许多智能领域的应用程序,使其成为面向自组织设计的基本概念与基本数据结构,以这种算法结构为基础能构造出自组织设计所需要的主体工作平台。     

BDI agent导引修改机制用于Peer to Peer系统文件操作

类是面向对象技术中最重要的概念,改进类的结构后给出了一种可计算的agent模型.这种模型的特点是加入了导引函数与一些修改函数,导引函数借助节点信息树实现agent的BDI搜索,这是agent的通常工作模式.修改函数用来完成agent的生长与变异,各地的agent与访问的agent作用在一起形成分布式多agent系统(distributed multi-agentssystem).这一模型能够用于Peer to Peer系统交互以及实现多粒度文件操作.     

基于行动逻辑的智能主体行为表征研究

在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体结构在一些最为重要的多主体系统中得到了广泛应用。动态认知行动逻辑也可以对智能主体的行为进行表征。将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的。这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持。     

基于混合算法求解ELSP问题的可行域分析

本文给出求解ELSP问题(Economic Lot Scheduling Problem)的可行域的特征、启发式规则和演化神经网络设计问题.经济批量问题采用基本时段方法表示,该方法产生两类决策变量,一种是表示基本时间段的连续变量,另一种是表示时间倍数的整数变量.在求解ELSP问题的算法设计中,可行域是判定启发式规则有效性的基础.为了给出可行域的特征,利用神经网络的演化计算,设计求ELSP问题的初值算法,设计演化参数函数、网络结构、演化函数、演化规则,并依此获得可行域的约束条件.对在可行域约束条件和启发式规则下设计的算法进行测试,并与用HGA和一般GA方法求解ELSP问题进行比较,求解效果明显提高,使得在满足可行性的前提下总费用减小.     

一种动态博弈的多agent合作机制模型

利用博弈学习思想,以多agent系统为平台,提出一种基于动态无限博弈的多agent合作机制模型,以多阶段邀请、考核模式形成无限次重复博弈结构体.提出信任基准测度评价控制agent博弈选取的盲目性,使其理性计划各阶段决策.通过博弈结果反馈信息,动态调整agent博弈主体的收益函数,控制各agent间的协同合作优先级,实现闭环调控.将多agent组合构成智能结构体的基本单元,利用九宫格实验对该基本单元进行试验测试,验证多工况下,基于多种信任基准条件agent单元体间的协同合作机制.实验表明,信任基准可有效调整agent间的信任等级,促进系统中agent合作频率的提高.     

一种基于BDI的理性决策模型

随着人们对理性agent的BDI(Eelief，Desire，Intcntion，BDI)模型的认识和理解的逐步深化，越来越多的研究者开始将BDI结构用于其从事的研究领域．将BDI作为随环境变化的组件，描述决策的静态结构．在此基础上，通过信息采集一计划产生一偏好选择一计划实施与监控等步骤来完成决策过程，建立理性决策过程的形式化模型，并通过生活中的实例加以说明．该模型通过及时地更新组件，实时地对决策过程进行监控，从而增强了动态环境下决策的柔性．     

关于一类不可微约束规划高阶算法的探讨

针对在线性约束条件下，目标函数形如有限个可微函数之极大值函数与可微函数 之和的不可微约束规划，提出一个能采用任何一种目标函数近似二阶模式构造，以及 任何一种期望得到Ｎｅｗｔｏｎ类步设想的算法，由算法中的保护措施，使在有效的情 况下发挥二阶近似的作用，而在不利的情况下仍能保证全局收敛性．同时，利用ε－广 义方向导数和光滑极小化中的变尺度思想提出两种期望得到Ｎｅｗｔｏｎ类步的模式。     

“阿布沙耶夫”是什么？ 标签怎么变成现实的？

官方和媒体常常将“阿布沙耶夫”描述为制造菲律宾西南部各种暴行的伊斯兰武装集团或组织。但是，这种对“阿布沙耶夫”的描述常常隐藏着一个前提假设，即所有的恐怖分子或土匪团伙部拥有传统组织的基本架构。然而，自上世纪90年代初以来，     

基于群体Agent合作求解的测试床--MAS-Soccer

为试验和比较各种先进的群体Agent合作求解智能算法,给群体Agent合作策略提供一个比较与测试的平台,该文针对传统的测试平台过分强调具体动作实施细节,忽略合作策略重要性的问题,给出了一种基于信念愿望意图(BDI)逻辑推理的群体Agent合作求解仿真系统--MAS-Soccer. 在设计过程中简化Agent具体行为的执行细节,突出整体合作策略以及BDI逻辑推理在比赛中的重要性,并以此作为测试平台,以机器人足球赛任意球战术配合为实验内容,验证和比较了基于特征向量提取的再励学习算法与传统的再励学习算法在学习效果以及学习时间上的优劣.实验在验证算法的先进性的同时,也表明MAS-Soccer测试床能够准确和方便地进行合作策略的验证与比较.     

复杂系统的MAS动态协作求解时序逻辑模型

借助于组织学思想,将自适应系统中的自主运行单元抽象为Agent,把复杂自适应系统视为多Agent组织,从时间和状态角度,对复杂动态系统的行为进行描述。提出了基于时序活动逻辑的多Agent动态协作任务求解自适应机制和构造模型;详细分析了任务求解BDI Agent的信念、愿望、意图的产生过程和实现方法;深入讨论了协商推理的语义规则和行为规则;给出了协作群组的选择算法,包括从群组的建立、选择任务Agent、分解和分配子任务;从任务求解Agent的心智变化角度,详细描述了动态协作任务求解模型实现的6个阶段:任务动态分配、协作意愿产生、协作群体生成、共同计划制定、协作群体行动和结果评估。通过在MAGE等平台上的实验和仿真测试,验证了方法的可行性和有效性。     

阅读教学与创造性思维能力的培养

本文主要从营造创造性思维能力的环境、开掘主题的新意义、培植学生的想象力及改进阅读教学的方法四大方面较详尽地论述了在阅读教学中培养学生造性思维能力的方式与方法。     

土壤和气候条件对除草剂药效的影响

概述了土壤因素和气候条件对除草剂药效影响。     

论网络赌球活动的危害及其现存的法律问题

运用文献资料法等研究方法,对我国网络赌球活动的特点、发展及其危害进行了分析,研究认为：相关法律法规的不完善是我国治理赌球活动所凸显出来的一个重要问题,主要表现在电子证据的合法性与易销毁问题、管辖权的归属问题与调查取证问题、网络赌球犯罪的主观认定等多个方面,建议：尽早制定和出台防控赌球活动的法律法规,完善法律体系,同时,一方面在国际上要加强司法合作,另一方面在国内要强化多部门协同执法意识,齐抓共管,才能够有效的遏制网络赌球行为。     

对技术等要素参与分配的调查报告

在对部分企业调查的基础上,论述了技术要素参与分配的理论创新和制度创新意义,分析了影响企业实施技术要素参与分配的问题,并提出了相应的对策与措施。     

对滑坡预报中力和强度因素的探讨

通过引进不平衡滑动力的概念，分析滑坡体内应力、强度和位移速度的变化规律，结合滑坡的滑动类型探讨了滑坡发生的运动机制，并提出了一次滑动型滑坡阶段划分的定性标准．     

基于Muhisim的信号抽样与恢复仿真设计与分析

介绍了仿真软件Multisim常用仿真工具的特点，并综合利用Muhisim仿真工具对信号抽样与恢复电路进行了仿真分析。仿真得到了与现有教材对该电路分析一致的结果。充分利用分析图表和测量数据，使课堂教学更形象、灵活，更贴近工程实际，从而加深了学生对理论知识的理解，提高学生动手能力和分析问题、解决问题的能力。     

基于公理设计的软件构件设计优化

为了提高软件开发的有效性和正确性,提出了一种基于公理设计的构件设计与优化新方法,详细给出了该方法的设计和实现过程.在此基础上,以调度构件的开发作为研究实例,分别对按照公理设计和传统方法得到的两种设计方案进行了设计、分析、比较和优化,验证了该方法在软件开发方面的有效性和正确性.     

借款约束、分配与增长的理论与实证分析

作者构建了内生增长模型，分析了在信用市场不完善时收入分配对经济增长影响的作用机制，理论分析表明在有借款约束时初始收入分配差距不利于经济增长。利用我国两个时期的跨省横截面数据进行了实证分析，结果表明我国90年代后期的收入分配差距阻碍了经济增长，人力资本的积累特别是初等和中等教育以上的人力资本积累有利于经济增长。