AADL 测试模型的构造研究

目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果.     

单片机教学研究的探索

单片机是一门理论性和实践性都很强的学科,在当前出现"教师讲授难、学生理解难"的现象中,文中提出"做中学,做中教"的教学理念,强调通过"做"来掌握单片机这门技术和提高学生的实践能力,提出建立网上单片机学习答疑系统来加强学生与教师的沟通、交流,促进学生对单片机的学习。     

北斗高精度定位的地质灾害监测系统的设计

针对滑坡等地质灾害实时监测难,传统的灾害监测方法自动化程度低、灾害预警不及时等问题,设计了基于北斗的地质灾害监测系统。该系统主要由数据采集终端、数据传输层和软件端三部分构成。数据采集终端集成了树莓派、北斗定位模块、雨量计、温湿度传感器、摄像头模块等,并通过数据传输层将实时地质数据传输至云端,实现了数据自动采集与传输。系统通过太阳能板和蓄电池实现了稳定供电。实验结果表明,该系统实现了野外地质数据的自动采集、传输和高精度北斗定位,并且具有全天候、自动化监测的特点,可以广泛应用。     

机载LiDAR输电线路杆塔快速定位方法研究

杆塔位置是机载激光雷达电力巡检应用中进行输电线路点云分段、杆塔提取、变化检测的基础。为了提高其自动定位的精度和效率,提出了一种适用于复杂地形的高压输电线路杆塔自动定位方法。首先在分析了输电线路点云相对高度、垂直和水平分布特征基础上,采用格网预处理剔除低位点格网、聚类分析确定候选类簇,然后利用格网垂直连续分布系数、高程分布系数和凸包系数等识别杆塔点所在格网,并以邻近格网中心作为杆塔水平位置。实验结果表明：相比前人的方法,算法的杆塔定位精度提高了11.7%,查准率和召回率分别提高了50%和20%,尤其是在地形起伏大且不连续的情况下具有较好的普适性。     

城市人工湖泊水环境保护研究概述

随着社会经济的发展,人工湖泊在城市规划和生态文明建设中的重要性日益突出。在水资源日益紧张的背景下,如何发挥湖泊功能、维护湖泊生态健康成为人工湖泊设计和运行管理中亟待解决的问题。针对城市人工湖生态系统较为单一、来水量小、来水水质差、水体置换率低、污染源复杂等特点,根据人工湖水环境保护法律依据,从城市人工湖泊适宜规模及水深和人工湖生态需水量等角度进行分析,并在此基础上提出了外源污染控制措施、内源污染控制措施以及水环境保护工程措施等水环境维护技术,并介绍了湖泊数学模型的应用情况,可为城市人工湖泊设计和健康运行提供参考。     

河套灌区跨盟市水权转让的探讨与实践

文章简要分析了河套灌区通过种植结构调整和农业节水等措施的节水潜力以及节余水量以水权转让方式用于工业用水的意义。     

基于Single-Pass的网络舆情热点发现算法

考虑网络事件的时间距离,基于半结构化网页中不同位置特征项重要程度的不同,提出改进的single-pass文本聚类算法single-pass*,优势在于对Web文本不同位置特征项的加权处理,仅需计算新文档与同类别种子文档间的相似度。实验结果表明,相比single-pass,改进算法极大减少了漏检率和错检率,降低了由于新文本流内文档进行相似度计算导致系统性能的下降,平均提高Web文本聚类效率40%。将聚类后的Web文本应用于网络舆情分析,进行主题关注度分析和话题热度特性分析。     

高强钢焊接研究现状及发展趋势

在国家低碳节能发展趋势的推动下,高强钢得到广泛应用,高强钢焊接在交通运输、海洋工程等应用中显得越来越重要.从焊接工艺、焊接接头组织、力学性能等特点对国内外高强钢焊接方面的研究成果进行了综述,得出高强钢焊接接头各个区域的组织与性能不同,在不同焊接规范下相同区域的金相组织基本相似,熔合区因组织不均匀为最薄弱环节,指出防止高强钢热影响区的脆性破坏以及提高钢的韧性是今后高强钢焊接研究的重点.     

超声波振动切削在生产中的应用

一、振动切削的方法与装置振动切削是近代出现的一种特殊的切削加工的方法。它是在切削加工的基础上,利用专门设置的振动驱动装置,使切削工具以振动频率 f、振幅 a,在切削方向上按正弦波形作强迫振动,并和切削速度 V 之间保持V<2πaf 的条件,才能够形成的一种脉冲式的变速断续的切削过程。振动切削需要设计一套声振系统,包括:振动源(即超声波发生器)、换能器、变幅杆及刀具。振动切削的生产应用取决于性能可靠的超声波发生器及振切装置的良好结构,例如:刀具与变幅杆的联接等等。