Lukasiewicz 命题逻辑系统一种新的理论的相容度

根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.     

一类随机延迟微分代数系统的Euler-Maruyama方法

我们主要构造了数值求解一类1指标随机延迟微分代数系统的Euler-Maruyama方法,并且证明用该方法求解此类问题可达到1/2阶均方收敛.最后的效值试验验证了方法的有效性及所获结论的正确性.     

时滞惯性流形及近似时滞惯性流形族

时滞惯性流形是对耗散系统惯性流形、近似惯性流形的最新发展,它基于对 大小涡分量间相互作用更细致的观察,即改变了惯性流形和近似惯性流形方法中大小 涡分量间相互作用为瞬时行为的隐含假定,而认为这种作用与系统的历史相关的．本 文结出了一类耗散系统时滞惯性流形的存在性证明,由于其存在性不需要“谱间隔条 件”保证,因而时滞惯性流形是广泛存在的．随后我们引出了一类离散的时滞惯性流 形,并在此基础上构造了一种近似时滞惯性流形族,分别给出了它们近似时滞惯性流 形的误差估计,结果显示这种新方法为构造稳定和高精度的算法提供了可能．     

由复映射z←zα+c(α<0)所构造的广义M-集的研究

阐述了构造复映射z←z^α c(α<0)所构造的广义Mandelbrot集（简单称M－集或M－分形图）的逃逸时间算法。通过改变参数α,作出了一系列有趣的分形图,这些分形图为若干卫星群环绕中央恒星的星群结构,定量地研究了恒星和卫星群的几何结构,并对α取非整数时分形图的结构特点和卫星群胚胎出现的原因进行了分析,最后给出几点结论。     

关于n—可解群与n—幂零群的两个结果

本文证明了下面主要结果：设Ｇ是ｎ－可解群，π是一些素数之集，若对任意ｐ∈∩π（Ｇ），（ｐ，ｎ（１－ｎ））＝１，则Ｇ的π－Ｈａｌｌ子群的个数ｒ＝ｋ１ｋ２．．．ｋｔ，每ｋｉ≡１（ｍｏｄｐ），某Ｐ∈π，且每ｋｉ整除Ｇ的一个主因子。     

关于一类扰动系统的极限环上界问题

本文讨论了一类扰动系统在其一阶Ｍｅｌｎｉｋｏｖ函数恒为零,而二阶Ｍｅｌｎｉｋｏｖ函数不恒为零时的Ｐｏｉｎｃａｒｅ分支及Ｈｏｐｆ分支的有关问题,得到了该系统的极限环个数的上界估计,本文推广并深化了文「４」的结论,也弥补了该文的某些不足。     

多元回归系数的所有k—容许估计

对于多元线性模型Y～N（XΘ，）（已知）中的可估函数SXΘ的估计问题，取损失函数为（δ－SXΘ）'（δ－SXΘ）．用风险函数矩阵的前k个顺序特征值之和作为比较不同估计的风险函数大小的标准，我们可定义所谓的"k－容许估计"．本文得到了SXΘ的线性估计AY＋D在一切估计类中k－容许的充要条件．     

竞争-竞争-互惠交错扩散模型的整体解

应用能量估计方法和bootstrap技巧证明了竞争-竞争-互惠交错扩散模型在空间维数小于6时古典解的整体存在性.当反应函数的系数满足一定条件时,应用Lyapunov函数获得了该模型解的收敛性.     

天空背景下飞行器结构特征提取的新方法

针对天空背景下低信噪比的飞行器,提出了一种基于SUSAN算法、灰色系统理论和数学形态学相结合的飞行器结构特征提取的新方法。在Visual C++6.0平台下,首先利用SUSAN算法从背景中提取飞行器的结构边缘信息,并与原图像相加实现目标增强;然后用灰色系统理论检测出飞行器的结构特征边缘;最后利用条件膨胀和重构算法,实现云层的抑制,并重构出飞行器目标。实验结果表明:该方法对于实现飞行器的跟踪、结构特征提取以及事后判读有重要的意义,同时验证了该方法的可行性。     

基于彩色扫描仪的图像光谱重构

针对彩色扫描仪的特点,采用主元分析法(PCA)和反向传播(BP)人工神经网络(ANN)相结合的方法对图像光谱重构进行研究。选择IT8.7/2标准色卡作为训练样本,将该色卡中的另一组色靶作为检验样本以讨论不同网络结构以及不同主元数和训练样本数对光谱重构的影响,再以自然色系统(NCS)色卡为检验样本来分析不同种类的训练和检验样本与光谱重构性能的关系。实验结果表明,采用3-14-6网络结构和6个主元数是最佳选择,训练样本和扫描目标之间的一致性是基于彩色扫描仪图像光谱重构的关键所在。