解一类广义线性互补问题的神经网络模型

给出求解一类广义线性互补问题的一个非梯度的神经网络模型.运用Lyapunov稳定性理论和LaSalle不变集原理严格证明,当矩阵M半正定时,网络渐近稳定地收敛于原问题的一个精确解.该模型可以求解线性互补问题,它比已有模型简单,而且,它包括了求解二次优化问题的网络模型.数值模拟表明网络不仅可行而且有效.     

含时空扰动的一个城市交通流离散模型

交通流问题是当今社会正面临的一个严峻问题,对交通流问题的研究有着重要的现实意义.根据车辆跟驰模型和流体动力学模型的建模思想,采用宏观和微观相结合的方法,建立了一个含时空扰动因子的城市交通流离散模型.同时,设计了2个有红绿灯路口的交通流算例,并将所建立的模型应用于该算例的数值模拟,结果表明:所建立的模型能够较好地模拟实际交通流的许多重要的基本特征.     

一种新的基于隐式经验的服务发现模型

文章介绍了一个新的服务发现模型ICSD模型,解决了传统服务发现技术中服务的功能与非功能特性较难控制的问题.文中第1节定义了模型中用到理论的9个相关概念.第2节具体介绍了模型的实现原理,给出了模型的一个原理图及模型中用到的一个相似度计算算法.文中第3节介绍了一个基于ICSD模型开发的原型系统,并引入了一套测试方案对系统进行了验证.试验证明随着服务数量的增加,系统的精确率稳定到0.8.     

选址问题研究

选址问题是指在已知了一些现有设施的地址的基础上,确定一个或几个新设施的地址的问题.给出了一个与带中转站的产销平衡的运输问题相似的多源选址模型,并对该模型的实用性做了进一步的分析.     

带有势约束的组合最优化的一种解法

从经典的马克维茨投资组合问题引出一个一般的组合最优化模型,并给出此模型的一个解法.首先,由拉格朗日分解从原模型的对偶问题得出一个二阶锥规化的松弛.其次,给出一个新的含混合整数二次约束的二次规化的改进.最后,证明了此改进的连续松弛问题比原问题的连续松弛问题更紧.     

一种新的DSS表示方法——模型的对象表示

模型的表示一直是DSS(DecisionSupportSystem)研究的一个重大课题.传统的模型表示方法,例如模型的逻辑表示、模型的关系表示等,虽有各自的优点,但均不支持模型的共享、重用以及模型的组合.针对此问题,给出了一个新的模型表示方法--模型的对象表示.它利用面向对象技术思想,来实现模型的重用和组合.     

用Z语言描述排课问题的形式化模型

为了使目标软件系统具有较高的可靠性和正确性、并易于维护,在系统的需求规格说明中引入了形式化方法.使用面向对象的形式规格说明语言Z,以一个复杂的NP完全问题——排课问题为例,描述了构建一个排课系统的形式化模型的过程,并用Java实现了模型中的一个实例.结果表明,形式化模型能够精确地定义和描述目标系统的数据模型、状态和操作,大大提高系统设计和开发的质量.     

基于特征筛选的模型选择

在多项式回归模型中,怎样选择多项式中重要的阶是我们面临的一个重要问题.例如:如果存在一个线性模型能够反映多项式回归模型的回归关系,则希望找到一个能探测出多项式回归模型中的二阶项或更高阶项可忽略不计的模型选择方法.本文提出一个新的模型选择方法,利用特征筛选选择多项式回归模型的阶.模拟研究证实了该方法的有限样本表现,并将该模型选择方法应用到实际例子中.     

基于安全协议操作语义模型的组合协议分析及验证

协议的可组合性问题是安全协议形式化分析及验证领域的一个公开问题,通过提出采用安全协议的操作语义模型对组合协议进行形式分析和验证,建立了Yahalom和Denning-Sacco组合协议的操作语义模型,并用基于操作语义模型的自动化验证工具Scyther验证了其安全性,发现了一个针对Yahalom协议机密性的组合攻击.结果表明,操作语义模型是分析与验证组合协议的一种可行方法.     

一个神经网络模型的三周期波解的存在性

主要研究一个神经网络模型的周期波解问题.首先给出了三周期波解的定义及其相关的引理,其次证明了该模型的波解存在性问题可以转化为相应的偏差分方程解的存在性问题,并建立了此模型存在周期波解的充分性条件.     

定位路线问题的两阶段禁忌搜索算法研究

定位路线问题是定位配给和车辆路线问题的集成。分析了定位路线问题的含义,建立了此问题的数学模型,并用Lingo10．0验证了模型的正确性。由于该模型属于NP—hard问题,设计了两阶段禁忌搜索算法：第一阶段用禁忌搜索算法求解定位配给问题,确定设施定位及客户分配;第二阶段用禁忌搜索算法求解车辆路线问题,经过两个阶段的多次迭代求得定位路线问题的优化解,通过实例计算验证该算法的可行性和有效性。     

农场生产计划的线性规则模型

研究了一个生产计划问题,对问题中的条件进行适当的简化,从而建立了一个线性规划模型,该模型具有一定的通用性,适合于同类问题。     

投影寻踪动态聚类模型及其应用

结合动态聚类思想,对投影寻踪聚类模型进行改进,建立了投影寻踪动态聚类模型.针对多因素聚类问题的高维复杂性,利用线性投影技术将其转换为关于投影特征值的线性聚类问题;根据动态聚类思想构建新的投影指标,对投影特征值序列进行动态聚类,进而在低维空间实现高维数据样本的聚类分析;实证分析验证了投影寻踪动态聚类模型的可行性与有效性.结果表明,投影寻踪动态聚类模型实现了投影寻踪与动态聚类理论的有机结合,操作简便,无人为干扰,为多因素样本聚类分析提供了一种新方法.     

考虑保证金和卖空限制的资产组合优化研究

充分考虑了在实际资产组合选择中对保证金购买和卖空交易的种种限制,并在此基础上建立了能够较好反映现实交易要求且具有一般意义的多空资产组合选择模型。将包含3n个决策变量的一般模型等价转化成包含2n个决策变量的模型,研究了运用旋转算法求解一般多空资产组合选择模型的步骤,并用一个具体算例验证了该算法的有效性。     

交流潮流约束下的机组组合求解

针对当前大电网与分布式发电并进,可再生资源发电大量接入的电网发展格局,构建交流潮流约束下的机组组合模型,在传统考虑有功网络安全约束的基础上,引入无功电压的制约,并计及机组的安全运行极限。依据Benders分解思想,将该模型分解为主、子两个问题,主问题为单母线模型机组组合,子问题为交流潮流约束的检验,通过子问题导引的Benders割形成主、子问题之间关联的附加约束。修正的IEEE-14节点仿真结果表明,该方法能够有效解决交流潮流约束下的机组组合问题。     

无线传感器网络能量空洞问题缓解策略分析

针对无线传感器网络中的能量空洞问题,建立了包含节点感知能耗、处理能耗、接收能耗、发送能耗的能量空洞问题分析模型,提出能量消耗速率的概念,并且给出了避免能量空洞问题的条件.利用该分析模型从理论上分析了节点密度、数据采集率、数据融合以及路由方式等策略对缓解能量空洞问题的有效性.最后,通过仿真实验数据与理论分析的对比验证了该模型对能量空洞问题分析的正确性,并且给出了缓解能量空洞问题的最佳策略.     

H∞控制理论在价格控制中的应用研究

提出了波动性市场价格的控制模型,以该模型为对象,提出了考虑市场实际干扰的Ｈ∞控制问题和考虑模型不确定性因素的鲁棒控制问题,从而展开了价格波动抑制的控制理论应用研究,以此,得出了价格控制的Ｈ∞鲁棒反馈策略。     

基于双层规划的投资组合选择模型研究

基于均值-方差投资组合选择模型,分析了市场上不存在无风险资产条件下的一类双层规划的投资组合选择问题.针对投资组合问题中参数估计不确定情形,引入了区间来描述期望收益率.通过将该问题转化为标准的极大极小问题,并借助Lagrange乘子法,得到了模型的最优投资策略和有效前沿的解析表达式.利用上海证券市场交易数据,结合数值算例分析验证了该模型在投资实践中的可行性和有效性.     

相控阵雷达搜索和跟踪资源博弈分配策略

为了解决搜索和跟踪（SAT）资源分配（RA）实时性的问题,提出博弈论视角下的资源分配策略. 建立搜索与跟踪的系统模型,将SATRA建模为非合作博弈问题,将模型中搜索子空域和跟踪多目标间的资源分配问题看作合作博弈关系,利用Shapley值完成相应资源的分配,给出纳什均衡求解的双目标优化模型;为了快速找到符合决策者偏好的分配解,将双目标优化模型通过动态加权的理想点法转化为单目标优化问题,提出并行混合遗传粒子群优化（PHGAPSO）算法求解上述优化问题最优分配方案,仿真验证了博弈分配策略的有效性和先进性以及混合算法性能的优越性. 在相同的条件下,与帕累托双目标优化方法进行对比. 实验结果表明,博弈论的方法具有更高的灵活性,平均搜索信噪比提高了1.02%,平均跟踪目标误差降低了1.55%.