安全数据库顶层规范中SQL操作的形式化分析与验证

介绍了安全数据库形式化顸层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证.验证过程表明,该方法既对SQL操作作了完整清晰的描述,又简化了证明.     

改进萤火虫算法性能分析及其在WSNs网络覆盖中的应用

对改进萤火虫算法性能及其在WSNs网络覆盖优化中的应用问题进行了研究。分析了基本萤火虫算法的全局收敛性,针对其收敛效率低的缺陷,给出了算法改进策略,并证明了改进的萤火虫算法以概率1收敛于全局最优解,在此基础上,提出了基于萤火虫优化的网络覆盖算法,建立了以网络均匀度及网络覆盖率为准则的数学模型,推导了节点冗余度与网络覆盖率之间的关系,给出了节点休眠策略,并将节点部署划分成不同的阶段,在每个阶段,分别采用改进的萤火虫算法对模型进行求解,进而得到无线传感器网络最优覆盖,最后对经典测试函数和WSNs网络覆盖问题进行实验仿真,仿真结果表明改进的算法具有更加理想的运算结果,而且能有效地给出WSNs网络覆盖优化方案。     

用精准管理提升炼铁系统运行质量

回顾了2005年1—4月炼铁系统所做的主要工作、主要技术经济指标完成情况和炼铁系统存在的主要问题；分析了当前及今后炼铁系统面临的形势和主要任务；提出了今后炼铁要做的重点管理和技术工作。     

方正飞扬电子邮件软件的安装与使用

本文结合安装使用实例，详细介绍了功能强大、简单易用的优秀国产电子邮件软件－方正飞扬电子邮件软件的使用方法和技巧。     

基于STC89C52单片机的超声波测距系统

为了实现对中短距离的测量,比如在智能小车避障、车辆定位中对前方的障碍物进行判断,利用主控器件单片机和一系列外围器件进行超声波测距系统的设计.具体设计包括超声波发射电路、超声波接收电路、液晶显示电路及温度补偿电路等硬件模块,并利用Keil C平台进行了相应的软件设计.其中在接收电路中设计的增益控制部分有效地解决了当回波信号过于微弱时系统测量误差加大的难题.在实验室对设计好的测距系统进行了实地性能测试,实验表明,系统的测距最大值为120 cm,测量精度为0.1 cm.     

建筑工程施工中深基坑支护的施工技术管理

伴随着我国建筑行业的不断发展,现如今的建筑工程施工技术也在不断的提升.加强对于建筑工程施工技术的的有效应用,能够进一步的提升建筑工程施工的总体质量,还可以有效的降低建筑施工成本,并能够帮助企业在激烈的竞争模式中更加稳健的发展.该文主要对深基坑支护的基本方法做了相关的阐述,并对施工中存在的一些问题进行了相关的分析,希望能...     

非API钻具在小井眼水平井中的应用

苏里格小井眼水平井钻井中使用ф88.9 mm钻具出现"两小一高"(排量小、扭矩小、压耗高)的问题,使得螺杆在水平段钻进中动力不足,影响了提速提效。通过API REG 7G计算了钻杆管体的抗扭强度,通过有限元软件分析了接头尺寸与抗扭性能的关系,并根据特殊钻井工艺参数对API钻具接头扣型的要求,提出使用双台肩接头,解决了苏里格水平井钻井中无法在ф177.8 mm技术套管内使用ф101.6 mm钻具的技术难题,实现了钻井过程中的大排量、高螺杆输出扭矩、低循环压耗,满足了苏里格小井眼水平井钻井的需要。     

混凝土建筑工程缺陷修补经验探讨

针对混凝土建筑工程产生的蜂窝、麻面、裂缝、混凝土架空、拉筋管件头以及层间缝错台挂帘等不同缺陷,根据缺陷的类型,采用相应的材料进行修补处理,既能节约经济成本又能快速高效地达到设计预期目的。     

混凝土试件强度不合格原因分析

混凝土试件强度是评定混凝土最终质量的重要依据,试件强度不合格或无效虽不能反映混凝土的真实质量,但会直接影响工程质量的验收.混凝土也是一个过程产品,有多种因素影响到试件的试压值.基于此,本文从混凝土质量、试件取样、制作、养护及检测等几方面分析试件强度不合格原因.     

无线传感器网络节点操作系统研究

无线传感器网络是一种全新的信息获取和处理技术,能够实时监测、感知和采集各种环境或监测对象的信息,而网络节点上的嵌入式操作系统是其大多数应用的基础。在综合分析大量无线传感器网络体系结构的技术文献和最新研究结果的基础上,提出了无线传感器网络嵌入式操作系统的设计目标,对通用的多任务操作系统μC/OSII和事件驱动的操作系统TinyOS进行了对比分析,指出TinyOS在一些应用中的局限性及拓展。