嵌入式软件的可信测试技术分析与设计

嵌入式应用领域的不断拓展,嵌入式系统的安全性和可信性越发重要,如何设计和测试一个可信的嵌入式系统是现在和未来研究的重点,尤其是嵌入式软件的可信测试技术与方法的研究。在分析软件运行剖面的基础上,依据分支路径和MM-路径测试技术,研究基于嵌入式系统的可信软件测试方法,提出一种代码覆盖和集成测试技术,用于结构覆盖测试和程序复杂度分析,指导可信软件代码设计和测试用例设计,提高软件测试效率和加速错误定位。     

非齐次等式约束线性回归模型回归系数的广义条件岭估计

时非齐次等式约束线性回归模型回归系数提出广义条件岭估计.证明了在一定的条件下,在均方误差矩阵、均方误差及广义均方误差意义下,广义条件岭估计都优于约束最小二乘估计和狭义条件岭估计.     

利用5G技术提升地面数字电视的覆盖效果

地面数字电视是未来电视的主要传输方式之一,具有广覆盖、不受带宽限制等优点,但也存在着没有上行通道、交互性差和实际接收效果不佳等诸多缺陷。5G技术的发展可有效弥补地面数字电视覆盖的短板,解决终端用户接收难题,提升广播电视整体覆盖水平。本文通过对5G和地面数字电视技术的具体分析,探讨了两者融合发展的思路及前景。     

中央广播电视节目地面数字电视发射系统探究

近年来,在我国中央广播电视节目的发展中,无线电视数字化的形式已经成为主要的发展趋势,在公共文化传播的事业发展中,无线数字化覆盖工程起到了促进的作用,不仅能够为广大群众带来了高效率、高质量的服务,而且还推动了群众精神文明的建设与发展。但是,在对无线电视传播与使用的过程中,还存在一些显著的问题,因此,需要针对存在的问题进行解决,采取正确的措施,促进无线数字化覆盖工的发展,对电视媒体的整体服务提高水平。     

一种高精度开关电源模块并联供电系统的研究

基于开关电源并联技术在大功率分布式电源中发挥的重要作用,设计并制作了一种以ARM微处理器TM4C123G为控制核心的高精度开关电源模块并联供电系统。本系统利用两个相同的同步Buck降压模块并联,对输出端的电压和两路Buck降压模块输出电流进行AD采样,TM4C123G将采样得到的数据进行双环PID调节,利用均流算法,输出可变的PWM波驱动Buck降压模块,实现两路Buck电流以任意比例输出且保持输出电压稳定。经测试,该系统两路设定比例分配的输出电流相对误差在0.1%之内,输出的电压稳定在0.6%的相对误差内波动,在额定功率时效率可高达90%。实验结果表明,该系统精度高、稳定性好、效率高,满足使用要求。     

西北风蚀区植被覆盖防治土壤退化的机理及研究进展

土壤退化是制约西北地区环境质量和农业可持续发展的主要因素.本文简要介绍了土壤退化的概念、产生原因、分类;西北地区产生土壤退化的缘由、类型和现状;详细阐述了植被覆盖防止土壤退化的机理及研究进展;最后,提出了在该领域今后研究的方向.     

浅析我国电视覆盖行业对省级上星电视媒体的作用

在当今科学技术飞速发展和三网融合的新时代,电视覆盖行业也随之产生。电视覆盖行业的产生让原来省级上星电视媒体免费播出变为有偿播放,并且让各大省级电视台每年都承担较大的运营成本。电视覆盖也让我国大多数二三线卫视的电视节目覆盖率缩小、影响力缩小,实际成为一个区域性的卫视。本文以电视覆盖行业为切入点,深入分析其对省级上星电视媒体的利弊,并提出一系列相应的措施以解决其存在的问题,以期能促进我国电视覆盖行业对省级上星电视媒体发挥积极作用。     

利用新媒体搞好“网络问政”

随着互联网的高速发展,网络以其迅捷、方便、全覆盖的特点,已成为老百姓不可或缺的信息获取、交流反馈的核心渠道。网络视频、在线访谈、微博交流等即时互动性的新媒体手段,更是以迅雷不及掩耳之势席卷社交网络,备受网友关注。     

包头第二热电厂30万凝结水精处理系统浅析

对包头第二热电厂30万凝结水精处理装置再生系统的设计、设备和再生步骤的特点。     

核心城区移动通信设备搬迁案例技术研究

本文结合某城市城区移动设备搬迁实例,分析如何应对规模性网络搬迁替换。移动网络规模性搬迁,一般都会面临网络规模大、网络指标要求高、场景复杂等情况。如何有效的解决这些问题,保障终端用户的感知,将是移动通信网络建设的一大课题。