作者单位

不  限

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

不  限

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

全  文

不  限

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

不  限

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

面向服务软件中异常处理的形式化建模方法  CNKI文献

针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的...

蒋曹清 应时... 《西安交通大学学报》 2013年04期 期刊

关键词: 面向服务软件 / 异常处理 / 形式化建模 / 建模方法

下载(237)| 被引(7)

面向服务软件异常处理研究综述  CNKI文献

随着面向服务软件逐渐成为软件工程领域的研究热点,面向服务软件异常处理的研究日益受到关注,其重要性越来越突出。首先给出了面向服务软件异常的相关概念,阐述了当前面向服务软件异常的几种典型分类,介绍了几个面向服...

管华 应时... 《计算机科学》 2013年04期 期刊

关键词: 面向服务软件 / 异常处理 / 综述

下载(247)| 被引(13)

一种基于CPN的BPEL异常处理逻辑的开发方法  CNKI文献

针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对B...

管华 应时... 《计算机科学》 2013年01期 期刊

关键词: 着色Petri网 / BPEL(Business / Process / Execution

下载(130)| 被引(5)

一种基于异常分类的面向服务异常处理方法  CNKI文献

异常处理本就是一件复杂耗时且容易出错的任务,尤其在面向服务体系结构中,异常抛出的行为变得更加复杂,因此对面向服务的异常捕获和异常处理提出了更高的要求。文中首先对面向服务的异常产生的源头进行了分析,提出了面...

丁月华 应时... 《计算机技术与发展》 2012年12期 期刊

关键词: 面向服务 / 异常分类 / 异常处理 / 服务层

下载(126)| 被引(4)

面向服务软件异常处理过程的可终止性验证  CNKI文献

大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件...

蒋曹清 应时... 《计算机科学与探索》 2012年03期 期刊

关键词: 异常处理 / 可终止性验证 / 验证方法 / 面向服务软件

下载(118)| 被引(4)

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

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

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

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

下载(72)| 被引(0)

基于优化理论的社区无标度网络模型  CNKI文献

当前建模社区无标度网络的研究多基于组合法,即先构造无标度特征再构造社区特征,或者先构造社区特征再构造无标度特征.基于组合法的模型能生成令人满意的社区无标度网络,但是该方法需要满足社区大小相等、社区特征和无...

吴泓润 覃俊... 《计算机学报》 2015年02期 期刊

关键词: 社区结构网络 / 无标度网络 / 优化理论 / 类别距离

下载(811)| 被引(16)

一种基于信任关系隐含相似度的社会化推荐算法  CNKI文献

推荐算法已经成为许多电子商务网站必不可少的组成部分.基于用户历史评价数据的协同过滤推荐算法通常面临着数据稀疏的问题,即用户评分过于稀疏导致推荐质量下降.为了解决这一问题,结合辅助数据成为一种必然的趋势.因...

潘一腾 何发智... 《计算机学报》 2018年01期 期刊

关键词: 推荐系统 / 协同过滤算法 / 社会推荐算法 / 潜在矩阵分解

下载(1299)| 被引(25)

基于动态描述逻辑的语义Web服务组合  CNKI文献

应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL(X)将动态逻辑、描述逻辑以及构建在描述逻辑之上的动...

常亮 刘进... 《计算机学报》 2013年12期 期刊

关键词: 语义Web服务 / 服务组合 / 动态描述逻辑 / 动作理论

下载(768)| 被引(29)

一种VANET环境下的智能交通信号控制方法  CNKI文献

城市环境中车辆数量的几何式增长带来了一系列的交通问题,高效的交通信号控制方法不仅能够改善交通安全和效率,而且还能减少车辆的尾气排放.由于车流的高度动态性,现有的一些方法存在获取车辆信息不准确和实现复杂等问...

吴黎兵 聂雷... 《计算机学报》 2016年06期 期刊

关键词: 交通信号控制 / 车载自组织网络 / 双层管道模型 / 尾气排放

下载(503)| 被引(21)

一种基于预测控制的SaaS系统自适应方法  CNKI文献

对于部署在虚拟服务器集群上的多层云端应用系统而言,可以通过调整运行时架构以适应需求和上下文环境的变化,并保证其在动态负载下的性能.然而,由于缺乏通用的方法,如何从问题空间上的需求自适应地映射到解空间上的架...

熊伟 李兵... 《计算机学报》 2016年02期 期刊

关键词: 自适应系统 / 需求 / 预测控制 / 服务质量

下载(409)| 被引(11)

Mimir:一种基于密文的全文检索服务系统  CNKI文献

针对海量涉密隐私数据高效安全检索的需求,提出了一种基于密文的全文检索系统——Mimir.Mimir基于B+树构建了一种安全密文全文索引结构,Mimir检索过程完全在密文环境下进行,保证了系统的安全性和存储信息的私密性.与传...

宋伟 彭智勇... 《计算机学报》 2014年05期 期刊

关键词: 密文全文检索 / 密文索引 / Mimir / 中文分词

下载(514)| 被引(14)

一种精英反向学习的粒子群优化算法  CNKI文献

为解决传统粒子群优化算法易出现早熟的不足,提出了精英反向学习策略,引入精英粒子,采用反向学习生成其反向解,扩大搜索区域的范围,可增强算法的全局勘探能力.同时,为避免最优粒子陷入局部最优而导致整个群体出现搜索...

周新宇 吴志健... 《电子学报》 2013年08期 期刊

关键词: 全局优化 / 粒子群优化 / 精英反向学习 / 差分演化变异

下载(1207)| 被引(90)

云环境下一种隐私保护的高效密文排序查询方法  CNKI文献

数据前端加密是保护云环境下外包数据隐私的一种有效手段,但却给数据查询等操作带来挑战.针对云环境下多数据拥有者数据外包及选择性访问授权特征,为支持大规模加密云数据上高效且隐私保护的用户个性化密文查询,文中提...

程芳权 彭智勇... 《计算机学报》 2012年11期 期刊

关键词: 云计算 / 布隆过滤器 / 排序查询 / 层次索引

下载(1175)| 被引(51)

一种基于领域知识的非功能需求建模辅助方法  CNKI文献

随着信息化的普及,人们对软件系统质量要求越来越高,由于体现涉众对软件质量要求的非功能需求具有抽象、主观、不确定等特性,纯粹依赖人工方式对非功能需求建模是一项十分困难的任务.利用领域工程具有的内聚性和稳定性...

邵飞 彭蓉 《计算机学报》 2013年01期 期刊

关键词: 非功能需求 / 非功能属性 / 需求建模 / 传递依赖

下载(565)| 被引(29)

基于精英区域学习的动态差分进化算法  CNKI文献

DE算法简单高效,但对复杂问题也存在收敛效率较低的问题,为提高DE算法的全局勘探能力和收敛精度,提出了一种新的精英区域学习动态差分进化算法,算法首先将历史精英保存在精英池中,然后采用正弦函数对精英池中的精英进...

彭虎 吴志健... 《电子学报》 2014年08期 期刊

关键词: 差分进化 / 精英池 / 精英区域学习 / 动态差分进化

下载(406)| 被引(24)

不确定性Top-K查询处理  CNKI文献

高效Top-K查询处理在涉及大量数据交互的应用中是一项重要技术,随着应用中不确定性数据的大量涌现,不确定性数据的管理逐渐引起人们的重视.不确定性数据上Top-K查询从语义和处理上都呈现出与传统Top-K查询不同的特点....

李文凤 彭智勇... 《软件学报》 2012年06期 期刊

关键词: Top-K查询语义 / Top-K查询处理 / 排序标准 / 不确定性数据

下载(971)| 被引(66)

一种车联网环境下的城市车辆协同选路方法  CNKI文献

随着智能导航设备的不断普及,越来越多的驾驶员使用智能导航设备来选择自己的行驶路径.现有的选路方法往往采用城市道路地理信息、历史行驶信息以及交通信息中心提供的实时交通状态来进行路径的规划.而城市车辆数目增...

吴黎兵 范静... 《计算机学报》 2017年07期 期刊

关键词: 车辆导航系统 / 智能交通系统 / 车辆选路问题 / 路径规划

下载(515)| 被引(13)

面向领域标签辅助的服务聚类方法  CNKI文献

Web服务数量的激增对服务发现提出了更高的要求,服务聚类是促进服务发现的一种重要技术.但是,现有服务聚类方法只对单一类型的服务文档进行聚类,缺乏考虑服务的领域特性和服务标签的应用.针对这些问题,本文首先使用本...

田刚 何克清... 《电子学报》 2015年07期 期刊

关键词: Web服务聚类 / 面向领域 / 标签辅助 / 主题模型

下载(180)| 被引(30)

一种基于用户偏好自动分类的社会媒体共享和推荐方法  CNKI文献

社会媒体应用已成为Web应用的主流,以用户为中心并且海量媒体数据由用户自生成是社会媒体Web应用的重要特征.应对目前社会媒体环境中信息过载的问题,信息的共享和推荐机制发挥着重要的作用.文中分析了目前主流社会媒体...

贾大文 曾承... 《计算机学报》 2012年11期 期刊

关键词: Web数据共享 / 共同偏好组 / 社会媒体推荐

下载(836)| 被引(23)

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

  • 发文趋势

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

相关机构

轻松读懂《孙子兵法》