期刊文献+
共找到477篇文章
< 1 2 24 >
每页显示 20 50 100
大学计算机基础教学中的计算思维培养 被引量:242
1
作者 龚沛曾 杨志强 《中国大学教学》 CSSCI 北大核心 2012年第5期51-54,共4页
首先仔细地分析了计算思维的定义,提出了计算思维由意识、方法和能力三个层次的内容组成;然后指出了计算机基础教学中计算思维的无意识、潜移默化教学的现状;最后提出计算机基础教学课程体系中各门课程联动改革的方案。
关键词 计算思维 大学计算机基础 程序设计
在线阅读 下载PDF
以计算思维为切入点的计算机基础课程联动改革与实践 被引量:29
2
作者 龚沛曾 杨志强 +1 位作者 朱君波 高枚 《中国大学教学》 CSSCI 北大核心 2015年第11期53-56,共4页
如何有效地在计算机基础课程中贯彻以计算思维为切入点的教学改革,是当前计算机基础教学改革研究的内容之一。本文提出了计算思维的三个层次和课程体系的关系,并实施了两门基础课程联动改革,更新课程内容体系,精选案例和实验方案,增加了... 如何有效地在计算机基础课程中贯彻以计算思维为切入点的教学改革,是当前计算机基础教学改革研究的内容之一。本文提出了计算思维的三个层次和课程体系的关系,并实施了两门基础课程联动改革,更新课程内容体系,精选案例和实验方案,增加了"专题"模块,采用多元化教学模式,使得计算思维教学改革有效落地,培养了学生的计算思维能力和解决问题的能力。 展开更多
关键词 计算思维 大学计算机基础 MOOC
在线阅读 下载PDF
计算机联锁软件制式的安全性评价 被引量:3
3
作者 郦萌 徐翥 王铁江 《铁道学报》 EI CAS CSCD 北大核心 2004年第1期59-63,共5页
计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能... 计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息 ,以补充“合格”或“不合格”两个评价结论过于粗略的不足。本文首先根据严重性和诱发可能性为每个安全性问题 (即软件缺陷 )定义了一个安全性指数 ,然后提出针对制式测试的安全性评价指标———联锁软件安全性问题处理完善性 ,用以反映联锁软件的开发水平。这部分包括评价模型和方法 ,特别是对安全性经验关系系统到数值关系系统的映射 ,进行了一致性的证明。文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例 。 展开更多
关键词 计算机 联锁 软件 安全性苛求 评价
在线阅读 下载PDF
基于ObjectARX和ADO.NET的列车线路图计算机辅助设计 被引量:3
4
作者 张晓露 陈永生 郭玉臣 《计算机应用》 CSCD 北大核心 2009年第B12期149-151,共3页
针对列车线路图设计出图的实际需求,设计了使用ObjectARX.NET和ADO.NET的技术方案,并针对列车线路图进行元素建模、分析设计和编程实现。该技术方案同时使用了AutoCAD计算机辅助设计软件、SQL Server 2005数据库、Visual Studio 2005程... 针对列车线路图设计出图的实际需求,设计了使用ObjectARX.NET和ADO.NET的技术方案,并针对列车线路图进行元素建模、分析设计和编程实现。该技术方案同时使用了AutoCAD计算机辅助设计软件、SQL Server 2005数据库、Visual Studio 2005程序设计平台的ADO.NET数据访问技术和C#程序语言等多项主流技术。 展开更多
关键词 列车线路图 OBJECTARX.NET ADO.NET C# UML
在线阅读 下载PDF
芯片级系统的在线测试技术 被引量:2
5
作者 江建慧 员春欣 《计算机研究与发展》 EI CSCD 北大核心 2004年第9期1593-1603,共11页
在线测试是基本容错技术之一 把在线测试技术概括为差错控制码、重复与比较、在线监督等 3类 ,对其发展历史进行了回顾 ,重点是 2 0世纪 90年代以来的成果 ,包括芯片设计方案、原型及产品 研究结果表明 。
关键词 在线测试 高性能处理机 容错计算 VLSI芯片
在线阅读 下载PDF
异构重构计算系统应用任务调度的性能分析 被引量:1
6
作者 谭一鸣 曾国荪 郝水侠 《小型微型计算机系统》 CSCD 北大核心 2012年第2期404-408,共5页
异构重构计算是目前高性能计算的研究热点.由于应用任务的异构性,以及体系结构的可重构性,导致异构重构计算的性能分析非常困难,现有的并行计算性能分析方法不再适用.本文提出一种基于应用任务调度的性能分析方法,该方法以异构重构计算... 异构重构计算是目前高性能计算的研究热点.由于应用任务的异构性,以及体系结构的可重构性,导致异构重构计算的性能分析非常困难,现有的并行计算性能分析方法不再适用.本文提出一种基于应用任务调度的性能分析方法,该方法以异构重构计算系统模型和应用任务模型为基础,利用异构匹配、重构耦合矩阵,实现应用任务和处理部件的优化选择和耦合匹配,通过调度算法求出应用任务在异构重构计算系统中的完成时间,并进行了实例分析. 展开更多
关键词 异构重构计算 性能分析 异构匹配矩阵 重构耦合矩阵
在线阅读 下载PDF
一种基于可信计算技术的源代码安全审查模型 被引量:2
7
作者 张毅 王伟 +1 位作者 王刘程 郝美慈 《信息网络安全》 2014年第10期1-6,共6页
在现阶段的大规模软件工程开发中,源代码数量已经变得越来越庞大,动辄就是数百万,甚至是数千万行以上。随着源代码数量的激增,代码的逻辑越来越复杂,相互之间的调用关系越来越繁复,代码的安全漏洞也越来越容易出现。常规的人工检查和调... 在现阶段的大规模软件工程开发中,源代码数量已经变得越来越庞大,动辄就是数百万,甚至是数千万行以上。随着源代码数量的激增,代码的逻辑越来越复杂,相互之间的调用关系越来越繁复,代码的安全漏洞也越来越容易出现。常规的人工检查和调试已经完全不能满足庞大的系统软件的审查需求。此时,常在源代码正式发布之前,使用安全代码审查机制来快速找出系统中绝大多数的安全漏洞。针对这一问题,文章结合传统的代码安全审查原理和当前流行的可信计算技术,提出了一种基于可信计算技术的源代码安全审查模型。在代码的安全审查过程中,利用可信计算的可信度量原理的审查方法,结合运用安全操作系统的访问控制机制,检测出源代码中可能不符合可信计算理论的系统资源访问,防止主体触发来源不可信或已被篡改的代码,从而实现对各种已知和未知恶意代码的防御,让最终的代码在运行时符合可信计算标准。该模型通过将不同的软件进行类型分级,从而确定不同软件对系统资源的不同使用权限。使用文中规范开发的代码遵循可信计算标准,可以杜绝恶意代码对系统资源的不安全访问。 展开更多
关键词 安全审查 代码评审 可信计算 可信度量
在线阅读 下载PDF
异构计算中体系结构感知的并行任务分簇方法
8
作者 郝水侠 曾国荪 《计算机科学》 CSCD 北大核心 2013年第3期121-125,共5页
异构计算是高效能计算发展的必然趋势,针对异构计算运行中并行任务和体系结构难匹配的问题,提出了实现并行任务和体系结构匹配的并行任务分簇方法。首先给出效能的概念及异构计算中体系结构感知的分簇问题,然后从理论上分析了异构匹配... 异构计算是高效能计算发展的必然趋势,针对异构计算运行中并行任务和体系结构难匹配的问题,提出了实现并行任务和体系结构匹配的并行任务分簇方法。首先给出效能的概念及异构计算中体系结构感知的分簇问题,然后从理论上分析了异构匹配与效能的关系,提出了实现异构计算匹配和结构匹配的分簇理论,目的是发挥异构计算中机器的潜能,协同处理并行任务,实现高效能。在此基础上,给出相应的算法。最后通过仿真实验说明,该方法可通过簇图与体系结构的匹配缩短通信开销在执行时间上所占的比例,从而缩短并行执行时间,以提高系统利用率,最终实现异构计算的高效能。 展开更多
关键词 异构计算 并行任务匹配 体系结构感知 分簇
在线阅读 下载PDF
基于RFID技术的DVD生产执行系统(MES)设计 被引量:1
9
作者 施佳亮 王晓国 《计算机应用与软件》 CSCD 北大核心 2007年第12期208-209,214,共3页
主要分析了企业DVD生产管理的实际情况和RFID应用于DVD生产系统的优势,提出了构筑基于REID技术来采集实时生产数据的生产执行系统,从而解决企业的许多生产性问题,提高了企业的生产品质和生产效率、降低了公司库存和促进了公司节能降耗... 主要分析了企业DVD生产管理的实际情况和RFID应用于DVD生产系统的优势,提出了构筑基于REID技术来采集实时生产数据的生产执行系统,从而解决企业的许多生产性问题,提高了企业的生产品质和生产效率、降低了公司库存和促进了公司节能降耗。实际的效果可以看出整合RFID技术的生产执行系统可以弥补企业计划层和生产控制层的数据断层,使企业更加有效地控制和组织生产,实现企业信息一体化。 展开更多
关键词 RFID MES DVD生产管理
在线阅读 下载PDF
基于优先级时间Petri网的实时嵌入式多核系统分析 被引量:1
10
作者 张凯文 刘关俊 +4 位作者 孙彦韬 李晓锋 关健 解毅 顾斌 《软件学报》 EI CSCD 北大核心 2024年第9期4123-4140,共18页
已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应... 已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应用;(2)没有实现从任务依赖图到点区间优先级时间Petri网的自动转化,不便于工程设计人员使用;(3)没有考虑任务间互斥访问共享变量的情况.为此,定义了优先级时间Petri网(Pri-TPN)以弥补第1个不足;定义带有资源分配与优先级的任务依赖图(TDG-RAP)以弥补第3个不足;给出从TDG-RAP到Pri-TPN的转化规则与算法以弥补第2个不足,以及基于Pri-TPN分析任务最坏执行时间与系统死锁的算法;开发工具软件,方便工程设计人员使用. 展开更多
关键词 实时嵌入式多核系统 优先级时间Petri网 可达图 任务依赖图 最坏执行时间(WCET) 死锁
在线阅读 下载PDF
磁浮列车监控系统用户界面生成技术
11
作者 刘文 陈永生 《计算机应用》 CSCD 北大核心 2010年第12期235-238,共4页
目前的磁浮列车监控系统需要根据特定的线路开发特定的系统。为了解决这一问题,提出利用XML数据交换标准结合组件化技术描述站场图。这种方法将整个系统划分为逻辑层与表示层,磁浮列车监控系统根据选择的XML描述文件和组件动态的生成相... 目前的磁浮列车监控系统需要根据特定的线路开发特定的系统。为了解决这一问题,提出利用XML数据交换标准结合组件化技术描述站场图。这种方法将整个系统划分为逻辑层与表示层,磁浮列车监控系统根据选择的XML描述文件和组件动态的生成相应的用户界面。采用这种方法的磁浮列车监控系统无需重新编译就可以自动适应不同的线路情况。 展开更多
关键词 列车自动监控系统 用户界面 可扩展标记语言 组件技术
在线阅读 下载PDF
随机任务在云计算平台中能耗的优化管理方法 被引量:71
12
作者 谭一鸣 曾国荪 王伟 《软件学报》 EI CSCD 北大核心 2012年第2期266-278,共13页
针对云计算系统在运行过程中由于计算节点空闲而产生大量空闲能耗,以及由于不匹配任务调度而产生大量"奢侈"能耗的能耗浪费问题,提出一种通过任务调度方式的能耗优化管理方法.首先,用排队模型对云计算系统进行建模,分析云计... 针对云计算系统在运行过程中由于计算节点空闲而产生大量空闲能耗,以及由于不匹配任务调度而产生大量"奢侈"能耗的能耗浪费问题,提出一种通过任务调度方式的能耗优化管理方法.首先,用排队模型对云计算系统进行建模,分析云计算系统的平均响应时间和平均功率,建立云计算系统的能耗模型.然后提出基于大服务强度和小执行能耗的任务调度策略,分别针对空闲能耗和"奢侈"能耗进行优化控制.基于该调度策略,设计满足性能约束的最小期望执行能耗调度算法ME3PC(minimum expectation execution energy with performance constraints).实验结果表明,该算法在保证执行性能的前提下,可大幅度降低云计算系统的能耗开销. 展开更多
关键词 绿色云计算 随机任务 能耗管理 任务调度 排队论
在线阅读 下载PDF
粒计算的集合论描述 被引量:55
13
作者 苗夺谦 徐菲菲 +1 位作者 姚一豫 魏莱 《计算机学报》 EI CSCD 北大核心 2012年第2期351-363,共13页
粒计算的形式化研究一直没有被仔细讨论.文中在集合论框架下,对粒计算做了系统研究,给出了粒度空间的三层模型(论域,基,粒结构).借用逻辑语言L判定粒的可定义性,将经典粗糙集通过此模型重新解释.根据模型中从基到粒结构不同的构造规则,... 粒计算的形式化研究一直没有被仔细讨论.文中在集合论框架下,对粒计算做了系统研究,给出了粒度空间的三层模型(论域,基,粒结构).借用逻辑语言L判定粒的可定义性,将经典粗糙集通过此模型重新解释.根据模型中从基到粒结构不同的构造规则,引出并可约和交可约粒度空间的定义,分别讨论了不同粒度空间下覆盖、基和粒结构的关系,从而给出从覆盖求基的方法;进一步,利用子系统表示方法对扩展粗糙集以及一般的交可约与并可约空间的上下近似进行了研究,分析了现有的4种基于覆盖的粗糙集模型的合理性;研究了形式概念分析以及知识空间的粒度空间模型,给出这两种理论中上下近似的概念. 展开更多
关键词 粒计算 粒度空间 粗糙集 形式概念分析 知识空间
在线阅读 下载PDF
区间值信息系统的知识约简 被引量:52
14
作者 张楠 苗夺谦 岳晓冬 《计算机研究与发展》 EI CSCD 北大核心 2010年第8期1362-1371,共10页
知识约简是粗糙集理论的重要研究内容之一.传统的知识约简主要针对单值信息系统,但在许多实际问题中,信息系统中的数据往往以区间值的形式存在,因此,区间值信息系统的知识约简研究具有重要意义.现有工作中,论域的分类结果存在冗余度大... 知识约简是粗糙集理论的重要研究内容之一.传统的知识约简主要针对单值信息系统,但在许多实际问题中,信息系统中的数据往往以区间值的形式存在,因此,区间值信息系统的知识约简研究具有重要意义.现有工作中,论域的分类结果存在冗余度大、误分率高等问题.针对上述问题,在区间值信息系统中引入了α-极大相容类的概念,并提出了新的粗糙上下近似算子,α-极大相容类的采用有效地提高了分类和粗糙近似精度.最后,给出了区间值信息系统知识约简的定义和相应区分函数的计算方法,为区间值信息系统的知识获取提供了一条新的途径. 展开更多
关键词 区间值信息系统 相似率 α-极大相容类 粗糙近似 知识约简
在线阅读 下载PDF
P2P网络中防止欺骗行为的一种信任度计算方法 被引量:10
15
作者 鲍宇 曾国荪 +2 位作者 曾连荪 陈波 王伟 《通信学报》 EI CSCD 北大核心 2008年第10期215-222,共8页
P2P网络节点之间可信性问题处理常基于信誉,但对其中交易记录的时效性,节点其他行为和性能考虑很少。因此对信任评价中的欺骗行为进行分析,将推荐行为单独考虑,弥补计算节点可信度时的不足。其次,在信任评价中引入时间衰减因子,按行为... P2P网络节点之间可信性问题处理常基于信誉,但对其中交易记录的时效性,节点其他行为和性能考虑很少。因此对信任评价中的欺骗行为进行分析,将推荐行为单独考虑,弥补计算节点可信度时的不足。其次,在信任评价中引入时间衰减因子,按行为区分恶意节点。仿真表明可以降低恶意串通和间谍攻击,提高下载中有效文件的比率。 展开更多
关键词 P2P网络 信誉评价 欺骗行为 时间衰减 信任度
在线阅读 下载PDF
移动边缘计算中资源受限的串行任务卸载策略 被引量:27
16
作者 刘伟 黄宇成 +1 位作者 杜薇 王伟 《软件学报》 EI CSCD 北大核心 2020年第6期1889-1908,共20页
云计算和移动互联网的不断融合,促进了移动云计算的产生和发展,但是其难以满足终端应用对带宽和延迟的需求.移动边缘计算在靠近用户的网络边缘提供计算和存储能力,通过计算卸载,将终端任务迁移至边缘服务器上面执行,能够有效降低应用延... 云计算和移动互联网的不断融合,促进了移动云计算的产生和发展,但是其难以满足终端应用对带宽和延迟的需求.移动边缘计算在靠近用户的网络边缘提供计算和存储能力,通过计算卸载,将终端任务迁移至边缘服务器上面执行,能够有效降低应用延迟和节约终端能耗.然而,目前针对移动边缘环境任务卸载的主要工作大多考虑单个移动终端和边缘服务器资源无限的场景,这在实际应用中存在一定的局限性.因此,针对边缘服务器资源受限下的任务卸载问题,提出了一种面向多用户的串行任务动态卸载策略(multi-user serial task dynamic offloading strategy,简称MSTDOS).该策略以应用的完成时间和移动终端的能量消耗作为评价指标,遵循先来先服务的原则,采用化学反应优化算法求解,充分考虑多用户请求对服务器资源的竞争关系,动态调整选择策略,为应用做出近似最优的卸载决策.仿真结果表明,MSTDOS策略比已有算法能够取得更好的应用性能. 展开更多
关键词 移动边缘计算 资源受限 串行任务 任务卸载 资源分配
在线阅读 下载PDF
基于大数据的铁路信号系统数据存储与分析系统设计与实现 被引量:15
17
作者 王伟 廖正宇 +1 位作者 张辉 郭栋 《信息网络安全》 CSCD 2017年第1期29-37,共9页
文章基于Hadoop技术,设计并实现了一个铁路信号数据存储与分析系统。首先,文章研究了Hadoop平台下分布式系统工作原理、HDFS分布式文件管理作用机制、MapReduce模型。然后,针对信号检测大数据设计相关文件解析接口,处理包括txt和CSV格... 文章基于Hadoop技术,设计并实现了一个铁路信号数据存储与分析系统。首先,文章研究了Hadoop平台下分布式系统工作原理、HDFS分布式文件管理作用机制、MapReduce模型。然后,针对信号检测大数据设计相关文件解析接口,处理包括txt和CSV格式的数据包;利用HDFS分布式文件管理系统完成对数据的存储和管理;根据数据存储结构设计HBase表,建立快速存取查询索引,并编写HBase操作的各式API。最后,利用Ext JS搭建前端展示页面,通过服务器与Hadoop平台通信完成电气特性分析和日志分析,并将数据处理结果以列表、曲线图和散点图的可视化方式展示在前端;同时完成了对海量数据的挖掘和可视化展现工作。 展开更多
关键词 大数据 HADOOP MAPREDUCE 数据存储与分析 铁路信号系统
在线阅读 下载PDF
软件体系结构动态演化的条件超图文法及分析 被引量:16
18
作者 徐洪珍 曾国荪 陈波 《软件学报》 EI CSCD 北大核心 2011年第6期1210-1223,共14页
针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应... 针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应用于软件体系结构动态演化.在此基础上,建立软件体系结构动态演化的一致性条件定义,给出动态演化的一致性判定方法.最后,设计实验进行分析,验证了方法的有效性. 展开更多
关键词 软件演化 体系结构 约束超图 条件超图文法 一致性
在线阅读 下载PDF
一种面向云构软件的云操作系统 被引量:12
19
作者 王伟 胡长武 +3 位作者 郭栋 张静轩 常进达 张礼庆 《计算机科学》 CSCD 北大核心 2017年第11期33-40,共8页
云计算和互联网的兴起不仅带来了数据中心的变化,也带来了软件的开发、部署、运维和使用上的变革。随着当前云计算和网络环境的不断完善,传统软件如何更好地利用云计算平台并服务于终端用户是计算机软件领域的研究热点,具有广泛的现实... 云计算和互联网的兴起不仅带来了数据中心的变化,也带来了软件的开发、部署、运维和使用上的变革。随着当前云计算和网络环境的不断完善,传统软件如何更好地利用云计算平台并服务于终端用户是计算机软件领域的研究热点,具有广泛的现实意义。近年来,随着实时互联网、微服务、云端渲染、容器等技术和理念发展的不断深入,软件(Software)形态将进一步朝着云件(Cloudware)形态的方向发展。文中主要探究了在云计算和互联网环境下"云件"这一新型软件范型,并针对该软件范型提出了一种新型的云操作系统:GalaxyOS。GalaxyOS可以在不修改传统软件的情况下直接将软件部署到云端运行,并通过浏览器实时投射到终端用户,实现传统软件的新型服务模式。通过采用微服务架构设计,使得该云操作系统具有较好的可扩展、容灾性和灵活配置等特性。通过对实际的GalaxyOS原型系统的实现和交互时延及资源占用进行实验,验证了所提方法在用户体验上的有效性。 展开更多
关键词 云计算 云件 云操作系统 用户体验
在线阅读 下载PDF
面向应用和实践创新的“数据库技术与应用”课程教学模式探究 被引量:12
20
作者 袁科萍 龚沛曾 杨志强 《中国大学教学》 CSSCI 北大核心 2011年第11期37-39,32,共4页
阐述了以培养学生实践能力、创新能力、综合能力为目标的"数据库技术与应用"课程的教学改革与实践。通过对课程教学理念、教学目标、教学设计、考核方式、实践平台的系统改革以及鼓励学生参加课外竞赛,培养学生学以致用、勇... 阐述了以培养学生实践能力、创新能力、综合能力为目标的"数据库技术与应用"课程的教学改革与实践。通过对课程教学理念、教学目标、教学设计、考核方式、实践平台的系统改革以及鼓励学生参加课外竞赛,培养学生学以致用、勇于实践、大胆创新的意识和能力,让学生真正成为学习和实践过程的主体。 展开更多
关键词 数据库技术与应用 计算机基础课程 面向应用 实践能力 创新能力 教学模式
在线阅读 下载PDF
上一页 1 2 24 下一页 到第
使用帮助 返回顶部