期刊文献+
共找到236篇文章
< 1 2 12 >
每页显示 20 50 100
专业英语在软件工程建设中的教学改革与实践 被引量:5
1
作者 毛宏燕 姜宁康 张居阳 《计算机工程与科学》 CSCD 北大核心 2011年第S1期31-33,共3页
专业英语在软件工程建设体系中属于一门基础和必修课程,如何培养学生学习专业英语的兴趣,提高学生阅读、理解外文资料能力和掌握专业知识的技能,是该课程建设的重点。本文将结合具体实践教学,探讨在软件工程专业建设中如何改善专业英语... 专业英语在软件工程建设体系中属于一门基础和必修课程,如何培养学生学习专业英语的兴趣,提高学生阅读、理解外文资料能力和掌握专业知识的技能,是该课程建设的重点。本文将结合具体实践教学,探讨在软件工程专业建设中如何改善专业英语课程教学内容,改革教学形式,使学生及时获知软件技术前沿领域发展动态,培养学生商务沟通和写作能力,以适应国际软件行业和市场发展变化的需求。 展开更多
关键词 软件工程 专业英语 阅读能力 商务沟通 技术发展
在线阅读 下载PDF
一种面向语义Web服务的软件设计语言和设计方法 被引量:4
2
作者 曹虹华 应时 +1 位作者 杜德慧 贾向阳 《电子学报》 EI CAS CSCD 北大核心 2007年第B12期129-135,共7页
在分析已有的面向服务的设计和开发方法的基础上,设计了一种语义编程语言SPL,并基于该语言提出一种面向语义web服务的软件设计和开发方法,试图提供一种有效的解决方案,用于设计和开发面向语义web服务的软件系统.结合旅游预订领域... 在分析已有的面向服务的设计和开发方法的基础上,设计了一种语义编程语言SPL,并基于该语言提出一种面向语义web服务的软件设计和开发方法,试图提供一种有效的解决方案,用于设计和开发面向语义web服务的软件系统.结合旅游预订领域的一个实例,讨论了该方法的全过程.还给出了SPL语言和相关语言的比较.该研究对面向语义Web服务的软件分析、设计和开发具有一定的参考作用 . 展开更多
关键词 语义WEB服务 语义编程语言SPL 软件设计方法
在线阅读 下载PDF
软件动态正确性的形式化描述 被引量:4
3
作者 马艳芳 张敏 陈仪香 《计算机研究与发展》 EI CSCD 北大核心 2013年第3期626-635,共10页
软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互... 软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互模拟的无限演化理论,给出参数化极限互模拟的定义,并给出几个特殊的参数化极限互模拟实例.其次,建立参数化互模拟极限,给出参数化互模拟极限的规约刻画.最后,证明参数化互模拟极限的唯一性、与参数化互模拟的相容性等代数性质. 展开更多
关键词 软件正确性 参数化互模拟 形式化 极限 拓扑
在线阅读 下载PDF
一种基于软件属性相互影响和重要性的属性权重分配方法 被引量:2
4
作者 张俊 周勇 《计算机应用研究》 CSCD 北大核心 2016年第5期1390-1394,共5页
为了确定可信度量中的属性权重,提出一种新的软件属性权重的分配方法。对软件属性模型进行分层划分属性,引入软件属性互相影响的概念,结合基于属性相互影响和属性重要性的权重分配方法,从两个层次对属性的权重进行综合预测,最后通过实... 为了确定可信度量中的属性权重,提出一种新的软件属性权重的分配方法。对软件属性模型进行分层划分属性,引入软件属性互相影响的概念,结合基于属性相互影响和属性重要性的权重分配方法,从两个层次对属性的权重进行综合预测,最后通过实际的例子对软件属性权重进行量化的分析,详细描述了该方法的具体过程。提出的软件属性权重的分配方法是一个通用的方法,对于各种软件可信度量中的属性权重可以进行相应的分析,在可信度量中软件属性权重的确定上有一定的实际意义和作了积极的探索。 展开更多
关键词 软件可信性 软件属性 可信属性模型 权重分配 权重影响
在线阅读 下载PDF
软件项目的时间管理 被引量:2
5
作者 曹桂涛 喻姗姗 《计算机应用与软件》 CSCD 2010年第7期74-76,共3页
项目时间管理又称为项目进度管理或项目工期管理,是为确保项目按时完工所进行的一系列管理过程。对于软件项目来说,由于软件是由人开发的,不仅项目的进度需要管理,项目开发团队的时间也需要管理。首先介绍软件项目时间管理的理论,然后... 项目时间管理又称为项目进度管理或项目工期管理,是为确保项目按时完工所进行的一系列管理过程。对于软件项目来说,由于软件是由人开发的,不仅项目的进度需要管理,项目开发团队的时间也需要管理。首先介绍软件项目时间管理的理论,然后结合软件开发过程的特点,分析了软件项目的时间管理方法;然后用一个实例加以分析,指出软件项目在时间管理中存在的问题并提出建议,希望软件项目管理者在保证进度管理有序执行的同时,也注重对人的管理,保证软件项目能按时、保质完成。 展开更多
关键词 软件项目 时间管理 进度
在线阅读 下载PDF
Internet环境下基于构件的软件理论与方法专刊前言 被引量:1
6
作者 何积丰 李宣东 《软件学报》 EI CSCD 北大核心 2008年第5期1081-1082,共2页
Internet的出现使计算机软件所面临的环境开始从静态封闭逐步走向动态开放.为了适应这样一种发展趋势,软件系统开始呈现出一种柔性、多目标、连续反应式的新系统形态.从技术的角度,以软件构件等技术支持的软件实体以开放、自主的方... Internet的出现使计算机软件所面临的环境开始从静态封闭逐步走向动态开放.为了适应这样一种发展趋势,软件系统开始呈现出一种柔性、多目标、连续反应式的新系统形态.从技术的角度,以软件构件等技术支持的软件实体以开放、自主的方式存在于Internet的各个节点之上,任何一个软件实体可以在开放的环境下通过某种方式加以发布, 展开更多
关键词 INTERNET环境 计算机软件 基于构件 软件系统 技术支持 发展趋势 软件构件 多目标
在线阅读 下载PDF
项目驱动的基于过程的小组开发在软件工程教学中的运用 被引量:1
7
作者 周勇 黄国兴 《计算机工程与科学》 CSCD 2006年第z1期92-95,共4页
本文介绍了项目驱动的基于过程的小组开发方法,并将其应用于软件工程教学实践,分析并总结了实践结果,表明了这一方法对课程教学起到的显著作用.
关键词 项目驱动 基于过程 小组开发 软件工程
在线阅读 下载PDF
一种基于WebMO模型的迭代式软件估算方法
8
作者 周勇 鲍钰 《计算机应用》 CSCD 北大核心 2007年第B06期310-311,共2页
改进了基于WebMO模型的软件规模和工作量估算方法,通过调整项目的计数规范、修正基于Web的规模预测因子、增加软件配置模块等途径,对实际的Web项目进行了迭代式估算。应用结果表明,改进方法在对Web软件项目的估算可靠性方面有了一定的... 改进了基于WebMO模型的软件规模和工作量估算方法,通过调整项目的计数规范、修正基于Web的规模预测因子、增加软件配置模块等途径,对实际的Web项目进行了迭代式估算。应用结果表明,改进方法在对Web软件项目的估算可靠性方面有了一定的提高。 展开更多
关键词 规模和工作量估算 WEB对象 WebMO 迭代方法
在线阅读 下载PDF
一种面向控制软件需求分析的方法 被引量:2
9
作者 张丽芸 蒲戈光 +1 位作者 王政 李建文 《计算机应用研究》 CSCD 北大核心 2013年第2期465-468,475,共5页
设计航天控制系统是一个复杂的过程,涉及需求设计、编码、测试等一系列的流程,若能在需求设计阶段发现错误,那么能减少不少的工作量。针对这一问题,提出了一种分析控制软件需求的方法和一个名为SP-ARDL的建模语言,并制作了一套SPARDL工... 设计航天控制系统是一个复杂的过程,涉及需求设计、编码、测试等一系列的流程,若能在需求设计阶段发现错误,那么能减少不少的工作量。针对这一问题,提出了一种分析控制软件需求的方法和一个名为SP-ARDL的建模语言,并制作了一套SPARDL工具。SPARDL可以描述周期性的控制系统,首先将需求文档转换为SPARDL模型,且提供了图形化的表示方法;然后运用原型生成技术去仿真系统的行为,进一步分析需求的准确性。最后以一个案例表明了用SPARDL分析一个简单的航天控制系统需求的有效性。 展开更多
关键词 控制系统 需求分析 图形化 原型生成 系统仿真
在线阅读 下载PDF
基于Android平台的公交信息发布终端软件的设计与实现 被引量:10
10
作者 郭健傧 蔡雪松 《计算机应用与软件》 CSCD 北大核心 2014年第9期322-324,333,共4页
公交信息发布系统是城市公交系统的重要组成部分,它为人们的日常出行提供导乘服务。但是与日俱增的公交线路和车辆、班次的临时延误和线路的临时调整等公交信息的频繁变化,严重制约了公交系统的服务水平,给乘客出行带来诸多不便。智能... 公交信息发布系统是城市公交系统的重要组成部分,它为人们的日常出行提供导乘服务。但是与日俱增的公交线路和车辆、班次的临时延误和线路的临时调整等公交信息的频繁变化,严重制约了公交系统的服务水平,给乘客出行带来诸多不便。智能手机的普及为该问题的解决提供了新的思路。基于Android操作系统设计并开发一套手机终端公交信息发布软件,该软件提供基于公交车实时的进出站数据,方便用户查询了解公交车的最新动态,从而进一步提高公交系统人性化服务水平和服务质量。该系统应用在上海市杨浦区,运行结果表明了该设计是有效、可行的。 展开更多
关键词 ANDROID系统 公交信息发布 GPRS 手机软件 通信协议
在线阅读 下载PDF
基于服务更新的网构软件可靠性模型研究(英文) 被引量:1
11
作者 杜育根 李永钢 《计算机科学与探索》 CSCD 2008年第4期431-438,共8页
网构软件是在开放、动态和多变的Internet环境下软件系统基本形态的一种抽象。这种新的软件系统,它的构建依赖于开放环境中各异构、自治的软件服务实体之间的有效协同。其可靠性不单取决于拥有自主性的软件服务实体本身,还取决于外部环... 网构软件是在开放、动态和多变的Internet环境下软件系统基本形态的一种抽象。这种新的软件系统,它的构建依赖于开放环境中各异构、自治的软件服务实体之间的有效协同。其可靠性不单取决于拥有自主性的软件服务实体本身,还取决于外部环境的动态变化,主要表现为开放环境下服务实体元素的更新,所以传统的软件可靠性的度量模型已不能适应这种新的软件形态。能否在网构软件形态下建立一个好的可靠性度量模型成为其中一个较为核心的问题。文章以服务更新过程中失效数(failurecounts)为基础,将服务更新强度引入Musa-Okumoto(M-O)模型中,作为M-O模型在新的软件形态下的一个推广。最后讨论了网构软件退化的情形和退化条件,为开放环境下网构软件可靠性研究提供一种思路。 展开更多
关键词 网构软件 服务更新 可靠性模型 开放环境
在线阅读 下载PDF
基于决策树的大学生科研活动与毕业走向的关联研究
12
作者 胡灵敏 骆力明 +1 位作者 茅潇潇 高明 《计算机工程与科学》 CSCD 北大核心 2016年第6期1275-1280,共6页
本科生的科研活动越来越得到教育研究者的重视,然而,研究者很少关注学生科研活动与毕业走向之间的关联问题。为了探究本科生参与科研情况对其未来发展的影响,从学生毕业走向切入,挖掘影响学生未来毕业去向的重要因素。以北京市某师范高... 本科生的科研活动越来越得到教育研究者的重视,然而,研究者很少关注学生科研活动与毕业走向之间的关联问题。为了探究本科生参与科研情况对其未来发展的影响,从学生毕业走向切入,挖掘影响学生未来毕业去向的重要因素。以北京市某师范高校计算机相关专业的2009级的所有学生的科研情况与毕业走向作为数据主要来源,以Weka作为模型建立和评估的辅助工具,采用J48决策树分类,进行十折交叉验证,建立了基于学生科研活动的毕业走向预测模型,并通过对模型进行验证评估,证明了模型预测准确率良好。研究结果表明,学生参与竞赛的数量、专业、作为项目负责人的项目数量、参与教学类项目的数量对学生的未来走向有着重要影响。 展开更多
关键词 科研活动 决策树 毕业走向 WEKA
在线阅读 下载PDF
轨道交通控制软件中基于场景的需求分析方法 被引量:1
13
作者 闫倩倩 缪炜恺 《计算机工程》 CAS CSCD 北大核心 2021年第8期284-293,300,共11页
针对轨道交通控制软件的形式化方法,在实际工程应用中存在形式化建模和系统级场景验证困难的问题。提出一种面向轨道交通领域的形式化建模和需求确认及验证方法。通过非形式化、半形式化到形式化规约三步演化过程,为形式化规约构建提供... 针对轨道交通控制软件的形式化方法,在实际工程应用中存在形式化建模和系统级场景验证困难的问题。提出一种面向轨道交通领域的形式化建模和需求确认及验证方法。通过非形式化、半形式化到形式化规约三步演化过程,为形式化规约构建提供模板。在对需求的确认和验证中,根据形式化规范建立需求模型,导出相关图表,基于此检查领域专家关注的场景。同时制定场景描述规则,使场景可以在需求模型中正确执行。在此基础上,从特殊变量、效率、场景质量三方面对场景进行优化,更充分地验证需求的正确性。实验结果表明,对于典型车载控制软件,该方法较传统分析方法可多探测到10%的潜在缺陷,效率提升80%以上。 展开更多
关键词 形式化方法 需求规约 需求确认和验证 场景优化 轨道交通控制软件
在线阅读 下载PDF
数据密集型科学与工程:需求和挑战 被引量:80
14
作者 宫学庆 金澈清 +2 位作者 王晓玲 张蓉 周傲英 《计算机学报》 EI CSCD 北大核心 2012年第8期1563-1578,共16页
科学研究在经历了实验科学、理论科学、计算科学阶段后,进入了数据密集型科学阶段,与之相伴的是大数据时代的到来.大数据泛指规模达到几百TB,甚至PB级的数据①,其典型的特征是分布、异构、低质量等.尽管传统数据库管理技术(特别是商业... 科学研究在经历了实验科学、理论科学、计算科学阶段后,进入了数据密集型科学阶段,与之相伴的是大数据时代的到来.大数据泛指规模达到几百TB,甚至PB级的数据①,其典型的特征是分布、异构、低质量等.尽管传统数据库管理技术(特别是商业关系型数据库)在过去40年间取得了巨大成功,但是这些技术和系统无法有效管理支持数据密集型科学与工程(Data-Intensive Science and Engineering,DISE)的大数据.文中探讨数据密集型科学与工程的具体需求和现实挑战.它涵盖的内容表现在4个层面,包括数据存储与组织、计算方法、数据分析以及用户接口技术等.同时,数据质量、数据安全、数据监护等内容也需要在各层面得到重视.文中尝试梳理了数据密集型科学与工程的整体架构,回顾了相关领域的新近发展,分析了面临的挑战,探讨了未来的研究方向. 展开更多
关键词 大数据 数据密集型科学与工程 需求 挑战
在线阅读 下载PDF
面向微博系统的实时个性化推荐 被引量:53
15
作者 高明 金澈清 +2 位作者 钱卫宁 王晓玲 周傲英 《计算机学报》 EI CSCD 北大核心 2014年第4期963-975,共13页
社交网络服务需要响应用户实时、连续、个性化的服务需求.然而,目前多数社交网络服务并未充分考虑用户的个性化服务需求.由于社交网络中海量的数据更新使得提供实时个性化服务成为一项相对艰巨的任务.文中基于LDA主题模型推断微博的主... 社交网络服务需要响应用户实时、连续、个性化的服务需求.然而,目前多数社交网络服务并未充分考虑用户的个性化服务需求.由于社交网络中海量的数据更新使得提供实时个性化服务成为一项相对艰巨的任务.文中基于LDA主题模型推断微博的主题分布和用户的兴趣取向,提出了微博系统上用户感兴趣微博的实时推荐方法,以响应用户实时、连续和个性化的服务请求,在真实数据集上的实验结果验证了文中提出的方法的有效性和高效性. 展开更多
关键词 实时推荐 个性化推荐 LDA 社交网络 微博
在线阅读 下载PDF
不确定性数据管理技术研究综述 被引量:185
16
作者 周傲英 金澈清 +1 位作者 王国仁 李建中 《计算机学报》 EI CSCD 北大核心 2009年第1期1-16,共16页
随着数据采集和处理技术的进步,人们对数据的不确定性的认识也逐步深入.在诸如经济、军事、物流、金融、电信等领域的具体应用中,数据的不确定性普遍存在.不确定性数据的表现形式多种多样,它们可以以关系型数据、半结构化数据、流数据... 随着数据采集和处理技术的进步,人们对数据的不确定性的认识也逐步深入.在诸如经济、军事、物流、金融、电信等领域的具体应用中,数据的不确定性普遍存在.不确定性数据的表现形式多种多样,它们可以以关系型数据、半结构化数据、流数据或移动对象数据等形式出现.目前,根据应用特点与数据形式差异,研究者已经提出了多种针对不确定数据的数据模型.这些不确定性数据模型的核心思想都源自于可能世界模型.可能世界模型从一个或多个不确定的数据源演化出诸多确定的数据库实例,称为可能世界实例,而且所有实例的概率之和等于1.尽管可以首先分别为各个实例计算查询结果,然后合并中间结果以生成最终查询结果,但由于可能世界实例的数量远大于不确定性数据库的规模,这种方法并不可行.因此,必须运用排序、剪枝等启发式技术设计新型算法,以提高效率.文中介绍了不确定性数据管理技术的概念、特点与挑战,综述了数据模型、数据预处理与集成、存储与索引、查询处理等方面的工作. 展开更多
关键词 不确定性数据 可能世界模型 数据集成 世系 不确定数据流
在线阅读 下载PDF
数据世系管理技术研究综述 被引量:70
17
作者 高明 金澈清 +2 位作者 王晓玲 田秀霞 周傲英 《计算机学报》 EI CSCD 北大核心 2010年第3期373-389,共17页
世系描述了数据产生、并随时间推移而演变的整个过程,它的应用领域很广,包括数据质量评价、数据核查、数据恢复和数据引用等.数据世系大致可分为不同数据源之间的数据演化过程和同一数据源内部的数据演化过程,即模式级和实例级数据演化... 世系描述了数据产生、并随时间推移而演变的整个过程,它的应用领域很广,包括数据质量评价、数据核查、数据恢复和数据引用等.数据世系大致可分为不同数据源之间的数据演化过程和同一数据源内部的数据演化过程,即模式级和实例级数据演化过程.文中以模式级和实例级数据世系的表示、查询为主线综述数据世系的研究进展.模式级世系部分主要介绍了查询重写和模式映射的世系追踪技术,实例级世系部分则从关系型数据、XML数据、流数据三方面总结了新近的研究进展.文中还综述了跟踪不确定性数据及其演化过程的研究进展.最后,列举了数据世系管理的应用,并讨论了世系分析研究面临的挑战及未来的研究方向. 展开更多
关键词 数据世系 世系半环 数据集成 数据空间 不确定数据
在线阅读 下载PDF
计算广告:以数据为核心的Web综合应用 被引量:62
18
作者 周傲英 周敏奇 宫学庆 《计算机学报》 EI CSCD 北大核心 2011年第10期1805-1819,共15页
计算广告是随着互联网应用发展起来的一个综合多学科的研究领域,这多学科包括数据管理、信息检索、数据挖掘、统计分析、机器学习、分布式系统等.由于其广泛的应用和巨大的市场价值,计算广告学已逐步发展成一个独立的研究方向.目前,计... 计算广告是随着互联网应用发展起来的一个综合多学科的研究领域,这多学科包括数据管理、信息检索、数据挖掘、统计分析、机器学习、分布式系统等.由于其广泛的应用和巨大的市场价值,计算广告学已逐步发展成一个独立的研究方向.目前,计算广告学涵盖在线广告投放、移动终端广告投放、社会网络应用广告投放、用户信息分析等.文中主要介绍计算广告学的演化过程,包括计算广告投放模式的演化(由按合约投放演变为实时竞价投放)、计价模式的演化(由按展示计价演变为按点击计价、按交易计价等)、投放目标的演化(由品牌效果展示演变为直接市场营销);计算广告学的组成部分,包括计算广告产业链(如广告主、网络媒体、联盟网络、广告交换、需求方平台、销售方平台等)、计算广告的分类(如条幅展示广告、赞助商搜索、联盟广告等).此外,文中还重点讨论了广告检索、排序投放算法以及广告离线分析、实时投放平台等关键技术和平台.最后,还将讨论在移动计算环境下的移动终端的广告投放、基于位置信息的广告投放、基于社会网络的广告投放等新型应用模式对计算广告学发展的影响. 展开更多
关键词 计算广告 广告检索 广告竞价 广告定向
在线阅读 下载PDF
不确定数据查询处理 被引量:21
19
作者 蒋涛 高云君 +2 位作者 张彬 周傲英 乐光学 《电子学报》 EI CAS CSCD 北大核心 2013年第5期966-976,共11页
数据的不确定性在现实世界中的经济、军事、物流、金融、电信等领域普遍存在.不确定数据广泛应用于环境维护、市场分析、基于位置的服务LBS以及数量经济研究等应用.由于这些应用的重要性以及收集和累积的不确定数据数量的快速增长,查询... 数据的不确定性在现实世界中的经济、军事、物流、金融、电信等领域普遍存在.不确定数据广泛应用于环境维护、市场分析、基于位置的服务LBS以及数量经济研究等应用.由于这些应用的重要性以及收集和累积的不确定数据数量的快速增长,查询这些数据已经成为一个重要的任务,并日益受到广大数据库研究者的关注.本文介绍了不确定数据查询的基本原理,并对不确定数据的近邻查询、逆向近邻查询、排序查询、Top-k查询以及连接查询进行了详细的讨论.同时对这些技术的优缺点进行了分析、对比.最后给出了未来的研究方向. 展开更多
关键词 不确定数据 近邻 逆向近邻 连接 查询处理
在线阅读 下载PDF
农业生态环境监测中无线传感节点信号有效传输距离的确定 被引量:24
20
作者 徐兴元 章玥 +1 位作者 季民河 宋洋 《农业工程学报》 EI CAS CSCD 北大核心 2013年第14期164-170,共7页
农业生态环境的物理形态和结构复杂多样,对WSN(wireless sensor networks)的无线信号传输造成不同衰减影响。为确保无线传感器网络在农业环境中经济、合理、高效部署,有必要明确典型农业环境中无线传感节点间的有效传输距离。该文基于Sh... 农业生态环境的物理形态和结构复杂多样,对WSN(wireless sensor networks)的无线信号传输造成不同衰减影响。为确保无线传感器网络在农业环境中经济、合理、高效部署,有必要明确典型农业环境中无线传感节点间的有效传输距离。该文基于Shadowing信号衰减模型,利用当前通用的CC2530和CC2591无线通信模块,分别选定4种不同农业环境(湖泊、草地、农田、树林)开展单跳组网试验,通过设定不同距离测试传感器节点的接收信号强度指标(received signal strength indication,RSSI),分析不同环境中RSSI与传输距离间的变化特征。试验结果表明,所有测试环境获得的RSSI值与有效距离遵从Shadowing模型,其拟合度在0.9232~0.9846之间。通过对实测数据建立拟合模型,以接收节点的灵敏度为临界值,计算出湖泊、草地、农田、树林4种环境的理论传输距离分别为663.3,419.3,208.0和79.5m,而实测有效传输距离与理论值之间的相对误差在22%~34%之间。从误差分布看,复杂环境的实测值更接近理论值,而特殊结构的复杂环境似对实际信号传输有增强作用。该文的研究方法和模型估算获得的信号衰减系数可为实际环境监测组网提供有益参考。 展开更多
关键词 农业 传感器 无线网络 有效传输距离 农业环境监测
在线阅读 下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部