一种需求驱动的软件可信性评估及演化模型 被引量：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 职称材料

基于多特征检测与自适应权重调整的鲁棒联邦学习算法

3

作者 王春东 赵立扬 +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

4

作者 孙俊清 陈忱 刘凤连 《计算机工程与应用》 CSCD 2012年第32期236-243,共8页

在海上集装箱物流运输中,配载计划是攸关集装箱运输安全、营运公司高效率和低成本的重要环节。集装箱配载计划主要包括两个决定因素,船舶的稳定性和集装箱的倒箱数量,对于停靠多港口的集装箱班轮来说,这两个因素通常是矛盾的,鉴于此,讨... 在海上集装箱物流运输中,配载计划是攸关集装箱运输安全、营运公司高效率和低成本的重要环节。集装箱配载计划主要包括两个决定因素,船舶的稳定性和集装箱的倒箱数量,对于停靠多港口的集装箱班轮来说,这两个因素通常是矛盾的,鉴于此,讨论了停靠多港口的集装箱运输班轮在整个航线上的配载计划问题,建立了问题的0-1规划数学模型,该模型将船舶稳定性作为约束条件,其目标是最小化集装箱船舶在整个航线所有港口的倒箱量;设计了求解问题的改进遗传算法并对仿真数据实例进行求解。仿真实验结果表明,与通常集装箱运输班轮采用的随机配载方式和按照目的港装箱的配载方式相比,该方法所得出的配载方案使得集装箱船舶在安全性和经济效益方面有明显的提高。 展开更多

关键词 集装箱 配载计划 倒箱 稳定性

在线阅读 下载PDF 职称材料

考虑感染时延的局域世界复杂网络上疾病传播行为 被引量：6

5

作者 夏承遗 孙世温 +2 位作者 刘忠信 陈增强 袁著祉 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2009年第4期615-618,共4页

将感染时延引入到经典的Susceptible-Infected-Susceptible(SIS)模型来研究局域世界复杂网络上带有时延的疾病传播行为。均匀时延和度相关时延被集成到改进的SIS模型中,通过数值仿真研究时延对传播行为的影响。结果表明感染时延会促进... 将感染时延引入到经典的Susceptible-Infected-Susceptible(SIS)模型来研究局域世界复杂网络上带有时延的疾病传播行为。均匀时延和度相关时延被集成到改进的SIS模型中,通过数值仿真研究时延对传播行为的影响。结果表明感染时延会促进疾病的爆发,大大增加复杂网络上疾病感染程度。此外,局域世界大小M也会显著影响网络中的疾病传播行为。 展开更多

关键词 局域世界 复杂网络 疾病传播 感染延时

在线阅读 下载PDF 职称材料

复杂网络上同时考虑感染延迟和非均匀传播的SIR模型 被引量：6

6

作者 赵敬 夏承遗 +1 位作者 孙世温 王莉 《智能系统学报》 CSCD 北大核心 2013年第2期128-134,共7页

为了能更有效地分析和理解传染性疾病的传播,提出了一个新颖的SIR模型,在这个传播模型里同时考虑了影响疾病传播行为的2个因素:感染延迟和非均匀传播.基于平均场理论和大量的数值仿真,给出了疾病传播临界值的解析公式,并发现感染延迟和... 为了能更有效地分析和理解传染性疾病的传播,提出了一个新颖的SIR模型,在这个传播模型里同时考虑了影响疾病传播行为的2个因素:感染延迟和非均匀传播.基于平均场理论和大量的数值仿真,给出了疾病传播临界值的解析公式,并发现感染延迟和非均匀传播对临界值影响截然不同:感染延迟能够在很大程度上减小传播阈值,促进疾病在人群中的传播;而非均匀传播能够增大传播临界值,阻碍疾病的大规模传播.当前的研究结果有助于深入理解真实复杂系统中的疾病传播行为,充分考虑感染延迟、传播机制和实际人群的拓扑结构等因素在疾病传播中的作用,从而为制定有效的传染病预防和控制措施提供理论依据. 展开更多

关键词 感染延迟 非均匀传播 临界值 复杂网络 SIR模型

在线阅读 下载PDF 职称材料

基于窗口斜率表示法的心电波形相似性分析 被引量：4

7

作者 刘彤彤 戴敏 李忠义 《计算机应用》 CSCD 北大核心 2012年第10期2969-2972,共4页

针对心电波形形态相似度高和分类困难的问题,提出一种新的心电波形特征表示方法———窗口斜率法。该方法对心电波形在平面内进行窗口划分,以每个窗口内最大最小幅值差与窗口宽度的比值作为心电波形的特征信息,进行相似性分析。实验结... 针对心电波形形态相似度高和分类困难的问题,提出一种新的心电波形特征表示方法———窗口斜率法。该方法对心电波形在平面内进行窗口划分,以每个窗口内最大最小幅值差与窗口宽度的比值作为心电波形的特征信息,进行相似性分析。实验结果表明,在基于距离的分类方法中,这种特征表示方法在降低维度同时,能够减小同类波形之间的差距,扩大不同类波形之间的差距。将此方法用于心电波形的分类,可以提高分类的准确性和效率,以及分类灵敏度和特异度的稳定性。 展开更多

关键词 相似性分析 心电波形 特征表示 降维 分类

在线阅读 下载PDF 职称材料

闪烁小世界网络上疾病传播的动态行为研究 被引量：2

8

作者 方义 夏承遗 +2 位作者 刘子超 孙世温 王莉 《复杂系统与复杂性科学》 EI CSCD 2011年第3期34-37,共4页

将经典的SI(Susceptible-Infected)模型集成到闪烁小世界网络中,分析疾病传播的动态行为。大量的数值仿真表明,长程连接的动态切换能够显著加快感染传播的动态过程,并且切换频率越高,疾病传播也越快。研究结果对于深入理解传染病的传播... 将经典的SI(Susceptible-Infected)模型集成到闪烁小世界网络中,分析疾病传播的动态行为。大量的数值仿真表明,长程连接的动态切换能够显著加快感染传播的动态过程,并且切换频率越高,疾病传播也越快。研究结果对于深入理解传染病的传播规律,预防和控制流行病早期在真实复杂网络中的传播具有重要的现实意义。 展开更多

关键词 疾病传播 闪烁效应 小世界网络 动力学行为

在线阅读 下载PDF 职称材料

运钞车车辆路径规划策略 被引量：2

9

作者 刘晓翀 戴敏 +1 位作者 郑刚 黄庆军 《计算机应用》 CSCD 北大核心 2011年第4期1121-1124,共4页

针对实际运钞网点数每天动态变化问题,提出一种先划分、再优化的动态运钞车路线规划策略。第一阶段先采用Dijkstra算法求出两点之间的最短路径,再利用最近邻算法和均衡工作量因子求出动态需求车辆的车辆数和每条路径上的网点;第二阶段... 针对实际运钞网点数每天动态变化问题,提出一种先划分、再优化的动态运钞车路线规划策略。第一阶段先采用Dijkstra算法求出两点之间的最短路径,再利用最近邻算法和均衡工作量因子求出动态需求车辆的车辆数和每条路径上的网点;第二阶段利用前置交叉的改进遗传算法,分别优化每条路径并求出每条路径上的网点顺序,获得距离最短和时间最少的路径。实验结果表明,该策略能有效解决车辆数目和路径根据需求动态变化的问题,达到节约和合理利用资源的目的。 展开更多

关键词 车辆路径问题 均衡工作量因子 线路划分 路径优化

在线阅读 下载PDF 职称材料

无线网络中节点移动性对病毒传播行为的影响 被引量：1

10

作者 刘子超 孙世温 +2 位作者 王莉 王娟 夏承遗 《河北大学学报（自然科学版）》 CAS 北大核心 2014年第1期73-77,共5页

结合无线网络上病毒传播的实际特点,以蓝牙网络为载体,通过在SIS传播模型上引入移动的网络节点,分析和研究节点的移动速率对病毒传播的影响.数值仿真采用类似于蜂窝网络的拓扑结构,使网络中的节点按照指定的角度和速度在指定的网络区域... 结合无线网络上病毒传播的实际特点,以蓝牙网络为载体,通过在SIS传播模型上引入移动的网络节点,分析和研究节点的移动速率对病毒传播的影响.数值仿真采用类似于蜂窝网络的拓扑结构,使网络中的节点按照指定的角度和速度在指定的网络区域内朝任意方向移动以建模实际网络拓扑的动态变化.结果表明节点移动越活跃,网络病毒感染速率越快,网络中被感染的节点数就越多.因此,通过控制网络中节点的移动速度来抑制无线网络中病毒的传播,进而为网络管理部门部署病毒的预警和控制措施等提供一些有意义的理论指导. 展开更多

关键词 蓝牙 移动性 无线网络 SIS模型 病毒传播 病毒控制

在线阅读 下载PDF 职称材料

考虑个体移动和局域控制的SIR传染模型 被引量：2

11

作者 赵敬 方义 夏承遗 《智能系统学报》 2011年第6期515-519,共5页

为了能够有效地对疾病传播进行建模和分析,提出了带有个体移动性的考虑局部感染程度和局部控制程度的SIR模型,引入了感染半径和控制半径的概念.在二维平面空间的基础上,首先介绍了带有个体运动的模型,然后将此模型与改进的SIR模型结合,... 为了能够有效地对疾病传播进行建模和分析,提出了带有个体移动性的考虑局部感染程度和局部控制程度的SIR模型,引入了感染半径和控制半径的概念.在二维平面空间的基础上,首先介绍了带有个体运动的模型,然后将此模型与改进的SIR模型结合,通过大量的数值仿真分析感染半径和控制半径对疾病传播的影响;同时,还利用数值仿真研究了移动个体密度和个体运动方向对疾病传播的影响;此外,基于改进的SIR模型提出了一些能够抑制疾病传播的直观控制策略,如对感染个体进行隔离、控制以及对人群进行疏散等. 展开更多

关键词 个体移动 SIR模型 感染半径 控制半径

在线阅读 下载PDF 职称材料

基于SA-UCB算法的Android应用程序自动化测试方法

12

作者 王嬉 赵春蕾 +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 职称材料