计算机研究与发展期刊
出版文献量(篇)
7553
总下载数(次)
35

计算机研究与发展

Journal of Computer Research and Development

CSCDEIJSTAJCSTPCD

影响因子 2.0843
本刊是中国科学院计算技术研究所和中国计算机学会联合主办、科学出版社出版的学术性刊物、中国计算机学会会刊,我国第一个计算机刊物。主要刊登计算机科学技术领域高水平的学术论文、最新科研成果和重大应用成果。
主办单位:
中国科学院计算技术研究所 中国计算机学会
期刊荣誉:
2000年获中科院优秀期刊二等奖 
ISSN:
1000-1239
CN:
11-1777/TP
出版周期:
月刊
邮编:
100190
地址:
北京中关村科学院南路6号
出版文献量(篇)
7553
总下载数(次)
35
文章浏览
目录
  • 作者: 史忠植 蒙祖强
    发表期刊: 2008年z1期
    页码:  264-267
    摘要: 研究在不完备信息系统(incomplete information system,IIS)中的知识获取已经成为近期粒度计算研究的热点方向之一.为探索一种高效的知识获取方法,基于相容粒度计算的...
  • 作者: 殷建平 祝恩 赵文涛 龙军
    发表期刊: 2008年z1期
    页码:  300-304
    摘要: 近年来,主动学习成为机器学习领域的研究热点.这一技术通过主动选择要学习的样例从而有效地降低学习算法的样本复杂度.介绍当前主动学习的研究进展,包括主动学习的样本复杂度,样例选择算法和实际应用,...
  • 作者: 宣蕾 范慧萍 陈曙晖 黄高平
    发表期刊: 2008年z1期
    页码:  438-封3
    摘要: 在当今网络中,传统的采用端口进行协议识别已越来越无法满足需求.采用了正则表达式进行协议识别,并对其匹配正确性和速度进行了优化.通过将NFA匹配引擎转换为DFA匹配引擎,不仅减少了其状态数,还...
  • 作者: 伍勇安 李敏 殷建平
    发表期刊: 2008年z1期
    页码:  357-360
    摘要: 在分析LEAP的基础上,结合簇状传感器网络的特点,提出了一种基于单向函数的簇状传感器网络的密钥管理方案.应用该方案,无线传感器节点所需预分配密钥数为1,同时通信开销小而且抗攻击性强.
  • 作者: 潘正华
    发表期刊: 2008年z1期
    页码:  165-168
    摘要: 模糊推理算法在自动控制等领域不断得到成功应用,但其理论基础却是贫弱的.从数学与逻辑的角度对模糊推理算法的基础进行研究分析,提出并证明了3个定理.结果表明在各种模糊推理模式中,前提与结论之间存...
  • 作者: 孙明军 张泉 曾国荪 王伟 谷华楠
    发表期刊: 2008年z1期
    页码:  268-273
    摘要: 信息时代的到来和互联网的发展,使信息文本呈爆炸趋势生成和传播,虚假信息的大量存在,给人们高效地获取可信的、安全的信息带来了相当的困难.如何对互联网上的信息文本进行信任评估,是内容信任和网络安...
  • 作者: 范大娟 钟诚
    发表期刊: 2008年z1期
    页码:  105-112
    摘要: 在给定正文串分配轮数的前提下,考虑处理机节点具有不同计算速度、不同通信能力的情形,根据从处理机是否允许重叠执行计算和通信操作,提出异构机群计算环境下的最优正文串多轮分配策略;同时提出一种周期...
  • 作者: 殷建平 蔡志平 蔡敏智
    发表期刊: 2008年z1期
    页码:  389-392
    摘要: 分簇使无线传感器网络层次清晰,便于管理,节约能量,同时可以降低传输过程中的数据冗余.基于节点剩余能量和邻居节点数目两个参数,提出了一种分布式的无线传感器网络分簇算法.该算法将分簇过程分为两个...
  • 作者: 崔月 张晋东 秦贵和
    发表期刊: 2008年z1期
    页码:  255-258
    摘要: 针对大量EEG数据进行分析时,视觉检测显得既费时效率又低,提出了EEG信号分类系统.该系统采用FastICA方法获取EEG信号模式的高阶统计信息,并将输入模式空间映射到相应的独立成分空间,然...
  • 作者: 凤旺森 张立昂 汤传喜 王捍贫 陈霄
    发表期刊: 2008年z1期
    页码:  62-66
    摘要: 最近,凤旺森,张立昂,曲婉玲,王捍贫对源于无线Mesh网络中的一个新的计算问题--最大边染色问题--提出了常数比近似算法.最大边染色问题要求对图的所有边染色,满足对任一顶点v,与其相关联的所...
  • 作者: 周从华 陈振宇 鞠时光
    发表期刊: 2008年z1期
    页码:  124-130
    摘要: 线性时态逻辑SE-LTL是具有高表达力和基于状态、事件推理能力的并发系统规约语言.目前,SE-LTL的模型检测算法依然是显式的,状态空间爆炸是检测的主要困难.对SE-LTL引入一种有界模型检...
  • 作者: 孔令富 潘勋 陈晶
    发表期刊: 2008年z1期
    页码:  11-16
    摘要: 资源调度是网格计算领域中的研究热点之一.以达到最优的资源利用率和提高用户对服务的满意程度为目标,定义了资源QoS约束和形式化描述;在任务完成期限和网络带宽的双重属性约束下结合预测机制,提出了...
  • 作者: 李之棠 王卫东 陆垂伟 黄庆凤
    发表期刊: 2008年z1期
    页码:  409-414
    摘要: DHT(分布式Hash表)是P2P网络中的一种结构化定位技术.针对DHT很难解决的抖动问题,提出了反向邻居节点数的概念,计算了几种常用的DHT的反向邻居节点数,找出了影响DHT抖动处理代价最...
  • 作者: 吴哲辉 张继军 耿霞 董卫
    发表期刊: 2008年z1期
    页码:  190-195
    摘要: 提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;...
  • 作者: 罗程 钟诚
    发表期刊: 2008年z1期
    页码:  326-331
    摘要: 利用核函数构造数据的特征空间并在此空间采用核函数结合RA算法选取初始聚类中心,在核k-means聚类基础上,划分出大簇小簇,然后在大簇中进行异类分离以发现实验数据中以小概率事件出现的R2L,...
  • 作者: 宋丽华 张国敏 王元元 陈鸣
    发表期刊: 2008年z1期
    页码:  421-425
    摘要: 当前大规模网络测量系统中不维护状态,因此也很难支持可靠的协作测量.针对这一问题提出了一种基于模态逻辑的网络测量策略模型(ML-NMPM),定义了基于模态逻辑的策略语言和执行模型. ML-NM...
  • 作者: 刘永彬 梁碧珍 秦亮曦 苏永秀
    发表期刊: 2008年z1期
    页码:  244-249
    摘要: FP-growth算法是目前较高效的频繁模式挖掘算法之一.它只需扫描数据库两次,而且不需要产生和测试候选集,避免了这些费时的工作,因此该算法具有较高的效率.然而,FP-growth算法需要递...
  • 作者: 冯嘉礼 刘永昌 许广林
    发表期刊: 2008年z1期
    页码:  274-278
    摘要: 提出了定性映射诱导的属性计算网络,讨论了属性计算网络中定性基准的学习和反馈调节机制,给出了相应的调节算法,并给出了属性计算网络在模式识别中的应用实例.
  • 作者: 张韬
    发表期刊: 2008年z1期
    页码:  31-34
    摘要: 研究一个无线网络中信道分配的最大化问题.对该问题的离线版本给出了一个O(n2)时间的算法.对在线问题的一般情况,证明了k-look-ahead算法的下界至少为(k+2)*/(k+1);还给出...
  • 作者: 刘晓光 刘璟 李珺 王刚
    发表期刊: 2008年z1期
    页码:  48-52
    摘要: Bloom Filter是一种采用位向量表示数据集合并利用Hash函数支持有效数据查找的方法.它能够很好地判定某个元素是否属于给定的集合.拆分型Bloom Filter是Bloom Filt...
  • 作者: 林永听 王会进 龙舜
    发表期刊: 2008年z1期
    页码:  228-232
    摘要: 基于实例学习的可适应性并行任务负荷分配算法能根据应用程序的静态特征估计其运算负荷,选定好的任务负荷分配方案使其多线程并行接近甚至达到最优,它具有低成本和高效率的特点.通过一系列实验,分析研究...
  • 作者: 胡启敏 薛锦云
    发表期刊: 2008年z1期
    页码:  148-153
    摘要: PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推...
  • 作者: 姚宏亮 杨峰 王浩
    发表期刊: 2008年z1期
    页码:  295-299
    摘要: 粒子滤波(PF)是动态贝叶斯网络(DBN)的一种近似推理算法,虽然重抽样过程的引入能有效减轻PF的退化现象,却带来了采样枯竭问题,导致推理精度下降.提出一种进化粒子滤波(EPF)推理算法,把...
  • 作者: 廖士中 陈亚瑞
    发表期刊: 2008年z1期
    页码:  259-263
    摘要: 高斯马尔可夫随机场模型是具有马尔可夫性质、符合多元高斯分布的概率模型.均值场变分方法是图模型最基本的变分近似推理方法.基于指数族变分近似推理框架,分析了高斯马尔可夫随机场模型均值场变分近似推...
  • 作者: 何新贵 徐明 王钦琦
    发表期刊: 2008年z1期
    页码:  392-399
    摘要: 路径容量对于路由协议的设计、QoS保障以及拥塞控制等方面有重要指导意义.为充分发挥无线Mesh网络中多设备多信道的资源优势,以路径容量为研究对象,首先提出了针对无线Mesh网络的本地虚拟报文...
  • 作者: 任毅 唐祖锴 彭智勇 李旭辉 郭思培
    发表期刊: 2008年z1期
    页码:  212-216
    摘要: 对象代理数据库模式规范化以消除数据库模式中信息冗余和提高数据库运行效率为目的.形式概念分析是数据分析和规则提取的一种行之有效的工具.将形式概念分析的方法运用到对象代理模型的规范化过程中,对模...
  • 作者: 周从华 徐宝文 陈振宇
    发表期刊: 2008年z1期
    页码:  43-47
    摘要: 变量极小不可满足(VMU)问题是极小不可满足(MU)问题的一个扩充和延伸.着重研究VMU子公式的提取算法.首先从理论上比较MU和VMU的基本性质,并分析了目前流行的MU子公式提取算法.研究D...
  • 作者: 乔海燕
    发表期刊: 2008年z1期
    页码:  137-142
    摘要: 使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化,并比较了这两种安全协议验证法,证明两种方法形式化的正确性和攻击者...
  • 作者: 冯兴智 吴泉源 周斌 姚学斌 贾焰
    发表期刊: 2008年z1期
    页码:  426-432
    摘要: 异构服务组合是不同应用领域间Web服务可用性和可应用性的关键点,尤其是电子商务和电子政务应用.组合设计者尝试进行完美的组合匹配但在实际中不可能找到完全相容的服务.提出一种相容性模型,确保We...
  • 作者: 幸冬梅
    发表期刊: 2008年z1期
    页码:  57-61
    摘要: 在各种数据系统的处理中,总有一系列相对独立而相互关联的事务系列组成.如何合理地安排这样的事务的顺序,一直是数据系统优化中存在的问题.该问题的一般化形式是一个NP问题,可以归约为一个点、边均有...

计算机研究与发展基本信息

刊名 计算机研究与发展 主编 徐志伟
曾用名
主办单位 中国科学院计算技术研究所 中国计算机学会  主管单位 中国科学院
出版周期 月刊 语种
chi
ISSN 1000-1239 CN 11-1777/TP
邮编 100190 电子邮箱 crad@ict.ac.cn
电话 010-62620696;62600350 网址 http://crad.ict.ac.cn
地址 北京中关村科学院南路6号

计算机研究与发展评价信息

期刊荣誉
1. 2000年获中科院优秀期刊二等奖

计算机研究与发展统计分析

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