基于时间扩展的ASEHA建模与验证

为了有效地分析实时系统,在原计算模型的基础上,引入了时钟变量,在迁移上增加了时钟约束,扩展了异步扩展层次自动机的语义.运用基于时间扩展的ASEHA,分析了ATM系统,建立了用户和ATM的模型,并使用模型检测工具UPPAAL对模型进行验证,从无死锁、活性及可达性性质出发,验证了ATM系统的安全性.实验表明,提出的基于时间...     

小波域声呐图像自适应增强

声呐图像受噪声污染严重、对比度低,给后期的定位识别带来不便,而传统的处理方法容易造成边缘模糊.针对这一问题,提出了一种图像自适应增强算法.该算法利用形态小波对声呐图像进行自适应的多分辨率分析,分别增强不同尺度上的信号或细节,通过多通道重构图像的加权实现去噪和对比度提高.仿真结果表明该算法快速有效,对高斯噪声和冲击性噪声都具有较好的鲁棒性,处理后的声呐图像边缘细节信息保留完好,得到了理想的增强效果.     

倾角传感器稳定性测试与分析

为了进一步加强产品质量监管,更加全面地了解倾角传感器的稳定性,随机抽取了两款倾角传感器,针对倾角传感器的启动特性、动态特性和稳态特性进行测试与分析.为了更全面地展示出倾角传感器稳定性,结合倾角传感器在设备上面从启动到稳定工作的整个过程,文章给出较为合理的测试方法和步骤,重点分析了倾角传感器启动时的快速稳定性、动作时的动态跟随性和静态时的稳态特性.测试结果表明,动态特性好的倾角传感器启动时会更快地稳定,而稳态特性相对降低.     

移动无线物联网感知层传感控制定位算法研究

为了提高感知层传感控制定位的准确性和稳定性,提出移动无线物联网感知层传感控制定位算法.以DV-hop定位算法获取的移动无线物联网感知层通信区域内所有节点到各个锚节点的距离和跳数信息为基础,提出了基于跳数修正的DV-hop定位算法,对锚结点间跳数和未知结点跳数进行修正,计算出每个锚结点与各结点之间的距离,利用二维双曲线定位算法得到未知结点的位置坐标,实现移动无线物联网感知层传感控制定位.实验结果说明:所提算法在不同总节点个数和节点通信半径下定位误差始终保持最低,稳定性强;当跳数修正系数为2时该算法的定位精度最高,效果最佳;可选择较大的锚节点比例和较小的偏离因子,进一步提升定位效果.     

基于多维度数据的网络服务质量的综合评估研究

随着现代社会经济的迅猛发展,计算机网络被广泛应用到各行各业中,并且发挥着无可替代的重要作用,与此同时,人们对计算机网络服务质量提出了更为明确的要求,如何也网络服务质量一直是互联网领域的研究热点.文中分析了目前网络服务质量综合评估研究的缺陷,同时考虑到传统的数据处理方法在面对数据量庞大、数据类型繁多的情况时缺点会被无限放大,利用稀疏自编码网络模型对多维度数据进行数据降维和特征提取,然后以特征数据集作为实验数据,采用改进灰色关联分析-逼近理想解排序法对网络服务质量进行综合评估,为多层次、多准则综合评估系统提供新的思路.     

基于USB总线的远探测方位反射声波成像测井仪数据读取接口设计

远探测方位反射声波成像测井仪(BAR)是新一代成像测井仪,其测井数据存储于内部大容量存储模块中;为了实现在测井现场快速读取和回放测井数据,设计了一种基于USB总线的数据读取接口;数据读取接口通过USB总线与PC通讯,通过自定义高速串行总线与下井仪数据存储模块通讯;高速串行总线为基于M-LVDS的差分总线,设计的工作频率为80 MHz,采用8B/10B编码;数据读取接口电路采用FPGA作为主控芯片,高速总线协议和传输控制均在FGPA中实现;所设计数据读取接口已实现8 口井的现场测井数据读取,数据读取速度达到57 Mbps;该设计实现了测井数据的现场快速读取和回放,保证了测井数据检验的时效及测井施工的效率.     

基于LabVIEW的纤维投料机非线性偏差校正

针对纤维投料机在纤维称量过程中偏差过大的现象,在分析纤维投料机结构与工作原理的基础上,基于LabVIEW对纤维称量过程的数据采集,利用回归分析及最小二乘拟合原理,建立了纤维投料机质量称量过程非线性校正数学模型,并利用 LabVIEW 上位机系统将拟合系数实时反馈至可编程逻辑控制器( programmable logic controller,PLC)的质量称量控制模块,实现了对质量称量过程的实时自动校正.通过静态加载试验及沥青玛蹄脂碎石( stone mastic asphalt,SMA)混合料的路用性能试验对校正后的质量称量系统进行了验证.结果表明：采用该控制方式后,纤维质量称量偏差由校正前的7.3%下降至1.4%,达到了±2%的误差设计要求.校正后生产的SMA混合料空隙率降低了17%,车辙变形量减少,动稳定度提高了4.4%,抗弯拉强度与弯曲破坏劲度模量分别提高了7%和10%,且其他路用性能指标均比校正前有所提高,并与室内试验最佳纤维掺量下的性能相吻合,为避免纤维少投或多投现象的发生及提高SMA混合料的质量提供了一定的帮助.     

基于Landsat的淮河干流水质监测的可行性分析

流域水体污染已成为影响岸边带经济社会发展的热点问题,明确流域水质变化趋势是实施水体污染控制和综合治理的前提。针对流域水质状况及其发展趋势的监测问题,以淮河干流为研究对象,在现有的流域水质监测手段的基础上,结合实测水质数据和同步Landsat数据,采用多元统计分析方法,建立了TM、OLI水质遥感监测模型,开展了2006-2017年淮河干流水体污染趋势分析。结果表明：TM、OLI水质综合污染指数遥感监测模型计算值与实测值之间绝对误差不超过 0.17,相对误差不超过7.11%;模型计算的2006-2017年淮河干流各类污染水体面积占比变化情况与实际监测结果一致,模型可用于淮河干流水质动态监测中;将遥感影像数据与典型断面监测数据相结合,建立流域水质监测模型的思路是可行的。研究结果为大尺度流域水质动态监测和生态环境保护提供了一种新的思路。     

采用不同标准方法测定玉米样品中淀粉含量的对比研究

采用GB/T 5006—1985、GB/T 5514—2008以及AACC 76-13.01 3种标准方法测定了27个玉米样品的淀粉含量。3种方法得到的任意两组测定结果之间均呈极显著正相关关系(P0.000 1)。3种测定淀粉含量的标准方法之间存在显著性差异(P0.05),GB/T 5006—1985的测定结果显著高于其他两种方法。尽管在样品预处理阶段,GB/T 5514—2008和AACC 76-13.01均采用乙醇进行了脱糖处理,但GB/T 5514—2008的测定结果略高于AACC 76-13.01。3种方法中,AACC 76-13.01的分析效率最高,专一性最强,但其测定成本也最高。