伊犁一矿5号煤层底板砂岩含水层放水试验及参数计算

为了充分暴露5号煤层底板砂岩含水层的补给条件,查明含水层间的水力联系,计算相应的水文地质参数,从而系统地评价矿井开采水文地质条件,开展“大流量、大降深、长延时”群孔放水试验。利用Theis公式求取含水层水文地质参数,分析放水试验前后含水层的水质变化情况,判断含水层的补给条件。研究结果表明,5号煤层底板砂岩含水层渗透系数平均为0.647 m/d,该含水层透水性、联通性好,但其补给条件差,具有可疏降性,在放水试验区范围内与第四系及其他含水层之间水力联系差。     

基于Coq的操作系统任务管理需求层建模及验证

为确保星上操作系统中任务管理设计的可靠性,利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.本文从用户角度基于星上操作系统任务管理的基本机制,提出了一种基于任务状态列表集合的验证框架,在需求层将基本机制进行形式化建模并在Coq中实现,针对建立的需求层模型提出6条与实际星上操作系统任务管理一致的性质并进行验证.给出其中一条性质在Coq中的验证过程,结果表明模型满足该条性质.     

基于Event-B的航天器内存管理系统形式化验证

内存管理系统位于操作系统内核的最底层,为上层提供内存分配和回收机制.在航天器这类安全攸关的关键系统中,其可靠性和安全性至关重要,必须要考虑到强实时性、有限空间限制、高分配效率以及各种边界条件约束.因此,系统通常采用较为复杂的数据结构和算法来管理内存空间,同时需要采用非常严格的形式化方法来保证航天器这类安全攸关系统的高可信性.对复杂内存管理系统的形式化验证也会较之前的验证工作带来更多难题,主要体现在：内存管理模块中的复杂数据结构的形式化描述;操作的规范语义;行为的建模;内部函数的规范及断言定义与循环不变式的定义;实时性验证等方面.本文拟针对这些问题,深入分析实际的航天器操作系统内存管理系统的特性;探索基于分层迭代的语义描述与验证的一般性方法与理论,并应用这些理论方法,来验证一个具有实际应用的航天嵌入式操作系统的内存管理系统.本文研究成果有望被直接应用于我国新一代的航天器系统上.     

电力公司计算机机房网络安全维护问题及应对措施

随着计算机技术的不断发展和进步,计算机在人们生活、工作领域中逐渐发挥着重要作用.电力公司肩负着国家电力建设和运营重任,关系到千家万户用电基本需求,故随着信息化进程的加快,电力公司在其管理中引入了计算机技术、设备等,实现电力管理的信息化管理,极大的提高了电力工作管理水平.     

欠驱动无人水下航行器三维轨迹跟踪的反步控制

针对欠驱动无人水下航行器(underactuated unmanned underwater vehicles,UUVs)三维轨迹跟踪控制问题,本文有别于传统反步法中基于视线法设计姿态角误差变量的思路,提出了一种定义虚拟速度误差变量的反步控制器设计方法,能够有效避免传统反步法控制律设计时存在的奇异值问题,简化了传统反步法复杂的计算过程;设计了欠驱动UUV的三维轨迹跟踪控制器,给出了系统的误差方程,基于Lyapunov稳定性理论证明了系统在定常外界扰动下的鲁棒性和稳定性;仿真结果表明本文提出的UUV三维轨迹跟踪反步控制方法收敛、有效,能够实现欠驱动UUV对时变三维轨迹的精确跟踪控制.     

一种高效的Web新闻发表时间提取方法

Web网页的发表时间在Web搜索中起到重要的作用,因为用户获取的结果往往是与时间密切相关的.本文围绕Web新闻发表时间的提取,提出了一种高效的Web新闻发表时间提取方法.该方法考虑到了Web新闻网页URL地址隐含时间信息的特性,信息发表时间与新闻标题的距离约束.在主流的7个中文搜索引擎,使用了30个关键字,共获取3827篇Web新闻信息进行了提取时间的准确率及时间消耗的实验分析与比较,结果显示本文提出方法的准确率为95.5％,时间消耗为88秒.     

基于Co-training训练CRF模型的评价对象识别

评价对象是指某段评论中评价词语所修饰的对象或对象的属性。为了识别评论中的评价对象,提出基于Co-training的训练CRF模型方法。该方法首先人工标注少量的原始数据集,使用Co-training方式对未标注数据进行自动识别,以扩大已标注训练数据。通过原始标注数据集和Co-training方式标注数据集,训练CRF模型。在汽车领域中,对待标注汽车评论语料中评价对象识别的精确率为67.483%,召回率为67.832%。     

基于三电平半桥变换器的同相供电潮流控制器

近年来研究较热的同相供电可以解决电气化铁道长期存在的以负序、谐波和无功为主的电能质量问题,尤其是困扰列车速度和牵引力提升的电分相问题。为了适应牵引负荷容量大、电压高的需求,此处研究了基于三电平半桥变换器的供电潮流控制器,其主要由两个单相"背靠背"的三电平半桥变流器构成,用于传递有功、补偿无功和抑制谐波,使得牵引供电系统相对电力系统而言,是一个三相对称纯阻性负载。与传统三电平变换器相比,该控制器减少了器件数量,降低了装置成本。最后实验验证了三电平半桥潮流控制器的正确性和可行性。     

新时期表务管理的四大要素

本文主要介绍了当今水司使用的各类型水表表具如何进行科学合理的选型、安装、使用及维护所制定的程序或方案.