一类非散度型退化抛物方程广义解的存在性

讨论一类非散度型退化抛物方程的初边值问题. 利用抛物正则化方法, 证明了该问题广义解的存在性. 对初边值和方程做了两重正则化, 并分别进行了一系列的估计. 利用分析方法, 证明了所得逼近解序列的弱收敛性, 进而证明了其弱解的存在性.     

基于波动负荷功率分析的闪变源判别方法

通过建立多闪变源电路等效模型,分析了闪变功率闪变源判别原理,构建了改进能量算子提取电压和电流闪变包络,采用改进FFT谱分析获得闪变包络参数计算闪变功率,基于闪变功率方向和幅值特性实现闪变源定位及其污染评估,提出并建立了基于波动负荷功率分析的闪变源判别方法.仿真分析和实验表明,提出方法能快速有效定位闪变源,准确评估多闪变源的污染程度,判别结果快速准确、误判率低.     

关于线性序同态与LF线性算子的连续性

给出了线性序同态与ＬＦ线性算子的定义并得到了其结构刻划表示定理,证明了ＬＦ线性算子是线性序同态的点式刻划,在此基础上,讨论了ＬＦ拓扑线性空间上ＬＦ线性算子的连续问题,得到了ＬＦ线性算子连续的若干等介刻划条件。     

Delta算子系统D稳定鲁棒容错控制

研究了Delta算子描述的线性系统基于圆形区域极点配置的鲁棒容错控制(定义作D稳定鲁棒容错控制)问题·利用线性矩阵不等式,给出了Delta算子描述的标称线性系统通过状态反馈实现D稳定容错控制的两个充分条件和D稳定容错控制器的设计方法·利用代数Riccati方程,给出了Delta算子描述的不确定线性系统D稳定鲁棒容错控制的充分条件和D稳定鲁棒容错控制器的设计方法·将连续与离散系统有关该问题的结果统一到了Delta算子框架中·     

基于物种选择的遗传算法求解约束非线性规划问题

将信赖域思想和基于稳定进化策略思想相结合,提出一种基于物种选择的遗传算法。根据当前代最优点,采用稳定最优种群数目和收缩最优种群边界的方法将种群划分为最优种群和全局种群,并提出基于构造优化方向的一种新的交叉算子。研究结果表明:对这2种群按不同的策略协调进化,较好地平衡了种群的多样性和选择压力,兼顾了局部搜索和全局搜索;缺少合适的搜索方向是进化后阶段收敛速度慢的重要原因之一;本算法能有效地提高遗传算法的收敛速度,并具有比较好的鲁棒性。     

遗传算法引入进化方向算子的一个改进及应用

为了有效找到全局最优,将“进化方向”引入到遗传算法中被认为是非常有用的。文中提出了一个新的进化方向算子,用于对标准遗传算法进行改进,该算子依据父代个体和当代个体的进化方向产生子代个体,进化方向的求取无须计算梯度。算子的作用对象是个体中的变量而不是染色体中的基因,因而适合于采用任何形式编码的遗传算法场合,包含该方向进化算法被用于二维多峰函数的极大值搜索问题,进行了对比验证,将新算法进一步应用于离心压     

广义Davey-Stewartson方程的能量散射理论

在浅水波理论中,通常的具有立方项的一维Schrodinger方程推广到二维的情形即是Davey-Stewartson方程.将此立方项推广到p次幂非线性项的情形,进而考虑其初值在∑(Rn):={u∈H1(Rn):x|u∈L2(Rn)}中的Cauchy问题的解的整体存在性及惟一性,得到该方程的散射理论.     

求解3维泊松方程的一种新方法

采用截断误差修正方法,改进了3维泊松方程的传统中心差分格式.首先通过限制算子估算出了粗网格上的截断误差,然后结合插值算子,将其还原到细网格上,修正原差分方程,得到了具有4阶精度的新格式.该方法不但继承了传统中心差分格式计算板型简单的优点,而且具有较高的精度,是一种提高低阶格式精度的新方法.最后通过数值实验,验证了该方法的精确性和优越性.     

一类算子方程AX—XB=C可解的几个条件

本文主要讨论了一类 A、B 不一定为正规算子的算子方程 AX—XB=C 可解的充分条件(定理1、定理3)和充要条件(定理2及推论)     

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

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