郭荣佐 作品数:43 被引量:141 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系统 防碰撞 信息交互 多叉树 基于Hi2011的DVB-C机顶盒设计与实现 被引量:1 2008年 本文介绍了数字电视机顶盒基本原理,然后设计了以Hi2011芯片为核心的DVB-C机顶盒的硬件架构,并分析了机顶盒的软件实现问题,主要包括系统的软件结构、搜台算法的实现和数据库构建等,其中重点讲述了以Hi2011芯片为核心的DVB-C机顶盒的软件体系结构和软件的设计与实现。 王霖 郭荣佐 张风荔关键词:DVB-C 数字电视机顶盒 软件体系结构 注意力特征融合的快速遥感图像目标检测算法 被引量:6 2024年 针对遥感图像背景复杂、小目标多、特征提取难等问题,提出了一种注意力特征融合的快速遥感图像目标检测算法——YOLO-Aff。该算法设计了一种带通道注意力的主干网络模块(ECALAN)以及模糊池(BP)模块来减小下采样带来的损失。此外,采用了一种无跨步卷积的特征金字塔网络(SPD-FPN)结合SimAM注意力特征融合模块(CBSA)来增强特征的跨尺度融合能力。最后,通过使用Wise-IoU作为网络的坐标损失来优化样本不均衡问题。实验结果表明,改进的YOLO-Aff算法在NWPU VHR-10数据集上的mAP值达到96%,较原算法mAP提高了2.9个百分点,为遥感图像的快速、高精度目标检测提供了新的解决方案。 吴建成 郭荣佐 成嘉伟 张浩关键词:遥感图像 目标检测 基于ARM的嵌入式站间自动闭塞控制器硬件设计 被引量:4 2010年 针对铁路信号的高可靠性要求,设计了嵌入式站间自动闭塞系统的体系结构、嵌入式闭塞控制器和控制锁.详细设计了具有冗余特性的控制器硬件、比较电路和安全锁.同时,对本控制器构成的自动站间闭塞系统进行Petri网建模及分析. 郭荣佐 郭进 张凤荔 王霖关键词:ARM PETRI网 嵌入式实时控制系统软件可靠性建模与应用 被引量:6 2013年 嵌入式实时控制系统(ERCS)广泛应用于各种控制系统中,其软件不同于普通软件,除满足实时性要求外,可靠性也是相当重要的。首先对嵌入式实时控制系统软件进行形式化抽象定义,然后对不可再分的软件模块进行可靠性建模,并应用Copula函数对软件系统进行建模,最后应用建立的模型,对具体的系统进行了软件可靠性计算。通过实例计算可知,用Copula函数建立的嵌入式实时控制系统软件可靠性模型,考虑了软件各个模块的相依性,进而得到嵌入式实时控制系统软件模块相依的可靠度较各模块独立时有所提高。 郭荣佐 黄君关键词:COPULA函数