AADL 测试模型的构造研究

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

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

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

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

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

装备技术体系结构优化设计理论及其关键技术研究

围绕武器装备体系建设需求,紧密结合装备科研管理实际,在分析国内外有关技术体系研究的基础上,系统提出了装备技术体系的基本概念及其结构特征,分析了优化设计原则及其关键技术,形成了装备技术体系优化设计流程等,为构建结构清晰、符合实际的装备技术体系及其应用验证提供了整体研究框架与技术支撑。     

双脉冲Ni-Al2 O3复合镀层在氯化物盐膜下的腐蚀

采用扫描电镜、X射线衍射仪和能谱仪(EDX)对双脉冲法制备的几种Ni-Al2O3复合镀层经高温氧化后的形貌和物相进行分析.结果表明,复合镀层在NaCl的盐膜下均发生了加速腐蚀,表面腐蚀膜疏松且与基体的粘附性较差;Al2O3微粒能细化镀层晶粒,提高镀层的高温抗腐蚀能力,在试验范围内,镀层中的Al2O3微粒含量越高,镀层腐蚀速度越低,并对复合镀层在NaCl的盐膜下的腐蚀机制进行了探讨.     

INTERFACIAL REACTION IN K_2O·8TiO_(2(w))/ ZL109 COMPOSITE UNDER THERMAL EXPOSURE OR THERMAL CYCLING

在５００℃下热暴露１００ｈ以上时，Ｋ_２Ｏ·８ＴｉＯ_２晶须与ＺＬ１０９铝基体金属发生界面反应生成了新相Ｔｉ_７Ａｌ_５Ｓｉ_（１２），随着热暴露时间的延长，反应产物增多，热循环比热暴露更明显地促进了界面反应。在所有的状态下，这种晶须与基体之间都存在ＴｉＯ过渡层。     

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视频设备,具有良好的推广价值。     

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

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