一种求解混合约束问题的快速完备算法

布尔与数值变量相混合的约束问题有着广泛盼应用，但是当约束中的数值变量间存在非线性关系时该问题求解起来十分困难．目前的许多求解方法都是不完备的，即这些方法不能完全肯定某些包含非线性数值表达式的约束是否能够成立．针对这种问题，提出了数值与区间分析相结合进行数值约束求解的方法．已经实现了一个基于此方法的原型工具．实验结果表明。该方法能够有效、快速、完备地求解非线性混合约束问题．     

求解布尔与非线性数值约束相混合的约束问题

布尔与数值变量相混合的约束问题有着广泛的应用,但是当约束中的数值变量间存在非线性关系时该问题求解起来十分困难.目前的许多求解方法都是不完备的,即这些方法不能完全肯定某些包含非线性数值表达式的约束是否能够成立.针对这种问题,提出了将非线性数值约束转化为特殊形式的优化问题,采用全局优化算法对其进行求解的方法.已经实现了一个基于此方法的原型工具.实验结果表明,该方法能够有效地求解非线性混合约束问题,并且总能够得到该约束条件是否可满足的结果.     

求解一元高次方程数值解的并行计算方法

如何快速高效求解一元高次方程是数值计算领域一个重要的问题。传统的牛顿迭代法及基于其的改进算法等,在求解过程中存在需要初始值,求解不完全等不足之处。针对这些问题,研究了求解一元高次方程的并行计算方法,将黄金分割法与并行计算结合,充分利用二者优点,在不需要初始值的情况下,高效准确的求得一元高次方程的全部实数根。该方法与传统方法的比较以及对该方法的性能分析,表明该方法具有较好的并行度,数值实验结果证明了新方法具有全局搜索能力。该方法在求解高次方程的问题上具有良好的适用性。     

一种基于设计模式的三阶段并行程序设计方法

并行程序的可编程性是并行计算的难点之一，使用传统的方法对非数值问题进行并行求解则更加困难。通过对设计模式概念的扩展，定义了算法模式与结构模式，以此为基础提出了一种基于设计模式的三阶段并行程序设计方法，并通过算法模式库与结构模式库实现对该方法的系统支持，该方法不仅可有于一般的数值问题求解，而且在处理复杂的非数值问题时与传统方法相比要简单得多，通过一个简单的数值问题和一个复杂非数值问题作为实例说明了使用这一方法进行问题并行求解与并行程序设计的过程。     

求解周期结构中声波传播问题的一种边界元法

本文应用边界积分方程方法(边界元法)求解无限长周期结构中声波的传播问题,根据散射体的周期排布方式,将无限个散射体对应无限个边界积分方程的求解问题转化为在某一个单位块中有限个边界积分方程的求解,从而使得该问题的数值求解变得简单可行.然后将该方法应用于声子晶体能量禁带的预测中,通过对数值算例的求解以及与其他方法求解结果的比较,验证了本文所提出方法的可行性和准确性.     

用演化算法求解抛物型方程扩散系数的识别问题

基于演化算法给出了一类求解参数识别反问题的一般方法,该方法表明只要找到好的、求解相应的正问题的数值方法,演化算法就可以用于求解此类反问题。设计有效的求解反问题的演化算法的关键是寻找一种适合反问题的解空间的编码表示形式、适当的适应值函数形式以及有效的计算正问题的数值方法。该文结合算法、传统的求解反问题的工方法和正则化技术,设计了一类求解参数识别反问题的方法。为验证此类方法,将其用于求解一维扩散方程的     

含扩散项不可靠生产系统最优生产控制的数值求解

针对含扩散项不可靠随机生产系统最优生产控制的优化命题, 采用数值解方法来求解该优化命题最优控制所满足的模态耦合的非线性偏微分HJB方程. 首先构造Markov链来近似生产系统状态演化, 并基于局部一致性原理, 把求解连续时间随机控制问题转化为求解离散时间的Markov决策过程问题, 然后采用数值迭代和策略迭代算法来实现最优控制数值求解过程. 文末仿真结果验证了该方法的正确性和有效性.     

二维Helmholtz方程外问题的数值解法

利用位势理论把Helmholtz方程外问题转化为第二类积分方程的求解问题．在处理积分算子核时,采用了一种新的裂解方式,再利用Nystrom方法求解数值结果．最后针对该方法给出数值实例,以表明此方法的有效性．     

全变差正则化在抛物型方程初始条件反问题的应用

当反问题反演的函数不连续时,一般的正则化算法反演效果不令人满意,用全变差正则化方法对抛物型方程初始条件反问题进行求解,并进行了数值分析和数值模拟,结果显示数值解与真解吻合较好,表明该方法对于不连续函数求解具有高效、稳定等优点.     

求解非线性方程的人口迁移算法

探讨用人口迁移算法求解非线性方程的方法,该方法把方程求解问题转化为函数优化问题.计算中不需要使用目标函教的导数信息,在MatLab语言环境下实现了该算法,数值实验结果表明该算法的有效性.     

自适应调整峰半径的适应值共享遗传算法

适应值共享遗传算法需要事先给出解空间中峰的数目或峰的半径,这对于某些问题来 说是有困难的.针对这类问题,提出将峰的半径作为决策变量,对其进行编码并放入染色体中参 与演化过程,利用遗传算法的优化能力在对问题进行优化的同时对个体的峰半径进行自适应调 整.用所提出的方法对多个标准测试问题的优化结果表明,采用自适应峰半径调整方法的适应 值共享遗传算法有很强的多峰搜索能力.     

非线性MIMO系统的降维状态观测器

研究一类多输入多输出（ＭＩＭＯ）非线性时变系统的降维状态观测器设计问题,提出了一种非线性降维状态观测器设计方案,并从理论上证明了状态观测误差的指数收敛性,其中设计的降维状态观测器具有收敛速度可调的特性,最后给出了数值算例,仿真结果表明了本文方法的有效性。     

动态图象运动矢量多重跟踪搜索算法及实现

针对动态图象运动矢量搜索过程中，使用普通的对数搜索方法有可能无法搜索到真实最优运动矢量的问题，分析了产生该问题的原因，并提出使用运动矢量多重跟踪方法进行运动矢量搜索。在图象匹配的过程中应用亚采样模板有效地降低了该方法的计算量。对大量数据的分析试验证实，该方法具有很好地适应多极点匹配图象的特点，能准确搜索到真实最优运动矢量点。     

一种高效的用户浏览行为采集方法

针对在多用户、多Web站点的网络访问环境下存在的数据采集问题,提出了一种新的数据采集及清理方法。引入网络嗅探的方式进行浏览行为数据的采集;在结合传统数据清理方法的基础上,提出一种利用HTTP请求间存在的引用和时间关系来清除HTTP请求产生的大量的非用户显式点击的附带请求。实验结果表明,该方法可以有效地采集浏览行为数据并清除大量的附带请求,抽取出能够反映用户显式点击的页面基请求,为用户浏览行为建模提供准确的数据源。     

基于同步有向图的同步测试序列生成方法

使用多测试单元的测试系统可以对多端口协议实现进行一致性测试，但是在进行这种一致性测试时，测试系统各个端口之间可能会出现同步问题，现在，解决同步问题常用的办法是在测试单元相应端口之间增加同步连接，然后通过此同步连接相互发送同步消息来进行同步，多端口协议和其它类型的分布式系统可以用有限状态机模型来描述，目前，同步问题被分为双端口同步问题，多端口同步问题，紧同步问题等多种类型，该文考虑两种有限状态机测试问题，第一种是面向端口的测试，不考虑有限状态机测试单元之间的通信问题，第二种面向组的测试，有限状态机中的各个端口被分成互不相关的多个组，属于不同组中的测试单元之间互不通信，该文提出了一种基于同步有向图的同步测试序列生成方法，这种生成方法适用于Pair同步，Port同步和组同步问题，并且，这种方法也可以用来判断如何在非同步测试序列中增加同步通信，将非同步测试序列转化为同步测试序列。     

针对基于多父角色RBAC模型的研究与应用

针对基于角色的访问控制(RBAC)模型中由于继承关系产生的子角色不能拥有私有权限问题进行了研究。当前的解决方案在表示同一机构或相同业务性质的角色共有特定权限方面存在不足,也不能满足多父角色权限继承的要求。对RBAC模型进行了扩展,给出一种基于域和域权限的解决方案,并结合实际项目具体分析系统实现权限管理的方法,提出多父角色权限继承的算法,解决了多父角色权限继承问题,在系统的安全管理中实现了基于角色和域的访问控制。     

GRUB实现多系统统一引导的应用研究

提出了一种利用GRUB统一引导多操作系统的方法,简化了操作的复杂性;也为多系统安装提供了一条新的思路;在多系统并存日益普遍的情况下,更好地解决了不同用户需要使用不同的计算机操作系统的难题.     

基于遗传算法的多智能体协作行为研究

协作问题一直是多智能体系统研究的关键问题之一,该文给出了用遗传算法来实现多智能体协作的一种方法。该方法利用遗传算法来解决当多智能体系统无法得到环境信息或得到这些信息代价过高时,如何有效地产生它们的协同运动。利用该方法,对三个智能体协作把箱子搬到目标点,然后改变目标点,让智能体继续完成协作任务进行计算机仿真,结果表明遗传算法在动态环境下实现多智能体协作方面的可行性和有效性。     

基于神经网络的油田注水泵站优化控制

针对油田注水系统能耗大的问题,提出了一种以系统效率模型为依据的注水泵站优化控制方法.本方法可以改善能耗模型中系统总是运行在控制扬程高限的问题,进一步提高系统效率,降低能耗.泵站同时使用离心泵和往复泵,运用神经网络技术,建立了多台水泵并联运行的优化调度数学模型,结合完全枚举法和复合形法给出了其求解算法.仿真实验表明该方法是有效的.     

对方案有偏好的最小最大偏差多属性决策方法

针对部分属性权重信息且对方案有偏好的多属性决策问题,提出了一种新的决策方法。该方法通过求解最小化最大的主、客观偏差的数学优化模型,较合理地确定属性的权重向量。克服已有方法中不能保证每一方案的主、客观偏差都最小的问题。产品开发应用实例表明方法的有效性和实用性。