基于参数约束的分支覆盖符号执行优化算法

基于参数约束的分支覆盖符号执行优化算法[其他][其他]

软件质量检测常用的方法是软件测试，符号执行作为主流的测试技术已被广泛应用于学术界与工业界中。但是随着程序规模的增大和函数调用的增加，因某些路径约束条件的特殊性，而难以生成正确的测试用例，从而导致符号执行不能对所有路径做到全覆盖。为了提高符号执行在特殊约束条件对路径的覆盖率等问题，本文提出了基于参数约束的符号执行优化算法。首先，该算法通过搜索收集程序代码中函数的特殊参数，然后利用这些特殊参数作为约束条件，最后将约束条件添加到路径的约束集中。该算法使符号执行生成的测试用例更加精确，从而实现覆盖特殊约束条件下的路径分支，以提高符号执行的精确性和路径覆盖率。在开源符号执行平台CREST中实验并验证上述优化算法，验证及测试结果表明本文提出的算法能够提高符号执行在特殊约束条件下对路径的覆盖率。

发表于：2020/12/14 下午5:00:00

直方图移位安全可逆图像水印算法的研究

直方图移位安全可逆图像水印算法的研究[其他][其他]

针对一些在数字版权保护和多媒体信息安全领域中，需要对嵌入的水印信息进行加密来确保水印信息的机密性，提出直方图移位安全可逆的图像水印算法。对载体图像的最大像素值和最小像素值分别进行减一加一的操作，并且对该像素值进行标记，图像预处理的方法，解决了嵌入水印信息时像素值修改产生的溢出问题。利用祖冲之序列密码算法(ZUC算法)对水印信息进行加密。在水印嵌入阶段，计算每个半平面像素的四邻域、八邻域的预测差值，来构建二维直方图，嵌入加密的水印。实验结果表明，算法能够无损地恢复原始载体图像，加密水印信息能够正确解密，含加密水印图像的峰值信噪比均达到50 dB以上；该方案具有良好的加解密效果，水印图像具有很好的质量和水印隐蔽性，算法具有可逆性，并且解决了像素溢出的问题。

发表于：2020/12/14 下午4:56:00

一种多架构应用软件开发及运行方法研究与实现

一种多架构应用软件开发及运行方法研究与实现[其他][其他]

对国产基础软件运行环境及运行依赖库进行了研究，提出了一种多架构应用软件开发及运行方法，并在FT1500A、X86(CPU)与麒麟(OS)相组合的两类架构环境上实现了该方法。运行结果表明，该方法能够提供良好的多架构应用软件开发及运行服务，为国产基础软硬件生态的软硬件适配、整体解决方案提供技术支撑。

发表于：2020/12/14 下午4:50:00

支持众创开发的私有云平台研究

支持众创开发的私有云平台研究[其他][其他]

“支撑平台+应用/服务”是信息系统的典型架构，在不同因素的驱动下，支撑平台和应用/服务都处在不断发展变化中，从而表现为信息系统的整体更新换代。当前，随着业务需求和技术的不断发展，“云+端”成为这一架构的具体模式，并且表现出众筹众创的新型开发形态。该平台是一个基于国产基础软硬件生态、面向日常办公和业务处理的私有云平台，也是一个支持业务信息系统持续众创发展的应用生态服务环境。基于该应用支撑平台提出了一个支持众创开发的私有云平台通用模型，并对该平台的架构、组成、主要特点及应用等进行深入研究。本文的成果能够为面向众创众筹和持续集成的办公及业务信息系统研发提供解决方案，同时为基础软硬件生态、私有云、微服务、容器等新技术在党政机关办公及业务领域的应用提供参考和借鉴。

发表于：2020/12/14 下午4:43:00

基于改进VGG16的猴子图像分类方法

基于改进VGG16的猴子图像分类方法[人工智能][物联网]

为提高对细粒度图像分类的准确性和分类速度，提出基于改进VGG16和迁移学习的图像分类方法。首先从kaggle平台中获取十种不同猴子数据集，并对数据集进行标准化处理，包含图片去椒盐噪声、将数据集转换为TensorFlow中提供的统一TFRecord数据格式。然后迁移学习改进的VGG16卷积神经网络，模型的优化包括利用Swish作为激活函数、将softmax loss与center loss相结合作为损失函数以实现更好的聚类效果、采用性能完善的Adam优化器。用训练集训练模型以确定微调参数信息，再用测试集检验模型准确性。结果表明，该方法对猴子图像分类的准确度可达到98.875%，分类速度也得到了显著提升。与其他传统卷积神经网络模型相比，该方法具有更高的准确性和适用性。

发表于：2020/12/14 下午4:36:00

基于GPU并行优化的网格参数化算法

基于GPU并行优化的网格参数化算法[其他][其他]

网格参数化是计算机图形学、数字几何处理领域的研究热点，在动画、医疗、工业设计等领域中都发挥着重要作用。现有参数化方法主要思路是构造一个高度非线性的全局优化问题，因此计算效率低，难以并行。提出了一种可并行、可扩展的参数化算法。该算法通过引入辅助变量。然后使用交替方向乘子算法(Alternating Direction Method of Multipliers，ADMM)，迭代优化每个面和每条边上的子问题得到参数化映射。为了验证算法模型的高效性，使用GPU加速，相比于现存单线程算法，本文算法因为高度并行化运行时间缩短了至少百倍以上。

发表于：2020/12/14 下午4:33:00

一种基于知识图谱的工业互联网安全漏洞研究方法

一种基于知识图谱的工业互联网安全漏洞研究方法[通信与网络][信息安全]

　　工业互联网安全问题日益突出，对工业互联网安全漏洞知识库的深入研究是解决问题的关键。为解决漏洞数据利用价值低、关联分析手段欠缺、可视化程度不足等问题，以工业互联网安全漏洞库为基础，提出了构建工业互联网安全漏洞知识图谱的方法，通过原始数据信息提取、关联关系分析、数据存储等手段，将知识图谱导入到Neo4j图数据库，以实现高效存储、查询。从时间维度、空间维度、关联关系维度进行知识图谱的分析，将查询结果进行了可视化展现。结果表明：提出的方法可以有效、直观地展现工业互联网安全漏洞数据的自身属性与关联关系，实现漏洞数据内在价值的深度挖掘。

发表于：2020/12/14 下午4:29:00

国产平台一体化测发指挥决策软件研究

国产平台一体化测发指挥决策软件研究[其他][其他]

针对在关键领域实现国产化的需求，解决航天发射指挥过程中各系统数据互相独立、智能化程度低、决策难等问题，在采用基于国产化的基础软硬件平台环境下，设计并实现了多系统集成的一体化测发指挥决策软件，提出了基于插件的一体化软件体系架构，并对数据订阅分发机制、显示页面快速定制、软件性能优化等关键问题进行了研究，对在国产化平台下应用软件开发有一定借鉴价值。

发表于：2020/12/14 下午4:24:00

一种基于FPGA的多通道数据采集系统设计

一种基于FPGA的多通道数据采集系统设计[可编程逻辑][其他]

设计并实现了一种基于FPGA的四通道数据采集系统。系统由65 MS/s的模数转换器AD9219实现对信号的高速采样。为满足采集数据实时存储的要求，设计了高速、大容量的DDR2硬件电路和接口逻辑。采集数据可通过USB接口上传至上位机，上位机负责数据的保存、处理和显示，同时控制数模转换器以直接数字合成的方式输出波形。测试结果表明，系统运行稳定可靠，可灵活控制。该系统为高性能数据采集提供了一套包括软硬件的整体解决方案，可以满足低温等离子诊断的要求。

发表于：2020/12/14 下午4:19:00

一种基于卷积神经网络的立体匹配算法设计

一种基于卷积神经网络的立体匹配算法设计[人工智能][物联网]

为了解决传统立体匹配算法对立体图像在低纹理以及遮挡区域匹配效果较差的问题，设计了一种端到端的基于卷积神经网络(Convolutional Neural Network,CNN)的立体匹配算法。该算法采取了残差卷积神经网络对图像特征进行提取，之后利用空洞空间金字塔池化(Atrous Spatial Pyramid Pooling，ASPP)模块来获取图像的上下文信息，并结合多尺度的三维卷积神经网络对代价空间进行规整，最终实现了高精度的立体匹配算法。所获取的视差图在KITTI2015测试平台上的误匹配率为2.42%，与几何上下文(Geometry and Context,GC)网络相比较，视差图的精度提高了0.45%，且运行时间缩短了一半。

发表于：2020/12/14 下午4:03:00