Key-Value数据库的研究与应用

首先介绍Key-Value数据库的概念,接着比较了Key-Value数据库与关系数据库的区别和优劣点,并分析了各自适用的范围,最后简单介绍了目前Key-Value数据库的企业级应用情况和几款开源的Key-Value数据库,并总结了使用Key-Value数据库之前要考虑的几点技术问题。     

基于访问日志的网页内容监控挖掘系统

URL是用于完整描述Internet上网页和其他资源地址的一种标识方法,URL访问日志能记录用户的上网痕迹。针对该特点,提出一种基于访问日志的网页内容监控挖掘系统,实现网页内容抓取、监控、分析、报表生成等一系列过程的自动化。系统运行测试结果表明,该系统的准确率较高,能有效解决运营商和互联网监管部门的网络监管问题。     

准噶尔盆地南缘构造特征与演化

为明确准噶尔盆地南缘构造特征,落实中—深层构造圈闭,寻找大型油气田,通过构建二维构造剖面,开展构造变形定量分析,建立了复杂构造模型,厘定了构造活动时间和变形机制。研究表明,南缘经历晚侏罗世和中新世2期变形,晚侏罗世发育走滑断层,形成高泉断隆带、艾卡构造带和齐古—南安集海走滑断裂带,属于准噶尔盆地周缘中生代走滑断裂体系。中新世发育逆冲推覆构造,南缘西段新生代背斜叠加在高泉断隆带、艾卡构造带之上,高探 1 井钻探证实古构造上覆发育的背斜构造是有利的勘探目标。南缘中段发育3排逆冲断层和叠加褶皱,中、下组合是油气勘探重要目标。南缘新生代逆冲推覆构造由南向北扩展,齐古断褶带和盆地深层褶皱形成于中新世初期（23 Ma）,霍玛吐断层发生在中新世末期（7 Ma）,呼图壁背斜和卡因迪克背斜形成于第四纪。     

TNPM＋星级设备管理＋万点受控实施

介绍武钢公司在2002年生产经营实现历史性突破的总体情况和设备系统发挥的作用。从推进关键生产设备“万点受控”工程,生产设备检修和技术改造工程,严格备件审查和实施管理,推进计量、电控专业化管理四方面,阐述了设备系统将“星级设备管理思想”贯穿全部工作始终,以量化点检和“万点受控”为手段,在设备管理工作中取得新的进步和发展。论述了2003年度设备工作的方针目标。     

学习贯彻《安全生产法》 保障水电站安全生产

《中华人民共和国安全生产法》自2002年11月1日起施行。认真学习、全面贯彻、努力落实好《安全生产法》,对水利系统水电行业做好水电安全工作和保障水电站安全生产具有重大意义。多年来,我们根据国家和省水行政主管部门对水电安全生产的要     

硅粉和粉煤灰配制高强混凝土试验

混凝土中复合掺用硅粉和粉煤灰,利用其高活性掺料和低活性掺料的特点,与减水剂共同使用,将使混凝土的这些组合充分综合地发挥效应,这就需要对它们作出最佳组合研究。     

沉井地基处理与封底方法

沉井下沉到位后,一般有地下水和泥沙涌入,此时沉井刃脚区段已经挖空,设计又可能忽视处理这一空间。为保证沉井与底板的顺利施工,并达到底板抗渗效果,需要进行合理的地基处理和排水封底。以下叙述我们的     

基于 Spin/Promela 的 Woo-Lam 协议安全性质高效验证磁

形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于 Promela 语言,将 P ．Maggi 和 R ．Sisto 提出的建模方法扩展到建立包含三个合法主体和一个攻击者的复杂模型,枚举法和打表法同时被运用在求解攻击者模型需要表示的知识项过程中,提高了协议建模效率,保证了建模准确性。以Woo-Lam 协议为例,运用 Spin 工具成功发现一个已知著名攻击。此通用方法适用于类似复杂协议形式化分析与验证。