AADL 测试模型的构造研究

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

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

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

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

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

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

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

Constitutive model of rock under static-dynamic coupling loading and experimental investigation

1 Introduction Rock fragmentation, boring, explosive, rockburst etc in engineering domain of mineral are almost concerned with cracking of rock experiencing dynamic loading, and a plenty of results have been obtained[1]. But the related studies are almos…     

基于UVC协议的USB3.0视频采集系统设计

以 MT9 M034作为光电成像元件,CYUSB3014作为主控芯片,通过 GPIF II接口采集 CMOS图像传感器的数据,并为每一帧数据添加 UVC视频数据标头,将其转换为符合 UVC协议标准的视频数据,最后通过 USB3.0接口以乒乓DMA的方式将其传送至PC,实现了免驱动、高速率、高分辨率的UVC视频设备。实验结果表明,该系统运行稳定,传输速率高,更换CMOS图像传感器可以制成不同规格的 UVC视频设备,具有良好的推广价值。     

由图像传感器逆向控制的图像采集系统设计

以CMOS图像传感器OV7670和USB2.0控制器芯片CY7C68013A为核心搭建图像采集系统,选择CY7C68013A的中断引脚添加按键作为控制按钮,使控制信号与视频数据经USB2.0接口传输至上位机.上位机端应用程序解析控制信号,据此对视频数据进行相应操作,实现图像采集系统的逆向控制.     

浅析恶意代码的机理及其模型

本文从操作系统的结构性缺陷角度,阐述产生恶意代码的源头,指出当前通用PC操作系统把设备驱动、文件系统等功能都纳入系统内核,导致内核代码庞大,增加了系统保护工作的难度。并对计算机病毒的传播机理进行了形式化描述,研究了蠕虫程序的模块结构,建立了数据驱动型软件攻击的理论模型,分析了其构成威胁的本质原因。     

现场总线在烘丝控制系统中的应用

系统采用现场总线完成过程控制,即可保证现场就地实时控制,又可以完成整线连锁控制,节约现场布线,降低成本,保证系统工艺控制精度和整线控制可靠性。