论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机科学期刊 >
计算机科学2014年出版文献
出版文献量（篇）
18527
总下载数（次）
68
计算机科学
分享
投稿
《计算机科学》主编陈国良，系中国科学院院士、全国首届高等学校国家教学名师。读者对象是大专院校师生，从事计算机科学与技术领域的科研、生产人员。我刊坚持 “前沿学科”与“基础研究”相结合、“核心核术”与“支撑技术”相结合、“倡导”与“争鸣”相结合，活跃计算机科学与技术领域的学术气氛，为我国的计算机科学与技术立于世界之林、达到国际先进水平奋斗而矢志不渝。
主办单位：
重庆西南信息有限公司(原科技部西南信息中心)
期刊荣誉：
2001年重庆市优秀期刊；2004年第三届重庆市优秀科技期刊；2005年重庆市优秀期刊编辑部；2010年第六届重庆市期刊综合质量考核“十佳科技期刊”
2012年重庆市出版专项资金报刊资助项目（重庆市新闻出版局）；2013年重庆市出版专项资金重点学术期刊资助项目（重庆市文化委员会）
2014年重庆市出版专项资金期刊资助项目（重庆市文化委员会）；2015年“中国国际影响力优秀学术期刊”
ISSN：
1002-137X
CN：
50-1075/TP
出版周期：
月刊
邮编：
401121
地址：
出版文献量（篇）
18527
总下载数（次）
68
分享
文章浏览
目录
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 如何提高多核处理器的性能和降低多核处理器中Cache的功耗已经成为下一代多核处理器的研究热点.为了降低片上多核处理器的功耗,基于路适应算法可以采用一种新的动态划分机制,该机制主要由路分配模块...
-
392. Petri网在可靠性分析中的研究综述刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 可靠性的相关研究在安全关键系统中具有重要意义,利用Petri网可以实现对可靠性的形式化建模以及动态行为的描述.首先对基于Petri网的可靠性分析与研究的基本方法进行分类.其次,着重分析了利用...
-
393. 基于DSPN的TTE总线建模与性能分析刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 时间触发以太网(Time-Triggered Ethernet,TTE)技术已经应用于新一代航空总线并处于高速发展中.TTE的建模和分析方法对其在航空航天方面的发展有重要意义.基于TTE消息...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 在Petri网中,公平性概念的引入是为了讨论网系统中两个变迁发生之间的相互关系.这种关系可以很好地反映出模拟系统的各个事件在资源竞争中的有无饥饿性问题.文中基于弱公平性和公平性的定义与联系,...
-
395. 基于Petri网的服务可靠性评价方法研究刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 服务的可靠性研究成为一个研究热点.首先研究基于Petri网的结构关联的服务组合描述语言BPEL;而对于服务交互关联模型,构造服务组合模型的Petri网表示的交互特点;给出服务组合Petri网...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 针对DoS攻击的弱点,降质服务攻击(RoQ)利用常见的网络或终端系统自适应机制中存在的安全漏洞,通过间歇性地发送高强度攻击脉冲,降低受害者端的服务性能.RoQ攻击的隐蔽性更强,攻击效率更高,...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 针对模糊有限自动机及模糊Petri网在模糊离散事件系统(Fuzzy Discrete Event System,FDES)行为建模中的不足,提出一种扩展模糊Petri网(Extended F...
-
398. 基于属性粒计算的认知模型研究刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 属性粒计算可模拟人脑的粒化、组织和因果等认知功能,但推理过程缺乏一种形式化机制.Petri网具有的异步、并发和不确定性等特征与人脑思维过程中的某些认知活动类似.基于属性粒计算的基本概念和逻辑...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 为了保证城市道路“绿波带”的通行效率,合理协调主从道路的车流量,通过利用时延Petri网建模,提出了一种主从自适应协调控制方法.该方法可以根据干线主路口的车流量自动调整其相位时间,也可根据主...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 对Petri网模型交互后的变化区域的责任分析,是模型交互一致性和兼容性研究的一个重要问题.已有的关于变化区域的研究只涉及到寻找变化区域的方法,对于引起变化区域的责任分析并没有做更多研究.给出...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点.通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,利用可...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： Petri网是对业务流程进行描述和分析的有效工具,但已有的基于Petri网的建模方法无法体现流程中关键业务数据的变化.Artifact作为业务流程中的数据实体,是具有嵌套结构的复杂数据对象....
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 为满足客户需求,在行为约束下的业务流程中寻找行为执行的最优路径具有一定的实际意义.已有的研究是建立在静态分析基础上,通过优化算法或是行为分析来寻找最优执行路径,忽略了行为约束条件对执行行为有...
-
404. 自控网系统建模工具的研究与开发刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 自控网系统是一类具有非线性关系和强大建模能力的Petri网.应用可视化编程平台Visual Studio.NET开发了自控网系统建模工具CyberNetTool.用户可在交互方式下建立自控网...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 业务流程访问控制机制是Web服务组合应用中的难点.针对现有BPEL4WS安全访问控制研究的不足,提出面向活动的BPEL4WS动态访问授权模型(ADABM).通过解除组织模型和业务流程模型间的...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 在云计算及网格计算环境下,由于资源具有分布、异构、动态、自治等特点,其并发任务的调度更加复杂,迫切需要强有力的图形与数学工具对其进行建模与分析.Petri网是描述与分析并发、异步、动态等事件...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉.通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行形式化建模;然后使用CPN...
-
408. 基于层次CPN的OpenFlow建模研究刊名： 计算机科学发表期刊： 2014年7期页码:摘要： CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出.OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器.文中首先介绍了Open...
-
409. 使用随机Petri网的网络安全系统分析刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 网络攻击图一直是网络安全研究的重要手段,传统的攻击图和针对攻击路径的防御方案很难从概率的角度描述和分析攻击几率与防御技术对整体方案的影响程度.使用随机Petri网理论,给出了一种建立在攻击图...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： Ad hoc网络的对等体系结构和节点资源受限使得其比传统网络面临更多的安全威胁.近年来,恶意程序研究已成为国际上网络安全和信息安全领域最前沿和最活跃的研究方向之一,无线网络中恶意程序研究已经...
-
412. 一种针对CP-nets并发模型的验证方法刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 状态爆炸问题导致CP nets并发模型的正确性验证工作十分困难.提出了基于并发属性的模型化简方法和基于功能组合的模型抽象方法,用于对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 在分析现有建模与仿真方法的基础上,采用Petri网与Matlab相结合的方法,对装备使用保障过程进行建模与仿真,实现对装备使用保障要素中保障设备和保障人员的优化.
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证.而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法.综合运用Petri网和UML能够提高软件描述的全面...
-
415. 一阶谓词逻辑的图形推理法刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法.定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法.将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网...
-
417. 基于GPU的图片特征提取与检测刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 针对目前高速网络中图像数目多、分辨率大、普通PC机上的检测方法对图片检测达不到实时性的问题,提出了一种基于GPU的快速图片检测方案.该方案分别采用SURF(Speed Up Robust F...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 目前分簇无线传感器网络的节点信誉管理方案存在信誉值计算、更新及维护代价高,节点抗恶意哄抬及恶意抵毁能力弱等问题.将无线传感器节点分为簇头节点和普通传感器节点,将两类节点在事件感知、报文传输以...
-
刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 为满足无线实时定位系统实时性和节点动态加入的要求,充分提高信道利用率,提出了一种多区域多目标TOA实时定位系统信道分配协议(ZTDMA),将定位系统覆盖区域划分为若干互不干扰的定位子区域并行...
-
420. 无线传感器网络启发式QoS路由协议刊名： 计算机科学发表期刊： 2014年7期页码:摘要： 提出一种基于虚拟队列的区分服务无线传感器网络路由协议VSDR.协议采用聚合权重的方法,节点在进行路由选择时,考虑了队列长度、前进距离和剩余能量等多种因素,从而有助于缓解节点拥塞,均衡网络负载...
计算机科学基本信息
| 刊名 | 计算机科学 | 主编 | 陈国良 |
| 曾用名 | 计算机应用与应用数学 | ||
| 主办单位 | 重庆西南信息有限公司(原科技部西南信息中心) | 主管单位 | 重庆西南信息有限公司（原科技部西南信息中心） |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
