简介：高效输运是非线性科学领域中的一个热门话题,对于蚂蚁等社会性物种的生存乃至人类社会的高效发展都至关重要。深入了解真实的生物群体到底如何解决交通拥堵问题,是当前的热点话题。这类实验的关键在于,如何精确控制实验条件以制造拥堵：而这样的实验条件却长期难以得到很好的实现。我们采用＂凿路法＂控制路径,成功实现了蚂蚁输运中的路径拥堵。另外,我们进行了真实蚂蚁的双通道输运实验。通过比较凿路法与架路法实验条件下,左右道路中蚂蚁数目的对称破缺,证实了凿路法的有效性。

简介：故障树在设备的故障诊断中被广泛应用.当系统复杂度较大时,故障模式和故障树的分支会剧烈增加,故障现象和故障原因因此出现复杂关系,这必然给故障检测和诊断推理带来极大的困难.在故障诊断中引入一种新的人工智能方法,即蚁群算法,可以确定故障树的最优检测次序,并指导系统多故障状态的决策.由于该方法具有平行性、鲁棒性等特点,可以很好地解决前面所提问题.仿真结果显示,在故障树中采用该新方法可行、有效.

简介：带柔性时间窗的开放式车辆路径问题（OpeningVehicleRoutingProblemwithFlexibleTimewin—dows，OVRPFTW）对物流配送中的延迟或者提早具有一定程度的容忍．本文首先建立了OVRPFTW的数学模型，然后分别将Sine映射，Chebyshev映射和Logistic映射引入基本蚁群算法，构建了三种混沌蚁群算法，并将其用于求解OVRPFTW．算倒测试表明：Sine映射和Chebyshev映射能够明显地改进基本蚁群算法的优化性能，基于Sine映射和Chebyshev映射的混沌蚁群算法的求解性能优于基本蚁群算法和基于Logistic映射的混沌蚁群算法．

简介：存在监控冲突的天基中段预警传感器调度优化是一个动态、高维、复杂多约束的非线性优化问题,其解空间的高维度与状态复杂性直接制约了智能优化算法的运用。本文以任务分解与任务复合优先权计算为基础,通过二级分离机制将解空间维度与状态复杂性降低至适于连续蚁群（continuousant-colonyoptimization,CACO）处理的全局优化形态,构建出相应的优化子路径集.在此基础上,针对监控冲突导致的状态变化特性,从局部搜索递进与募集的角度提出适于传感器调度优化的MG-DCACO（doubledirectioncontinuousant-colonyoptimizationbasedmassrecruitmentandgrouprecruitment）算法,成功将智能优化算法应用于基于低轨星座的天基中段预警中.最后对算法的收敛性进行论证,并通过与已有规则调度算法的对比得出MG-DCACO算法可获得优于规则调度算法的全局最优解。

简介：Molodtsov提出了软集——一种处理不确定性信息的数学工具．本文在进行了阐述软集的相关概念和性质后，接下来给出了软群的定义，并对软群的软同态做了进一步研究．

简介：利用同余的核与超迹描述正则半群上的广义逆半群同余.

简介：设G是局部紧群,Г是G×G中的一个闭子群.在本文中,定义L∞(G)为左BanachL1(Г)一模,给出G为Г-顺从群的一个充分必要条件和关于U(G,Г)空间的一个因子分解定理.

简介：本文讨论了每个元都有幂等元作为右单位元的左消半群与幂单半群N的Schuzenberger积M◇N的ρ类，证明了这种半群M与N的Schuzenberger积M◇N的ρ类是右E一半适合半群和弱E-headged半群．

简介：在n次积分半群及一次积分半群扰动理论的基础上,探讨了α次积分半群的扰动性,得到了α次积分半群的扰动定理.

简介：定义了毕竟PI-强rpp半群,并刻划了这类半群的结构.

简介：本文刻划交换半群的强半格上的最小半格同余，并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。

简介：[美]I·格罗斯曼和W·迈格努斯在[1]中给出了群的几何图象——群的图象表示,即群的凯菜图。[1]中主要是通过正多边形和正多面体的重合运动来求群的凯菜图的。本文给出一种由群的定义关系直接求群的凯菜图的方法,我们称此种方法为基国法,并给出群的图象表示的几个应用。

简介：证明了双诱导映射下L-Fuzzy子格群的像与逆像仍为L-Fuzzy子格群,基于L-Fuzzy集的层次结构特征,研究L-Fuzzy子格群的同态,给出了它们的性质.

简介：一个n次积分半群S(t)如果满足‖S(n)(t)x‖≤‖x‖,At≥0,x∈D(An),我们就称S(t)是一压缩的n次积分半群,其中A为半群S(t)的生成元.在本文中,我们完全刻划了n次压缩积分半群的特征.给出了n次压缩积分半群的Lumer-Phillips定理.

简介：设ｉＡｊ（１≤ｊ≤）是有界Ｃ０群的可交换生成元，Ｐ（Ａ）＝∑｜μ｜≤２ａμＡμ（Ａμ＝Ａ１μ…Ａｎμｎ）如果Ｐ是弱椭圆的且其实部是上有界的，则我们证明Ｐ（Ａ）生成一个Ｃ０半群．

简介：本文中用Kneser’s定理得到下列结论一个新的简单证法．设G为初等Abelp-群（运算用加法），S={a1，a2，…，an）为G的一个n项不含有零然的元素列（元素可允许重复），｜s｜=n=P^m-1＋p-2，，其中P为素数，若对G的任意子群H，S最多含有｜H｜-1项，则：（1）当m=2时，∑^0（S）=G;（2）当m≥3时，∑（S）=G,特别有（1）Olson’猜想r（Zp＋Zp）=2p-2;（2）r（＋^mZp）=c（＋^mZp）=p^m-1＋p-2,m≥3.

简介：证明了转移函数是l∞的一个子空C1上的正的压缩C0半群,其极小生成元恰好是Markov积分算子半群的生成元在C1中的部分;Markov积分算子半群的生成元稠定的充分必要条件是q-矩阵Q一致有界;同时转移函数是Feller-Reuter-Riley的充要条件是Markov积分算子半群的生成元在c0中的部分产生一个强连续半群.最后,在序Banach空间给出了增加的压缩积分算子半群的生成定理.

简介：减弱了Drazin关于完全П-正则半群的刻划中的条件，简比了Bogdanovic关于完全П-正则半群的等价刻划的证明，并给出了完全П-正则右逆半群的一个等价定义。

简介：本文主要讨论有限特殊Ｃｈｕｒｃｈ－ＲｏｓｓｅｒＴｈｕｅ系统所表现的么半群上Ｇｒｅｅｎ等价的数量性质．证明每种Ｇｒｅｅｎ等价类都是正则集合，其个数或１或∞且多项式时间内可计算．同时获得一个关于有限特殊Ｔｈｕｅ系统描述能力的结论．

简介：在多属性群决策中,决策者的决策结果有两种表现形式,即决策方案的优先序和决策方案的排序权向量.本文研究基于决策方案优先序的群排序方法,提出了加权偏差平方和最小化方法及基于测度函数的0-1规划方法.