一种基于概率分析的DHR模型安全性分析方法 被引量：3

1

作者 郑秋华 胡程楠 +3 位作者 崔婷婷 申延召 曾英佩 吴铤 《电子学报》 EI CAS CSCD 北大核心 2021年第8期1586-1598,共13页

动态异构冗余(Dynamic Heterogeneous Redundancy,DHR)模型的安全性分析是拟态防御的核心问题之一.本文针对DHR模型安全性量化分析问题提出了执行体-漏洞矩阵和服务体-漏洞矩阵模型,实现了DHR系统的形式化描述.提出了攻击序列法和服务... 动态异构冗余(Dynamic Heterogeneous Redundancy,DHR)模型的安全性分析是拟态防御的核心问题之一.本文针对DHR模型安全性量化分析问题提出了执行体-漏洞矩阵和服务体-漏洞矩阵模型,实现了DHR系统的形式化描述.提出了攻击序列法和服务体法的两种计算方法,从系统攻击成功率和被控制率对DHR系统进行安全性分析,推导出非合谋(合谋)盲攻击和非合谋(合谋)最优攻击4种场景下安全性指标的计算公式.通过仿真实验分析了DHR模型各因素对系统安全性的影响,给出了增强DHR系统安全性的具体建议.所提方法能用于DHR系统的安全性量化分析和比较,为DHR系统构建提供量化决策支撑. 展开更多

关键词 拟态防御 动态异构冗余 安全性分析 漏洞矩阵

在线阅读 下载PDF 职称材料

单次登录技术分析及集中身份认证平台设计 被引量：15

2

作者 张颖江 郑秋华 李腊元 《武汉理工大学学报（交通科学与工程版）》 北大核心 2004年第2期240-243,共4页

讨论了应用单次登录技术的必要性 ,分析了现阶段单次登录的主要实现技术和应用模型 ,在Agent-based SSO方案的基础上 ,提出并设计实现了一个综合各种单次登录技术的集中身份认证平台 SSOPortal,该平台实现了对 B/S应用的资源组统一授权 ,对

关键词 单次登录 代理 经纪人 集中身份认证 平台

在线阅读 下载PDF 职称材料

基于执行体划分的防御增强型动态异构冗余架构 被引量：5

3

作者 吴铤 胡程楠 +2 位作者 陈庆南 陈安邦 郑秋华 《通信学报》 EI CSCD 北大核心 2021年第3期122-134,共13页

针对DHR系统服务体在面临共同漏洞时的系统脆弱性问题,提出了一种改进的DHR架构——IDHR。该架构在DHR的基础上,首先引入根据执行体间的异构性对执行体集进行划分的执行体划分模块,以极大增强各执行体池之间的异构性。在此基础上,改进... 针对DHR系统服务体在面临共同漏洞时的系统脆弱性问题,提出了一种改进的DHR架构——IDHR。该架构在DHR的基础上,首先引入根据执行体间的异构性对执行体集进行划分的执行体划分模块,以极大增强各执行体池之间的异构性。在此基础上,改进调度模块中的动态选择算法,即采用先随机选择执行体池,再从执行体池中随机选择执行体的方式,以提高在共同漏洞下DHR系统的安全性。最后,通过随机模拟执行体和仿真Web服务器2种实验方案,从攻击成功率和被控制率2个方面对所提IDHR架构进行安全性评估。实验结果表明,IDHR架构的安全性,尤其是在共同漏洞未知情况下,明显优于传统DHR架构。 展开更多

关键词 拟态防御 拟态系统架构 动态异构冗余 安全性分析

在线阅读 下载PDF 职称材料

心理干预对术后胃瘫患者抑郁状态及疗效的影响 被引量：5

4

作者 王立平 郑秋华 徐红梅 《护理学杂志》 2009年第20期80-81,共2页

目的探讨心理干预对术后胃瘫患者抑郁状态及疗效的影响。方法将62例术后胃瘫患者按入院日单号分为对照组32例,行常规护理;双号分为观察组30例,在常规护理的基础上实施矫正认知、放松训练、工娱活动及取得家属配合等心理干预措施;连续14 ... 目的探讨心理干预对术后胃瘫患者抑郁状态及疗效的影响。方法将62例术后胃瘫患者按入院日单号分为对照组32例,行常规护理;双号分为观察组30例,在常规护理的基础上实施矫正认知、放松训练、工娱活动及取得家属配合等心理干预措施;连续14 d后评价效果。结果观察组CES-D评分显著低于本组心理干预前及对照组干预后,胃瘫疗效显著优于对照组(P<0.05,P<0.01)。结论心理干预可有效缓解术后胃瘫患者的抑郁状态,提高胃瘫疗效。 展开更多

关键词 腹部手术 胃瘫综合征 抑郁状态 心理干预

在线阅读 下载PDF 职称材料

介入科护理人员的职业暴露与防护 被引量：2

5

作者 李颖 王立平 郑秋华 《解放军护理杂志》 2007年第2期54-55,共2页

关键词 介入治疗 职业暴露 防护

在线阅读 下载PDF 职称材料

一种基于二层贝叶斯网的网络入侵检测方法 被引量：1

6

作者 程传慧 郑秋华 《武汉理工大学学报（交通科学与工程版）》 2010年第1期171-174,共4页

提出了一种基于二层贝叶斯网的网络入侵检测方法,该方法能够从审计数据中自动学习知识生成入侵模型,并根据该模型检测入侵行为,从而提高入侵检测系统得自适应性和可移植性,降低系统的误报率和误检率.并通过设计实验来验证基于贝叶斯网... 提出了一种基于二层贝叶斯网的网络入侵检测方法,该方法能够从审计数据中自动学习知识生成入侵模型,并根据该模型检测入侵行为,从而提高入侵检测系统得自适应性和可移植性,降低系统的误报率和误检率.并通过设计实验来验证基于贝叶斯网的入侵检测系统的性能,实验数据采用KDD cup 1999年的部分数据.实验结果表明:该方法在只使用10%训练数据和部分记录属性来学习的情况下,检测效果仍比较好. 展开更多

关键词 二层贝叶斯网 网络入侵检测 不确定性推理

在线阅读 下载PDF 职称材料

一种基于模型集成运算的嵌入式构件开发工具

7

作者 吴国华 李松坡 郑秋华 《科技通报》 北大核心 2011年第2期203-206,共4页

设计并实现了一种基于模型集成运算的嵌入式构件开发工具。该开发工具支持嵌入式构件的创建、编辑和管理,提供cidl编译器、VC工程文件生成器和模型转换器等集成工具,可以实现cidl文件的编译、VC工程文件和模型文件的生成。应用实例表明... 设计并实现了一种基于模型集成运算的嵌入式构件开发工具。该开发工具支持嵌入式构件的创建、编辑和管理,提供cidl编译器、VC工程文件生成器和模型转换器等集成工具,可以实现cidl文件的编译、VC工程文件和模型文件的生成。应用实例表明了该嵌入式构件开发工具的优越性。 展开更多

关键词 嵌入式开发 模型集成运算 构件

在线阅读 下载PDF 职称材料

针对任意位的CRC并行化方法及编解码器的实现

8

作者 郑秋华 谢凯年 《信息技术》 2007年第2期43-46,共4页

介绍了一种基于查表法的针对任意位数据的任意位CRC并行计算的原理及算法,克服了现有的两类CRC并行算法延时大、毛刺多或仅适于2n位数据的2n位CRC校验的缺点。该方法使并行CRC校验的传输数据位数与CRC码位数之间的选择更灵活,并且在加... 介绍了一种基于查表法的针对任意位数据的任意位CRC并行计算的原理及算法,克服了现有的两类CRC并行算法延时大、毛刺多或仅适于2n位数据的2n位CRC校验的缺点。该方法使并行CRC校验的传输数据位数与CRC码位数之间的选择更灵活,并且在加速比、功耗和面积等方面具有优势。 展开更多

关键词 任意位 CRC校验码 并行计算 查表

在线阅读 下载PDF 职称材料

一种基于Petri网的模型调度方法 被引量：8

9

作者 肖景 郑秋华 《科技通报》 北大核心 2011年第2期186-189,194,共5页

针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析。该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术... 针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析。该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题。应用实例和实验结果验证了该方法的有效性和可行性。 展开更多

关键词 PETRI网 模型验证 调度分析 形式化

在线阅读 下载PDF 职称材料

基于领域建模的代码自动生成方法 被引量：1

10

作者 周礼 郑秋华 《科技通报》 北大核心 2011年第2期199-202,共4页

提出一种基于领域建模的代码自动生成方法,该方法以模型集成计算(model integrated com-puting,MIC)为基础,开发人员以领域元模型作为领域建模语言来对应用系统进行领域建模,再通过模型解释器实现从领域模型到平台无关模型(platform ind... 提出一种基于领域建模的代码自动生成方法,该方法以模型集成计算(model integrated com-puting,MIC)为基础,开发人员以领域元模型作为领域建模语言来对应用系统进行领域建模,再通过模型解释器实现从领域模型到平台无关模型(platform independent model,PIM)的自动转换,最后使用代码生成框架对PIM进行解析,得到可执行代码。 展开更多

关键词 模型集成计算 PIM 代码自动生成

在线阅读 下载PDF 职称材料

2ZKX2148型直线振动筛电机轴折断事故的探讨

11

作者 吴理国 刘春光 +5 位作者 郑秋华 李向兵 王树宏 刘景文 王常玮 李向廷 《选煤技术》 CAS 北大核心 2002年第3期40-41,共2页

分析了 2ZKX2 14 8型直线振动筛电机轴折断事故的原因 ,利用疲劳计算找出了电机轴受力 。

关键词 2ZKX2148型直线振动筛 电机 折断事故 传动轴 疲劳寿命

在线阅读 下载PDF 职称材料

自适应滤波算法在可视对讲系统中应用的研究

12

作者 戴航 郑秋华 《现代信息科技》 2024年第8期10-14,共5页

随着生活智能化程度的不断加深,社区与住宅区的安全也越来越被摆在重要的位置。在可视对讲系统中,对讲是系统的核心,通话的质量决定了对讲的效果。在对传统自适应滤波算法进行全面分析的基础上,针对回声严重影响对讲质量的问题,提出一... 随着生活智能化程度的不断加深,社区与住宅区的安全也越来越被摆在重要的位置。在可视对讲系统中,对讲是系统的核心,通话的质量决定了对讲的效果。在对传统自适应滤波算法进行全面分析的基础上,针对回声严重影响对讲质量的问题,提出一种改进归一化最小均方算法。研究结果表明,改进归一化最小均方算法可以很好地消除可视对讲产生的回声噪音,显著改善可视对讲系统的对讲质量。 展开更多

关键词 自适应滤波算法 LMS 回声噪音

在线阅读 下载PDF 职称材料

体验模式让课堂动起来

13

作者 郑秋华 《教育界》 2021年第21期56-57,共2页

教学活动经验的积累是提高学生数学素养的重要标志。在数学学习中要让学生真正理解数学知识,掌握数学的一般规律和方法,就需要学生体验获取知识的过程。文章从体验知识来源、探究知识过程以及在探究与交流中内化等几个方面谈了如何运用... 教学活动经验的积累是提高学生数学素养的重要标志。在数学学习中要让学生真正理解数学知识,掌握数学的一般规律和方法,就需要学生体验获取知识的过程。文章从体验知识来源、探究知识过程以及在探究与交流中内化等几个方面谈了如何运用体验模式。 展开更多

关键词 体验知识 体验探究 体验过程 体验成功

在线阅读 下载PDF 职称材料

CXG-90型磁选管的应用 被引量：3

14

作者 卢志明 张宝玉 郑秋华 《煤质技术》 2002年第5期23-24,共2页

本文介绍了磁选管的工作原理、特点、应用情况及注意事项 ;

关键词 CXG-90型磁选管 磁性物质 可回收磁性物质 磁场强度 试验循环次数 粒度

在线阅读 下载PDF 职称材料

供检验用沙棘种子低温层积时间及成苗率的探讨

15

作者 王维升 赵海峰 +3 位作者 苏艳华 郑秋华 杨旭 崔士杰 《辽宁林业科技》 1995年第2期14-15,共2页

供检验用沙棘种子低温层积时间及成苗率的探讨王维升，赵海峰，苏艳华，郑秋华，杨旭，崔士杰（朝阳市林业局１２２０００）（朝阳市龙城区林业局）（朝阳市林业局）１９８２年出版的ＧＢ２７７２一８１《林业种子检验方法》规定，沙棘... 供检验用沙棘种子低温层积时间及成苗率的探讨王维升，赵海峰，苏艳华，郑秋华，杨旭，崔士杰（朝阳市林业局１２２０００）（朝阳市龙城区林业局）（朝阳市林业局）１９８２年出版的ＧＢ２７７２一８１《林业种子检验方法》规定，沙棘（Ｈ小户ｏＰｈａｅｒ｝ｌａｍｎｏｉ... 展开更多

关键词 沙棘 种子 低温层积时间 成苗率

在线阅读 下载PDF 职称材料

垂榆绿枝嫁接技术

16

作者 徐振德 王秀三 郑秋华 《辽宁林业科技》 1995年第3期17-18,共2页

垂榆绿枝嫁接技术徐振德，王秀三，郑秋华（北票市林业局１２２１００）垂榆是名贵的园林绿化树种，通过人为加工造形，可以培育成多种美丽多姿、栩栩如生的动植物形态，因而深受园林工作者的青睐。在我国北方，又作为重要的街道绿化树... 垂榆绿枝嫁接技术徐振德，王秀三，郑秋华（北票市林业局１２２１００）垂榆是名贵的园林绿化树种，通过人为加工造形，可以培育成多种美丽多姿、栩栩如生的动植物形态，因而深受园林工作者的青睐。在我国北方，又作为重要的街道绿化树种，广受欢迎。重榆主要是嫁接培育，... 展开更多

关键词 垂榆 园林树种 绿枝嫁接

在线阅读 下载PDF 职称材料