高强
作品数: 10被引量:63H指数:6
  • 所属机构:中国科学院软件研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

徐惠民
作品数:123被引量:403H指数:11
供职机构:北京邮电大学信息与通信工程学院
研究主题:服务质量 计算机网络 网格计算 QOS 作业调度
蒙移发
作品数:5被引量:18H指数:2
供职机构:北京邮电大学
研究主题:通信协议 计算机网络 网络协议 蓝牙技术 通信网
林鸿
作品数:4被引量:30H指数:3
供职机构:中国科学院软件研究所
研究主题:分散网 自组网络 蓝牙 微微网 调度算法
丁文芳
作品数:3被引量:29H指数:3
供职机构:北京科技大学计算机与通信工程学院计算机科学与技术系
研究主题:分散网 自组网络 蓝牙 无线移动网络 微微网
王海波
作品数:24被引量:2H指数:1
供职机构:中国科学院软件研究所
研究主题:仿真引擎 离散事件仿真 引擎 SCRIPT语言 仿真数据
Bluetooth协议栈一致性测试被引量:7
2001年
Bluetooth协议栈实现的一致性测试是保证不同厂商产品之间互连与互操作的基础。 文章基于OSI协议一致性测试标准进行了Bluetooth协议一致性测试研究和实际测试, 并以L2CAP层协议为例介绍了一致性测试的方法、结构、测试集的设计、生成与完备性分析。
蒙移发徐惠民高强
关键词:通信协议计算机网络蓝牙技术协议栈
基于“蓝牙”的IP业务
2001年
一问题的提出 伴随着IP技术在信息产业中作用的不断增大,传统IP技术的局限性与人们对IP业务新需求的矛盾也日益突出,具体表现为:传统IP不能实现主机漫游,主机进入与原来子网不同的子网时,IP地址必须改变,这将使其原先的通信伙伴无法再找到它,C.Perkins提出的移动IP方案可解决这一矛盾,未来的IPv6将支持移动IP。
蒙移发徐惠民高强
关键词:IP业务网络协议
协议验证与一致性测试方法被引量:11
2002年
1 引言 随着计算机网络和通信技术的不断进步,通信网的稳定性很大程度上取决于通信协议的稳定性,而保证通信协议的稳定性,分两步来实现:首先,协议设计好后,对设计出来的协议进行验证,协议验证有以下两大目标:①发现协议中应该避免的错误动作,如死锁、活锁、动态错误和未指定的接收等,以保证协议描述的内部逻辑正确;②验证协议能完成既定服务,图1是协议验证模型.
蒙移发徐惠民高强
关键词:通信网通信协议网络协议计算机网络
一种简化协议路径测试的方法被引量:1
2002年
在协议测试中,设计测试例是主要工作之一,测试例包括了对状态错和数据错的测试。测试状态错要求对状态图中路径进行遍历。基于向量空间的思想,设计了一个生成基本路径集的算法,使得状态图中任何路径都可由基本路径通过线性组合生成,以达到简化协议路径测试之目的,并对此加以了证明。
蒙移发徐惠民高强
关键词:状态图生成树有限状态机
一种蓝牙分散网拓扑结构创建和网络路由分布式算法被引量:16
2003年
蓝牙分散网潜在的广阔应用前景使它逐渐成为自组网络研究热点之一 蓝牙分散网所具有的特殊限制和特性给有效创建分散网络拓扑结构和网络路由带来了挑战 提出和分析了一种分布式蓝牙分散网拓扑结构创建算法和以此为基础的网络路由算法 它是一种简单有效的可递归算法 ,具有良好的扩展性 文章假定通信距离内的两结点间能建立物理连接 通过数学证明和仿真试验 ,算法具有以下性能 :时间复杂度为O(logN) ,消息复杂度为O(N) ,分散网网络直径为O(logN) 利用特殊的地址表示法 。
林鸿丁文芳高强
关键词:拓扑结构自组网络分散网无线移动网络微微网
一种面向SIMSCRIPT语言的抽象语法树构建方法和装置
本发明涉及一种面向SIMSCRIPT语言的抽象语法树构建方法和装置。该方法包括:对SIMSCRIPT语言的9种语法规则进行抽象和构建;对三类SIMSCRIPT代码文件进行扫描和分词;基于分词结果构建叶子节点,基于语法规则...
刘朝晖师磊张珊詹博华王海波徐帆江郑昌文曲玉言赵文宁高强
一种蓝牙网络接入点快速切换机制被引量:11
2003年
蓝牙网络接入点切换问题是蓝牙技术广泛应用过程中亟待解决的关键课题 ,而蓝牙本身特点给接入点快速切换研究和实现带来挑战 提出了一种新的由接入点控制的反向软切换机制 ,实现了蓝牙接入点快速切换 接入点实时监测同移动点间的链路 ,根据距离和链路质量计算出切换判断值 当这个值超过某个阈值后 ,接入点预先在它的邻近接入点中搜索一个最佳候选接入点 当值继续超过另一个阈值后 ,移动点切换到新接入点 虚拟切换环境的仿真结果说明 。
林鸿丁文芳高强
关键词:蓝牙网络接入点快速切换
一种面向SIMSCRIPT语言的抽象语法树构建方法和装置
本发明涉及一种面向SIMSCRIPT语言的抽象语法树构建方法和装置。该方法包括:对SIMSCRIPT语言的9种语法规则进行抽象和构建;对三类SIMSCRIPT代码文件进行扫描和分词;基于分词结果构建叶子节点,基于语法规则...
刘朝晖师磊张珊詹博华王海波徐帆江郑昌文曲玉言赵文宁高强
蓝牙自组个人网监听模式下分散网调度算法被引量:9
2003年
蓝牙自组个人区域网络是由具有蓝牙功能的设备组成一个不需额外网络设备,在某个区域内一起自主协调工作,相互间自由通信的独立无线移动网络,网络中的某些节点采用时分复用方式参与多个微微网中并转发网络数据,由于节点在某时刻只能加入其中一个微微网中,这就需要微微网间或者分散网调度算法,监听模式为分散网调度算法提供了一个比较灵活的方式并且无须更改协议。提出了一种基于监听模式的自适应分散 网调度算法,有效解决了这个具有挑战性的课题,算法监控各个链路上的流量,并获得流量变化数据,根据这些数据实时改变节点在各个链路上的监听时隙分配比例。通过对算法仿真结果的对比和分析,证明算法能够提高吞吐量,减少传输延迟,改善网络性能。
林鸿丁文芳高强
关键词:蓝牙自组网络分散网调度
面向移动应用的后端服务平台被引量:17
2014年
典型的移动应用开发分为服务器端和客户端两部分,传统的移动应用开发模型需要花费大量人力、物力和时间成本用于开发和维护服务器端功能.本文提出了一种面向移动应用的后端服务平台,该平台为移动应用开发提供自定义数据服务、用户管理服务、文件存储服务、地理信息查询服务、消息推送服务等适用于典型移动应用场景的通用服务.移动开发者可以通过平台提供的REST风格Open API或者为不同移动终端提供的native SDK两种方式利用后端服务平台进行移动应用的开发.最后,本文以实际案例说明了面向移动应用的后端服务平台的使用和为移动应用开发带来的优化和改进.
高嘉泽高强吴国全魏峻黄涛
关键词:SDK