一种基于GEP的多层物流网络Prüfer编码优化算法

在对Prüfer编码研究的基础上,提出了一种基于基因表达式程序设计的多层物流网络Prüfer编码优化算法(GEPPCOA)。该算法一方面利用基因表达式程序设计的多基因结构特点,克服了传统演化算法中不能直接用个体表示多层物流模式的缺点;另一方面还对基因表达式程序设计原有的操作算子进行了针对Prüfer编码的改进。实验结果表明,使用GEPPCOA求解多层物流网络的Prüfer编码优化问题时,其各项支出费用性能指标均要好于传统的演化算法,提高了算法的收敛精度。

几乎Prüfer整环多项式环的维数和分式环

证明了如下2个结果:若R是几乎Prfer整环,则dimR[X1,…,Xn]=dimR+n;若R〈X〉■Rc〈X〉是根扩张,则R是几乎Prfer整环当且仅当R〈X〉是几乎Prfer整环.

基于prüfer数的遗传算法求解度约束最小树问题

度约束最小树问题属于NP-完全问题,是一类比较难解的问题,但在现实中具有非常重要的应用价值。探讨了如何将基于prüfer数的遗传算法应用于该问题,并给出了相应的算法。采用C语言和MATLAB的混合编程实现该算法,数值分析的结果显示了遗传算法求解该问题的有效性及其应用价值。

几乎Prüfer整环的研究

通过对几乎赋值环的理想和性质的讨论,对几乎Prüfer整环的理想和性质进行了刻画,证明了几乎Prüfer整环的几个等价条件.最后给出一个例子来说明几乎Prüfer整环不是Prüfer整环.

几乎Prüfer整环的反向极限

Prüfer整环是交换环理论中一种重要的环类,它在代数数论、同调代数和乘法理想理论等的研究中起着重要的作用.主要研究了Prüfer整环的一种推广―几乎Prüfer整环的性质,给出了如下2个结果:几乎赋值整环的反向极限是几乎赋值整环;几乎Prüfer整环的反向极限在riding假设的条件下是几乎Prüfer整环.但在一般条件下,给出例子说明几乎Prüfer整环的反向极限未必是几乎Prüfer整环.

基于Prüfer序列的RDF数据索引与查询

语义Web作为数据之网不断汇集并组织Web信息,相关应用因此面临着对语义Web所含大规模RDF数据高效访问的挑战.建立有效的索引机制是提升RDF数据管理和查询性能的一种解决之道.序列式索引既能够支持存储空间压缩又便于采用成熟的序列匹配技术进行数据处理,具有较好的查询处理性能.文中扩展Prüfer序列以支持RDF数据上的索引和查询,实现了名为Prig的原型系统.实验比较并分析了该系统与对比系统在LUBM和SP2Bench两个测试基准上的实验结果,指出扩展的Prüfer索引在大规模RDF数据上有着比对比系统更好的查询处理性能.

利用Prüfer变换求解微分方程

针对一类二阶非线性常微分方程,利用Prüfer变换将其约化为特殊的一阶常微分方程组,从而使其求解过程得以简化.实例说明应用Prüfer变换求解一类偏微分方程边值问题的技巧.

基于Prüfer数编码的演化计算方法研究——多阶段物流网络优化问题研究

运用演化计算求解多阶段物流网络优化问题的关键是其编码问题。论文运用Prüfer数对其进行编码,针对Syarif等人方法中的不足,提出了一种改进的Prüfer数解码方法,避免了不可行解的产生,提高了解码的效率。在此基础上,一种新的基于Prüfer数编码的演化计算方法被提出,通过算例分析,该方法的可行性和有效性得到了充分的证明。

基于Prüfer码的无线网络拓扑推测算法

针对Ad hoc无线网络带宽受限和拓扑变化的特点,提出一种基于Prüfer码和网络流量的半分循环迭代拓扑推测算法。通过获取树型网络TCP业务报文中的TTL字段域值建立网络节点间的路径距离矩阵POD,利用Prüfer树编译码思想,推测出Ad hoc网络节点间内部逻辑拓扑结构。仿真结果表明,该算法的推断正确率可达到100%,推测结果具有高可靠性。

基于Prüfer数的离散粒子群优化算法在TSP问题中的应用

通过引入Prüfer数编码、归一化运算、粒子的位置矩阵进行模糊化等操作,将连续型粒子群优化算法改造为离散化PSO.并通过构造旅行商问题的度约束最小生成树,利用DCMST的模糊离散粒子群算法求出最优解.采用TSP的测试实例进行仿真实验,证明算法的有效性与实用性.

强Prüfer环上的半正则平坦模

利用半正则余平坦模刻画强Prüfer环,即证明环R是强Prüfer环当且仅当R的任意理想都是半正则平坦模,当且仅当半正则平坦模的任意子模都是半正则平坦模,当且仅当任意[KG*8]R-模都有满的半正则平坦包.

THE ABSENCE OF SINGULAR CONTINUOUS SPECTRUM FOR PERTURBED JACOBI OPERATORS

This paper is mainly about the spectral properties of a class of Jacobi operators(H_(c,b)u)(n)=c_(n)u(n+1)+c_(n-1)u(n-1)+b_(n)u(n),.where∣c_(n)−1∣=O(n^(−α))and b_(n)=O(n^(−1)).We will show that,forα≥1,the singular continuous spectrum of the operator is empty.

振荡波两级低压浪涌保护器配合情况的实验研究

在房屋引入线处和临近灵敏设备处安装的串级式浪涌保护器,要求能以每一级最佳的工作方式共同有效地抑制系统中的过电压。对振荡过电压下两种不同浪涌保护器的配合进行了实验研究,并计算了各压敏电阻上所吸收的能量,分析了各种配合的有效性。

一类常型Sturm-Liouville问题的渐近分析(英文)

考虑[0,π]上一类分离型边界条件的常型S-L问题特征值的渐近表示,利用Prüfer变换,对特征值进行精细的分析,清楚地给出了方程系数q(x)及边界条件中常数sinα,cosα,sinβ,cosβ对特征值的影响.

UMV整环的一些性质

证明了若R是Noether整环,则R是UMV整环当且仅当对任意的U∈UTZ(R),有U-1≠R[X],且R中的每个素v-理想高度为1.证明了若R是UMV整环,且R中的极大理想都是v-理想,则R的整闭包R′是Prüfer整环.同时,也给出如果P是R[X]的任意UTZ,且P-1≠R[X],R的整闭包R′是Prüfer整环,则R是UMV整环.

基于免疫—蚁群算法的度约束最小生成树算法

针对度约束最小生成树问题,借鉴人体免疫系统的适应能力和蚁群算法的全局寻优能力,提出了一种基于免疫—蚁群算法的求解方法。该算法采用Prüfer数对树进行编码及度的改进,利用免疫算法和蚁群算法的融合提高算法的执行速度和进化效率。实验结果表明,用该算法解决度约束最小生成树问题是有效的。

可除模的几个特征

在对前人的成果进行分析的基础上 ,发现可除模也存在一种与内射模相类似的延拓性 ,通过比较、归纳得到以下结果 :设R是一个环 ,r0 是任意正则元 (即非零因子元 ) ,M是左R -模 ,则M是可除模 M是PR -内射模 Ext1R(R/Rr0 ,M) =0 R/r0 R M =0 .而且给出了可除模的子模是可除模的充要条件 .

单相全桥PWM整流器输入电流内环式控制方法的分析与仿真比较

单相全桥型PWM整流器的输入电流内环式控制方法多种多样。PI控制、使用虚拟坐标变换的PI控制、PR控制等控制方法技术较成熟,而无差拍电流控制、重复控制、自适应预测电流控制等数字算法控制尚不成熟。在实际应用中究竟选择何种控制方式,对产品性能影响很大。在此控制方法进行理论分析比较,并利用仿真比较得出一些重要结果,对实际工程有一定的实用参考价值。

求解二维矩形Packing问题的完备算法

对于典型的NP难度问题——二维矩形Packing问题,经典完备算法的计算复杂度不仅与待放块的数目相关,也与矩形框的宽和高相关。通过观察二维矩形Packing问题的合法布局的特点,将其与一对有向无环图相对应,并基于Prüfer码进行编码,提出了一种计算复杂度仅与待放块数相关的复杂度较低的完备算法。

自伴向量型Sturm-Liouville问题特征值λ_(n,r)的依赖性

研究定义在区间[a,b]上的m维自伴向量型Sturm-Liouville问题.首先,利用矩阵Prüfer变换讨论该问题特征值的分布,同时得到第n组特征值λ_(n,r)(n∈N0,r=1,2,…,m)所对应的特征函数u_(n),r(x)在区间(a,b)内恰有n个零点.然后,研究了特征值λ_(n,r)分别关于算子系数和边界条件的连续依赖性.在此基础上,假设所有特征值都是单重的,建立了第n组特征值λ_(n,r)(r=1,2,…,m)关于首项系数P^(-1),势矩阵Q,权矩阵W的微分表达式,进而讨论特征值关于P^(-1),Q,W的单调性.最后,如果允许特征值的指标可以跳跃,则任一特征值都可以嵌入到一个连续的特征值分支中,从而证明λ_(n,r)关于边界条件中的参数α和β的连续可微性.