本体语言的联系及其逻辑基础分析

为了准确地描述本体,研究人员各自设计了自己的本体表示语言.在如此众多的语言中,认清语言之间的联系及各自的优缺点和选择出合适的语言描述本体成为本体建模工作的一项重要任务.首先分析了本体表示语言的基本特点,其次从纵向的角度总结出了它们之间的相互联系,最后分析了它们的逻辑基础;为学习和选择本体表示语言描述本体提供了理论基础.     

一种改进时空域联合的视频对象分割算法

针对移动缓慢的视频对象,提出一种改进时空域联合的视频对象分割算法。时域上通过改进高阶统计算法,利用累积帧差的递归高阶统计算法检测出视频序列中视频对象运动区域。空域上利用Canny算子获得较精确的单帧目标边缘,进行了时域和空域的融合,得到精确运动对象模板后提取运动对象。实验结果表明,该算法与传统递归高阶统计算法相比能精确地对移动缓慢的视频对象进行提取,有一定的理论意义和适用性。     

一类高阶KdV方程的行波复化亚纯解

考虑了一类高阶KdV微分方程u_t+δu~2u_x+βu_xu_(xx)+γuu_(xxx)+ωu_(xxxxx)=0.通过行波变换u(x,t)=w(z),z=x+λt(λ≠0),这类高阶KdV微分方程变为常微分方程w~(4)+δww″+βw'2+γw~3+λw+μ=0,其控制项有4项:E(z,w)=w(4)+δww″+βw'2+γw3.主要结果是运用复方法给出这些常微分方程的3类亚纯解表达式,即椭圆函数解、有理函数解、eαz(α∈C)的有理函数解,并以行波复化modified Sawada-Kotera方程u_t+u_(xxxxx)+5uu_(xxx)+15u_xu_(xx)+5u~2u_x=0,Kaup-Kupershmid方程u_t-u_(xxxxx)+20uu_(xxx)+50u_xu_(xx)-80u~2u_x=0为例说明:除了该文所确定的亚纯解之外,或许有方程还有其他的亚纯解.     

关于有限维向量值函数一些注记

首先给出取值于有限维向量空间上的向量值函数的表示形式和有限维向量空间的一种范数.然后利用有限维向量空间上任意两种范数都是等价的性质,讨论了取值于有限维赋范线性空间上的向量值函数的连续、可微、积分及解析的等价关系和表示形式.最后证明了柯西定理、柯西积分公式、高阶导数公式及其表示形式和解析的向量值函数的无穷可微性.     

飞秒孤子的传输与色散管理研究

从描述飞秒光孤子传输的高阶非线性薛定谔方程出发,采用对称分步傅里叶变换对方程进行数值求解,模拟了飞秒孤子在光纤通信系统中的传输演化特性。结果表明,合理地配置光纤系统,可以极大地改善孤子的传输演化特性,降低飞秒孤子间的相互作用,从而飞秒孤子在密集色散管理光纤系统中能够很好地传输。     

高次有限元方程的一种并行预条件子

偏微分方程(PDEs)是大规模科学工程计算与数值仿真中的基本数学模型,有限元方法是数值求解偏微分方程的一类重要的离散化方法,高次有限元又是其中的一类常用有限元。针对一类基本的PDE模型(Poission方程)的高次有限元方程,设计了一种基于辅助变分问题的并行预条件子,并从理论上严格证明了该预条件子的条件数的一致有界性,数值实验验证了理论结果的正确性及相应预条件共轭梯度(PCG)法的高效性和鲁棒性。     

高阶椭圆齿轮副节曲线的参数化设计

利用MATLAB软件根据对非圆齿轮的啮合原理,对最常见的节曲线封闭的高阶椭圆齿轮副节曲线进行设计,并且讨论了其凹凸性。最后运用三次样条插值对其节曲线进行了研究,为后续的设计制作提供了一定的依据。     

基于ARM的少数民族文字手写输入系统设计

设计了一种基于ARM的少数民族文字手写输入系统。该系统以S3C2440A嵌入式微处理器为核心,对手写板的书写笔迹进行实时采集和预处理。利用USB接口与上位机通信,具有使用方便、传输速度快和稳定性高等特点,上位机将采集到的笔迹信息转换为汉字或图形等,显示并且保存。基于ARM的少数民族文字手写输入系统的实现,保证了其书写的稳定性、准确性和实时性。     

基于高阶累积量的线性化子波提取方法研究

在地震子波非因果、混合相位的假设下，分别应用滑动平均（MA）和自回归滑动平均（ARMA）模型对地震记录建模，并采用基于高阶累积量的线性方程法对子波提取和模型适应性进行了研究。数值仿真结果表明，ARMA模型比MA模型在描述地震记录时具有参数节俭、模型更为高效的特点；基于高阶累积量的线性方程法对加性高斯色噪声有较好的压制效果，却强烈依赖于累积量样本估计的准确性。如果累积量样本估计的误差和方差适度，结合AR—MA模型描述的累积量线性方程法适用于非因果、混合相位的子波提取，其有效性通过实际地震数据的处理得到了验证。     

非简谐振子湮没算符高次幂本征态的叠加态非经典性质

构造了非简谐振子湮没算符高次幂本征态的叠加态｜ψj(β)>+ei｜ψj(βeiδ)>,并研究了它的高阶压缩效应和反聚束效应,结果表明参数相位差对它的高阶压缩阶数和反聚来效应起决定性作用。