■ukasiewicz命题逻辑系统中有限命题集的约简理论

在n值■ukasiewicz命题逻辑中提出了命题集Γ的约简理论,引入由命题集Γ所诱导的形式背景的概念,从Γ及其子集的关系出发给出了n值命题逻辑中有限命题集Γ约简的判定定理以及求Γ约简的方法。说明了无穷值■ukasiewicz命题逻辑中命题集Γ的约简可转化为n值情形。     

生物地理学优化算法研究

对生物地理学优化算法(biogeography-based optimization,BBO)的研究现状进行了总结,并介绍了一些最新的研究进展。从BBO算法提出的背景出发,讨论了算法的主要思想、算法原理以及算法步骤。论述了该算法的研究进展,包括BBO算法的改进、算法的收敛性分析、BBO算法与其他算法的融合以及BBO算法在优化领域的典型应用,对BBO算法有待研究的问题做了总结。     

绝对值方程研究进展

线性规划、二次规划、双矩阵对策等问题都能转化为线性互补问题,而线性互补问题又可以归结为绝对值方程,因此研究绝对值方程具有重要的意义。绝对值方程是一个NP-hard问题,对绝对值方程的研究现状进行了分析,给出了绝对值方程的理论研究现状,总结了绝对值方程的若干求解算法。这些算法可以归结为三类：1）逐次线性化方法,2）半光滑牛顿法,3）光滑牛顿法。指出解的存在性、构造光滑函数、采用智能算法求解以及算法收敛性分析将成为绝对值方程的研究热点。     

美军太空侦察应用启示与对策研究

介绍了现代战争中美军空袭身份的转变和主要作战平台,以及美军现有的太空侦察手段的有关情况,归纳了太空侦察在美军空袭电子作战中的应用。然后,根据太空侦察手段的特点及其局限性,提出了有针对性的反制对策,为指挥员在以后的防空作战中能够有的放矢提供了帮助。     

X-射线衍射测量卤化银混晶中的卤素比

在感光行业中往往需要了解胶片(相纸)不同乳剂层中卤化银混晶的氯、溴、碘相对含量。为了解决这些问题,一些实验方法已付诸使用,如X-射线光电子能谱、X-射线荧光、离子色谱等,它们各有特色。本文介绍另一种测试方法,即利用X-射线多晶衍     

基于蚁群系统的双目标最小生成树算法

带有多个目标的最小生成树问题在实际生活中有着广泛的应用,但用传统方法很难有效地解决,本文提出一种基于多目标决策的蚁群系统求解双目标最小生成树算法,利用两个启发信息来构造新的状态转移规则,并改进了信息素更新规则,指导蚂蚁找到Pareto最优解。试验结果表明,该算法能有效解决双目标生成树问题,与Pareto最优枚举法比较,求解时间减少了。     

弹性地基扇形板弯曲问题的复Bessel函数级数解

本文对于在Ｗｉｎｋｌｅｒ型弹性地基上的扇形板弯曲问题给出了一种级数解法。对于沿径向简单支撑的扇形板,在周向采用正纪三角函数展开后,将于关径向待定函数的Ｂｅｓｓｅｌ方程用复Ｂｅｓｓｅｌ函数表示其解。然后,将其变换成实解形式,从而得到原问题齐次方程的实能解。在此基础上,对于扇形板受集中力或沿周向线分布载荷作用下的弯曲解给出了一般设计方法以及任意横向载荷作用下挠曲函数的表达式,并给出沿径向和周向都为简单     

求解非线性互补问题的熵函数认知优化算法

提出了一个求解非线性互补问题的熵函数社会认知优化算法。首先将非线性互补问题转化为非线性方程组来求解,然后利用熵函数法将非线性方程组求解转化为一个光滑的无约束优化问题,最后应用社会认知优化算法求解此优化问题。实验结果表明,该算法收敛速度快,稳定性好,是求解非线性互补问题的一种有效算法。     

多峰搜索的动态微粒群算法

对多峰搜索问题提出了一类动态微粒群算法。该算法通过变换函数将多峰问题中的所有峰变为等高峰,从而保证每个峰都有同等机会被找到;在搜索过程中采用群体规模动态可调的进化方式,使得初始群体可以任意指定,从而克服了标准微粒群算法由于无法事先知道多峰函数峰值点个数而很难确定合适群体大小的困难。实验表明了该算法可以尽可能多地找到峰值点。