论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机科学期刊 >
计算机科学2006年出版文献
出版文献量（篇）
18527
总下载数（次）
68
计算机科学
分享
投稿
《计算机科学》主编陈国良，系中国科学院院士、全国首届高等学校国家教学名师。读者对象是大专院校师生，从事计算机科学与技术领域的科研、生产人员。我刊坚持 “前沿学科”与“基础研究”相结合、“核心核术”与“支撑技术”相结合、“倡导”与“争鸣”相结合，活跃计算机科学与技术领域的学术气氛，为我国的计算机科学与技术立于世界之林、达到国际先进水平奋斗而矢志不渝。
主办单位：
重庆西南信息有限公司(原科技部西南信息中心)
期刊荣誉：
2001年重庆市优秀期刊；2004年第三届重庆市优秀科技期刊；2005年重庆市优秀期刊编辑部；2010年第六届重庆市期刊综合质量考核“十佳科技期刊”
2012年重庆市出版专项资金报刊资助项目（重庆市新闻出版局）；2013年重庆市出版专项资金重点学术期刊资助项目（重庆市文化委员会）
2014年重庆市出版专项资金期刊资助项目（重庆市文化委员会）；2015年“中国国际影响力优秀学术期刊”
ISSN：
1002-137X
CN：
50-1075/TP
出版周期：
月刊
邮编：
401121
地址：
出版文献量（篇）
18527
总下载数（次）
68
分享
文章浏览
目录
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 今天,传统的工作流技术已不能满足业务过程重建和自动化的日益增长的需求.本文给出了一个基于Web的具有高可扩展性的分布式工作流系统并给出它的设计原理和系统结构.
-
32. 基于事件的发布-订阅系统模型刊名： 计算机科学发表期刊： 2006年1期页码:摘要： Internet的广泛应用已经改变了分布式系统的规模,使得传统的基于请求/应答的点对点的同步通信已不能很好地满足大规模的动态分布式应用环境.为了加强大规模的分布式环境中实体之间的通信协作,系...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 鉴于ERP实施项目周期长、成本高、失败风险大的现实情况,本文以"关键成功因子"为核心建立ERP实施过程模型,模型包括"关键成功因子的识别"、"以关键成功因子评价为基础的实施过程改进"和"以变...
-
34. 迁移工作流系统通信机制研究刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 迁移工作流是解决当前工作流管理领域不完全业务过程定义的一个新的研究方向,通信机制是迁移工作流系统实现的一个关键问题.本文在分析通信需要解决的主要问题的基础上,提出了一种适应迁移工作流系统特征...
-
35. 多主体撮合交易系统的设计与实现刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 研究了电子商务交易模型的实现机制,设计了基于Multi-Agent的电子商务交易市场的组织结构,在基于Multi-Agent的撮合交易系统中,把整个交易过程看成一个动态的交互过程,体现了Mu...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 电子政务已经成为世界各国政府行政管理改革的主要方向,建立电子政务将可以促进业务系统的互联互通和信息共享,提高政府的监管能力、服务质量.在电子政务建设过程中,由于历史原因遗留下来的信息孤岛,造...
-
37. 时态数据的可变Hash索引刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 索引技术是时态数据库查询优化的重要方法之一.本文提出的可变Hash(VH)索引是建立在时间属性上的一种新的动态索引技术,主要目的是提高时态数据库快照查询的效率.由于时间的不确定性,在时态数据...
-
38. Oracle数据库加密技术分析刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 网络技术的快速发展,数据库的广泛应用,使得数据库安全问题变得越来越重要.本文对Oracle数据库系统的加密功能进行了分析和研究,并结合实例说明了如何利用Oracle系统软件包实现数据库数据的...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： EDI是用户的计算机系统之间的对结构化的、标准化的信息进行自动传输和自动处理的过程.EDI作为一种具有全球性巨大商业贸易价值的电子化平台,具有高速精确,广域巨量的系统优势,EDI的广泛使用正...
-
40. 类型系统与程序正确性问题刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 类型系统能检出合法程序的语义错误,可以缩短调试时间,在执行程序之前捕获代码中的错误.类型系统的理论基础是类型化的λ演算.带子类型的高阶类型系统Fw≤已成为类型化语言的演算核心[5].类型系统...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 通过定义Petri网变迁的指标函数,给出一种基于变迁指标的Petri网分解方法,通过分解得到子网系统均为结构简单的T网.分析了原网系统与子系统在结构性质和动态性质方面的对应关系,并且证明了通...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 利用设计模型信息,提高测试自动化程度是测试领域的重要课题.UML顺序图是广泛使用的场景规约语言.本文研究了面向场景规约的运行时测试方法,并应用该方法实现了一个基于UML顺序图场景规约的测试工...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 当前,操作系统的安全需求越来越多样、灵活和具体,它们往往只描述系统中一小部分实体之间的约束,但对安全策略的灵活性及定制的简洁性有较高的要求.传统的安全框架,如FLASK等,难于满足此类"轻量...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 同时多线程(SMT)技术是目前微处理器体系结构的研究热点之一.为了支持对SMT技术和基于SMT核的单芯片多处理器(CMP)体系结构技术的深入研究,我们在广泛使用的超标体系结构模拟器Simpl...
-
45. 基于路径的软硬件划分算法刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 软硬件划分是嵌入式系统中的一个关键问题.本文给出了一种贪心算法来搜索问题的最优解.本算法未考虑相邻任务之间的通讯开销.实验结果表明,任务数目的多少对加速比影响不大,影响加速比的关键因素就是硬...
-
46. 基于免疫遗传的软件衰退检测算法刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 本文吸取了免疫学的灵感,提出了一种新的方法来验证软件衰退的出现,也就是检测软件运行中的性能异常.这种方法结合了阴性选择算法和遗传算法,使用模糊逻辑产生模糊集来区分正常和异常的性能状态,使用了...
-
47. 软件安全核的可信性问题刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 软件的大量应用,使控制系统面临严峻的安全考验,陷入了安全危机中,迫切需要新的安全保障技术.安全核就是应运而生的一种安全保障新概念,其可信性直接关系到安全核的有效性和系统的安危.面对安全核可信...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 随着Web应用软件的快速发展,作为保证Web质量和可靠性的重要手段,Web应用软件测试受到了人们越来越多的重视.本文对现有的一些典型Web测试思想、技术和工具进行了一定的研究,首先描述了We...
-
49. 重定向编译器的研究进展和趋势刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 在软硬件协同设计中,常常需要改变嵌入式处理器的体系结构,并评价其对系统各种优化目标的影响,以便产生高效的目标代码.可重定向编译技术正好能满足这一需求.可重定向编译器和传统编译器之间的本质区别...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： (m,k)模型是降低系统负载的一种有效方法.EDF算法由于其灵活性和自适应性而得到广泛应用.针对EDF算法,首先研究并给出了基于(m,k)模型的任务集可调度的必要条件和充分条件,然后给出了基...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 本文基于提高并行性、加速模乘的思想,利用分割操作数的方法,提出了分割式Montgomery模乘算法(PMMM),并且基于C.D.Walter[3]发明的心动阵列结构,提出了新的线性高基心动阵...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 任务空间概念模型是建模与仿真通用技术框架的三个组成部分之一,其目的是促进国防建模与仿真领域仿真部件的重用和互操作.而作战想定是综合电子信息系统建设过程中的重要组成部分,本文针对目前想定与仿真...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 在现代管理软件的实施中,软件产品的既定模式与用户的定制需求始终是一对难以解决的矛盾,因而提出了软件平台的概念.所谓管理软件平台,其主导设计思想就是"以客户为中心",追求的是快速适应用户需求的...
-
54. 描述逻辑综述刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集.作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中.本文对目前描述逻辑的研究与应用现状进行了综述性的介绍,并...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 由于类BAN逻辑缺乏明确而清晰的语义,其语法规则和推理的正确性就受到了质疑.本文定义了安全协议的计算模型,在此基础上定义了符合模态逻辑的类BAN逻辑"可能世界"语义模型,并从语义的角度证明了...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： DNA计算是应用分子生物技术进行计算的新方法.从理论上研究DNA计算方法,有利于推动理论计算科学的发展.本系列文章应用形式语言及自动机理论技术,系统地探讨了DNA分子的可计算性及其计算能力....
-
57. 集对分析理论及其应用研究进展刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 集对分析理论是一种较新的软计算方法,可有效地分析和处理不确定信息.近年来,该理论日益受到学术界的重视,已经在决策、预测、数据融合、不确定性推理、产品设计、网络计划、综合评价等领域得到较为成功...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 近年来,本体作为一种有效的、表现概念层次结构和语义的模型,被越来越多的领域所应用.应该说,本体的出现能很好地解决目前计算机应用领域中存在的一些困难,如人机交互或机器与机器之间的通信、自动推理...
-
59. 一种粒子群算法的多样性策略研究刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 本文提出了一种粒子群算法的多样性策略,即在搜索过程中,对部分适应值较差的粒子重新进行随机初始化.修改后的算法经过了大量测试函数上的模拟实验验证,并与其他已有算法进行了比较.实验结果表明,该算...
-
刊名： 计算机科学发表期刊： 2006年1期页码:摘要： 在增添扩展规则的tableau方法的基础上提出了一种新的含等词tableau方法--等式合一方法,并证明了它的可靠性和完备性.在该方法中,将tableau分成两个阶段,等词单独处理,通过提取...
计算机科学基本信息
| 刊名 | 计算机科学 | 主编 | 陈国良 |
| 曾用名 | 计算机应用与应用数学 | ||
| 主办单位 | 重庆西南信息有限公司(原科技部西南信息中心) | 主管单位 | 重庆西南信息有限公司（原科技部西南信息中心） |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1002-137X | CN | 50-1075/TP |
| 邮编 | 401121 | 电子邮箱 | jsjkx12@163.com |
| 电话 | 023-63500828 | 网址 | www.jsjkx.com |
| 地址 | 重庆市渝北区洪湖西路18号 |
计算机科学评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 日本科学技术振兴机构数据库(日) |
| 3. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 2001年重庆市优秀期刊；2004年第三届重庆市优秀科技期刊；2005年重庆市优秀期刊编辑部；2010年第六届重庆市期刊综合质量考核“十佳科技期刊” |
| 2. | 2012年重庆市出版专项资金报刊资助项目（重庆市新闻出版局）；2013年重庆市出版专项资金重点学术期刊资助项目（重庆市文化委员会） |
| 3. | 2014年重庆市出版专项资金期刊资助项目（重庆市文化委员会）；2015年“中国国际影响力优秀学术期刊” |
计算机科学统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
