视频会议系统在跨校区互动演出中的应用——以西北工业大学校区互动跨年联欢会为例

以西北工业大学跨校区联欢会为例,阐释用于异地互动演出视频会议系统的架构、网络环境搭建及应用中的问题。

软件定义系统技术研究综述

导弹武器装备当前呈现技术密集、任务型号多样、功能复杂化的发展趋势,面对其高速技术迭代的发展需求,传统上采用单型号独立研制的方式存在研制成本高、技术复用率低、结构紧耦合、系统交联复杂等缺点。为此,针对新兴的软件定义系统技术,分别从开放式软件定义系统架构、模型驱动的软件定义系统开发、软件定义系统应用服务管理框架、面向软件定义的载荷快速接入管理、软件定义弹性网络等分项关键技术开展综述研究,介绍相关技术发展情况及存在的不足,分析软件定义系统技术的发展方向,旨在为导弹武器装备研制相关技术难题的突破提供参考。

“五位一体”软件测试研究生一流课程建设创新与实践

为了更好地满足广大学生在软件测试课程学习中的个性化需求,面向国家级一流课程建设目标,在深入总结和分析现有教学方法和经验的基础上,提出一种基于深度学习和云计算的线上线下混合教学新方法,即构建融合思政引领、习题更新、智能分析、线下比赛和企业案例“五位一体”的课程教学模式,实现“个性化”知识“标准化”的线上线下交互式混合教学方法创新。

“混源多模”教学模式在研究生软件测试课程的实践

为适应高校教育数字化建设的快速发展,基于西北工业大学和扬州大学近5年研究生软件测试课程教学探索与实践,提出“混源多模”教学模式。借助人工智能进行教学资源选择与优化,综合考虑在线教学资源、开源项目数据和学生思想动态,结合“案例+研讨式”教学方法,使授课资源和教学模式实现随“变”应变,灵活授课。同时,借助数字平台进行教学评价反馈,形成课程教学模式迭代优化机制。实践结果表明,“混源多模”教学模式通过融合教学资源和学生思想动态,教学效果提升显著,在2017—2021学年的教学中,课程目标达成度由0.73提升至0.87,优秀率(综合成绩≥90分)达到31%;形成以10万条开源缺陷报告为核心的教学案例知识库,并实现教学案例库自动构建方法和系统;获得省级优秀教材和精品MOOC,指导学生在软件测试大赛中多次获奖,并发表高质量科研论文。

基于知识图谱的跨项目安全缺陷报告预测方法

安全缺陷报告可以描述软件产品中的安全关键漏洞.为了消除软件产品的安全攻击风险,安全缺陷报告(security bug report,SBR)预测越来越受到研究人员的关注.但在实际软件开发场景中,需要进行软件安全漏洞预测的项目可能是来自新公司或属于新启动的项目,没有足够的已标记安全缺陷报告供在实践中构建此软件安全漏洞预测模型.一种简单的解决方案就是使用迁移模型,即利用其他项目已经标记过的数据来构建预测模型.受到该领域最近的两项研究工作的启发,以安全关键字过滤为思路提出一种融合知识图谱的跨项目安全缺陷报告预测方法KG-SBRP(knowledge graph of security bug report prediction).使用安全缺陷报告中的文本信息域结合CWE(common weakness enumeration)与CVE Details(common vulnerabilities and exposures)共同构建三元组规则实体,以三元组规则实体构建安全漏洞知识图谱,在图谱中结合实体及其关系识别安全缺陷报告.将数据分为训练集和测试集进行模型拟合和性能评估.所构建的模型在7个不同规模的安全缺陷报告数据集上展开实证研究,研究结果表明,所提方法与当前主流方法FARSEC和Keyword matrix相比,在跨项目安全缺陷报告预测场景下,性能指标F1-score值可以平均提高11%,除此之外,在项目内安全缺陷报告预测场景下,F1-score值同样可以平均提高30%.

基于Matlab和VB混合编程实现大学化学实验数据处理系统

针对VB数值计算能力和图形处理能力不足,不利于系统开发的状况,该文在介绍了Matrix VB数学函数库的基础上,设计并实现了大学化学实验数据处理系统。结果表明,该系统充分利用了Matrix VB的数学函数库,在数值计算和图形处理方面取得了良好效果。

基于可攻击空间假设的陷阱式集成对抗防御网络

如今,深度神经网络在各个领域取得了广泛的应用.然而研究表明,深度神经网络容易受到对抗样本的攻击,严重威胁着深度神经网络的应用和发展.现有的对抗防御方法大多需要以牺牲部分原始分类精度为代价,且强依赖于已有生成的对抗样本所提供的信息,无法兼顾防御的效力与效率.因此基于流形学习,从特征空间的角度提出可攻击空间对抗样本成因假设,并据此提出一种陷阱式集成对抗防御网络Trap-Net. Trap-Net在原始模型的基础上向训练数据添加陷阱类数据,使用陷阱式平滑损失函数建立目标数据类别与陷阱数据类别间的诱导关系以生成陷阱式网络.针对原始分类精度损失问题,利用集成学习的方式集成多个陷阱式网络以在不损失原始分类精度的同时,扩大陷阱类标签于特征空间所定义的靶标可攻击空间.最终, Trap-Net通过探测输入数据是否命中靶标可攻击空间以判断数据是否为对抗样本.基于MNIST、K-MNIST、F-MNIST、CIFAR-10和CIFAR-100数据集的实验表明, Trap-Net可在不损失干净样本分类精确度的同时具有很强的对抗样本防御泛化性,且实验结果验证可攻击空间对抗成因假设.在低扰动的白盒攻击场景中, Trap-Net对对抗样本的探测率高达85%以上.在高扰动的白盒攻击和黑盒攻击场景中, Trap-Net对对抗样本的探测率几乎高达100%.与其他探测式对抗防御方法相比, Trap-Net对白盒和黑盒对抗攻击皆有很强的防御效力.为对抗环境下深度神经网络提供一种高效的鲁棒性优化方法.

基于深度学习的无人机航拍目标检测与跟踪方法综述

基于视觉的目标检测与跟踪方法是当前最火热的研究方向之一。近年来,随着无人机技术的快速发展,利用无人机航拍技术进行目标检测与跟踪也成了研究的热点。对于无人机目标检测,首先探讨了无人机航拍目标检测与跟踪任务的复杂性和难点,并着重介绍了以深度学习为基础的目标检测算法;针对无人机目标跟踪技术,深入探讨了以相关滤波为基础和以深度学习为基础的两种判别式目标跟踪算法;最后,总结并展望了在无人机领域目标检测与跟踪技术的应用前景。

航空发动机故障监控系统的设计与软件实现

基于航空发动机监控理论及故障诊断技术概念,以LabWindows/CVI为开发平台,运用C语言结合Matlab混合编程,设计开发出航空发动机监控系统及其振动故障信号的分析处理软件。该软件包括几个大的模块,界面友好,操作简便,简洁直观。为发动机状态监控和故障分析提供了一个有效的工具。

基于深度学习的软件测试在线教学方法创新与实践

针对当前软件测试在线课程教学存在的个性化习题案例数不足以及教师对学生薄弱知识点把握不足的问题,研究智能化习题集和案例库的建立和更新策略,并通过深度学习与交互式机器学习方法分析作答情况、挖掘知识薄弱点,从而帮助教师统一针对性讲解,减少人工评判,实现教学质量改革智能化,落实“与时俱进”和“因材施教”的教育理念。

B方法与UML在软件设计中的结合应用

形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过B方法和UML在问题对象域层次上的结合,给出一种在软件设计中结合应用,提高软件质量的方法。

重复软件缺陷报告检测方法综述

软件缺陷在软件的开发和维护过程中是不可避免的,软件缺陷报告是软件维护过程中重要的缺陷描述文档,高质量的软件缺陷报告可以有效提高软件缺陷修复的效率.然而,由于存在许多开发人员、测试人员和用户与缺陷跟踪系统交互并提交软件缺陷报告,同一个软件缺陷可能被不同的人员报告,导致了大量重复的软件缺陷报告.重复的软件缺陷报告势必加重人工检测重复缺陷报告的工作量,并造成人力物力的浪费,降低了软件缺陷修复的效率.以系统文献调研的方式,对近年来国内外学者在重复软件缺陷报告检测领域的研究工作进行了系统的分析.主要从研究方法、数据集的选取、性能评价等方面具体分析总结,并提出该领域在后续研究中存在的问题、挑战以及建议.

基于深度强化学习的综合电子系统重构方法

重构作为综合模块化航空电子系统用来提高容错性和稳定性的常用手段,是指发生某一故障后,系统根据事先预设好的重构蓝图,通过一系列应用迁移动作从故障状态转为正常状态的过程。随着综合电子系统的功能多元化和结构复杂化,提高系统的容错性和稳定性显得至关重要。然而现有的人工重构和传统重构算法这两种重构配置蓝图设计方式难以保证综合电子系统的容错性和稳定性。本文针对综合电子系统故障情况,结合深度强化学习算法,对重构蓝图的重构模型进行探索并提出基于优先经验回放的竞争深度Q网络算法(PEP_DDQN),通过优先经验回放机制和SUMTREE批量样本抽取技术提出基于深度强化学习的优先经验回放和竞争深度Q网络重构算法。实验表明,相较于传统强化学习Q-Learning算法和DQN算法实现的重构蓝图生成算法,所提出的PEP_DDQN算法能生成更高质量的蓝图并具有更高的收敛性能与更快的求解速度。

MSA-Lab:模型驱动的微服务集成设计平台

从单体系统迁移到微服务系统是当前业界对遗留系统实施再工程化的主流选项之一,基于单体遗留系统的微服务体系架构重构则是实现该迁移的关键步骤.目前学界多集中在微服务识别方法的研究上;业界虽有许多面向微服务架构的遗留系统重构的实践,但缺乏系统性的方法及高效鲁棒的工具.鉴于此,在微服务识别与模型驱动开发方法前期研究的基础上,研发一种模型驱动的、可用于单体遗留系统微服务化重构的集成设计平台MSA-Lab.它通过分析单体遗留系统运行日志中的方法调用序列,对其中的类和数据表进行类型识别和聚类以构造抽象微服务,同时生成包括微服务图和微服务序列图在内的系统架构设计模型.它包括用于微服务自动识别与设计模型自动生成的核心部件MSA-Generator,以及用于微服务静态结构模型与动态行为模型可视化展现、交互式建模、模型语法约束检验的核心部件MSA-Modeller.在MSA-Lab平台上,通过对4个开源项目实施有效性、鲁棒性、功能转换完备性等实验以及对3个同类型工具实施性能对比实验,结果表明:所提平台拥有很好的有效性、鲁棒性及实现面向日志的功能转换完备性,且性能更加优越.

基于PROMELA模型的安全关键软件形式化验证技术

聚焦安全关键软件,研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型,验证属性相关函数到PROMELA模型的2类映射规则;根据映射规则提出由C程序自动生成PROMELA形式模型的算法,并对算法进行理论分析;针对C程序中5种故障类型,分别给出基于PROMELA模型的形式化验证方法,并分析验证的范围;覆盖各类故障的验证范围,为每类故障类型选取12个C程序案例进行实证研究,实验结果证明了方法的有效性。

中小型软件项目的一种过程管理模型

软件工程化的概念已提出多年,其发展已经进入成熟阶段,但软件项目的问题却层出不穷。在根据实际工作中出现的问题,结合软件工程中的几种常用过程模型,融入过程管理的理念及要素,并借鉴敏捷开发思想,总结一套适用于中小型非军方项目的过程管理模型;采用调查分析法、实践法经过一年半的软件开发实践及过程管理实践,得出一套这样的过程管理模型。内部的QoD项目的开发数据证明该方法对于中小型软件的有效性。模型的优点在于结合多种模型在中小型项目中的优势。

中美软件人才培养的现状与冲突

随着中国签署WTO协议，中国市场必然走向全面开放。中国的人才也必然从本地化走向全球化。从1999年起，我国高等教育进入跨越式、超常规发展阶段。高等教育人数本、专科从1998年的100万增加到2002年的320万，研究生从1999年的7万增加到2002年的30万。

组态软件中数据存储与查询的缺陷与改进

数据存储与查询是组态软件中的重要组成部分,但是传统的方法效率低,因此对其进行改进,提高查询效率对于组态软件有着重要的意义。融合了数据库索引思想的新方法,不仅减小了存储文件的大小,而且大大提高了查询的效率。

基于RUP框架的软件UCD过程

介绍了RUP框架及UCD过程,指出在软件设计中应该采用UCD过程的原因,并提出了在RUP框架中UCD过程的设计思想和具体方法。

课程思政框架下软件需求工程教学模式探索与实践

针对软件需求工程课程教学模式需要不断适应未来新技术、新革命、新经济快速变革的问题,分析软件需求工程与思政教学元素融合方法,提出一种在课程思政框架下融合新工科的软件需求工程教学模式,介绍具体教学实践,给出教学过程评估方案,探讨如何利用大数据技术将传统的主观教学评估与客观教学评估相结合,以有效提升软件需求工程教学模式面向未来的适应性。