论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机科学期刊 >
计算机科学2011年出版文献
出版文献量（篇）
18527
总下载数（次）
68
计算机科学
分享
投稿
《计算机科学》主编陈国良，系中国科学院院士、全国首届高等学校国家教学名师。读者对象是大专院校师生，从事计算机科学与技术领域的科研、生产人员。我刊坚持 “前沿学科”与“基础研究”相结合、“核心核术”与“支撑技术”相结合、“倡导”与“争鸣”相结合，活跃计算机科学与技术领域的学术气氛，为我国的计算机科学与技术立于世界之林、达到国际先进水平奋斗而矢志不渝。
主办单位：
重庆西南信息有限公司(原科技部西南信息中心)
期刊荣誉：
2001年重庆市优秀期刊；2004年第三届重庆市优秀科技期刊；2005年重庆市优秀期刊编辑部；2010年第六届重庆市期刊综合质量考核“十佳科技期刊”
2012年重庆市出版专项资金报刊资助项目（重庆市新闻出版局）；2013年重庆市出版专项资金重点学术期刊资助项目（重庆市文化委员会）
2014年重庆市出版专项资金期刊资助项目（重庆市文化委员会）；2015年“中国国际影响力优秀学术期刊”
ISSN：
1002-137X
CN：
50-1075/TP
出版周期：
月刊
邮编：
401121
地址：
出版文献量（篇）
18527
总下载数（次）
68
分享
文章浏览
目录
-
刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法.将程序抽象为下推系统,通过自合成将不干涉性转化为安全性属性,将两次相关执行中向输出信道的输出操作分别抽象为由下推规则表示的存储和...
-
452. 基于切片技术的并行化研究刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 程序可以看作由很多计算组成(例如一个循环或一个平直代码片断),它们彼此相关或者无关,共同为计算最终的结果服务,其中彼此不相关的计算是并行性的重要来源.程序切片(Program Slicing...
-
453. 一种面向软件仓库挖掘的动态作业配置框架刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 构造面向软件仓库挖掘的数据中心,是目前软件工程领域的研究热点.软件仓库数据处理作业的执行时间差异明显、资源消耗大等特点为其作业配置带来诸多挑战.提出一种面向软件仓库挖掘的作业配置框架Trus...
-
454. 基于规则的语义流程异常处理机制刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 在语义编程语言SPL的基础上,提出一种基于语义Web服务的语义流程异常处理机制.首先,重点讨论了业务流程运行时调用语义Web服务失败和流程内部逻辑失败的情况,并给出相应的语义流程异常本体.在...
-
455. 基于AADL的软件重构工具设计与实现刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 模态(Mode)表示的是软件可操作配置的状态,在一个或多个模态内可对资源和属性进行重新配置,即重构.目前,在对VxWorks系统下C程序的AADIL架构进行模态的提取和蓝图制定过程中,还没有...
-
刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 访问控制是软件系统的重要安全机制,其目的在于确保系统资源的安全访问.针对多数遗产系统的访问控制不是基于角色的且其实现形式多样,提出了一种基于RBAC的访问控制策略集成方法.该方法将遗产系统中...
-
457. 自适应一致表决算法刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 容错技术已经在许多领域的高可靠控制中得到应用,N版本程序技术是实现容错的基本手段之一.在软件系统中,表决算法可以屏蔽错误的输出结果.冗余技术可以防止错误的结果传递到系统的下一个子模块中,并且...
-
458. 基于构件的数据流软件可靠性模型刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 基于构件的数据流软件由输入数据激活的构件确定程序执行路径,其可靠性受输入数据分布特性的影响,难以采用基于状态或基于路径等传统模型进行评测.提出一个结合构件执行频度和操作剖面的可靠性模型,其从...
-
刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 插桩技术作为一种有效理解程序动态行为的手段,已经被广泛应用于程序分析、测试和验证中.然而,由于缺少通用的插桩工具,各种具体的应用往往需要从头开发特定的插桩程序,存在着大量的重复性工作.此外,...
-
刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足.作为Monads 的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算...
-
461. 基于信息论的高维海量数据离群点挖掘刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 针对高维海量数据集离群点挖掘存在“维数灾难”的问题,提出了基于信息论的高维海量数据的离群点挖掘算法.该算法采用属性选择,去除冗余属性降维.利用信息熵作为离群点判断的度量标准,消除距离和密度量...
-
刊名： 计算机科学发表期刊： 2011年7期页码:摘要： Skyline查询是基于位置服务LBS的一项重要操作,其目的是发现数据集中不被其它点支配的点的集合.对道路网络环境下移动对象的连续概率Skyline查询进行了研究.在对道路网络和移动对象建模...
-
463. 旋转网格:一种新的聚类融合方法刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 网格聚类以网格为单位学习聚簇,速度快、效率高.但它过于依赖密度阈值的选择,并且构造的每个聚簇边界呈锯齿状,不能很好地识别平滑边界曲面.针对该问题,提出一种新的面向网格问题的聚类融合算法(R(...
-
464. 基于节点相似性的链接预测刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 链接预测是图数据挖掘中的一个重要问题.它是通过已知的网络结构等信息预测和估计尚未链接的两个节点存在链接的可能性.目前大部分基于节点相似性的链接预测算法只考虑共同邻居节点的个体特征,针对目前预...
-
465. 一种为保密挖掘预处理数据的新方法刊名： 计算机科学发表期刊： 2011年7期页码:摘要： Apriori算法是数据挖掘中一个里程碑式的经典算法,在该算法的思想上衍生出了许多通过产生频繁项集来导出关联规则的算法.提出了一种基于数据项闭包的、为保密数据挖掘进行数据预处理的全新方法.该...
-
刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 反洗钱中的一个重要问题是预测可疑账户未来可能发生的交易.马尔科夫模型在股票、商品价格、市场占有率等经济领域的预测中具有广泛的应用,但单一的马尔科夫模型的预测准确性有待提高.提出一种结合数据挖...
-
467. 基于概率主题模型的标签预测刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 充分利用用户自定义标签信息,是理解Web资源语义,提高Web应用智能程度的重要途径.针对资源标签分派中大量存在的信息不完整、不一致的现象,建立基于用户标记行为特征的概率主题模型,利用概率主题...
-
刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 提出了一种小规模数据集下学习贝叶斯网络的有效算法-FCLBN.FCLBN利用bootstrap方法在给定的小样本数据集上进行重抽样,然后用在抽样后数据集上学到的贝叶斯网络来估计原数据集上的贝...
-
469. 基于节点相似度的网络社团检测算法研究刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 社团结构是众多复杂网络的统计特性之一,挖掘网络中存在的社团结构日益受到人们的普遍关注.网络中的社团结构检测本质上类似于传统机器学习领域的聚类分析,其关键问题在于如何定义网络中节点间的相似度....
-
470. 基于L1范式的粒子群算法群体多样性研究刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 提出了一种新的基于L1范式的粒子群算法群体多样性定义,这种观测方式可以准确地描述算法运行过程中的信息.首先,通过对比新的观测方式和已有方式,解释了新的观测方式的特点；然后通过实验观测了位置、...
-
471. 多核集群系统下的混合并行遗传算法研究刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 为应对传统遗传算法在处理大规模组合优化问题面临的进化速度缓慢,难以达到实时要求的严峻挑战,提出了一种在多核PC集群系统上实现“粗粒度-主从式”混合并行遗传算法的模型:通过把“粗粒度-主从式”...
-
472. 约束满足问题求解的符号OBDD桶消元算法刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 桶消元算法是求解约束满足问题的一种典型推理方法.针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图( OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法.通过对约束满足问题...
-
473. 基于动态描述逻辑DDL的动作理论刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟；作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径.系统...
-
474. 云推理方法及其在预测中的应用刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 不确定性推理是当前人工智能研究领域中的一项重要研究内容.云模型实现了定性概念与其定量表示之间的不确定转换,在云模型基础上构建的规则发生器能有效描述用自然语言表示的定性规则,实现不确定性推理....
-
475. 云计算环境下动态虚拟企业伙伴选择模型刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 互联网内海量的企业信息检索以及虚拟企业UDDI的搭建和管理已成为中小型企业组建虚拟企业的严重障碍.云计算通过互联网络提供虚拟化的资源计算模式,使企业能够快速部署资源和获取信息服务,从而使中小...
-
476. 几类特殊图中的最小最大多路割刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 给定边具有正权的无向图,并指定若干个称为终端的顶点,最小最大多路割问题是要得到所有顶点的一个聚类,要求每个子类恰好包含一个终端,并使得所有子类的最大费用最小.子类的费用定义为该子类边界上所有...
-
477. 自适应步长萤火虫群多模态函数优化算法刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 针对萤火虫群优化(GSO)算法优化多模态函数存在收敛速度慢和求解精度低等缺陷,提出一种自适应步长萤火虫群多模态函数优化算法(SASGSO).该算法解决了萤火虫群优化(GSO)算法优化多模态函...
-
478. 具有学习机制的离散差分演化算法刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 如何将差分演化算法应用于离散领域是目前该领域的一个热点研究问题.用分布估计算法对搜索空间中优质解的分布进行建模,然后根据建立的模型抽样产生新解,利用分布估计这种全局信息学习的机制,提出具有学...
-
479. 集值信息系统中对象更新时近似集的性质研究刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 集值信息系统是信息系统的一般化模型.在实际应用中信息系统随着对象的变化而不断地动态变化.讨论了相容关系下对象增加时近似集的变化规律,提出了在集值信息系统和集值决策信息系统下近似集变化规律的性...
-
480. 二元进化策略的收敛性分析刊名： 计算机科学发表期刊： 2011年7期页码:摘要： 进化算法的理论研究,如收敛性、时间复杂性研究,是当前的一大热点和难点,有关的理论结果并不多.针对二元进化策略(1+1)ES建立时齐马尔科夫过程模型,利用连续状态马氏过程理论证明了与(1+1)...
计算机科学基本信息
| 刊名 | 计算机科学 | 主编 | 陈国良 |
| 曾用名 | 计算机应用与应用数学 | ||
| 主办单位 | 重庆西南信息有限公司(原科技部西南信息中心) | 主管单位 | 重庆西南信息有限公司（原科技部西南信息中心） |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1002-137X | CN | 50-1075/TP |
| 邮编 | 401121 | 电子邮箱 | jsjkx12@163.com |
| 电话 | 023-63500828 | 网址 | www.jsjkx.com |
| 地址 | 重庆市渝北区洪湖西路18号 |
计算机科学评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 日本科学技术振兴机构数据库(日) |
| 3. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 2001年重庆市优秀期刊；2004年第三届重庆市优秀科技期刊；2005年重庆市优秀期刊编辑部；2010年第六届重庆市期刊综合质量考核“十佳科技期刊” |
| 2. | 2012年重庆市出版专项资金报刊资助项目（重庆市新闻出版局）；2013年重庆市出版专项资金重点学术期刊资助项目（重庆市文化委员会） |
| 3. | 2014年重庆市出版专项资金期刊资助项目（重庆市文化委员会）；2015年“中国国际影响力优秀学术期刊” |
计算机科学统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
