AADL 测试模型的构造研究

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

神府煤萃取物组成结构的特征分析

采用苯、甲醇、丙酮、等体积的CS2与丙酮的混合溶剂和四氢呋喃依次萃取神府煤,得到其萃取物E1E5,并采用钌离子催化氧化法氧化各级萃取物,所得氧化产物经重氮甲烷酯化后再进行GC/MS分析,以产物组成结构的差异来推测各级萃取物组成结构的差异。结果表明,神府煤萃取物所得酯化产物的主要成分是烷酸甲酯和烷二酸二甲酯,推测其萃取物中含有大量的烷基芳烃和α,ω-二芳基烷烃;且随着溶剂极性的增强,其萃取物氧化后的酯化产物中,烷酸甲酯和烷二酸二甲酯的碳链长度呈一定的递增趋势,推测神府煤中长链烷基芳烃和α,ω-二芳基烷烃易溶于极性较强的溶剂;在氧化产物中还检测出19种甾烷酸甲酯、萜烷酸甲酯和霍烷酸甲酯,表明神府煤萃取物中含有与芳环相连的甾烷基、萜烷基和霍烷基结构。     

基于暗原色及入射光假设的单幅图像去雾

目的 雾是一种常见的天气状况,针对雾能使图像中的景物对比度降低、表面颜色退化的问题,提出一种基于入射光假设的单幅图像去雾方法。方法 首先利用全局暗原色进行初步去雾,从而使图像透射率处于[0,1]范围内;然后利用雾天光照均匀的特点以及Retinex的照度估计原理进行透射图的估计;最后利用透射图以及初步去雾图像得到复原图像。结果 与He算法、Fattal算法的对比实验结果显示,该算法获得的复原图像细节清晰,颜色自然。与引导滤波优化后的He去雾算法相比,本文算法速度提高了93%。结论 大量对比实验结果表明,本文算法能够显著恢复雾天降质图像,对于薄雾和浓雾同样有效,具有广泛的适用性,且算法原理简单。此外,本文算法也同样适用于灰度图。     

基于偏差分析的航空装备软件费用控制方法

针对航空装备软件费用控制与管理问题,提出了一种基于偏差分析的费用控制策略,给出了重大偏差标准设定方法,将挣值管理引入到航空装备软件费用监控中,解决了软件费用与进度的控制问题。研究结果表明,基于挣值管理的方法可准确掌握项目费用和进度的实施情况,当费用或进度偏离计划时,能够及时发现项目研发中存在的问题并采取策略进行调整,有效实现了软件费用和进度的监控与管理。     

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

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

基于单片机和超声传感的微地震电磁信号远程监测控制方法

采用传统方法对微地震电磁信号实施监测控制时所用的时间较长,且监控到的微地震电磁信号幅度曲线与实际幅度曲线之间的误差较大。为此,论文提出了基于单片机和超声传感的微地震电磁信号远程监测控制方法。该方法利用电源模块、NRF2401无线模块、时钟模块和超声液位传感监测模块组建单片机和超声传感单元,并采集微地震电磁信号。根据相邻道地震信号间的相关性,对微地震电磁信号做相关性运算,去除微地震电磁信号中存在的噪声,有效提高监测准确度。由于其他地震波与直达波的性质存在差异,为此,该研究在分离直达波的基础上,重建震源激发信号,从而实现对微地震电磁信号的远程监控。根据仿真结果可知：该方法的监控效率和准确度均较高。     

基于改进果蝇优化算法的ECT图像重建方法

电容层析成像(ECT)的反问题具有严重的不适定性,因此经典算法的重建结果往往精度不足,并伴有很多伪影。为了提升重建图像质量,考虑将果蝇优化算法(Fruit Fly Optimization Algorithm,FOA)应用在ECT图像重建上。FOA作为群智能搜索算法,具有原理简单、参数设置少、容易实现等优点,但是容易陷入局部最优。针对该问题,作者提出一种改进果蝇优化算法,通过与Tikhonov正则化算法相结合求解ECT图像重建问题。为了验证新算法的有效性,选择五种流型作为重建目标,并将LBP算法、Tikhonov正则化算法以及Landweber算法的重建结果作为对照组。仿真实验结果表明,本文算法可以有效提高图像重建精度,重建图像在相对误差和相关系数方面均有所提升,验证了该算法的有效性。     

认知智能电网中基于能效优化的频谱分配策略

针对智能电网的无线通信环境存在频谱短缺、资源利用效率低等问题,将认知无线电技术应用于智能电网的邻域网络通信中.引入认知智能电网概念以保证业务传输的公平性和有效性,提出一种基于改进二进制蝴蝶优化算法(BOA)的频谱分配策略,此方案考虑了通信过程中的信噪比和路径损耗,选择系统能量效率作为信道效益,并且在拓扑结构固定的城市居民小区进行建模仿真.首先,使用基于改进时变转换函数和扰动策略的二进制蝴蝶优化算法(IBBOA)为认知智能电网用户进行频谱分配;然后,采用基于接收信噪比的闭环功率控制算法动态调整用户的传输功率,减少认知智能电网用户和主要用户之间存在的干扰;最后,以系统能量效率和两个用户公平性指数为优化目标,与遗传算法(GA)和二进制粒子群算法(BPSO)进行对比实验.仿真实验表明,联合闭环功率控制的IBBOA算法所获得的系统能量效率比未联合闭环功率控制的NBOA算法高33.2%,IBBOA算法最终的系统能量效率和用户公平性指数fair比GA算法分别高出47.8%和62.6%,比BBOA算法分别高出17.6%和26.7%.结果表明所提方案能够有效抑制认知智能电网中用户间的干扰,大大提高频谱利用率和系统能量效率.     

车床夹具加工与设计研究

车床切削加工是机械制造业中最普遍的制造工程,其中夹具的设计占据着重要内容.对产品的规格以及质量的把控方面都有着非常重要的意义.通过检索、分析、收集和整理典型车床夹具及工艺的有关资料,确定整体设计方案,进行工艺分析和工业的工装夹具设计,选择相关设备并设计相应加工工艺和夹具,最终生成能切合实际的、较完整的夹具图纸实列.本文主要讲述车床夹具加工与设计,以供参考.     

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

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