信息化行政审批监督机制的创新：天津市南开区行政许可服务中心的“超时默许”管理信息系统

天津市南开区行政许可服务中心以信息技术作为工具和手段，积极探索改革之路。他们坚持科学创新、依法创新。以审批过程中的时间要素为核心。开发了“超时默许”信息管理系统．建立起一个以信息技术为载体的审批监督管理机制．大胆地实践了利用信息技术进行行政体制改革的方法。迈出了政府管理创新的重要一步。     

有关北京通信ADSL计费的一些问题

随着ADSL业务的广泛普及、用户数量的迅猛增长,为用户提供完善清晰的消费帐务信息是我们帐务工作者的责任.本文首先对帐务部ADSL用户数据进行了多种方式的分类统计.进而对宽带ADSL业务可行的多种计费方式(按数据流量计费、包月制、包月计时制)进行了比较和充分的分析.全面介绍了北京通信对ADSL业务所实施的计费原则和费率标准.对目前该业务计费帐务处理系统包括:本地网计费系统结构、ADSL业务计费系统流程、其上网详单的处理(数据剔重检错、超长及跨帐期详单处理)、以及用户及设备资料管理、ADSL与电话设备的绑定方式等进行了详细的介绍.     

为何管不住“黑网吧”

2002年11月15日，国务院颁布实施《互联网上网经营场所管理条例》，对未成年人进入网吧、网吧无证经营和超时营业等加以禁止。     

网络时间同步算法及其实现

随着计算机网络越来越广泛的应用,网络时间同步的要求也越来越重要。本文介绍了网络时间同步的有关概念,讨论了实现网络时间同步的一般方案,详细分析了我们提出的网络时间同步算法——超时算法,并给出了实现结果。     

中断驱动系统模型检验

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.     

基于Ajax请求会话超时处理的研究

B／S架构下,来自于浏览器的同步请求如果发生了会话超时,可以很容易的让页面跳转到超时页面,但现在的Web系统为了提高用户体验,大量使用了Ajax技术,请求变成了异步请求,使用原有的方法,页面无法去处理跳转。本文在JQuery和Ext框架下,提出一种处理异步请求会话超时的方法。     

BUCBAT自适应动态电源管理策略

结合电池放电特性,提出一种自适应超时动态电源管理策略BUCBAT。基于电池放电过程中电压逐渐降低的特性,BUCBAT根据电池放电电压的大小动态调整超时阙值;采用两块电池以特定频率轮流供电,充分利用电池放电电压的自恢复特性。实验结果表明,与超时策略相比,BUCBAT动态电源管理策略在兼顾系统QoS性能的同时,能够合理地管理系统功耗,从而延长系统的可持续工作时间。     

移动网络中重传超时问题的研究

作为广泛使用的网络传输控制协议,TCP(Transmission Control Protocol)在高速移动网络中遇到了新的性能瓶颈。首先由于移动网络中存在随机位错误导致的丢包,而TCP协议不能有效区分这类丢包与拥塞丢包,导致TCP频繁的降低拥塞窗口无法有效利用移动网络的带宽资源。其次,高速移动网络的发展使得带宽时延积BDP(Bandwidth-Delay Product)进一步增大,在发生丢包时TCP协议中的流量控制将导致性能瓶颈和易引起重传超时。通过Wireshark工具抓取大量的tracing进行分析,发现重传超时的主要原因是重传数据包再次被丢,而TCP又不能发现丢失原因,因此无法进行再次重传最终导致重传超时。针对这一问题,本文提出的方法 DTOR(Detect Timeout and Retransmission)可以帮助TCP检测到重传数据包再次丢失并触发再次重传,DTOR使网络带宽利用率提升了20%左右。     

卫星链路上的SR协议性能分析

选择重传ARQ协议兼顾了停等ARQ协议可靠性高、退后N ARQ协议传输能力强、应用广泛的优势.传统的选择重传ARQ协议模型没有考虑窗口大小对协议性能的影响,导致选择重传ARQ协议模型分析能力不足.为此,通过对选择重传ARQ协议的运行进行分析,建立了与选择重传ARQ协议运行一致的数学模型,并通过仿真验证了所建模型的合理性...