浅析网络文学的特征及其发展

网络文学是伴随着计算机技术发展而产生的具有一定影响力的一种新型的文学样式。本文就网络文学产生的背景、本质特征及其未来发展趋势做了探索与思考。     

CMP1协议的符号模型检验分析

提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.     

一个新的电子发票协议及其公平性分析

在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.     

星地融合网络中基于遍历容量的地面用户调度算法

星地融合网络采用无人机作为卫星与地面用户的中继设备,有效地解决偏远地区因地面无线覆盖能力不足问题。针对星地融合网络的系统资源调度问题,提出基于遍历容量的比例公平性（ergodic capacity-based proportional fairness,ECPF）调度算法。ECPF调度算法构建基于自由空间光通信（free space optical,FSO）的卫星-无人机的通信模型,并推导FSO链路的瞬时信噪比;构建基于译码转发（decode-and-forward,DF）的无人机-用户的通信模型,并推导RF链路的瞬时信噪比。然后,计算用户的遍历容量,并结合比例公平性（proportional fairness,PF）调度算法对资源进行调度。仿真结果表明,提出的ECPF调度算法更好地保证了用户使用资源的公平性,提升了系统的吞吐量。     

基于遗传算法的认知网络调度算法设计

在网络可用频谱资源动态变化条件下,为了实现认知系统频谱利用率的提升和对用户公平性的保证,文章首先建立了无限队列缓存的OFDMA认知系统调度优化模型。在此基础上,结合简单遗传算法SGA(SimpleGenetic Algorithm)和优化约束条件,提出了基于遗传算法的认知调度策略CRSGA(Cognitive Radio SchedulerBased on Genetic Algorithm)实现了优化问题的求解。仿真结果表明,通过调整适应度函数中的比例因子,CRSGA算法能够在有效保证用户公平性的同时逼近系统频谱利用率上限。     

一种改进的RCP算法

RCP算法是一种基于速率的显式拥塞控制算法,具有较好的效率和公平收敛性,在多瓶颈网络拓扑环境下也有很好的性能。但是研究表明,当一个新流加入网络时,RCP算法存在严重的瞬态过载现象,从而导致丢包的发生。文中通过在原有RCP算法基础上调整了源端控制的方式,提出了S-RCP算法。理论分析和仿真结果表明,S-RCP算法一定程度上解决了瞬态过载现象,基本消除了丢包现象。     

军人保险的公平性及其实现途径

公平是军人保险的本质要求。充分体现军人保险制度的公平性,应坚守“公平、正义、共享”的核心价值理念,健全军人保险的法规体系,扩大军人保险的覆盖面,完善军人保险待遇确定机制和正常调整机制。     

DSOCC：面向区分服务的拥塞控制

在区分服务(DiffServ)中使用确保转发(AssuredForwarding)进行TCP传输,存在带宽分配不公平问题。已有的工作没有综合考虑订购带宽、报文大小、RTT(RoundTripTime)对TCP性能的影响。为了解决TCP在DiffServ中的公平性问题,提出了面向区分服务的拥塞控制算法DSOCC(DiffServ OrientedCongestionControl)。通过模拟验证了该算法的有效性。     

基于遗传模拟退火算法的OFDMA系统资源分配

针对多用户OFDMA系统,提出了一种基于遗传模拟退火算法的多用户OFDMA系统资源分配策略。在资源分配时,首先假设总功率在载波间均等分配,随后根据比例速率要求确定每个用户需要的子带数,最后引入遗传模拟退火算法求解联合优化中的子带分配,在保证用户间公平性的前提下最大化系统吞吐量。仿真结果表明,该策略系统容量较大,并且近似满足了不同用户间传输速率比例性要求。