软件测试中评价函数的构造以及插装方法的研究 被引量：3

1

作者 王者思 叶东升 张建伟 《计算机工程与设计》 CSCD 北大核心 2013年第5期1673-1680,共8页

为了提高现在测试用例自动生成技术的自动化程度以及效率,构造了新的评价函数并且提出了一种全新的插装方式。研究了词语法分析技术,将其应用到了程序预处理的过程中,提出了一种全新的自动插装方法。对评价函数的构造进行了研究,将数据... 为了提高现在测试用例自动生成技术的自动化程度以及效率,构造了新的评价函数并且提出了一种全新的插装方式。研究了词语法分析技术,将其应用到了程序预处理的过程中,提出了一种全新的自动插装方法。对评价函数的构造进行了研究,将数据依赖、控制依赖和分支函数结合组成新的评价函数,同时采用自动插装方式将所构造的评价函数自动插装到被测程序中。采用遗传算法作为搜索算法,以MC/DC(即修正条件/判定覆盖)准则为覆盖准则,验证了改进后的评价函数,实验结果表明,该方法具有更高的覆盖率和更快的收敛速度。 展开更多

关键词 软件测试 自动插装 评价函数 遗传算法 数据依赖 控制依赖 分支函数

在线阅读 下载PDF 职称材料

基于轨迹跟踪预测的反HTV2中制导研究

2

作者 孙雪琪 张锐 《现代防御技术》 北大核心 2022年第4期62-72,共11页

针对具有高速、高机动性能的HTV2(hypersonic technology vehicle 2)目标,对采用直接碰撞拦截策略拦截弹的中制导进行了研究,给出了一种基于轨迹跟踪预测的中制导算法。该中制导算法首先使用自适应网格交互式多模型(adaptive grid inter... 针对具有高速、高机动性能的HTV2(hypersonic technology vehicle 2)目标,对采用直接碰撞拦截策略拦截弹的中制导进行了研究,给出了一种基于轨迹跟踪预测的中制导算法。该中制导算法首先使用自适应网格交互式多模型(adaptive grid interactive multi-model,AGIMM)滤波器对目标轨迹进行稳定跟踪,获取目标运动信息。之后使用基于遗忘因子的最小二乘法对目标进行轨迹预测,获取目标预测交班点处的运动状态。最后,将预测交班点处的目标状态量作为中制导约束,并使用高斯伪谱法计算最优中制导指令。使用该中制导算法对HTV2目标进行了拦截仿真,仿真结果证明了该算法的有效性。 展开更多

关键词 HTV2目标 最优中制导 目标轨迹跟踪 目标轨迹预测 高斯伪谱法 自适应网格 交互式多模型 最小二乘法

在线阅读 下载PDF 职称材料

具有角度和时间约束的固定时间协同制导律 被引量：7

3

作者 李鹤宇 王建斌 +3 位作者 张锐 宋峰 姚雨晗 楼朝飞 《宇航学报》 EI CAS CSCD 北大核心 2024年第3期462-468,共7页

针对多飞行器协同打击机动目标问题,提出一种具有终端角度约束和时间一致性约束的固定时间收敛协同中制导方法。建立二维场景下飞行器-目标视线(LOS)坐标系,将加速度分解为沿视线方向和与视线垂直方向。首先,基于代数图论和分布式合作... 针对多飞行器协同打击机动目标问题,提出一种具有终端角度约束和时间一致性约束的固定时间收敛协同中制导方法。建立二维场景下飞行器-目标视线(LOS)坐标系,将加速度分解为沿视线方向和与视线垂直方向。首先,基于代数图论和分布式合作协议算法,对飞行器的沿视线方向加速度进行设计,以保证多个飞行器的剩余飞行时间在固定时间内收敛至一致。其次,基于滑模控制理论和固定时间到达算法,构建飞行器视线法线方向加速度计算方法,使得视线角在固定时间内收敛到期望值。此外,针对目标加速度未知的问题,采用固定时间观测器进行估计,并在制导指令中进行补偿。仿真结果表明所提出的协同制导方法能够在固定时间内实现剩余飞行时间和视线角度的收敛。 展开更多

关键词 飞行器 协同制导 时间一致性 滑模控制 固定时间收敛

在线阅读 下载PDF 职称材料

基于效率提高和安全性完善的WAPI标准改进实现 被引量：4

4

作者 林秀春 全春来 王清理 《计算机工程与设计》 CSCD 北大核心 2006年第3期449-450,471,共3页

介绍了WAPI标准产生的背景和工作原理,指出了数字证书数据结构的不足,并设计了相应的改进方案,说明了改进的有效性。分析了WAI鉴别流程的缺陷,设计了相应改进措施,得出这些缺陷并不能威胁到接入的安全,从而得出WAPI具有安全上的优越性。

关键词 无线局域网鉴别与保密基础结构 无线局域网鉴别基础结构 数字证书 密钥协商 安全

在线阅读 下载PDF 职称材料

关系抽取综述 被引量：14

5

作者 谢德鹏 常青 《计算机应用研究》 CSCD 北大核心 2020年第7期1921-1924,1930,共5页

关系抽取发展至今,总体上可以分为基于规则和基于统计的抽取方式;之后出现的众多方法大多是以统计为主,辅助以规则;后来引入了包括远程监督、深度学习等模式并融合了注意力机制、多标签多实例方法。对关系抽取的发展过程和方向以及以上... 关系抽取发展至今,总体上可以分为基于规则和基于统计的抽取方式;之后出现的众多方法大多是以统计为主,辅助以规则;后来引入了包括远程监督、深度学习等模式并融合了注意力机制、多标签多实例方法。对关系抽取的发展过程和方向以及以上提到的方法进行介绍和总结。 展开更多

关键词 关系抽取 有监督方法 无监督方法 半监督方法 远程监督 神经网络 联合抽取

在线阅读 下载PDF 职称材料

增强存储保护的可信计算架构设计 被引量：2

6

作者 姜徐 蒋志祥 《计算机工程与设计》 CSCD 北大核心 2013年第9期3107-3113,共7页

通过对可信执行技术和虚拟化技术的研究,提出了一种增强存储保护的可信计算架构。通过对平台地址空间的划分,加入了支持动态度量启动的专用配置空间,保证了平台配置的正确性和加载过程的安全性;通过动态地度量加载可信虚拟机管理器,保... 通过对可信执行技术和虚拟化技术的研究,提出了一种增强存储保护的可信计算架构。通过对平台地址空间的划分,加入了支持动态度量启动的专用配置空间,保证了平台配置的正确性和加载过程的安全性;通过动态地度量加载可信虚拟机管理器,保证虚拟执行环境的安全性;利用虚拟化技术实现内存多域的安全隔离,分割域独立运行,从而保证了软件的安全运行环境;加入了直接存取访问(direct memory access,DMA)保护硬件,从而从硬件上实现了DMA访问的合法性认证。 展开更多

关键词 可信计算 存储保护 动态度量 虚拟化 直接存取访问保护

在线阅读 下载PDF 职称材料

TPS自动生成平台上的模糊故障字典法 被引量：1

7

作者 陈霖 王清理 全春来 《计算机工程与设计》 CSCD 北大核心 2005年第5期1330-1332,共3页

目前数字系统的故障诊断和测试性设计技术已经比较成熟,而模拟系统的故障诊断,尽管起步较早,但进展缓慢。这主要由于参数值的连续变化、反馈和非线性等原因,使得模拟系统的故障诊断相对比较复杂。目前已经提出了多种诊断方法,故障字典... 目前数字系统的故障诊断和测试性设计技术已经比较成熟,而模拟系统的故障诊断,尽管起步较早,但进展缓慢。这主要由于参数值的连续变化、反馈和非线性等原因,使得模拟系统的故障诊断相对比较复杂。目前已经提出了多种诊断方法,故障字典法即为其中的一种,它通常用于直流电路硬故障的诊断。由于故障因素和容差因素互相交迭,具有一定的模糊性,这给故障字典的应用带来一定的困难。提出了一种基于模糊故障字典的模拟电路故障诊断方法,用模糊故障字典取代传统的故障字典,适用于模拟电路单故障的故障诊断及故障隔离,便于计算机辅助诊断。 展开更多

关键词 模拟电路 故障诊断 故障字典 故障测试 TPS自动生成平台

在线阅读 下载PDF 职称材料

无监督的问句相似度匹配方法 被引量：2

8

作者 宋颖毅 叶东升 +1 位作者 王坤龙 葛志 《计算机应用研究》 CSCD 北大核心 2020年第S02期69-72,共4页

问句语义匹配作为常用问题集(frequently asked question,FAQ)问答中的关键任务之一,其主要目的是根据用户输入问题与数据库中问题的相似度对数据库中的问题进行排序,并选择出语义相似度高的问题答案返回给用户。通过对深度学习循环神... 问句语义匹配作为常用问题集(frequently asked question,FAQ)问答中的关键任务之一,其主要目的是根据用户输入问题与数据库中问题的相似度对数据库中的问题进行排序,并选择出语义相似度高的问题答案返回给用户。通过对深度学习循环神经网络模型的研究,将双向长短期记忆网络模型(Bi-LSTM)与统计学方法(TF-IDF)相结合,使用无监督的方式学习,生成问句的向量表示,计算问句之间的语义相似度,充分利用和挖掘句子的语义信息。通过在公开百科问答集上的对比实验,表明该方法可以很好地提高问答准确性,对于问答系统的构建有着重要意义。 展开更多

关键词 常用问答 语义相似度 双向长短期记忆网络 词频—逆向文件频率 无监督学习

在线阅读 下载PDF 职称材料

使用新型物态方程的超高速碰撞物质点法模拟 被引量：2

9

作者 李依潇 王生捷 《爆炸与冲击》 EI CAS CSCD 北大核心 2019年第10期143-149,共7页

为更准确地对超高速碰撞进行数值模拟、获得与实验结果相似度更高的碎片云形态,利用分子动力学方法求解材料的冷能、冷压,并结合Grover定标律方程,建立了一种表达形式简洁、可处理相变影响的新型物态方程,并代入自编柱坐标物质点法计算... 为更准确地对超高速碰撞进行数值模拟、获得与实验结果相似度更高的碎片云形态,利用分子动力学方法求解材料的冷能、冷压,并结合Grover定标律方程,建立了一种表达形式简洁、可处理相变影响的新型物态方程,并代入自编柱坐标物质点法计算程序,使用新型物态方程计算所得的碎片云与使用Mie-Grüneisen、Tillotson等传统物态方程的计算结果相比,在尺寸、形态方面均能够与实验结果更好地吻合,证明了新型物态方程的有效性。 展开更多

关键词 超高速碰撞 物质点法 物态方程 分子动力学

在线阅读 下载PDF 职称材料

光学字符识别综述 被引量：43

10

作者 王珂 杨芳 姜杉 《计算机应用研究》 CSCD 北大核心 2020年第S02期22-24,共3页

光学字符识别是计算机视觉领域的重要研究内容之一,在实际生产环境中具有巨大价值。传统光学字符识别包括文本图片的预处理阶段、字符区域的定位与识别以及对识别结果的后优化三个部分。随着深度学习的不断发展,传统框架被打破,基于深... 光学字符识别是计算机视觉领域的重要研究内容之一,在实际生产环境中具有巨大价值。传统光学字符识别包括文本图片的预处理阶段、字符区域的定位与识别以及对识别结果的后优化三个部分。随着深度学习的不断发展,传统框架被打破,基于深度学习的文本目标识别算法能更好地识别复杂背景下的图片。将对光学字符识别的发展历程和现阶段最新的研究结果进行介绍。 展开更多

关键词 光学字符识别 计算机视觉 深度学习 模式识别 图像处理 版面分析 目标检测

在线阅读 下载PDF 职称材料

基于深度优化残差卷积神经网络的端到端语音识别 被引量：10

11

作者 徐冬冬 蒋志翔 《计算机应用研究》 CSCD 北大核心 2020年第S02期139-141,共3页

为增强语音识别声学模型中特征提取的鲁棒性和深层网络模型训练的有效性,提出一种采用残差结构优化深层卷积神经网络的端到端语音识别模型。该方法使用连接时序分类(connectionist temporal classification,CTC)作为目标损失函数,通过... 为增强语音识别声学模型中特征提取的鲁棒性和深层网络模型训练的有效性,提出一种采用残差结构优化深层卷积神经网络的端到端语音识别模型。该方法使用连接时序分类(connectionist temporal classification,CTC)作为目标损失函数,通过在卷积神经网络层之间添加残差跳转连接,将前层中输入直接传输到后层,构建一组残差卷积层,深化了声学模型中卷积层层数。然后在残差结构内外分别添加Swish和maxout函数,改善网络存在的退化问题和梯度消失问题,进而提升了语音识别的性能。在中文数据集AISHELL-1上进行语音识别实验。研究结果表明,与传统识别模型相比,基于深度优化残差卷积神经网络的CTC模型在语音识别任务上具有更好的性能。 展开更多

关键词 残差结构 连接时序分类 Swish激活 maxout激活 深层卷积神经网络

在线阅读 下载PDF 职称材料

基于Transformer的普通话语声识别模型位置编码选择 被引量：3

12

作者 徐冬冬 《应用声学》 CSCD 北大核心 2021年第2期194-199,共6页

具有自注意机制的Transformer网络在语声识别研究领域渐渐得到广泛关注。该文围绕着将位置信息嵌入与语声特征相结合的方向,研究更加适合普通话语声识别模型的位置编码方法。实验结果得出,采用卷积编码的输入表示代替正弦位置编码,可以... 具有自注意机制的Transformer网络在语声识别研究领域渐渐得到广泛关注。该文围绕着将位置信息嵌入与语声特征相结合的方向,研究更加适合普通话语声识别模型的位置编码方法。实验结果得出,采用卷积编码的输入表示代替正弦位置编码,可以更好地融合语声特征上下文联系和相对位置信息,获得较好的识别效果。训练的语声识别系统是在Transformer模型基础上,比较4种不同的位置编码方法。结合3-gram语言模型,所提出的卷积位置编码方法,在中文语声数据集AISHELL-1上的误识率降低至8.16%。 展开更多

关键词 自注意力 位置编码 卷积

在线阅读 下载PDF 职称材料

基于元模型的Simulink静态分析技术

13

作者 王瑞 陈静 +3 位作者 王坤龙 郑一凡 柯文俊 钟季龙 《计算机应用研究》 CSCD 北大核心 2022年第1期206-213,共8页

为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖不完善的问题,设计了41条建模准则,并基于元模型理论,提出了一种共性的解析和检查框架,在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过... 为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖不完善的问题,设计了41条建模准则,并基于元模型理论,提出了一种共性的解析和检查框架,在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过一种无编译的方式来实现对Simulink模型的静态规则检查,在Simulink模型到元模型的映射过程中提取针对每条准则执行检查时需要的模型信息,并将模型重构为有向图的形式,然后在遍历过程中,对图中每个节点进行选定准则的分析处理,完成检查过程。SimREG完成了全部41条建模准则的检查过程,在与三个有代表性的规则检查工具的对比实验中取得了更好的检查结果。SimREG工具将元模型理论应用于Simulink模型的规则检查过程中,在检查速度更快的同时获得了更低的漏报率和误报率。 展开更多

关键词 SIMULINK模型 Stateflow模型 元模型 静态规则检查

在线阅读 下载PDF 职称材料