一种求解约束条件下多变量非线性函数所有全局最优解的区间算法

研究和实践中经常会遇到附有约束条件的非线性优化问题，对这类问题，通常采用随机搜索的方法来解决，但是，随机搜索法不能证明所得到的解就是全局最优解．本文给出了一种求解约束条件下非线性优化问题所有全局最优点和最优值的区间算法，该算法非常宜于解决优化问题，它能求出问题的所有全局最优解，给出解的包含区间，并很容易获得解的逼近误差，这是随机搜索等其他方法做不到的．理论分析和数值结果均表明，区间算法是稳定而可靠的．     

B—凸多目标规划KT—真有效解的纯量化

讨论了Ｂ－凸多目标规划ＫＴ－真有效解，ＫＴ－真弱有效解与一个纯量化问题最优解之间的关系。     

参数向量Ky Fan不等式与对偶问题解映射Lipschitz连续性最优条件

在赋范线性空间中研究参数向量Ky Fan不等式与对偶问题解映射的Lipschitz连续性。提出了参数向量Ky Fan不等式与对偶问题及其有效解的概念，引入了向量函数伪单调性和强拟凸(凹)性，借助分析方法获得了参数向量Ky Fan不等式与对偶问题解映射的Lipschitz连续性最优条件，并举例加以说明。     

线性约束凸规划问题的仿尺度算法

对一般线性约束凸规划问题，给出了相应的仿尺度算法，并证明由该算法所产生的迭代点要么直接到达问题的最优解，要么其极限点满足问题的最优性条件。     

可分凸二次规划的不可行内点算法

给出了可分凸二次规划的不可行内点算法 ,并证明了该算法在 O(n2 L )次迭代之后 ,或者收敛到问题的一个近似最优解 ,或者说明该问题在某个较大区域内无最优解 .     

多目标非线性规划的对偶理论

<正> §1前言在单目标数学规划的对偶理论中,我们知道,两个规划问题称为是对偶的,如果它们满足:(1)其中一个是最小问题,另一个是最大问题;(2)如果其中一个规划问题存在最优解,那么另一个规划问题也存在最优解,而且两个规划问题的最优值相等;(3)如果两个规划问题同时存在可行解,     

随机规划逼近解的收敛性

本文对随机规划的逼近解的收敛性作了探讨,证明了当随机向量序列 {Y( k )(k) }依分布收敛于Y(k) 时, 相应于 Y( k )(k) 的随机规划问题的任何最优解序列将收敛到原问题的最优解, 这个结果对如何设计逼近算法提供了一个理论基础.     

一种求解混合整数非线性规划问题的演化算法--搜索空间自动收缩法

提出一种求解混合整数非线性规划问题的新的演化算法 -搜索空间自动收缩法 (ACSSOS) .在这种算法中 ,演化算法既用来定位最优解区域 ,实现搜索空间自动向全局最优解收缩 ,又用来最终求得最优解 .由于在遗传算子中引用了舍入操作 ,它不仅可用来求解混合非线性整数规划问题 ,也可求解纯整型或纯实型变量非线性函数优化问题 .数值试验结果表明本文的算法在解的质量、稳定性和收敛速度等方面优于一般的演化算法 .     

一种求解多峰函数优化问题的演化算法

针对演化计算产生新解无序的问题，提出了基于相似性的邻域搜索策略．利用邻域搜索，可以方便地建立自适应的新解产生机制．针对演化算法设计中存在的搜索效果和效率平衡问题，提出了利用适应值对个体进行分级的搜索策略．通过对个体的分级，可以区分个体在搜索过程中的职能：优秀的个体进行局部极小值的开采；其他的个体进行搜索空间的探索，以发现新的局部极小值．数值实验表明，新算法能有效处理低维多峰函数，能找到所有的全局最优解．对高维多峰函数．也能找到全局最优解．     

Hopfield网络解旅行商问题的动态消元算法

对Hopfield网络解旅行商问题的算法做了改进工作:为了消除无效解,给出了普适的初始状态,调整了差分迭代方程的参数,改变了稳定状态的判断.为了得到最优解,提出动态消元算法,要求消元后第r次的运算结果优于或等于第r-1次的运算结果.计算机模拟表明此算法对初始条件具有稳健性,从任何初始状态开始都能得到最优解.     

鄱阳湖三维水质模拟软件设计与仿真

随着鄱阳湖生态经济区建设的推进,鄱阳湖水环境保护问题引起了各方高度关注。通过建立水质数学模型,用计算机进行模型求解、模拟和预测,以及设计相应的水质模拟仿真软件来进行水污染扩散仿真,是水污染控制和水环境管理的有效手段。鉴于国外三维水质数据模拟软件价格高、使用受限以及鄱阳湖三维水质数据模拟的特定应用研究需求,利用软件工程的结构化方法和图形可视化技术,设计了一个面向鄱阳湖三维水质数据模拟和分析的软件工具WSAT/H3D-PYH。通过使用该软件进行BOD和DO扩散模拟和趋势预测实验表明,软件具有较好的预测精度,并能以可视化形式直观分析和预测未来一段时间湖区水质浓度的变化趋势。此外,软件还可对局部点污染源扩散进行动态模拟,以便于对突发污染事件可能造成的后果进行提前的估计,为后续治理方案措施的制定提供很好的依据。     

基于递阶的软件过程模型重用方法

将重用技术应用到软件过程仿真和控制之中,提出了一种基于递阶的软件过程模型重用方法,并对其中的元模型重用进行了重点阐述,将演化计算与元模型重用结合起来,给出了形式化描述,以及重用实现算法.针对每一个软件项目都建立软件过程模型是比较繁琐和费时的工作,因此重用已有的软件过程模型不仅能缩短开发周期,也能提高软件的可维护性和可靠性.     

构造面向对象软件可复用测试用例的模式研究

从分析测试用例的共性着手，将面向对象系统中的测试用例依据它们的设计方法分为：状态检查测试用例与状态比较测试用例，并进而得出关于这两类测试用例的详细描述．以此为基础，提出了一个统一的测试用例生成、执行的模式，使测试用例能够独立于被测对象，以达到测试复用的目的．     

净室技术与软件能力成熟度模型的融合

对基于软件能力成熟度模型（ＣＭＭ）的传统软件开发方法与净室技术进行了比较,阐述了如何将净室技术引入到一个基于ＣＭＭ 的软件开发框架之中,介绍了从传统方法向净室技术转化的一些方法．     

面向使用的GUI软件关键测试路径选择策略

从软件统计测试的思想出发，提出了窗口导航网（WNN）模型，并通过WNN选择关键测试路径，以降低GUI软件的测试代价．提出了多种窗口和输入粒度，从不同层次上描述GUI软件，并在一定粒度上构建WNN模型．模型中的顶点对应GUI中的窗口，弧对应窗口之间的转移，各弧关联一个[0，1]区间的实数，描述转移发生的概率．使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题．实例分析表明，通过WNN模型能有效地获取关键测试路径．     

非齐次泊松过程模型的参数计算方法

在软件可靠性分析中，应用最大似然估计方法估计三参数非齐次油松过程模型的参数时，所得到的方程组出现奇异性．直接求解存在很多困难．本文针对这种奇异性，采用区间优选法解决了这一问题，并实现了计算机自动求解．     

软件可靠性指标分配的故障树分析法

首先对目前已有的各种分配技术与方法的特点进行了探讨,介绍了如何采用故障树技术求得导致系统失效的功能模块的最小割集,首次提出将故障树技术运用到可靠性的分配中,创建了可靠性分配的故障树快速分配模型并具体分析了其在软件可靠性指标分配中的应用． 最后,分析了这种技术的不足,并对该方法可能的改进进行了一些探讨．     

基于面向对象技术的多媒体CAI素材库系统

建立实用、高效的多媒体ＣＡＩ素材库是高效率、高质量开发ＣＡＩ软件的基础和关键．本文从数据模型、面向对象分析和存储模式三方面入手,提出一种支撑ＣＡＩ制作工具的素材库体系结构,并讨论该体系结构的特性和进一步研究的问题．     

基于软件体系结构的需求分析与设计

提出了一种新的软件系统分析和开发方法．把领域知识划分为３类,然后向软件系统进行多层映射．并以两个实例说明了这种分类和转换方法．     

一个不完全排错状态下的软件可靠性增长模型

在充分地考虑了软件排错过程特点的基础上,将现有的可靠性增长模型中“完全排错”的假设修改为“不完全排错”,使之更符合实际情况．通过将软件错误分为不同的两类来刻画,得到了一个软件可靠性增长模型,该模型含有两个参数,使用起来较为方便．