中国科学(信息科学)期刊
出版文献量(篇)
1697
总下载数(次)
4

中国科学(信息科学)

Science in China(Information Sciences)
曾用名: 中国科学F辑

CSTPCD

影响因子 1.2981
本刊是中国科学院和国家自然科学基金委员会共同主办、《中国科学》杂志社出版的学术刊物,本刊力求及时报道计算机科学与技术、控制科学与控制工程、通信与信息系统、电子科学与技术、生物信息学等领域基础及应用研究方面的原创性成果;月刊,中文版每月20日出版,英文版每月1日出版。
主办单位:
中国科学院 国家自然科学基金委员会
ISSN:
1674-7267
CN:
11-5846/N
出版周期:
月刊
邮编:
100717
地址:
北京东黄城根北街16号
出版文献量(篇)
1697
总下载数(次)
4
文章浏览
目录
  • 作者: 刘旭东 刘江宁 尹刚 王怀民 谢冰 魏峻
    发表期刊: 2014年1期
    页码:  1-19
    摘要: 随着网络时代的来临,软件的开发模式、运行环境和提供方式发生了巨大变化.互联网作为一种开放的协同工作环境,其中孕育的大规模协同创作机理对软件开发和应用产生了深刻影响.如何将其与工业化可信软件生...
  • 作者: 陈道蓄 顾庆
    发表期刊: 2014年1期
    页码:  20-36
    摘要: 演化是计算机软件的固有特性.了解演化规律,可以改进软件演化过程,提高软件质量,降低维护成本.本文定义类依赖图,将软件系统描述为软件网络,基于网络度量验证软件演化规律,并讨论软件演化建模的可行...
  • 作者: 何剑涛 卜磊 李宣东 王林章 赵建华 韩志雄
    发表期刊: 2014年1期
    页码:  37-53
    摘要: 程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用...
  • 作者: 李萌 谢冰 赵俊峰
    发表期刊: 2014年1期
    页码:  54-69
    摘要: 近年来,基于主题建模技术的代码理解方法成为研究热点之一.该类方法期望利用主题建模技术从软件代码中挖掘功能性主题,进而利用功能性主题帮助开发人员理解软件功能及其代码实现.然而,从代码挖掘出的主...
  • 作者: 刘静 周庭梁 孙海英 杜德慧 陈小红
    发表期刊: 2014年1期
    页码:  70-90
    摘要: 变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于...
  • 作者: 宫云战 张大林 张海龙 杨学红 金大海
    发表期刊: 2014年1期
    页码:  91-107
    摘要: 缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态...
  • 作者: 甘水滔 秦晓军 陈左宁
    发表期刊: 2014年1期
    页码:  108-129
    摘要: 软件代码安全性缺陷是可能引发软件系统高危后果的一类重要缺陷,针对该类缺陷的自动化检测和定位技术在软件维护和演化研究领域具有重要意义.本文提出并实现了一种形式化检测方法——基于一阶逻辑的软件代...
  • 作者: 彭鑫 林日昶 赵文耘 陈碧欢
    发表期刊: 2014年1期
    页码:  130-141
    摘要: 随着面向服务的体系结构、云计算以及软件即服务的流行和发展,提供相同或相似的服务功能以及差异化服务质量(quality of service,QoS)的服务提供者越来越多.因此,如何为一个复合...
  • 作者: 王仲禹 王浩宇 郭耀 陈向群
    发表期刊: 2014年1期
    页码:  142-157
    摘要: 随着智能移动设备的流行和普及,移动应用得到了飞速发展.这些移动应用带来了丰富的功能和友好的用户体验,同时也带来一些安全和隐私问题.恶意的开发者或者剽窃者可以破解已经发布的应用程序,并且在应用...
  • 作者: 刘冬梅 范贵生 虞慧群 陈丽琼
    发表期刊: 2014年1期
    页码:  158-176
    摘要: 云计算近年来已成为一种被广泛接受的计算模式.随着云计算在商业、交通、卫生等领域应用的不断推进,云应用系统的可靠性问题引起了人们的特别关注.然而,云应用系统的结构和行为特征复杂,如何保障系统的...
  • 作者: 耿照新 邢冰冰
    发表期刊: 2014年2期
    页码:  177-198
    摘要: 基于微流控技术的细胞或颗粒分离是样品前处理中的一个重要步骤,近些年在生物和化学分析中引起了极大关注,随着微纳米加工技术的发展,分离技术在片上实验室系统的微环境应用中得到快速发展.基于微流体细...
  • 作者: 周海峰 王荣杰 蔡庆玲 詹宜巨
    发表期刊: 2014年2期
    页码:  199-220
    摘要: 针对复值信号的源数估计和有序分离等关键技术,提出一种基于人工蜂群优化的源数未知的复值盲源分离方法,该方法首先利用交叉互验技术来估算复数源信号的个数,然后通过人工蜂群算法优化峰度的绝对值来获得...
  • 作者: 刘庆会 吴亚军 周伟莉 张秀忠 朱人杰 李培佳 郑鑫 陈冠磊
    发表期刊: 2014年2期
    页码:  221-230
    摘要: 甚长基线干涉测量(very long baseline interferometry,VLBI)技术是深空探测器测定轨的方法之一,也是行星无线电科学研究的重要手段.VLBI相时延通过解算相关...
  • 作者: 王鼎
    发表期刊: 2014年2期
    页码:  231-253
    摘要: 基于卫星平台的地球表面目标定位系统受到卫星位置误差的影响较大,为此,该文在卫星位置存在误差的条件下,系统给出一种推导约束Taylor级数迭代公式及其理论定位性能的数学分析框架.为了便于讨论,...
  • 作者: 刘璐 吉江 金梁 黄开枝
    发表期刊: 2014年2期
    页码:  254-262
    摘要: 文中提出基于随机发送参考的多天线系统传输算法,用于保障物理层信息安全传输.该算法将授权用户的信道分解为多个独立并行的信道,并在其中的一个信道中发送随机化的导频信息,同时对其他信道加密.由于窃...
  • 作者: 张鹏程 李宣东 李雯睿
    发表期刊: 2014年2期
    页码:  263-283
    摘要: 在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段....
  • 作者: 余景景 刘亚楠 秦晓伟 郭建中
    发表期刊: 2014年2期
    页码:  284-294
    摘要: 生物发光断层成像重建中,发光光源在生物体内稀疏分布,基于压缩感知思想,将e1范数正则化的稀疏重建应用于生物发光断层成像,并采用Split Bregman迭代算法求解e1范数目标函数,以获得快...
  • 作者: 吴华 潘建伟 王向斌
    发表期刊: 2014年3期
    页码:  295-311
    摘要: 本文综述量子通信基本原理、方法、技术手段与应用.介绍量子保密通信基本协议和诱骗态方法,以及基于纠缠分发的量子通信,含基于纠缠光子对的量子保密通信、量子态隐性传输、纠缠光子对操控等.介绍量子通...
  • 作者: 吴华 赵于康 赵勇 赵梅生
    发表期刊: 2014年3期
    页码:  312-321
    摘要: 本文以如何应用量子通信技术满足现场应用和安全管理需求为出发点,以国内最近完成的一个在现场光纤网络上搭建的多节点量子加密电话网络和高速数据传输系统为实例,具体分析了为满足现场应用和安全管理的需...
  • 作者: 周飞 王向斌 赵梅生
    发表期刊: 2014年3期
    页码:  322-328
    摘要: 本文主要解决在现实条件下,量子密钥分发系统中光纤分束器的波长相关特性引起的测量基矢选择不随机的安全性问题,通过分析分束器波长相关性引起的误码粒子分布偏差的大小,理论推算实际系统中可提炼的最终...
  • 作者: 张琪 杜江峰 王鹏飞 石发展
    发表期刊: 2014年3期
    页码:  329-344
    摘要: 实现深及单个量子系统的测量技术,能够揭示出在传统宏观测量中被系综统计所平均掉的独特的个体信息.金刚石中的氮-空位色心(NV色心)在室温下具有超长的相干时间,并可以通过光探测磁共振的方式进行单...
  • 作者: 张卫平 张可烨 袁春华
    发表期刊: 2014年3期
    页码:  345-359
    摘要: 给定一个物理装置,对于一个物理可观察量能够得到的测量精度是什么?为了回答这一问题,本文以最近量子精密测量的发展为主线,量子参数估值方法为核心,介绍单粒子(线性耦合)体系和多粒子(非线性耦合)...
  • 作者: 李波 范桁
    发表期刊: 2014年3期
    页码:  360-369
    摘要: 量子关联是量子系统具有的一种重要的非经典性质,被普遍研究的量子纠缠就是量子信息处理中重要的量子关联.随着研究的深入,最近发现了很多不需要纠缠的非经典现象在量子信息中扮演了关键角色.文章介绍了...
  • 作者: 尤立星
    发表期刊: 2014年3期
    页码:  370-388
    摘要: 超导纳米线单光子探测技术自2001年出现以来,已经成为超导电子学领域的一个热点研究方向.作为一种新型的单光子探测技术,其具有探测效率高、暗计数低、时间抖动小、计数率高、响应频谱宽、电路简单等...
  • 作者: 张强 申屠国樑 郑名扬
    发表期刊: 2014年3期
    页码:  389-393
    摘要: 单光子探测器的研制是量子光学和量子信息领域的一个重要研究课题.本文提出了一种基于长波泵浦频率转换技术和多模光纤耦合接收方法的新型上转换单光子探测器,有效的解决了上转换单光子探测器所面临的高噪...
  • 作者: 何玉明 熊飞雷 贺煜 赵勇 陆朝阳 陈凯 魏宇佳
    发表期刊: 2014年3期
    页码:  394-409
    摘要: 确定性和高度不可分辨的单光子源是实现线性光学量子计算和固态量子网络的重要前提条件.半导体自组装量子点,具有良好的稳定性,易于集成于高品质因子的纳米微腔中,可获得超高亮度的单光子源.同时量子点...
  • 作者: 何君钰 廖开宇 朱诗亮 颜辉
    发表期刊: 2014年3期
    页码:  410-424
    摘要: 在时域上操控单光子的波形不但可以应用到基础量子物理研究,也可以应用到量子信息处理.窄线宽纠缠光子对的成功产生让时域上操控单光子的波形成为可能.本文首先介绍了利用四波混频和慢光技术在大光学厚度...
  • 作者: 刘传凯 吴伟仁 周建亮 王保丰
    发表期刊: 2014年4期
    页码:  425-440
    摘要: 2013年12月14日,“嫦娥三号”成功地将月面着陆器和“玉兔号”巡视器送抵月球,这标志着我国已完成了探月工程中“落”月的重要阶段.嫦娥三号任务的一个关键组成部分是由地面遥操作中心控制“玉兔...
  • 作者: 吴克 周建亮 夏奕 张哲 张强 谢圆
    发表期刊: 2014年4期
    页码:  441-451
    摘要: 任务规划技术是嫦娥三号任务中月面巡视器遥操作中的一项关键技术.本文首先分析了各种月面环境因素对巡视器月面工作过程的影响机制,综合考虑月面地形因素、太阳能量、光照阴影以及对地通信条件等,建立了...
  • 作者: 万文辉 刘传凯 周建亮 唐歌实 王保丰 王镓 邸凯昌
    发表期刊: 2014年4期
    页码:  452-460
    摘要: 月面巡视器的定位是巡视器开展月面科学考察工作的基础,是一项关键技术.本文提出了一种基于计算机视觉的定位方法,将SIFT(scale-invariant feature transform)匹...

中国科学(信息科学)基本信息

刊名 中国科学(信息科学) 主编 李未
曾用名 中国科学F辑
主办单位 中国科学院 国家自然科学基金委员会  主管单位 中国科学院
出版周期 月刊 语种
chi
ISSN 1674-7267 CN 11-5846/N
邮编 100717 电子邮箱 informatics@scichina.org
电话 010-64015683 网址 info.scichina.com
地址 北京东黄城根北街16号

中国科学(信息科学)评价信息

该刊被以下数据库收录

中国科学(信息科学)统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊