郭荣佐 作品数: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动态预测算法、模糊卡诺模型和改进粒子群优化的服务组合方法针对服务组合的执行时间、用户满意度、可靠性和最优度进行对比实验。实验结果表明,所提模型具有更高的服务可靠性和服务故障容错可靠性,同时在服务组合的执行时间、用户满意度、可靠性和最优度等方面也具有一定的优越性。 郭荣佐 冯朝胜 秦志光关键词:物联网 智能物流 基于π网的片上多核系统任务调度算法研究 2016年 为提高片上多核系统在任务调度方面的效率,基于先进的π网来研究其任务调度算法。在简单介绍π网之后,利用π网对片上多核系统的任务调度进行建模,并对模型进行动态演化、复杂度和子网划分等分析,然后对模型进行实验和仿真。通过实验和仿真,得到的模型在调度成功率、平均调度时长和处理器核利用率等方面优于其他算法。 郭荣佐 樊相奎 郭进关键词:任务调度 调度算法 RFID系统8-4-2动态多叉树防碰撞算法设计与分析 被引量:2 2013年 针对RFID系统多标签防碰撞以及信息交互效率低下等问题﹐提出了8-4-2动态多叉树防碰撞算法和信息携带量小优先(Short message first,SMF)的信息交互算法。8-4-2DMTSA算法通过计算当前系统产生的碰撞比率动态确定搜索叉数﹐并且优化搜索命令﹐减少了空闲时隙;SMF算法通过对不同标签的信息量进行标识﹐按照信息携带量小优先原则进行交互﹐缩短了标签平均等待时延。通过仿真分析表明﹐设计的算法能够有效改善RFID系统的整体性能﹐提高系统的整体效率。 郭荣佐 张涛 黄君关键词:RFID系统 防碰撞 信息交互 多叉树 嵌入式系统硬件可靠性Copula方法建模与分析 被引量:3 2015年 嵌入式系统硬件的可靠性是十分重要的,它直接关系到嵌入式系统的质量和寿命。为了对嵌入式系统的硬件可靠性进行分析,利用Copula方法从硬件角度和层面对其进行研究。首先从嵌入式系统硬件的组成层面对其进行抽象定义;然后从组成嵌入式系统硬件的每个功能模块出发,对每个功能模块从软硬件综合角度进行可靠性建模,同时利用Copula函数建立了嵌入式系统硬件的可靠性模型;最后对嵌入式系统硬件可靠性模型的参数进行估计,给出具体的嵌入式系统硬件可靠性计算实例,并将所建立的模型与其他类型的Copula函数进行比较。通过实例化分析和验证结果表明,得到的嵌入式系统硬件Copula函数模型是切实可行的。 郭荣佐 樊相奎 崔冬霞 黎明关键词:嵌入式系统硬件 可靠性 COPULA函数 基于权重关联性的卷积神经网络模型剪枝方法 被引量:3 2021年 模型剪枝是深度学习领域对模型进行压缩加速的一种有效方法.目前结构化的剪枝方法仅对整个过滤器的权重进行评估,但当一个过滤器被移除后,依赖过滤器而存在的关联权重也会被移除,现有的方法并没有考虑这部分权重的重要性,忽略了权重关联性.同时,通过试错的方式来得到每层的剪枝比例,工作量较大.针对上述问题,本文提出一种基于权重关联性的卷积神经网络剪枝算法.首先,在经过预先训练的模型上,该算法对整个过滤器权重与其相应输出通道在下一层的关联权重进行联合评估.其次对评估值进行全局标准化,实现评估值的全局可比较,移除整个模型中重要性较小的过滤器权重从而实现剪枝.最后对剪枝后的模型进行微调,恢复模型的准确率.在CIFAR10/100数据集上,本文对VGGNet、Res Net和DenseNet模型进行实验.实验结果表明,提出的方法可以有效地压缩和加速模型,且模型仍能保持良好的精度. 严阳春 郭荣佐 杨锦霞关键词:卷积神经网络 基于binAD算法的边缘计算卸载决策 2023年 针对物联网边缘计算中计算卸载的高能耗、高时延以及移动智能设备自身条件不足等问题,提出一种基于binAD算法的边缘计算任务卸载决策。以最大化移动终端设备系统效用为目标,将任务执行计算能耗和时延加权和定义为系统效用的优化函数。将二进制人工蜂群算法和二进制差分进化算法相结合得到binAD算法,其中为扩大可行解范围、提高全局搜索能力,将最个体引入变异操作中,将交叉概率因子修改为适应性交叉概率因子。使用binAD算法解决优化问题。仿真结果表明,binAD算法在能耗、时延、系统效用方面均具有优越性。 王泽 郭荣佐关键词:物联网 基于GA-BPSO算法的MEC卸载决策 2023年 针对移动智能设备(SMD)的算力、内存和能量等无法满足计算密集型需求的问题,提出一种应用任务卸载到高性能边缘服务器的计算卸载。根据任务计算、传输等情况下的能耗和时延,构建出卸载决策系统模型;根据SMD和边缘服务器的计算能力等情况,降低SMD能耗为目标,将任务卸载决策问题描述为一个非线性约束优化问题;为对约束优化问题求解提出GA-BPSO算法,算法中将静态学习因子改为动态学习因子,将最优个体引入交叉操作中,扩大算法在解空间中的探索能力。通过实验验证GA-BPSO算法能在较短时间内收敛,实现了SMD较低的能量消耗。 王泽 郭荣佐关键词:遗传算法