一种动态匹配特征子波拾取地震同相轴的技术

在传统的地震资料解释或速度分析等过程中,通常都是依靠人工识别与拾取,不但工作量大,而且效率非常低.因此,工业界开始使用各种算法来进行地震同相轴的自动识别与拾取,但是这些算法存在较多的缺陷,精度不高.地震剖面可视为由地震子波与反射系数褶积构成,子波以及噪音的存在对剖面的自动拾取带来一定困难.通过对地震子波进行特征抽取,并...     

HTML文本自动分类预处理方法的研究应用

研究了HTML标记对网页内容的修饰作用,以前人理论为基础设计和实现了基于HTML标记的网页分析和加权策略与算法．经实验比较,加入预处理算法后,提高了分类器的分类效率,验证了所提出方法的有效性．     

基于后合并MIMO-HARQ系统的线性预编码

为了充分利用多天线系统中后合并混合自动重传请求(HARQ)结构的灵活性,合理分配每次重传数据的空间子信道及相应的功率,提出基于后合并HARQ的线性预编码方案。该方案不仅在单次数据传输时获得预编码增益,而且利用子信道置换平均重传符号之间的性能差异,进而获得更多的空间分集增益。仿真结果表明,当传输次数为4时,所建议的方案相对于空间复用方案在误比特率为10-4时约有5.5 dB的信噪比增益,并且随着重传次数的增加性能差异更加明显。     

双光电探头的光伏电源自动跟踪装置的研制

采用地平坐标系跟踪系统,方位角采用自动跟踪,高度角采用手动调节;控制系统采用紫外线传感器和光敏电阻组成对太阳光线的探测器,实现了太阳电池组件对太阳的跟踪。     

地铁综合自动化系统的研究

从地铁综合自动化系统的功能、层次结构、软件设置、系统间接口等方面展开研究.在充分分析地铁综合自动化系统优势的基础上,研究了综合自动化开发平台的控制层次、系统间的接口设计,重点探讨了系统可靠性的设计与分析,并对系统设计中的安全性问题进行了探讨.所设计的系统可达到适应城市轨道交通弱电系统功能的需求.     

自来水厂扩建工程自动控制系统研究

本系统以上位机为控制核心,通过现场传感器进行信号采集。两水源之间采用宽带网络进行通讯,二水源通过无线电台进行野外信号采集,这样能够增强系统的稳定性与实用性。     

校园一卡通系统在图书馆中的应用

介绍了“校园一卡通”的概念和类别,以河北工业大学图书馆为例,分析了它在图书馆中的运用。     

基于脱扣力的低压断路器连杆机构优化设计

在对低压断路器的连杆机构进行机构分析和受力分析的基础上,以脱扣力为优化目标,以单一变量为约束条件进行初步优化运算,根据初步优化结果选择了多变量约束条件并确立了优化模型,采用复合形法对连杆机构进行了优化设计,脱扣力比原设计有较大幅度的下降。计算结果表明,优化模型建立正确,优化方法选择适当,对于提高低压断路器的工作质量具有指导意义。     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法;然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式;最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

露天矿点云数据中台阶线提取

台阶线信息对于露天开采具有重要价值,现有获取台阶线的方法工作量大、效率低、精度差,降低了矿山的生产效率和验收精度.因此,本文基于序列无人机影像生成的露天矿密集点云数据,研究并提出了一种自动提取露天矿台阶线的方法.该方法利用渐进形态学滤波算法对点云进行预处理,提出一种顾及邻域几何属性的三维边缘检测与曲率指数加权方法提取出...