基于环网的多DSP系统的并行算法的设计

在基于环网的多 DSP系统上 ,应用并行块处理的策略讨论了并行算法设计的调度模型 ;对可 10 0 %利用的 DSP数目及调度模型的 2个关键参数 :块处理的时间和 DSP间的延迟时间进行了具体的分析 ;将 DSP上的处理过程和 I/ O设备上的处理过程分开 ,得到了更加接近真实计算环境的调度模型 ;给出了算法的性能评价准则 ;对FIR滤波器的并行算法进行了具体的设计和实现 .在模拟环境下的测试结果表明 ,应用以上确定调度模型的关键参数的方法 ,FIR滤波器的并行算法的加速比和效率较高 ,与理论分析的结果吻合 .

实时系统资源分配的动态规划算法

本文提出了一个划分具有决定性的、实时性能的二级存储系统的最优算法．此算法在多项式时间内就能找出这一问题的最优解，并支持存储器资源的在线重新配置．

容错数字信号处理系统的设计方法及实现

高可靠性的信号处理对于并行处理器的高速实时应用越来越重要．已知在状态空间模型下线性数字信号处理算法可以表示为矩阵与矢量乘积形式，在该模型下，我们假设同一种运算在计算过程中具有相同的错误概率，即计算过程是稳定的，并利用矩阵划分的方法提出了一种具有高纠错能力的容错设计方案．如果将矩阵划分为ｋ块，则该方案最多可纠ｋ个错误，检测２ｋ个错误．与过去的方案相比，该方案容易实现，并且具有较小的执行时间及硬件开销．

基于蚁群系统WDM网络受限组播路由算法

通过在蚂蚁选路的概率中加入成本因素,只增加优秀路径上的信息素,实现了对现有蚁群算法的改进,加快了其收敛速度。将改进的蚁群优化算法与分层图相结合,提出了一种构造时延受限的最小代价组播树的并行算法。

基于关系的最粗粒度划分问题的并行算法

关系最粗粒度的划分问题 RCPP在并发系统的验证方面起着重要的作用。本文提出了RCPP问题的一种有效的并行算法 ,其中假设标号转移系统中有 m个转移和 n个状态 ,利用 m/nε个CREW处理器算法所需的运行时间为 O( n1+ε) (对于任意固定的 ε<1 )。

流体神经网络模型用于通信网络的路径选择

流体神经网络是一种能直观描述流体流动物理性质的神经网络模型．文中将通信网络对应于一个流体神经网络，从而给出了一种通信网络路径选择的并行算法，模拟结果表明，这一算法能快速找到最佳网络路径．

一种基于方程的多媒体实时流拥塞控制机制

1 引言 端到端拥塞控制机制对于Internet的鲁棒性和稳定性至关重要.目前Internet上许多应用使用基于窗口的拥塞控制算法对网络拥塞进行响应和避免网络崩溃.可以说,今天Internet的成功很大程度上得益于TCP拥塞控制算法的不断改进[1].

超立方体上所有点对之间的最短路径

超立方体上所有点对之间的最短路径霍红卫，庄心谷（西安电子科技大学计算机科学系西安７１００７１）ＡＬＬＰＡＩＲＳＳＨＯＲＴＥＳＴＰＡＴＨＳＯＮＡＨＹＰＥＲＣＵＢＥＭＵＬＴＩＰＲＯＣＥＳＳＯＲ￥ＨｕｏＨｏｎｇｗｅｉａｎｄＺｈｕａｎｇＸｉｎｇｕ（Ｄｅｐａｒ...

概率非否认协议的模型检测分析

基于概率模型检测技术,建立了需要保证ε-公平性的非否认协议的概率模型,根据不同行为将主体建立有限状态机模型。使用概率模型检测器PRISM,验证了概率非否认协议的有效性、公平性和时限性。在恶意实体能力和网络环境等不同情况下,分析了破坏协议公平性的概率。

实现并行搜索和符号逻辑算法的高阶二维时态－竞争激励神经网络方法

本文提出并行搜索和规划算法，以及实现它们的高阶二维时态－竟争激励神经网络．这种网络还能实现基于传统符号逻辑的许多问题求解算法．本文的方法克服了通常的神经网络求解优化问题的缺陷．同时，也避免了符号逻辑算法的串行性及符号逻辑Ｓｙｓｔｏｌｉｃ结构复杂性等问题．给出了求解隐式图搜索、ＬＣＳ问题、ＴＳＰ问题及０－１背包问题的实例．

Web Services的对象封装技术

在研究DCOM远程对象调用的基础上,提出了一个基于对象远程过程调用的W ebServices实现方式,实现了W eb Services的远程对象访问。该实现方法不仅可以同一般的W ebServices访问方式兼容,而且在需要客户验证的情况下,可以有效减少客户验证和网络负担,还能减小客户验证信息被攻击的风险。

第三代移动网络中的VoIP技术

简要论述了在第三代移动网络中应用 Vo IP所需解决的一些关键技术 ,讨论 Vo IP在 GPRS和 UMTS中的应用 ,最后就 Vo IP的 Qo S问题进行了研究和分析。

智能网业务逻辑的一种验证方法

智能网业务逻辑在不同的平面中有不同的表示。在总功能平面中,有一组总业务逻辑(GSL),它说明了完成各个业务独立模块(SIB)链接在一起的次序;在分布功能平面中,分布业务逻辑(DSL)是实现SIB功能时各个功能实体的动作和各个功能实体间的信息流;在物理平面中,包含业务控制功能(SCF)的物理实体执行业务逻辑程序。通信有限状态机模型是由表示进程的有限状态机和表示进程之间通道的先进先出队列(FIFO)组成。文章利用通信有限状态机(CFSM)模型描述智能网业务逻辑(SL),并给出了通过业务逻辑的CFSM模型验证业务逻辑正确性的一种方法。

IN呼叫方处理能力在VoIP中的实现

文章分析了标准化组织提出的基于分组网络的电话的主要体系结构和协议,提出了智能网中呼叫方处理能力(CPH,callpartyhandling)在VoIP网络中的实现方案,并得出了结论。

界面原型法与MIS的开发

该文分析了按传统的软件生命周期方法开发ＭＩＳ项目所遇到的问题，引出采用原型法对此加以改进的设想，并就界面原型法的应用进行了讨论．