计算机工程与科学期刊
出版文献量(篇)
8622
总下载数(次)
11
总被引数(次)
59030

计算机工程与科学

Computer Engineering and Science
曾用名: 电子计算技术

CSCDJSTCSTPCD

影响因子 0.8592
本刊系国防科技大学计算机学院主办的计算机类综合性学术刊物,属中国计算机学会会刊,已先后被列为中文核心期刊、中国科技核心期刊、中国学术期刊(光盘版)全文入编期刊、中国科学引文数据库来源期刊(CSCD核心)、中国学术期刊综合评价数据库来源期刊。
主办单位:
国防科学技术大学计算机学院
期刊荣誉:
中文核心期刊、中国科技核心期刊、CSCD核心期刊   湖南省优秀期刊  首届国防科技期刊优秀期刊 
ISSN:
1007-130X
CN:
43-1258/TP
出版周期:
月刊
邮编:
410073
地址:
湖南省长沙市开福区德雅路109号国防科技大学计算机学院
出版文献量(篇)
8622
总下载数(次)
11
总被引数(次)
59030
文章浏览
目录
  • 作者: 乔伟 刘璘
    发表期刊: 2006年z2期
    页码:  126-128,149
    摘要: 由于大规模开放分布式系统中的实体时刻动态变化,信任管理从而变得非常重要.本文考察了一些现有的信任模型并比较了他们的优缺点,发现它们都不能很好地描述信任的社会及认知属性.为了解决这个问题,本文...
  • 作者: 刘强 叶伟
    发表期刊: 2006年z2期
    页码:  62-65
    摘要: 目前在访问控制技术的应用方面,大型企业越来越多地使用RBAC访问控制技术来解决企业应用系统的访问控制问题.而目前经典的RBAC96模型在应对大型企业中的矩阵式组织结构以及跨地域的资源访问许可...
  • 作者: 刘超 吴际 张晴 李诺
    发表期刊: 2006年z2期
    页码:  113-117
    摘要: 模型驱动的Web应用测试的第一步是建立被测Web应用的模型,作为生成测试用例的基础.但是,通常Web应用开发过程中相关文档较少,所以为在工程实践中应用模型驱动的Web应用测试,需要逆向建立被...
  • 作者: 刘超 曹羽中 金茂忠
    发表期刊: 2006年z2期
    页码:  9-13,58
    摘要: 克隆代码通常是指软件系统中存在的相同或相似的代码片段,会严重影响软件的可维护性.克隆代码检测技术致力于自动发现软件系统中的克隆现象并协助开发者消除它们.本文介绍了克隆代码自动检测的研究意义与...
  • 作者: 张鹏飞 段振华 田聪
    发表期刊: 2006年z2期
    页码:  122-125
    摘要: 本文讨论从状态图到PTL形式规范的转化方法.状态图是描述系统行为的半形式化的图形工具,但缺少精确的形式语义,PTL(投影时序逻辑)是一种具有离散的时间模型的时序逻辑,把状态图转换到PTL后可...
  • 作者: 吕建 林强 胡昊
    发表期刊: 2006年z2期
    页码:  66-68,82
    摘要: 传统的软件过程是基于"中性价值"的,它们通常因为不能适应变化而导致项目失败.为此,Boehm提出了基于"价值"的软件工程,将"价值"引入到软件工程中,从而产生了基于"价值"的软件过程.VBS...
  • 作者: 刘永刚 应甫臣 王千祥
    发表期刊: 2006年z2期
    页码:  93-96
    摘要: 在运行时刻对软件实施有效的监测是提高软件可靠性的重要途径,如何组织监测代码则是一个与监测机制直接相关的问题.本文首先比较全面地分析了现有的几种主要监测代码组织方法.在此基础上,我们提出了一种...
  • 作者: 姜新文 陈树根
    发表期刊: 2006年z2期
    页码:  83-85,89
    摘要: 为了解决面向服务的企业集成体系中事务可靠性问题,提出了事务可靠的基于Web服务的企业集成体系;借鉴扩展事务模型的思想和事务工作流技术,针对面向服务的企业集成体系提出了一种层次结构的事务机制,...
  • 作者: 卢宇彤 周恩强 朱敏 沈志宇
    发表期刊: 2006年z2期
    页码:  178-179
    摘要: 随着应用需求的不断增长,并行计算环境的规模越来越大,高性能计算环境由单个集群向多个集群扩展,由本地资源向远程资源扩展,所涉及的计算资源种类繁多,系统管理也更加复杂.本文介绍的Lyra系统是一...
  • 作者: 程恩
    发表期刊: 2006年z2期
    页码:  146-147
    摘要: 基于BIOS的嵌入式安全子系统(EBSS)实现的目标就是在BIOS中直接嵌入安全系统软件,通过计算机USB接口来读写USB密钥,进行安全系统的验证,根据验证结果来决定你是否可以继续启动随后的...
  • 作者: 李文成 李栋梁 芦良鑫 马洪连
    发表期刊: 2006年z2期
    页码:  170-171
    摘要: 本文介绍了在Windows CE.net 4.2系统中非标准显示器的接入方式,包括硬件接口的实现、驱动程序的编写以及为了将非标准显示器接入Windows CE系统中所采取的一些特殊方法.在嵌...
  • 作者: 龙志斌 龚琰
    发表期刊: 2006年z2期
    页码:  180-180,182
    摘要: 基于航天发射场信息化建设的需要,本文立足于发射场现有的完善的信息网络基础设施,采用分布式数据库技术,提出了设计和实现航天发射场分布式数据库系统的思路,并从组成模型、体系结构及站点分布等方面简...
  • 作者: 彭鑫 蔡耀华 赵文耘
    发表期刊: 2006年z2期
    页码:  52-55
    摘要: 本文在基于角色的Web服务访问控制模型基础上,提出了一个面向特征的Web服务角色访问控制模型.该模型引入特征作为基本的访问控制单元,它可以同时从任务角度和从系统角度来保护资源,解决了以前无法...
  • 作者: 张良 曹冬磊 金蓓弘
    发表期刊: 2006年z2期
    页码:  14-17,65
    摘要: 蕴涵着高度动态变化特性的移动和普适计算环境给分布式系统的设计提出了新的挑战,上下文感知框架汇聚了感知和处理各种易变因素的基础设施.依托框架开发移动和普适应用,能加快开发速度,提高应用程序的健...
  • 作者: 王敬宇
    发表期刊: 2006年z2期
    页码:  152-153
    摘要: 本文阐述了一种基于插件和web服务的并行程序开发环境,旨在解决这类软件趋于复杂、研制周期长的突出问题.与同类产品相比,该系统研发周期短、使用方便.
  • 作者: 彭鑫 赵文耘 龚嘉
    发表期刊: 2006年z2期
    页码:  157-159,167
    摘要: 通过描述Web服务的领域特征,开发者可以复用领域模型进行Web服务的组装.如何从抽象的领域模型中得到具体的服务组装模型成为当前研究的热点之一.本文提出一种基于领域语义的、在逻辑和物理两个层次...
  • 作者: 尹俊文 朱沿旭
    发表期刊: 2006年z2期
    页码:  175-176
    摘要: 本文着重分析了伙伴算法产生内部碎片的根本原因,并在原始伙伴算法的基础上进行了改进,在不影响其性能的基础上大大减少了碎片量.
  • 作者: 尉红梅 漆锋滨 郭勇
    发表期刊: 2006年z2期
    页码:  21-23,44
    摘要: 微处理器与DRAM之间速度差异越来越大,系统优化需要更多积极有效的方法来减少或隐藏访存延迟.数据预取是隐藏访存延迟的一种有效方法,本文在GCC编译器上实现了一种基于精确局部性分析的数据预取优...
  • 作者: 张恒瑞 李彤 董朝 郑疆
    发表期刊: 2006年z2期
    页码:  150-151,153
    摘要: 软件演化过程是当今软件工程研究的一个重要课题,一些支持软件演化过程的策略和方法被提出,有效地支持了软件的演化.本文以信息复用的策略为基础,提出了在软件演化过程中通过知识库的应用对信息进行复用...
  • 作者: 刘强 林世平
    发表期刊: 2006年z2期
    页码:  97-99,103
    摘要: 本文探讨了如何利用领域文本集来自动构建领域本体的技术,以辅助知识工程师方便快捷地构建领域本体.文中提出一种利用概念之间的语义相似度,通过蚁群聚类算法对概念集进行聚类,最后利用知网的义原层次结...
  • 作者: 刘璘 朱曼玲 金芝
    发表期刊: 2006年z2期
    页码:  75-78
    摘要: 本文提出一个关于信任需求的形式化建模框架,该模型框架主要用于面向服务的环境的信任度量.该框架定义了与服务信任相关的建模概念及模型推理规则,因而既能反映出问题领域又可以使其可计算化.该框架模型...
  • 作者: 刘惠 史殿习 李磊 王怀民
    发表期刊: 2006年z2期
    页码:  118-121
    摘要: 全序组通信是构建分布式应用程序的一种重要通信原语,它能够保证一个通信组中的所有成员都按照同样的顺序接收消息.现有的全序组通信算法缺乏可扩展性,即当通信组中的成员数目较大时,算法的延迟时间和吞...
  • 作者: 李劲华 赵赟
    发表期刊: 2006年z2期
    页码:  166-167
    摘要: 从实际应用出发,研究UML模型转换器的设计与实现.本文分析了UML建模工具Rose所产生模型的文档结构,构造出其LALR(1)文法,利用YACC工具将其转换为统一的UML模型文档.
  • 作者: 李吉刚 杨钦 程世鹏
    发表期刊: 2006年z2期
    页码:  48-51
    摘要: 模式是软件开发中现存的、成熟的软件设计经验的提炼.模式包含体系结构模式和设计模式.针对一个典型的三维图形系统,本文从其架构设计到详细设计和具体实现整个过程,说明了模式是如何选取和应用的,分析...
  • 作者: 孙艳春 孙连山 梅宏 陈泓婕 黄罡
    发表期刊: 2006年z2期
    页码:  139-141,145
    摘要: 在需求模型中准确、完整地规约与非功能需求(NFR)相关的语义是实现NFR的前提,也是需求建模的难点.本文探讨了特征模型中NFR的建模方法,该方法显式区分功能和非功能特征,根据精化关系将处于不...
  • 作者: 吕建 李兴宇 殷琴 胡昊
    发表期刊: 2006年z2期
    页码:  72-74,82
    摘要: 针对SOA的服务注册查找过程中只关注接口和静态属性的问题,本文实现了一个支持行为的服务注册查找方案.该方案基于SOBECA中间件,在服务注册时提供服务的行为描述,进而在服务查找时可以根据该描...
  • 作者: 周训伟 鲍泓
    发表期刊: 2006年z2期
    页码:  161-162
    摘要: Carroll Morgan的规则精化方法是一种典型的程序精化方法,是一种形式方法.本文用互逆主义逻辑对其进行了改造:将其中的精化法则改造成为逻辑定理,以二层假言推理和小前提逆二层单准正向证...
  • 作者: 何智勇 贲可荣
    发表期刊: 2006年z2期
    页码:  169-169,176
    摘要: 本文将现有体系结构模型的形式化描述系统和验证系统通过范畴理论进行刻画,通过将静态结构描述和动态行为描述转化为范畴表示,使体系结构模型具有了统一的描述语言和数学基础;将体系结构精化过程中的正确...
  • 作者: 张晓琳 王静宇 谭跃生
    发表期刊: 2006年z2期
    页码:  164-165
    摘要: 基于软中断的思想,本文实现一个能够接收所有数据报文的内核模块,代替系统原有的复杂的报文处理过程,并通过专用网络协议栈,实现了一种高性能的流量采集平台.
  • 作者: 吴建平 宋君强 郑重 陈宇澍
    发表期刊: 2006年z2期
    页码:  100-103
    摘要: 耦合器用以将不同气候模式连接成为复杂的耦合系统,是气候预测应用中的关键部件.本文以构件化的方式设计并实现了一个具有较强通用性和可扩展性的耦合器,并利用它将IAP4.0大气模式和LASG海洋模...

计算机工程与科学基本信息

刊名 计算机工程与科学 主编 王志英
曾用名 电子计算技术
主办单位 国防科学技术大学计算机学院  主管单位 国防科学技术大学
出版周期 月刊 语种
chi
ISSN 1007-130X CN 43-1258/TP
邮编 410073 电子邮箱 jsjgcykx@vip.163.com
电话 0731-84576405 网址
地址 湖南省长沙市开福区德雅路109号国防科技大学计算机学院

计算机工程与科学评价信息

期刊荣誉
1. 中文核心期刊、中国科技核心期刊、CSCD核心期刊
2. 湖南省优秀期刊
3. 首届国防科技期刊优秀期刊

计算机工程与科学统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊