论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机研究与发展期刊 >
计算机研究与发展2008年出版文献
出版文献量（篇）
7553
总下载数（次）
35
出版文献量（篇）
7553
总下载数（次）
35
分享
文章浏览
目录
-
361. 一种新的时段演算及其验证刊名： 计算机研究与发展发表期刊： 2008年z1期页码:摘要： 在Pandya提出的CTL*[DC]逻辑的基础上,对其语法和语义进行扩展,并对路径长度进行限制,定义了一个新的逻辑CTL*[k-QDDC],它可应用于实时系统的描述和验证.给出了在Kripk...
-
362. 线性μ-演算交换深度的可判定性及其复杂度刊名： 计算机研究与发展发表期刊： 2008年z1期页码:摘要： 模态μ-演算被十分广泛地应用在模型验证技术中.影响模态μ-演算检验复杂度的主要瓶颈来源于规约公式的交换深度.讨论了线性μ-演算交换深度的可判定性以及求解复杂度.证明了线性μ-演算交换深度是可...
-
363. 一种面向网格计算的分布式匿名协作算法刊名： 计算机研究与发展发表期刊： 2008年z1期页码:摘要： 基于TCG提出的可信计算技术为网格协作安全性提出一种匿名分组身份验证算法,该算法可以非常可靠地解决网格计算平台之间的身份匿名验证问题.算法使用一个硬件模块TPM解决远程的身份验证,并通过TP...
-
364. 一种面向多目标的适应性设计规约方法刊名： 计算机研究与发展发表期刊： 2008年z1期页码:摘要： 自适应软件越来越多地被应用于不同的领域,如各种分布式信息系统、安全攸关的抗毁系统、防病毒防入侵系统等.正确理解系统的适应性需求,是正确开发自适应系统的前提.将面向目标的规约语言(KAOS)进...
-
365. 一种基于旋转超盒和引力场融合的聚类算法刊名： 计算机研究与发展发表期刊： 2008年z1期页码:摘要： 针对传统聚类算法处理复杂分布数据的不足,提出了一种新型的基于旋转超盒和引力场融合的聚类算法.该算法由1)数据集归一化;2)利用旋转超盒构造初始类别;3)借助引力场概念对初始类别进行融合3个步...
-
366. 按树的最大特征值排序刊名： 计算机研究与发展发表期刊： 2008年z1期页码:摘要： 设Tn为n个顶点的树的集合.人们研究了Tn中树的最大特征值及其序,给出了第1至第13位的序以及对应的树.用另一种方法给出了第10至第13位的序以及对应的树,并在此基础上将Tn中树的最大特征值...
-
367. 网格环境下的静态启发式任务调度算法刊名： 计算机研究与发展发表期刊： 2008年z1期页码:摘要： 针对网格环境中应用程序常为复杂的计算密集型的并行分布式应用程序,提出了一个新的基于复制和插入的启发式任务调度算法(duplication-and-insertion-based schedu...
计算机研究与发展基本信息
| 刊名 | 计算机研究与发展 | 主编 | 徐志伟 |
| 曾用名 | |||
| 主办单位 | 中国科学院计算技术研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1000-1239 | CN | 11-1777/TP |
| 邮编 | 100190 | 电子邮箱 | crad@ict.ac.cn |
| 电话 | 010-62620696;62600350 | 网址 | http://crad.ict.ac.cn |
| 地址 | 北京中关村科学院南路6号 |
计算机研究与发展评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 工程索引(美) |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 文摘杂志(俄) |
| 5. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 2000年获中科院优秀期刊二等奖 |
计算机研究与发展统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
