论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机学报期刊 >
计算机学报2014年第8期出版文献
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
计算机学报
分享
投稿
本刊是中国计算机领域的有代表性学术刊物，作为一种科学研究档案，代表了计算机领域各个研究阶段的水平。
本刊被《工程索引》（美国）、《科学文摘》（英国）、《数学文摘》（美国）、《科技文献速报》（日本）、《文摘杂志》（俄罗斯）等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位：
中国计算机学会
中国科学院计算技术研究所
期刊荣誉：
中国科学引文数据库来源期刊
科技论文统计源期刊
ISSN：
0254-4164
CN：
11-1826/TP
出版周期：
月刊
邮编：
100190
地址：
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
分享
文章浏览
目录
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模态逻辑S4的推理机S4P.在此基础上,为了从Tableau算法...
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 现有排序学习算法忽视了查询之间的差异,在建立排序模型的过程中等同对待训练样本集中的所有查询及其相关文档,影响了排序模型的性能.文中描述了查询之间的差异,并在训练过程中考虑查询之间的差异,提出...
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 文中提出模糊概念空间及规则空间,作为对知识系统进行形式化表示的统一框架.首先,基于形式概念分析理论以及L模糊集构造了概念粒,通过对概念粒之间关联关系的研究定义了概念射,进而构造了高层次知识单...
-
4. 粒子滤波算法刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 粒子滤波算法逐渐成为科学领域的研究热点.文章首先阐述了粒子滤波算法的提出背景,根据m阶马尔科夫假设,分析算法基本原理并推导后验概率密度及权值更新公式.分析了基本粒子滤波算法中存在的问题以及解...
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 增量诊断是一种在离散事件系统中进行诊断的重要方法,因其能够根据新观测和原有诊断的结果进行进一步诊断,在长时间复杂行为的系统上有着良好的运行效率和诊断特性.文章提出了一种带有回溯的增量诊断方法...
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 考虑特征之间的相关性对于其类间区分能力的影响,提出了一种新的特征子集区分度衡量准则——DFS(Discernibility of Feature Subsets)准则.该准则考虑特征之间的相...
-
7. 三分之二模拟拓扑刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 三分之二模拟为验证系统的实现满足其规范提供了抽象描述.为了刻画系统的实现逐渐接近于规范,该文利用网极限的观点,以三分之二模拟为基础,建立系统实现的收敛机制,说明系统规范是其实现的极限形式.首...
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 针对基于k双拟的结构索引创建和更新低效问题、查询结果重复验证问题以及标签路径不可获得性问题,提出了一种新的结构索引L(k)-index.L(k)-index通过引入标签路径,在创建时无须k次...
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： Vague时间段关系和Vague区域关系的表示和复合推理问题在时空数据库和人工智能等领域具有重要的研究意义.为了处理复杂的Vague时间段关系,基于Vague集形式化给出了Vague时间段、...
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 在模型检验中,抽象是解决状态空间爆炸问题的重要方法.通常的抽象是非强保留的,即可能存在时序性质在抽象模型不满足而在具体模型满足的情况.文中首先系统地构造μ演算Lμ语义模型的安全抽象,在此基础...
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 通过引入交式可约元概念,文中提出了一种形式背景属性约简的新方法.基于此方法,获得了形式背景属性约简个数计算的精确公式,改进了原有的约简个数估计.在此基础上,给出了概念格的生成算法及其图示.最...
-
12. 经典命题逻辑的概率语义及其应用刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 文中将经典命题逻辑的赋值域由二值((0,1})推广到概率空间,引进了命题公式的概率赋值并建立命题逻辑的概率语义,证明了一个命题公式为重言式当且仅当其在每个概率赋值下的值都等于1.引入了命题公...
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 三维装箱问题要求将有限个三维矩形物体尽可能多地装入到一个三维矩形箱子中,使得箱子的填充率即体积利用率最大.在求解三维装箱问题的穴度算法的基础之上,进一步做了以下改进:(1)将当前剩余空间中可...
-
14. 仿生蚊子追踪算法刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 旅行商问题(Traveling Salesman Problem,TSP)是NP完全问题中最为著名的问题,它易于陈述而难于求解,至今尚未找到准确有效的求解大规模TSP问题的方法.文中提出了能...
-
15. 基于向量的几何可读自动证明刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 几何定理机器证明已经成功发展了多种新方法,但其中对中学几何中向量的机器证明研究没有抓住其回路的基本特征.文中以向量的回路为出发点,提出了基于回路的向量可读证明新方法,开发了机器证明新程序.该...
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 通用规划(解)是针对某个领域的像算法一样的规划解,通过对其的解释可以直接得出具体问题的规划解,而不需要调用任何规划系统.但是目前通用规划的提取只能在一些简单或者特殊的领域中进行,没有推广到复...
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 可逆逻辑综合是指对给定的可逆函数自动构造对应的可逆逻辑电路.现有的可逆逻辑综合算法虽然通过后期优化能够得到近似最优解,但是都存在生成的原始电路门数较多的问题,增加了后期优化工作的难度.文中提...
-
18. 贝叶斯预测型进化算法刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 提出了一种新型进化算法即贝叶斯预测型进化算法,该算法是有效解决遗传算法中的连锁和欺骗问题的一种新方法,其主要特点是:(1)该算法基于最优解的概率分布和贝叶斯定理预测最优解所在的子空间;(2)...
-
刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 社交媒体数据是行动者自组织关系的集合,其内部蕴含了多层次的社会实体关系,传统的抽样方法难以处理其内生的复杂性、不确定性以及涌现性,因此社交媒体抽样方法的研究对于社会计算这一新兴研究领域具有重...
-
20. 社交网络用户的人格分析与预测刊名： 计算机学报发表期刊： 2014年8期页码:摘要： 人格信息是对人类个体特征的高度概括,也是区分人与人之间差别的一种科学的量化标准.人格不但与人类在现实世界中的行为密切相关,而且与虚拟世界社交网络中的行为表现出高度相关性.线上行为的可记录、易...
计算机学报基本信息
| 刊名 | 计算机学报 | 主编 | 高文 |
| 曾用名 | |||
| 主办单位 | 中国计算机学会 中国科学院计算技术研究所 | 主管单位 | 中国科学院 中国科协 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 0254-4164 | CN | 11-1826/TP |
| 邮编 | 100190 | 电子邮箱 | cjc@ict.ac.cn |
| 电话 | 010-62620695 | 网址 | cjc.ict.ac.cn |
| 地址 | 中国科学院计算技术研究所（北京2704信箱） |
计算机学报评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 工程索引(美) |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 科学文摘(英) |
| 5. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 中国科学引文数据库来源期刊 |
| 2. | 科技论文统计源期刊 |
计算机学报统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
