国家高技术研究发展计划(863-301-05-03)

作品数：24被引量：45H指数：4
导出分析报告
相关作者：张德运段中兴肖健宇郑卫斌李庆海更多>>
相关机构：西安交通大学湖南涉外经济学院西安建筑科技大学华东交通大学更多>>
相关期刊：《计算机工程》《江西农业大学学报》《计算机工程与应用》《微电子学与计算机》更多>>
相关主题：无线网络B方法模糊逻辑神经网络无线局域网更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
无线网络中的链路自适应算法
《计算机工程》2007年第15期29-32,共4页段中兴 张德运 
国家"863"计划基金资助项目(863-301-05-03)
针对无线链路固定传输模式吞吐量低,而基于单参数的链路自适应可能误判的问题,提出了一种可有效提高无线网络吞吐量的基于多信道参数信息融合的链路自适应算法。算法根据信道参数的特点,分别采用神经网络在线预测和模糊逻辑推理算法实...
关键词：无线局域网 多源信息融合 链路自适应 神经网络 
多速率无线局域网的速率自适应算法被引量：4
《计算机工程》2007年第8期33-35,38,共4页段中兴 张德运 
国家"863"计划基金资助项目(863-301-05-03)
为了提高IEEE 802.11中速率选择机制的性能,提出了一种基于多信道参数数据融合算法的自动速率选择机制,克服了采用单一参数进行信道状态估计的误差和误判。在发送端,将获取到的RSS、CIR和PER信息模糊化,并运用模糊集理论进行模糊推理,...
关键词：无线局域网 数据融合 速率自动选择 模糊平判 
基于UML状态机与B方法的高可信嵌入式软件开发被引量：6
《计算机工程》2006年第8期64-66,共3页肖健宇 张德运 陈海诠 董皓 
国家"863"计划基金资助项目(863-301-05-03)
提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模...
关键词：B方法 形式化方法 UML状态机 嵌入式软件 高可信软件工程 
OCL数据类型到B形式化规约的转换被引量：3
《计算机工程》2006年第6期61-63,共3页肖健宇 张德运 
国家"863"计划网络安全管理与测评技术项目(863-301-05-03)
研究了UML模型到B形式化规约的转换。提出了一套从OCL数据类型及定义在这些数据类型上的操作到B AMN的转换规则。OCL的Boolean类型和Integer类型分别对应于B中的BOOL类型和Z类型;OCL中的String类型需用B抽象机器重新定义新的数据类型Cha...
关键词：统一建模语占 对象约束语言 形式化方法 B方法 
多速率无线局域网的自适应退避算法
《西安交通大学学报》2006年第6期639-643,共5页段中兴 张德运 
国家高技术研究发展计划资助项目(863-301-05-03)
针对标准分布式协调功能(DCF)退避算法应用于多速率无线局域网存在吞吐量异常和严重不公平性问题,提出了一种基于信道状态和节点速率的模糊自适应退避算法.该算法通过对信噪比的检测以及对信道负载率的估算,利用模糊算法对信道的当前状...
关键词：无线局域网 自适应退避 多速率 公平性 
基于模糊逻辑的多速率WLAN自适应MAC协议被引量：1
《计算机工程》2006年第3期113-115,121,共4页段中兴 张德运 
国家"863"计划基金资助项目(863-301-05-03)
针对DCF应用在多速率无线局域网中存在吞吐量异常和严重不公平性问题,提出了一个基于信道状态和节点速率的模糊自适应退避算法——RCFAB算法。仿真结果表明,RCFAB能够适应多速率WLAN,并有效地改善系统的吞吐量和接入公平性。
关键词：多速率无线局域网 分布式协调功能 模糊自适应控制 公平性 
形式化语言B的面向方面编程扩充
《计算机工程》2006年第3期49-51,共3页肖健宇 张德运 
国家"863"计划基金资助项目(863-301-05-03)
借助传统编程语言的面向方面编程扩充――AspectJ/AspectC++的技术经验,提出形式化语言B的AOP扩充机制AspectB。分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约,提出连接点的范围必须限制在IMPLEMENTATION组件中,方面代码...
关键词：面向方面编程 B语言 连接点 连接点集合 建议代码 方面 
无线网络中模糊自适应显式窗口流量控制
《西安交通大学学报》2006年第2期170-174,共5页段中兴 张德运 
国家高技术研究发展计划资助项目(863-301-05-03)
将显式窗口自适应技术应用于无线网络中,设计出一种基于模糊逻辑的显式窗口自适应流量控制算法.该算法依据基站缓存的变化量,通过模糊推理和判断,自适应地调整通知窗口,并将结果以显式的方式反馈给发送端,使发送端的发送窗口能够快速响...
关键词：无线网络 显式窗口反馈 模糊自适应控制 流量控制 
基于模糊逻辑的无线网络流量自适应控制被引量：4
《微电子学与计算机》2006年第1期31-35,共5页段中兴 张德运 嵇启春 
国家"863"计划基金资助项目(863-301-05-03)
文章在分析现有提高无线TCP性能方案的基础上,提出一种新的流量控制方法,即基于显式窗口反馈的无线网络流量控制方案。在SNOOP中引入有线网络的显示窗口自适应(EWA)算法,通过对BS共享缓存的实时监测,应用模糊控制算法预测当前拥塞窗口(C...
关键词：无线网络 显式窗口反馈 模糊控制 流量控制 
一种改进的用于并发程序静态切片的程序依赖图被引量：2
《微电子学与计算机》2006年第1期6-10,共5页肖健宇 张德运 陈海诠 董皓 
国家"863"网络安全管理与测评技术(863-301-05-03)
分析了KRINKE切片算法,发现当对程序循环体内嵌套有一个或多个线程的结构时会产生切片不精确的现象,原因是KRINKE算法的数据结构所定义的线程间数据依赖关系过于粗糙,相应的切片算法对程序执行路径的合法性约束不够严格。提出一种改进...
关键词：静态程序切片.并发程序 程序依赖图 循环-承载数据依赖 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部