实时系统资源分配的动态规划算法 被引量：4

1

作者 霍红卫 庄心谷 《计算机学报》 EI CSCD 北大核心 1997年第3期269-274,共6页

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

关键词 动态规划 算法 资源分配 实时系统 操作系统

在线阅读 下载PDF 职称材料

容错数字信号处理系统的设计方法及实现 被引量：1

2

作者 马建峰 赵晓盈 王新梅 《计算机学报》 EI CSCD 北大核心 1997年第1期82-86,共5页

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

关键词 数字信号处理 容错 检错纠错 矩阵矢量乘法

在线阅读 下载PDF 职称材料

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

3

作者 霍红卫 《计算机工程与科学》 CSCD 2000年第4期40-42,共3页

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

关键词 最粗粒度划分问题 并行算法 标号转移系统

在线阅读 下载PDF 职称材料

流体神经网络模型用于通信网络的路径选择 被引量：9

4

作者 马玉祥 马缚龙 雷震甲 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1995年第1期58-63,共6页

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

关键词 路径选择 通信网 流体 神经网络模型

在线阅读 下载PDF 职称材料

超立方体上所有点对之间的最短路径 被引量：4

5

作者 霍红卫 庄心谷 《计算机学报》 EI CSCD 北大核心 1996年第2期154-157,共4页

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

关键词 最短路径 超立方体 算法 计算机

在线阅读 下载PDF 职称材料

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

6

作者 帅典勋 《计算机学报》 EI CSCD 北大核心 1995年第3期181-189,共9页

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

关键词 并行搜索 符号逻辑 算法 神经网络

在线阅读 下载PDF 职称材料

Web Services的对象封装技术 被引量：2

7

作者 王峰 陈平 《计算机应用》 CSCD 北大核心 2006年第B06期233-235,共3页

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

关键词 远程过程调用 对象远程过程调用 简单对象访问协议 分布式组件对象模型 WEB服务

在线阅读 下载PDF 职称材料

第三代移动网络中的VoIP技术 被引量：1

8

作者 张晓鹏 《现代电子技术》 2003年第21期19-21,共3页

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

关键词 第三代移动网络 VOIP GPRS UMTS 服务质量 cRTP

在线阅读 下载PDF 职称材料

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

9

作者 张国庆 马玉祥 《计算机工程与应用》 CSCD 北大核心 2002年第8期170-171,183,共3页

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

关键词 智能网 业务逻辑 通信有限状态机 业务独立模块 验证

在线阅读 下载PDF 职称材料

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

10

作者 秦骏 马玉祥 《计算机工程与应用》 CSCD 北大核心 2002年第12期151-153,共3页

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

关键词 IN 呼叫方处理 VOIP 网络电话 智能网

在线阅读 下载PDF 职称材料

界面原型法与MIS的开发

11

作者 贺晓军 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1995年第2期146-150,共5页

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

关键词 管理信息系统 界面原型法 软件开发

在线阅读 下载PDF 职称材料