急倾斜煤层开采地表下沉预计修正模型

为了研究概率积分法对于急倾斜煤层开采沉陷预计的适宜性问题,采用了相似材料模型模拟的研究方法,通过Matlab非线性最小二乘拟合法,发现拟合求取的部分地表移动参数不符其原来的物理意义。鉴于此,提出了基于概率积分法的地表下沉预计修正模型,分析了该模型的修正效果,求出了其修正参数。研究结果表明：当煤层倾角50～70°时,该模型下沉拟合精度达到2%以下,并得到了其修正参数与煤层倾角之间的表达式;当煤层倾角大于70°时,该模型不适用。     

积石峡水电站面板堆石坝不均匀沉降控制措施

积石峡水电站面板堆石坝坝址为左右岸不对称的复式河谷地带,为预防面板堆石坝发生不均匀沉降,施工中采用坝基处理、分期分区填筑、坝料洒水碾压、坝体浸水等措施。经后期监测,仅发生了约2 mm的不均匀沉降,取得了良好的控制效果。     

高职院校"微波技术"课程教学改革的研究

＂微波技术＂是无线电和通信类专业的一门重要的专业课程,由于其涉及大量抽象的电磁场理论的概念及数学公式,历来被师生认为教学和学习难度都较大的一门课程。＂微波技术＂课程的地位不仅未因其学习难度大而受削弱,反而日益突显。本文提出了适用于高职教育的＂微波技术＂课程的一些教学改革方法,从教学方法和教学内容两个层面的实践进行分析,其理念也符合当前高职教育的教学改革的方向。     

LabVIEW状态机在温度测量程序中的应用

LabVIEW状态机程序是一种非常灵活的工具,它可以使LabVIEW程序员方便地维护和扩展他们的程序,编写程序的文档,以及方便地进行代码的重用.另外,状态机可以使一个程序根据初始输入和中间运行结果来执行.文章以一个温度测量程序的编写为例来讨论LabVIEW状态机的使用.     

一起变电站220kV智能终端异常告警的分析与处理

智能变电站作为电力系统发展的必然趋势,已经越来越受到关注和重视.智能设备比如合并单元、智能终端等智能设备的异常告警也会给系统的安全稳定运行带来一定的威胁及隐患.快速判断变电站现场智能设备的异常状态显得尤为重要,如果异常判断失误或处理不及时则可能会产生严重后果.本文针对一起220kV变电站智能终端异常告警案例,对智能终端出现异常告警的现象、智能终端异常影响范围及异常处理方法进行分析,并针对类似问题提出相应的防范措施.     

试论不安全行为的致因及控制措施

通过对大量的工伤事故的统计分析，从不同角度介绍了不安全行为的致因并提出了控制不安全行为的措施。     

石油沥青卷材屋面的细部构造处理

石油沥青卷材屋面的细部构造处理冉隆全，顾斌（华西集团四川达美建筑公司，成都６１００８１）（成都府青建筑防水装饰工程公司）造成石油沥青卷材屋面渗漏有设计、材料、施工以及维修和使用等方面的原因，其中施工方面通常是细部构造处理不当或不按要求施工。本文根据近...     

移动通信系统中RS码编译码器的DSP实现

介绍了具有强大的纠错能力的RS码及最小重量译码的基本原理,并对RS(15,9,3)码的最小重量译码算法在DSP中的实现进行了初步探索.运行结果表明,该编译码器具有高速、可靠、灵活等诸多特点,已广泛应用于移动通信系统中.     

一类不确定中立型变时滞系统的鲁棒稳定性

研究了一类不确定中立型变时滞系统的鲁棒稳定性问题。不确定性满足范数有界条件且时变。基于Lyapunov和自由权矩阵的方法,得到了系统的鲁棒稳定性判据,并表示成线性矩阵不等式的形式。最后,仿真结果表明本结论比一些现存的结果有了重要提高。     

中断驱动控制系统的有界模型检验技术

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调度任务序列处理日常事务以及中断事件的后续工作.使用了带中断标记的时间自动机对中断事件和任务调度事件进行建模,并使用中断向量表和中断处理程序的伪代码模型共同描述中断的处理过程.控制变量将中断处理过程和系统任务相关联,中断处理程序可以设定某个控制变量,而系统任务则通过检查该控制变量来确定是否需要进行后续处理.对于这样的形式化模型,给出了检验关键时序性质的有界模型检验算法.该算法使用深度优先的方式遍历所有长度小于等于K的可行路径,并使用SMT Z3实现了对时间约束和规约的处理.