AADL 测试模型的构造研究

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

三河口水利枢纽坝基固结灌浆试验研究

为保证三河口水利枢纽大坝浇筑施工进度及坝基固结灌浆质量,需要进行坝基无盖重固结灌浆试验。对试验区地质条件进行研究,依据地质条件编制了固结灌浆试验方案,对灌浆前后透水率、单位注灰量、抬动变形等进行了分析与讨论。结果表明:左、右岸坝基及右岸断层裂隙带3个试验区平均透水递减率分别为96.7%、81.8%、73.4%,各孔压水透水率均呈不断减小的趋势;3个试验区平均单位注灰量递减率分别为64.7%、12.6%、66.4%,各孔单位注灰量均呈不断减小的趋势;3个试验区各孔段压水透水率均小于3.0 Lu;各孔段均未在施工过程中出现抬动变形。这些结果表明了此次固结灌浆具有良好效果。     

高职院校综合素质课程改革探讨

作为能力精神导向的综合素质课程是高职院校深化内涵建设的重要内容,从指导思想、客观因素、生源因素等方面分析高职院校综合素质课程不容乐观的现状,针对此现状及原因,对高职院校综合素质课程课程改革思路、目标及改革方案等进行了探讨。     

“省管县”与“市管县”协调并举的可行性分析

从80年代开始实行的"市管县"体制,经过多年的实践,这种体制的优势正在渐渐消失,改革势在必行。"省管县"作为一种新的行政管理体制深受学界推崇,但是,该体制在推进过程中也同样存在许多弊端。从理论与实践的角度,分析了"省管县"与"市管县"协调并举的可行性。     

CARBON-OXYGEN REACTION IN MOLTEN NICKEL AND NICKEL-10% CHROMIUM IN A VACUUM INDUCTION FURNACE

在电熔氧化镁坩埚中真空感应熔炼镍和镍-10％铬合金,于1500—1540℃温度和10~(-4)乇压力的条件下,通过三种不同方法(碳脱氧、氧脱碳)获得了10~(-5)-10~(-6)数量级的碳氧乘积;对碳氧反应的机理提出了看法。     

Effects of Sc and Mn on microstructures and mechanical properties of Mg-Gd alloy

Two alloys of Mg-12.4Gd and Mg-12.5Gd-0.8Sc-1.4Mn were prepared. Hot extrusion and T5 heat treatment were conducted, and then the mechanical properties of the two alloys were tested at room and high temperatures. The effects of Sc, Mn on the microstructures of Mg-12.4Gd were investigated by optical microscopy, scanning electron microscopy and transmission electron microscopy. The results demonstrate that after hot-extrusion the alloying with Sc, Mn can efficaciously refine the grains of Mg-12.4Gd alloy; and increase the elongation at room and high temperatures after T5 heat treatment. But the strength at high temperature is not obviously improved.     

医院计算机网络在抗菌药物使用管理中的应用

医院是人们健康的守护站,是治疗疾病的中心.现如今,我国经济迅猛发展,百姓的生活质量有了明显的提高,人们不仅追求物质享受,对健康生活的关注度也空前高涨.抗菌药物是医院所有药物中比较特殊的一种物质,它能够预防和治疗感染,但是一旦这类药物被滥用,则会造成相反的效果,甚至出现二度感染.因此,如何管理好这类药物就成为了医院关注的焦点.计算机是现代化设备之一,将其普遍应用于医院之中,并将其与抗菌药物的管理结合起来,有助于保管好此类药物,发挥治疗的作用.本文就结合我国各大医院计算机网络的应用现状,对抗菌药物使用管理进行全面分析,从而确保它的合理利用,达到治病的功效.     

基于机器视觉的微片状物厚度检测

针对片状颗粒厚度检测的实际需求,结合机器视觉、图像处理和嵌入式技术,设计与实现了一套基于高性能ARM11的微片状颗粒厚度检测系统。该系统以QT和S3C6410为软硬件平台,提出了利用轮廓提取和最小矩形边界框相结合的方法计算片状颗粒厚度。结果表明,该检测系统具有处理速度快,测量精度高和成本低廉等优点,满足了对颗粒厚度测量的需求。     

一种用于取样示波器的高速数字信号传输速率的测量方法

取样示波器利用顺序等效采样技术可以实现对宽带、高速信号进行采样和波形恢复,从而对信号质量进行分析。因此取样示波器在5G高速通信、雷达等信号测量领域得到广泛应用。但是取样示波器采用的顺序等效采样方法是对被测信号进行多周期间隔、不连续采样,采样间隔周期不确定,导致不能直接从恢复的波形中分析出被测信号的传输速率。为确定传输速率,提出一种基于快速傅里叶变换算法的速率计算方法。通过实验验证,此方法能够准确计算出高速数字信号的传输速率,相对误差均在1%以内,并且在采样点数及眼图叠加次数较少的情况下仍然适用。     

基于GAN的导频配置和信道估计联合优化算法

随着通信设备的爆炸式增长,信道环境变得愈加复杂,传统信道估计方法需要进一步增加导频开销以维持现有信道估计精度。然而,这会导致系统吞吐量的下降。首先,提出了一种基于GAN的信道估计方法以在OFDM通信系统中解决这一问题。然后,采用GAN模型去学习从低维的潜向量到真实信道样本的映射关系。最后,在此基础上进行联合的导频配置优化。