期刊文献+
共找到80篇文章
< 1 2 4 >
每页显示 20 50 100
Waiting times and stopping probabilities for patterns in Markov chains
1
作者 ZHAO Min-zhi XU Dong ZHANG Hui-zeng 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 2018年第1期25-34,共10页
Suppose that C is a finite collection of patterns. Observe a Markov chain until one of the patterns in C occurs as a run. This time is denoted by τ. In this paper, we aim to give an easy way to calculate the mean wai... Suppose that C is a finite collection of patterns. Observe a Markov chain until one of the patterns in C occurs as a run. This time is denoted by τ. In this paper, we aim to give an easy way to calculate the mean waiting time E(τ) and the stopping probabilities P(τ = τA)with A ∈ C, where τA is the waiting time until the pattern A appears as a run. 展开更多
关键词 PATTERN Markov chain stopping probability waiting time
下载PDF
基于网络通信协议的随机Petri网建模 被引量:1
2
作者 张雅晖 胡晓晖 高杰 《现代电子技术》 2008年第3期166-168,共3页
随着计算机网络协议的广泛度和复杂度的增加,协议的形式化工作显得越来越重要。Petri网与其他形式化建模技术相比,具有特别的优越性,更加适用于通信协议的仿真与性能分析。基于两个基本通信协议:stop-wait协议和CS-MA/CD协议,用Petri网... 随着计算机网络协议的广泛度和复杂度的增加,协议的形式化工作显得越来越重要。Petri网与其他形式化建模技术相比,具有特别的优越性,更加适用于通信协议的仿真与性能分析。基于两个基本通信协议:stop-wait协议和CS-MA/CD协议,用Petri网对他们进行建模与仿真,对于协议开发与验证有重大意义。 展开更多
关键词 协议工程 随机PETRI网 stop—wait协议 CSMA/CD协议
下载PDF
一种可靠的红外通信协议设计与实现 被引量:9
3
作者 王成义 郭秀梅 丛晓燕 《激光与红外》 CAS CSCD 北大核心 2009年第10期1070-1073,共4页
介绍了一种可靠的红外通信协议设计方法。该方法采用自动重传的停止等待协议,即源点传输一数据帧后,必须等待一个确认;在终点的确认返回源点之前,源点不能发送其他的数据帧;如出错,则尝试重发,最多3次。通过实验,找到了比较适宜的等待时... 介绍了一种可靠的红外通信协议设计方法。该方法采用自动重传的停止等待协议,即源点传输一数据帧后,必须等待一个确认;在终点的确认返回源点之前,源点不能发送其他的数据帧;如出错,则尝试重发,最多3次。通过实验,找到了比较适宜的等待时间,在实际应用中有较好的效果,可靠性得到提高。 展开更多
关键词 红外通信 停止等待 自动重传 通信协议
下载PDF
基于量子隐形传态的数据链路层停等协议 被引量:2
4
作者 杨小琳 周小清 +1 位作者 赵晗 王朋朋 《吉首大学学报(自然科学版)》 CAS 2010年第6期60-63,共4页
提出了数据链路层中基于量子隐形传态的量子停等协议,即在数据链路层的2个站点进行通信时,传送量子信息,在设定的时间内,若接收方收到量子帧,则用量子信道来返回确认帧.根据量子隐形传态的瞬时性,该协议减少了2个站点通信的传播时延,从... 提出了数据链路层中基于量子隐形传态的量子停等协议,即在数据链路层的2个站点进行通信时,传送量子信息,在设定的时间内,若接收方收到量子帧,则用量子信道来返回确认帧.根据量子隐形传态的瞬时性,该协议减少了2个站点通信的传播时延,从而降低了2个发送成功的量子帧之间的最小时间间隔,缩短了通信时间,提高了通信效率,而且发送方对所传送的量子信息是未知的,从而也提高了信息传输的保密性. 展开更多
关键词 量子隐形传态 数据链路层 停等协议 Quantum TELEPORTATION Based Data Link 通信效率 量子信息 通信时间 站点 信息传输 时间间隔 量子信道 传送 传播时延 接收方 发送方 保密性
下载PDF
有色Petri网在网络通信协议上的应用 被引量:5
5
作者 刘琼波 尤晋元 《计算机工程与应用》 CSCD 北大核心 2001年第9期27-29,46,共4页
自1962年C.A.Petri在其博士论文中首先提出Petri网后,Petri网理论和应用都取得了长足的进步。有色Petri网是由K.Jensen提出的一种高级网系统,可以为系统建模提供强有力的支持。文章介绍了有色P... 自1962年C.A.Petri在其博士论文中首先提出Petri网后,Petri网理论和应用都取得了长足的进步。有色Petri网是由K.Jensen提出的一种高级网系统,可以为系统建模提供强有力的支持。文章介绍了有色Petri网,并利用仿真工具Design/CPN对一个通信协议停-等协议进行分析。 展开更多
关键词 有色PETRI网 Design/CPN 停一等协议 网络通信协议 数据帧
下载PDF
LVDS高速并口通信协议设计 被引量:5
6
作者 杨雷 龙哲仁 +1 位作者 卢继华 孙磊 《电子技术应用》 北大核心 2013年第3期119-122,共4页
提出高速数据传输系统中IEEE802.3千兆网卡与同步静态存储器间非对称点对点高速通信接口和通信协议设计方案,接口速率不低于1 Gb/s。基于高速接口中常用的低电压差分信号技术,电气连接单向使用5路低摆幅差分信号对,其中1路时钟,4路数据... 提出高速数据传输系统中IEEE802.3千兆网卡与同步静态存储器间非对称点对点高速通信接口和通信协议设计方案,接口速率不低于1 Gb/s。基于高速接口中常用的低电压差分信号技术,电气连接单向使用5路低摆幅差分信号对,其中1路时钟,4路数据,双沿采样源同步传输;基于适用于短传播延时的停止等待自动重复请求协议,通信协议使用命令——应答机制;利用模256校验保证数据的可靠传输。理论分析表明,通信接口带宽可达1.2 Gb/s,协议效率在99%以上,协议工作稳定可靠,在满足千兆网卡全速接收转发数据的情况下,高速并口带宽仍有裕量。 展开更多
关键词 高速传输系统 LVDS并口 通信协议 停止等待 IEEE802 3
下载PDF
游戏在教学中的应用——《停止等待协议》的教学设计 被引量:2
7
作者 王晓燕 李亚 《南阳师范学院学报》 CAS 2015年第12期69-72,共4页
在讲述计算机网络中的停止等待协议的同时,通过引入团队合作类游戏——超级比一比及精心设计多媒体课件(设置动画效果、插入flash视频)来激发学生学习的兴趣,创造良好的学习氛围,提高学生学习的积极性.通过对学生满意度的调查,证明该教... 在讲述计算机网络中的停止等待协议的同时,通过引入团队合作类游戏——超级比一比及精心设计多媒体课件(设置动画效果、插入flash视频)来激发学生学习的兴趣,创造良好的学习氛围,提高学生学习的积极性.通过对学生满意度的调查,证明该教学设计有效可行. 展开更多
关键词 停止等待协议 游戏 课件
下载PDF
基于固定周转时延协议的UWB无线测距方法研究 被引量:1
8
作者 李娟 崔学荣 吴春雷 《传感技术学报》 CAS CSCD 北大核心 2013年第11期1552-1556,共5页
Ultra-Wideband(UWB)技术被认为是最适合进行室内无线定位的技术,IEEE802.15.4a给出的TW-TOA(Two Way Time of Arrival)测距协议中采用的是基于时间戳报文的接收-发送周转时延消除的方法,但是同类设备在相同的环境下其周转时延是相同的... Ultra-Wideband(UWB)技术被认为是最适合进行室内无线定位的技术,IEEE802.15.4a给出的TW-TOA(Two Way Time of Arrival)测距协议中采用的是基于时间戳报文的接收-发送周转时延消除的方法,但是同类设备在相同的环境下其周转时延是相同的,所以为了减少测距双方的数据通信量,提出了一种基于固定周转时延的测距方法;为了提高Hello帧的可靠性提出了在初次定位以及在定位过程中当周转时延发生严重漂移的情况下发送基于停-等协议的Hello报文;同时给出了与IEEE802.15.4兼容的MAC子层协议的格式,并给出了Hello报文格式以及包含品质因子的测距应答帧格式。 展开更多
关键词 超宽带 测距方法 固定周转时延 停等协议 定位
下载PDF
一种兼顾协议正确性验证和性能评估的Petri网方法 被引量:2
9
作者 范昊 吴哲辉 曾庆田 《计算机科学》 CSCD 北大核心 2005年第12期48-52,共5页
基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前研究还不够深入,协议分析的两个重点内容正确性验证和性能评估所需要的模型不同,一种模型只能解决一方面... 基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前研究还不够深入,协议分析的两个重点内容正确性验证和性能评估所需要的模型不同,一种模型只能解决一方面的工作。为了有效地解决这一问题,文中提出了一种用原型Petri网作为协议验证模型的思路和方法,在不改变原型Petri网结构的基础上对变迁赋予发生时延,解决了协议的性能评估问题。本文还给出了协议验证内容与Petri网分析方法的对应关系,并对0-1停止等待协议进行了详细的分析,最后把0-1停止等待协议的原型Petri网模型转化为时延Petri网,对协议的性能进行了评估。 展开更多
关键词 协议验证 形式化分析 时延PETRI网 协议性能评估 0-1停止等待协议
下载PDF
数据链路层协议流量和差错控制的分析 被引量:2
10
作者 张秀虹 王永秀 +1 位作者 刘桂香 石云霞 《青岛建筑工程学院学报》 2003年第2期66-68,共3页
分析了计算机网络数据链路层两个重要协议———停止等待协议和连续ARQ协议的运行机制、算法实现 。
关键词 计算机网络 数据链路层 连续ARQ协议 差错控制
下载PDF
基于虚拟实验方法的停止等待协议分析
11
作者 王成 张华 《通化师范学院学报》 2008年第2期35-37,共3页
建立虚拟网络实验室是当前网络研究与设计的先进方法,它的应用使得建立低耗费的网络实验平台成为可能.该文通过基于虚拟实验的方法对停止等待协议进行分析,利用JAVA语言工具建立了一个虚拟实验模型,包括体系结构和主要类的设计.最后结... 建立虚拟网络实验室是当前网络研究与设计的先进方法,它的应用使得建立低耗费的网络实验平台成为可能.该文通过基于虚拟实验的方法对停止等待协议进行分析,利用JAVA语言工具建立了一个虚拟实验模型,包括体系结构和主要类的设计.最后结合一个典型的实例具体地描述了停止等待协议虚拟实验的过程,并根据实验结果系统自动生成了协议效率折线图. 展开更多
关键词 停止等待协议 虚拟实验模型 协议效率
下载PDF
基于Petri网的一种停止-等待协议的形式建模
12
作者 郑伟 周丽杰 刘伟东 《河北北方学院学报(自然科学版)》 2005年第6期68-71,共4页
基于Petri网的建模方法具有坚实的数学基础和直观的图形表示,是对通信协议建模和分析的理想工具。通过对计算机网络通信中的停止一等待协议的描述,提出一个基于Petri网的停止一等待协议的形式建模。
关键词 PETRI网 停止-等待协议
下载PDF
数据链路层停等ARQ协议的最佳帧长近似解 被引量:3
13
作者 孙翔 陈松明 《电子科技大学学报》 EI CAS CSCD 北大核心 2007年第5期854-857,共4页
分析了通信信道中起伏噪声和突发噪声对数据传输的影响,推导出了数据帧出错的概率即误帧率与信道误比特率的定量关系。为克服信道噪声引起的帧传送错误,可在数据链路层采用面向连接的协议,以保证向上层用户提供可靠交付服务。其中采用... 分析了通信信道中起伏噪声和突发噪声对数据传输的影响,推导出了数据帧出错的概率即误帧率与信道误比特率的定量关系。为克服信道噪声引起的帧传送错误,可在数据链路层采用面向连接的协议,以保证向上层用户提供可靠交付服务。其中采用停止等待ARQ协议是最简单的,它适用于许多特定场合。对于该协议,该文详细推导了在信道误比特率较小的情况下的最佳帧长(使数据总传输时间最短)的计算方法及其近似表达式,并分析讨论了该近似式的物理意义和适用范围。 展开更多
关键词 误帧率 最佳帧长 帧头和超时开销 停等ARQ协议
下载PDF
一个应用于短波通信的差错控制协议——动态滑动窗口协议 被引量:1
14
作者 金燕 文立 《计算机科学》 CSCD 北大核心 2003年第1期111-112,F004,共3页
Dynamic sliding window is a novel ARQ protocol for half-duplex short-wave channel.This algorithm ex-tracts the virtue of Stop-and Wait and Sliding Window protocols,uses acknowledgements and timeouts to implement relia... Dynamic sliding window is a novel ARQ protocol for half-duplex short-wave channel.This algorithm ex-tracts the virtue of Stop-and Wait and Sliding Window protocols,uses acknowledgements and timeouts to implement reliability,and changes sliding window size according to channel quality.The paper puts forward the idea and the model of this protocol,The paper also analyzes the performance of this protocol,compared to the case using Wait-and-Stop protocol. 展开更多
关键词 短波通信 差错控制协议 动态滑动窗口协议 数据帧 半双工通信 ARQ协议
下载PDF
Exact Distributions of Waiting Time Problems of Mixed Frequencies and Runs in Markov Dependent Trials 被引量:1
15
作者 Bruce J. Chaderjian Morteza Ebneshahrashoob Tangan Gao 《Applied Mathematics》 2012年第11期1689-1696,共8页
We study waiting time problems for first-order Markov dependent trials via conditional probability generating functions. Our models involve α frequency cells and β run cells with prescribed quotas and an additional ... We study waiting time problems for first-order Markov dependent trials via conditional probability generating functions. Our models involve α frequency cells and β run cells with prescribed quotas and an additional γ slack cells without quotas. For any given and , in our Model I we determine the waiting time until at least frequency cells and at least run cells reach their quotas. For any given τ ≤ α + β, in our Model II we determine the waiting time until τ cells reach their quotas. Computer algorithms are developed to calculate the distributions, expectations and standard deviations of the waiting time random variables of the two models. Numerical results demonstrate the efficiency of the algorithms. 展开更多
关键词 Inverse Sampling MULTINOMIAL stopPING Problem Soonest through Latest waitING Time Variable Probability Generating Function First-Order MARKOV DEPENDENT Trial
下载PDF
停等式ARQ协议的SPIN模型检测 被引量:1
16
作者 黄丽丽 《福建工程学院学报》 CAS 2018年第3期253-258,共6页
介绍停等式ARQ协议的工作原理,并使用Promela对其进行建模,利用SPIN对所建模型进行检测,证明了所建模型具有停等式ARQ协议的性质。讨论对停等式ARQ协议进行攻击的方法,使用Promela语言对攻击者进行建模,并利用SPIN的图形界面工具XSPIN... 介绍停等式ARQ协议的工作原理,并使用Promela对其进行建模,利用SPIN对所建模型进行检测,证明了所建模型具有停等式ARQ协议的性质。讨论对停等式ARQ协议进行攻击的方法,使用Promela语言对攻击者进行建模,并利用SPIN的图形界面工具XSPIN模拟了攻击过程,验证了攻击的有效性。 展开更多
关键词 停等式ARQ SPIN PROMELA 模型检测
下载PDF
信号控制交叉口直行待行区对通行能力的影响研究
17
作者 张南 闫宇 《城市交通》 2023年第3期90-97,共8页
有关道路交叉口直行待行区对通行能力影响的研究不够完善和全面,在实际应用中存在诸多问题。分析直行待行区设置的目的和条件,基于直行待行区停止线前移的特性,考虑启动波对启动损失时间的影响,完善了损失时间和清空时间的计算方式。在... 有关道路交叉口直行待行区对通行能力影响的研究不够完善和全面,在实际应用中存在诸多问题。分析直行待行区设置的目的和条件,基于直行待行区停止线前移的特性,考虑启动波对启动损失时间的影响,完善了损失时间和清空时间的计算方式。在停车线法计算通行能力的基础上进行修正,构建了直行待行区交叉口进口道的通行能力模型,量化直行待行区对通行效率的影响。基于实例交叉口视频识别数据,通过轨迹平滑化和缺失轨迹补齐方法获得完整车辆轨迹,并获取交通参数的实际数值,保证了模型结果的实际意义。最后运用仿真软件对通行能力模型结果进行验证,与类似模型进行对比。结果表明:构建的通行能力模型模拟真实情况的准确性较高;由于直行待行区对通行过短对通行能力的优化效果较弱,建议在条件允许的情况下尽量将直行待行区设置到最大长度。 展开更多
关键词 交通设计 直行待行区 停车线法 通行能力模型 信号控制交叉口 视频轨迹数据
下载PDF
一种基于5G HARQ的改进型HARQ方法研究
18
作者 费振华 滕国宝 《长江信息通信》 2023年第2期210-212,共3页
3GPP标准5G-NR中的ARQ纠错技术包含RLC层的选择重发式(SR_ARQ)技术、MAC层的停等式ARQ(SW_ARQ)技术和物理层的软合并技术,5G的ARQ纠错技术因其处理复杂、对处理器平台要求高,很难直接运用到移动分布式网络中,如MESH网络和ADHOC网络,文... 3GPP标准5G-NR中的ARQ纠错技术包含RLC层的选择重发式(SR_ARQ)技术、MAC层的停等式ARQ(SW_ARQ)技术和物理层的软合并技术,5G的ARQ纠错技术因其处理复杂、对处理器平台要求高,很难直接运用到移动分布式网络中,如MESH网络和ADHOC网络,文章针对这种移动分布式网络提出了一种改进型混合ARQ(SR_HARQ)纠错技术,该技术直接省去了5G中MAC层的SW_ARQ技术,将SR_ARQ技术和基于前向纠错的软合并技术直接结合使用,通过将空口时隙和接收端缓冲区绑定分配的策略,实现物理层的软比特合并,极大简化了协议的复杂度,效率高、可实现性强,非常适用于轻量处理器平台及移动分布式网络。 展开更多
关键词 SR_HARQ SW_ARQ 分布式网络 TDMA MESH ADHOC网络
下载PDF
玻璃熔窑燃烧系统成套设备制造的质量监造工作
19
作者 杜佳 周诚 刘秀明 《玻璃》 2023年第7期49-51,共3页
设备监造工作对供应的设备质量、工程的整体质量具有重要作用。从质量控制角度梳理总结了玻璃熔窑燃烧系统成套设备监造工作的流程、方法和要点,以供工程技术人员在相同或相似类型工作中参考和借鉴。
关键词 燃烧系统 设备监造 质量控制 文件见证点 现场见证点 停工待检点 出场验收
下载PDF
实时自适应交通信号控制优化理论模型 被引量:26
20
作者 万绪军 陆化普 《交通运输工程学报》 EI CSCD 2001年第4期60-66,共7页
通过对交叉路口交通流到达和排队延误规律的研究 ,提出了一种新的交通信号控制理论 ,此理论把交通延误和停车次数综合为一个性能指标 ,称为 PI值 ,建立了以 PI值最小为目标的交通信号配时优化理论模型。该信号配时方法与通常采用的单点... 通过对交叉路口交通流到达和排队延误规律的研究 ,提出了一种新的交通信号控制理论 ,此理论把交通延误和停车次数综合为一个性能指标 ,称为 PI值 ,建立了以 PI值最小为目标的交通信号配时优化理论模型。该信号配时方法与通常采用的单点自适应信号控制方法的区别在于不但考虑了交通延误 ,而且考虑了停车次数 ,实现对交通延误和停车次数两个指标的优化 ,从而保证了以车队形式到达的交通流可以不间断地通过交叉路口。同时由于以实时交通流的到达规律为依据进行信号优化配时 ,因此 ,该信号配时优化模型又是实时自适应交通信号控制优化模型。 展开更多
关键词 交叉路口 交通信号 控制 优化 PI值 车辆排队延误 停车启动延误 模型 信号配时
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部