计算机研究与发展杂志是由中科院出版委员会主管，中国科学院计算技术研究所主办的一本北大期刊。
计算机研究与发展杂志创刊于1958，发行周期为月刊，杂志类别为计算机类。
杂志介绍
计算机研究与发展杂志
-
主管单位：中科院出版委员会
-
主办单位：中国科学院计算技术研究所
-
国际刊号：1000-1239
-
国内刊号：11-1777/TP
-
发行周期：月刊
-
全年订价：￥1156.00
杂志介绍
计算机研究与发展杂志是由中科院出版委员会主管，中国科学院计算技术研究所主办的一本北大期刊。
计算机研究与发展杂志创刊于1958，发行周期为月刊，杂志类别为计算机类。
主管单位：中科院出版委员会
主办单位：中国科学院计算技术研究所
国际刊号：1000-1239
国内刊号：11-1777/TP
发行周期：月刊
全年订价：￥1156.00
关键词: 构件 模型检验 形式化描述 验证 可信性质
模型检验以其自动化程度和完备性高、与构件技术互补性强等特点,在软件构件可信性质的分析和验证中发挥着日益重要的作用.将基于模型检验的构件验证方法分为基于系统规约模型的验证和基于源代码的验证,分别对其研究现状和发展动态进行了详细的综合评述.首先对模型检验与构件可信性质验证的关系进行了探讨,接着对基于SOFA,Fractal,CORBA及各种特...
关键词: 信息存储技术 学术会议 征文通知 技术专业委员会 济南 学术交流 计算机
为了促进我国信息存储技术的发展和加强学术交流、展示新产品,中国计算机学会信息存储技术专业委员会决定于2011年11月18～20日在济南召开第17届全国信息存储技术学术会议.
关键词: 防篡改 软件保护 静态防篡改技术 动态防篡改技术 代码混淆
随着计算机软件的广泛使用,软件安全性问题日益突出.如何设计切实可行的软件保护方案已成为必须直面的挑战,具有重要的现实意义.近年来,软件防篡改技术作为软件保护的重要手段之一受到国内外研究者的重视.软件防篡改的目标在于阻止程序中的关键信息被非法修改或使用;检测篡改并作出适当的响应.针对这两个目标,重点介绍了基于代码混淆的静态防篡...
关键词: mma管理模型 信任度 可信区间 结点行为 信任领域
由于网络的开放性、多样性和复杂性,其可信性面临严峻的挑战,为保证整个系统的可信性,建立结点间有效的信任关系管理结构是十分必要的.同时考虑到基于自主合作的新兴计算模式,将影响结点行为这一发展趋势,从网络结点行为特征出发,将网络系统抽象成一个基于信任领域和Agent技术的具有层次结构的虚拟可信管理模型（MMA）,研究MMA结构中各结点的逻...
关键词: 网络安全 威胁传播 安全测度 危险指数 层次化评估
网络系统不仅面临外部和内部威胁主体的入侵,同时威胁主体会利用脆弱点间、网络组件间的相互作用关系进行威胁传播,产生严重的潜在威胁.设计合理的模型对潜在威胁进行识别、分析,并量化测度其对网络安全的影响,是当前网络安全评估所面临的主要挑战之一.针对该问题,提出了一种基于威胁传播模型的层次化网络安全评估方法.首先提出了威胁传播模型识...
关键词: soc 高速缓存 高级加密标准 抗噪声能力 抗攻击方法
针对SoC平台,提出并实现了一种高效的基于Cache的AES旁道攻击方法.该方法利用AES软件运行过程中查找表操作泄漏的时间信息,结合AES算法前两轮的特征,快速确定攻击表与AES查找表间的映射关系,并最终恢复出全部128b密钥.基于此攻击方法,在充分考虑各种系统噪声影响的情况下,进一步提出了一种统计分析模型.该模型揭示了上述攻击方法的内在机理,并能...
关键词: 入侵取证 证据筛选 攻击特征 特征信息 依赖追踪
为了自动获得入侵证据,提出一种基于攻击特征的自动证据筛选方法.其原理是首先根据被调查攻击的特征重构出攻击行为细节,并从中抽取筛选证据需要的＂特征信息＂.然后,再根据候选数据与这些特征信息的匹配程度筛选出该攻击相关的证据.基于DARPA2000的实验表明这种方法具有很高的准确率,其完备性更是接近100%.而与现有方法的比较则显示出这种方法...
关键词: p2p电子商务 细粒度 信任 领域模型 贝叶斯网络
针对现有P2P电子商务模型信任粒度比较粗糙,不能很好体现节点真实行为的问题.提出一种细粒度信任模型（FG-trust）,可以计算一个节点在不同领域、不同方面的可信度.模型采用多结构,将网络划分为多个域,每个域内设一个,管理域内节点信息,整个网络中设置一个总管理域间消息传递.引入领域模型的概念,计算同一节点在不同领域的可信度,并考虑领域间相...
关键词: 访问控制 环境适应 rbac 环境角色 虚拟域
大型网络应用如疫情报告系统需要访问控制系统根据环境变化调整访问控制策略,而现有的访问控制模型缺乏灵活性,难以适应环境动态变化的需要.通过对RBAC模型进行扩展,提出了一个环境适应的基于角色的访问控制模型EA-RBAC.该模型相对于传统RBAC模型,增加了事件触发、基于事件的状态等价类迁移、环境角色和虚拟域等机制.通过事件触发机制和状态等价...
关键词: 无线传感器网络 路由协议 网络编码 拥塞检测 可靠性
事件驱动型无线传感器网络流量具有突发性,容易引起网络局部拥塞,影响数据传输的可靠性.将拥塞感知的路由机制与网络编码的数据传输方法相结合,提出了一种基于邻居节点拥塞度的区域拥塞检测方法,在此基础上,提出基于网络编码的拥塞感知可靠路由协议NCCAR.仿真结果表明,NCCAR能够合理地避免拥塞,提高了数据成功转发率,并根据链路的可靠度合理地估...
关键词: 科学出版社 期刊出版 招聘 编辑人员 科技期刊 医学专业 服务机构 业务发展
科学出版社期刊出版中心是专业化科技期刊出版服务机构,致力于打造中国科技期刊的集团军,做大做强科技期刊产业.现因业务发展需要,招聘以下岗位：一、编辑人员5人,其中：1.出版管理编辑1人;2.医学专业编辑3人（医学中文编辑2人、医学英文编辑1人）;
关键词: 网络编码 组播 路由度量 无线mesh网络 无线协议
网络编码是一种能够提高网络吞吐量的新技术,将网络编码应用于无线Mesh网组播对Mesh网络进一步实用化有重要意义.编码感知路由是一种能够充分识别和利用网络中的编码机会的路由.虽然已有若干个基于网络编码的单播路由协议,但无线网络中编码机会并没有被充分利用,到目前为止还没有无线Mesh网络中的编码感知组播路由协议.提出一个编码感知组播路由...
关键词: 笔记本电脑 操作系统 谷歌 铬 网络浏览 互联网 服务器 应用
谷歌公司日前宣布推出使用＂铬（Chrome）操作系统＂的笔记本电脑（简称＂铬＂电脑）,向控制市场多年的微软＂视窗＂等操作系统发起挑战.＂铬操作系统＂是基于互联网应用的云计算操作系统,它最大的特点是＂一切只为网络＂,突出网络浏览及应用功能.具体来说,＂铬＂电脑的各种设置和文件都存放在云服务器上.
关键词: 英特尔公司 三维结构 晶体管 大规模生产 芯片 科学家
英特尔公司表示，该公司已研发出可大规模生产的三栅（Tri—Gate）三维结构晶体管，配备了新晶体管的：签片在能耗大幅降低的同时，性能也得到了改进．科学家早在2002年就发明了“三栅”结构的三维晶体管，但直到现在才能进行大规模生产．
关键词: 分子计算机 大规模集成电路 新技术 演算 红外激光脉冲 信息处理 量子力学 电子性质
日本分子科学研究所一个研究小组近日宣布，他们利用10万亿分之一秒的高强度红外激光脉冲，成功向一个分子中的量子力学原子状态（波函数）瞬间读入信息．现在的高速信息处理依赖基于硅晶体管的大规模集成电路，但更大规模的集成电路会由于绝缘体的幅度达到数个原子层水平后而出现电子渗出，导致过热和错误发生．为解决这一难题，研究小组选择了...
关键词: 手机 科学家 控制 无线信号 研究人员 蓝牙设备 阿拉伯数字 使用者
美国研究人员研制了用思想拨号的手机，以后不用动手指，我们就能打电话．使用者佩戴的一个特制头饰带与蓝牙设备相连，能像诺基亚N73手机发送无线信号．使用者佩戴的脑电波头饰带能发现大脑发出的信号，蓝牙设备会给手机发送指令．该技术利用演算法则处理信号．试验过程中，研究人员在屏幕上以不同速度显示从1～9的阿拉伯数字，让使用者看，头...
关键词: 大业务流 数据流计数 概率衰落 识别 方法
大业务流识别是网络监控、管理以及计费等的重要基础,网络管理者通常会对大业务流给予特别的关注.大业务流识别需要在一定识别精度的基础上有效降低资源消耗.基于PLC（probabilisticlossy counting）方法,提出了一种概率衰落的大业务流识别方法PFC（probabilistic fading counting）.该方法吸取了数据流计数技术的优势,通过分析网络流量的幂律（...
关键词: 分类 隐私保护 协作学习 安全双方计算 支持向量机
提出了一种能够保护数据隐私的协作式分类机制,即C2MP2（collaborative classification mechanismfor privacy-preserving）,该算法利用2类样本各自的均值和协方差作为整体信息,将整体信息共享给对方,参与分类的双方,分别使用各自的隐私数据和对方的整体信息训练获得2个可以保护隐私的分类器,并由2个分类器协作得到最终的分类器.其线性模型的训...
关键词: twsvm gepsvm rtwsvm 无约束凸规划 特征镇压
对支持向量机（twin support vector machine,TWSVM）的优化思想源于基于广义特征值近似支持向量机（proxi mal SVMbased on generalized eigenvalues,GEPSVM）,问题解归结为求解两个SVM型问题,因此,计算开销缩减到标准SVM的1/4.除了保留了GEPSVM优势外,在分类性能上TWSVM远优于GEPSVM,但仍需求解凸规划问题,并且,目前尚无有效的TWSVM的特征提取...
关键词: 几何设计 学术会议 计算 征文通知 华南农业大学 专业委员会 应用数学 中国工业
第5届全国几何设计与计算学术会议（CSIAM Geometric Design＆Computing2011）定于2011年11月12日~13日在广州召开.会议由中国工业与应用数学学会几何设计与计算专业委员会主办,华南农业大学承办.本次会议的主题是几何数据的获取、表示、
关键词: relief算法 特征选择 特征加权 间距最大化原则 极大熵
Relief特征加权的最新研究进展表明其可近似地表述为一个间距最大化优化问题.尽管该类算法广为应用,但仍然存在一些缺陷.为了提高Relief特征加权的适应性和鲁棒性,融合间距最大化和极大熵理论,并由此探讨了新的鲁棒的具有更好适应性的Relief特征加新方法.首先,构造了一个结合极大熵原理的间距最大化目标函数.对于该目标函数,运用优化理论得到一...
关键词: 分散搜索 均匀设计 连续优化问题 柔性框架
分散搜索算法是近年来快速兴起的一种基于种群的进化计算方法,与遗传算法不同的是,它对高质量解和多样性解并存的小数据集使用多种系统子方法和有限次随机过程来获取全局最优解或满意解.基于分散搜索的柔性框架,使用均匀设计来改进以往连续分散搜索算法中的多样性产生方法,将BLX-α算子加以相应改造作为解合并方法,提出了一种基于均匀设计和改造B...
关键词: 语义web服务 服务质量 本体 描述逻辑 服务发现
WS-QMO是提出的一个用来对Web服务及其QoS信息进行建模和发现的顶层本体,它既可用于对服务QoS信息的描述和,也可用于对服务QoS需求的描述.WS-QMO本体基本满足了当前对Web服务QoS语义建模的普遍要求,并且由于适当地加入SWRL规则,它不但可以灵活地自定义单个QoS属性,描述一个QoS属性在不同条件下的不同取值,还可以定义复杂的组合QoS属性.相对同类...
关键词: 计算机 ccf 征文通知 中国 会展中心 承办单位 学术会议 深圳市
第8届CCF中国计算机大会（2011CCF China National Computer Conference,CCF CNCC2011）将于2011年11月24~26日在深圳市会展中心举行,承办单位为中科院深圳先进技术研究院.CCF CNCC是由中国计算机学会2003年创建的系列性学术会议,
关键词: 未登录词 维基百科 跨语言信息检索 译文挖掘 目标缺失环境
未登录词（out of vocabulary,OOV）的查询翻译是影响跨语言信息检索（cross-language information retrieval,CLIR）性能的关键因素之一.它根据维基百科（Wikipedia）的数据结构和语言特性,将译文环境划分为目标存在环境和目标缺失环境.针对目标缺失环境下的译文挖掘难点,它采用频度变化信息和邻接信息实现候选单元抽取,并建立基于频度-距离模...
关键词: 本体 本体排序 概念结构 连接分析 内容
本体已经在很多的领域中得到了广泛的应用,网络上的本体也越来越多,为了节约本体构建的成本避免从头构建本体,人们经常首先从网络上获取候选者,然后再以此为基础构建自己的本体.而随之而来的本体排序问题则成为一个研究热点.通过对现有本体排序算法的总结与分析,将现有本体排序算法划分为两大类,分别阐述了其基本思想以及存在的问题.然后,提出了...
关键词: 分级存储系统 文件分级 迁移策略 自适应降级 迁移调度
随着数据存储规模的飞速增长,降低存储系统的总拥有成本,提高数据访问性能成为构建海量存储系统的关键.设计并实现了一个海量数据分级存储系统TH-TS（Tsinghua Tiered Storage）,由多级存储设备构成一体化的数据存储环境.该系统提出了Cute Mig数据迁移方法：采用基于升级成本和升级收益的升级迁移策略和基于剩余空间的文件自适应降级选择策略,解...
关键词: 路径编码 存储策略 可扩展标记语言 位置关系 编码方案
路径编码方案通过记录从XML文档根结点到当前结点的路径信息,可以快速判断结点间的各种位置关系.高效的编码存储策略可以在提高存储空间利用率的同时,减少系统的IO开销,从而进一步提升系统的整体性能.提出一种最优的静态路径编码存储策略,其基本思想是在存储编码中的数字时,每个编码中数字对应的前缀并非提前给定,而是根据其所在数字区间中数字...
若用户需要出版服务，请联系出版商，地址：北京市科学院南路6号中科院计算所，邮编：100190。