肖芳雄

作品数：29被引量：101H指数：6
导出分析报告
供职机构：广西财经学院信息与统计学院更多>>
发文主题：进程代数WEB服务QOSWEB服务组合面向对象更多>>
发文领域：自动化与计算机技术电子电信交通运输工程机械工程更多>>
发文期刊：《高技术通讯》《上海交通大学学报》《智能计算机与应用》《电子学报》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于成团效应的众核处理器失效核分布建模方法被引量：1
《智能计算机与应用》2017年第2期19-24,30,共7页刘天扬 覃志东 肖芳雄 
国家自然科学基金(6126200);中央高校基本科研业务费专项基金(11D11209)
随机产生失效核分布的方法不能反映众核处理器物理拓扑结构的真实状况,在评价相关拓扑重构算法的效能时有失客观性。本文针对这一现状,提出了一种基于缺陷成团效应的众核处理器失效核分布建模方法。实验表明,本方法得到的物理拓扑结构...
关键词：众核处理器 缺陷分布 核级冗余 拓扑重构 
《Java Web应用开发技术》教学策略被引量：1
《福建电脑》2016年第4期76-76,96,共2页卢守东 徐辉 肖芳雄 高荣 
广西区级教改项目(2012JGA203);广西高等教育教学改革工程项目(2013JGA226);新世纪广西高等教育教改工程项目(2011JGB114);广西财经学院信息与统计学院学科建设课题(2015XK41);广西财经学院信息与统计学院学科建设课题(2015XK36)
针对《Java Web应用开发技术》课程,探讨其教学策略,以提高其教学效果。
关键词：JAVA EE 程序设计 教学策略 
财经院校计算机专业应用型人才培养模式的探索
《福建电脑》2016年第3期74-75,共2页徐辉 卢守东 肖芳雄 
新世纪广西高等教育教改工程项目(2012JGA203;2013JGA226);广西财经学院信息与统计学院学科建设课题(编号:2015XK20)
本文以广西财经学院计算机科学与技术专业为例,以培养应用型人才为出发点,提出了"1个核心+2条软件开发主线+3个能力训练途径"的"1+2+3"人才培养模式,在人才培养目标、培养方案、课程体系、实践课程体系等方面进行了教学改革和实践,提高...
关键词：计算机专业 人才培养模式 课程体系 实践能力 
基于抽象解释的服务间消息的数据约减被引量：1
《计算机科学》2015年第12期175-180,共6页蒋曹清 肖芳雄 高荣 应时 文静 
国家自然科学基础重点项目(91118003;61272113;61272108);国家自然科学基金项目(61070012;61170022;6126200);广西高校科学技术研究项目(YB2014349)资助
面向服务软件中服务间消息的变量值可能存在无穷域的情况,从而导致模型检测时产生状态空间爆炸问题。为了使终止性验证在实践上可行,需要约减模型状态空间的大小,使得计算时间和空间需求合理。为此,基于抽象解释的区间抽象理论扩展了经...
关键词：抽象解释 终止性验证 模型检测 数据约减 
面向组合式软件功能正确性和非功能满足性的统一建模方法
《计算机科学》2015年第12期162-166,共5页肖芳雄 许波 夏国恩 李国祥 闵华清 
国家自然科学基金(61262002);中国博士后科学基金(2014M562177);广西自然科学基金(2014GXNSFAA118378);广西高等学校科学技术研究项目(2013ZD060);广西高等学校优秀中青年骨干教师培养工程;广西高等学校高水平创新团队及卓越学者计划;广西财经学院数量经济学自治区级重点实验室资助
在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个重要的问题。在组合式软件的设计阶段,建立组合式软件功能和非功能的统一模型并验证其功能正确性和非功...
关键词：组合式软件 功能正确性 非功能满足性 统一建模 
基于模型检测的面向服务软件异常处理可终止性的验证方法
《小型微型计算机系统》2015年第11期2484-2491,共8页蒋曹清 肖芳雄 应时 文静 
国家自然科学基础重点项目(91118003;61272113;61272108)资助;国家自然科学基金项目(61070012;61170022;6126200)资助;广西自然科学基金项目(2015GXNSFAA139310)资助;广西高校科学技术研究项目(YB2014349)资助
针对面向服务软件异常处理的可终止性难以验证问题,提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可终止性,然后基于本文提出...
关键词：面向服务软件 异常处理 模型检测 可终止性验证 
一种优化的众核处理器核级冗余拓扑重构算法被引量：1
《计算机工程》2015年第5期50-55,共6页杨力 覃志东 肖芳雄 王绍宇 
国家自然科学基金资助项目(6126200);中央高校基本科研业务费专项基金资助项目(11D11209)
现有的行波列借拓扑重构算法是基于分级优化思想,把整体优化问题分解为以失效核为中心的局部优化问题,通过局部搜索失效核重构的最优解来求解整体优化问题的最优解。但其在局部邻域进行的是单向搜索,易导致搜索到的解并不是局部最优解,...
关键词：众核处理器 微体系结构级冗余 核级冗余 虚拟拓扑 拓扑重构 行波列借 
《Java EE程序设计》应用型教学探讨
《电脑知识与技术》2015年第10期107-108,113,共3页卢守东 高荣 徐辉 肖芳雄 
广西财经学院信息与统计学院学科建设课题（2015XK41）;广西财经学院信息与统计学院学科建设课题（2015XK36）;新世纪广西高等教育教改工程项目（2011JGB114）;广西区级教改项目（2012JGA203）;广西高等教育教学改革工程项目（2013JGA226）
在分析《Java EE程序设计》课程教学现状的基础上,结合教学实践,从理论教学、实验教学与考核方案等方面探讨课程的应用型教学模式。
关键词：JAVA EE 程序设计 教学模式 
蚁群算法求解离散最小约束去除问题被引量：1
《上海交通大学学报》2015年第3期383-386,391,共5页许波 闵华清 肖芳雄 
国家自然科学基金项目(6126200);中国博士后科学基金(2014M562177)资助
引入蚁群算法解决最小约束去除运动规划问题,在求解过程中对蚁群算法的启发函数以及信息素更新策略进行改进,使其不再易于陷入局部极值并适合求解该问题.仿真实验结果表明,该算法在解的质量和收敛速度上优于精确搜索与贪心算法.
关键词：离散最小约束去除 运动规划问题 机器人路径规划 蚁群算法 
基于蚁群优化算法的同构多核任务分配与调度被引量：8
《江苏大学学报（自然科学版）》2014年第6期679-684,共6页覃志东 侯颖 肖芳雄 
国家自然科学基金资助项目(6126200);中央高校基本科研业务费专项基金资助项目(11D11209)
针对现有流程序自动综合技术中任务分配与调度方法效率低下的问题,提出一种基于改进蚁群算法的多核任务分配与调度算法.基于建立的问题模型,改进了基本蚁群算法中的信息素更新规则和启发式信息的计算方法,并应用多样化机制避免算法早熟...
关键词：任务分配与调度 流程序 自动综合 蚁群优化算法 执行跨度 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部