首页| 期刊介绍 | 编委会| 投稿指南 | 期刊订阅 | 中图分类号 | 新闻公告 | 留言板 | 联系我们| English 
 
在线办公系统
　·作者投稿系统
　·作者查稿系统
　·专家审稿系统
　·编委审稿系统
　·远程编辑系统
　·主编审稿系统

 
在 线 期 刊
　·最新录用
　·当期目次
　·下期目次
　·过刊浏览
　·文章检索
　·摘要点击排行
　·全文下载排行
　·读者会员登陆
　·Email Alert1
　·
　文章快速检索  
 
　
 
　
 
 
 
 
　当期目次

  4卷 1  
  刊出日期 2010-1-15  
 
 
  综述·探索
  学术研究
  　 　 　　 
 
 
 
 
0
  计算机科学与探索 第1期 目次
    ...
    2010 4 (1): 0-0 [摘要 ] ( 87 ) [HTML 0KB] [PDF 374KB ]( 104 )  
综述·探索
  
 
1 唐祖锴 彭智勇
  面向方面程序设计语言研究综述
    作为控制软件复杂性、提高软件模块化程度、增强软件开发灵活性的重要技术手段之一，面向方面程序设计语言经过十多年的发展，日益受到软件研究者和实践者的关注，并发展成为软件工程的一个重要的研究领域。基于该领域近十年来的研究进展，分析总结了面向方面程序设计语言中的...
    2010 4 (1): 1-19 [摘要 ] ( 152 ) [HTML 0KB] [PDF 2493KB ]( 213 )  
学术研究
  
 
20 袁崇义 赵 文 高 昕 黄 雨
  O-表达式的性质定义与规范
    在所提出的程序设计方法中，赋值是物理对象上的操作，而程序则是这种操作的表达式。给出了此类表达式（O-表达式）的安全性和进展性性质的形式化定义，用实例说明了基于这些性质的形式化程序规范的模式。具有明确运行目标的O-表达式称为独立O-表达式（stand-alone O-express...
    2010 4 (1): 20-28 [摘要 ] ( 96 ) [HTML 0KB] [PDF 454KB ]( 108 )  
29 李 倩 潘敏学 李宣东
  内存泄漏检测工具与评估方法
    内存泄漏是软件系统中常见的一种错误，会持续消耗内存，致使系统运行效率下降，甚至导致系统崩溃。内存泄漏的检测工具主要可以分为两类：一类是使用基于程序扫描分析技术的静态工具；另一类则是监视实时内存分配状态进行判别的动态工具。如何评估工具检测内存泄漏的能力，相...
    2010 4 (1): 29-35 [摘要 ] ( 102 ) [HTML 0KB] [PDF 989KB ]( 126 )  
36 靳辛欣 陈昊罡 汪小林 王振林 温 翔 罗英伟 李晓明
  虚拟机缓存划分的设计与实现
    阐述了一种基于VMM（virtual machine manager）的虚拟机缓存划分的设计与实现。该方法采用操作系统中的页面着色技术，在虚拟机管理器Xen上进行实现。这种机制对于VMM之上的客户操作系统是完全透明的，便于操作，具有很好的灵活性。经测试表明，提出的缓存划分的方法能...
    2010 4 (1): 36-45 [摘要 ] ( 86 ) [HTML 0KB] [PDF 1331KB ]( 111 )  
46 丁学雷 王怀民 王元元 卢 刚
  面向验证的软件可信证据与可信评估
    随着软件可信性问题的凸显，近年来人们开始从不同的角度、不同的出发点研究与软件可信有关的问题。从认识和理解软件的角度，基于对软件的思考以及认识越深入软件越可信这样一个观点，在对传统的软件可信证据收集与分类方法进行分析的基础上，提出了基于验证的可信证据模型。...
    2010 4 (1): 46-53 [摘要 ] ( 93 ) [HTML 0KB] [PDF 1059KB ]( 106 )  
54 孟 啸 王宏志 高 宏 李建中
  bibEOS：一个高质量的社会化文献检索与管理系统
    社会化系统是以用户为核心的系统，利用用户参与可以持续地改进系统的质量。而当前的系统并没有有效利用用户参与信息来改善系统的数据质量。提出了利用用户信息改进系统的数据质量从而提高查询结果质量的策略；综合这些策略，设计了一个社会化文献检索与管理系统。作为一个完...
    2010 4 (1): 54-63 [摘要 ] ( 95 ) [HTML 0KB] [PDF 1380KB ]( 119 )  
64 王波涛 陈 贺 马 俊 喜连川 优 王国仁
  利用覆盖区域设计与实现移动对象索引
    对移动对象索引频繁更新问题进行了研究，提出了一种基于区域覆盖的空间索引结构虚拟网格四分树（virtual grid quadtree，VGQ）；通过索引移动对象所在的区域而非移动对象本身来减少由于移动对象位置的改变而引起的索引结构的改变，并给出了近似连续范围查询算法及增量和自底...
    2010 4 (1): 64-72 [摘要 ] ( 92 ) [HTML 0KB] [PDF 1288KB ]( 121 )  
73 李晓东 朱 皓 杨卫东
  安全访问控制的XML关键字检索
    XML（extensive makeup language）的关键字检索简单易用，用户不必了解数据库的模式，受到人们的广泛关注。当前的相关研究主要集中于关键字检索的算法以及返回结果的组织和排序，却忽视了其中的安全性问题。结合XML关键字搜索和XML安全控制，研究了基于安全访问控制...
    2010 4 (1): 73-81 [摘要 ] ( 95 ) [HTML 0KB] [PDF 1092KB ]( 116 )  
82 宋文军 刘红星 王崇骏 谢俊元
  以图频繁集为基础的核心节点发现
    结合基于图的关联规则挖掘和双向搜索的策略，产生最大频繁项集，从而提出基于图的最大频繁项集（graph based maximum frequent set，GBMFS）生成算法。运用此算法，结合社会网络的动态特征，发现社会网络中所存在的团伙的核心成员。最后，在实际系统中对相关的算...
    2010 4 (1): 82-88 [摘要 ] ( 91 ) [HTML 0KB] [PDF 937KB ]( 108 )  
89 刘海坤 金 海 崔 涛 廖小飞
  虚拟机全系统回放技术研究
    研究了虚拟化体系结构下全系统回放的方法，设计实现了基于半虚拟化设备模型的虚拟机回放系统VMRS（virtual machine based replay system）。通过在虚拟机管理器中记录虚拟机内发生的不确定性事件并在回放时模拟不确定性事件的发生，从而完整重现系统的执行流。...
    2010 4 (1): 89-96 [摘要 ] ( 88 ) [HTML 0KB] [PDF 1357KB ]( 103 )  
 
 
放假通知(2010-2-2)

第27届中国数据库学术会议（NDBC 2...(2010-1-21)

《计算机科学与探索》2010年第1期刊物...(2010-1-15)

FAW2009征文通知 (2009-2-4)

关于本刊2010年收取审稿费的通知(2009-12-29)
 
   计算机科学与探索
          (2007年创刊 双月刊)

主　　管：中华人民共和国工业
　　　　　和信息化部
主　　办：华北计算技术研究所
理 事 长：刘爱民
社　　长：谭继红
主　　编：何新贵
总 编 辑：鞠玉兰
电　　话：(010)51616056/55
Email:fcst@public2.bta.net.cn
国内刊号：CN 11-5602/TP
国际刊号：ISSN 1673-9418
　　　　　CODEN JKYTA8
邮发代号：82-560
国外邮发：BM4220
国内定价：25.00
 
 
 
 
版权所有 © 《计算机科学与探索》编辑部
通信地址: 北京619信箱26分箱　邮编:100083　电话:(010)51616056, 51616055　E-mail:fcst@public2.bta.net.cn 　
本系统由北京玛格泰克科技发展有限公司设计开发　 技术支持：support@magtech.com.cn