基于圈复杂度的阶段动态符号执行

基于圈复杂度的阶段动态符号执行[其他][其他]

为了缓解动态符号执行不可避免的路径爆炸等问题，提出了基于圈复杂度的阶段动态符号执行CCSDSEM优化算法。该算法通过计算约束判定条件为真的数量来衡量代码的圈复杂度，然后依据圈复杂度的阈值进行分阶段动态符号执行，使动态符号执行梯度进行，缓解路径选择指数爆炸，合理缩放符号执行。最后在KLEE中实现CCSDSEM框架，并对测试程序做了检测。CCSDSEM将符号执行的运行时间显著缩短，提升了生成测试用例的数量。

发表于：12/17/2020 10:09:00 AM

一种虚实融合、智能随需的安全服务平台研究

一种虚实融合、智能随需的安全服务平台研究[通信与网络][信息安全]

随着云计算技术的发展以及社会信息化进程的加快，在信息安全防护领域出现了一种新的业务模式，即基于云计算环境的安全服务提供模式。针对现有安全服务平台存在的服务对象以及需求响应程度方面的局限性，设计了一种安全服务平台，将虚拟安全产品和实物安全产品相结合，为各类用户提供动态、按需的安全服务，并对平台关键技术和应用模式进行了详细阐述，使得安全作为一种服务，其所面向的用户群体以及提供的服务产品种类都有了很大的扩展，为安全服务新业务模式的推广应用提供了支撑。

发表于：12/17/2020 10:00:00 AM

工业控制系统网络安全的主动防御技术研究与实践

工业控制系统网络安全的主动防御技术研究与实践[通信与网络][通信网络]

传统的以安全产品构成的“封、堵、查、杀”的被动式的安全防御难以面对日益严重的工业控制系统的定向网络攻击安全事件，构建以业务为核心的网络安全防御体系，方能确保所保护的工业控制系统应用环境的可用性与稳定性。从威胁主动发现、威胁主动抑制以及工业诱捕系统等技术进行研究，构建工业控制系统的主动防御系统，并实践于真实的工业控制系统应用环境。系统以面向业务安全运营的态势感知系统为控制中心，与融合AI技术的智能AI工业防火墙、智能主机安全防护系统、工控诱捕系统等智能检测与防御安全设备实现智能防御联动的威胁闭环控制与处理的机制

发表于：12/17/2020 9:53:00 AM

一种面向软件定义网络的安全态势感知方法

一种面向软件定义网络的安全态势感知方法[通信与网络][信息安全]

随着互联网基础设施的飞速发展和新应用的不断涌现，拒绝服务攻击作为网络层攻击的一个典例始终是安全人员重点防范的对象，而新兴的SDN网络在控制层和基础设施层同样也有受到拒绝服务攻击的风险。在现有的安全技术中，网络安全态势感知技术独特的优势使之能同时有效地用于传统网络与SDN网络。研究了应用于网络安全态势感知的相关算法，并实现了一个基于JDL多传感器数据融合的网络安全态势感知模型，并将其应用于SDN网络中对拒绝服务攻击的感知和评估。实验结果显示与单纯使用IDS的方法相比，融合决策的误报率和漏报率均有所下降，且输出的态势值具有一定的准确度，符合系统安全管理人员直观评估的结果。

发表于：12/16/2020 9:07:00 PM

应用于卫星导航系统的多频圆极化天线

应用于卫星导航系统的多频圆极化天线[通信与网络][航空航天]

设计了一款应用于卫星导航系统的多频圆极化天线。天线由微带单元与螺旋单元构成，微带单元采用叠层结构实现北斗一代收发L/S双频段覆盖；螺旋单元采用四臂螺旋结构及多点馈电技术实现北斗B1和GPS L1频段覆盖。仿真结果表明，该天线各端口S11值低于-10 dB的带宽为93 MHz(1 509～1 602 MHz)、12 MHz(1 610～1 622 MHz)和70 MHz(2 453～2 523 MHz)，天线在B1频段、GPS L1频段、北斗L频段及北斗S频段的增益分别为6.19 dB、6.13 dB、3.47 dB和5.64 dB。该天线具有方向图波束宽度宽、相位中心稳定、低仰角增益高等特点，天线各项指标均满足卫星导航系统对天线性能的要求。

发表于：12/16/2020 5:23:12 PM

阶梯计费算法构建及其在燃气表中的应用设计

阶梯计费算法构建及其在燃气表中的应用设计[通信与网络][信创产业]

对燃气阶梯计费的技术要求和技术条件进行分析和归纳，构建了一种阶梯计费算法的技术模型。创新地提出了一种表内双计费方案的设计方法，在燃气表内设置两套阶梯计费方案，并根据方案的有效日期判别其中一套方案为当前运行方案，相比单方案设计，降低了计费方案修改、启用、调价和实时时钟校时等操作的复杂处理要求。最后，详细分析了阶梯计费燃气表的功能需求、系统组成和计费测试方法，设计开发了一款具有实时阶梯计费功能的CPU卡阶梯计费燃气表。

发表于：12/16/2020 5:14:56 PM

一种高速大电流的PAM4光发射机设计

一种高速大电流的PAM4光发射机设计[模拟设计][通信网络]

随着通信数据比特率不断提升，PAM4(四阶脉冲幅度调制)光发射机已经在超高速光纤通信系统中得到更广泛的应用。设计了一种包含NRZ（非归零）编码-RZ（归零）编码转换电路的PAM4光发射机，基于电流模逻辑增加了电路的工作速度和抗干扰能力。通过带自偏置可控延时电路实现了NRZ编码到RZ编码的转换，减小了长链路信号传输的色散效应。驱动器采用预驱动与主驱动级联的方式增大电路驱动能力，并通过串联电阻实现级间的共模电平匹配。电路设计采用0.13 μm SOI CMOS工艺，仿真结果表明在两路输入数据比特率为2.5 Gb/s，典型负载为25 Ω时，最大输出电流为120 mA，电流脉冲宽度为125 ps，PAM4眼图张开度良好。

发表于：12/16/2020 5:07:41 PM

基于国密算法的IPSec VPN设计与实现

基于国密算法的IPSec VPN设计与实现[其他][信息安全]

基于国家安全和经济发展的客观需求，在安全产品中采用国密算法，确保网络通信自主安全十分必要。通过将IPSec协议中的默认非对称协商算法、哈希算法和对称加密算法分别采用国密SM2、SM3、SM4算法替代，设计并实现基于Linux系统内核协议栈的IPSec VPN系统。实践表明，采用国密算法能够有效满足IPSec VPN的需求。

发表于：12/16/2020 5:01:29 PM

云环境下国产可信根TCM虚拟化方案研究

云环境下国产可信根TCM虚拟化方案研究[通信与网络][信息安全]

将可信计算技术应用于云计算环境中是保证云安全的有效途径。针对国产可信计算的可信根可信密码模块(Trusted Cryptography Module，TCM)只适用于单机平台，无法为多虚拟机的云平台提供安全可信性保障的问题，对TCM的虚拟化方案进行研究，构建云可信根(Cloud TCM，C-TCM)架构。在C-TCM物理环境内部构造宿主可信根和虚拟可信根，分别为物理宿主机和虚拟机提供可信服务，同时在虚拟机监视器层部署虚拟可信根管理机制，实现虚拟可信根对C-TCM硬件资源的共享。该方案可有效保证云平台的安全可信性。

发表于：12/16/2020 4:53:00 PM

基于图像技术的EAN-13条码识别系统设计

基于图像技术的EAN-13条码识别系统设计[模拟设计][其他]

条形码技术作为一种数据采集和自动识别技术应用非常广泛。为了更好地满足应用场景的自动化功能需求，利用图像处理相关技术，对EAN-13条形码识别的相关算法进行了研究。首先，针对采集到的条形码图像进行图像预处理，包括图像灰度化、基于Hough变换的图像倾角矫正、目标分割和图像滤波；然后根据条形码编码的既定规则，采用平均值法和校验码验证法对条形码进行译码；最后，利用MATLAB仿真软件，设计了一个条形码识别系统。通过实验验证，所设计的系统识别率可以达到99%以上，取得了很好的效果。

发表于：12/16/2020 4:50:00 PM