广义集值强非线性拟变分不等式

本文引入并研究一类新的广义集值强非线性拟变分不等式,讨论这类广义集值强非线性拟变分不等式解的存在性以及由算法所构造的迭代序列的收敛性.我们的结果改进和发展了Noor,Siddiqi和Ansari等人近期的一些主要结果.     

软件管道化方法

用完全数据关联图CDG来表述软件管道化问题,图中有向边表示循环中各指令间的关联性,同时提出了基础集的概念,平行可扩展的基础集可以覆循环的指令,文中用遗传算法来搜索基础集的最优解或次最优解,这种方法可以处理所有可能的数据关联性,从而可以将循环高度并行化。     

基于t—模的选择函数—公理化的特征

考察基于t-模的选择函数的公理化特征,讨论导出选择集是核的选择函数的公理化特征,证明了导出选择集是核的选择函数当且仅当它重合于某个正则的、以不被严格控制为择优准则的选择函数。     

半连通空间

由半开集等概念引入半隔离性,半连通空间等概念,得出了半连通空间的刻划,证明了半连通空间是半拓扑性质,且推广了连通空间上的中值定理。     

贷款需求量与利率关系的模糊曲线模型

利用模糊子集的方法,构造一个恰当的隶属度函数,用以分析“贷款需求量-利率”之间的关系。给出了如何调节利率,预测贷款需求量的模糊曲线模型。     

关于康托集类光栅的实验探究

设计制作了康托集分形衍射光栅,通过对康托集分形光栅3个阶段的夫琅禾费衍射现象的观察,根据惠更斯-菲涅耳原理,得到了一维康托集分形光栅的夫琅禾费衍射光强分布特性.     

基于有效端元集的双线性解混模型

光谱解混是用于定量分析高光谱图像中成分含量的一项重要技术方法,主要包括线性解混模型和非线性解混模型。线性解混模型构造简单,但并未考虑不同成分光子间的相互影响,导致解混结果在很多实际图像上不够精确。常用的非线性混合模型中的双线性解混算法,随着图像中端元数量增加,虚拟端元的数量也随之快速增加,计算精度受到很大的影响。论文报道改进了双线性解混的模型,并提出一种有效端元子集的选择算法。首先结合欧氏距离和光谱夹角,按照与混合像元的距离,将所有端元排序;然后利用排序结果和误差变化情况选择实际参与混合的端元子集。从而降低了未参与特定混合像元混合的端元对解混结果的影响,提高了解混精度。对模拟图像的测试效果证明了该算法可以减小光谱的重构误差,对实际航拍高光谱溢油图像的分析结果也进一步说明了算法的有效性。     

以ρ=αr＋βlnr为坐标网点的Hartree—Fock完备基矢计算程序

本文以Ｆｉｓｃｈｅｒ编写的多组态ＨＦ Ｆｏｒｔｒａｎ程序为基础，将坐标网点由ρ＝ｌｎＺｒ改为ρ＝αｒ＋βｌｎｒ，同时，增加计算连续态的功能，从而得到一个可以同时处理束缚态和连续态的ＨＦ完备基矢程度包。为了检验基矢的完备性，我们计算了库仑场下的Ｔｈｏｍａｓ－Ｒｅｉｃｈｅ－Ｋｕｈｎ求和。     

考虑停靠站影响的公交运输系统模型

受停靠站影响,公共交通系统运行过程中容易产生集簇现象.本文细致地考虑了公交停靠站长度和停靠站在线路上的分布情况,构建了一个新的公交运输系统元胞自动机模型.数值模拟结果表明,在引入停靠站长度和停靠站分布两种因素后,模型在微观层面上更清晰地刻画了车辆在公交线路上的时空分布,再现了公交运行中的集簇现象,定量地评价了停靠站分布对车辆平均速度的影响.本研究对进一步认识集簇现象的形成机理和优化停靠站设计具有指导意义.     

静止卫星遥感图像海岸线检测

静止卫星采用遥感图像中的地标进行自动导航,海岸线的检测是图像导航的重要一步。将检测结果与全球标准模板库中相应区域的海岸线匹配,依据获得的偏移量调整卫星姿态。根据静止卫星图像导航过程的特点,提出了一种适用于静止卫星红外通道的海陆分界线检测方法,进行云检测并依据地标模板库初始化后,采用C-V模型推动曲线进行演化。实验结果表明,此方法针对静止卫星红外通道的特征,不仅具有计算量小、精度高的特点,而且具有较好的稳定性和普适性。