一类扩展的Steiner树优化问题有其应用

本文提出了一个计算机通信和分布式系统的一类扩展的Ｓｔｅｉｎｅｒ树问题，对此问题设计了两个求其最优解的算法。这两个算法的时间复杂性分别是Ｏ和Ｏ。其中，ｋ是一棵Ｓｔｅｉｎｅｒ树需支撑的给定顶点的个数。     

一个快速的时延有界低代价多播路由算法

基于ＱｏＳ的多播路由算法需要在满足每个个体ＱｏＳ需求的同时,又能高效管理网络资源,提出了一种满足端端时延限制的低代价多播路由算法。算法使用一个修改的Ｓｔｅｉｎｅｒ树近似算法先构建时延有界的低代价多播树,再通过最小时延路径与其它尚不在多播树的且结点相连。     

一类扩展的Steiner树优化问题及其应用

本文提出了一个计算机网络通信和分布式系统中的一类扩展的Ｓｔｅｉｎｅｒ树问题．对此问题设计了两个求其最优解的算法．这两个算法的时间复杂性分别是Ｏ（３（ｋ－１）·ｎ＋２（ｋ－１）·ｎ２）和Ｏ（２（ｎ－ｋ）·ｎ２）．其中，ｋ是一棵Ｓｔｅｉｎｅｒ树需支撑的给定顶点的个数．     

确定污水网络中Steiner点位置的算法及应用

介绍了一种工程上有十分重要的运用价值的污水网络最短树中Ｓｔｅｉｎｅｒ点位置的算法。文中从工程实际出发，将高阶非线性方程组转化成多个一阶或二阶的线性方程组，使计算机进行快速迭代运算成为可能。文章对算法的收敛性作了严格的数学证明。该方法用于 无锡市的污水改造工程，取得了令人满意的结果。     

IP组播中的聚合点选择

在协议无关组播-烯松模型中（PIM-SM0，RP（Rendezvous Point)作为共享树的根，数据包都从源点直接发送到RP，再由RP沿共享树发送到各接收点，在一个组播域里，RP的选择十分重要，文章提出了一种能反映网络拓扑的方法，在一个连通图中，从一个点出发到所有点所经过的最短路径是经过其到所有点的DIJKSTRA树，而DIJKSTRA树的权和都是一样的，不同的RP选择仅是决定于各源点到RP的代价之和，即选择网络的大约的“中心”为RP。     

给定偏差约束下的时钟布线局部拓扑构造优化算法

提出一种时钟树布线算法,在给定偏差约束下,采用新的匹配策略考虑偏差约束进行局部拓扑优化,优先匹配延迟目标大的结点,将其置于时钟树拓扑结构底层;结合缓冲器的插入,抑制了蛇行线的产生．实验结果表明,对使用过时钟偏差调度算法优化后的电路,该算法可在时钟布线阶段有效地减少时钟线网中连线与缓冲器的总电容．     

印制板布线的最佳路径快速通道分配算法

针对目前面向线网布线方法的某些不足,本文提出一种具有整体布线思想的最佳路径快速通道分配方法:对给定的线网按照一定的走线模式,根据代价函数,求出其最佳通道分配。它尤其适用于对连线长度有严格要求的超高速电路的布线问题。     

像素阵列转化为S树的并行算法及其实现

本文提出了一种从像素阵列到Ｓ树转换的并行法及其在曙光１０００上的具体实现。它是采用叶码和树码相结合的方法对图像进行压缩编码的。这是一种对大型图像的有效表示方法，对图像的存储也十分有效。该算法首先采用模拟遍历线性树的方法把二值图像转换成ＦＤ位置码，然后再把ＦＤ位置码转化成Ｓ树。同以往的树形编码相比Ｓ树具有较高的压缩比、较好的压缩速度。该算法串行时间复杂度是Ｏ（ｎ＾２），用Ｐ个处理器可在Ｏ（ｎ＾２／Ｐ     

门阵列和标准单元布图中一种有效的走线道分配算法

本提出了一种用于门阵列和标准单元图自动设计中的走线道分配算法－ＦＡＲＭ，它连接总体布张和通道布线，算法目标是使通道的最大密度最小，同时考虑减小线网长度和通孔数。ＦＡＲＭ同两部分组成，多行走线道分配和单行走线分配。它已用Ｃ语言在ＤＥＣ工作站和Ｓｕｎ工作上实现，并已用于我们开发的双层ＣＭＯＳ门阵布图系统ＭＡＬＳ３中，实验例子表明，它与ＴｉｍｂｏｒＷｏｌｆ５．６的结果相当或更好。     

大型网络的SKT可靠性的分散计算法

提出了一种基于分解法的计算大型网络从源点到特定节点集K(即SKT)可靠性的算法。按照一定的分解规则将大型网络划分为若干较小规模的子网络，从而最终将枚举原网络的K树这一复杂问题转化为计算这些子网络的最小路。对求得的K树进行不交化运算，最终得到网络的SKT可靠性。     

一种时序优化的通用FPGA装箱算法

提出一种时序优化的通用FPGA装箱算法。将配置电路与用户电路转化为有向图，解决子图同构问题。将线网延时作为变量，定义关键度，以此为代价函数进行装箱，达到优化时序的目的。在VPR平台上进行实验，结果表明，该算法的时序性能较优，并可应用于不同的可配置逻辑块结构中。     

高级综合中VHDL描述向Petri网转换方法的研究

提出一种基于执行路径的Petri网生成算法,该算法提取VHDL源描述中的功能和时序信息,生成与源描述完全等价的Petri网结构．算法采用条件树结构保存条件,语句执行条件和Petri网迁移条件都依据条件树生成．生成的Petri网能够准确地保存源描述中的I／O时序信息,形成调度过程中I／O操作处理的基础．从该结构出发,能够方便地实现各种I／O模式的调度。     

用动态规划法求解延时/面积最小化工艺映射

本文提出了一个求解延时／面积最小化工艺映射动态规划法．它首先基干线性延时模型，给出了用动态规划法求解延时最小化工艺映射的步骤；然后从树型网络的面积计算公式入手，用动态规划法近似计算面积最小化工艺映射；最后用“线性加权和法”把延时／面积最小化工艺映射转变为单目标最优化问题求解．     

Reachability analysis of real-time systems using time Petri nets

Time Petri nets (TPNs) are a popular Petri net model for specification and verification of real-time systems. A fundamental and most widely applied method for analyzing Petri nets is reachability analysis. The existing technique for reachability analysis of TPNs, however, is not suitable for timing property verification because one cannot derive end-to-end delay in task execution, an important issue for time-critical systems, from the reachability tree constructed using the technique. In this paper, we present a new reachability based analysis technique for TPNs for timing property analysis and verification that effectively addresses the problem. Our technique is based on a concept called clock-stamped state class (CS-class). With the reachability tree generated based on CS-classes, we can directly compute the end-to-end time delay in task execution. Moreover, a CS-class can be uniquely mapped to a traditional state class based on which the conventional reachability tree is constructed. Therefore, our CS-class-based analysis technique is more general than the existing technique. We show how to apply this technique to timing property verification of the TPN model of a command and control (C2) system.     

基于非hanan点的时延约束最小斯坦那树生成方法

介绍了一个基于非hanan点的时延约束最小斯坦那树生成方法,该方法引入非hanan点的概念,可以得到长度费用优化较好的布线树.     

传感器网络中一种基于层次的节能路由算法

传感器网络中的节能是其面临的一个中心问题。层次路由算法根据所构造的一个骨干网可以高效地利用能量,该文据此提出了一种基于树结构的路由算法,算法通过类似多播树的构造而形成一个有效的骨干网,节点只需将数据转发到骨干网上的任一节点即可。理论分析和仿真实验都表明,算法具有较好的节能性,而且延时较小。     

SAGACIA 算法改进及其不对称交通信号配时优化

针对城市交叉路口交通流量不对称,对称的信号配时易发生交通流量大的方向发生拥堵的情况,采用借相位放行方式设置交叉口的不对称相位,以交叉口车辆平均延误最小为控制目标,应用改进SAGACIA 算法对各相位绿灯时间和周期时长进行优化。根据获得的交叉口交通流数据,通过Matlab编程仿真。仿真结果表明,改进SAGACIA算法能够有效降低车辆平均延误,并与遗传算法进行了对比,SAGACIA算法改进后具有更好的搜索能力和搜索精度,有助于获得较优绿时配时方案。     

基于Spark的决策树算法对航班延误预测研究

在大数据环境下,为了提高航班延误预测精确度和数据处理速度,提出基于Spark框架下处理海量数据方法。本文使用决策树算法对航班数据进行分析,预测航班的延误情况,并与使用支持向量机,Logistic回归分类算法的预测结果进行比较。结果证明决策树算法具有较高的准确率和灵敏度,表明决策树算法可以应用到航班延误预测中,给航空机构提供数据支持。     

一个有效的分布式移动IP组播路由算法

为了优化移动IP环境下组播树的代价,减少移动结点的切换时延,设计了分布式移动IP组播路由算法BNSBMR(Bone NodeSet-Based Multicast Routing Algorithm)。该算法使用"骨干结点集"的思想,能大大降低组播树代价,并优化切换时延;同时使用分布式的策略来进行设计,使得算法具有良好的可扩展性,有利于在大规模移动Internet上的实现。仿真实验表明:根据该算法生成的组播树代价、时延等性能明显优于其他同类移动IP组播路由算法。     

神经网络分类器的快速构造算法

使用ＢＰ算法训练多层网络的速度很慢而且事先难于确定隐节点和隐层的适当数目。本文提出一个有效的算法，先构造决策树，然后将构造的决策树转换为神经网。文中使用一个全局准则函数控制决策树的增长，它较好地匹配了树的复杂性和训练样本量及错分率界。实验结果，本文的算法比用ＢＰ算法训练多层网络要快，而其分类精度不低于用ＢＰ算法训练的多层神经网。