Software Support for LIRAC Architecture

Memory limitations are always a focus of computer architecture. The live range aware cache （LIRAC） offers a way to reduce memory access using live range information. In the LIRAC system, scratch data need not be written back if the data will no longer be used. Three kinds of software support developed for LIRAC architecture use compiler analyses, binary analyses, and trace analyses. Trace analysis results show that LIRAC can eliminate 29% of cache write-backs on average and up to 83% in the best case for the SPEC CPU 2000 benchmark. These software techniques can show the feasibility and potential benefit of the LIRAC architecture.     

地铁网络脆弱性风险评价研究

地铁已经成为民众日常出行的主要方式之一.然而地铁一旦发生事故,将花费大量的人力和物力来恢复运营.因此,为了提高地铁运营的安全性,降低紧急事件后果的严重性,对地铁网络脆弱性的风险因素进行分析.从"人、设、环、管"四个要素构建地铁网络脆弱性评价体系,对地铁网络脆弱性进行分析.以福州地铁二号线为例通过DEA模型评价风险因素,...     

隧道清洗机器人智能调度方法

针对目前隧道清洗机器人作业调度中采用定时的僵化作业模式,造成电力、消防资源浪费,并干扰驾驶人行车安全问题,提出一种隧道清洗机器人智能调度方法。该方法首先依据隧道车流量、温度、湿度等影响因素,形成了对基础设施运营性能时变模型的描述。在此基础上,考虑基础设施运营性能、机器人作业成本、对隧道交通流的影响等,构建了隧道清洗机器人调度的级联优化模型,分别对机器人调度周期及作业时间进行优化,以实现机器人的高效运营。将该方法与常用的基于人工经验的定周期调度方法进行实验对比,结果显示在相同的作业成本下,该方法的基础设施运营性能较定周期调度方法提高了6%。     

一种无证书签密方案的安全性分析与改进

提出了一个改进的无证书签密方案,并在随机预言模型中证明了所提新方案满足机密性与不可伪造性。与同类方案相比较,新方案拥有较高的安全性,并具有较低的计算开销。     

八达岭-十三陵风景名胜区旅游资源调查与评价

八达岭-十三陵风景名胜区是1982年11月经国务院批准的第一批全国重点风景名胜区之一.本次调查工作依据<风景名胜区规划规范GB50298-1999))的要求对八达岭-十三陵风景名胜区的旅游资源类型,分布状况,交通状况,旅游设施状况等进行详实调查,并评价分析其旅游特色,初步提出保护和绿化规划建议.为下一步的规划管理工作提供详细资料.     

网络科学研究的层次模型与实例

本文在分析网络科学的起源、基本含义及其对整个人类社会影响的基础上,以预测网络的动态行为为目标论述了网络科学研究的层次模型,包括基础架构的网络结构层,形式化的网络建模层,理论分析的网络动态分析层和适合各种应用的网络功能层,最后给出一个具体的网络科学的模型实例.     

饥饿对日本沼虾代谢及SOD活性的影响

在20℃条件下,对日本沼虾进行了不同时间的饥饿处理,研究饥饿对日本沼虾代谢及免疫水平的影响,探讨日本沼虾对饥饿的适应对策.结果表明,日本沼虾代谢率在饥饿处理的2~4 d和8~10 d分别出现2个相对的代谢稳定区,即饥饿适应代谢区和饥饿存活代谢区,SOD比活力在饥饿处理期间显著下降.     

多险种风险模型下的时间盈余过程

文章提出了一种研究多险种风险模型的新思路,构造了一个多险种风险模型下的时间盈余过程,从另外一个新的方面给出了破产概率定义,得到了初始时间盈余为v的破产概率ψ(v)的精确表达式,并在此方面做了初步的探讨.     

一种新的移动代理定位机制

在移动代理系统中,对派发出去的移动代理进行定位是一项十分关键的技术,然而现有的移动代理定位方法中并不存在一种可扩展性的定位机制.本文在现有移动代理定位技术的基础上,提出了一种基于区域代理的移动代理定位机制,并通过IBM的Aglets平台对新的定位机制进行了验证,结果表明新的定位机制能有效地解决网络中由于移动代理定位导致的网络瓶颈问题,有效提高了网络的性能.     

浅谈电子档案的有效管理

介绍了电子档案的概念,比较了电子档案与纸质档案的特点,分析了电子档案的管理现状,提出了加强电子档案管理的有效措施。