基于局部最优的联盟结构生成算法

联盟形成是多Agent系统中的一个关键问题 .针对多Agent联盟数量是Agent个数指数倍的问题,给出了基于局部最优Agent联盟结构生成算法--OCS算法 .基于局部最优,将Agent联盟结构图化简,并利用划分所对应的一类联盟结构的上界对Agent联盟结构图进行剪枝,极大降低了搜索空间 .接着证明了OCS算法的时间复杂性为O(3n),但在实验上已经接近O(23n/2) .最后通过对比数据分析,表明了OCS算法的效率 . OCS算法是对Rothkopf和刘惊雷等人相关工作的改进 .     

基于整数二部拆分的最优联盟结构求解

联盟结构是对Agent集合的一个划分,通过联盟形成联盟结构,可以使Agent之间形成有效合作,完成单个Agent所不能完成的任务。本文提出了BIDP来求最优联盟结构,该算法利用整数二部拆分来生成二部划分,并利用二部拆分的界来对搜索空间进行限界。随后把该算法与DP算法做了理论和实验分析,理论上得出BIDP所需要的空间比DP减少33.3%。实验表明,当联盟值满足均匀分布和正态分布,BIDP在21个Agent的情况下,搜索空间比DP减少35%和92%。最后对求最优联盟结构的确定式算法作了总结,即时间复杂度的上界是O(3n),下界是Ω(2n),空间复杂度是Θ(2n)。     

联盟结构图的性质及应用

形成有效的联盟是多Agent系统的一个重大课题.然而联盟结构的数目很大,对于包含n个Agent系统来说,其可能构成的联盟结构是O(nn),以至于通过穷举搜索最优联盟结构是不可能的.另外联盟结构空间是一个什么样的形态,这是目前为止很少有人系统研究的课题,尤其是其图性质的研究.从图的视点讨论多Agent系统中的最优联盟结构生成问题.首先将联盟结构空间抽象为一个联盟结构图,其中顶点代表联盟结构,有向边代表联盟结构的分解.随后总结和形式化该联盟结构图所具有的两个性质:最优子结构、重复子结构问题;推广了一个性质:关键搜索集;给出了一个新性质:较少冗余路径的图的连通性.为了理解联盟结构图的这些性质,将这些性质用到了有效动态规划法(effective dynamic programming,EDP)中,分析得到其时间复杂度的下界是Ω(2.1n),上界是O(3n).实验分析表明,EDP算法比DP算法的搜索次数更少,在含有21个Agent的系统中,EDP比DP减少42%的搜索次数.     

时间依赖代价函数下的最优路径查询问题研究

作者研究了时间依赖图下,具有时间限制的费用代价最优路径的查询问题.目前有关时间依赖图上的最短路径查询的研究工作解决的是最短旅行时间问题(TDSP),这些工作都利用了以下性质:到达某个顶点的最早时刻可以通过到达其邻居的最早时刻计算得出.然而,在计算具有时间限制的费用代价最优路径时,该性质并不成立.因此,目前解决TDSP问题的方法均不能解决文中面对的问题.对此作者提出一个新的算法用于计算时间依赖图模型上的满足时间限制的费用代价最优路径.该算法适用于有向图和无向图.作者证明了算法的时间复杂度和空间复杂度分别为O(knlogn+mk2logk)和O((n+m)k).最后,作者通过真实数据集上的实验,验证了该算法的有效性.     

虫孔路由二维网孔机器上的最优图论算法

连通分量和最小生成树是图论中的两个基本问题 ,在许多领域都有很多应用 .对于顶点数为 n的图和规模为 p× p的虫孔路由二维网孔机器 ,该文针对 p n和 n

相似文献   

线对象邻接关系快速重构算法

给定向量化坐标,计算n个线对象两两邻接关系,普通算法时间复杂度为O(n*n);理论最好时间复杂度为O(C),其中C是邻接关系的基数。基于散列桶,给出了建立线对象邻接关系的快速算法,其平均时间复杂度为O(n(1+1/r)),r为算法分配的桶数量与n的比,空间复杂度为O(n)。证明了若不允许使用额外空间,则不可能使用排序算法解决该问题;给出了允许使用额外空间条件下的两遍排序算法,时间复杂度为O(n(lbn+1+2/r))。应用表明快速算法比普通算法速度提高1~3个数量级。     

具有O(n)时间复杂度的分布式请求集生成算法

在大规模完全分布式系统的互斥问题上,快速生成请求集是必要的。在基于松弛差集的相关原理上,引入了二次松弛差集的概念。经分析相关概念及定理,将原本“求差”的过程变为“求和”的过程;进而利用 “求和”步骤间的递推关系,大大减少了求和步骤,使整个算法的时间复杂度控制在O(n)。与时间复杂度同为O(n^2)的其他经典算法相比,生成的请求集长度仍保持在2n^(1/2)的数量级。     

一种快速构建最优联盟结构的方法

联盟结构是对Agent集合的一个划分,通过联盟形成联盟结构,可以使Agent之间形成有效的合作,完成单个Agent所不能完成的任务。然而联盟结构的数目和解空间比较大,以至于通过穷举搜索最优联盟结构是很复杂的。动态规划法通常用于求解具有最优子结构性质和重叠子问题性质的问题,文章在给出了Agent联盟的相关概念之后,论证了构造最优联盟结构问题恰恰具有这两类性质,因此利用动态规划法可以求解。最后给出了相应的算法,并得出采用动态规划法实现最优联盟结构的时间复杂度为O(3n)。     

一种构建最优二叉查找树的贪心算法

分析最优二叉查找树与哈夫曼树的异同,提出解决最优二叉查找树问题的贪心算法,证明算法的正确性,并用C++程序设计语言编码实现。该算法时间复杂度为O(n2),空间复杂度为O(n),实现了空间复杂度阶的突破。实验结果表明:所提出的贪心算法的效率明显优于动态规划算法。     

Ad hoc网络中基于MCDS构建延迟定界组播转发结构*

根据无线信号传播方式的特殊性,重新定义了无线组播路由中的代价和时延函数,基于图论中最小连通支配集（MCDS）理论,提出的基于图论中点着色思想的时延定界组播转发结构的构建方法,通过求解MCDS来实现构建最小代价组播路由结构的目的,提出了组播路由时延定界的概念,并在该约束下构建MCDS。理论推导证明了该算法的正确性,与同类算法相比,较低的近似比证明了该算法的有效性,同时具有O(n)的时间复杂度和O(n)的消息复杂度,进一步证明了其高效性,具有适应于灵活多变的Ad hoc网络的优势。     

TCP/IP网络时间同步机制的误差分析

针对网络时间协议的同步过程存在较大网络误差的问题,通过实验数据对网络时间协议的误差范围进杓量化分析,提出如何从时间服务器中选取更精确时间戳的方法,从而提高网络校时的准确度。实际测量结果表明,在网络延迟方面,二级时间服务器要优于一级时间服务器。该方法为选择最优时间服务器奠定了理论基础。     

Control Policies of an M/G/1 Queueing System with a Removable and Non-reliable Server

This paper considers a single non-reliable server in the ordinary M/G/1 queueing system whose arrivals form a Poisson process and service times are generally distributed. We also study a single removable and non-reliable server in the controllable M/G/1 queueing systems operating under the N policy, the T policy and the Min( N , T ) policy. It is assumed that the server breaks down according to a Poisson process and the repair time has a general distribution. In three control policies, we show that the probability that the server is busy in the steady-state is equal to the traffic intensity. It is shown that the optimal N policy and the optimal Min( N , T ) policy are always superior to the optimal T policy. Sensitivity analysis is also investigated.     

基于μC/OS-II的嵌入式脉冲激光测距系统

激光测距系统中,时间间隔的分辨率是测距系统精确度的关键因素。采用ACAM的高精度时间间隔测量芯片TDC-GP1,设计并实现了一种基于自触发脉冲激光飞行时间测量方法的脉冲激光测距系统,给出了测距系统功能原理和电路设计。使用实时操作系统μC/OS-II作为系统控制核心,以确保测量精度。     

Delay Dependent Antiwindup for AQM in TCP/IP Routers

A dynamic antiwindup compensator for input saturating linear systems with input and state delays is applied to active queue management of a congested TCP/IP router subjected to TCP and UDP flows. Its synthesis is based on the Lyapunov‐Krasovskii functional, the Finsler lemma, linear matrix ineqality conditions and minimization of the of the disturbance to the system output.     

Remarks on the time-varying H∞ Riccati equations

In this paper we establish some useful properties of three Riccati equations appearing in the standard H_∞-control problems for continuous and discrete-time time-varying systems. We then give necessary and sufficient conditions for the existence of a suboptimal controller by three conditions involving two independent Riccati equations with a coupling inequality.     

基于约束紧迫度和反向调节算法的硬/软件划分

硬／软件协同设计的关键问题之一是硬／软件划分，本文提出了基于约束紧迫度和反向调节算法的硬／软件划分方法，在约束紧迫度算法中，首先根据时间紧迫度来决定节点是映射到硬件还是映射到软件，然后根据硬／软件面积的紧迫度选择节点的执行时间／面积，反向调节算法则是通过节点之间存在的松驰时间来对系统进行进一步的优化，实验表明，该算法在总体性能上要优于文献[18]中提出的MIBS算法。     

Optimal partitioning method for stability analysis of continuous/discrete delay systems

This paper is concerned with the problem of stability analysis for continuous‐time/discrete‐time systems with interval time‐varying delay. Based on the idea of partitioning the delay interval into l nonuniform subintervals, new Lyapunov functionals are established. By utilizing the reciprocally convex approach to deal with the delay information in each subinterval, sufficient stability conditions are proposed in terms of linear matrix inequalities. Based on these criteria, the optimal partitioning method is given on the basis of the genetic algorithm. Finally, the reduced conservatism of the results in this paper is illustrated by numerical examples. Copyright © 2013 John Wiley & Sons, Ltd.     

实时操作系统μC/OS-Ⅱ调度算法的研究

在工程实践中,嵌入式系统往往需要较高的实时性,对嵌入式操作系统提出了更高的实时性要求.本文在分析μC/OS-Ⅱ调度算法的基础上,实现了调度算法的改进,通过在数据采集控制系统中的应用,表明这种改进能明显的提高系统的实时性.     

Sojourn time distribution in the M/M/1 queue with discriminatory processor-sharing

In this paper, we consider a queue with multiple K job classes, Poisson arrivals, exponentially distributed required service times in which a single processor serves according to the DPS discipline. More precisely, if there are n_i class i jobs in the system, i=1,…,K, each class j job receives a fraction _j/∑_i=1^K_in_i of the processor capacity. For this queue, we obtain a system of equations for joint transforms of the sojourn time and the number of jobs. Using this system of equations we find the moments of the sojourn time as a solution of linear simultaneous equations, which solves an open problem.     

Stability condition for m/d/l retrial queuing system with a limited waiting time

A stability condition is derived for a queueing system with a Poisson input with parameter λ and constant service time τ. If the virtual waiting time is less than a constant a, then the demand can be serviced; otherwise, it is repeated in exponentially distributed time or is lost with a probability q >- 0. Translated from Kibemetika i Sisternnyi Anaiii. No. 2, pp. 184–186, March–April, 2000.