油品配送车辆路径问题的交互式求解方法

油品配送车辆路径问题是一个多车场、多仓库、多商品、多舱位、多车型、有前序约束和时间窗,综合车辆分派、订单配载以及路径编排等决策的车辆路径问题.以两阶段启发式算法为基础,给出了求解该问题的人机交互式求解方法,即交互进行基于当前解的人工修改和启发式算法的寻优.其中包括了对初始解、搜索邻域和目标函数的人工修改,相应操作分别为修改解、局部固定解和调整惩罚乘子.     

一种工作流动态修改方法

工作流动态修改是个研究热点，文章提出了一种工作流动态修改方法，它是基于修改活动构件库，并根据所建立的模型，修改要求和修改活动的组装策略，来实现工作流的动态修改，最后文章还论述了这种动态修改方法的优越性，可行性和正确性。     

DEDS的模拟退火仿真优化方法

本文对模拟退火优化方法进行了修改,使它能较好地适应于DEDS的仿真优化研究.文中对两种优化状态下,仿真目标值之差的估计误差性质进行了分析,并对修正后算法收敛的最优性进行了理论证明。     

证据融合的聚焦与冲突处理研究

针对Dempster组合规则存在的缺陷，即：在融合高度冲突的证据时会产生违反直觉的结论，无法处理完全不一致的证据，而且不能根据命题子集基数向下聚焦，提出了一种结合修改组合规则与修改证据源两种不同冲突处理策略的证据融合方法，采用基于Jousselme证据间距离指标的加权平均法对原始证据进行修正，并给出新的组合规则对修正的证据进行多次组合。与当前代表性方法相比，该方法在根据子集基数向下聚焦、收敛趋势以及冲突证据的处理方面都有好的表现。     

改进的哲学家进餐问题无饥饿解的Petri网模型

哲学家进餐问题是计算机科学中反映同步与并发的经典示例,活性与无饥饿是求解此问题的基本要求。基于两个许可卡轮转的策略,已经给出了一个无饥饿解的Petri网模型。此模型中可能出现两种情况：一个哲学家正在进餐时,另一张许可卡也轮转到他手中,但此卡只能在进餐后传下去;当两个相邻的哲学家都持有许可卡,并都希望进餐时,被竞争的那根筷子不能确定分配给谁。针对这两种情况,对原模型作了修改,提高了系统的效率。     

线性不等式组的相容条件和目标规划算法

本文用目标规划方法研究线性不等式组的相容性问题,给出了判别相容性的充分必要条件和目标规划算法。该算法的优点:1.易用电子计算机和已有数学规划软件,迅速而有效地判别大型线性不等式组是否相容;2.可提供较多的有用信息,有助于辨识模型和修改模型。本文还给出了两个算例。     

信息素修改策略求解固定货架动态拣选问题的研究

提出并讨论了蚂蚁算法中通过信息素修改策略求解固定货架货位点插入／删除变动问题的两种方案。一种方案是不考虑其插入／删除货位点的位置，在货位点变动后进行信息素全局更新，另一种方案是信息素的局部更新，充分考虑了其插入／删除货位点的位置。实验仿真结果对比评价了不同参数的设定对于两种策略求解过程和结果的影响。     

复杂系统结构有序度——负熵算法

本文在前人关于系统结构有序度计算研究的基础上,从分析复杂系统结构入手,引用矩阵工具,建立了“要素～结构”的关系矩阵、长度矩阵和负熵矩阵。在考虑各要素和各种关系的重要程度的基础上,提出权重矩阵、修改长度矩阵和复杂系统结构分析的递阶逐层算法。最后,结合苏、美两国国防统帅机构有效性分析,给出了本文算法的具体应用。     

航天型号软件代码质量度量评估实现

结合和完善Logiscope和McCabe两种软件度量体系,根据航天型号软件的具体特点,选取出依据软件程序代码的可量化测量度量元,同时修改并增加了3个新定义的度量元,并通过测试不同型号的软件确定出模型参数,建立质量度量评估模型。本研究成果有助于航天型号软件的量化评价,为质量管理人员了解软件质量水平、软件设计师改进软件程序质量,提供量化的客观依据。     

基于本征向量和Jousselme距离的高冲突证据融合方法

针对传统Dempster-Shafer (D-S)理论无法有效融合高冲突证据的问题, 提出了基于本征向量和Jousselme距离的证据修改方法。首先, 由决策者结合主观经验根据原始证据的重要性给出判断矩阵, 并利用本征向量法解得主观权重。接着, 由原始证据间的Jousselme距离得到客观权重, 然后, 综合主客观权重对原始证据进行修改。最后, 对修改后的证据体使用D-S理论进行融合。仿真结果表明, 该方法在对高冲突证据进行融合时收敛速度快, 准确度高, 同时具备良好的适应能力, 很好地解决了高冲突证据的融合问题。     

区间互补判断矩阵一致性水平修正的离散化方法

为提高决策信息的可靠性,提出了一种改进区间互补判断矩阵个体一致性水平的离散调整方法.首先,针对互补判断矩阵给出一种启发式迭代算法用来识别、修改最不一致的偏好元素,改进其一致性水平.然后,基于最差一致性指标和最优一致性指标,把区间互补判断矩阵的一致性水平改进方法转化为两类互补判断矩阵的一致性水平改进方法.修正后的偏好取值...     

多变量工序能力评价

首先指出采用多变量工序能力指数评价工艺生产水平的必要性,给出三种不同的多变量工序能力指数定义,分别为直接域比值定义、修改规范域定义和修改工艺域定义,并分析这些多变量工序能力指数.最后用一个实例说明采用多变量工序能力指数比采用单变量工序能力指数评价产品更为可取和全面.     

线性市场上不同规模两公司选址博弈问题的Stackelberg 平衡

研究不同规模两公司在一维有限线性市场上的选址博弈问题.首先修改HOTELLING原始模型的“费用函数”假设,建立不同规模两公司的选址博弈模型;然后介绍了一家大型公司投入一家店、另一家小型公司投入多家连锁店的竞争系统;通过应用该选址博弈模型,解得该系统的一个STACKELBERG平衡解:大公司的店在市场中央,小公司的店按“无缝配置”依次对称分布于市场两侧;最后,在平衡的前提下,讨论连锁小公司和大公司选址博弈时应采取的策略.     

基于证据特征的区间证据合成方法研究

基于区间值的证据合成理论可以有效地描述和处理不确定性问题,针对目前区间证据合成方法存在融合失效的问题,分析了其产生的原因并提出新的区间证据组合方法。对证据源本身的特征进行提取,依此对证据进行修改,并提出两种优化方法用于区间信度结构下的证据合成。数值实验结果表明,提出的方法收敛性、鲁棒性较好,在面对冲突区间证据融合时得到了合理的结果。     

一种基于k-Fibonacci矩阵和JPEG的数据隐藏方法

提出了一种基于k-Fibonacci矩阵和JPEG的数据隐藏方法。该方法先计算8×8的k-Fibonacci矩阵,然后,对8×8的k-Fibonacci矩阵进行修改,并以修改后的k-Fibonacci矩阵为量化表对掩体图像的DCT系数进行量化,将要隐藏的数据嵌入到量化后DCT系数的DC和AC系数中,得到含有秘密数据的JPEG图像文件。隐藏数据的提取不需要原掩体图像。我们将所提方法与JPEG隐藏工具Jpeg-Jsteg、基于量化表修改(QTM)的方法进行了比较。结果表明,所提方法隐藏的数据量比Jpeg-Jsteg和QTM的方法大,嵌入数据后的图像质量好,而且与它们具有相同的安全性。     

基于DES加密的流媒体实时隐秘传输和硬件实现

为满足实时隐秘传输的要求,给出了一种基于DES加密的流媒体隐秘传输方法和硬件实现,该方法在每(2L+1)bit可修改宿主中,最多只修改其中的Lbit便可嵌入2Lbit的流媒体数据。采用了2级加密,具有更高的安全性。仿真实验和结果表明,设计可满足实时流媒体隐秘传输的要求。该方法可有效地应用于保密通信。     

常微分方程数值解法在动力天文中的应用

在动力天文中,利用常微数值解法求解运动方程时,通常会出现两个问题——解的定性性质受到歪曲和轨道沿迹误差的严重累积。本文将介绍利用运动本身的一些力学性质作为控制条件,能够有效地解决这些问题,特别是对Hamiltom系统,采用保持辛结构的差分格式——半积分器(Symplectic Imtegrators),有它独特的优点,而且可以将相应的差分格式稍作修改,就可用于小耗散系统,这对动力天文而言也是很重要的。     

扩展联合对角化法的水声信号盲分离技术

分析了舰船噪声阵列声纳观测信号的多途卷积混叠特性和盲源信号分离问题及扩展信号瞬态混合形式下的四阶累积量联合对角化方法。研究了适合多源多途水声信号盲分离技术及波形恢复、修改后的算法对抑制环境噪声的有效性。用仿真信号和水池实验实录信号对修改后的盲分离算法进行了检验,取得了满意的效果。     

关于plot程序的改造问题

本文讨论电子工程中印刷电路板制作程序plot的改造问题与。exe文件的修改方法。     

基于双重反馈机制的语言型动态群体评价方法

针对语言型动态群体评价问题,提出了基于双重反馈机制的群体评价方法.在未满足共识要求时,按照自动化观点反馈机制向共识程度最低的专家提供修改建议,在该专家拒绝修改的情况下,按照专家权重反馈机制调整专家权重.然后依据新的专家意见或专家权重集结群体意见,检查群体共识程度并进行新一轮的共识提升,直到满足终止条件要求.由此可得最终专家评价意见和群体评价结果.本文证明了方法的收敛性并用一个算例验证了方法的可行性.