论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机学报期刊 >
计算机学报2020年第11期出版文献
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
计算机学报
分享
投稿
本刊是中国计算机领域的有代表性学术刊物，作为一种科学研究档案，代表了计算机领域各个研究阶段的水平。
本刊被《工程索引》（美国）、《科学文摘》（英国）、《数学文摘》（美国）、《科技文献速报》（日本）、《文摘杂志》（俄罗斯）等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位：
中国计算机学会
中国科学院计算技术研究所
期刊荣誉：
中国科学引文数据库来源期刊
科技论文统计源期刊
ISSN：
0254-4164
CN：
11-1826/TP
出版周期：
月刊
邮编：
100190
地址：
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
分享
文章浏览
目录
-
刊名： 计算机学报发表期刊： 2020年11期页码:摘要： 大数据时代下,面对不断膨胀的数据信息、复杂多样的应用场景、异构的硬件架构和参差不齐的用户使用水平,传统数据库技术很难适应这些新的场景和变化.机器学习技术因其较强的学习能力,逐渐在数据库领域展...
-
刊名： 计算机学报发表期刊： 2020年11期页码:摘要： Skyline计算是数据管理领域长久以来的一个研究重点和热点.给定一组多维的数据点,Skyline算子从中筛选出在所有维度上都不被其他点支配的数据点;Skyline算子的处理过程称之为Sky...
-
刊名： 计算机学报发表期刊： 2020年11期页码:摘要： 近年来,互联网技术飞速发展,互联网用户的数量呈指数级增长;随之而来的是用户需求的服务数量越来越大、服务种类也越来越多.不仅如此,虚拟化技术也在推陈出新,Docker以其轻量性、可移植性好等优...
-
刊名： 计算机学报发表期刊： 2020年11期页码:摘要： 本文基于模拟退火算法的弛豫时间模型和退火温度的理论估计,提出了动态自适应退火温度设置方法,将退火温度与问题的目标函数值关联.针对数值优化问题,借鉴数值计算中的正则化方法,由温度估计导出了带正...
-
刊名： 计算机学报发表期刊： 2020年11期页码:摘要： 迭代计算是相同逻辑的重复执行,在各种机器学习和数据挖掘方法中被广泛使用.在大数据的处理与分析领域中,分布式迭代计算更是当前的热点研究问题之一.容错机制是分布式系统高可用性的必要保证.现有分布...
-
刊名： 计算机学报发表期刊： 2020年11期页码:摘要： 在高阶逻辑定理证明器中研究了函数无穷远处极限的形式化建模和验证,包括函数无穷远处极限定义的形式化模型,函数极限相关性质的建模与验证,有唯一性、保不等式性、绝对值函数在无穷远处的极限、极限等价...
-
刊名： 计算机学报发表期刊： 2020年11期页码:摘要： 安全关键软件变得越来越复杂,这类软件的形式化验证是一个具有挑战性的问题.本文针对火箭发射控制子系统实例,提出一种组合验证方法,该方法采用组合验证与模型转换相结合的方法完成对该系统的验证与分析...
-
刊名： 计算机学报发表期刊： 2020年11期页码:摘要： 嵌入式控制软件是当前诸多控制系统的核心部件.各类安全攸关系统,例如轨道交通系统、航空航天系统和核电控制系统等,其内嵌的控制软件的功能是否正确、安全直接关系到人们的生命与财产安全.经过长期的研...
-
刊名： 计算机学报发表期刊： 2020年11期页码:摘要： 随着多核技术在实时系统中广泛应用,实时程序的并行化成为当前的研究热点.在实时领域,有向无环图(DAG)是刻画并行实时程序的理论模型.然而,传统的DAG任务图并不能刻画并行程序的实际特征(例如...
-
刊名： 计算机学报发表期刊： 2020年11期页码:摘要： 应用程序分发平台(如Google Play Store或Apple App Store)允许用户以评分或者评论等形式向下载的应用程序提交反馈.这些反馈信息可以直接或者间接地反映用户意图,及时...
-
刊名： 计算机学报发表期刊： 2020年11期页码:摘要： 现有3D打印(3D Printing,3DP)通常是逐点伺服运动,成形效率低,使得技术正向高效高精度方向发展,例如数字光处理技术、选择性激光熔化、逐面打印等.通常,为了提高打印精度,需对层截...
-
刊名： 计算机学报发表期刊： 2020年11期页码:摘要： 同步语言具有确定性并行和精确时间语义等特性,因此被广泛用于设计和验证安全关键软件.随着安全关键领域应用多核处理器逐渐成为趋势,同步语言的多线程代码生成及其语义保持证明研究成为研究热点.目前,...
计算机学报基本信息
| 刊名 | 计算机学报 | 主编 | 高文 |
| 曾用名 | |||
| 主办单位 | 中国计算机学会 中国科学院计算技术研究所 | 主管单位 | 中国科学院 中国科协 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
