期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
一种需求驱动的软件可信性评估及演化模型 被引量:16
1
作者 丁帅 鲁付俊 +1 位作者 杨善林 夏承遗 《计算机研究与发展》 EI CSCD 北大核心 2011年第4期647-655,共9页
软件可信性评估模型的构建依赖于对特定应用领域中可信需求的准确提取和指标系统的合理建立.对于体系结构庞大、非功能性需求复杂的软件而言,可信需求往往随着软件运行状态的转移而不断发生变化.由于可信需求的动态演化将直接影响指标... 软件可信性评估模型的构建依赖于对特定应用领域中可信需求的准确提取和指标系统的合理建立.对于体系结构庞大、非功能性需求复杂的软件而言,可信需求往往随着软件运行状态的转移而不断发生变化.由于可信需求的动态演化将直接影响指标系统的稳定性,因此引起了可信软件研究领域专家的广泛关注.针对该问题,给出一种需求驱动的软件可信性评估及演化模型.首先,剖析和总结软件可信性评估过程中涉及的关键技术,如需求分析与指标提取、可信证据采集与转换、可信性评估推理等,讨论了可信性需求演化背景下的可信性评估自主求解问题.其次,为了分析可信属性间的内在联系及可信属性相对权重的变化规律,给出关联矩阵的概念,并在此基础上提出应用于软件可信性评估指标系统自主配置的自适应重构器.最后,给出软件可信性评估及演化模型的整体框架.实验结果证明了该模型的合理性和正确性. 展开更多
关键词 需求驱动 可信性评估 自适应重构 评估模型 演化模型
在线阅读 下载PDF
基于Android平台的视频监控智能车设计 被引量:14
2
作者 王春东 杨宏 宫良一 《消防科学与技术》 CAS 北大核心 2017年第1期72-75,共4页
实现移动视频监控智能车系统。智能车能够通过蓝牙、WiFi与手机、电脑建立通信连接,通过基于Android平台的智能移动终端控制智能车行驶、自动避障,并实时地监控传感器、摄像头采集到的数据信息。介绍主控单元、电机驱动、红外避障电路... 实现移动视频监控智能车系统。智能车能够通过蓝牙、WiFi与手机、电脑建立通信连接,通过基于Android平台的智能移动终端控制智能车行驶、自动避障,并实时地监控传感器、摄像头采集到的数据信息。介绍主控单元、电机驱动、红外避障电路、电源电路、传感器、WiFi视频模块、摄像头等硬件设计和智能车控制、Android平台、通信等软件设计。测试表明,整个系统工作稳定,可实时视频监控人员无法进入的场所。 展开更多
关键词 视频监控系统 ANDROID平台 智能车 传感器
在线阅读 下载PDF
基于改进TF-IDF与BERT的领域情感词典构建方法 被引量:6
3
作者 蒋昊达 赵春蕾 +1 位作者 陈瀚 王春东 《计算机科学》 CSCD 北大核心 2024年第S01期150-158,共9页
领域情感词典的构建是领域文本情感分析的基础。现有的领域情感词典构建方法存在所筛选候选情感词冗余度高、情感极性判断失准、领域依赖性强等问题。为了提高所筛选候选情感词的领域性和判断领域情感词极性的准确程度,提出了一种基于... 领域情感词典的构建是领域文本情感分析的基础。现有的领域情感词典构建方法存在所筛选候选情感词冗余度高、情感极性判断失准、领域依赖性强等问题。为了提高所筛选候选情感词的领域性和判断领域情感词极性的准确程度,提出了一种基于改进词频-逆文档频率(TF-IDF)与BERT的领域情感词典构建方法。该方法在筛选领域候选情感词阶段对TF-IDF算法进行改进,将隐含狄利克雷分布(LDA)算法与改进后的TF-IDF算法结合,进行领域性修正,提升了所筛选候选情感词的领域性;在候选情感词极性判断阶段,将情感倾向点互信息算法(SO-PMI)与BERT结合,利用领域情感词微调BERT分类模型,提高了判断领域候选情感词情感极性的准确程度。在不同领域的用户评论数据集上进行实验,结果表明,该方法可以提高所构建领域情感词典的质量,使用该方法构建的领域情感词典用于汽车领域和手机领域文本情感分析的F1值分别达到78.02%和88.35%。 展开更多
关键词 情感分析 领域情感词典 词频-逆文档频率 隐含狄利克雷分布 情感倾向点互信息算法 BERT模型
在线阅读 下载PDF
基于融合模型与语义网络的App用户意图识别研究 被引量:1
4
作者 陈瀚 赵春蕾 +1 位作者 蒋昊达 王春东 《计算机工程》 CAS CSCD 北大核心 2024年第8期50-63,共14页
随着手机应用软件的流行,应用市场上出现了大量非结构化的中文用户评论。基于用户评论识别App用户意图,可以帮助开发人员对App软件进行有针对性的维护和改善。为了从中准确识别用户意图,提出一种基于融合模型和语义网络的App用户意图识... 随着手机应用软件的流行,应用市场上出现了大量非结构化的中文用户评论。基于用户评论识别App用户意图,可以帮助开发人员对App软件进行有针对性的维护和改善。为了从中准确识别用户意图,提出一种基于融合模型和语义网络的App用户意图识别方法FSAUIR。使用百度工具Senta判断评论的情感倾向,构建基于RoBERTa的融合意图分类模型RBMS,通过RoBERTa模型将用户评论转化为语义特征表示,并将其输入到双向门控循环单元中,以提取评论的全局上下文语义信息,同时利用多头自注意力机制和SoftPool获取关键的特征信息,保留主要特征,通过Softmax进行归一化处理,得到意图分类结果。在意图分类的基础上,引入PositionRank模型提取各意图类别下评论的关键词,计算关键词之间的共现关系,构建关键词语义网络,从而更细粒度地识别用户意图。实验结果表明,相比BERT、RoBERTa、RoBERTa-CNN等模型,RBMS模型在人工标注数据集上具有较优的分类性能,准确率、精确率、召回率、F1值分别为87.75%、88.09%、87.80%、87.88%。此外,在意图分类的结果集中,FSAUIR构建的语义网络可以高效地挖掘出用户评论中有价值的信息。 展开更多
关键词 意图识别 意图分类 RoBERTa模型 双向循环门控单元 PositionRank模型 多头自注意力机制
在线阅读 下载PDF
基于多特征检测与自适应权重调整的鲁棒联邦学习算法
5
作者 王春东 赵立扬 +1 位作者 张博宇 赵永新 《计算机科学》 CSCD 北大核心 2024年第S02期894-903,共10页
联邦学习作为一种保护隐私的分布式机器学习范式,允许多个客户端在不泄露原始训练数据的情况下协同训练全局模型。然而,由于无法直接访问客户端本地训练数据和无法监控本地训练过程,联邦学习面临各种拜占庭攻击的威胁,如数据中毒和模型... 联邦学习作为一种保护隐私的分布式机器学习范式,允许多个客户端在不泄露原始训练数据的情况下协同训练全局模型。然而,由于无法直接访问客户端本地训练数据和无法监控本地训练过程,联邦学习面临各种拜占庭攻击的威胁,如数据中毒和模型篡改攻击。这些攻击旨在扰乱联邦学习模型训练过程,降低模型性能。针对此问题,尽管已有许多研究提出了不同的聚合算法,但这些方法主要聚焦于单一拜占庭攻击场景,而忽略了实际环境中可能出现的混合拜占庭攻击所带来的威胁。为应对这一难题,受净水器的原理启发,提出了一种基于多特征检测与自适应权重调整的新型拜占庭鲁棒聚合算法FL-Sieve,旨在通过多层次的筛查过滤恶意客户端。首先,算法通过角幅相似度和模型边界测度评估客户端间的特征相似性,生成相似度矩阵并计算相似性分数;接着,利用聚类算法将相似的节点归入同一簇,以确保相似的节点能够被正确分类;随后,根据预定义规则筛选潜在良性客户端;最后,根据每个客户端的信任度智能地分配权重,进一步增强防御效果和系统鲁棒性。为了验证FL-Sieve的性能,实验利用了MNIST,Fashion-MNIST和CIFAR-10这3种数据集,考虑了Non-IID数据分布情景和混合拜占庭攻击场景。混合拜占庭客户端的数量从20%递增到49%,以模拟大规模混合拜占庭客户端攻击的场景。同时也对FL-Sieve在IID和Non-IID数据分布以及单攻击场景下的性能进行了测试。实验结果表明,FL-Sieve能够有效抵御不同场景下的拜占庭攻击,即使在高达49%的混合拜占庭客户端攻击下,FL-Sieve依然能够维持较高的主任务准确率。相比之下,几种现有的经典算法存在不同程度的失效,凸显出FL-Sieve的优势。 展开更多
关键词 联邦学习 混合拜占庭攻击 多特征检测 动态分配权重 鲁棒聚合算法
在线阅读 下载PDF
考虑船舶稳定性的多港口集装箱配载问题 被引量:15
6
作者 孙俊清 陈忱 刘凤连 《计算机工程与应用》 CSCD 2012年第32期236-243,共8页
在海上集装箱物流运输中,配载计划是攸关集装箱运输安全、营运公司高效率和低成本的重要环节。集装箱配载计划主要包括两个决定因素,船舶的稳定性和集装箱的倒箱数量,对于停靠多港口的集装箱班轮来说,这两个因素通常是矛盾的,鉴于此,讨... 在海上集装箱物流运输中,配载计划是攸关集装箱运输安全、营运公司高效率和低成本的重要环节。集装箱配载计划主要包括两个决定因素,船舶的稳定性和集装箱的倒箱数量,对于停靠多港口的集装箱班轮来说,这两个因素通常是矛盾的,鉴于此,讨论了停靠多港口的集装箱运输班轮在整个航线上的配载计划问题,建立了问题的0-1规划数学模型,该模型将船舶稳定性作为约束条件,其目标是最小化集装箱船舶在整个航线所有港口的倒箱量;设计了求解问题的改进遗传算法并对仿真数据实例进行求解。仿真实验结果表明,与通常集装箱运输班轮采用的随机配载方式和按照目的港装箱的配载方式相比,该方法所得出的配载方案使得集装箱船舶在安全性和经济效益方面有明显的提高。 展开更多
关键词 集装箱 配载计划 倒箱 稳定性
在线阅读 下载PDF
考虑感染时延的局域世界复杂网络上疾病传播行为 被引量:6
7
作者 夏承遗 孙世温 +2 位作者 刘忠信 陈增强 袁著祉 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2009年第4期615-618,共4页
将感染时延引入到经典的Susceptible-Infected-Susceptible(SIS)模型来研究局域世界复杂网络上带有时延的疾病传播行为。均匀时延和度相关时延被集成到改进的SIS模型中,通过数值仿真研究时延对传播行为的影响。结果表明感染时延会促进... 将感染时延引入到经典的Susceptible-Infected-Susceptible(SIS)模型来研究局域世界复杂网络上带有时延的疾病传播行为。均匀时延和度相关时延被集成到改进的SIS模型中,通过数值仿真研究时延对传播行为的影响。结果表明感染时延会促进疾病的爆发,大大增加复杂网络上疾病感染程度。此外,局域世界大小M也会显著影响网络中的疾病传播行为。 展开更多
关键词 局域世界 复杂网络 疾病传播 感染延时
在线阅读 下载PDF
一种心脏核磁共振图像左室壁内、外膜分割方法 被引量:8
8
作者 王元全 贾云得 《软件学报》 EI CSCD 北大核心 2009年第5期1176-1184,共9页
为了充分利用心脏核磁共振图像(magnetic resonance image,简称MRI)中关于左心室的解剖和功能信息,必须先分割左室壁内、外膜.提出一种基于Snake模型的左室壁内、外膜分割方法.首先提出了Snake模型的卷积虚拟静电场外力模型CONVEF(convo... 为了充分利用心脏核磁共振图像(magnetic resonance image,简称MRI)中关于左心室的解剖和功能信息,必须先分割左室壁内、外膜.提出一种基于Snake模型的左室壁内、外膜分割方法.首先提出了Snake模型的卷积虚拟静电场外力模型CONVEF(convolutional virtual electric field),该外力场捕捉范围大、抗噪能力强、在C形凹陷区域等问题上性能突出,而且基于卷积运算,采用快速Fourier变换可以实时计算.就左室壁内膜的分割而言,考虑到左室壁的形状近似为圆形,引入基于圆形约束的能量项.对于左室壁外膜的分割,充分挖掘了左室壁内、外膜形状上的相似性和位置上的相关性,构造了形状相似性内能和一个新的边缘图,该边缘图用来计算新的外力场.基于所有这些策略并采用内膜的分割结果初始化,可以自动、准确地分割外膜.通过对一套活体心脏MR(magnetic resonance)图像进行分割并和手工分割结果和GGVF(generalized gradient vector flow)Snake模型的分割结果进行比较,结果表明该方法是有效的. 展开更多
关键词 心脏核磁共振图像 图像分割 SNAKE模型 卷积虚拟静电场 形状约束
在线阅读 下载PDF
复杂网络上同时考虑感染延迟和非均匀传播的SIR模型 被引量:6
9
作者 赵敬 夏承遗 +1 位作者 孙世温 王莉 《智能系统学报》 CSCD 北大核心 2013年第2期128-134,共7页
为了能更有效地分析和理解传染性疾病的传播,提出了一个新颖的SIR模型,在这个传播模型里同时考虑了影响疾病传播行为的2个因素:感染延迟和非均匀传播.基于平均场理论和大量的数值仿真,给出了疾病传播临界值的解析公式,并发现感染延迟和... 为了能更有效地分析和理解传染性疾病的传播,提出了一个新颖的SIR模型,在这个传播模型里同时考虑了影响疾病传播行为的2个因素:感染延迟和非均匀传播.基于平均场理论和大量的数值仿真,给出了疾病传播临界值的解析公式,并发现感染延迟和非均匀传播对临界值影响截然不同:感染延迟能够在很大程度上减小传播阈值,促进疾病在人群中的传播;而非均匀传播能够增大传播临界值,阻碍疾病的大规模传播.当前的研究结果有助于深入理解真实复杂系统中的疾病传播行为,充分考虑感染延迟、传播机制和实际人群的拓扑结构等因素在疾病传播中的作用,从而为制定有效的传染病预防和控制措施提供理论依据. 展开更多
关键词 感染延迟 非均匀传播 临界值 复杂网络 SIR模型
在线阅读 下载PDF
基于窗口斜率表示法的心电波形相似性分析 被引量:4
10
作者 刘彤彤 戴敏 李忠义 《计算机应用》 CSCD 北大核心 2012年第10期2969-2972,共4页
针对心电波形形态相似度高和分类困难的问题,提出一种新的心电波形特征表示方法———窗口斜率法。该方法对心电波形在平面内进行窗口划分,以每个窗口内最大最小幅值差与窗口宽度的比值作为心电波形的特征信息,进行相似性分析。实验结... 针对心电波形形态相似度高和分类困难的问题,提出一种新的心电波形特征表示方法———窗口斜率法。该方法对心电波形在平面内进行窗口划分,以每个窗口内最大最小幅值差与窗口宽度的比值作为心电波形的特征信息,进行相似性分析。实验结果表明,在基于距离的分类方法中,这种特征表示方法在降低维度同时,能够减小同类波形之间的差距,扩大不同类波形之间的差距。将此方法用于心电波形的分类,可以提高分类的准确性和效率,以及分类灵敏度和特异度的稳定性。 展开更多
关键词 相似性分析 心电波形 特征表示 降维 分类
在线阅读 下载PDF
闪烁小世界网络上疾病传播的动态行为研究 被引量:2
11
作者 方义 夏承遗 +2 位作者 刘子超 孙世温 王莉 《复杂系统与复杂性科学》 EI CSCD 2011年第3期34-37,共4页
将经典的SI(Susceptible-Infected)模型集成到闪烁小世界网络中,分析疾病传播的动态行为。大量的数值仿真表明,长程连接的动态切换能够显著加快感染传播的动态过程,并且切换频率越高,疾病传播也越快。研究结果对于深入理解传染病的传播... 将经典的SI(Susceptible-Infected)模型集成到闪烁小世界网络中,分析疾病传播的动态行为。大量的数值仿真表明,长程连接的动态切换能够显著加快感染传播的动态过程,并且切换频率越高,疾病传播也越快。研究结果对于深入理解传染病的传播规律,预防和控制流行病早期在真实复杂网络中的传播具有重要的现实意义。 展开更多
关键词 疾病传播 闪烁效应 小世界网络 动力学行为
在线阅读 下载PDF
运钞车车辆路径规划策略 被引量:2
12
作者 刘晓翀 戴敏 +1 位作者 郑刚 黄庆军 《计算机应用》 CSCD 北大核心 2011年第4期1121-1124,共4页
针对实际运钞网点数每天动态变化问题,提出一种先划分、再优化的动态运钞车路线规划策略。第一阶段先采用Dijkstra算法求出两点之间的最短路径,再利用最近邻算法和均衡工作量因子求出动态需求车辆的车辆数和每条路径上的网点;第二阶段... 针对实际运钞网点数每天动态变化问题,提出一种先划分、再优化的动态运钞车路线规划策略。第一阶段先采用Dijkstra算法求出两点之间的最短路径,再利用最近邻算法和均衡工作量因子求出动态需求车辆的车辆数和每条路径上的网点;第二阶段利用前置交叉的改进遗传算法,分别优化每条路径并求出每条路径上的网点顺序,获得距离最短和时间最少的路径。实验结果表明,该策略能有效解决车辆数目和路径根据需求动态变化的问题,达到节约和合理利用资源的目的。 展开更多
关键词 车辆路径问题 均衡工作量因子 线路划分 路径优化
在线阅读 下载PDF
无线网络中节点移动性对病毒传播行为的影响 被引量:1
13
作者 刘子超 孙世温 +2 位作者 王莉 王娟 夏承遗 《河北大学学报(自然科学版)》 CAS 北大核心 2014年第1期73-77,共5页
结合无线网络上病毒传播的实际特点,以蓝牙网络为载体,通过在SIS传播模型上引入移动的网络节点,分析和研究节点的移动速率对病毒传播的影响.数值仿真采用类似于蜂窝网络的拓扑结构,使网络中的节点按照指定的角度和速度在指定的网络区域... 结合无线网络上病毒传播的实际特点,以蓝牙网络为载体,通过在SIS传播模型上引入移动的网络节点,分析和研究节点的移动速率对病毒传播的影响.数值仿真采用类似于蜂窝网络的拓扑结构,使网络中的节点按照指定的角度和速度在指定的网络区域内朝任意方向移动以建模实际网络拓扑的动态变化.结果表明节点移动越活跃,网络病毒感染速率越快,网络中被感染的节点数就越多.因此,通过控制网络中节点的移动速度来抑制无线网络中病毒的传播,进而为网络管理部门部署病毒的预警和控制措施等提供一些有意义的理论指导. 展开更多
关键词 蓝牙 移动性 无线网络 SIS模型 病毒传播 病毒控制
在线阅读 下载PDF
考虑个体移动和局域控制的SIR传染模型 被引量:2
14
作者 赵敬 方义 夏承遗 《智能系统学报》 2011年第6期515-519,共5页
为了能够有效地对疾病传播进行建模和分析,提出了带有个体移动性的考虑局部感染程度和局部控制程度的SIR模型,引入了感染半径和控制半径的概念.在二维平面空间的基础上,首先介绍了带有个体运动的模型,然后将此模型与改进的SIR模型结合,... 为了能够有效地对疾病传播进行建模和分析,提出了带有个体移动性的考虑局部感染程度和局部控制程度的SIR模型,引入了感染半径和控制半径的概念.在二维平面空间的基础上,首先介绍了带有个体运动的模型,然后将此模型与改进的SIR模型结合,通过大量的数值仿真分析感染半径和控制半径对疾病传播的影响;同时,还利用数值仿真研究了移动个体密度和个体运动方向对疾病传播的影响;此外,基于改进的SIR模型提出了一些能够抑制疾病传播的直观控制策略,如对感染个体进行隔离、控制以及对人群进行疏散等. 展开更多
关键词 个体移动 SIR模型 感染半径 控制半径
在线阅读 下载PDF
Android GUI自动化测试综述 被引量:1
15
作者 杨艺 王嬉 +1 位作者 赵春蕾 步志亮 《计算机科学》 CSCD 北大核心 2022年第S02期756-765,共10页
新类型新版本的手机应用数量与日俱增,使得传统的人工测试方法已经无法负荷,因此需要研究人员提出更加有效的自动化测试方法。在自动化测试的过程中,Android应用程序的GUI(Graphical User Interface),即图形用户界面,发挥着极其重要的作... 新类型新版本的手机应用数量与日俱增,使得传统的人工测试方法已经无法负荷,因此需要研究人员提出更加有效的自动化测试方法。在自动化测试的过程中,Android应用程序的GUI(Graphical User Interface),即图形用户界面,发挥着极其重要的作用,GUI自动化测试凭借其出色的测试覆盖率和故障检测性能,成为研究人员的重点研究对象。文中对当前GUI自动化测试的相关研究进行梳理和总结,选取其中有代表性、普遍性的自动化测试框架进行详细剖析,从测试策略、探索策略、错误报告、是否支持重放、测试环境、支持的事件类型、是否使用APP源码、是否开源、系统事件识别方法几个方面来对挑选出的自动化测试工具进行相应的分类、分析与对比。同时选取部分有代表性的自动化测试框架进行对比实验,以探究测试效率以及各自的优缺点。最后提出当前研究所面临的挑战以及未来的发展前景。 展开更多
关键词 ANDROID 自动化测试 GUI测试 测试框架 测试用例生成
在线阅读 下载PDF
基于SA-UCB算法的Android应用程序自动化测试方法
16
作者 王嬉 赵春蕾 +1 位作者 步志亮 杨艺 《计算机科学》 CSCD 北大核心 2023年第S02期789-795,共7页
针对传统强化学习算法需要行为准则学习导致测试效率偏低这一问题,提出一种基于模型的Android应用程序自动化测试方法——SA-UCB。使用Sarsa算法对测试过程进行指导,采取Q表作为动作策略的选取参照。并针对经典Sarsa算法使用的ε-greed... 针对传统强化学习算法需要行为准则学习导致测试效率偏低这一问题,提出一种基于模型的Android应用程序自动化测试方法——SA-UCB。使用Sarsa算法对测试过程进行指导,采取Q表作为动作策略的选取参照。并针对经典Sarsa算法使用的ε-greedy策略随机性过强的问题,引入上界置信算法(the Upper Confidence Bound Algorithm,UCB算法)来平衡测试过程中的“探索-利用窘境”,从而对Sarsa算法进行改进,使动作决策更加分散化,并将其应用于Android自动化测试过程,提高了测试效率。将SA-UCB方法与其他5种测试方法从测试覆盖率、测试效率、故障检测3个方面进行了测试性能的对比实验,结果表明,在相同的实验条件下,SA-UCB策略在测试覆盖率和测试效率方面具有一定优势。 展开更多
关键词 ANDROID 自动化测试 强化学习 Sarsa UCB
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部