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

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

生物地理学优化算法研究

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

绝对值方程研究进展

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

基于粒子群算法的椭偏法测量数据反演

为解决椭偏法测量薄膜厚度和折射率实验数据处理较为复杂的问题,采用一种新的基于群体智能的优化算法—粒子群算法处理实验数据.以单层吸收薄膜的测量为例,利用该算法进行数据处理.实验结果表明,三个薄膜参数(折射率n,消光系数k和薄膜厚度d)可以同时获得,而且在未知参数确切范围情况下,大范围内进行搜索仍然能保证快速收敛到最优解.文中算法和遗传模拟退火算法以及利用椭偏仪数据处理软件得出的结果相比较,表明该算法计算精度高,收敛速度快.     

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

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

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

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

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

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

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

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