一种IEEE 802.11 MAC协议的包延时数学分析模型

提出了一种新的数学分析模型,用于计算IEEE 802.11协议的平均包延时。通过与基于OPNET的仿真结果比较,证实该分析是有效的。分析结果证实,相对于基本访问机制,采用RTS/CTS媒体访问机制将获得较低的包延时,对于合理采用RTS/CTS机制、显著提高IEEE 802.11WLAN性能具有重要意义。     

一种新的SCTP对ST检测机制

针对无线网络高误码率、时延抖动大等特点,提出了一种新的SCTP检测算法一FRTO(快速重发超时),该算法使用了TCP中的基本思想,其主要改进是:①当收到第一个确认信息后,只发送一个新的数据报;②改进了SCTP的慢启动和拥塞避免算法。对算法进行了仿真研究,仿真结论证明了带有FRTO的SCTP在性能上优于现有的Eifel检测机制和复制的最高传输序列号(DHPTSN)检测机制。     

一种新的SCTP对ST检测机制

针对无线网络高误码率、时延抖动大等特点,提出了一种新的SCTP检测算法-FRTO(快速重发超时),该算法使用了TCP中的基本思想,其主要改进是:①当收到第一个确认信息后,只发送一个新的数据报;②改进了SCTP的慢启动和拥塞避免算法.对算法进行了仿真研究,仿真结论证明了带有FRTO的SCTP在性能上优于现有的Eifel检测机制和复制的最高传输序列号(DHPTSN)检测机制.     

一种基于AODV协议的改进协议EAODV

AODV路由协议是Ad Hoc网络中使用距离矢量的按需路由协议.本文在分析了AODV路由协议工作过程的基础上,提出了改进的AODV协议--EAODV,并在OPNET平台进行了仿真实验和分析.仿真结果表明,EAODV路由协议有效地增加了Ad Hoc网络的吞吐率并降低了时延,从而有效地提高了网络性能.     

一种新的高温高压流变性分析模型

钻井液流变性的准确分析与流变参数的准确计算一直是钻井水力分析与计算的基础,是提高井底压力计算精度的重要研究内容。基于高温高压流变实验数据,分析了旋转黏度计300 r/min和600 r/min下测量剪切应力随温度、压力的变化规律;进而建立了适用于各转速下高温高压(HTHP)剪切应力的通用预测模型,并给出了HTHP剪切速率预测模型系数的通用求解步骤。最后采用HTHP剪切应力预测模型对墨西哥湾一口实验井的合成基钻井液(屈服假塑性钻井液)进行了分析,同样具有很好的预测效果,表明该模型具有较广泛的适用性,可为高温高压井井底压力计算提供较为准确的HTHP流变参数。     

一种基于条件概率重传的协作ARQ协议

在协作ARQ协议中,重传过程由中继辅助完成。研究了在认知无线电网络二级用户通信场景下,采用一种基于条件概率重传的新协作ARQ协议,并增加中继向基站发送确认信号的机制,即ACK-R(Acknowledgment sig-nals from the Relays)机制,经过马尔科夫分析和仿真证明,可以显著增加系统的吞吐量.     

一种新颖的车载网性能分析模型

针对目前车载网(VANET)容量和传输时延估计的研究均为渐近分析,网络拓扑一般为一维,没有考虑具体的应用场景的问题,文中提出了一种用于估计基于交通安全应用场景和IEEE802.11p标准的二维车载网吞吐量容量和传输时延等性能指标的分析模型。该模型将每一个生成和广播安全信息数据包的节点用M/G/1队列模拟,并将IEEE 802.11p标准的带冲突避免的载波侦听多址访问(CSMA/CA)机制抽象为一个半马尔可夫过程。通过试位法求解模型参数,得出VANET性能指标的理论值。移动模型仿真软件Bonn Motion和网络仿真器NS-3的仿真结果验证了分析模型理论值的正确性。     

一种新的RLC互连解析延时模型的建立

提出了用来评估深亚微米VLSI电路中RLC互连延时的一种新的解析延时模型．该模型的驱动器由输出电阻和电容组成，负载为容性负载．先对分布式均匀传输线的转换函数展开式进行二阶近似，然后根据不同的极点情况，计算出时域下的阶跃响应及相应的解析延时．该模型还被应用到具体的RLC互连树中评估源节点到漏节点的延时．实验结果表明，该模型比前人的延时模型精确，延时评估误差减少了10%；而由输出电阻和电容组成的驱动器能够很好地改善RLC互连树的延时分析．     

一种新的鉴别协议

分析了现有的以系统时钟基本同步为前提的鉴别协议中存在的安全问题，指出了产生该问题的原因，在此基础上，提出了一种新的无须系统时同卞的鉴别协议，就协议使用一种简便易行的解决方案，采用第二方时间标记，从而消除了系统时钟不同步所带来的影响，清除了指出的安全漏洞，最后，分析了新协议的优点和不足。     

基于冲突感知的IEEE 802.11 DCF性能分析模型

对IEEE 802.11 DCF机制的核心算法二进制指数退避算法提出一种基于冲突感知的分析模型:基于平均竞争窗口与冲突概率之间的关系,得到在饱和条件下系统的延时和吞吐量分析模型,并得出基本接入模式与RTS/CTS接入模式的切换门限值。该模型简化了BEB算法,降低了计算复杂度,但能很好地反映算法特性。通过理论分析与OPNET仿真,验证了模型的正确性,同时为预测和优化无线网络系统的性能提供理论依据。     

数学解析方法在教育心理学上的应用研究

本文采用精确的数学解析式描述环境对学习者的愉快感和兴趣度的影响,以及由此导致的学习者情绪水平的变化规律,建立了环境对学习者情绪状态影响数学模型.对环境的结构层次进行了深入的分析形成了一个激发学习者饱满情绪为评价指标的教学理念.     

基于无线应用协议的一种新的端到端安全模型

为解决无线应用协议（WAP）在应用中存在的安全隐患，探讨了WAP应用模型漏洞产生的原因，分析了目前WAP应用的3种实现模型及存在的不足，提出了一种新的端到端安全模型——双加密模型，并使用面向对象的编程语言DELPHI6．0实现了数据加密标准（DES）和国际数据加密算法（IDEA）两种对称加密算法，选择了适用于WAP应用的最优的IDEA算法。分析及仿真结果表明，该模型实现了端到端的安全传输，并能保证传输过程中数据的保密性、完整性、通信双方的身份认证和不可否认性，满足基于WAP的移动电子商务的安全需要。     

数学模型在转炉中的研究与应用

转炉炼钢静态控制是转炉计算机的基本控制方式,副枪动态控制以静态控制为基础。针对转炉炼钢过程中复杂因素的影响,通过数学方法研究开发出一套转炉炼钢数学模型。静态模型包括终点控制模型、供氧模型、造渣模型、底吹模型;动态模型包括脱碳速度模型、钢水升温模型和冷却剂加入量模型。     

基于预信任与公共服务域的柔性在线移动支付模式与协议

为动态适应电子商务不断创新以及客户对跨支付平台、跨支付方式的个性化需求,移动支付必须具备架构上的柔性与服务的柔性.为此,提出一种基于预信任与公共服务域的柔性在线移动支付模式,它支持支付系统架构的动态变化,支持跨平台支付服务,以线下信任与线上信任相结合以及依托公共服务域的办法解决支付系统的柔性问题,解决柔性与安全性之间的矛盾,并给出了该模式下的支付协议.通过对协议的分析,证明该模式与协议可以满足移动支付的柔性与安全性.     

SSH协议分析

探讨了SSH协议体系结构,介绍SSH三个层次：传输层协议、用户认证协议、连接协议和密钥机制．讨论了SSH连接建立过程的各个阶段,为理解和应用SSH提供了理论基础．     

基于协议分析的并行聚类入侵检测模型

模糊c-均值聚类(FCM)的算法是在硬c-均值算法(HCM)发展而来的,虽然改进了硬c-均值算法的聚类效果,但带来了时间复杂度的增加.提出了一种基于协议分析分类的并行入侵检测模型,根据协议分析将大的数据集进行分类,构成不同的数据集,先对各个数据集进行FCM聚类,然后对每个FCM聚类的结果再次进行FCM聚类,构成并行处理系统.采用协议分析技术结合高速数据包捕捉、协议解析等技术来进行分布式入侵检测,可以提高入侵检测的速度.     

基于SBN模型的Internet应用协议识别方法

针对网络流量协议标注比较困难的问题,提出一种基于贝叶斯网络的半监督学习模型,以提高Inter-net协议的识别精度.该模型首先使用少量的标注样本训练贝叶斯网络分类模型,并对未标注样本进行初始分类,然后从未标注样本中挑选分类损失最小的样本加入到训练集中并重复训练分类模型,经过多次循环训练出最终的分类器.该模型可以使用未标注样本和标注样本共同训练分类模型,非常适合于标注比较困难的Internet应用协议的识别.实验结果表明：在标注样本较少的情况下,该模型的识别精度和稳定性均优于朴素贝叶斯模型和贝叶斯网络模型,对于提高Internet协议的识别精度是有效的.     

关于节点分析法的新思考

针对“节点分析法”分析电路时，由于有些特殊情况要作特殊处理，往往给分析电路带来极大的不便。在此提出，先把各支路划分为含源支路和无源支路，再分别处理的新思路，使规律更明显，尤其有利于编制程序用计算机解题     

网络协议描述和验证技术的分析与比较

随着计算机网络与分布式系统的发展，通信协议的设计和实现的复杂性的增加导致了协议程技术的出现．讨论协议形式描述与验证技术的目的与方法，重点介绍了基于FMS、通信演算系统以及Petri网协议验证技术的特点及其优点．     

基于Petri网的合同网任务动态分配模型

文章根据合同网的任务动态分配思想,将多个主体划分为管理者主体和工作者主体2种类型,借助Petri网对任务分配过程中主体之间的协作及信息交互行为进行刻画,建立了具有固定数目的工作者主体和具有不定数目的工作者主体的动态任务分配模型,模型能够描述任务动态分配过程中所有可能出现的情形;同时对网模型系统的有界性、有效终止性和无死锁性进行了形式化的证明.