期刊文献+
共找到173篇文章
< 1 2 9 >
每页显示 20 50 100
切实搞好计算机实验室的综合管理 被引量:8
1
作者 黄立胜 《实验室研究与探索》 CAS 2001年第3期92-93,97,共3页
介绍了计算机实验室如何进行综合管理 ,高水平。
关键词 计算机实验室 综合管理 软件维护 硬件 维修 实验内容改革 安全管理
在线阅读 下载PDF
基于雾计算的可信传感云研究进展 被引量:15
2
作者 王田 沈雪微 +3 位作者 罗皓 陈柏生 王国军 贾维嘉 《通信学报》 EI CSCD 北大核心 2019年第3期170-181,共12页
云计算技术与无线传感器网络结合所产生的传感云(sensor-cloud)系统已经逐渐成为研究的热点。传感云在云计算平台的支撑下扩展了传统传感网的服务能力。对目前主流传感云系统进行了充分调研,总结了传感云系统的特点和发展规律,发现系统... 云计算技术与无线传感器网络结合所产生的传感云(sensor-cloud)系统已经逐渐成为研究的热点。传感云在云计算平台的支撑下扩展了传统传感网的服务能力。对目前主流传感云系统进行了充分调研,总结了传感云系统的特点和发展规律,发现系统中存在的可信问题将直接影响到上层数据保护和应用;揭示了已有方案难以提供可信传感云服务是因为底层无线传感网能量不足、计算能力弱、易故障等,以及云计算模式缺乏对底层传感器节点和数据的直接管理等;构建了基于雾计算模式的可信传感云实现框架,设计了可信评估、可信数据收集、可信存储等关键技术,也为后续研究提出可供借鉴的新思路。 展开更多
关键词 传感云 无线传感网 可信云计算 雾计算
在线阅读 下载PDF
双线性对有效计算研究进展 被引量:22
3
作者 赵昌安 张方国 《软件学报》 EI CSCD 北大核心 2009年第11期3001-3009,共9页
近年来,双线性对获得了广泛的密码应用.实现这些应用的效率,取决于双线性对的计算速度.分类回顾了双线性对有效计算方面的已有进展,并提出了进一步工作的可能性.
关键词 公钥密码学 基于双线性对的密码系统 椭圆曲线 双线性对计算 有效算法
在线阅读 下载PDF
教育数学思想在《中学数学研究》课程改革中的实践研究 被引量:3
4
作者 肖宏治 梅俊雷 +1 位作者 李艳琴 饶永生 《数学教育学报》 CSSCI 北大核心 2017年第4期97-102,共6页
改造数学使之更适宜教学是教育数学的任务.张景中院士主持开发的"超级画板"为教育数学思想的实践提供了强有力的支撑.在教育数学思想指导下,将"超级画板"运用于高师数学专业《中学数学研究》课程教学改革实践,并渗透教育数学思想,... 改造数学使之更适宜教学是教育数学的任务.张景中院士主持开发的"超级画板"为教育数学思想的实践提供了强有力的支撑.在教育数学思想指导下,将"超级画板"运用于高师数学专业《中学数学研究》课程教学改革实践,并渗透教育数学思想,以函数为例引导学生进行了多层次的探索与实践,使学生对知识的形成获得了良好的认知体验,对相关知识的掌握更加牢固,对不同知识之间相互联系的理解更加深入,有效地提升了学生的数学思维水平.《中学数学研究》的教学应该做到:突出"研究"的味道;探寻不同数学知识之间的结合点;发挥超级画板的优势;转变思维方式以提高效率. 展开更多
关键词 教育数学思想 中学数学研究 课程改革实践 超级画板
在线阅读 下载PDF
一种结构化P2P协议中的缓存计算模型 被引量:1
5
作者 熊伟 谢冬青 陆绍飞 《小型微型计算机系统》 CSCD 北大核心 2009年第7期1314-1320,共7页
P2P系统是一种分布式系统,降低系统负载对提高P2P系统的扩展性具有重要意义.目前结构化P2P协议主要利用缓存方法解决查询热点问题,这些缓存方法对数据缓存后的收益无法预测,是一种较盲目的缓存,往往导致系统负载加重.本文提出一种结构化... P2P系统是一种分布式系统,降低系统负载对提高P2P系统的扩展性具有重要意义.目前结构化P2P协议主要利用缓存方法解决查询热点问题,这些缓存方法对数据缓存后的收益无法预测,是一种较盲目的缓存,往往导致系统负载加重.本文提出一种结构化P2P协议中的缓存计算模型,该模型以降低系统负载为目标,节点采用一种文件访问统计方法跟踪查询本地文件的消息途经邻居节点的历史次数,根据历史统计记录预测缓存该文件到邻居节点可能减少的查询负载,然后与缓存后可能产生的更新开销对比,进而确定是否缓存文件到相应的邻居节点.实验表明,该缓存计算模型可以有效降低系统负载. 展开更多
关键词 P2P 结构化覆盖网 复制 缓存
在线阅读 下载PDF
试论数学奥林匹克的教育价值 被引量:15
6
作者 朱华伟 《数学教育学报》 北大核心 2007年第2期12-15,共4页
自世界上第一次真正有组织的数学竞赛——匈牙利数学竞赛(1894年)以来,已有一百多年的历史.国际数学奥林匹克已举办了47届,也有四十多年的历史.如今,世界上中学数学教育水平较高的国家大多数举办了数学竞赛,并参加国际数学奥林匹克(IMO)... 自世界上第一次真正有组织的数学竞赛——匈牙利数学竞赛(1894年)以来,已有一百多年的历史.国际数学奥林匹克已举办了47届,也有四十多年的历史.如今,世界上中学数学教育水平较高的国家大多数举办了数学竞赛,并参加国际数学奥林匹克(IMO).数学奥林匹克在其发展的历史上,对于发现和培养青少年数学人才,提高学生学习数学的兴趣和能力,改善学生的思维品质等方面,发挥了积极的作用. 展开更多
关键词 数学奥林匹克 教育价值 兴趣 能力
在线阅读 下载PDF
面向三层C/S结构的软件中间件的构建方法研究 被引量:2
7
作者 谷岩 《计算机应用与软件》 CSCD 北大核心 2003年第10期91-93,共3页
实现三层C/S结构的关键技术是中间件技术 ,将基于JavaBeans组件的中间件组装到分布式应用程序中 ,可以提高应用程序的开发效率。本文给出了利用JavaBeans组件构建中间件的方法和步骤。
关键词 软件中间件 三层C/S结构 可视化组件 JAVABEANS组件
在线阅读 下载PDF
SGARP中符号计算模块的实现及其应用
8
作者 张景中 张传军 +2 位作者 郑焕 饶永生 邹宇 《计算机研究与发展》 EI CSCD 北大核心 2014年第6期1341-1351,共11页
可持续发展的几何自动推理平台(sustainable geometry automated reasoning platform,SGARP)支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为... 可持续发展的几何自动推理平台(sustainable geometry automated reasoning platform,SGARP)支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为进一步提高SGARP的推理能力和扩展其适用范围,提出一种在SGARP中实现符号计算功能的快捷方法,并成功添加了质点法和解析法推理模块.质点法可证明希尔伯特交点类几何命题,解析法能用于辅助证明各种类型有一定难度的几何定理,如著名的Thebault定理.对这两种方法用基于Web的机器证明测试用的几何问题库(thousands of geometric problems for geometric theorem provers,TGTP)中180道几何题进行评估,均在合理时间内给出令人满意的可读机器证明,表明升级后的SGARP能更好地满足用户学习与发展几何机器推理的需求. 展开更多
关键词 可由用户持续发展的几何自动推理平台(SGARP) 几何定理机器证明 符号计算 PYTHON语言 质点法 Thebault定理
在线阅读 下载PDF
MIMO系统中基于贝叶斯的稀疏信道估计算法
9
作者 侯小静 吕治国 +1 位作者 孙泽宇 邢萧飞 《光通信研究》 北大核心 2017年第4期62-65,共4页
针对未知支持集贝叶斯匹配追踪算法中支持集搜索过于复杂的问题,提出一种改进的贝叶斯稀疏信道估计算法。该算法利用信道的稀疏特性来提高信道估计精度,通过计算信道期望来估计高维稀疏信道。为了提高支持集的搜索准确度,改进算法在支... 针对未知支持集贝叶斯匹配追踪算法中支持集搜索过于复杂的问题,提出一种改进的贝叶斯稀疏信道估计算法。该算法利用信道的稀疏特性来提高信道估计精度,通过计算信道期望来估计高维稀疏信道。为了提高支持集的搜索准确度,改进算法在支配支持集的搜索过程中引入了维特比路径译码的思想,保留所有发生概率差异低于门限的路径,并对支持集上的信道估计值进行计算,最后计算出信道期望并作为最后的信道估计值。理论分析和仿真结果都表明,改进算法在降低算法复杂度的同时还保持了较高的估计精度。 展开更多
关键词 贝叶斯估计 压缩感知 维特比译码 贪婪算法 稀疏重建
在线阅读 下载PDF
移动医疗中基于机会计算的安全和隐私保护模型 被引量:5
10
作者 孟大程 罗恩韬 王国军 《小型微型计算机系统》 CSCD 北大核心 2016年第12期2643-2648,共6页
随着智能手机、可穿戴设备和微型植入体传感器设备的发展,为了更好地进行医疗监测服务,并将医疗服务更好地应用于人们的日常生活,基于智能终端的移动医疗研究最近引起很大的关注.然而,移动医疗服务的推动,仍面临包括信息安全和隐私保护... 随着智能手机、可穿戴设备和微型植入体传感器设备的发展,为了更好地进行医疗监测服务,并将医疗服务更好地应用于人们的日常生活,基于智能终端的移动医疗研究最近引起很大的关注.然而,移动医疗服务的推动,仍面临包括信息安全和隐私保护在内的诸多安全问题.在本文中,针对移动医疗中的急救过程,提出基于机会计算的以用户为中心的安全和隐私保护模型.该模型可以在医疗急救中有效地实现以用户为中心的隐私访问控制,并提供高可靠的个人健康信息处理和传输,同时尽量减少在移动医疗急救中的隐私泄露. 展开更多
关键词 微型植入体传感器 移动医疗 机会计算 以用户为中心的隐私访问控制
在线阅读 下载PDF
可搜索加密技术研究综述 被引量:87
11
作者 李经纬 贾春福 +2 位作者 刘哲理 李进 李敏 《软件学报》 EI CSCD 北大核心 2015年第1期109-128,共20页
从可搜索加密的两类基本问题出发,回顾了相关研究历史.介绍了可搜索加密的分类,包括其应用场景和应用模型,并探讨了相应的解决策略,从构造角度,将其分为对称可搜索加密和非对称可搜索加密.基于这种分类,围绕基本定义、典型构造和扩展研... 从可搜索加密的两类基本问题出发,回顾了相关研究历史.介绍了可搜索加密的分类,包括其应用场景和应用模型,并探讨了相应的解决策略,从构造角度,将其分为对称可搜索加密和非对称可搜索加密.基于这种分类,围绕基本定义、典型构造和扩展研究,对可搜索加密相关工作进行了综述.最后,总结和展望了待解决的关键性问题和未来的研究方向.这些工作将对可搜索加密的进一步研究起到一定的促进作用. 展开更多
关键词 可搜索加密 对称可搜索加密 非对称可搜索加密 关键词猜测攻击 云安全
在线阅读 下载PDF
柑橘园土壤墒情远程监控系统设计与实现 被引量:36
12
作者 樊志平 洪添胜 +2 位作者 刘志壮 李加念 文韬 《农业工程学报》 EI CAS CSCD 北大核心 2010年第8期205-210,共6页
针对传统的土壤墒情监测手段存在的监测范围小、采样率低等不足,设计实现了基于ZigBee无线传感网络和J2EE三层B/S架构技术的柑橘园土壤墒情远程监控系统。系统采用具有ZigBee无线数据传输功能的XBee-PRO模块和ECH2O型土壤水分传感器EC-... 针对传统的土壤墒情监测手段存在的监测范围小、采样率低等不足,设计实现了基于ZigBee无线传感网络和J2EE三层B/S架构技术的柑橘园土壤墒情远程监控系统。系统采用具有ZigBee无线数据传输功能的XBee-PRO模块和ECH2O型土壤水分传感器EC-5为核心组成传感器节点,部署于柑橘园的各个采集点对土壤墒情信息进行采集、预处理和无线发送等工作,通过基于ARM9的嵌入式网关与Internet网络连接,采集数据传输至远程Web主机,通过远程监控中心系统实现对采集数据分析处理和系统运行的远程和实时监控。进行了不同距离的传感器节点发送数据包的耗时和数据包发送成功率试验,在1km以内耗时低于100ms,数据包发送成功率高于98%。试验结果表明,系统实现了稳定可靠的数据传输,适合柑橘园土壤墒情的远程和实时监控。 展开更多
关键词 土壤墒情 监控 设计 ZIGBEE技术 柑橘园
在线阅读 下载PDF
概率模型下的一种优化覆盖算法 被引量:18
13
作者 孙泽宇 伍卫国 +2 位作者 王换招 邢萧飞 陈衡 《软件学报》 EI CSCD 北大核心 2016年第5期1285-1300,共16页
覆盖率不仅是评价无线传感器网络体系性能的重要标准之一,也是无线传感器网络所研究的一项重点课题.为此,提出了一种概率模型下优化覆盖算法.该算法通过对概率覆盖模型的计算,给出了传感器节点覆盖的期望值和公差的求解过程以及对所关... 覆盖率不仅是评价无线传感器网络体系性能的重要标准之一,也是无线传感器网络所研究的一项重点课题.为此,提出了一种概率模型下优化覆盖算法.该算法通过对概率覆盖模型的计算,给出了传感器节点覆盖的期望值和公差的求解过程以及对所关注目标节点进行首次覆盖后的期望值证明过程.在网络能量方面则通过节点状态调度策略对通信路径进行优化,证明节点能量衰减过程中,拟合函数极限存在的意义,实现了传感器节点能量的有效匹配,抑制了传感器节点能量的消耗,证明了优化后整个监测区域传感器节点覆盖函数之间的关系.仿真实验结果表明,该算法不仅提高了覆盖和网络服务质量,而且有效地抑制了网络能量开销,延长了网络生存周期. 展开更多
关键词 无线传感器网络 覆盖率 冗余度 概率模型 网络生存周期
在线阅读 下载PDF
一种结构化P2P协议中的自适应负载均衡方法 被引量:20
14
作者 熊伟 谢冬青 +1 位作者 焦炳旺 刘洁 《软件学报》 EI CSCD 北大核心 2009年第3期660-670,共11页
提出一种自适应负载均衡方法,方法采用一种被动式结点负载统计方法生成局部负载视图;一种文件访问统计方法生成局部文件访问视图;当系统内结点负载存在差异时,重载结点把指向自身的逻辑链路迁移至指向局部负载视图中的轻载结点,通过减... 提出一种自适应负载均衡方法,方法采用一种被动式结点负载统计方法生成局部负载视图;一种文件访问统计方法生成局部文件访问视图;当系统内结点负载存在差异时,重载结点把指向自身的逻辑链路迁移至指向局部负载视图中的轻载结点,通过减小重载结点入度和增加轻载结点入度来减小结点间负载差异;当结点的请求负载较高时,通过局部文件访问视图计算需要缓存的热点文件及目标结点,降低承载热点文件的结点请求负载.实验结果表明,在用户查询服从Zipf分布的环境下,自适应负载均衡方法可使系统负载达到较好的均衡;缓存方法虽然在一定程度上增加了缓存和更新开销,但在一定条件下比查询消息命中缓存节省的网络开销要小,降低了系统的整体负载. 展开更多
关键词 P2P 负载均衡 结构化覆盖网 缓存 CHORD
在线阅读 下载PDF
无线传感器网络基于参数可调增强型覆盖控制算法 被引量:18
15
作者 孙泽宇 伍卫国 +2 位作者 王换招 陈衡 邢萧飞 《电子学报》 EI CAS CSCD 北大核心 2015年第3期466-474,共9页
覆盖问题是无线传感器网络领域的一个基本问题,也是无线传感器网络特性当中的一个重点问题.如何通过某种算法达到以最少传感器节点对监测区域的有效覆盖已成为目前研究的一项重要课题.因此,提出一种增强型覆盖控制算法(Enhanced Coverag... 覆盖问题是无线传感器网络领域的一个基本问题,也是无线传感器网络特性当中的一个重点问题.如何通过某种算法达到以最少传感器节点对监测区域的有效覆盖已成为目前研究的一项重要课题.因此,提出一种增强型覆盖控制算法(Enhanced Coverage Control Algorithm,ECCA).该算法通过概率理论知识可以有效地求解出对监测区域进行有效覆盖下的最少节点,给出了传感器节点概率的期望值计算方法以及目标节点首次被传感器节点覆盖和多次覆盖后的期望值求解过程,验证随机变量相互之间不独立时的比例函数关系.仿真结果表明,ECCA算法可以使用较少的传感器节点数量完成对监测区域的有效覆盖,提高了对监测区域的覆盖质量. 展开更多
关键词 无线传感器网络 概率模型 覆盖控制 覆盖率
在线阅读 下载PDF
基于文法产生式优化的设计模式识别方法 被引量:14
16
作者 肖卓宇 何锫 +3 位作者 杨鑫维 杨邦平 陈俊旭 胡振涛 《电子科技大学学报》 EI CAS CSCD 北大核心 2017年第3期569-576,共8页
以精确的设计模式检测结果为目标,为解决设计模式识别的变体问题,提出一种基于文法产生式优化的设计模式识别方法,旨在使用可视化文法产生式描述设计模式参与者角色的属性与联系,并通过增加文法产生式描述的特征信息来识别重叠的设计模... 以精确的设计模式检测结果为目标,为解决设计模式识别的变体问题,提出一种基于文法产生式优化的设计模式识别方法,旨在使用可视化文法产生式描述设计模式参与者角色的属性与联系,并通过增加文法产生式描述的特征信息来识别重叠的设计模式及参与者角色间的附加关系。实验结果表明,该方法减少了设计模式识别的假阳性结果与假阴性结果,通过与主流方法的F-score评估指标比较,显示出该方法的优势。 展开更多
关键词 设计模式检测 文法产生式 模式共享 变体 可视化
在线阅读 下载PDF
传感网中时延受限的移动式数据收集方法综述 被引量:15
17
作者 王文华 王田 +2 位作者 吴群 王国军 贾维嘉 《计算机研究与发展》 EI CSCD 北大核心 2017年第3期474-492,共19页
数据收集是无线传感器网络中研究的热点问题之一,然而在传统的无线传感器网络中,基站附近的节点由于承担了大量数据转发任务而导致自身能量过早耗尽,缩短了网络的生命期.不少研究通过引入能量较为充足的移动性节点来收集数据,以节省普... 数据收集是无线传感器网络中研究的热点问题之一,然而在传统的无线传感器网络中,基站附近的节点由于承担了大量数据转发任务而导致自身能量过早耗尽,缩短了网络的生命期.不少研究通过引入能量较为充足的移动性节点来收集数据,以节省普通传感器节点的能量,但是却导致了数据收集时延过大,如何在保证数据收集时延的前提下最大化网络生命期已成为近几年研究的热点问题.对目前主要的时延受限的移动式数据收集方法进行了充分调研,通过对这些方法的详细分类和比较,归纳了时延受限的移动式数据收集的各类方法的特点,分析了这些方法的优缺点和适用范围,总结了存在的主要问题,并指出了未来的研究方向. 展开更多
关键词 无线传感网 移动式数据收集 时延限制 能量优化 网络生命期
在线阅读 下载PDF
以能力培养为主线 建设实验教学示范中心 被引量:25
18
作者 温武 黄立胜 +1 位作者 郭旭鸣 丘凯伦 《实验室研究与探索》 CAS 北大核心 2011年第3期100-102,116,共4页
介绍计算机科学与工程实验教学示范中心以培养满足社会需求的复合型和创新型计算机类专业人才为目标,充分利用优越的实验条件,发挥现有师资力量,将实验教学与实践相结合,建立以能力培养为主线的"一体化、分阶段、多层次"的独... 介绍计算机科学与工程实验教学示范中心以培养满足社会需求的复合型和创新型计算机类专业人才为目标,充分利用优越的实验条件,发挥现有师资力量,将实验教学与实践相结合,建立以能力培养为主线的"一体化、分阶段、多层次"的独立实验课程教学体系。构造"特色课程"模块,培养学生科学素养、创新意识和协作精神,开拓学生探索科学潜能的创新思路,取得了显著的成效。 展开更多
关键词 实验教学示范中心 能力培养 特色课程
在线阅读 下载PDF
传感云安全研究进展 被引量:13
19
作者 王田 李洋 +2 位作者 贾维嘉 王国军 彭绍亮 《通信学报》 EI CSCD 北大核心 2018年第3期35-52,共18页
通过调研大量的国内外传感云安全的相关文献发现,现有的传感云系统存在一系列严重的安全问题,如不同服务提供商的信誉问题、物理节点耦合漏洞、数据权限管理漏洞等,严重地阻碍了传感云系统的进一步发展。分析了传感云系统存在的安全问题... 通过调研大量的国内外传感云安全的相关文献发现,现有的传感云系统存在一系列严重的安全问题,如不同服务提供商的信誉问题、物理节点耦合漏洞、数据权限管理漏洞等,严重地阻碍了传感云系统的进一步发展。分析了传感云系统存在的安全问题,对比了现有的传感云安全技术,讨论总结了不同种类解决方案的优缺点,提出了未来传感云发展面临的安全挑战。最后,设计了基于雾计算框架下传感云安全的实现方案,为传感云的安全研究带来新的思路。 展开更多
关键词 云计算 无线传感网 传感云 安全 雾计算
在线阅读 下载PDF
Android图文同步识别系统的设计和实现 被引量:14
20
作者 刘淼 杨镇豪 +2 位作者 谢韵玲 谢冬青 唐春明 《计算机工程与设计》 CSCD 北大核心 2014年第6期2207-2213,共7页
针对开源识别引擎Tesseract-OCR对噪点多、亮度不均匀及规格不统一的图像识别效果不佳的情况,设计和实现了一种基于Android平台,能大幅度提高质量不高图像识别率的图文同步识别系统。实现了预览同步识别、联网上传识别、图像批量识别等... 针对开源识别引擎Tesseract-OCR对噪点多、亮度不均匀及规格不统一的图像识别效果不佳的情况,设计和实现了一种基于Android平台,能大幅度提高质量不高图像识别率的图文同步识别系统。实现了预览同步识别、联网上传识别、图像批量识别等功能,通过对图像进行消噪、亮度均衡及阈值分割等质量增强算法处理,提高了图像的最终识别率。新颖的同步识别模式有别于传统的图文识别软件,使用户在预览图像时能够即时看到识别效果,给使用者带来一种全新的用户体验。 展开更多
关键词 ANDROID应用 Tesseract-OCR 图像处理 同步识别 文字识别 识别系统
在线阅读 下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部