Mobile Police Information System Based on Web Services

Introduction The rapid developments in information technology (IT), particularly in wireless communication and web services technologies, are substantially changing the landscape of organizational communications. Wireless communication technologies enable…     

界沟煤矿缓倾斜“三软”煤层开采分析

缓倾斜"三软"煤层开采时,巷道应采用架棚支护,围岩变形量大,生产过程中设备易出现下滑,端面煤岩易片帮、冒顶,影响了工作面的正常回采。针对回采过程中出现的技术难题,从回采巷道布置与支护方式、顶板管理、煤岩活动规律等方面进行分析研究,确保了缓倾斜"三软"煤层工作面的安全高效生产。     

能源互联网与能源路由器

日益紧张的能源供需矛盾和环境压力等要求可再生清洁能源应该在未来能源体系中承担主要能源供给任务.能源传输技术、存储技术、信息通信以及高性能计算技术的发展为有效利用分布式、间歇性可再生能源提供了技术支持.针对类似于信息互联网式的能源互联网愿景,本文探讨了以能源路由器为核心交换装置的能源互联网实现模型,从能源路由器的实现目标,已有支撑技术和实现部署方式等方面分析了涉及的关键技术,并结合已有研究成果说明了该领域亟需突破的研究方向.     

Web服务器集群QoS-aware负载均衡策略的性能评价

提出了将Web服务器进程调度中所使用的HTTP请求的内容和优先级与Web服务器集群的负载均衡策略相结合的综合控制策略.这种综合控制策略能够同时实现负载均衡和Web服务质量(QoS)控制.并且,本文提出了一种基于随机高级Petri网(Stochastic High-level Petri Net)的性能模型与分析技术,能够实现对Web服务器集群的QoS-aware负载均衡策略进行有效的性能建模与性能评价.     

非马尔可夫随机Petri网的分析方法及应用

Petri网是模型并行系统和分布式系统的一种强有效的形式化工具.它能够很好地刻画系统的动态行为、分析系统的性能.目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型.文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望.     

基于线性时态逻辑的Petri网模型检测

Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性.文章深入描述了线性时态逻辑、Bu chi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略.与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力.最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论.     

单模跳跃算法的分析与改进

为改进串匹配的效率,通过引入有效载荷,对Horspool算法进行了分析。在字符集较小而模式串长度较大时,跳跃距离受字符集大小限制严重。结合好后缀思想,提出了基于好后缀的Horspool算法GsHor:比较窗口内对应末位字符相同的情况下使用好后缀距离移动窗口;结合Quick Search思想,提出了基于坏字符块的Horspool算法BcbHor。实验表明:字符集大小为4时,GsHor算法的比较次数比Horspool算法减小18%以上,BcbHor算法至少减少42.4%。     

基于多用户分集效应的相对比例公平调度算法

无线蜂窝网络目前所采用的机会调度算法在公平性方面存在缺陷。为解决该缺陷,该文提出了一种适用于无线数据网络的基于多用户分集效应的相对比例公平调度算法。不仅可以通过改变参数来调节系统吞吐量,保证系统性能;而且可以保证各用户之间的公平性,满足不同用户的服务质量要求。仿真实验表明,该算法可以在不同用户之间提供公平的服务,而且能兼顾系统吞吐量和用户服务质量的要求。     

单模跳跃算法的分析与改进

为改进串匹配的效率,通过引入有效载荷,对Horspool算法进行了分析。在字符集较小而模式串长度较大时,跳跃距离受字符集大小限制严重。结合好后缀思想,提出了基于好后缀的Horspool算法GsHor:比较窗口内对应末位字符相同的情况下使用好后缀距离移动窗口;结合Quick Search思想,提出了基于坏字符块的Horspool算法BcbHor。实验表明,字符集大小为4时,GsHor算法的比较次数比Horspool算法减小18%以上,BcbHor算法至少减少42.4%。     

基于网边缘控制的QoS路由算法

为给不同的用户提供不同的服务质量(QoS),提出一种基于网边缘控制的因特网QoS路由算法。该算法中,路由选择的决断主要由网边缘做出,核心路由器的任务简化为通报网络信息和协调用户决断这两个较为简单的功能,利用用户级别的自组织路由来达到上述目标,从而形成一个扩展性强的自适应QoS路由算法。它使用路由探测分组与染色分组来增强网络的自适应能力;不需了解全局信息,只需局部网络状态即可;利用用户的自组织行为来协调路由行为。分析与仿真实验表明:该算法比传统算法有较强的动态性、可扩展性和较强的QoS提供能力。