您的位置： 专家智库 > >

肖芳雄

作品数：34 被引量：119H指数：6
供职机构：广西财经学院信息与统计学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术电子电信交通运输工程机械工程更多>>

合作作者

文献类型

  • 29篇期刊文章
  • 3篇会议论文
  • 2篇学位论文

领域

  • 33篇自动化与计算...
  • 3篇电子电信
  • 1篇机械工程
  • 1篇交通运输工程

主题

  • 8篇WEB服务
  • 6篇嵌入式
  • 6篇进程代数
  • 4篇嵌入式软件
  • 4篇QOS
  • 3篇设计模式
  • 3篇体系结构
  • 3篇终止性
  • 3篇面向对象
  • 3篇WEB服务组...
  • 2篇形式化
  • 2篇蚁群
  • 2篇异常处理
  • 2篇冗余
  • 2篇实时系统
  • 2篇适配
  • 2篇适配器
  • 2篇能耗建模
  • 2篇嵌入式实时系...
  • 2篇组合建模

机构

  • 20篇广西财经学院
  • 18篇南京航空航天...
  • 4篇东华大学
  • 4篇电子科技大学
  • 4篇江苏师范大学
  • 3篇宁波大学
  • 3篇武汉大学
  • 3篇华南理工大学
  • 3篇中兴通讯股份...
  • 2篇上海理工大学
  • 2篇苏州大学
  • 2篇南京工程学院
  • 1篇南京大学
  • 1篇解放军理工大...
  • 1篇南京晓庄学院
  • 1篇南京审计大学

作者

  • 34篇肖芳雄
  • 14篇黄志球
  • 7篇祝义
  • 5篇张君华
  • 5篇曹子宁
  • 4篇卢守东
  • 4篇周航
  • 4篇覃志东
  • 3篇范大娟
  • 3篇徐辉
  • 3篇熊光泽
  • 3篇蒋曹清
  • 3篇李燕
  • 3篇高荣
  • 2篇朱小栋
  • 2篇陈哲
  • 2篇文静
  • 2篇张广泉
  • 2篇应时
  • 2篇闵华清

传媒

  • 4篇计算机研究与...
  • 3篇计算机科学
  • 2篇计算机学报
  • 2篇计算机工程
  • 2篇福建电脑
  • 2篇第十一届全国...
  • 1篇电子学报
  • 1篇南京航空航天...
  • 1篇计算机工程与...
  • 1篇上海交通大学...
  • 1篇计算机应用与...
  • 1篇计算机应用
  • 1篇高技术通讯
  • 1篇小型微型计算...
  • 1篇软件学报
  • 1篇四川大学学报...
  • 1篇解放军理工大...
  • 1篇吉林大学学报...
  • 1篇江苏大学学报...
  • 1篇电脑知识与技...

年份

  • 1篇2017
  • 2篇2016
  • 6篇2015
  • 8篇2014
  • 3篇2013
  • 5篇2012
  • 1篇2011
  • 2篇2010
  • 2篇2009
  • 2篇2004
  • 2篇2003
共 34 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于抽取-精化的概率系统假设-保证验证
2013年
假设-保证推理是标记迁移系统组合验证的有效手段,近期,假设-保证推理在概率系统的验证中也得到了应用。在推理中,假设的学习是通过Lstar算法来完成的。针对概率系统的假设-保证推理,提出了一种新的方法:首先直接对组合系统的一个组件进行抽取,得到一个初步的假设;通过与假设-保证规则进行多次交互,不断精化该假设;最后,要么得到一个适当的假设以证明结论的正确性,要么得到一个反例来证明结论不成立。
张君华黄志球肖芳雄
一种扩展了价格信息的进程代数被引量：2
2009年
针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price processalgebra,PPA)。在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出PPA的语义,证明PPA的进程状态扩展累计成本的合理性和完备性,给出构造状态空间的算法并证明该算法的有效性,实例分析说明PPA用于成本建模和分析的可行性。
肖芳雄黄志球曹子宁张君华覃志东
关键词：进程代数
硬实时软件建模与分析的进程代数方法
2014年
针对硬实时软件缺乏有效的系统动态行为建模机制,提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程;然后提出时间调度算法,用于检查硬实时系统单个指令截止期的可满足性以及计算完成任务所需的最少时间;最后通过航空领域的一个实例来说明该方法如何应用于硬实时软件的建模与分析。该方法可以很大程度上提高硬实时软件执行时间计算的准确性,计算结果有助于硬实时系统截止期的量化分析和优化设计。
祝义黄志球张广泉周航肖芳雄
关键词：硬实时进程代数
面向通信领域嵌入式软件平台核心的研究与实现
随着信息时代的到来,嵌入式系统在各个领域中的应用越来越广泛.嵌入式系统是与具体应用密切联系的专用系统,具有较强的行业应用特点.在通信领域,存在着大量的嵌入式应用.电信级系统设备是通信领域当中一种具有典型行业特点的嵌入式设...
肖芳雄
关键词：嵌入式软件平台通信软件设计模式
文献传递
一种状态事件故障树的定量分析方法被引量：22
2013年
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.
徐丙凤黄志球胡军魏欧肖芳雄
关键词：形式化方法
基于描述逻辑的扩展预测模型标记语言EPMML被引量：1
2012年
预测模型标记语言PMML正被许多数据挖掘组织作为标准化的数据挖掘模型描述语言.然而,由于数据挖掘技术的不断发展,参与建立PMML的数据挖掘厂商的经验有差异,PMML本身含有的大量语言元素不可避免地带来基于PMML的数据挖掘元数据的语义不一致问题.为解决这个问题,提出了一种基于描述逻辑的扩展预测模型标记语言EPMML,详细分析了EPMML的描述逻辑基础SOIN,设计EPMML的语言元素.基于EPMML描述的数据挖掘元数据可以转化为基于SOIN的知识库,进而进行知识推理以自动发现数据挖掘元数据的内在语义不一致问题.Racer推理实例验证了EPMML语言的良构性,良好表达能力和推理有效性.
朱小栋肖芳雄黄志球沈国华靳玲
关键词：预测模型标记语言数据挖掘元数据描述逻辑知识推理
基于三维混沌系统的通用数字图像加密与恢复算法被引量：3
2013年
为有效保护数字图像的信息,提出一种新的基于三维混沌系统及其改进序列的通用加密算法。首先,根据密钥及数字图像的大小m×n,产生一个长度为m×n的三维混沌序列。然后,根据子密钥及图像类型对混沌序列进行改进,使其具有理想的伪随机特性。同时,根据子密钥及图像类型将混沌序列转换为无符号整数序列。最后,对改进后的序列进行排序以生成相应的下标序列,并据此对图像进行像素坐标置乱,同时将无符号整数序列依次与对应的像素值进行异或运算以实现像素值置换。针对恶意剪切/涂鸦攻击,同时提出一种基于邻域相邻像素特性的恢复算法。应用评价指标对加密效果与安全性进行分析。实验结果与理论分析表明,该算法运行效率较高,密钥空间巨大,具有良好的加密效果、统计特性与安全性,且抗剪切/涂鸦攻击等抗干忧能力较强。
卢守东肖芳雄
关键词：图像加密图像恢复混沌系统混沌序列
蚁群算法求解离散最小约束去除问题被引量：1
2015年
引入蚁群算法解决最小约束去除运动规划问题,在求解过程中对蚁群算法的启发函数以及信息素更新策略进行改进,使其不再易于陷入局部极值并适合求解该问题.仿真实验结果表明,该算法在解的质量和收敛速度上优于精确搜索与贪心算法.
许波闵华清肖芳雄
关键词：机器人路径规划蚁群算法
BPEL谓词约束建模及可行路径分析
2014年
为了解决由于缺乏谓词约束表达式的建模和分析带来的业务流程执行语言(business process execution language,BPEL)中路径分析不准确问题,提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法,并在此基础上提出了BPEL可行路径的分析算法.与以往BPEL建模中大多仅考虑结构化行为不同,该方法系统分析了数据封装对执行路径的影响.该方法综合考虑BPEL中表达式的语法结构以及结构化活动对BPEL中变量的影响,采用扩展行为影响的变量结构树对BPEL中原子数据表达式进行建模,并进一步考虑了复合谓词表达式的建模和基于此模型的BPEL可行路径分析方法.最后,结合案例分析了该方法的可行性.
王进黄志球唐佳俊陈哲肖芳雄
关键词：业务流程执行语言XPATH
一种嵌入式实时系统软件能耗建模与分析的方法被引量：9
2014年
随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成价格时间通信顺序进程的价格,利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析,提出的最优路径算法可以对建模结果进行指令功耗可满足性检查,并计算当前最低能耗可达路径.该方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性,计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计.
祝义肖芳雄周航张广泉
关键词：嵌入式实时系统
全选 清除 导出
共4页<1234>
聚类工具0