隐参数曲线曲面的微分几何

基于参数表示和隐式表示的优点提出了一种新的曲线曲面表示方法———隐参数曲线曲面,并给出了新表示形式下曲线曲面的相关微分几何概念.这种表示在整体形式上为参数形式,但定义域为隐函数形式.从而不仅易于计算曲线、曲面上的点及其他信息,而且可以表示一些具有复杂拓扑的曲线曲面.最后通过实例展示了它在表示复杂拓扑形状和形状作局部控制等方面的应用.     

一种面向形式概念分析的语义相似度计算框架

为了计算形式概念分析的形式概念或概念格的语义相似度,利用描述逻辑概念作为形式背景的特征属性对形式概念分析的形式背景进行语义扩展,即利用领域本体(描述逻辑知识库)提出了形式背景的一种语义表示方法．在此基础上,基于形式背景的语义表示,利用描述逻辑推理(即本体推理)给出了一种面向形式概念分析的形式概念或概念格语义相似度计算框架,并且证明了实例化该架构所得到的语义相似度计算方法满足对称性和等价不变性等基本性质．     

密度函数的小波估计及其影响函数

把小波的思想和方法应用到统计学的密度估计中,得到了密度小波估计的一个统一的非迭代表示形式.对于给定的一种系数估计方法,这种表示形式容易计算密度估计的影响函数,进而可以进行简单的稳健性分析.     

自动控制系统时域瞬态性能指标图解表示的探讨

本文根据自动控制系统的时域瞬态性能指标的定义，分析了现有的两种有代表性的指标图解表示形式存在的问题，提出了一种新的图解表示形式——在无量纲阶跃响应曲线图上图解表示时域瞬态性能指标。这种新的图解表示形式对于各种系统都具有普遍意义，且当用实验的方法确定时域瞬态性能指标时，可以用任意幅值的阶跃输入信号，也无须对系统的输出量进行严格的数值标定，因此使用更为方便。     

Bézier曲线的算子表示

Bezier曲线是计算机辅助几何设计(CAGD)领域中广泛运用的一种曲线。首先引入三个基本算子:移位算子、恒等算子和向前差分算子,然后将Bernstein-Bezier形式的Bezier曲线表示为更为简洁和直观的算子表示形式,并进一步讨论算子表示下Bezier曲线的各种性质,给出相关证明过程。实践表明,算子表示形式从与传统表示方法不同的另一角度揭示了Bezier曲线基本几何性质,简化了相关结论的推导。     

本体的语义变化表示策略

基于一般本体变化表示方法, 提出一种基于语义的本体变化表示方法. 该方法能清晰表示本体的变化信息, 描述变化的目的, 提高变化表示的可理解性, 减少变化表示中的冗余操作. 阐述了语义变化表示方法的基本形式, 分析了这些基本变化对本体的影响, 并设计了对应的处理策略, 从而使这种方法可以应用到本体演化过程中, 提高演化过程的处理能力.     

属性拓扑与属性偏序双向转化

属性拓扑和属性偏序是近年来新提出的两种形式背景表示方法。其中,属性拓扑基于属性耦合关系实现形式背景的简洁可视化表示,并发展出多种形式概念计算方法。属性偏序则以偏序关系为基础表示形式背景。针对两种新方法在形式概念分析领域中的互补关系,本文从集合论的角度论述属性拓扑与属性偏序双向转化的数学基础,描述不同二元关系下二者的转化原理与方法,并在此基础上提出属性拓扑和属性偏序双向转化算法,实现二者等价可逆转化,为形式背景提供统一的表示基础。     

一种面向形式概念分析的语义相似度计算框架（英文）

为了计算形式概念分析的形式概念或概念格的语义相似度,利用描述逻辑概念作为形式背景的特征属性对形式概念分析的形式背景进行语义扩展,即利用领域本体(描述逻辑知识库)提出了形式背景的一种语义表示方法.在此基础上,基于形式背景的语义表示,利用描述逻辑推理(即本体推理)给出了一种面向形式概念分析的形式概念或概念格语义相似度计算框架,并且证明了实例化该架构所得到的语义相似度计算方法满足对称性和等价不变性等基本性质.     

Riesz表示定理的推广形式

常见的Riesz表示定理的证明方法是通过在f的零空间的正交补中,构造满足表示定理公式的向量.这里给出著名的Riesz表示定理的一种推广形式,并尝试从不同的角度给出Riesz表示定理的不同证明方法.利用几何测度论的知识给出了一个直接的证明.     

工程建模下过程控制的迭代学习控制算法及其收敛性

针对过程控制中工程化建模方法 ,得到的对象模型为传递函数形式 ,而目前的研究是化为状态空间表示 ,因而迭代学习算法及收敛性条件是以矩阵的形式表示 ,不太适合于实际应用的事实。文章用时频结合的方法给出了设定值变化下的迭代学习算法 ,并以系统参数形式地给出几种学习算法的收敛性定理 ,同时通过仿真表明其正确性     

一类非线性微分方程的可积性

基于分析技巧,讨论一类低阶非线性微分方程的可积性问题．将获的新结果应用于第一类Abel方程和Riccati方程,得到系统可积的一系列充分条件,推广了已有的相关结果．     

变系数Benjamin-Bona-Mahony-Burgers方程的微分不变量和精确解

通过应用经典李群方法,得到了变系数的Benjamin-Bona-Mahony-Burgers(BBMB)方程的连续等价变换。从等价代数着手,讨论了该方程的微分不变量,发现此方程不存在零阶微分不变量,但是具有8个相互独立的一阶不变量。利用已经求得的一阶微分不变量对方程进行了群分类。在此过程中,进一步应用上述微分不变量将一般的变系数BBMB方程映射为常系数BBMB方程、Burgers方程、Benjamin-Bona-Mahony(BBM)方程,进而得到了变系数BBMB方程的一些新的精确解,并且作出了特殊变系数BBM方程、Burgers方程的精确解的图像。     

混合AKNS-CLL方程的N-孤子解

由Hirota方法推导出混合AKNS-CLL方程的双线性导数方程和N-孤子解, 并比较混合AKNS-CLL方程、AKNS方程和CLL方程的单孤子解|q|和|r|的图像, 可以发现混合AKNS-CLL方程的特征形状不同于经典AKNS和CLL方程解. 最后, 通过约化, 得到混合非线性Schrödinger方程的N-孤子解.     

Kepler方程的Noether-Lie对称性与守恒量

研究Kepler方程的对称性与守恒量。给出Kepler方程的Noether-Lie对称性的定义和判据,以及由Noether-Lie对称性导出Noether守恒量和Hojman守恒量。     

一类超越方程的摄动解

讨论了一类带小参数的超越方程.利用摄动展开法,首先将方程的解写成按小参数的幂的待定展开式;然后将它代入原方程,合并同次幂的系数,并分别令其为零;最后便依次地得到解的幂级数的系数,从而得到了相应方程解的渐近展开式.     

具有约束条件的均衡规划问题的微分方程方法

提出了具有不等式约束的均衡规划问题,运用该均衡规划问题的拉格朗日函数和投影算子将具有不等式约束的均衡规划问题转化为方程组.进一步,应用所得到的方程组建立了具有控制过程的微分方程系统,并证明了具有控制过程的微分方程系统的解的聚点是具有不等式约束的均衡规划问题的解.最后,给出了2个具有不等式约束的均衡规划问题的数值算例,并分别运用具有控制过程的微分方程系统对其进行求解,描绘了每个算例的微分方程系统的解的轨迹图,从图中可以明显地观察到具有控制过程的微分方程系统的解的轨迹收敛于均衡规划问题的解,从而说明了微分方程方法求解具有不等式约束的均衡规划问题的可行性和有效性.     

浅水长波近似方程组的多孤波解、有理分式解

使用王明亮引进的齐次平衡法，求出了浅水长波近似方程组的Backlund变换以及它与热传导方程和二阶线性方程之间的Darboux变换，并借助于这些变换，获得了浅水长波近似方程组的多孤波解、有理分式解。推广了王明亮等人的结果。     

用Riccati方程求KdV-Burgers-Kuramoto方程的显式新行波解

首先利用Riccati方程解的相关性质和试探函数法获得了Riccati方程的8种类型的显式新解析解,其次运用李群分析法得到了KdV-Burgers-Kuramoto(KBK)方程的约化方程和群不变解。最后将广义tanh函数法结合Riccati方程的8种新解析解用于KBK方程的约化方程, 找到了KBK方程的多种类型的显式新行波解。另外,把Riccati方程的这8种类型的显式新解析解结合广义tanh函数法与李群分析法可获得属于这一类方程中的其他非线性偏微分方程(组)的周期性型、幂指函数和三角函数的有理型显式新行波解。     

三维定常对流扩散方程的双方程方法

三维定常对流扩散方程的经典边界积分方程,其类型关于未知对流扩散势导数是第一类积分方程,关于未知对流扩散势是第二类积分方程。本文从格林公式出发,通过建立位势的单、双场守恒积分公式,推导出三维定常对流扩散方程新的边界积分方程,其类型与经典方程相反。对不同的边界采用不同的方程,由此把双方程边界元方法推广到三维空间。     

垂直涡度方程的比较分析

通过对经典垂直涡度方程、全型垂直涡度方程、新型垂直涡度方程之对比分析,发现由位涡方程出发导出的全型垂直涡度方程存在着不足:(1)在θz=θz=0的中性层结情况下,方程不适用;(2)在一般情况下,全型垂直涡度方程不能准确反映力管项-α×p作用对垂直涡度变化的影响;(3)全型垂直涡度方程高估了倾斜涡度强迫对垂直涡度发展的作用.