无线传感器网络数据传输可靠性研究综述 被引量：16

1

作者 朱晓娟 陆阳 +1 位作者 邱述威 官骏鸣 《计算机科学》 CSCD 北大核心 2013年第9期1-7,15,共8页

无线传感器网络在资源受限和环境因素影响下数据传输的可靠性较低,然而在国防军事、工业控制等应用领域中数据传输的可靠性是评价网络性能的重要指标。首先介绍了无线传感器网络可靠性的研究意义,从可靠性评估和可靠的数据传输技术两个... 无线传感器网络在资源受限和环境因素影响下数据传输的可靠性较低,然而在国防军事、工业控制等应用领域中数据传输的可靠性是评价网络性能的重要指标。首先介绍了无线传感器网络可靠性的研究意义,从可靠性评估和可靠的数据传输技术两个方面介绍了近年来的研究成果,对这些成果进行了分类、比较,进一步展望了无线传感器网络可靠性未来的研究方向。 展开更多

关键词 无线传感器网络 可靠性评估 可靠传输协议 跨层优化 网络编码 协作通信

下载PDF 职称材料

VANET中基于不经意传输和群签名的强隐私保护方案 被引量：9

2

作者 朱晓玲 陆阳 +1 位作者 侯整风 朱晓娟 《计算机应用研究》 CSCD 北大核心 2014年第1期226-230,共5页

隐私保护是部署VANET的重要需求,事故责任判定要求隐私可揭露,因此给出可追踪的VANET隐私保护方案。为解决已有方案中权威伪造签名和权威妥协后隐私泄露问题,采取不经意传输为车辆颁发私钥,基于秘密共享联合揭露身份。为确保高效的匿名... 隐私保护是部署VANET的重要需求,事故责任判定要求隐私可揭露,因此给出可追踪的VANET隐私保护方案。为解决已有方案中权威伪造签名和权威妥协后隐私泄露问题,采取不经意传输为车辆颁发私钥,基于秘密共享联合揭露身份。为确保高效的匿名通信,采用了群签名、批验证、撤销预处理方法。安全分析表明,方案在匿名性和健壮性方面优于已有方案;性能分析表明,方案通信和计算代价与已有方案相近,可有效应用于有强隐私保护需求的VANET安全通信。 展开更多

关键词 车用自组网络 隐私保护 不经意传输 秘密共享

下载PDF 职称材料

基于贪心策略的EDF调度算法优化 被引量：5

3

作者 桑磊 陆阳 俞磊 《计算机工程》 CAS CSCD 北大核心 2015年第12期96-100,共5页

最早截止期优先(EDF)调度算法在系统过载的情况下会产生"多米诺效应",导致无法满足多数任务的实时性要求。针对该问题,提出一种基于贪心策略的最优调度集选择方法。通过引入一个表示任务价值的因子与任务的截止时间共同决定... 最早截止期优先(EDF)调度算法在系统过载的情况下会产生"多米诺效应",导致无法满足多数任务的实时性要求。针对该问题,提出一种基于贪心策略的最优调度集选择方法。通过引入一个表示任务价值的因子与任务的截止时间共同决定任务的优先级,当系统过载时,在EDF算法的可调度范围内选取重要任务作为优先调度对象。理论性能分析和实验结果表明,该算法不仅能在过载时降低实时系统的任务截止期错失率,而且能保证关键任务的优先调度。 展开更多

关键词 实时操作系统 调度算法 最早截止期优先调度 贪心策略 优先级 截止期错失率

下载PDF 职称材料

软件可靠性关键参数判定的矩估计方法 被引量：4

4

作者 陆阳 王强 +1 位作者 岳峰 邱述威 《系统工程理论与实践》 EI CSSCI CSCD 北大核心 2014年第1期248-255,共8页

已有的基于结构的软件可靠性研究中大多假设建模参数为已知常量,导致模型忽略了参数估计的统计特征对于系统可靠性的影响.针对该问题,提出一种基于矩估计的软件可靠性关键参数判定方法,该方法通过分析基于结构软件可靠性模型的特点,建... 已有的基于结构的软件可靠性研究中大多假设建模参数为已知常量,导致模型忽略了参数估计的统计特征对于系统可靠性的影响.针对该问题,提出一种基于矩估计的软件可靠性关键参数判定方法,该方法通过分析基于结构软件可靠性模型的特点,建立各建模参数的矩估计量与系统可靠性预测结果之间的关系,量化各参数对于系统可靠性的影响,判定关键参数.为系统可靠性控制、系统结构优化及软件测试资源最优化分配等问题的解决提供了理论支持,通过对两个实际软件系统的分析验证了方法的有效性. 展开更多

关键词 软件可靠性 矩估计 系统结构 关键参数判定

原文传递

基于蚁群算法的二进神经网络学习算法 被引量：3

5

作者 杨娟 陆阳 +1 位作者 方欢 朱晓娟 《电路与系统学报》 CSCD 北大核心 2012年第6期49-55,48,共8页

本文提出一种实现任意布尔函数的二进神经网络学习算法,该算法首先借助蚁群算法优化选择核心节点及节点访问顺序;其次,根据优化的节点访问顺序给出扩张分类超平面的步骤,减少了隐层神经元的数目,同时给出隐层神经元及输出元的表达形式;... 本文提出一种实现任意布尔函数的二进神经网络学习算法,该算法首先借助蚁群算法优化选择核心节点及节点访问顺序;其次,根据优化的节点访问顺序给出扩张分类超平面的步骤,减少了隐层神经元的数目,同时给出隐层神经元及输出元的表达形式;并进一步通过理论分析了该算法的收敛性。该算法成功地改进了已有学习算法的不足,并通过典型实例验证了该算法的有效性。 展开更多

关键词 二进神经网络 蚁群算法 布尔函数 学习算法 收敛性分析

下载PDF 职称材料

Markov决策过程不确定策略特征模式 被引量：2

6

作者 黄镇谨 陆阳 +1 位作者 杨娟 方欢 《计算机科学》 CSCD 北大核心 2013年第4期263-266,共4页

马尔科夫决策过程可以建模具有不确定性特征的复杂系统,而在进行模型分析时需要采用策略对不确定性进行处理。首先,研究不同策略下时空有界可达概率问题,给出不确定性解决策略的定义及分类方法。其次,在时间无关策略下,证明基于确定性... 马尔科夫决策过程可以建模具有不确定性特征的复杂系统,而在进行模型分析时需要采用策略对不确定性进行处理。首先,研究不同策略下时空有界可达概率问题,给出不确定性解决策略的定义及分类方法。其次,在时间无关策略下,证明基于确定性选取动作和随机选取动作的时空有界可达概率的一致性,并且论证了时间依赖策略相对于时间无关策略具有更好的时空有界可达概率。最后结合实例简要阐述了结论的正确性。 展开更多

关键词 马尔科夫决策过程 不确定性策略 时空有界可达概率

下载PDF 职称材料

基于扩展顺序图的多风格软件可靠性分析方法 被引量：1

7

作者 陆阳 岳峰 +1 位作者 王强 吴雷 《电子测量与仪器学报》 CSCD 2012年第7期577-585,共9页

传统UML顺序图模型在描述软件结构风格多样性方面存在不足,并且与基于离散时间Markov链的软件可靠性分析模型DTMC之间也存在差异。提出了一种基于扩展顺序图的多风格软件可靠性分析方法。首先通过分析不同软件结构风格的组成原理给出了... 传统UML顺序图模型在描述软件结构风格多样性方面存在不足,并且与基于离散时间Markov链的软件可靠性分析模型DTMC之间也存在差异。提出了一种基于扩展顺序图的多风格软件可靠性分析方法。首先通过分析不同软件结构风格的组成原理给出了对应的可靠性计算方法,然后通过对顺序图模型进行形式化扩展,使之具备了可靠性分析所必需的软件结构信息,最后将扩展的顺序图模型转换为能够处理多风格软件可靠性问题的DTMC模型。实例分析表明,这种模型和方法可以使得软件开发早期的可靠性分析工作变得更加方便、高效、合理。 展开更多

关键词 软件可靠性 离散时间Markov链 顺序图 构件软件 软件结构风格

下载PDF 职称材料

基于电子感应的鱼雷罐跟踪算法的设计与仿真 被引量：1

8

作者 刘彦彦 陆阳 汤俊 《电子技术应用》 北大核心 2016年第1期95-99,103,共6页

为了实现鱼雷罐的自动跟踪,提出了一种基于电子挂接器和车列检测器的鱼雷罐跟踪算法。该算法主要包括鱼雷罐自动挂接算法、下传点名信息算法和上传挂接信息包算法,使车列检测器能根据接收到的挂接信息包推算出车列信息,进而得到鱼雷罐... 为了实现鱼雷罐的自动跟踪,提出了一种基于电子挂接器和车列检测器的鱼雷罐跟踪算法。该算法主要包括鱼雷罐自动挂接算法、下传点名信息算法和上传挂接信息包算法,使车列检测器能根据接收到的挂接信息包推算出车列信息,进而得到鱼雷罐的位置和状态,实现鱼雷罐的跟踪和摘挂故障自排查定位,提高了鱼雷罐的周转率。并使用C#的多线程编程技术和MapInfo工具实现算法的仿真,验证了算法的正确性和实用性。 展开更多

关键词 鱼雷罐 跟踪 点名 故障处理 仿真

下载PDF 职称材料

一种公平有效的假名管理模型 被引量：1

9

作者 朱晓玲 陆阳 +1 位作者 张本宏 侯整风 《计算机科学》 CSCD 北大核心 2013年第11期122-125,共4页

匿名是实现隐私保护的有效方法。由于恶意用户的存在,一些应用需要匿名追踪。针对当前可追踪匿名方案存在的两个问题:管理员的权利过大,ID和秘密关联的追踪机制产生的存储和搜索开销随着用户数量的增加而增加,提出了一种公平有效的假名... 匿名是实现隐私保护的有效方法。由于恶意用户的存在,一些应用需要匿名追踪。针对当前可追踪匿名方案存在的两个问题:管理员的权利过大,ID和秘密关联的追踪机制产生的存储和搜索开销随着用户数量的增加而增加,提出了一种公平有效的假名管理模型。模型由假名证书发行、应用和协同追踪组成;采用新的部分盲签名协议确保CA参与假名证书发行,但无权追踪;采用秘密共享机制确保追踪机构必须协同才可揭露假名。由于实现了发行和追踪的分离且追踪机构无需存储、搜索ID与秘密的关联,因此所提模型有效地解决了上述问题。分析表明,模型具有匿名性、可追踪性、不可伪造性、健壮性、公平性,可应用于有匿名追踪需求的Internet安全通信,且能够与传统的PKI应用较好地衔接。 展开更多

关键词 匿名 假名管理 部分盲签名 协同追踪

下载PDF 职称材料

基于Petri网的复杂空竭休假排队系统的性能评价 被引量：1

10

作者 方欢 陆阳 +1 位作者 葛方振 黄镇谨 《应用科学学报》 EI CAS CSCD 北大核心 2012年第4期379-386,共8页

针对复杂空竭排队系统难以得到性能指标解析解的问题,提出基于Petri网模拟的近似解方法.通过CPN Tools建立4种休假策略下排队系统的Petri网模型,在定义排队系统的性能指标数学期望公式的基础上,使用Data Collector采集模型模拟的动态数... 针对复杂空竭排队系统难以得到性能指标解析解的问题,提出基于Petri网模拟的近似解方法.通过CPN Tools建立4种休假策略下排队系统的Petri网模型,在定义排队系统的性能指标数学期望公式的基础上,使用Data Collector采集模型模拟的动态数据,得到相关的性能指标结果和期望收益.仿真结果表明这种基于Petri网模型的近似求解方法是有效的,建立的模型和基于模型的性能分析方法具有可扩展性、复用性和界面友好性. 展开更多

关键词 复杂排队系统 空竭休假服务 PETRI网 休假策略 近似解

下载PDF 职称材料

在矿井运输监控系统中任务级联锁的实现方法——基于自主驾驶矿井运输监控系统中的研究及应用 被引量：1

11

作者 薛佳 刘旭 +2 位作者 刘贤忠 程运安 徐自军 《中国金属通报》 2019年第11期71-72,共2页

涉及一种基于自主驾驶的矿井运输监控系统中的任务级联锁实现方法的研究及应用。包括不同机车司机操作下联锁进路及信号的开放,并且考虑多车同时申请任务时的进路开放。本文提出的区域任务级联锁,提高了运输效率,同时避免了过多的人员操... 涉及一种基于自主驾驶的矿井运输监控系统中的任务级联锁实现方法的研究及应用。包括不同机车司机操作下联锁进路及信号的开放,并且考虑多车同时申请任务时的进路开放。本文提出的区域任务级联锁,提高了运输效率,同时避免了过多的人员操作,减少了作业的安全隐患,一定程度上保障了井下作业的安全性。 展开更多

关键词 辅助运输 任务级联锁 无线定位

下载PDF 职称材料

实现故障无二义诊断的部分可观系统设计方法

12

作者 方欢 陆阳 +1 位作者 岳峰 官骏鸣 《系统仿真学报》 CAS CSCD 北大核心 2015年第3期470-479,共10页

针对故障无二义性诊断下的部分可观系统设计方法进行分析和研究,提出系统可见库所集SO的确定算法OPD,给出算法OPD解存在的充要条件,证明系统在SO可见的情况下,系统所有变迁都是可区分的,并指出该算法满足多项式级的时间复杂度。在OPD算... 针对故障无二义性诊断下的部分可观系统设计方法进行分析和研究,提出系统可见库所集SO的确定算法OPD,给出算法OPD解存在的充要条件,证明系统在SO可见的情况下,系统所有变迁都是可区分的,并指出该算法满足多项式级的时间复杂度。在OPD算法的基础上,提出系统运行状态诊断算法SOSD,SOSD是SO的一步前向标识计算方法,不需要已知系统的初始状态M0就可以进行系统状态诊断。证明所提出的部分可观系统设计方法满足最优监控条件,达到了优化监控的目的。 展开更多

关键词 部分可观系统 系统设计方法 故障诊断 PETRI网 事件驱动系统

下载PDF 职称材料

混合Petri网的流体随机Petri网模型

13

作者 黄镇谨 陆阳 +1 位作者 杨娟 方欢 《计算机科学》 CSCD 北大核心 2012年第8期51-54,共4页

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟。分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角... 混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟。分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析。提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程。 展开更多

关键词 PETRI网 模型转换 混合PETRI网 流体随机PETRI网 变迁合并

下载PDF 职称材料

奇偶校验问题的二进神经网络学习算法

14

作者 杨娟 陆阳 +1 位作者 朱晓娟 邱述威 《计算机科学》 CSCD 北大核心 2013年第1期236-240,共5页

二进神经网络可以完备表达任意布尔函数,但对于孤立节点较多的奇偶校验问题却难以用简洁的网络结构实现。针对该问题,提出了一种实现奇偶校验等孤立节点较多的一类布尔函数的二进神经网络学习算法。该算法首先借助蚁群算法优化选择真节... 二进神经网络可以完备表达任意布尔函数,但对于孤立节点较多的奇偶校验问题却难以用简洁的网络结构实现。针对该问题,提出了一种实现奇偶校验等孤立节点较多的一类布尔函数的二进神经网络学习算法。该算法首先借助蚁群算法优化选择真节点及伪节点的访问顺序;其次结合几何学习算法,根据优化的节点访问顺序给出扩张分类超平面的步骤,从而减少隐层神经元的数目,同时给出了隐层神经元及输出元的表达形式;最后通过典型实例验证了该算法的有效性。 展开更多

关键词 二进神经网络 布尔函数 奇偶校验问题 蚁群算法

下载PDF 职称材料

基于单轨吊车监控系统中道岔控制研究及应用

15

作者 范宝贵 扈志成 +2 位作者 刘旭 程运安 徐自军 《内蒙古煤炭经济》 2019年第21期135-136,共2页

本文通过分析当下矿井辅助运输的现状,浅谈单轨吊车在辅助运输的作用和优势,并介绍远程道岔控制在单轨吊车监控系统中的应用。通过分析远程道岔控制在应用过程中出现的问题,提出与之相应的解决办法和安全设计。除此之外,针对系统的应用... 本文通过分析当下矿井辅助运输的现状,浅谈单轨吊车在辅助运输的作用和优势,并介绍远程道岔控制在单轨吊车监控系统中的应用。通过分析远程道岔控制在应用过程中出现的问题,提出与之相应的解决办法和安全设计。除此之外,针对系统的应用场景及其操作安全性的考虑,提出可扩展的多种道岔控制模式协同控制的方案。 展开更多

关键词 单轨吊车 道岔控制 道岔监测

下载PDF 职称材料