论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机科学与探索期刊 >
计算机科学与探索2015年第7期出版文献
出版文献量（篇）
2215
总下载数（次）
4
总被引数（次）
10748
计算机科学与探索
分享
投稿
《计算机科学与探索》是由中华人民共和国工业和信息化部主管、华北计算技术研究所主办的国内外公开发行的计算机学报级高级学术期刊，中国计算机学会会刊，工业和信息化部优秀科技期刊，中国科技论文统计源期刊（中国科技核心期刊），中国科学引文数据库来源期刊，并被“万方数据--数字化期刊群”、“中国学术期刊网络出版总库”、“俄罗斯《文摘杂志（AJ）》”、“美国《剑桥科学文摘（CSA）》”、“波兰《哥白尼...
更多
主办单位：
华北计算技术研究所
ISSN：
1673-9418
CN：
11-5602/TP
出版周期：
月刊
邮编：
100083
地址：
出版文献量（篇）
2215
总下载数（次）
4
总被引数（次）
10748
分享
文章浏览
目录
-
刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要：
-
2. SMT求解技术简述刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： SMT问题是在特定理论下判定一阶逻辑公式可满足性问题。它在很多领域，尤其是形式验证、程序分析、软件测试等领域，都有重要的应用。介绍了SMT问题的基本概念、相关定义以及目前的主流理论。近年来出...
-
刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： 基于人工智能规划的服务组合算法得到的组合方案是一种层次化服务流程（layered service process， LSP），由服务之间的数据流（而非传统块结构流程中的控制结构）加以驱动执行...
-
刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： 可逆变换和双向变换等数据转换问题一直是近年来的研究热点，研究人员针对该问题提出了大量相关的语言和模型。但是，这些实现往往建立在一种新的计算模型上，从而导致需要花费较大的学习成本去了解计算模型...
-
刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： 随着Web的发展，多应用Web系统成为一种主流形式，它能够为用户提供综合便捷的服务。Web系统中各应用间的交互直接影响着Web系统的功能性和可靠性，互操作性已经成为Web系统的主要特性之一。...
-
6. 最大流信任关系发现方法?刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： 从互联网海量信息中快速准确地获取有效的信息变得非常重要。依据用户间信任关系给出推荐是一种非常有效的快速获取信息的方法，然而用户间信任关系通常非常的稀疏，很难为用户找到合适的信任关系，极大地影...
-
刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： 车联网中自私节点为节省自身能源消耗倾向于拒绝为其他节点转发数据包，为克服这种降低网络整体性能的自私性，常采用基于信誉权限和价格的激励机制来促进合作。在以信誉权限机制处罚自私行为的基础上，提出...
-
刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： 提出了一种基于分时的LEO卫星网络非对称路由算法A-DTRA（asymmetric discrete time based routing algorithm）。针对网络节点在各时间片内的链...
-
刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： 由于使用头相关传递函数重建双耳三维音频的运算复杂度很高，导致无法实现音频的实时三维重建。针对此问题，设计了基于重叠保留法的分帧卷积优化算法，并实现了三维音频实时生成系统，显著降低了三维<br...
-
刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： 为了处理在不确定性环境下的自动演绎，重点研究了基于自动推理理论的归结方法，其自动推理理论是真值定义在格蕴涵代数（lattice implication algebra，LIA）结构上格值逻辑...
-
刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： 标准人工蜂群算法由于局部搜索能力差，收敛精度低，容易陷入早熟收敛等缺陷，从而求解最小值函数优化问题的能力受到限制。为了解决标准人工蜂群算法的以上问题，提出了一种改进的人工蜂群算法。该算法将混...
-
12. 面向近邻搜索的马尔科夫图哈希算法刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： 基于哈希编码的算法，由于其高效性，已经成为海量数据高维特征最近邻搜索的研究热点。目前存在的普遍问题是，当哈希编码长度较低时，原始特征信息保留不是很充分，从而导致检索结果不理想。为了解决这一问...
-
刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： *The Scientific Research Program Funded by Education Department of Shaanxi Province under Grant...
-
刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： Luttgen等人将进程代数与时序逻辑相结合，提出了逻辑标记转换系统（logic labeled transition system， LLTS）以及相应的精化关系——LLTS预备模拟。为给...
-
刊名： 计算机科学与探索发表期刊： 2015年7期页码:摘要： 模式匹配是数据管理中的一个基础性问题。随着数据集的不断增长，使用自动化模式匹配工具能大大节省匹配时间，但其给出的结果带有不确定性，且难以消除。提出了一种用于模式匹配众包方法中的问题发布策略“...
计算机科学与探索基本信息
| 刊名 | 计算机科学与探索 | 主编 | 李建中 |
| 曾用名 | 计算机与生活(-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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
