IDA^＊算法的程序实现和实验分析

首行提出一些算法性能的新度量，然后在ＩＤＡ＾＊和Ａ＾＊算法程序实现的基础上，基于８数码和１５数码难题进行了实验分析，其结果有利于进一步从事搜索算法的研究。     

一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．     

论科学创新中的问题意识

科学创新是创新主体利用方法和物质手段作用于客体,通过发现、分析和解决问题,从而实现科学观点或理论嬗变的过程。波普等学者提出以问题意识作为科学创新的原点,引发人们对于问题意识的重视。科学创新中的问题意识由诸多要素构成,它遵循问题—怀疑—批判—解决的逻辑通道,在当代的科学创新中彰显着越来越重要的功用。     

我国烟叶可持续发展研究进展

本文阐述了国内外烟叶可持续发展概况，分析了我国烟叶可持续发展面临问题，提出了烟叶可持续发展对策必须从宏观战略、经济增长、烟叶市场、知识农业、栽培措施、科学技术六个方面加以考虑。     

非线性抛物型方程时间周期解的有限差分方法(英)

建立了一个用于求解非线性抛物型方程时间周期解的有限差分方法，在空间和时间方向上该方法分别具有四阶和两阶精度. 为了证明解的存在唯一性，建立了一个单调迭代算法，该算法也给出了一个求解算法. 同时讨论了数值解的收敛性. 数值结果显示了该方法的优越性.     

电子商务配送的跨区域VRP模型及其启发式算法

传统的基于分区策略的配送模式已不能满足电子商务物流配送业务的要求,采用将多个配送区域联合、沿途多次补货的配送策略可有效地解决上述矛盾,而车辆路径问题是该配送策略的一个重要组成部分。在说明了模型的假设条件后,建立了基于区域联合策略的VRP(veh icle rou ting prob lem)模型,开发了一种基于几何分析的启发式算法,采用二次搜索、分批插入的办法确定补货点,从而得到沿途多次补货的配送路径,最后用数值算例对模型和算法进行了数值演算。     

一类多点边值问题的算法研究

针对一类拉普拉斯方程多点边值问题的数学计算方法进行了研究,构造出了一类差分格式。对该差分方法进行了误差分析,并给出了数值实验结果。     

Reconstruction of Temperature Field in 3-D, Absorbing, Emitting, and Anisotropically Scattering Medium

IntroductionRecently ,theinvestigation on numerical radiative heattransfer has been focused onthe reconstruction of temperatureprofile in target space according to its boundary heat fluxgained by detectors[1 8], whichis a kind of inverse problemofradiation. Among these investigation, Li HY[1 4]hasresearched on one-di mension or two-di mension rectangular ,spherical or cylindrical medium which is absorbing ,emitting , and isotropically scattering ; Liu LH[5,6]hasresearched on the semitranspar…     

一类矩阵反问题的最小二乘解

讨论了反对称正交对称矩阵反问题的最小二乘解,给出了最小二乘解的一般表达式.作为最小二乘问题的特殊情况-矩阵反问题,得到了有解的充分必要条件,在解存在时给出了解的一般形式.     

一类二阶常微分方程边值问题解的存在性

设f:[0,1]×R2→R满足Caratheodory条件,a,b∈L1[0,1],a(·)≥0,b(t)≥0满足0≤∫10a(t)dt＜1,0≤∫10b(t)dt＜1,运用Leray-Schauder原理考虑了边值问题x″(t)=f(t,x(t),x′(t)) e(t),t∈[0,1],x′(0)=∫10b(t)x′(t)dt,x(1)=∫10a(t)x(t)dt解的存在性.