带有情感算子的Agent形式化系统研究

随着人工智能的发展,有关Agent理论和技术的研究应用引起了人们的高度关注和重视.纵观以往的Agent研究,主要集中在Agent的构造上.随着生物学和心理学的发展,把情感加入Agent中,越来越受到计算机研究者的关注.提出了带有情感算子的Agent形式化模型Em-BDI-VSK,它融合BDI逻辑和VSK逻辑并加入情感,并构建了该模型的语义框架和公理体系.     

基于含参量蕴涵算子H_（p,λ）的多种三I算法

基于新的带参数的蕴涵算子H（p,λ）给出粘了FMP问题的三I支持算法公式、α-三I支持算法公式以及α-三I约束算法公式。并详细证明了这些算法的正确性。     

基于Delta算子的网络控制系统故障检测

研究了Delta算子描述的网络控制系统的故障检测问题.在传统的移位算子描述的基于观测器的故障检测滤波器设计的基础上,给出Delta算子网络控制系统的模型.利用线性矩阵不等式方法,给出滤波器的最优解的存在和求解方法.最后通过数值仿真表明本文方法的有效性.     

基于SOA理论的多体系统动力学广义质量建模

为了提高多体系统动力学广义质量建模效率,运用空间算子代数(spatial operator algebra,SOA)理论,在计算机符号演算软件Mathematica6.0的环境下,对广义质量进行高效率递推设计与实现.采用SOA空间递推方式,形成了广义质量的高效递推算法.运用VB.NET编程软件实现与Mathematica6.0软件无缝集成,对多体系统动力学广义质量进行建模分析,给出了实施过程.结合实例对PUMA560机器人进行了广义质量设计,并与结果进行了对比,通过算例验证了程序建模的正确性和高效性.     

基于改进灰色模型的建筑能耗预测研究

针对公共建筑逐月能耗呈现周期性震荡的特点,提出一种基于改进灰色模型的建筑能耗预测方法.在传统灰色模型(grey model,GM)的基础上,对建筑能耗的历史数据进行三角变换法处理,较好地解决了震荡序列的模拟和预测;引入弱化缓冲算子改善原始数据序列变化率较大时TGM模型的预测效果.将弱化TGM预测模型应用于各类建筑物的能耗预测,取得较为满意的结果.     

由分式积分算子定义的一致凸函数类的子集

通过Hadamard积定义了一个分式积分算子,并利用分式积分算子得到了单位开圆内具有负系数的一致凸函数类的新子类。主要研究了新子类的特征性质的充要条件是,及系数估计。     

预李-Yamaguti着色代数与着色O-算子

引入了预李-Yamaguti着色代数的概念,给出了李-Yamaguti着色代数的关于表示空间的着色O-算子,讨论其与预李-Yamaguti着色代数的关系,证明了一个预李-Yamaguti着色代数可以得到一个李-Yamaguti着色代数和一个它自身上的表示。     

边界条件含特征参数的三阶微分算子的自伴性和特征值的依赖性

研究一类边界条件含有特征参数且具有转移条件的三阶微分算子的自伴性和特征值的依赖性.通过在新的Hilbert空间定义线性算子T,将问题转化为对相关线性算子T的研究.利用算子理论,证明了该算子的自伴性,在此基础上,讨论了特征值的连续性,特别研究了特征值关于相关参数的可微性,并得到相应的微分表达式.     

基于改进的变权缓冲灰色模型在沉降预测中的应用

针对灰色模型在中后期沉降预测中的精度问题,提出了单、双权幂函数弱化缓冲算子,并结合变权背景值建立改进的变权缓冲GM(1,1)模型。证明了新算子能提高光滑性、缩小级比偏差,实现对原始沉降数据的预处理。对于模型中的权值采用以还原值与原始值平均相对误差最小为目标的粒子群优化算法确定。最后,以高填方机场地表沉降数据预测为例,验证所提改进模型的有效性。结果表明：新算子能够有效弱化沉降序列受到的冲击扰动影响,结合变权背景值能显著提高灰色模型在中后期沉降预测中的精度。此外,对新算子的权值进行限定后,可得到两种不同的变权弱化缓冲算子。     

具p-Laplacian算子的半正分数阶脉冲微分方程三点边值问题解的存在性与唯一性

该文基于Caputo分数阶微分方程,讨论了一个具p-Laplacian算子的半正分数阶微分方程三点脉冲边值问题解的存在性,主要是利用Banach不动点定理和Schauder不动点定理证明了解的存在性.其主要方法是先找出分数阶脉冲微分方程等价的积分方程,然后构造映射,再运用不动点定理,获得方程解的存在性及唯一性的充分条件. 文章最后举例说明了主要结果的应用.