论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机科学与探索期刊 >
计算机科学与探索2016年出版文献
出版文献量（篇）
2215
总下载数（次）
4
计算机科学与探索
分享
投稿
《计算机科学与探索》是由中华人民共和国工业和信息化部主管、华北计算技术研究所主办的国内外公开发行的计算机学报级高级学术期刊，中国计算机学会会刊，工业和信息化部优秀科技期刊，中国科技论文统计源期刊（中国科技核心期刊），中国科学引文数据库来源期刊，并被“万方数据--数字化期刊群”、“中国学术期刊网络出版总库”、“俄罗斯《文摘杂志（AJ）》”、“美国《剑桥科学文摘（CSA）》”、“波兰《哥白尼...
更多
主办单位：
华北计算技术研究所
ISSN：
1673-9418
CN：
11-5602/TP
出版周期：
月刊
邮编：
100083
地址：
出版文献量（篇）
2215
总下载数（次）
4
分享
文章浏览
目录
-
151. 广义可能性计算树逻辑的两种范式刊名： 计算机科学与探索发表期刊： 2016年10期页码:摘要： 计算树逻辑(computation tree logic,CTL)的范式在模型检测方法中具有重要意义,但基于广义可能性测度的计算树逻辑的范式尚未有系统研究.为了进一步完善广义可能性计算树(g...
-
刊名： 计算机科学与探索发表期刊： 2016年10期页码:摘要： 传统范畴论与共代数等方法在分析语义行为与描述共归纳规则方面存在不足,应用Fibrations理论对程序语言中索引共归纳数据类型(indexed co-inductive data type,...
-
153. (α,β)-软BCK代数刊名： 计算机科学与探索发表期刊： 2016年10期页码:摘要： 将软集的参数集赋予BCK代数的代数结构,给出了(α,β)-软BCK代数的概念,并验证了得到的(α,β)-软BCK代数是交软BCK代数和α-交软BCK代数的非平凡推广;得到了两个(α,β)-软...
-
154. 《计算机科学与探索》编辑委员会刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要：
-
155. 《计算机科学与探索》投稿须知刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要：
-
156. Java安全性机制的形式分析与证明刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： Java访问控制一方面提供了语言级的安全性机制，这种机制针对程序中所声明的实体，通过不同的访问修饰符，向其使用者屏蔽实体的实现细节；另一方面，它也导致了该语言规范的复杂性和实现的不一致性。分...
-
157. 面向流式处理系统的对象管理方法刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 在车联网的应用实践中，人们将分析车辆数据的任务运行在流式计算系统中。在运行分析中发现，这些任务具有运行周期长，处理延迟低，任务有状态等需求和特点，并且计算过程中需要在内存中保存大量计算参数和...
-
158. 《计算机工程与应用》投稿须知刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要：
-
159. 信息传播中的用户转发选择预测刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 在线社会关系网络中，用户之间的关注关系网络承载着上层的信息传播，关注关系网络的结构影响着消息的可见度，并影响着信息传播过程的转发选择。以新浪微博为例，围绕信息传播中的多次暴露现象展开研究，结...
-
160. 面向频繁位置更新的不确定移动对象索引策略刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 位置不确定性是移动对象的重要特点之一。已有的不确定移动对象索引技术旨在提高查询效率，但是当移动对象位置频繁更新时，存在更新代价较大的问题。针对移动对象频繁位置更新引起的开销增加问题，在TPU...
-
161. 带参数区间关联规则挖掘算法与应用刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 通过研究基于经典概念格的关联规则提取算法，结合区间概念格的概念性质和结构特性，提出了一种带参数的区间关联规则提取模型，以解决不确定规则的挖掘问题。首先给出了区间规则挖掘过程中的一系列定义和相...
-
162. 基于博弈理论的节能疏导算法刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 多粒度传送网作为下一代骨干传输网的核心部分，其高带宽和节能优势受到广泛关注。但是，由于用户不断激增的带宽需求和全球电力资源日趋紧张的现状，需要对网络传输系统的容量和性能作进一步的提高。对多粒...
-
163. 多个体网络分布式随机投影无梯度优化算法刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 研究了有向多个体网络的无梯度优化问题，提出了一种分布式随机投影无梯度优化算法。假定网络的优化目标函数可分解成所有个体的目标函数之和，每个个体仅知其自身的目标函数及其自身的状态约束集。运用无梯...
-
164. 通用的量子同态加密框架刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 研究了量子同态加密，提出了一种通用的构造量子同态加密算子的方法，进而建立了构造量子同态加密方案的一种通用框架；通过二值和三值量子态的酉变换，利用该框架构造了相应的量子同态加密方案，与现有文献...
-
165. 多流形的非监督线性差分投影算法刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 针对非监督线性差分投影（unsupervised linear differential projection，ULDP）在特征提取过程中存在的不足，提出了基于多流形的非监督线性差分投影（m...
-
166. 结合群体协同与和声搜索策略的果蝇优化算法刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 为了改善标准果蝇优化（fruit fly optimization，FFO）算法易陷入局部极优，收敛精度不高的不足，提出了一种结合群体协同（swarm collaboration，SC）与和...
-
167. 基于网络基的粗糙复杂网络决策方法及应用刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 在一些实际的复杂网络中，网络的管理者为了自身利益最大化和风险最小化，需要做出一些决策，但是现有的研究也只是针对某一实际复杂网络所做的决策，缺乏通用性，也忽略了复杂网络中大量的不确定现象，因此...
-
168. 自动确定聚类中心的密度峰聚类刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 密度峰聚类是一种新的基于密度的聚类算法，该算法不需要预先指定聚类数目，能够发现非球形簇。针对密度峰聚类算法需要人工确定聚类中心的缺陷，提出了一种自动确定聚类中心的密度峰聚类算法。首先，计算每...
-
刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要：
-
刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 针对图最小线性排序问题优化目标的特性及其可行域总是连通的特点，提出了一个新型的Memetic爬山算法。在Memetic算法框架及其主要算子内部流程中同时结合爬山法，并在主要算子内部采用迂回爬...
-
171. 副本放置中的更新策略及算法刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 副本技术广泛应用于云计算及分布式系统中，合理的数据副本放置是降低网络运行成本的重要手段，也是副本技术的核心问题。副本更新是针对网络中数据访问请求的动态变化而进行的副本添加与删除。针对副本放置...
-
刊名： 计算机科学与探索发表期刊： 2016年11期页码:摘要： 为提高签名网络社区发现效果，解决其评估指标存在的数据耦合和依赖性，造成网络社区单指标优化存在较大局限性的问题，提出了基于位置修复和粒子置换的FSUD-PSO（fast sorting and...
-
刊名： 计算机科学与探索发表期刊： 2016年12期页码:摘要： 目前对置信规则库(belief rule base,BRB)的研究主要针对单个BRB系统,然而单个BRB系统的推理性能不仅受参数取值的影响,而且当训练集分布不均衡或数据量较少时,容易导致参数...
-
174. 基于用户角色与城市地域结构的互推断模型刊名： 计算机科学与探索发表期刊： 2016年12期页码:摘要： 用户以不同的角色在城市中不同的地域间从事各种活动,如何通过用户活动的地域推断他们的角色,以及通过用户的角色推断他们有可能频繁活动的地域结构,是用户移动性领域研究的挑战性问题.通过从用户所发微...
-
175. 基于伪反馈的有效XML查询扩展刊名： 计算机科学与探索发表期刊： 2016年12期页码:摘要： 伪反馈(pseudo relevance feedback,PRF)一直以来都被认为是一种有效的查询扩展技术.然而传统的伪反馈容易带来主题漂移,从而影响检索性能.如何确定高质量的相关文档集,...
-
176. 大数据分类挖掘算法及其概念漂移应用研究刊名： 计算机科学与探索发表期刊： 2016年12期页码:摘要： 随着大数据应用研究的不断深入和分布式机器学习中流计算框架的涌现,针对数据流中概念漂移问题的研究是面向大数据挖掘领域的研究热点之一.现有的针对概念漂移的研究成果主要还是依赖于数据结构和算法优化...
-
刊名： 计算机科学与探索发表期刊： 2016年12期页码:摘要： 软件路由器在现代网络的发展中发挥着越来越重要的作用,而Click是具有良好模块化设计的软件路由器,为开发和验证新的路由协议等应用提供了很好的软件平台.由于实现机制问题,用户态Click的I/...
-
178. 基于强认证理论的三方网络协议安全性证明刊名： 计算机科学与探索发表期刊： 2016年12期页码:摘要： 形式化方法是分析网络安全协议的一种重要方法,网络协议安全性也是信息安全领域的研究热点.事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于证明网络安全协议的安全性.以事件逻辑为基础,定义...
-
179. 改进的克隆选择算法求解高维背包问题刊名： 计算机科学与探索发表期刊： 2016年12期页码:摘要： 针对克隆选择算法(clonal selection algorithm,CSA)求解高维背包问题(knapsack problem,KP)时可行抗体比率低且易于陷入局部搜索的问题,充分挖掘免...
-
180. 改进交互式蚁群算法及其应用刊名： 计算机科学与探索发表期刊： 2016年12期页码:摘要： 交互式蚁群优化(interactive ant colony optimization,iACO)是一种利用人来评价解的优劣而进行系统优化的技术,可以求解性能指标不能或者难以数量化的优化问题...
计算机科学与探索基本信息
| 刊名 | 计算机科学与探索 | 主编 | 李建中 |
| 曾用名 | 计算机与生活(-2007) | ||
| 主办单位 | 华北计算技术研究所 | 主管单位 | 中国电子科技集团公司 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1673-9418 | CN | 11-5602/TP |
| 邮编 | 100083 | 电子邮箱 | fcst@vip.163.con |
| 电话 | 010-51616056;51616055 | 网址 | www.ceaj.org |
| 地址 | 北京市海淀区北四环中路211号北京619信箱26分箱 |
计算机科学与探索评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 日本科学技术振兴机构数据库(日) |
| 3. | 中国科技论文统计与引文分析数据库 |
计算机科学与探索统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
