网络

uTorrent下载不正常Q一直使用uTorrent进行BT下载,最近发现:刚添加的任务总是无法上传、下载,但是重新启动系统后就可以正常下载了,自己上传的种子也是如此。请问这是什么原因?A这主要是连接数设置太小所致,只要将默认值设置大些(例     

基于偏序简化的并发系统验证

构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法.     

虚拟教室中的共享电子白板的设计和实现

电子白板是虚拟教室中的一个重要工具。该文介绍了基于JAVA语言设计的一个电子白板系统,并对电子白板的设计与实现过程当中的各种关键技术进行了讨论。     

分布式异构教学资源管理系统核心技术与实现

分布式异构教学资源管理系统针对目前教学资源应用过程中资源分散、开放性差的特点,以目录集中、资源分布为原则,应用最短路径优先算法原理、全相联映射策略等技术,建立完备的资源服务体系,打破孤岛模式,实现区域教学资源的广泛高速共享。     

离线并发冲突控制器的研究与实现

运用TCFG算法检测应用程序的离线并发冲突,提出了一种基于数据库离线并发冲突控制器的解决方案.首先对离线并发问题进行了认知与分解,在此基础上建立了总体设计模型.然后对该设计方案进行了分解,重点介绍了数据库离线并发冲突控制器的系统结构、关键技术及实现方法.实验结果表明,采用该方案能有效降低离线并发冲突的风险.     

适用于实时数据库系统的并发控制协议

在实时数据库系统中,由于其事务处理的限时特性,对传统数据库访问的并发控制机制发出了挑战.从并发操作中常出现的3类冲突着手分析,在传统并发控制协议--两阶段锁(2PL)的基础上改进其封锁机制,提出一种新的并发控制协议.它以空间代价的付出换取并发度的提高,使等待时间和死锁现象大大减少,有效地满足了系统的实时性要求.     

网络测控实验室的安全访问策略

目前网络测控实验室系统多采用Browser/Server这种开放式通信架构,这种架构用户使用方便,但随之带来系统安全运行隐患,特别是当硬件仪器同时被多个用户控制时会造成仪器误操作,甚至会损坏设备。利用排队论建立了用户安全访问的排队模型,给出了模型的运行参数,并利用Active Server Page技术和数据库技术实现了用户并发访问控制机制,保证同一设备在同一时刻只能被一个用户控制,且等待服务的用户可以实时了解仪器目前的运行和使用状态。     

大型Web2．0网站架构纵横谈（三）——主动配置型缓存架构

上篇对缓存配置探讨了概要的设计,可能说得有点模糊了。有几个朋友发了几个问题探讨了下。和常见的缓存策略不同,我们的缓存策略将重点放在更新策略而不是只读策略上。只读缓存以及共性缓存策略性质实现的难度并不大,我们要解决的是非共性缓存、并发更新     

苗圩出席“上海国际车展高峰论坛”并发表演讲

2009年4月19日,工业和信息化部副部长苗圩应邀出席上海国际车展高峰论坛,并做了题为《贯彻中央扩内需、调结构、保增长政策措施振兴汽车产业》的演讲。     

负载均衡的体验式发展

负载均衡已经发展到第三阶段,一切的推动力源于用户体验。随着Web2.0时代的到来,博客、播客日益普及,网络流量日趋增加。这给大规模并发访问的网站造成了网络访问流量瓶颈的严重问题。如何提高网络的效率,优化用户