基于雷达软件安全的C程序到形式模型的转换方法
臧伟旺,朱健 (南京电子技术研究所,江苏 南京 210039) 0 引 言 随着雷达系统不断发展,以及结构工艺的优化提高,对雷达软件设计提出了更高的要求,其中,软件的安全性与可靠性尤为重要,影响着整个雷达系统的行为是否符合预期以及性能的...
臧伟旺,朱健 (南京电子技术研究所,江苏 南京 210039) 0 引 言 随着雷达系统不断发展,以及结构工艺的优化提高,对雷达软件设计提出了更高的要求,其中,软件的安全性与可靠性尤为重要,影响着整个雷达系统的行为是否符合预期以及性能的...
孟祥宝,杨金辉,齐朋 (天津准衡计量技术服务有限公司,天津 300112) 0 引 言 表面温度计是温度计的一个分类,专门用于测量固体表面的温度。温度传感器是表面温度计的关键部件,它一般为具有表面测温功能的热电偶,而显示仪表与传感器匹配...
潘福初,秦莫萍 (中国电子科技集团公司第三十四研究所,广西 桂林 541004) 0 引 言 PDH 光端机设备在作为一种点对点传输设备,具有统一的比特率,统一的标准,为不同厂家设备间的互联提供了可能,网络管理能力大大加强。同时采用字节...
李丰,邓世雄,白锐,王乔楠 (中国电子科技集团公司第十三研究所,河北 石家庄 050051) 0 引 言 限幅器是微波毫米波系统中的一种重要的功率控制器件,广泛应用在接收系统前端,起到保护后级电路,防止系统损坏的关键作用。小型化、高集成...
刘鑫,张帅 (1.武汉晴川学院 北斗学院,湖北 武汉 430204;2.武汉第二船舶设计研究所,湖北 武汉 430205) 0 引 言 全向天线作为一种基本的天线类型,有着广泛的应用,它被应用在形成无线扩频网络、点对点通信、数据传输等方...
刘文元 (中国电科网络通信研究院,河北 石家庄 050011) 0 引 言 随着物联网时代的到来,嵌入式系统的以太网设备需求量与日俱增,而负责以太网数据编码和传输的物理层收发器的需求量也随之增长。在加快集成电路产业自主可控步伐的趋势下,...
李惊生,容荣,欧阳兆桉 (1.广州杰赛科技股份有限公司,广东 广州 510310;2.澳门大学 科技学院,澳门特别行政区 519000) 0 引 言 室内覆盖是现代无线通信系统部署的重中之重,随着移动通信技术的深化发展,多种标准和制式的...
王静奕 (武汉信息传播职业技术学院,湖北 武汉 430223) 0 引 言 5G 时代的移动通信将使数字服务以及商业模式得到强而有力的发展,其所带来的社会效益将会远超以往移动通信技术。5G 网络所提供的5G 业务具有延迟较低、连接较多等...
徐曼睿,张雅声 (航天工程大学 研究生院,北京 101416) 0 引 言 信息化的急速发展使海上作战任务面临节奏快、覆盖空间大、情况复杂的情况,对海上战场通信传输可靠性和时效性提出更高要求。卫星和船舶的相对运动使得星地链路自由空间损耗...
马赛 (九江职业技术学院,江西 九江 332007) 0 引 言 通信技术的广泛应用推动了各行各业的快速发展,通信电缆作为通信的基础设施分布越来越广泛,组成也越来越复杂,在通信电缆的使用过程中,经常会因过载而引起电缆过热,导致电缆运行故...