期刊文献+
共找到181篇文章
< 1 2 10 >
每页显示 20 50 100
DoS攻击下抛物型多智能体系统的输出反馈领导-跟随一致性 被引量:1
1
作者 刘艳军 昝文广 唐丽 《沈阳工业大学学报》 CAS 北大核心 2024年第5期685-692,共8页
为了解决抛物型多智能体系统(MASs)在拒绝服务(DoS)攻击下的一致性问题,提出了一种基于输出反馈方法的MASs领导-跟随一致性控制协议来应对恶意攻击者发起的DoS攻击,从而实现智能体在无向通信拓扑图上的领导-跟随一致性。对DoS攻击的频... 为了解决抛物型多智能体系统(MASs)在拒绝服务(DoS)攻击下的一致性问题,提出了一种基于输出反馈方法的MASs领导-跟随一致性控制协议来应对恶意攻击者发起的DoS攻击,从而实现智能体在无向通信拓扑图上的领导-跟随一致性。对DoS攻击的频率和持续时间进行了分析,利用Lyapunov稳定性定理推导了抛物型偏微分系统的稳定条件,证明了触发时间间隔不为零,避免了芝诺行为的发生,并通过仿真算例验证了理论结果的有效性。 展开更多
关键词 多智能体系统 拒绝服务攻击 输出反馈方法 偏微分系统 攻击频率 攻击持续时间 LYAPUNOV稳定性定理
在线阅读 下载PDF
On the Approaching Domain Obtained by Finite Element Method
2
作者 邹青松 李永海 《Northeastern Mathematical Journal》 CSCD 2002年第3期273-282,共10页
The use of finite element method leads to replacing the initial domain by an approaching domain. Under some appropriate assumptions, we prove that there exists a W1,+∞-diffeomorphism from the original domain to the a... The use of finite element method leads to replacing the initial domain by an approaching domain. Under some appropriate assumptions, we prove that there exists a W1,+∞-diffeomorphism from the original domain to the approaching domain. 展开更多
关键词 nonconforming isoparametric finite element method approaching do-main DIFFEOMORPHISM
在线阅读 下载PDF
骨铣削参数对机器人颤振稳定性影响与优化
3
作者 田和强 安金昌 +1 位作者 马洪强 孟德宝 《哈尔滨工程大学学报》 北大核心 2025年第5期988-996,共9页
为解决骨科手术机器人铣削中的颤振问题,本文提出了一种优化方法,以提升手术的安全性和质量。根据再生型颤振理论,建立了动态铣削力模型,并采用零阶频域法构建颤振稳定域模型,同时绘制了叶瓣图,以分析铣削参数的影响。以骨骼去除率为优... 为解决骨科手术机器人铣削中的颤振问题,本文提出了一种优化方法,以提升手术的安全性和质量。根据再生型颤振理论,建立了动态铣削力模型,并采用零阶频域法构建颤振稳定域模型,同时绘制了叶瓣图,以分析铣削参数的影响。以骨骼去除率为优化目标,通过实验验证确定的最佳铣削参数,显著减少了颤振,并提高了手术的稳定性和效率。这项研究为骨科手术机器人在临床应用中的安全性提供了理论依据,并为铣削工艺的优化提供了实践指导。 展开更多
关键词 骨科手术机器人 再生型颤振 动态铣削力模型 零阶频域法 颤振稳定性 叶瓣图 铣削参数 优化
在线阅读 下载PDF
基于三段论关系结构的水资源安全风险评价方法探讨
4
作者 金菊良 周亮广 +3 位作者 吴成国 周戎星 崔毅 白夏 《人民黄河》 北大核心 2025年第9期62-69,共8页
水资源安全风险评价是沟通水资源安全风险理论认识与防御实践的桥梁,科学、合理、有效的水资源安全风险评价方法研究一直是水资源安全风险防御理论和实践研究领域中的前沿和难点。在分析由水资源安全致险因子危险性、孕险环境孕险性、... 水资源安全风险评价是沟通水资源安全风险理论认识与防御实践的桥梁,科学、合理、有效的水资源安全风险评价方法研究一直是水资源安全风险防御理论和实践研究领域中的前沿和难点。在分析由水资源安全致险因子危险性、孕险环境孕险性、抗险措施抗险性、承险体脆弱性和水资源安全损失风险5个子系统及其指标作用关系形成的区域水资源安全风险传导关系结构基础上,系统梳理了评价目标、评价对象、评价指标集、评价指标测度的确定,定性指标定量化,单指标评价函数、评价指标权重和综合指标评价函数的确定以及评价结果的合理性分析等区域水资源安全风险评价方法实现过程中存在的问题。评价方法系统要素中评价对象a、评价指标b和评价目标c分别对应亚里士多德三段论逻辑结构中的小项、中项和大项,由评价对象和评价指标组成的评价论据关系ab、评价指标和评价目标组成的评价论证关系bc、评价对象和评价目标组成的评价结果关系ac,分别对应亚里士多德三段论逻辑关系结构中的小前提、大前提和结论关系,区域水资源安全风险评价方法的底层逻辑就是完整的亚里士多德三段论的逻辑推理过程,评价论据关系ab、评价论证关系bc和评价结果关系ac组成了该逻辑推理过程的三段论关系结构。通过ab与bc的关系合成作用ac=ab@bc,既可实现三段论推理、得到评价结果关系ac,进行水资源安全风险评价实证分析,又可检验评价结果的合理性,形成水资源安全风险评价过程的计划-执行-检查-处理戴明循环。通过不断更新、完善评价方法,可为不断深化上述基于三段论关系结构的区域水资源安全风险评价方法研究提供普适的研究途径,在资源环境风险评价及其他相关评价方法构建中具有推广应用价值。 展开更多
关键词 水资源安全 风险评价方法 建模方法 三段论关系结构 PDCA戴明循环
在线阅读 下载PDF
北京市制造业与生产性服务业协同集聚的测度方法与时空演变 被引量:3
5
作者 郭倩钰 孙威 孙涵 《地理学报》 北大核心 2025年第2期415-432,共18页
产业协同集聚是产业发展到高级阶段的产物,也是产业协同发展在空间上的具体表现。本文从产业协同集聚的测度方法入手,针对目前研究方法中存在的可塑性面积单元问题(MAUP)和可视化效果不佳等构建了综合性的测度方法体系。利用该方法体系... 产业协同集聚是产业发展到高级阶段的产物,也是产业协同发展在空间上的具体表现。本文从产业协同集聚的测度方法入手,针对目前研究方法中存在的可塑性面积单元问题(MAUP)和可视化效果不佳等构建了综合性的测度方法体系。利用该方法体系以北京市制造业与生产性服务业协同集聚为案例进行实证研究,分析协同集聚在时间和空间上的动态演变过程和特征。结果表明:(1) 2018年行业对的集聚跨度的极差为34 km,集聚强度的平均值为0.0858,相比2008年集聚范围更分散,集聚强度有所降低,但设备制造业、科学技术、信息传输服务等知识密集型行业对则更倾向于协同集聚;(2)2008年协同集聚水平较高的行业对集中分布在城市核心区,2018年则沿着交通干线向外围地区扩散,形成“多点集聚”的分布形态,并大致与北京市规划的两业融合示范园区相对应;(3)综合来看,制造业与生产性服务业协同集聚呈现集聚强度下降,但中高度协同集聚的网格分布扩大,区域间的非均衡性缩小,空间分布得到优化,工业园区、交通可达性和信息技术发展在其中发挥了重要作用。 展开更多
关键词 协同集聚 制造业 生产性服务业 do指数 空间数据统计分析方法 北京市
原文传递
安全协议DoS攻击的形式化分析方法研究 被引量:4
6
作者 周世健 蒋睿 杨晓辉 《中国电子科学研究院学报》 2008年第6期592-598,共7页
针对形式化方法对安全协议DoS攻击分析的不足之处,提出了一种基于串空间模型的扩展形式化方法。利用扩展后的形式化方法,对IEEE802.11 i四步握手协议进行了DoS攻击分析,发现其的确存在DoS攻击漏洞。通过分析,提出一种可以改善DoS攻击的... 针对形式化方法对安全协议DoS攻击分析的不足之处,提出了一种基于串空间模型的扩展形式化方法。利用扩展后的形式化方法,对IEEE802.11 i四步握手协议进行了DoS攻击分析,发现其的确存在DoS攻击漏洞。通过分析,提出一种可以改善DoS攻击的方法,并通过了扩展形式化方法对于判断安全协议DoS攻击分析的测试规则。最后,根据扩展形式化方法对改进后的四步握手协议进行证明,得出改进后协议可以通过两类DoS测试规则运行至结束。 展开更多
关键词 安全协议 IEEE802.11I doS攻击 形式化方法 串空间
在线阅读 下载PDF
网络控制系统最新研究综述
7
作者 孙欣 刘鑫蕊 《沈阳师范大学学报(自然科学版)》 2025年第4期342-354,共13页
网络控制系统通过通信网络连接传感器、控制器和执行器,实现远程监控和智能控制,具有突破地域限制的优势,但其开放性和网络依赖性也引入了诸多问题。首先,系统分析了网络控制系统中存在的信号量化误差、数据包丢失、网络时延、带宽占用... 网络控制系统通过通信网络连接传感器、控制器和执行器,实现远程监控和智能控制,具有突破地域限制的优势,但其开放性和网络依赖性也引入了诸多问题。首先,系统分析了网络控制系统中存在的信号量化误差、数据包丢失、网络时延、带宽占用和网络安全威胁等问题;其次,在回顾网络控制系统研究成果的基础上,提出了新的控制策略,包括新型量化控制、随机丢包控制、时变时延的自触发控制、变采样周期智能调度控制、动态事件触发控制、DoS(denial of service)攻击的网络控制等;再次,归纳了相关的控制理论方法,包括随机系统法、预测控制法、时延估算与补偿、模糊反馈法、神经网络预测法;最后,提出了网络控制系统研究在未来面临的挑战。 展开更多
关键词 网络控制系统 随机丢包控制 时变时延的自触发控制 变采样周期智能调度策略 doS攻击的网络控制 随机系统法 预测控制法
在线阅读 下载PDF
满足DO-178B要求的软件需求开发方法 被引量:7
8
作者 陈鑫 王辉 牟明 《计算机工程与设计》 CSCD 北大核心 2012年第7期2673-2677,共5页
为了开发出一份满足适航标准DO-178B要求的机载软件需求规格说明书,在介绍DO-178B对机载软件需求的要求和指出机载软件需求存在问题的基础上,重点讨论了使用结构化激励响应(SSR)方法开发软件需求的6个主要步骤。以飞行显示器软件的一个... 为了开发出一份满足适航标准DO-178B要求的机载软件需求规格说明书,在介绍DO-178B对机载软件需求的要求和指出机载软件需求存在问题的基础上,重点讨论了使用结构化激励响应(SSR)方法开发软件需求的6个主要步骤。以飞行显示器软件的一个功能点为例,说明了使用SSR方法开发的软件需求单元应该具有的7个主要组成部分以及每部分的含义。通过DO-178B和SSR方法相结合,为机载软件需求开发提供了一套可行的技术方案。 展开更多
关键词 do-178B 结构化激励响应方法 机载软件 软件需求开发方法 开发步骤
在线阅读 下载PDF
DO-333标准形式化方法研究 被引量:5
9
作者 郝继锋 叶宏 任晓瑞 《航空计算技术》 2020年第1期124-129,共6页
安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念... 安全关键系统的基础软件由于其安全认证、提高软件可信性的需求,必须使用形式化方法。调研了嵌入式操作系统、编译器、网络、文件系统的形式化验证案例,在此基础之上引出机载软件形式化方法DO-333标准;阐述了形式化模型、形式化分析概念,提炼出DO-333在DO-178C的基础上,针对典型的过程活动、过程目标、其他考虑方面的变化;总结了在工程中使用形式化方法的优点和缺点。 展开更多
关键词 安全关键系统 机载软件 形式化方法 形式化模型 形式化分析 do-333 do-178C
在线阅读 下载PDF
以“学”为中心探究阅读课教学的“为”与“不为”
10
作者 雷俊霞 《科教导刊》 2025年第12期157-160,共4页
阅读在小学语文教学中占据重要地位,通过阅读,学生可累积更多语言知识,掌握更多写作方法和技巧。文章对以“学”为中心实施小学语文阅读课教学的“为”与“不为”的方法进行研究,通过打造开放性阅读环境、实施分层教学、开展小组合作学... 阅读在小学语文教学中占据重要地位,通过阅读,学生可累积更多语言知识,掌握更多写作方法和技巧。文章对以“学”为中心实施小学语文阅读课教学的“为”与“不为”的方法进行研究,通过打造开放性阅读环境、实施分层教学、开展小组合作学习活动等方式,激发学生学习热情,使其学习效率得到有效提升。 展开更多
关键词 以“学”为本 小学语文 阅读教学 “为”与“不为” 有效方法
在线阅读 下载PDF
具有不完全技术外部性的随机Learning-by-Doing模型及解法 被引量:1
11
作者 王海军 胡适耕 《华中师范大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第3期359-362,共4页
提出适用于随机Learning-by-Doing模型的"附加效用"值函数解法,并用此方法求解具有不完全技术外部性的随机learning-by-doing模型,得到了均衡时的经济增长路径、消费—资本比和值函数,讨论了技术外部性对私人资本回报率、消... 提出适用于随机Learning-by-Doing模型的"附加效用"值函数解法,并用此方法求解具有不完全技术外部性的随机learning-by-doing模型,得到了均衡时的经济增长路径、消费—资本比和值函数,讨论了技术外部性对私人资本回报率、消费倾向、均值经济增长率和个体福利的影响. 展开更多
关键词 1earning—by-doing 内生增长 技术外部性 “附加效用”值函数法
在线阅读 下载PDF
基于主动网回溯算法的防御DoS攻击模型
12
作者 陈珂 殷凡 《苏州市职业大学学报》 2006年第4期53-55,共3页
本文针对目前各种防御DoS攻击方法的不足,提出了一种新型的防御DoS攻击方法模型,该模型基于主动网(Active Netwok)代码动态分配机制,利用主动回溯方法,逐跳在网络节点上建立对DoS攻击的防御,直到在最靠近攻击源的节点建立防御,有效增强... 本文针对目前各种防御DoS攻击方法的不足,提出了一种新型的防御DoS攻击方法模型,该模型基于主动网(Active Netwok)代码动态分配机制,利用主动回溯方法,逐跳在网络节点上建立对DoS攻击的防御,直到在最靠近攻击源的节点建立防御,有效增强了网络性能,避免传输代价的提高,并且具有可编程、可移植、扩展性强的优点。最后通过仿真结果,分析了该系统的性能,并提出了进一步改进的设想。 展开更多
关键词 主动网 回溯方法 防御doS攻击
在线阅读 下载PDF
基于黑盒的量子密钥分发网络测评方法研究
13
作者 戴桦 孙歆 +4 位作者 毛易宁 李一璇 吕玉祥 王红艳 郁小松 《光通信研究》 北大核心 2025年第3期40-45,共6页
【目的】量子密钥分发网络(QKDN)是量子密钥分发(QKD)的规模化建设,通常部署于光纤通信基础设施网络。基于量子物理学原理,QKDN中的密钥分发过程被视为理论上的绝对安全,任何未授权的干扰或测量都会破坏量子态从而被立即检测到,确保了... 【目的】量子密钥分发网络(QKDN)是量子密钥分发(QKD)的规模化建设,通常部署于光纤通信基础设施网络。基于量子物理学原理,QKDN中的密钥分发过程被视为理论上的绝对安全,任何未授权的干扰或测量都会破坏量子态从而被立即检测到,确保了通信的安全性和完整性。然而,由于量子态存储技术尚未成熟,由点到点QKD扩展至多点到多点QKDN需要借助经典技术实现,新的安全威胁也随之而来。拒绝服务(DoS)攻击是经典网络中的一种常见攻击形式,被攻击者广泛利用,QKDN的应用层同样面临安全挑战。【方法】文章提出了一种自适应范围阈值(ART)检测方法来检测DoS攻击,通过网络流量模式的异常波动自动调整阈值,从而灵活识别和响应DoS攻击。【结果】仿真结果表明,基于ART的DoS攻击检测方法使检测成功率(DSR)达到80%以上。另外,从延迟时间和请求成功率两个角度衡量了QKDN的网络安全性。【结论】文章通过设置动态阈值识别网络潜在的安全威胁,并从多维度对网络安全性做出评估,为QKDN实际运行提供了一种有效的安全测评方法,也为未来制定量子信息网络安全防御策略奠定了基础。 展开更多
关键词 光纤通信 量子密钥分发 拒绝服务攻击 黑盒测试方法 安全评估
在线阅读 下载PDF
基于ARIMA模型的湘江流域DO和NH_4^+-N含量贝叶斯预测 被引量:6
14
作者 刘潭秋 王巧玲 《湖南农业大学学报(自然科学版)》 CAS CSCD 北大核心 2017年第5期575-580,共6页
为实时把控湘江流域水质的变化趋势,采用污染比较严重的湘江流域长沙段和益阳段水质指标溶解氧(DO)和氨氮(NH_4^+-N)含量的监测数据,用贝叶斯方法推断经典的ARIMA时间序列模型,并用马尔可夫链蒙特卡罗(MCMC)模拟方法对DO和NH_4^+-N含量... 为实时把控湘江流域水质的变化趋势,采用污染比较严重的湘江流域长沙段和益阳段水质指标溶解氧(DO)和氨氮(NH_4^+-N)含量的监测数据,用贝叶斯方法推断经典的ARIMA时间序列模型,并用马尔可夫链蒙特卡罗(MCMC)模拟方法对DO和NH_4^+-N含量进行贝叶斯预测。结果表明,该模型的贝叶斯预测能实现对湘江流域长沙段和益阳段水质指标DO和NH_4^+-N含量的精确点预测、区间预测和概率预测。 展开更多
关键词 湘江流域 溶解氧(do) 氨氮(NH4+-N)含量 贝叶斯预测 马尔可夫链蒙特卡罗(MCMC)模拟方法
在线阅读 下载PDF
民用装备流体敏感性喷淋试验分析
15
作者 李响涛 党磊磊 +2 位作者 何军 张强 韩玥鸣 《环境技术》 2025年第6期134-139,共6页
在RTCA/DO-160G标准中,流体敏感性喷淋试验在实施中还有较大的拓展空间,本文针对标准重点探讨流体敏感性喷淋试验的规范要求,内容涵盖试验的适用范围、试验程序、设备及流体种类,结合流体的物化特性,对样件在标准的环境温度下湿润时长... 在RTCA/DO-160G标准中,流体敏感性喷淋试验在实施中还有较大的拓展空间,本文针对标准重点探讨流体敏感性喷淋试验的规范要求,内容涵盖试验的适用范围、试验程序、设备及流体种类,结合流体的物化特性,对样件在标准的环境温度下湿润时长进行模拟分析,并采用视觉测量法对比典型流体的湿润时间差异。最后,总结了样品在不同流体喷淋后的湿润时长以及试验实施中的注意事项等问题,为民用装备流体敏感性试验实施提供建议和参考。 展开更多
关键词 民用装备 流体敏感性试验 RTCA/do-160G标准 试验方法 数据分析
在线阅读 下载PDF
基于DO-178C的非激活代码符合性举证方法研究 被引量:2
16
作者 陈刚 罗旭升 《数字技术与应用》 2019年第6期122-122,124,共2页
根据RTCA DO-178C中对非激活代码的要求,对非激活代码的定义、分类以及适航相关要求进行了进一步的研究,并提出了证明该部分的适航符合性需要向局方提供的信息。为国内民用飞机机载软件适航取证过程提供参考。
关键词 机载软件 符合性 非激活代码 do-178C 举证方法
在线阅读 下载PDF
中文WINDOWS 95/NT/3·x对中文DOS汉字输入法的全面自动接管和超前接管研究
17
作者 宋运康 《计算机工程与应用》 CSCD 北大核心 1999年第9期39-43,共5页
该文在简要介绍了目前我国在实现中文WINDOWS95/NT/3·X接管中文DOS汉字输入法的现状,分析了中文WINDOWS95/NT/3·X全面、自动、超前接管中文DOS汉字输入法的可行性,在此基础上提出了一个实现中文WINDOWS95/NT/3·... 该文在简要介绍了目前我国在实现中文WINDOWS95/NT/3·X接管中文DOS汉字输入法的现状,分析了中文WINDOWS95/NT/3·X全面、自动、超前接管中文DOS汉字输入法的可行性,在此基础上提出了一个实现中文WINDOWS95/NT/3·X全面、自动、超前接管中文DOS汉字输入法的新算法,最后给出了一个新界法演示程序。 展开更多
关键词 WINdoWS doS 接管 迁移 汉字输入法 操作系统
在线阅读 下载PDF
面向DO-178C的襟缝翼控制系统需求的形式化描述
18
作者 战芸娇 魏欧 胡军 《计算机科学》 CSCD 北大核心 2018年第4期196-202,共7页
DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于... DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于DO-178C,使用SCR方法对原飞机系统中的襟缝翼控制系统的需求文档进行形式化的需求描述,针对襟缝翼控制系统中的襟翼电机转速控制模块进行详细的案例分析,判断其是否满足DO-178C的相关验证指标。通过分析和验证,提出了SCR方法中的一些应用技巧。该工作可为SCR方法在机载软件系统中的应用提供依据。 展开更多
关键词 do-178C SCR方法 四变量模型 机载软件 T-VEC
在线阅读 下载PDF
数字化背景下高校新媒体运营课程“学-做-创”模块化教学研究
19
作者 辜逸雨 《数字通信世界》 2025年第4期204-206,共3页
本文对高校新媒体运营课程的定位与“学-做-创”模块化教学的含义进行了说明。对数字技术对新媒体运营课程“学-做-创”模块化教学的影响与作用进行了探讨,提出了进行新媒体运营课程“学-做-创”模块化教学的措施,旨在提升课程教学水平。
关键词 数字化 “学做创”模块化教学 新媒体运营课程 教学方法
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部