期刊文献+
共找到688篇文章
< 1 2 35 >
每页显示 20 50 100
计算机科学与技术卓越课程行动计划实践——以同济大学计算机系统级课程为例 被引量:3
1
作者 王伟 张军旗 +2 位作者 江建慧 王力生 关佶红 《计算机教育》 2013年第2期66-69,共4页
介绍同济大学计算机科学与技术卓越课程行动计划,对计算机科学与技术系已有课程进行凝练和深化,提出"计算机系统级课程"的教学改革方案。通过两级基础深化、知识体系构建、实践能力培养和前沿技术追踪,将计算思维融入课程中,... 介绍同济大学计算机科学与技术卓越课程行动计划,对计算机科学与技术系已有课程进行凝练和深化,提出"计算机系统级课程"的教学改革方案。通过两级基础深化、知识体系构建、实践能力培养和前沿技术追踪,将计算思维融入课程中,取得若干教学改革成果。 展开更多
关键词 卓越课程 计算机系统 计算思维
下载PDF
基于结构化的计算机双语与卓越课程设计——同济大学中芬合作师资培训项目实践 被引量:1
2
作者 张军旗 王伟 +1 位作者 向阳 关佶红 《计算机教育》 2013年第11期1-5,共5页
以参加同济大学与芬兰阿尔托大学"中芬合作师资培训项目"的经历和基于结构化的计算机双语与卓越课程设计为背景,着重阐述实际运用芬兰师资创新机制,进行适当改良并获得较好效果的若干尝试。
关键词 优秀青年教师 卓越工程师 中芬合作师资培训
下载PDF
大学计算机基础教学中的计算思维培养 被引量:241
3
作者 龚沛曾 杨志强 《中国大学教学》 CSSCI 北大核心 2012年第5期51-54,共4页
首先仔细地分析了计算思维的定义,提出了计算思维由意识、方法和能力三个层次的内容组成;然后指出了计算机基础教学中计算思维的无意识、潜移默化教学的现状;最后提出计算机基础教学课程体系中各门课程联动改革的方案。
关键词 计算思维 大学计算机基础 程序设计
下载PDF
基于源码查重比对的计算机专业教学评价系统开发研究
4
作者 秦国锋 王睿晗 +2 位作者 任成琨 郝泳涛 王力生 《中国教育技术装备》 2022年第3期32-35,共4页
为解决学生递交的计算机课程代码管理和审核问题,构建本地哈希指纹算法和Spring Cloud框架的查重比对模型,开发计算机专业课程教学评价系统,其中包含按照课程和小节分类的文件管理和代码重复率计算。哈希指纹算法是通过哈希函数和滑动... 为解决学生递交的计算机课程代码管理和审核问题,构建本地哈希指纹算法和Spring Cloud框架的查重比对模型,开发计算机专业课程教学评价系统,其中包含按照课程和小节分类的文件管理和代码重复率计算。哈希指纹算法是通过哈希函数和滑动窗口计算出文件一系列的哈希值,通过比较哈希值来计算出文件之间的重复率,从而为教师对学生代码的评价提供参考。 展开更多
关键词 在线课程管理 查重比对算法 网络教学平台 k-gram算法
下载PDF
以计算思维为切入点的计算机基础课程联动改革与实践 被引量:29
5
作者 龚沛曾 杨志强 +1 位作者 朱君波 高枚 《中国大学教学》 CSSCI 北大核心 2015年第11期53-56,共4页
如何有效地在计算机基础课程中贯彻以计算思维为切入点的教学改革,是当前计算机基础教学改革研究的内容之一。本文提出了计算思维的三个层次和课程体系的关系,并实施了两门基础课程联动改革,更新课程内容体系,精选案例和实验方案,增加了... 如何有效地在计算机基础课程中贯彻以计算思维为切入点的教学改革,是当前计算机基础教学改革研究的内容之一。本文提出了计算思维的三个层次和课程体系的关系,并实施了两门基础课程联动改革,更新课程内容体系,精选案例和实验方案,增加了"专题"模块,采用多元化教学模式,使得计算思维教学改革有效落地,培养了学生的计算思维能力和解决问题的能力。 展开更多
关键词 计算思维 大学计算机基础 MOOC
下载PDF
计算机联锁软件制式的安全性评价 被引量:3
6
作者 郦萌 徐翥 王铁江 《铁道学报》 EI CAS CSCD 北大核心 2004年第1期59-63,共5页
计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能... 计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息 ,以补充“合格”或“不合格”两个评价结论过于粗略的不足。本文首先根据严重性和诱发可能性为每个安全性问题 (即软件缺陷 )定义了一个安全性指数 ,然后提出针对制式测试的安全性评价指标———联锁软件安全性问题处理完善性 ,用以反映联锁软件的开发水平。这部分包括评价模型和方法 ,特别是对安全性经验关系系统到数值关系系统的映射 ,进行了一致性的证明。文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例 。 展开更多
关键词 计算机 联锁 软件 安全性苛求 评价
下载PDF
基于ObjectARX和ADO.NET的列车线路图计算机辅助设计 被引量:2
7
作者 张晓露 陈永生 郭玉臣 《计算机应用》 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
相似度计算在智能答疑系统中的研究及应用 被引量:11
8
作者 康文宁 杨志强 《计算机技术与发展》 2010年第2期71-74,共4页
随着远程教育的不断发展,智能答疑系统成为现代教育的一个必要组成部分,它是人工智能、信息检索和自然语言处理等技术的结合,无论是基于知识库还是基于自由文本的答疑系统其智能性和准确率都受到语句相似度计算这一关键技术的影响。为... 随着远程教育的不断发展,智能答疑系统成为现代教育的一个必要组成部分,它是人工智能、信息检索和自然语言处理等技术的结合,无论是基于知识库还是基于自由文本的答疑系统其智能性和准确率都受到语句相似度计算这一关键技术的影响。为了提高智能答疑系统的准确率和智能性,采用了基于权重的语句特征向量模型。实验表明基于权重的语句相似度计算方法有较高的准确率,从而使得智能答疑系统的效率得到了一定的提高。 展开更多
关键词 智能答疑系统 相似度计算 权重
下载PDF
芯片级系统的在线测试技术 被引量:2
9
作者 江建慧 员春欣 《计算机研究与发展》 EI CSCD 北大核心 2004年第9期1593-1603,共11页
在线测试是基本容错技术之一 把在线测试技术概括为差错控制码、重复与比较、在线监督等 3类 ,对其发展历史进行了回顾 ,重点是 2 0世纪 90年代以来的成果 ,包括芯片设计方案、原型及产品 研究结果表明 。
关键词 在线测试 高性能处理机 容错计算 VLSI芯片
下载PDF
异构重构计算系统应用任务调度的性能分析 被引量:1
10
作者 谭一鸣 曾国荪 郝水侠 《小型微型计算机系统》 CSCD 北大核心 2012年第2期404-408,共5页
异构重构计算是目前高性能计算的研究热点.由于应用任务的异构性,以及体系结构的可重构性,导致异构重构计算的性能分析非常困难,现有的并行计算性能分析方法不再适用.本文提出一种基于应用任务调度的性能分析方法,该方法以异构重构计算... 异构重构计算是目前高性能计算的研究热点.由于应用任务的异构性,以及体系结构的可重构性,导致异构重构计算的性能分析非常困难,现有的并行计算性能分析方法不再适用.本文提出一种基于应用任务调度的性能分析方法,该方法以异构重构计算系统模型和应用任务模型为基础,利用异构匹配、重构耦合矩阵,实现应用任务和处理部件的优化选择和耦合匹配,通过调度算法求出应用任务在异构重构计算系统中的完成时间,并进行了实例分析. 展开更多
关键词 异构重构计算 性能分析 异构匹配矩阵 重构耦合矩阵
下载PDF
一种基于可信计算技术的源代码安全审查模型 被引量:2
11
作者 张毅 王伟 +1 位作者 王刘程 郝美慈 《信息网络安全》 2014年第10期1-6,共6页
在现阶段的大规模软件工程开发中,源代码数量已经变得越来越庞大,动辄就是数百万,甚至是数千万行以上。随着源代码数量的激增,代码的逻辑越来越复杂,相互之间的调用关系越来越繁复,代码的安全漏洞也越来越容易出现。常规的人工检查和调... 在现阶段的大规模软件工程开发中,源代码数量已经变得越来越庞大,动辄就是数百万,甚至是数千万行以上。随着源代码数量的激增,代码的逻辑越来越复杂,相互之间的调用关系越来越繁复,代码的安全漏洞也越来越容易出现。常规的人工检查和调试已经完全不能满足庞大的系统软件的审查需求。此时,常在源代码正式发布之前,使用安全代码审查机制来快速找出系统中绝大多数的安全漏洞。针对这一问题,文章结合传统的代码安全审查原理和当前流行的可信计算技术,提出了一种基于可信计算技术的源代码安全审查模型。在代码的安全审查过程中,利用可信计算的可信度量原理的审查方法,结合运用安全操作系统的访问控制机制,检测出源代码中可能不符合可信计算理论的系统资源访问,防止主体触发来源不可信或已被篡改的代码,从而实现对各种已知和未知恶意代码的防御,让最终的代码在运行时符合可信计算标准。该模型通过将不同的软件进行类型分级,从而确定不同软件对系统资源的不同使用权限。使用文中规范开发的代码遵循可信计算标准,可以杜绝恶意代码对系统资源的不安全访问。 展开更多
关键词 安全审查 代码评审 可信计算 可信度量
下载PDF
异构计算中体系结构感知的并行任务分簇方法
12
作者 郝水侠 曾国荪 《计算机科学》 CSCD 北大核心 2013年第3期121-125,共5页
异构计算是高效能计算发展的必然趋势,针对异构计算运行中并行任务和体系结构难匹配的问题,提出了实现并行任务和体系结构匹配的并行任务分簇方法。首先给出效能的概念及异构计算中体系结构感知的分簇问题,然后从理论上分析了异构匹配... 异构计算是高效能计算发展的必然趋势,针对异构计算运行中并行任务和体系结构难匹配的问题,提出了实现并行任务和体系结构匹配的并行任务分簇方法。首先给出效能的概念及异构计算中体系结构感知的分簇问题,然后从理论上分析了异构匹配与效能的关系,提出了实现异构计算匹配和结构匹配的分簇理论,目的是发挥异构计算中机器的潜能,协同处理并行任务,实现高效能。在此基础上,给出相应的算法。最后通过仿真实验说明,该方法可通过簇图与体系结构的匹配缩短通信开销在执行时间上所占的比例,从而缩短并行执行时间,以提高系统利用率,最终实现异构计算的高效能。 展开更多
关键词 异构计算 并行任务匹配 体系结构感知 分簇
下载PDF
IBM UNIX服务器虚拟化环境下系统高可用技术的研究与实现 被引量:1
13
作者 张博 《通讯世界》 2015年第12期287-287,共1页
1虚拟化与系统高可用技术1.1系统高可用技术概念高可用为High Availability的缩写。在现代生活中,计算机系统被广泛地应用于各个方面,无论是在军事、金融、电信等关系到国计民生的关键性部门和行业,还是在平时的日常生活中,都广泛... 1虚拟化与系统高可用技术1.1系统高可用技术概念高可用为High Availability的缩写。在现代生活中,计算机系统被广泛地应用于各个方面,无论是在军事、金融、电信等关系到国计民生的关键性部门和行业,还是在平时的日常生活中,都广泛地使用计算机系统处理信息。随着计算机应用的不断深入,人们对计算机系统可用性的要求越来越高。人们不希望能够保障关键业务数据信息的完整,而且希望网络应用能够不间断或者在最短的时间内自动恢复,这就是所谓的计算机系统的高可用性问题。 展开更多
关键词 计算机系统 高可用技术 UNIX服务器 虚拟化 IBM 计算机应用 环境 现代生活
下载PDF
基于RFID技术的DVD生产执行系统(MES)设计 被引量:1
14
作者 施佳亮 王晓国 《计算机应用与软件》 CSCD 北大核心 2007年第12期208-209,214,共3页
主要分析了企业DVD生产管理的实际情况和RFID应用于DVD生产系统的优势,提出了构筑基于REID技术来采集实时生产数据的生产执行系统,从而解决企业的许多生产性问题,提高了企业的生产品质和生产效率、降低了公司库存和促进了公司节能降耗... 主要分析了企业DVD生产管理的实际情况和RFID应用于DVD生产系统的优势,提出了构筑基于REID技术来采集实时生产数据的生产执行系统,从而解决企业的许多生产性问题,提高了企业的生产品质和生产效率、降低了公司库存和促进了公司节能降耗。实际的效果可以看出整合RFID技术的生产执行系统可以弥补企业计划层和生产控制层的数据断层,使企业更加有效地控制和组织生产,实现企业信息一体化。 展开更多
关键词 RFID MES DVD生产管理
下载PDF
磁浮列车监控系统用户界面生成技术
15
作者 刘文 陈永生 《计算机应用》 CSCD 北大核心 2010年第12期235-238,共4页
目前的磁浮列车监控系统需要根据特定的线路开发特定的系统。为了解决这一问题,提出利用XML数据交换标准结合组件化技术描述站场图。这种方法将整个系统划分为逻辑层与表示层,磁浮列车监控系统根据选择的XML描述文件和组件动态的生成相... 目前的磁浮列车监控系统需要根据特定的线路开发特定的系统。为了解决这一问题,提出利用XML数据交换标准结合组件化技术描述站场图。这种方法将整个系统划分为逻辑层与表示层,磁浮列车监控系统根据选择的XML描述文件和组件动态的生成相应的用户界面。采用这种方法的磁浮列车监控系统无需重新编译就可以自动适应不同的线路情况。 展开更多
关键词 列车自动监控系统 用户界面 可扩展标记语言 组件技术
下载PDF
基于优先级时间Petri网的实时嵌入式多核系统分析
16
作者 张凯文 刘关俊 +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
面向英语阅读测试的采用摘要和句法技术的首个提问生成方法
17
作者 张懿 曾国荪 《计算机科学与应用》 2024年第8期207-220,共14页
在中小学英语教学中,阅读理解测试的首个提问是至关重要的,以其作为考察切入点能够引导后续问题的提出,以便检验学生理解能力和逻辑思维能力。现有的提问生成方法产生的问句内容发散,难以达到教学考察目的,并且严重依赖基础知识库和计... 在中小学英语教学中,阅读理解测试的首个提问是至关重要的,以其作为考察切入点能够引导后续问题的提出,以便检验学生理解能力和逻辑思维能力。现有的提问生成方法产生的问句内容发散,难以达到教学考察目的,并且严重依赖基础知识库和计算资源。为此,提出采用摘要和句法技术,以低算力高效率的方式实现首个提问生成。该方法从英语阅读正文中,选择核心摘要句以便聚焦正文主旨,并通过转译规则改写摘要语句的表述方式。对于转译后的核心摘要句,分析其主谓宾成分信息,确定关注对象,匹配相应的疑问词,进而根据语法规则生成首个提问。实验表明,提出的方法的语义相似度Bert Score和精确率BLRU-4分别达到了67.15和16.07,在句法、语义和可回答性方面均优于基线方法,能够有效生成适配于英语教学场景的首次提问。In basic English teaching, the first question in reading tests is crucial, which acts as an examination entry point leading to subsequent questions and testing students’ comprehension and logical thinking skills. Existing methods generate questions that are divergent in content, hardly meaningful for pedagogical investigation, and heavily dependent on knowledge base and computational resources. Therefore, this paper proposed a method using summarization and syntax to achieve first question generation in a low-computing and high-efficient manner. The method selected key summary sentence from the English reading text to focus on the main idea of the text, and changed its presentation by applying translation rules. For the paraphrased key summary sentence, its subject-predicate-object components was analyzed to determine the subject of concern, matched the corresponding question words, and then generated the first question according to the grammatical rules. Experimental results show that the semantic similarity Bert Score and accuracy BLRU-4 of proposed method reach 67.15 and 16.07, respectively, which outperforms the baseline method in terms of syntax, semantics, and answerability. Experiments also demonstrate that the proposed method can effectively generate first questions adapted to English teaching scenarios. 展开更多
关键词 问答系统 英语阅读测试 文本摘要 句法分析 提问生成
下载PDF
随机任务在云计算平台中能耗的优化管理方法 被引量:71
18
作者 谭一鸣 曾国荪 王伟 《软件学报》 EI CSCD 北大核心 2012年第2期266-278,共13页
针对云计算系统在运行过程中由于计算节点空闲而产生大量空闲能耗,以及由于不匹配任务调度而产生大量"奢侈"能耗的能耗浪费问题,提出一种通过任务调度方式的能耗优化管理方法.首先,用排队模型对云计算系统进行建模,分析云计... 针对云计算系统在运行过程中由于计算节点空闲而产生大量空闲能耗,以及由于不匹配任务调度而产生大量"奢侈"能耗的能耗浪费问题,提出一种通过任务调度方式的能耗优化管理方法.首先,用排队模型对云计算系统进行建模,分析云计算系统的平均响应时间和平均功率,建立云计算系统的能耗模型.然后提出基于大服务强度和小执行能耗的任务调度策略,分别针对空闲能耗和"奢侈"能耗进行优化控制.基于该调度策略,设计满足性能约束的最小期望执行能耗调度算法ME3PC(minimum expectation execution energy with performance constraints).实验结果表明,该算法在保证执行性能的前提下,可大幅度降低云计算系统的能耗开销. 展开更多
关键词 绿色云计算 随机任务 能耗管理 任务调度 排队论
下载PDF
粒计算的集合论描述 被引量:54
19
作者 苗夺谦 徐菲菲 +1 位作者 姚一豫 魏莱 《计算机学报》 EI CSCD 北大核心 2012年第2期351-363,共13页
粒计算的形式化研究一直没有被仔细讨论.文中在集合论框架下,对粒计算做了系统研究,给出了粒度空间的三层模型(论域,基,粒结构).借用逻辑语言L判定粒的可定义性,将经典粗糙集通过此模型重新解释.根据模型中从基到粒结构不同的构造规则,... 粒计算的形式化研究一直没有被仔细讨论.文中在集合论框架下,对粒计算做了系统研究,给出了粒度空间的三层模型(论域,基,粒结构).借用逻辑语言L判定粒的可定义性,将经典粗糙集通过此模型重新解释.根据模型中从基到粒结构不同的构造规则,引出并可约和交可约粒度空间的定义,分别讨论了不同粒度空间下覆盖、基和粒结构的关系,从而给出从覆盖求基的方法;进一步,利用子系统表示方法对扩展粗糙集以及一般的交可约与并可约空间的上下近似进行了研究,分析了现有的4种基于覆盖的粗糙集模型的合理性;研究了形式概念分析以及知识空间的粒度空间模型,给出这两种理论中上下近似的概念. 展开更多
关键词 粒计算 粒度空间 粗糙集 形式概念分析 知识空间
下载PDF
区间值信息系统的知识约简 被引量:51
20
作者 张楠 苗夺谦 岳晓冬 《计算机研究与发展》 EI CSCD 北大核心 2010年第8期1362-1371,共10页
知识约简是粗糙集理论的重要研究内容之一.传统的知识约简主要针对单值信息系统,但在许多实际问题中,信息系统中的数据往往以区间值的形式存在,因此,区间值信息系统的知识约简研究具有重要意义.现有工作中,论域的分类结果存在冗余度大... 知识约简是粗糙集理论的重要研究内容之一.传统的知识约简主要针对单值信息系统,但在许多实际问题中,信息系统中的数据往往以区间值的形式存在,因此,区间值信息系统的知识约简研究具有重要意义.现有工作中,论域的分类结果存在冗余度大、误分率高等问题.针对上述问题,在区间值信息系统中引入了α-极大相容类的概念,并提出了新的粗糙上下近似算子,α-极大相容类的采用有效地提高了分类和粗糙近似精度.最后,给出了区间值信息系统知识约简的定义和相应区分函数的计算方法,为区间值信息系统的知识获取提供了一条新的途径. 展开更多
关键词 区间值信息系统 相似率 α-极大相容类 粗糙近似 知识约简
下载PDF
上一页 1 2 35 下一页 到第
使用帮助 返回顶部