非饱和情况下基于802.11 DCF的改进协议DIDD

DIDD(double increase double decrease)协议是一种无线局域网介质访问控制802.11DCF(distributed coordination function)协议的改进。为分析DIDD协议在非饱和情况下的性能,该文使用三维Markov链模型,分析DIDD协议的回退过程求解节点的稳态发包概率;使用一维Markov链模型,求解起始回退阶段数的稳态分布;使用排队理论,计算了网络的非饱和吞吐量和数据包延迟。结果表明:在各种数据速率下,理论分析结果与仿真结果一致。     

非饱和情况下基于802.11 DCF的改进协议DIDD

DIDD(double increase double decrease)协议是一种无线局域网介质访问控制802.11DCF(distributed coordination function)协议的改进。为分析DIDD协议在非饱和情况下的性能,该文使用三维Markov链模型,分析DIDD协议的回退过程求解节点的稳态发包概率;使用一维Markov链模型,求解起始回退阶段数的稳态分布;使用排队理论,计算了网络的非饱和吞吐量和数据包延迟。结果表明:在各种数据速率下,理论分析结果与仿真结果一致。     

一种考虑休眠模式的IEEE 802.15.4 MAC协议Markov分析模型

为了有效描述启用休眠模式的IEEE 802.15.4 MAC协议,提出一种考虑休眠模式的IEEE 802.15.4时隙CSMA/CA算法Markov分析模型.分析了协议参数对吞吐量和功率消耗的影响,其中特别考虑了占空比和非饱和负载的影响.并且讨论了模型参数数值结果.结果表明,分析模型给出的理论分析结果与仿真结果较吻合,且该模型可用于描述休眠模式对IEEE 802.15.4协议性能所产生的影响.     

基于Markov链的产品开发过程模型研究

建立了并行开发过程模型,构造了对应的随机Petri网模型及与之同构的Markov链,基于马尔科夫过程的稳态概率求解了系统的性能参数,分析比较了两系统资源利用合理性及系统的平均延迟时间.     

烯类聚合物构型序列理论的进展(三)——非稳态动力学方法

本文评述烯类聚合物构型序列分布理论中的非稳态动力学方法,并用此法补充处理了一级Markov过程的判别式.通过比较可知:对于无规聚合和Bernoulli过程,由非稳态法得到的理论结果和统计方法的结果一致:但对Markov过程,则仅当聚合物的分子链很长时,作为极限,非稳态法的结果才能够简化为统计方法的结果.也就是说,统计方法无条件地适用于无规聚合和Bernoulli过程;但对于Markov过程,则统计方法只适用于聚合物的分子链很长时的极限情况。     

移动自组网中可用性分析研究

可用性已经成为评价一个网络质量好坏的一个重要标准.由于移动自组网的网络拓扑结构易变、无线通信可靠性差和带宽受限、移动主机能源受限等不足,使得对其可用性的分析变得相当困难.为了能更好地分析移动自组网的可用性,构造了一个齐次的连续时间Markov链模型,并且通过该模型能够很好地求解系统在正常情况下稳态的概率,即稳态的可用性.图2,参9.     

Markov跟踪测量环稳态平均输出的误差分析

为分析具有 Markov性的跟踪测量环稳态输出平均值的误差性能 ,导出了不可约有限齐次 Markov链稳态部分和平均值的二阶矩和转移概率矩阵的简明关系 ,并分析了平均次数趋于无穷时的极限情况。在此基础上通过典型例子说明了作者针对跟踪测量应用提出的进一步降低跟踪误差的稳态平均法的有效性。该方法利用已有的稳态输出信息 ,取平均之后作为最终结果。计算和仿真结果相吻合     

VSAT卫星通信系统内向信道多址接入协议性能分析

文章在介绍VSAT网络模型的基础上，提出了一种多重码预约Slotted ALOHA协议，利用离散时间，离散状态的Markov链来分析VSAT网络上行信道的性能，并给出了实验结果和分析。     

酵母基因启动子序列结构与转录频率的关联性分析

分别基于Markov链模型、频率分析和加权Markov链模型分析k-mer(主要考虑k=6的情形)在DNA序列中的使用情况,并以此定义模糊相对熵度量2个DNA序列结构的差异程度.将转录频率较低的启动子序列作为对照,分析其它转录频率不同的酵母基因启动子序列与对照序列中k-mer隶属度的模糊相对熵的变化,发现基因转录频率与模糊相对熵存在线性正相关关系.一般地,转录频率相差越大的基因,其启动子序列结构的差异越明显.这提示酵母基因启动子序列结构与基因转录频率有一定关联性.与Markov链模型和频率分析法比较,加权Markov链模型的模糊相对熵能更有效地度量基因启动子序列结构的差异.     

自由职业者的就业策略

本文就一类自由职业者的就业问题,给出了就业最佳策略――(p,q)策略,并利用Markov链建立了N个阶段积累奖金额的模型,得到了12个阶段积累奖金的均值.然后利用Matlab软件对该问题进行了模拟,验证了理论求解的正确性。     

基于UML的软件可靠性测试用例生成的混合模型

为了解决实时控制系统软件可靠性测试用例生成的问题，在分析操作剖面模型和Markov链模型的基础上，提出了一种基于UML的混合模型．该模型用操作剖面模型来定义使用用例，并将状态图嵌入其中以表述该用例的动态特性．通过平展状态图获得使用图，使用图按一定的概率迁移，从而获得用Markov链表示的使用模型，而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例．通过雷达波束调度软件可靠性测试表明，按所提模型在各测试周期生成的测试用例集的框架稳定性比较好，测试用例极少出现重复现象，它综合了操作剖面模型和Markov链模型的优点，可用于开发实时控制系统的软件可靠性测试用例．     

ITS自适应CMIMO-SM-ARQ性能建模分析

为进一步基于无线传感器网络(WSNs)提升智能交通系统(ITS)中具有空间调制的协同多输入多输出自动重传请求(CMIMO-SM-ARQ)协议的系统性能,提出接收节点自适应CMIMO-SM-ARQ协议．该协议在信道质量差的情况下会激活接收端的节点以辅助接收数据,能够在降低信息传输中断概率的同时提高系统的能效性能．建立了离散时间马尔科夫链(DTMC)模型,求解其稳态分布,推导出自适应CMIMO-SM-ARQ协议的中断概率、吞吐量及能效解析表达式．数值模拟结果表明：所提协议性能优于非自适应CMIMO-SM-ARQ和单输入单输出自动重传请求(SISO-ARQ)协议．     

基于优化模型的类级测试数据自动生成研究

研究了一种基于优化使用模型的类级测试用例的自动生成方法。首先使用基于约束的非线性规划问题的求解方法获得Markov链使用模型的状态转移概率,建立优化的使用模型;然后以使用模型的概率转移为约束采用轮盘赌算法自动生成测试用例;最后以Euclidean Distane方法度量测试的充分性。实验表明此方法能够提高测试自动化水平,提高软件的可靠性。     

基于Markov链和关联规则的Web访问预测模型

用户访问预测是根据用户的历史访问信息和当前的访问路径预测用户下一步或将来可能访问的页面.因此可以利用预测结果提高服务器的性能,提高缓存的利用率和为用户提供个性化服务.提出了基于Markov链和关联规则的预测模型MAPM(Markov chain and association rule prediction model),该模型首先使用二阶Markov链找到用户下一步或将来可能访问的页面集,生成预测候选集;然后再使用二项关联规则从正向和反向两个角度修正Markov的预测结果,从而生成最后的预测页面.     

一种改进的遗传退火算法以及收敛性分析

针对一种约束条件既有0-1变量又有整数变量的非线性混合整数规划模型,给出一种改进的遗传退火算法求解,并建立对应的Markov链且理论证明其收敛性.     

基于多个Markov信道的联合自动请求重发协议

讨论了三种在多个并行的Markov信道上进行实时数据传输时使用的选择重发式自动请求重发(SR-ARO)协议.构造了一个简单的多信道数据传输模型.以此为背景,在原有的独立多信道SR-ARQ(IMSR-ARQ)和循环联合SR-ARQ(RJSR-ARQ)的基础上,提出了针对Markov信道的交叉联合SR-ARQ(CJSR-ARQ)协议.并对这三种SR-ARQ协议的性能,主要是数据包的重发尝试次数和接收端的重排缓冲区占用情况,进行了理论分析和软件仿真.结果表明,在仿真中假定的信道条件下CJSR-ARQ可以在保持系统吞吐率不变的情况下,减小数据包重发的次数以及重发次数在不同数据包之间的差别,同时显著地减小了重排缓冲区的占用率.     

一种光通信系统可用度计算方法

为了研究光纤通信系统无中断工作的能力 ,计算通信系统可用度具有重要的意义。在 ITU- T G.911光通信系统可用度计算的基本原则下 ,建立了系统状态的 Markov模型和状态转移概率矩阵 ,并利用稳态 Markov模型中状态转移概率平衡的特点求解稳态概率。再利用网络拓扑结构和保护机制的信息 ,通过简单的概率运算得到系统的稳态可用度。在这种计算方法的基础上分析了 SDH的自愈保护机制以及各种故障对系统可用性的影响。在计算结果的指导下 ,可以知道为了达到特定的可用度 ,通信设备和光纤必须具备的正常工作时间和出现故障后的最长修复时间     

基于概率时间自动机的模型检测反例表示研究

近年来,概率系统在实际中应用越来越广泛,其中模型检测基于概率系统的反例生成问题,已引起人们的广泛关注,现有的工作主要围绕模型检测Markov链反例生成展开.概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展,针对模型检测PTA的反例表示问题,首先将PTA的语义表示为Markov决策过程(MDP),通过策略解决MDP不确定性,将MDP转换为离散时间Markov链(DTMC);然后将DTMC转换为带权有向图,则PTA中最小反例问题转化为带权有向图中最短路径问题;最后采用正则表达式表示求得的反例.     

衰落信道中IEEE 802.11 DCF的算法改进

为提高IEEE(the institute of electrical and elec-tronics engineers)802.11 DCF(distributed coordinationfunction)在无线衰落环境中的性能,提出了一种适用于无线衰落环境的无线局域网媒体接入协议DCFf(DCF in fadingchannel)。根据网络规模和信道状态,通过动态调整将竞争窗口加倍和重置的概率使无线局域网的吞吐量性能达到最优。利用有限状态Markov链对DCFf和DCF进行数学建模和理论分析,模型考虑了传输误码对协议行为的影响。计算结果表明:当网络规模、数据速率、信道状态发生变化时,DCFf的吞吐量性能总是优于IEEE 802.11 DCF,并且DCFf与IEEE 802.11 DCF兼容。     

非饱和-饱和区域中重金属污染物运移数值模拟

为了定量整体描述非饱和-饱和区域内水流及溶质迁移过程,在基于非饱和流动理论及溶质运移理论基础上,建立了非饱和-饱和区域内水流方程与重金属污染物运移方程耦合的数学模型。采用V-G模型来描述土壤水分特征函数.用Lagrange-Quadratic方法进行求解并给出模拟结果:分析结果表明,在非饱和-饱和区域内的压力水头、饱和度以及污染物阻滞因子等参数均随含水率的变化而改变,这是区别于饱和流的主要特点。