作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

Web服务组合功能与QoS的形式化统一建模和分析  CNKI文献

进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具...

肖芳雄 黄志球... 《软件学报》 2011年11期 期刊

关键词: Web / 服务组合 / 统一建模和分析 / QoS

下载(1100)| 被引(59)

基于时间概率代价进程代数的Web服务组合建模和分析  CNKI文献

形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Ti...

肖芳雄 李燕... 《计算机学报》 2012年05期 期刊

关键词: Web服务组合 / QoS / 进程代数 / 建模

下载(551)| 被引(32)

面向QoS的Web服务组合建模和验证研究  CNKI文献

面向服务的计算SOC(Service-Oriented Computing)与面向服务的体系架构SOA(Service-Oriented Architecture)代表了分布式计算和软件开发的最新发展方向。Web服务组合是实现SOC & SOA的核心技术之一,它是一种基于W...

肖芳雄 导师:黄志球 南京航空航天大学 2010-09-01 博士论文

关键词: Web服务组合 / QoS / UML / 进程代数

下载(807)| 被引(10)

基于价格进程代数的Web服务组合描述和成本分析  CNKI文献

进程代数可有效地用于Web服务组合的描述和验证,然而缺乏对服务组合成本建模和分析的能力.提出一种扩展了价格信息的进程代数PPA,在CCS基础上为进程动作和状态扩展价格函数,给进程动作的执行标记价格,给进程的迁移状态...

肖芳雄 黄志球... 《计算机研究与发展》 2009年05期 期刊

关键词: Web / 服务组合 / 进程代数 / 价格

下载(441)| 被引(15)

面向对象和模式在嵌入式软件中的应用  CNKI文献

由于嵌入式系统的特殊性,长期以来嵌入式软件设计和开发使用的是过程化技术,使用面向对象和模式进行嵌入式软件设计,是一种全新的设计理念。该文描述了面向对象和模式的实现机制,分析了面向对象和模式在嵌入式软件...

肖芳雄 熊光泽... 《计算机工程》 2003年22期 期刊

关键词: 面向对象 / 设计模式 / 嵌入式 / 实时操作系统

下载(215)| 被引(22)

一种Web服务的QoS抽象模型和评估方法  CNKI文献

目前Web服务研究中关注的QoS属性较多,且属性值的评估方法随应用领域和组织机构的不同差异较大,这不利于以一致的方式来评估Web服务的QoS。从抽象的角度在众多QoS属性中提炼出时间、概率、代价3种抽象QoS属性,并在此基...

肖芳雄 李燕... 《计算机科学》 2014年11期 期刊

关键词: 模型 / 评估 / 服务质量 / Web服务

下载(105)| 被引(1)

面向通信领域嵌入式软件平台核心的研究与实现  CNKI文献

随着信息时代的到来,嵌入式系统在各个领域中的应用越来越广泛。嵌入式系 统是与具体应用密切联系的专用系统,具有较强的行业应用特点。在通信领域,存 在着大量的嵌入式应用。电信级系统设备是通信...

肖芳雄 导师:熊光泽 电子科技大学 2004-04-01 硕士论文

关键词: 嵌入式 / 软件平台 / 通信软件 / 设计模式

下载(360)| 被引(4)

面向组合式软件功能正确性和非功能满足性的统一建模方法  CNKI文献

在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个重要的问题。在组合式软件的设计阶段,建立组合式软件功能和非功能的统一模型并验证其...

肖芳雄 许波... 《计算机科学》 2015年12期 期刊

关键词: 组合式软件 / 功能正确性 / 非功能满足性 / 统一建模

下载(76)| 被引(0)

一种扩展了价格信息的进程代数  CNKI文献

针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price processalgebra,PPA)。在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使...

肖芳雄 黄志球... 《南京航空航天大学学报》 2009年01期 期刊

关键词: 进程代数 / 组合 / 价格 / 成本

下载(117)| 被引(3)

一种面向对象嵌入式软件开发平台的设计和实现  CNKI文献

提出了一种面向对象的嵌入式软件开发平台的设计和实现 ,阐述了平台体系结构 ,分析了面向对象方法和设计模式在嵌入式软件设计和实现中的运用 ,并描述了基于该平台的上层多任务应用程序的开发模式。

肖芳雄 熊光泽... 《计算机应用》 2003年S2期 期刊

关键词: 面向对象 / 嵌入式系统 / 体系结构 / 设计模式

下载(180)| 被引(5)

一种嵌入式实时系统软件能耗建模与分析的方法  CNKI文献

随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与...

祝义 肖芳雄... 《计算机研究与发展》 2014年04期 期刊

关键词: 嵌入式实时系统 / 软件能耗 / 建模 / 价格

下载(256)| 被引(9)

基于描述逻辑的扩展预测模型标记语言EPMML  CNKI文献

预测模型标记语言PMML正被许多数据挖掘组织作为标准化的数据挖掘模型描述语言.然而,由于数据挖掘技术的不断发展,参与建立PMML的数据挖掘厂商的经验有差异,PMML本身含有的大量语言元素不可避免地带来基于PMML的数据挖...

朱小栋 肖芳雄... 《计算机学报》 2012年08期 期刊

关键词: 预测模型标记语言 / 数据挖掘 / 元数据 / 描述逻辑

下载(197)| 被引(1)

一种状态事件故障树的定量分析方法  CNKI文献

状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析...

徐丙凤 黄志球... 《电子学报》 2013年08期 期刊

关键词: 安全性分析 / 状态事件故障树 / 交互马尔可夫链 / 定量分析

下载(981)| 被引(36)

基于三维混沌系统的通用数字图像加密与恢复算法  CNKI文献

为有效保护数字图像的信息,提出一种新的基于三维混沌系统及其改进序列的通用加密算法。首先,根据密钥及数字图像的大小m×n,产生一个长度为m×n的三维混沌序列。然后,根据子密钥及图像类型对混沌序列进行改进...

卢守东 肖芳雄 《计算机应用与软件》 2013年12期 期刊

关键词: 图像加密 / 图像恢复 / 像素坐标置乱 / 像素值置换

下载(89)| 被引(3)

基于抽象解释的服务间消息的数据约减  CNKI文献

面向服务软件中服务间消息的变量值可能存在无穷域的情况,从而导致模型检测时产生状态空间爆炸问题。为了使终止性验证在实践上可行,需要约减模型状态空间的大小,使得计算时间和空间需求合理。为此,基于抽象解释的区间...

蒋曹清 肖芳雄... 《计算机科学》 2015年12期 期刊

关键词: 抽象解释 / 终止性验证 / 模型检测 / 数据约减

下载(51)| 被引(0)

基于模型检测的面向服务软件异常处理可终止性的验证方法  CNKI文献

针对面向服务软件异常处理的可终止性难以验证问题,提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可终止性,...

蒋曹清 肖芳雄... 《小型微型计算机系统》 2015年11期 期刊

关键词: 面向服务软件 / 异常处理 / 模型检测 / 可终止性验证

下载(72)| 被引(0)

基于蚁群优化算法的同构多核任务分配与调度  CNKI文献

针对现有流程序自动综合技术中任务分配与调度方法效率低下的问题,提出一种基于改进蚁群算法的多核任务分配与调度算法.基于建立的问题模型,改进了基本蚁群算法中的信息素更新规则和启发式信息的计算方法,并应用多样化...

覃志东 侯颖... 《江苏大学学报(自然科学版)》 2014年06期 期刊

关键词: 任务分配与调度 / 流程序 / 自动综合 / 蚁群优化算法

下载(240)| 被引(9)

一种扩充的π-演算及事务性等价关系研究  CNKI文献

为了保证Web服务事务获得正确的执行和一致的结果,对Web服务事务处理的形式化研究是很重要的.现有研究集中在事务的建模和协议验证上,对事务特性仍缺乏深入研究.已有的事务建模方法主要采用增加额外的操作算子来描述事...

袁敏 黄志球... 《计算机研究与发展》 2010年03期 期刊

关键词: Web服务 / π-演算 / 膜活动 / 等价事务

下载(215)| 被引(11)

Web服务组合中的隐私需求规约与验证  CNKI文献

确保用户的个人隐私数据不被非法收集和披露,是实现安全Web服务组合的一个关键问题,有必要在设计阶段验证服务组合是否满足隐私策略约束。首先使用隐私策略规约服务的隐私权限,然后利用带隐私语义的接口自动机对服务的...

刘林源 李清... 《解放军理工大学学报(自然科学版)》 2012年01期 期刊

关键词: Web服务 / 隐私保护 / 接口自动机

下载(209)| 被引(12)

BPEL谓词约束建模及可行路径分析  CNKI文献

为了解决由于缺乏谓词约束表达式的建模和分析带来的业务流程执行语言(business process execution language,BPEL)中路径分析不准确问题,提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法,并在此基础上提出...

王进 黄志球... 《计算机研究与发展》 2014年04期 期刊

关键词: 服务组合 / 业务流程执行语言 / 谓词约束 / XPath

下载(59)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》