郭荣佐 作品数:44 被引量:147 H指数:6 供职机构: 四川师范大学 更多>> 发文基金: 国家自然科学基金 四川省教育厅自然科学科研项目 国家科技支撑计划 更多>> 相关领域: 自动化与计算机技术 电子电信 交通运输工程 更多>>
基于π演算的网络考试系统动态建模研究 被引量:1 2010年 研究网络考试系统动态建模中动态性和并发性问题,针对目前对网络考试系统的建模所使用的面向对象或面向过程的建模方法,无法完整地、有效地描述系统的动态性和并发性。为正确分析和描述网络考试系统的动态性和并发性,从而降低故障发生率,保证系统稳定性,应用π演算,建立了NESAM抽象模型来描述。对NESAM模型的进行分析和仿真,得出NESAM模型能够表征网络考试系统的动态性和并发性的结论。进行仿真计算,结果证明,对提高网络考试系统的开发效率和系统可靠性等方面具有很高的价值。 向兴元 郭荣佐 黄君关键词:网络考试系统 Π演算 动态建模 基于Copula的ERCS系统软硬件综合可靠性建模与分析 被引量:3 2014年 在现代的电子业、制造业和工业控制等系统中,系统的可靠性越来越重要,而嵌入式实时控制系统(Embedded Real-time Control System,ERCS)大部分是控制系统的核心部分,其系统可靠性尤为重要。首先对嵌入式实时控制系统软硬件进行形式化抽象定义;然后对不可再分的软件模块和IP硬核进行可靠性建模,应用Copula函数对软件子系统和硬件子系统分别进行建模,并建立了ERCS系统的软硬件综合可靠性Copula模型;最后应用建立的模型,对具体的系统进行了软硬件综合可靠性计算。通过实例计算可知,用Copula建立的ERCS软硬件综合可靠性模型考虑了软件各个模块间、硬件各个IP硬核间和软硬件间的相依性,使得ERCS软硬件综合可靠性比独立时有所提高。 郭荣佐关键词:COPULA函数 可靠性 软硬件 嵌入式系统源程序级软件能耗建模与分析 被引量:2 2017年 针对嵌入式系统能耗对各种嵌入式设备工作时长的影响,从系统指令级到源程序级的软件能耗考虑,首先通过分析设备源程序级语句的相关特征,基于源程序语句的指令能耗,提出一种针对源程序级的能耗模型;然后基于模型分析对五种经典算法的源程序中不同类别语句进行能耗优化;最后分别对五组经典算法优化前后的能耗进行比较。实验表明,该模型使得优化后的源程序能耗降低了9.46%~50.29%,达到了降低嵌入式系统软件能耗的目的。 叶珊 郭荣佐 黄君关键词:嵌入式系统 指令级 物联网智能物流系统容错服务组合建模与分析 被引量:11 2019年 针对物流领域的服务组合存在容错性差和服务不可靠等问题,提出一种基于π网的物联网智能物流系统物流服务容错组合模型。首先,在简单介绍物联网智能物流系统后,给出了物联网智能物流系统的容错服务组合框架;然后,基于π网建立了物联网智能物流系统物流服务容错组合模型,并对模型进行了容错正确性和拟合性分析;最后,对提出的模型进行了服务可靠性、服务故障容错可靠性实验,并与Petri网、QoS动态预测算法、模糊卡诺模型和改进粒子群优化的服务组合方法针对服务组合的执行时间、用户满意度、可靠性和最优度进行对比实验。实验结果表明,所提模型具有更高的服务可靠性和服务故障容错可靠性,同时在服务组合的执行时间、用户满意度、可靠性和最优度等方面也具有一定的优越性。 郭荣佐 冯朝胜 秦志光关键词:物联网 智能物流 基于μC/OS—Ⅱ的联锁控制器设计与实现 车站铁路信号联锁系统是铁路信号领域的重要控制系统之一。当前广泛使用的是电气联锁系统又称为继电联锁系统。但随着目前计算机技术的迅猛发展,计算机联锁系统正在逐步取代传统的电气联锁系统,成为车站联锁的发展方向。
本文研究... 郭荣佐关键词:铁路信号 计算机联锁 嵌入式系统 基于DRL的无人机辅助MEC任务卸载算法 被引量:1 2024年 针对无人机辅助移动边缘计算系统中任务卸载问题,结合深度确定性策略梯度算法(deep deterministic policy gradient,DDPG)、改进优先经验回放机制、退火思想,提出一种深度强化学习卸载算法PPS-DDPG。采用部分卸载策略,在时延约束下,联合优化用户调度、资源分配以及无人机飞行轨迹,以最小化终端用户总能耗为目标建立数学模型,运用深度强化学习算法寻找最优卸载决策。通过大量仿真实验,验证了该算法能够有效降低终端能耗,在性能和收敛程度上优于基准方案。 吴文娇 郭荣佐 樊相奎关键词:无人机 资源分配 物联网边缘计算服务容灾算法分析与验证 被引量:3 2020年 物联网边缘计算服务部署的密集性和多样性等,导致服务存在数据保护和服务可靠性方面的问题,为此设计物联网边缘计算的服务容灾架构和容灾算法。对物联网边缘计算架构及服务容灾框架进行设计,对物联网边缘计算的服务容灾算法进行设计,提出物联网边缘计算的服务容灾算法;对算法的时间、空间和可靠性等进行分析与实验验证,对算法在负载变化的适应性和数据丢失率等容灾特性进行验证。对所提物联网边缘计算服务容灾算法的分析与验证结果表明,该算法在时间和可靠性等方面具有一定的先进性。 黎明 李露 郭荣佐关键词:物联网 物联网边缘计算资源分配模糊建模与优化研究 被引量:10 2020年 针对物联网边缘计算资源分配问题,提出模糊多目标优化资源分配算法.先对物联网边缘计算架构进行设计,提出一种含有虚拟化控制器的边缘网关型物联网边缘计算系统架构.然后,利用模糊优化理论,建立了物联网边缘计算系统资源分配模糊多目标函数模型,利用非线性六角模糊数对目标函数进行求解,提出了多目标向单目标转换算法和一种基于改进遗传算法的模因算法对模糊目标函数进行优化.最后,对所提出的物联网边缘计算系统资源分配的模糊优化方法进行实验和仿真,并与禁忌搜索元启发式算法、捕食搜索算法和多目标遗传算法进行对比仿真,本文算法在系统时延、边缘设备平均能耗、满意度等方面,都得到比较优异的资源分配结果. 郭荣佐 邓涵文 陈芳莹 黄君关键词:资源分配 物联网 MEC联合资源分配与计算卸载的效益 被引量:2 2022年 针对资源受限的移动边缘计算(MEC)卸载问题,提出一种基于遗传算法优化的卸载决策与计算资源分配方法(GAO)。建立联合时延、能耗以及卸载费用的系统卸载效益模型,提出最小资源分配阈值;引入改进的遗传算法求解效益最大化问题,针对该问题提出一种两段式的染色体结构和遗传算子。进行仿真实验,对比分析随机卸载决策与平均计算资源分配、全部卸载决策与随机计算资源分配等4种策略,GAO均优于其它策略,提高了系统卸载效益。进行灵敏度分析,该方法在设备数量、传输功率等参数下均具有较好的性能。 杨锦霞 郭荣佐 陈芳莹关键词:资源分配 效益最大化 遗传算法 基于π网的片上多核系统任务调度算法研究 2016年 为提高片上多核系统在任务调度方面的效率,基于先进的π网来研究其任务调度算法。在简单介绍π网之后,利用π网对片上多核系统的任务调度进行建模,并对模型进行动态演化、复杂度和子网划分等分析,然后对模型进行实验和仿真。通过实验和仿真,得到的模型在调度成功率、平均调度时长和处理器核利用率等方面优于其他算法。 郭荣佐 樊相奎 郭进关键词:任务调度 调度算法