张德运
- 作品数：226 被引量：1,257H指数：18
- 供职机构：西安交通大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金“九五”国家科技攻关计划更多>>
- 相关领域：自动化与计算机技术电子电信电气工程轻工技术与工程更多>>
- 基于感知评价的Internet语音终端流量控制
- 2006年
- 分析了影响因特网语音通信质量的主要因素,根据实时传输控制协议计算延迟、丢包率等网络参数,并利用RBF神经网络将参数映射为语音质量评分,根据评分值的变化动态地调整语音终端的编码速率,在保证一定语音质量的同时,缓解网络拥塞。实验证明了该方法的有效性。
- 张军张德运赵东平
- 关键词：实时传输控制协议流量控制RBF神经网络
- 模型检测与定理证明相结合开发并验证高可信嵌入式软件被引量：6
- 2005年
- 首先将软件的UML状态机模型转换为模型检测工具MOCHA的输入语言REACTIVEMODULES,在MOCHA中进行正确性验证,利用模型检测工具针对错误情况给出的反例路径,尽早修改软件的UML设计模型;然后将已验证过的UML模型转换为定理证明工具B方法的抽象规约,利用B方法的精化、验证及代码生成功能,直接生成正确的C代码。并给出了从UML状态机到REACTIVE MODULES建模语言及B AMN抽象规约的转换规则。实验结果表明,该方法可在软件工程中有效地提高高可信嵌入式软件开发和验证的效率。
- 肖健宇张德运陈海诠董浩
- 关键词：定理证明高可信软件MOCHAB方法
- 无线网络中模糊自适应显式窗口流量控制被引量：1
- 2006年
- 将显式窗口自适应技术应用于无线网络中,设计出一种基于模糊逻辑的显式窗口自适应流量控制算法.该算法依据基站缓存的变化量,通过模糊推理和判断,自适应地调整通知窗口,并将结果以显式的方式反馈给发送端,使发送端的发送窗口能够快速响应网络负荷状况,从而避免了发生网络拥塞和丢失数据分组.仿真结果显示,采用所提算法可以提高网络吞吐量,降低缓存用量,特别是当无线链路误码率较高时,其网络吞吐量比Snoop算法可提高2.3倍,而缓存用量只有Snoop算法的40%.
- 段中兴张德运
- 关键词：无线网络模糊自适应控制流量控制
- Ad Hoc网络中基于模拟退火-蚁群算法的QoS路由发现方法被引量：8
- 2006年
- 针对Ad Hoc网络的动态网络环境和链路、节点性能限制等不利因素,提出了一种新的QoS路由发现方法———SAANT.该方法利用蚁群算法增加了发现可用QoS路由的概率,利用基于概率的路由转发策略来减少洪泛造成的网络开销,从而强化所提算法的全局搜索能力和自适应性,减小了洪泛对Ad Hoc网络性能的影响.所提方法还利用模拟退火算法调整路由发现算法的搜索方向,以弥补蚂蚁算法收敛速度上的弱点,减少了搜索过程中的停滞现象.在包投递成功率、平均包延迟和吞吐量等方面,通过仿真实验对SAANT、仅基于蚁群算法的QoS路由算法和传统的按需路由算法的方法进行了性能比较,结果表明,在Ad Hoc网络环境下,SAANT的收敛速度、移动性能和网络负载性能均表现出更好的适应性.
- 傅鹏张德运马兆丰孙钦东MdJahangir Alam
- 关键词：HOC网络QOS路由蚁群算法模拟退火算法
- 最小二乘支持向量机的短期负荷多尺度预测模型被引量：20
- 2005年
- 提出了一种改进的电力负荷短期预测小波网络模型,该模型采用最小二乘支持向量机(LS-SVM)实现了小波分解系数的多尺度组合预测.首先使用多孔算法对短期负荷序列进行小波分解,得到指定尺度下的近似系数和相关尺度下的小波系数,然后利用LSSVM对预测点的系数进行多尺度组合预测,通过小波重构可以求得相应的预测值.结合某地区短期负荷需求数据进行了仿真试验,研究了预测点与历史记录数据的相关关系.预测结果表明,使用本模型进行短期负荷预测同比传统小波神经网络方法可以获得更好的预测精度,同时LS-SVM的引入大大提高了模型的可计算性.
- 刘遵雄钟化兰张德运
- 关键词：最小二乘支持向量机
- 一种改进的随机早期检测算法被引量：9
- 2003年
- 针对随机早期检测算法(RED)参数配置困难的问题,提出了一种自适应阈值RED(SATRED)主动队列管理算法.该算法根据网络拥塞状况,周期性地自动调整最大阈值和最小阈值,以便改善RED路由器的性能.在调整周期内,每到达一个数据包,将平均队列长度和阈值进行比较,在周期结束时根据比较结果对阈值进行调整.仿真结果表明,在路由器缓冲区有限的情况下,相对于简单的尾部丢弃(tail drop)和RED,该算法能为TCP连接提供更好的公平性.
- 安智平张德运党红梅丁会宁
- 关键词：随机早期检测主动队列管理
- 一种基于网络处理器的动态带宽分配算法被引量：5
- 2005年
- 针对基于优先级队列(CBQ)机制中带宽分配算法的不足,以Intel IXP2400为平台,设计并实现了一种基于网络处理器的动态带宽分配算法.该算法以令牌为介质,采用“生产者-消费者”模式,将每个优先级队列看作是一个独立的实体并为其设置一个令牌桶.令牌发放器作为“生产者”,根据队列的预分配带宽,按照特定的速率将令牌放入令牌桶中,调度器作为“消费者”,从令牌桶中取出令牌.某个优先级队列的令牌如果不够用,允许向其他优先级队列借用令牌,或收回借出的令牌,从而实现带宽的动态分配.在IXP2400微引擎上的实验表明,无论高优先级队列数据包速率高于还是低于传统CBQ带宽分配算法中设置的阈值,所提算法的转发速率均高于传统算法.
- 李金库高磊王磊张德运
- 关键词：动态带宽分配网络处理器令牌优先级队列
- 基于模糊多类支持向量机的语音质量客观评价被引量：4
- 2006年
- 提出了采用模糊有向图支持向量机(FDGSVM)对基于输出的多语言语音样本进行语音质量评价的一种新方法.将多个可进行两类分类的模糊支持向量机组织成具有惟一根节点的有向图结构,得到多类分类器FDGSVM;提取待测语音信号的Mel倒谱系数并将其作为特征向量,再通过FDGSVM将特征向量映射到非线性划分的主观平均意见评分(MOS)区间,映射值即为输出的语音质量的客观评价结果.实验结果表明,所提算法获得的评测结果与主观MOS评价之间的相关度,在闭集测试时可达0.91,在开集测试时可达0.88.
- 张军张德运傅鹏
- 关键词：支持向量机MEL倒谱系数语音质量
- 目标检测传感器网络参数设计被引量：2
- 2005年
- 通过理论分析,给出了目标穿越无线传感器网络防线时的被检测概率与传感器网络设计参数之间的关系,建立了传感器网络目标检测问题的数学模型.传感器网络所有节点均采用基于时间片的休眠/唤醒节能策略,使得节点在每个时间片以一定的激活概率进入活动状态.推导目标检测概率的计算公式表明,检测概率与传感器节点的密度以及节点激活概率均成正比.因此,在满足所需要的目标检测概率条件下,可以采用降低节点密度或者减小节点激活概率的方法来减少系统能耗.此外,建立了节点工作时间片大小与传感器网络能耗之间的关系式.由该关系式得出,在其他参数确定的条件下,存在一个目标运动速率的临界值.当目标速率小于此临界值时,网络能耗随时间片的增加而增大;当目标速率大于此临界值时,网络能耗随时间片的增加而减小.
- 胡宁张德运
- 关键词：无线传感器网络目标检测节能策略
- 程序条件化用于软件模型检测中的状态空间缩减被引量：2
- 2006年
- 针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案.以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件,通过分析程序符号化执行语义,借助自动定理证明器,对语句的可达性条件进行逻辑推理,删除那些与性质的可满足性无关的语句,以达到程序精简的目的.理论分析和实验结果表明,条件化可以有效缩减程序状态空间,而且缩减后的程序模型保留了原程序中与所需验证的性质有关的所有信息,满足软件模型检测对状态缩减的安全性要求.
- 肖健宇张德运郑卫斌张勇
- 关键词：软件模型检测线性时序逻辑
