肖芳雄
作品数： 34被引量：119H指数：6
  • 所属机构:广西财经学院信息与统计学院
  • 所在地区:广西 南宁市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

黄志球
作品数：416被引量：1,068H指数：15
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 代码 本体
祝义
作品数：66被引量：172H指数：7
供职机构：江苏师范大学
研究主题：进程代数 软件体系结构 实时系统 基于UML CPS
张君华
作品数：11被引量：33H指数：3
供职机构：宁波大学
研究主题：进程代数 WEB服务 抽取 精化 安全协议
曹子宁
作品数：44被引量：103H指数：6
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：进程代数 信息物理融合系统 WEB服务 AADL WEB
周航
作品数：77被引量：131H指数：6
供职机构：南京航空航天大学
研究主题：进气道 发动机短舱 航站楼 实时系统 多态性
作品列表
基于抽取-精化的概率系统假设-保证验证
2013年
假设-保证推理是标记迁移系统组合验证的有效手段,近期,假设-保证推理在概率系统的验证中也得到了应用。在推理中,假设的学习是通过Lstar算法来完成的。针对概率系统的假设-保证推理,提出了一种新的方法:首先直接对组合系统的一个组件进行抽取,得到一个初步的假设;通过与假设-保证规则进行多次交互,不断精化该假设;最后,要么得到一个适当的假设以证明结论的正确性,要么得到一个反例来证明结论不成立。
张君华黄志球肖芳雄
一种扩展了价格信息的进程代数被引量：2
2009年
针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price processalgebra,PPA)。在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出PPA的语义,证明PPA的进程状态扩展累计成本的合理性和完备性,给出构造状态空间的算法并证明该算法的有效性,实例分析说明PPA用于成本建模和分析的可行性。
肖芳雄黄志球曹子宁张君华覃志东
关键词：进程代数
硬实时软件建模与分析的进程代数方法
2014年
针对硬实时软件缺乏有效的系统动态行为建模机制,提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程;然后提出时间调度算法,用于检查硬实时系统单个指令截止期的可满足性以及计算完成任务所需的最少时间;最后通过航空领域的一个实例来说明该方法如何应用于硬实时软件的建模与分析。该方法可以很大程度上提高硬实时软件执行时间计算的准确性,计算结果有助于硬实时系统截止期的量化分析和优化设计。
祝义黄志球张广泉周航肖芳雄
关键词：硬实时进程代数
基于蚁群优化算法的同构多核任务分配与调度被引量：8
2014年
针对现有流程序自动综合技术中任务分配与调度方法效率低下的问题,提出一种基于改进蚁群算法的多核任务分配与调度算法.基于建立的问题模型,改进了基本蚁群算法中的信息素更新规则和启发式信息的计算方法,并应用多样化机制避免算法早熟收敛.为了提高效率,算法创新地在确定任务分配方案的同时确定调度序列.以标准任务图集为试验对象,验证算法的有效性.试验结果表明:与模拟退火算法相比,使用改进的蚁群算法在优化程序的执行跨度时收敛速度较快,并且在相同的循环次数下,得到的解更接近最优解.
覃志东侯颖肖芳雄
关键词：任务分配与调度蚁群优化算法
基于抽取-精化的概率系统假设-保证验证
假设-保证推理是标记迁移系统组合验证的有效手段。近期，假设-保证推理在概率系统的验证中也得到应用。在推理中，假设的学习是通过L star算法来完成的。本文针对概率系统的假设-保证推理提出了一种新的方法。首先直接对组合系统...
张君华黄志球肖芳雄
文献传递
基于成团效应的众核处理器失效核分布建模方法被引量：1
2017年
随机产生失效核分布的方法不能反映众核处理器物理拓扑结构的真实状况,在评价相关拓扑重构算法的效能时有失客观性。本文针对这一现状,提出了一种基于缺陷成团效应的众核处理器失效核分布建模方法。实验表明,本方法得到的物理拓扑结构缺陷分布呈现出不同程度的成团特性,且成团效应会显著影响核级冗余技术的拓扑重构效果。
刘天扬覃志东肖芳雄
关键词：拓扑重构
财经院校计算机专业应用型人才培养模式的探索
2016年
本文以广西财经学院计算机科学与技术专业为例,以培养应用型人才为出发点,提出了"1个核心+2条软件开发主线+3个能力训练途径"的"1+2+3"人才培养模式,在人才培养目标、培养方案、课程体系、实践课程体系等方面进行了教学改革和实践,提高专业人才培养质量和学生的实践能力。
徐辉卢守东肖芳雄
关键词：计算机专业课程体系
一种状态事件故障树的定量分析方法被引量：22
2013年
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.
徐丙凤黄志球胡军魏欧肖芳雄
关键词：形式化方法
一种Web服务的QoS抽象模型和评估方法
2014年
目前Web服务研究中关注的QoS属性较多,且属性值的评估方法随应用领域和组织机构的不同差异较大,这不利于以一致的方式来评估Web服务的QoS。从抽象的角度在众多QoS属性中提炼出时间、概率、代价3种抽象QoS属性,并在此基础上给出了QoS多属性归一化处理方法和多属性综合评估方法,以支持在模型层面以一致的方式评估Web服务的QoS,以及QoS优化的Web服务选取。
肖芳雄李燕张君华祝义朱小栋
关键词：服务质量WEB服务
基于抽象解释的服务间消息的数据约减被引量：1
2015年
面向服务软件中服务间消息的变量值可能存在无穷域的情况,从而导致模型检测时产生状态空间爆炸问题。为了使终止性验证在实践上可行,需要约减模型状态空间的大小,使得计算时间和空间需求合理。为此,基于抽象解释的区间抽象理论扩展了经典区间抽象域方法,并在统一的区间抽象域方法上借助异常控制流图对变量进行区间分析,在此基础上逆向分析得到服务间消息的变量区间集。变量区间上任意值相对于终止性验证是等价性,因此从每一个变量区间集中选取一个代表值,可组成服务间消息变量的约减值,从而为异常处理的终止性验证提供了约减的初始配置,有效避免了状态空间爆炸。
蒋曹清肖芳雄高荣应时文静
加载更多 ∨