需求可分的车辆路径问题模型与算法

需求可分的车辆路径问题(SDVRP)无论是从运输距离还是派车数量上,都可进一步优化传统的车辆路径问题。为了降低SDVRP的求解难度,本文在分析最优解性质的基础上,加强模型的约束条件,将原模型转变为等价的改进SDVRP,并在使用蚂蚁算法求解改进SDVRP模型的过程中,采用开发新路径和2-opt相结合的方法,以避免出现迭代停滞的现象。实验表明,算法计算结果稳定,最差解与最好解的偏差仅为1.80%。

客户需求可分的车辆路径问题求解

针对车辆路径问题中客户需求可分的新设想重新进行了问题描述和模型构造,根据该问题的特点,利用蚂蚁算法的基本原理,设计了相应的优化算法。虽然在客户需求不大的情况下,分割客户需求并未产生比较理想的效果,但随着客户点需求与车辆载重的比例逐渐增大。实例计算结果表明,需求可分所带来的车辆需求数量和总行驶里程的下降都比不可分情况下要好很多,从而证明了算法的有效性和分割客户需求策略的现实可行性。

基于局部能量最大可分的高光谱图像异常检测算法

提出了一种基于局部能量最大可分的异常检测算法,以滑动窗口中心点作为被检测点,其他点作为背景点,在最优投影方向上,以被检测点与邻域背景的投影能量之比来度量该点异常度。利用窗内投影值分布及与被检测点投影值关系等约束条件,去除异常信息对背景特性统计的影响,以真正反映异常与背景的可分程度。提出有效的多随机窗表决算法,以抑制虚警。实验结果表明,该算法具有较好的鲁棒性,能有效实现复杂未知场景下的异常目标检测。

基于任务可分的网格资源预留机制

资源预留能提供保证QoS的网格服务,但提前预留会增加服务请求拒绝率,且产生的资源碎片降低了资源利用率。在预留分类和预留容量等概念定义的基础上,提出了一种基于可分割任务的网格资源预留机制TDR。TDR中,资源预留在多个方向具有可变的灵活度,并在一定的条件下被分割为多个子预留,从而提高系统容纳能力,并描述了相应的接纳控制算法。仿真实验结果表明,提出的机制能有效地减少预留产生的资源碎片和请求拒绝率,增加资源利用率。

物质是无限可分的吗?

无论时代精神多么强烈的呼唤着哲学的变革,这种变革都只能在对哲学传统和现实的批判中得以实现。因为没有这种批判,自然科学的革命性成果可以被既定体系僵化、教条化后加以包容,折射着丰富复杂的时代精神的其他哲学,也可以游离于现实哲学发展主流之外,仅被技术性地加以介绍。基于这种认识,我们在分析了宇宙无限性命题之后(见《自然辩证法研究》1987年第1期)。

一种快速判定原始数据集合线性可分的充分条件

随着机器学习研究的深入,各种各样的分类算法被广泛地应用到现实生活中的各个领域。然而目前的很多分类算法往往需要首先判断原始数据集合是否线性可分,因此关于原始数据集合是否线性可分的判决条件就成了一个研究的热点。针对于现有数据可分性判决算法计算复杂度较高的不足,提出一种判定数据线性可分的充分条件,并在此基础上给出数据可分性的判别算法。理论分析和实例验证说明了提出的数据可分性判别算法是有效的并且具有较低的线性计算复杂度。

基于线性可分的油井电机控制模型系统优化

线性可分控制油田井下设备电机模型系统在实现基本的线性可分控制系统功能的同时,还要在性能上满足一定的要求,如根据线性可分控制系统的具体处理能力,判定是否采取集群服务方式,或评估采用集群服务方式时线性可分控制服务器的数量。在达到预期性能指标的前提下,采用较为成熟的开发技术来实现线性可分控制系统。线性可分控制投递模块主要是管理客户端连接、线性可分控制订阅关系、线性可分控制投递线程和线性可分控制扫描线程,线性可分控制油田井下设备电机模型系统中采用了两条队列来管理被投递的线性可分控制。

订单可分的协作计划模型及其进化算法

在传统协作规划中协作任务作为不可分订单在协作伙伴间进行协商协作,其协作模型和优化求解算法也是基于任务订单不可分的。为提高供应链的资源利用效率,进一步降低协作成本,建立订单可拆分的协作计划模型;设计了一种离散优化与连续优化相结合的差分进化算法,该算法具有优化能力强、陷入局部最优的概率小等特点,在实现了任务订单拆分后的任务协作的同时,扩大了供应链的协作优化的空间,使协作决策更加准确有效;最后,通过相应算例验证了模型和算法的有效性。

物质无限可分的绝对性和相对性

物质无限可分的绝对性和相对性孟德佩物质是否无限可分，这是辩证唯物主义自然观的个基本问题，也是自然科学研究的一个重要问题；在历史上此问题争论已久，并且一直延续到今天，有的认为物质无限可分是绝对的；有的反对物质无限可分，认为它是相对的。我认为“物质无限可...

关于可分的希尔伯特空间的一些问题

给出了关于可分的希尔伯特空间的一部分有用结论，并予以证明。

目标函数带线性约束块可分的凸优化方法

带有线性约束条件且目标函数是块可分的凸性最小问题一直是研究的重点。该问题是经过研究目标函数由2个不是充分光滑的凸函数组成或是由3个不是充分光滑的凸函数组成,从而推广到目标函数由n个不是充分光滑的凸函数组成的情况。问题的解决是以经典的交替方向法为基础,延伸出多种方法来建立该模型。总结了几种常见方法,同时提出了新方法——基于分离法的新ADMM法,并证明该方法的可行性。

谈思维与语言可分的相对性

本文对思维与语言的起源、个体心理发展中思维与语言的发生、聋哑人的思维和掌握了语言的正常人的思维现象探讨。

完全可分的三元系TS(v,5)的支撑数集合

主要解决了完全可分的三元系TS(v ,5 )的支撑数集合 ,其中正整数v≡ 1 ,3(mod 6) .

“夸克幽禁”是对物质无限可分的挑战吗

现代物质结构理论的重要成就和重大发现,曾引发了许多哲学问题。其中基本粒子物理学中的"夸克幽禁"涉及到物质是否无限可分的问题,这不仅是科学界而且是哲学界普遍关注和深入探讨的问题。对此,有人提出"夸克幽禁"是对唯物主义物质无限可分观点的挑战。笔者就此问题进行了深入的哲学分析,提出"夸克幽禁"不是对马克思主义物质观的否定而是对其的丰富和发展。要说"挑战"则是对形而上学的单向线性思维的挑战。

不可分的最小零和序列及判别方法

本文给出了判别最小零和序列是不可分的一个判别方法,并且还给出了一些不可分最小零的序列的例子。

交换环强可分的环扩张的一个特性

证明了每个强可分的环扩张Ｓ／Ｒ都可嵌入Ｒ的一个弱Ｇａｌｏｉｓ扩张

由Chvátal定理引出的关于一些无穷可分分布的概率函数的下确界

受Chvátal定理的启发,本文研究了概率P(X≤κE[X])的下确界,其中κ是一个正实数, X是一个随机变量.利用分析的方法,我们得到了当随机变量的分布属于无穷可分分布,包括逆高斯分布,对数正态分布, Gumble分布和Logistic分布,时该随机变量不超过其期望的概率的下确界.

基于分支定界技术的分组密码新型积分区分器搜索

积分攻击是一种针对分组密码的重要攻击技术.传统上,积分区分器是在一组给定明文下的平衡比特,即零和积分区分器.然而,一些带密钥的区分器往往被忽略,实际上对积分攻击也有一定帮助.本文提出一种新型分组密码积分区分器,称为基于密钥的积分区分器,以及关于该区分器的搜索技术.本文的主要想法是首先恢复某个输出比特关于轮子密钥的超多项式作为积分区分器,然后猜测最后几轮的部分轮子密钥,通过密钥调度算法来简化超多项式.如果超多项式关于密钥变量是平衡的,则可以恢复1比特轮子密钥信息,一般情况下,可以转换为1比特的主密钥信息.为了有效搜索基于密钥的积分区分器,本文提出一种结合可分性和分支定界的方法,并将其应用到SIMON和Simeck算法中.针对15轮SIMON32、18轮SIMON64和15轮Simeck32,分别恢复了12、8和9个密钥超多项式,并且利用其中一个超多项式,给出了一个25轮SIMON32的密钥恢复攻击.此外,利用新的搜索技术,给出了18轮SIMON64的两个新的平衡比特.据我们所知,这是第一次使用与密钥相关的积分区分器对分组密码实施密钥恢复攻击.

可分Frobenius扩张下的Gorenstein余挠维数

针对环变化下的Gorenstein同调性质,提出模的Gorenstein余挠性质及相应维数在环的可分Frobenius扩张下的保持性质。首先证明对可分Frobenius扩张R→S,S-模M是Gorenstein余挠模当且仅当M是Gorenstein余挠的R-模,从而可得模的Gorenstein余挠维数沿着该环扩张保持不变;作为应用,证明了若该环扩张是可裂的,则环的整体Gorenstein余挠维数也保持不变;此外,讨论了群环上的Gorenstein余挠维数,进一步验证Gorenstein余挠维数在环的可分Frobenius扩张下的不变性。

基于改进保守凸可分近似的高超声速飞行器轨迹规划方法

面向高超声速飞行器轨迹在线规划需求,提出一种改进的保守凸可分近似规划方法,以解决当前序列凸优化的振荡不收敛问题。首先,基于序列凸化、松弛变量、罚函数等方法将高超声速飞行器轨迹规划这一非凸原问题转化为凸的子问题。其次,针对凸优化中的振荡不收敛问题,设计一种使迭代序列趋于聚点的信赖域更新策略,并验证该策略能有效避免迭代中后期进程缓慢的“振荡现象”。进一步地,结合改进的信赖域更新策略,提出基于改进保守凸可分近似的轨迹规划方法,并对算法进行等效性和收敛性分析,证明该算法能够收敛到原问题的一个驻点。最后,以复杂约束条件下的高超声速飞行器轨迹规划问题为例,对随机初始猜测值和随机终点两种工况进行仿真验证,并与序列二次规划方法的规划结果进行对比,结果表明本文算法在满足求解精度的要求下,具有较快的求解速度、以及较好的收敛性和鲁棒性。