论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机科学期刊 >
计算机科学2016年出版文献
出版文献量（篇）
18527
总下载数（次）
68
计算机科学
分享
投稿
《计算机科学》主编陈国良，系中国科学院院士、全国首届高等学校国家教学名师。读者对象是大专院校师生，从事计算机科学与技术领域的科研、生产人员。我刊坚持 “前沿学科”与“基础研究”相结合、“核心核术”与“支撑技术”相结合、“倡导”与“争鸣”相结合，活跃计算机科学与技术领域的学术气氛，为我国的计算机科学与技术立于世界之林、达到国际先进水平奋斗而矢志不渝。
主办单位：
重庆西南信息有限公司(原科技部西南信息中心)
期刊荣誉：
2001年重庆市优秀期刊；2004年第三届重庆市优秀科技期刊；2005年重庆市优秀期刊编辑部；2010年第六届重庆市期刊综合质量考核“十佳科技期刊”
2012年重庆市出版专项资金报刊资助项目（重庆市新闻出版局）；2013年重庆市出版专项资金重点学术期刊资助项目（重庆市文化委员会）
2014年重庆市出版专项资金期刊资助项目（重庆市文化委员会）；2015年“中国国际影响力优秀学术期刊”
ISSN：
1002-137X
CN：
50-1075/TP
出版周期：
月刊
邮编：
401121
地址：
出版文献量（篇）
18527
总下载数（次）
68
分享
文章浏览
目录
-
631. 基于Zynq的人脸检测设计刊名： 计算机科学发表期刊： 2016年10期页码:摘要： 针对目前大多嵌入式人脸检测系统因资源限制而导致的软件方式实现速度较慢的问题,提出利用软硬件协同的方法来加速人脸检测.在Zynq-7000平台的基础上,使用C语言实现了基于AdaBoost级联...
-
632. 基于相关滤波器的视觉目标跟踪综述刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 视觉跟踪是一个重要的计算机视觉任务,有着广泛的应用,由于现实场景中存在着众多困难,视觉跟踪仍是一个活跃的研究领域.判别式分类器是现代跟踪方法中的一个核心组成部分,其在线学习一个二值分类器以在...
-
633. 云计算中Hadoop技术研究与应用综述刊名： 计算机科学发表期刊： 2016年11期页码:摘要： Hadoop作为当今云计算与大数据时代背景下最热门的技术之一,其相关生态圈与Spark技术的结合一同影响着学术发展和商业模式.首先介绍了Hadoop的起源和优势,阐明相关技术原理,如MapR...
-
634. 单一光照颜色恒常性计算研究进展刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 单一光照颜色恒常性计算研究是目前计算机视觉、机器学习等领域中最热门的研究课题之一.算法的合理性直接影响到自动白平衡等应用效果.目前颜色恒常性计算的方法多种多样,将其划分为无监督、有监督、算法...
-
635. 一种视频数据代表选择框架方法刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 为有效处理视频数据问题,提出一种识别海量数据集中代表子集的方法,即代表选择方法,经选择后的小容量的数据代表完全可以代表原始大数据集的结构特征.对于给定的大数据集,首先生成相应l1-norm非...
-
636. 函数矩阵及其微积分的高阶逻辑形式化刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 函数矩阵广泛应用于动态系统的建模与分析.传统的函数矩阵分析主要采用纸笔演算、数值计算和符号推导的方法,这些方法不能保证提供精确或正确的结果.高阶逻辑定理证明作为一种高可靠的形式化验证方法,可...
-
637. 一种基于GPU的高精度体系结构级功耗模型刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 随着硬件功能的不断丰富和软件开发环境的逐渐成熟,GPU开始被应用于通用计算领域,协助CPU加速程序运行.为了追求高性能,GPU往往包含成百上千个核心运算单元,高密度的计算资源使得其性能远高于...
-
刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 业务流程建模问题一直是业务流程管理的核心问题,其目的是为了灵活地适应变化的商务需求,但在建模过程中也会出现一系列的问题,有些模型之间甚至存在着相同的问题,因此会出现变化域传播的现象.已有的方...
-
639. 基于扩展Petri网模型的BPMN形式化刊名： 计算机科学发表期刊： 2016年11期页码:摘要： BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键...
-
640. 从UML到GSPN的转换和性能分析方法刊名： 计算机科学发表期刊： 2016年11期页码:摘要： UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模型.利用Eclipse平台上的Papyrus建立3种类型的U...
-
641. 移动网可达树刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法.近年来由于移动互联网的出现和快速发展,通过在进程代数中增加移动性得到了pi演算...
-
642. 基于随机时间Petri网的安全性分析方法刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建...
-
刊名： 计算机科学发表期刊： 2016年11期页码:摘要： CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析.在传统的CPN建模中,token的选取采用穷举法,由此造成生成的toke...
-
刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键.统一建模语言(Unified Modeling Langua...
-
刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 在多状态系统中,由于性能退化、局部失效等原因,系统或元件会表现出从完全失效到完美工作之间的一系列过渡状态,这些过渡状态信息将直接影响系统的可靠性.针对这一问题,提出一种模糊着色Petri网模...
-
646. 层次结构的进程网刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 进程网(Process Net)是一种结合进程代数和Petri网理论的Petri网模型.当系统过于复杂时,进程网系统模型在实际应用中会遇到节点爆炸的问题,此时需要引入层次结构.提出了层次结构...
-
刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 随着数据业务快速增长,仅靠宏蜂窝网络已无法满足流量需求;飞蜂窝网络可以有效分流宏蜂窝流量,近年来所构成的Maero-Femto架构得到了较广泛的部署.Macro-Femto网络部署的关键问题...
-
648. 基于拟间接依赖的过程模型挖掘方法刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 过程挖掘旨在从信息系统所记录的事件日志中挖掘出人们需要的且合理的过程模型,从而有助于改善或重建业务流程.以往的方法大多是根据任务间的直接依赖关系构建过程模型,具有很大的局限性.现存的过程挖掘...
-
刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 最大速度恒定的连续Petri网(CCPN)是由David首先提出的一类时延连续Petri网模型,构造其演变图是对其性质进行分析的一种有效方法.而对于合有效冲突的最大速度恒定的连续Petri网...
-
650. 基于Petri网的虚拟企业建模与调度刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 在分析现有虚拟企业建模及其调度方法的基础上,探讨了基于一种扩展Petri网模型的虚拟企业建模和调度方法,给出了T时延广义自控网的形式化定义和变迁规则.根据虚拟企业项目的特点,描述了基于T时延...
-
651. 基于Petri网的事件协调控制方法研究刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 事件的协调控制是离散事件系统中一项重要的研究内容,同时包含资源约束和事件约束的混杂约束更是系统设计的难点问题.以DES系统的加权Petri网模型为基础,以DES中变迁库所混杂约束的转换问题为...
-
刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 随着移动业务需求的多样化,有限的无线频谱资源已无法满足用户对高质量、高效率和高带宽的数据业务的需求.在现有的低频载波环境下,引入高频载波可以有效扩大系统容量.在同一小区部署多个成员载波的过程...
-
刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 针对Petri网在服务组合中的具体应用问题,尤其是如何构建基于Petri网的服务组合软件平台,在服务组合的Petri网模型的基础上,首先建立了具体领域中服务的语义功能体系;然后进行原子服务的...
-
刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 将AOE网转换成有色时延Petri网模型,在模型转换过程中同时计算出各位置所对应的事件的最早开始时间,给出了模拟AOE网的有色时延Petri网模型的带标记的并发可达标识图的构建算法;利用并发...
-
655. 时间Petri网的随机模拟刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 模拟是Peri网进行系统分析的常用方法之一.由于时间Petri网采用时间区间来描述变迁实施的时间范围,因此变迁的实施时间点在区间内是不确定的.提出了时间Petri网的随机模拟方法.该方法在变...
-
刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 为了提高多群多点广播中继网络系统的性能,提出一种改进的协作中继多点广播码分多址(CDMA)系统设计.该方案利用协作中继辅助的分布式波束形成实现单天线基站多播,获得了较好的空间分集增益.在该系...
-
刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 将网络编码技术应用到无线传感器网络中以提高网络的传输效率是近年来国内外研究的一大热点,相交多径网络编码模型是一种具有高可靠性的基于网络编码的多径路由模型,而目前将相交多径网络编码模型应用在无...
-
658. 基于EZW的ECG压缩算法研究与改进刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 嵌入零树小波(Embeded Zerotree Wavelet,EZW)作为一种高效的压缩方式,虽然在编码上具有一定的优越性,但是其多层零树结构信息编码会使信号的压缩比有所降低.因此,研究了...
-
659. 互联网宏观拓扑的社团发现刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 自然界中存在的大量复杂系统都可以通过复杂网络加以描述,社团结构是继小世界特性和无标度特性之后发现的最为重要的复杂网络特性.社团发现对理解互联网的宏观拓扑结构至关重要.针对互联网宏观拓扑的结构...
-
660. 复杂室内环境下的WiFi定位技术研究刊名： 计算机科学发表期刊： 2016年11期页码:摘要： 在复杂的室内WLAN环境下,利用改进的MK模型和加权K最近邻法对定位性能进行了改进.首先介绍了室内传播模型及改进的MK模型;然后介绍了位置指纹定位方法及两种定位算法的基本原理,根据实测数据,...
计算机科学基本信息
| 刊名 | 计算机科学 | 主编 | 陈国良 |
| 曾用名 | 计算机应用与应用数学 | ||
| 主办单位 | 重庆西南信息有限公司(原科技部西南信息中心) | 主管单位 | 重庆西南信息有限公司（原科技部西南信息中心） |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
