期刊文献+
共找到404篇文章
< 1 2 21 >
每页显示 20 50 100
创新实践平台对研究生发展质量的贡献研究——以西北工业大学创新平台建设为例 被引量:3
1
作者 李圣 李勇 +1 位作者 王海燕 张涛 《研究生教育研究》 CSSCI 2016年第1期11-16,35,共7页
采用大数据分析和数据挖掘法对西北工业大学近八年上万组研究生创新实践数据进行研究。以研究生发展质量为切入点,通过克朗巴哈系数、基于时间序列的数据关联性分析检验创新实践平台建设给研究生发展带来的优势,并在此基础上,利用聚类... 采用大数据分析和数据挖掘法对西北工业大学近八年上万组研究生创新实践数据进行研究。以研究生发展质量为切入点,通过克朗巴哈系数、基于时间序列的数据关联性分析检验创新实践平台建设给研究生发展带来的优势,并在此基础上,利用聚类和主成分分析方法,寻找影响发展质量的关键因素,指出创新实践平台有待加强和改进的领域,并提出一些政策建议。 展开更多
关键词 大数据 数据挖掘 创新实践平台 创新实践活动 研究生发展质量
在线阅读 下载PDF
任务安全关键软件构造时在线监控方法研究
2
作者 王犇 丁成钧 +1 位作者 林伟 马春燕 《西北工业大学学报》 北大核心 2025年第3期600-609,共10页
C语言因其灵活性和高效率在航空航天等多个任务关键领域得到广泛应用。然而,C语言程序存在安全风险,如指针操作不严格限定、数组和字符串缺乏边界检查等,容易引发潜在的运行时故障,造成不可挽回的损失。针对此类问题,提出一种任务安全... C语言因其灵活性和高效率在航空航天等多个任务关键领域得到广泛应用。然而,C语言程序存在安全风险,如指针操作不严格限定、数组和字符串缺乏边界检查等,容易引发潜在的运行时故障,造成不可挽回的损失。针对此类问题,提出一种任务安全关键软件C程序构造时的在线监控方法,在构造C程序时对代码进行实时监控和静态分析,高效检测潜在故障。针对在线编辑的C程序片段的实时编译及测试问题,提出了一种混合式监控方法的片段程序可编译版本自动生成技术。针对任务安全关键软件5类运行时故障的产生条件归纳出43种故障类型,基于抽象语法树建立在线编辑的C程序片段故障的规则库。提出了基于语法结构匹配算法,实现在线编辑的C程序片段故障监控。实验选择50个安全关键软件常用的C程序代码进行验证,共计匹配到41种、146个潜在运行时故障,结果表明,文中监控方法能够有效识别潜在故障,提高软件安全性和可信性。 展开更多
关键词 在线监控 故障检测 抽象语法树 自动化测试
在线阅读 下载PDF
智能技术融入软件安全体系架构的策略——评《软件安全保障体系架构》
3
作者 粟梓康 《中国安全科学学报》 北大核心 2025年第8期272-272,共1页
目前数字化转型加速,软件系统的复杂性与攻击面正呈指数级增长,传统基于规则的安全防护机制已难以应对高级持续威胁。智能技术的融入为软件安全体系架构注入了动态感知与自主进化能力,通过机器学习、知识图谱等技术实现对威胁的精准识... 目前数字化转型加速,软件系统的复杂性与攻击面正呈指数级增长,传统基于规则的安全防护机制已难以应对高级持续威胁。智能技术的融入为软件安全体系架构注入了动态感知与自主进化能力,通过机器学习、知识图谱等技术实现对威胁的精准识别与预测,正推动安全防护从被动响应向主动防御转型。 展开更多
关键词 软件安全 复杂性 智能技术 攻击面 体系架构
在线阅读 下载PDF
基于群体情绪稳态化的社交网络谣言检测方法
4
作者 殷茗 乔胜 +1 位作者 陈威 姜继娇 《软件学报》 北大核心 2025年第11期5134-5157,共24页
网络信息来源众多、鱼龙混杂,及时、准确地判断其是否为谣言是社交媒体认知域研究的关键问题.先前的研究大多侧重于谣言的文本内容、用户特征或局限于传播模式中的固有特征,忽略了用户参与事件讨论而产生的群体情绪及其产生且隐藏于谣... 网络信息来源众多、鱼龙混杂,及时、准确地判断其是否为谣言是社交媒体认知域研究的关键问题.先前的研究大多侧重于谣言的文本内容、用户特征或局限于传播模式中的固有特征,忽略了用户参与事件讨论而产生的群体情绪及其产生且隐藏于谣言传播的情绪稳态特征的关键线索.提出一种以群体情绪稳态为导向,融合时序和空间稳态特征的社交网络谣言检测方法,该方法基于谣言传播中的文本特征和用户行为,将群体情绪的时序与空间关系稳态化特征相结合,能够实现较强的表达能力和检测精度.具体地,该方法以用户对某事件或话题态度的情绪关键词作为基础,利用递归神经网络构建时序关系的情绪稳态特征,使群体情绪具有表达能力较强的时间一致性特征,可以反映群体情绪随时间的趋同效应;利用异构图神经网络建立用户与关键词、文本与关键词之间联系,使群体情绪具有空间关系的细粒度群体情绪稳态特征;最后,将两类局部稳态特征进行融合,具备全局性且提高了特征表达,进一步分类可获得谣言检测结果.所提方法运行于两个国际公开且被广泛使用的推特数据集上,其准确率较基线中性能最好方法分别提高了3.4%和3.2%,T-F1值较基线中性能最好方法分别提高了3.0%和1.8%,N-F1值较基线中性能最好方法分别提高了2.7%和2.3%,U-F1值较基线中性能最好方法分别提高了2.3%和1.0%. 展开更多
关键词 谣言检测 群体情绪稳态 时序关系 空间关系 社交网络
在线阅读 下载PDF
基于抽象语法树变异的漏洞样本生成方法
5
作者 郑炜 李云帆 +3 位作者 桂奎 吴潇雪 陈翔 邓沛然 《软件学报》 北大核心 2025年第10期4590-4611,共22页
随着信息技术的持续发展,软件产品的数量和种类不断增加,然而即使是高质量的软件也可能存在漏洞.此外,软件更新速度快,软件架构愈发复杂,这导致漏洞逐渐进化成新的形态,传统的漏洞检测方法和规则难以适用于新的漏洞特征.由于零日漏洞样... 随着信息技术的持续发展,软件产品的数量和种类不断增加,然而即使是高质量的软件也可能存在漏洞.此外,软件更新速度快,软件架构愈发复杂,这导致漏洞逐渐进化成新的形态,传统的漏洞检测方法和规则难以适用于新的漏洞特征.由于零日漏洞样本的稀缺性,软件演化过程中出现的零日漏洞难以被发现,这为软件安全带来很大的潜在风险.提出一种基于抽象语法树变异的漏洞样本生成方法,能够模拟真实漏洞的结构和语法规则,生成更符合实际情况的漏洞样本,它可以为软件安全性和可靠性提供更加有效的解决方案.该方法通过分析Eclipse CDT生成的抽象语法树结构,提取节点中的语法信息,重构节点和抽象语法树,优化抽象语法树结构,并设计一系列变异算子,然后在优化后的抽象语法树上进行变异操作.该方法可以生成具有UAF和CUAF漏洞特征的变异样本,这些样本可以用于零日漏洞的检测,有助于提高零日漏洞的检测率.实验结果表明,该方法比传统检测方法中的随机变异方法平均减少了34%的无效样本量,并且可以生成更加复杂的变异样本;此外,该方法可以生成更加复杂的变异样本,提高检测的覆盖率和准确率. 展开更多
关键词 抽象语法树 零日漏洞 变异算子 漏洞样本生成
在线阅读 下载PDF
卷积神经网络在图像超分辨上的应用 被引量:1
6
作者 田春伟 宋明键 +3 位作者 左旺孟 杜博 张艳宁 张师超 《智能系统学报》 北大核心 2025年第3期719-749,共31页
卷积神经网络因强大的学习能力,已成为解决图像超分辨问题的主流方法。然而,用于解决图像超分辨的不同类型深度学习方法存在巨大的差异。目前,仅有少量文献能根据不同缩放方法来总结不同深度学习技术在图像超分辨上的区别和联系。因此,... 卷积神经网络因强大的学习能力,已成为解决图像超分辨问题的主流方法。然而,用于解决图像超分辨的不同类型深度学习方法存在巨大的差异。目前,仅有少量文献能根据不同缩放方法来总结不同深度学习技术在图像超分辨上的区别和联系。因此,根据设备的负载能力和执行速度等介绍面向图像超分辨方法的卷积神经网络尤为重要。本文首先介绍面向图像超分辨的卷积神经网络基础,随后通过介绍基于双三次插值、最近邻插值、双线性插值、转置卷积、亚像素层、元上采样的卷积神经网络的图像超分辨方法,分析基于插值和模块化的卷积神经网络图像超分辨方法的区别与联系,并通过实验比较这些方法的性能。本文对潜在的研究方向和挑战进行阐述并总结全文,旨在促进基于卷积神经网络的图像超分辨研究的发展。 展开更多
关键词 深度学习 卷积神经网络 图像重建 图像处理 图像复原 图像分辨率 神经网络 底层视觉
在线阅读 下载PDF
基于Matlab和VB混合编程实现大学化学实验数据处理系统 被引量:9
7
作者 张云鹏 胡飞 +2 位作者 马晓燕 马春燕 陆伟 《计算机工程与应用》 CSCD 北大核心 2005年第7期116-118,共3页
针对VB数值计算能力和图形处理能力不足,不利于系统开发的状况,该文在介绍了Matrix VB数学函数库的基础上,设计并实现了大学化学实验数据处理系统。结果表明,该系统充分利用了Matrix VB的数学函数库,在数值计算和图形处理方面取得了良... 针对VB数值计算能力和图形处理能力不足,不利于系统开发的状况,该文在介绍了Matrix VB数学函数库的基础上,设计并实现了大学化学实验数据处理系统。结果表明,该系统充分利用了Matrix VB的数学函数库,在数值计算和图形处理方面取得了良好效果。 展开更多
关键词 VB MATLAB 函数库 数值计算
在线阅读 下载PDF
软件工程人才团队协作能力培养的研究与实践 被引量:7
8
作者 陈健 吴健 +2 位作者 张莉 袁柳 裘国永 《计算机工程与科学》 CSCD 北大核心 2011年第S1期116-123,共8页
团队协作能力是工程人才需具备的重要能力之一。软件工程对于人才的团队协作能力提出了更高和更迫切的要求。本文首先论述软件工程人才团队协作能力的必要性、重要性和培养可行性,然后分析在本科阶段系统进行相关知识、技能和能力(KSAs... 团队协作能力是工程人才需具备的重要能力之一。软件工程对于人才的团队协作能力提出了更高和更迫切的要求。本文首先论述软件工程人才团队协作能力的必要性、重要性和培养可行性,然后分析在本科阶段系统进行相关知识、技能和能力(KSAs)培养的模式和方法。基于已有实践,对如何在本科阶段系统培养相关能力进行了探讨。主要结论:团队协作能力需要也可能在本科阶段开始培养;将其系统地贯穿于本科阶段可有效地提升人才的团队协作能力。 展开更多
关键词 团队协作 软件工程 能力 项目管理 有效团队
在线阅读 下载PDF
基于语义感知的变长序列数据预处理框架
9
作者 王晓东 王继维 +3 位作者 钟智昊 杨欢 姚红静 郭阳明 《西北工业大学学报》 北大核心 2025年第2期388-397,共10页
深度学习框架处理变长序列时,通常采用填充(padding)或截断(truncation)的方式,以方便模型批量训练与处理。然而,填充会加剧内存占用,而截断则会使序列丧失原本的语义信息。因此,提出了一种基于语义感知的变长序列预处理框架,该框架利... 深度学习框架处理变长序列时,通常采用填充(padding)或截断(truncation)的方式,以方便模型批量训练与处理。然而,填充会加剧内存占用,而截断则会使序列丧失原本的语义信息。因此,提出了一种基于语义感知的变长序列预处理框架,该框架利用典型的无监督学习方法,压缩多维度数据并减小信息损失。同时,基于最小化信息损失理论,采用信息熵度量语义丰富度,为变长表示分配权重,并通过语义丰富度进行融合。此外,实验表明该框架的信息损失相较传统的截断嵌入有所降低,所提方法在信息获取方面具有显著优势,在多个文本分类数据集上表现良好。 展开更多
关键词 变长序列 数据预处理 填充 截断 语义信息 最大化信息
在线阅读 下载PDF
一种基于AADL错误模型的软件安全性分析技术研究 被引量:2
10
作者 成静 朱怡安 +3 位作者 屈华敏 罗文波 江叶春 张涛 《西北工业大学学报》 EI CAS CSCD 北大核心 2014年第6期1007-1010,共4页
针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率... 针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率计算分析软件系统的安全性,避免状态爆炸问题。最后,以飞控系统软件为例,对算法进行实例验证。 展开更多
关键词 AADL模型 错误模型 软件安全性 马尔科夫链
在线阅读 下载PDF
《面向对象软件工程》双语教学的实践与反思 被引量:9
11
作者 郑炜 蔡康英 周巧明 《高教探索》 CSSCI 北大核心 2007年第S1期48-49,共2页
本文首先介绍面向对象软件工程课程的主要内容,分析实施双语教学的必要性;接着介绍面向对象软件工程课程的具体教授计划和方案,最后对这门课程实施双语教学中的优点和不足进行总结.实践证明,在面向对象软件工程课程中使用双语教学是值... 本文首先介绍面向对象软件工程课程的主要内容,分析实施双语教学的必要性;接着介绍面向对象软件工程课程的具体教授计划和方案,最后对这门课程实施双语教学中的优点和不足进行总结.实践证明,在面向对象软件工程课程中使用双语教学是值得肯定和推荐的. 展开更多
关键词 面向对象 软件工程 双语教学
在线阅读 下载PDF
基于半监督学习方法的软件故障定位研究 被引量:2
12
作者 郑炜 吴潇雪 +2 位作者 谭鑫 彭耀鹏 杨帅 《西北工业大学学报》 EI CAS CSCD 北大核心 2015年第2期332-336,共5页
故障定位是软件工程中最为耗时和昂贵的活动之一,为降低软件故障定位的成本及提高故障定位的效率,机器学习方法被广泛应用于自动化软件故障定位中。传统的监督学习方法需要获取大量标记样本,这在实际项目中相当困难,且费用高昂。针对这... 故障定位是软件工程中最为耗时和昂贵的活动之一,为降低软件故障定位的成本及提高故障定位的效率,机器学习方法被广泛应用于自动化软件故障定位中。传统的监督学习方法需要获取大量标记样本,这在实际项目中相当困难,且费用高昂。针对这一问题,提出采用半监督学习方法进行软件故障定位的思想,故障定位基于语句级别,通过应用程序中可执行语句与测试用例执行之间动态属性、以及传统软件故障定位中较有效的若干静态属性实现协同训练目的,得到训练良好的分类器,然后用该分类器对程序其余语句进行分类,从而得到故障语句。文章最后在Siemens Suite数据集中对算法进行验证,通过与传统监督学习算法进行对比,证明半监督学习算法在软件故障定位中的有效性。 展开更多
关键词 软件故障定位 半监督学习 协同训练算法 训练样本
在线阅读 下载PDF
工业和信息化行业门类分类方法研究 被引量:4
13
作者 李联 朱怡安 任佩琪 《统计与决策》 CSSCI 北大核心 2018年第14期16-19,共4页
随着国家对市场经济建设的逐渐深入,以及信息化技术的发展,传统招投标已很难满足需求,基于大数据的招投标平台开始逐渐成为各地发展趋势。当前平台所能使用的分类为2011年颁发的《国民经济行业分类》,但该分类方法已不能适应新兴行业发... 随着国家对市场经济建设的逐渐深入,以及信息化技术的发展,传统招投标已很难满足需求,基于大数据的招投标平台开始逐渐成为各地发展趋势。当前平台所能使用的分类为2011年颁发的《国民经济行业分类》,但该分类方法已不能适应新兴行业发展的需要,文章结合各自特点和发展趋势,构建了一套工业和信息化行业门类分类标准。 展开更多
关键词 招投标 工业与信息化 行业分类
在线阅读 下载PDF
重复软件缺陷报告检测方法综述 被引量:3
14
作者 郑炜 王晓龙 +4 位作者 陈翔 夏鑫 廖慧玲 刘程远 孙瑞阳 《软件学报》 EI CSCD 北大核心 2022年第6期2288-2311,共24页
软件缺陷在软件的开发和维护过程中是不可避免的,软件缺陷报告是软件维护过程中重要的缺陷描述文档,高质量的软件缺陷报告可以有效提高软件缺陷修复的效率.然而,由于存在许多开发人员、测试人员和用户与缺陷跟踪系统交互并提交软件缺陷... 软件缺陷在软件的开发和维护过程中是不可避免的,软件缺陷报告是软件维护过程中重要的缺陷描述文档,高质量的软件缺陷报告可以有效提高软件缺陷修复的效率.然而,由于存在许多开发人员、测试人员和用户与缺陷跟踪系统交互并提交软件缺陷报告,同一个软件缺陷可能被不同的人员报告,导致了大量重复的软件缺陷报告.重复的软件缺陷报告势必加重人工检测重复缺陷报告的工作量,并造成人力物力的浪费,降低了软件缺陷修复的效率.以系统文献调研的方式,对近年来国内外学者在重复软件缺陷报告检测领域的研究工作进行了系统的分析.主要从研究方法、数据集的选取、性能评价等方面具体分析总结,并提出该领域在后续研究中存在的问题、挑战以及建议. 展开更多
关键词 缺陷报告 重复检测 深度学习 自然语言处理 信息检索
在线阅读 下载PDF
基于序贯博弈多智能体强化学习的综合模块化航空电子系统重构方法 被引量:8
15
作者 张涛 张文涛 +3 位作者 代凌 陈婧怡 王丽 魏倩茹 《电子学报》 EI CAS CSCD 北大核心 2022年第4期954-966,共13页
动态重构是一种有效的综合模块化航空电子系统故障容错方法.重构蓝图定义了系统故障环境下的应用迁移与资源重配置方案,是以最小代价重构恢复系统功能的关键.在复杂多级关联故障模式下,如何快速自动生成有效重构蓝图是其难点.针对该问题... 动态重构是一种有效的综合模块化航空电子系统故障容错方法.重构蓝图定义了系统故障环境下的应用迁移与资源重配置方案,是以最小代价重构恢复系统功能的关键.在复杂多级关联故障模式下,如何快速自动生成有效重构蓝图是其难点.针对该问题,本文提出一种基于序贯博弈多智能体强化学习的综合模块化航空电子系统重构方法.该方法引入序贯博弈模型,将因受故障影响而需要迁移重构的应用软件定义为博弈中的智能体,根据应用软件优先级确定序贯博弈的顺序.针对序贯博弈过程中多智能体间竞争与合作的问题,算法使用强化学习中的策略梯度,通过控制与环境交互中的动作选择概率来优化重构效果.应用基于有偏估计的策略梯度蒙特卡洛树搜索算法更新博弈策略,解决了传统策略梯度算法震荡难收敛、计算耗时长问题.实验结果表明,与差分进化、Q学习等方法相比,所提算法的优化性能和稳定性均具有显著优势. 展开更多
关键词 综合模块化航空电子系统 序贯博弈 策略梯度 多智能体强化学习 蒙特卡洛树搜索 重构
在线阅读 下载PDF
基于Socket的安全即时通讯软件的设计 被引量:11
16
作者 李延松 余隋怀 吴博 《科学技术与工程》 2007年第12期2974-2977,共4页
在开放式网络为人们远程通信带来便利的同时,也因为其先天存在的问题导致网络传输的安全性日益下降,开放式网络存在的安全问题越来越引起人们的广泛关注。如何保证敏感信息在网络上安全的传输成为一个重要的研究课题。基于网络通信的软... 在开放式网络为人们远程通信带来便利的同时,也因为其先天存在的问题导致网络传输的安全性日益下降,开放式网络存在的安全问题越来越引起人们的广泛关注。如何保证敏感信息在网络上安全的传输成为一个重要的研究课题。基于网络通信的软件在设计过程中就应该考虑到如何才能最大限度上对用户的敏感信息进行保护,本系统使用密码学中的DH(Diffie-Hellman)算法和DES算法,在Socket编程的基础上设计安全的即时通讯功能。 展开更多
关键词 DIFFIE-HELLMAN DES SERIALIZABLE
在线阅读 下载PDF
自愈软件系统设计与实现方法 被引量:1
17
作者 陆伟 张龙妹 朱怡安 《计算机工程与设计》 北大核心 2015年第5期1244-1250,共7页
针对自愈软件系统功能层与自愈层交织带来的设计复杂性问题,提出系统横向模型驱动设计思想,给出一种以故障模型为中心的系统设计与实现方法。该方法能够将系统功能层与自愈层隔离,使它们的设计与实现相对独立,根据系统特点在不同阶段通... 针对自愈软件系统功能层与自愈层交织带来的设计复杂性问题,提出系统横向模型驱动设计思想,给出一种以故障模型为中心的系统设计与实现方法。该方法能够将系统功能层与自愈层隔离,使它们的设计与实现相对独立,根据系统特点在不同阶段通过故障模型加以耦合,这种松耦合方式有利于降低系统整体设计的复杂性,提高可配置性、可重用性以及可维护性。通过一个具有自愈特性的捷联惯性导航系统仿真软件的设计与实现,验证了该设计思想与方法的可行性和有效性。 展开更多
关键词 自愈软件系统 模型驱动方法 故障模型 面向方面设计 面向方面编程
在线阅读 下载PDF
B方法与UML在软件设计中的结合应用 被引量:2
18
作者 何飞 谷建华 《计算机工程与科学》 CSCD 2007年第1期134-137,共4页
形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过B方法和UML在问题对象域层次上的结合,给出一种在软件设计中... 形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过B方法和UML在问题对象域层次上的结合,给出一种在软件设计中结合应用,提高软件质量的方法。 展开更多
关键词 统一建模语言 B方法 软件设计
在线阅读 下载PDF
基于VSTS2005的家校通软件开发与测试 被引量:2
19
作者 马爽 武君胜 《科学技术与工程》 2006年第17期2790-2794,共5页
介绍了基于微软Microsoft Visual Studio 2005 Team System开发平台的家校通软件开发和测试流程。
关键词 VSTS2005 CMPP2.0 指纹识别 家校通
在线阅读 下载PDF
电子政务信息资源元数据库的研究 被引量:2
20
作者 应英 张加圣 《科学技术与工程》 2007年第10期2383-2386,共4页
研究采用元数据库统一管理元数据的方法。通过辨识政务信息资源元数据库的数据需求和功能需求,确立了所选数据库的类型,总结了元数据库的存储策略和索引策略,阐述了元数据对象从关系数据到文件系统的映射关系。最后给出了一个具体的实例... 研究采用元数据库统一管理元数据的方法。通过辨识政务信息资源元数据库的数据需求和功能需求,确立了所选数据库的类型,总结了元数据库的存储策略和索引策略,阐述了元数据对象从关系数据到文件系统的映射关系。最后给出了一个具体的实例,对元数据库如何发展进行了展望。 展开更多
关键词 信息资源 政务信息资源 元数据 元数据库
在线阅读 下载PDF
上一页 1 2 21 下一页 到第
使用帮助 返回顶部