隐式信息流重组粒度与污点传播能力判别

污点分析中的隐式信息流由于其通过控制流传播污点的特性导致许多基于数据流的污点分析技术无效或分析效率低.本文提出了一种简洁有效的基于重组粒度的隐式信息流污点传播能力判别方法.通过预定义重组链构建规则,并基于程序切片和控制依赖关系给出了隐式信息重组链构建算法,在重组链各端点的信息重组粒度计算的基础上,获得隐式信息流的重组粒度及重组比值,能判别其污点传播能力.此外,实验开发了一个包含15个隐式信息流代码段的隐式信息流测试集IIF-Bench,并用来验证了判别方法的有效性和良好独立性,使其易于作为扩展添加至其它静态污点分析方法中从而实现隐式信息流分析的能力.

软件漏洞模糊测试的关键分支探索及热点更新算法

在软件开发及应用中,由于具有可复现性,模糊测试能够帮助发现漏洞和有针对性地对漏洞成因进行分析。为了解决模糊测试过程的效率及测试力度等问题,提出了软件漏洞模糊测试的关键分支探索及热点更新算法。该方法通过捕获、分析和利用受检程序在处理测试用例时的执行位置的关键信息,以指导模糊测试过程的探索方向和测试用例的生成。实验结果表明,提出的方法相较于传统随机发散的模糊测试方法在漏洞发现能力上有较大提升,在Otfcc、Swftools等14个开源程序中发现了100余个未被公布的漏洞,为模糊测试用于软件漏洞检测提供了新的可靠途径。

融合残差反卷积的图像分割算法研究

针对FCN算法在处理复杂场景时出现误分割问题,本文提出一种融合残差反卷积的图像分割算法RDM-FCN。在编码器部分,采用VGG16网络来提取图像特征;在解码器部分,通过构建残差反卷积模块和引入残差连接,以增强跨层特征的传递。通过采用交叉熵损失函数,提升模型的分割精度。测试结果显示,本文算法与FCN算法相比较,准确率提高了0.0347,平均交并比提高了0.0215,平均像素准确率提高了0.005。实验结果表明,本文算法的分割精度较高,能够较好地保留物体边缘和细节部分的信息。

应用于高精度LCR数字电桥的半埋嵌铜片高频板工艺研究

LCR数字电桥是智能元件参数测量仪器。作为计量工具,对仪器的精度有较高要求,相应地所使用的PCB也有更高要求。本文研究了LCR数字电桥使用的半埋嵌铜片PCB,包括半埋嵌铜片设计方式、半埋嵌铜片的定位、铜片焊接工艺、薄高频芯板焊接铜片后水平线过机方法等。重点分析了多层高频材料层压时的易出现的问题和解决方案,完成了高精度LCR数字电桥多层高频板制作。

多尺度自相似遥感图像超分辨率重建网络设计

遥感图像所捕获的区域一般较大,因此具有相似特征的目标在图像中重复出现的概率也较大。针对这一特点,本文提出了一种多尺度自相似遥感图像超分辨率重建网络。通过在SSEM网络结构中引入全局上下文模块来获取图像内单尺度和跨尺度信息的内部递归性,在上采样模块中引入像素注意力模块以增强其特征细节提取能力。在UC Merced数据集上的测试显示,本文算法在2倍、3倍和4倍尺度上比HSENet算法的PSNR分别提高0.11dB、0.15dB和0.05dB;在SSIM指标上,本文算法在3倍和4倍尺度上比HSENet算法分别高出0.0058和0.0013。

基于雷达TR组件的高多层微波板工艺研究

雷达天线中T/R模块是基本组件,其功用在于实现对发射信号的放大、对接收信号的放大以及对信号幅度、相位的控制,要求具备大功率、高效率、低噪声的同时,小型化和轻量化也是重要的设计指标。文章通过多次压合设计,超薄PTFE芯板增加补强板方式层压,利用二次激光控深揭盖、孔点电镀+POFV、过腐蚀高精度控深等技术。消除高多层微波板的过孔处产生“Stub”分叉、阶梯槽分层开裂,造成的传输信号完整性变差或失效等问题,从而达到TR组件的高多层微波板研发目标。

多阶盲槽混压板关键技术研究

高频混压板不但解决了高频信号稳定性,又降低了材料整体的成本,得到广泛应用;但随着功放等大功率器件的高散热需求,还需要埋嵌铜块进行散热;为节省安装空间,减少连接损耗,特殊封装器件需要下沉安装,导通铜块和连接微带线需要两个平面,需要二阶盲槽来实现安装需求。文章主要介绍一种高频混压埋铜块板,包括多次控深盲孔设计,不同深度控深揭盖的技术,铜基树脂塞孔,激光控深的研究,为重点关键流程提供制作方法及解决方案。

基于POCR角色的课程思政评价内容体系构建研究——以“新媒体应用”课程为例

课程思政的评价是课程思政实施的难点,也是课程思政实施效果的保障。评价体系的构建面临着难体系化、难量化、难实施的"三难"困境。高职传媒类课程"新媒体应用",基于新媒体运营核心工作岗位进行角色划分,运用行为事件访谈法、李克特量表等一系列手段,构建POCR角色的课程思政评价内容体系,为课程思政评价指标体系的量化提供了充分的依据,也为传媒类高职院校课程评价体系的建立提供了可借鉴的思路和范例。

基于改进的BSMOTE和时序特征的风机故障采样算法

针对风机数据集的不平衡问题,提出了一种BSMOTE-Sequence采样算法,在合成新样本时综合考虑空间和时间特征,并对新样本进行清洗,从而有效减少噪声点的生成。首先,根据每个少数类样本的近邻样本的类别比例,将少数类样本划分为安全类样本、边界类样本和噪声类样本。然后,对每个边界类样本都遴选出空间距离、时间跨度最接近的少数类样本集,利用线性插值法合成新样本,并过滤掉噪声类样本以及类间重叠样本。最后,以支持向量机(SVM)、卷积神经网络(CNN)、长短期记忆(LSTM)人工神经网络作为风机齿轮箱故障检测模型,F1-Score、曲线下面积(AUC)和G-mean作为模型性能评价指标,在真实风机数据集上把所提算法与常用的多种采样算法进行对比,实验结果表明:相比已有算法,BSMOTE-Sequence算法所生成样本的分类效果更好,使得检测模型的F1-Score、AUC和G-mean平均提高了3%,该算法能有效地适用于数据具有时序规律且不平衡的风机故障检测领域。

“圈层阅读”文化育人模式与高校思想政治教育价值期待

文化育人是高校构建思想政治教育工作体系的重要一环,阅读是文化育人可感可触的实践形式。阅读的知识积淀实现文化育人学以成才、立德树人的根本任务,阅读的视野拓展完善文化育人守正创新、爱国齐家的重大命题,阅读的境界提升达成文化育人厚文养性、以美修德的终极目标。探索“圈层阅读”文化育人模式,有助于铸就青年学生的先进文化底色,实现高校思想政治教育的愿景和价值。

一种基于生长曲线的系统漏洞发现预测模型

针对系统漏洞的有效发现及预测问题,提出了一种基于生长曲线的系统漏洞发现预测模型。首先分析漏洞发现规律,引入生长曲线的概念,确定了漏洞发现量的增长阶段特征;其次在生长理论周期表达基础上,描述系统漏洞发现过程与时间的关系,提出系统漏洞发现的预测过程,以及改进后的PMGTV模型;最后在实验中与其他模型进行了对比和有效性等分析,PMGTV对winxp、winserver2003、macosserver、ubuntulinux这四款系统软件的漏洞增长过程的拟合良好,在SSE残差平方和以及χ^2卡方值方面绝大部分优于其他模型,并且在预测准确度上最接近于真实值。结果表明,该模型在对系统漏洞发现的预测方面更为准确,为采取有效安全策略、提高软件质量等方面提供了一种可靠依据。

面向专业学位的网络信息安全案例库建设研究

针对当前计算机信息类案例库缺乏系统性和数量少等问题,该文基于知识网编织思想,描述了案例库建设的相关思路及原则。以网络信息安全方向为例,提出了案例库的规划、设计、制作与维护等研制过程,精心完成了案例库资源环境创设与实践,为改革教学模式、培养专业学位研究生的创新精神和实践能力提供一种思路。

高校网络与信息安全专业群建设研究

针对高校网络与信息安全人才培养中存在的产业需求导向与工程实践能力不足等问题,提出了多学科交叉融合的网络与信息安全专业群建设方案,通过分析新工科背景下对人才的理论和技术要求,规划建设了基于产业导向的网络与信息安全专业群理论课程体系,以及融知识于实验实训的实践课程体系,并在相关保障措施下形成电子信息特色鲜明的网络与信息安全领域创新创业人才培养的模式。

高多层超长高速背板工艺研究

相比常规高多层背板而言,超长背板的尺寸稳定性较难控制,孔到线距离越来越小,层间对准度要求越高。文章主要介绍一种34层超长板的关键制作工艺,包括涨缩的管控,层间对准度的控制,背钻堵孔的改善,阻抗的控制等,为重点关键流程提供制作方法及解决方案。

高多层厚铜大尺寸背板的制作

在印制电路板生产制作过程中,高多层厚铜背板具有较高的技术要求。文章主要介绍一种30层厚铜板的制作难点和解决方案,为类似产品生产提供技术支持。

Semantic Description and Verification of Security Policy Based on Ontology

To solve the shortage problem of the semantic descrip- tion scope and verification capability existed in the security policy, a semantic description method for the security policy based on ontology is presented. By defining the basic elements of the security policy, the relationship model between the ontology and the concept of security policy based on the Web ontology language （OWL） is established, so as to construct the semantic description framework of the security policy. Through modeling and reasoning in the Protege, the ontology model of authorization policy is proposed, and the first-order predicate description logic is introduced to the analysis and verification of the model. Results show that the ontology-based semantic description of security policy has better flexibility and practicality.