一般约束非线性优化的增广Lagrangian算法

构造了一个求解一般约束非线性优化问题的增广Lagrangian算法，通过引进函数ψ（x)=max{g(x),-λ/r}可直接处理不等式的约束情形，并且每次只需近似地求出对应增广Lagrangian罚函数的局部最小点，在一般假设下，算法产生的点列的任意聚点都是问题的K-T点。     

浅谈二次型化标准形的两种方法

给出了二次型化标准形的两种方法——合同变换法和正交变换法。     

关于sumfromi=1ton(Ai+B)~k

利用生成函数的方法得到的一些性质和定理.     

类差分平衡函数的性质及其应用

定义了布尔函数的类差分和类差分平衡函数，研究了类差分平衡函数的密码学性质以及构造方法。作为类差分平衡函数的应用， 给出了Z24上逻辑函数是完全非线性函数的充要条件，并在首先分析得到所有四元类差分平衡函数的基础上，编程搜索出Z24上所有的完全非线性函数。     

基于模糊规划的间歇过程生产调度建模

通过对现有生产调度模糊模型的分析，针对间歇生产过程，提出了一种新颖的参数模糊的通用模糊规划建模方法，模糊模型采用2种基于普通遗传算法的模糊算法，即模糊模拟和SFA算法。该方法中，参数隶属函数选取灵活，采用合适的模糊表示方式。最后通过实例验证了该模糊建模方法是一种有效的方法。     

基于Laguerre展开的时、频域同时外推技术

考虑到散射体在高斯脉冲平面波激励下感应电流的能量几乎全部集中在有限时间和频率的范围内这一因素，将时域响应用Laguerre函数展开，并由傅里叶变换，可得到相应的频域响应。采用时间步进法（MOT）和矩量法（MOM）分别得到早时和低频响应，由早时响应和低频响应信息的互补关系，联合外推得到整个时、频响应。用本方法分析计算了理想金属导线的时、频域电磁散射响应，结果表明了该方法与频域MOM、时域MOT的精确数值解非常接近。     

变量核Marcinkiewicz积分交换子在弱Herz空间上的有界性

研究带变量核的Marcinkiewicz积分与Lipschitz函数生成的交换子μ_Ω~b的有界性,应用原子分解理论及核函数Ω的性质,证明了μ_Ω~b是Herz型Hardy空间到弱Herz空间上的有界算子.     

基于模糊校正的深度时序信息安全评估算法

针对现有信息安全评估算法对多专家主观态度偏差的处理不足,并且传统时序机器学习模型无法应对时间段内偏差积累等问题,提出一种基于深度模糊校正的深度时序信息安全评估算法。该算法首先通过三角模糊函数构建专家模糊评估指标,并采用改进的加权DS证据推理校正指标,然后创建损失和可能性矩阵特征,最后使用深度时序网络评估信息安全。在MIT数据集上进行了仿真实验,实验分别分析了特征是否能够应对多专家冲突,以及评估算法的正确率,鲁棒性和时间效率等指标。实验结果表明,本文提出的算法拥有更强的模糊评价能力,对专家间的冲突意见处理能力更强,在时序上的信息安全评估更准确,鲁棒性更高,但是算法效率却得到了保持。     

时变边界一维对流弥散方程解析解及其在土柱试验中的应用

运用格林函数法,推导了一维有界时变边界对流弥散-线性耗散方程的解析解,然后将其与数值模拟结果对比,并分别应用于土柱热传导和溶质运移试验。结果表明:初始条件及上、下边界条件的贡献量相互独立,并且初始条件的影响随时间衰减,最终消失;解析解能很好地匹配数值模拟结果、土柱试验实测土温变化和溶质穿透曲线。     

问答系统中基于语义核函数的问题分类算法

提出一种基于语义核函数的问题分类算法,该算法基于问题的语法结构构建支持向量机(SVM)核函数.首先,将给定的问题解析为语法树结构,用语法树的子树表示该问题;然后,从词法、语法、语义三个层面提取问题的特征,构成更加丰富的特征空间;接着,基于问题的语法树构建核函数;最后,使用潜在语义索引方法并结合问题的词法、语法以及语义特征,通过语义核函数将特征空间映射到更有效的空间中进行问题分类.TREC数据集上的实验结果表明,通过词法、语法以及语义增强的问题特征空间可以提高分类准确率.