期刊文献+
共找到706篇文章
< 1 2 36 >
每页显示 20 50 100
斯托克斯定理的形式化及其初步应用
1
作者 刘永梅 王国辉 +3 位作者 关永 张景芝 施智平 董璐 《计算机工程与科学》 北大核心 2025年第6期1050-1061,共12页
斯托克斯定理是场论中的重要定理之一,它在流体力学、电磁学等领域都有广泛的应用。然而在实际应用中,斯托克斯定理前提条件的满足往往得不到正式的验证,这就存在一定的风险。因此,有必要对斯托克斯定理进行验证。基于斯托克斯定理的数... 斯托克斯定理是场论中的重要定理之一,它在流体力学、电磁学等领域都有广泛的应用。然而在实际应用中,斯托克斯定理前提条件的满足往往得不到正式的验证,这就存在一定的风险。因此,有必要对斯托克斯定理进行验证。基于斯托克斯定理的数学定义,构建其形式化模型,通过分析斯托克斯定理的数学证明过程,得出其形式化证明推导思路,根据分析、构建和验证目标,完成定理的形式化证明,最后将斯托克斯定理证明应用到管道流量设计模型的验证中。 展开更多
关键词 形式化验证 定理证明 斯托克斯定理 HOL Light
在线阅读 下载PDF
路径可实时定义的物联网传输模型
2
作者 肖融 胡以欣 陈文龙 《小型微型计算机系统》 北大核心 2025年第1期181-188,共8页
计算能力弱、存储容量小是普通物联网节点的典型特征,复杂的部署环境和不稳定的无线链路又会导致物联网网络状态频繁变化.所以,物联网中固定的传输路径无法提供高效的感知及数据传输服务.例如典型的树型路由结构中,靠近树根的节点要提... 计算能力弱、存储容量小是普通物联网节点的典型特征,复杂的部署环境和不稳定的无线链路又会导致物联网网络状态频繁变化.所以,物联网中固定的传输路径无法提供高效的感知及数据传输服务.例如典型的树型路由结构中,靠近树根的节点要提供的传输任务较重,能量消耗更快,会导致整个网络部署周期变短.本文提出了一种路径可实时定义的物联网传输模型(IoT Transmission Model with Real-time Path Definition,ITRP),物联子网中所有节点将邻接关系上报给网关设备,由性能占优的有源供电网关设备来定义网络的实时路由树.网关向物联子网节点发送报文时会携带转发标签,后续转发节点只需根据标签完成报文传输,并根据上一跳信息建立其到网关的反向传输路径.ITRP模型可围绕特定的网络服务目标(节能、传输安全、带宽保障等)收集相关网络状态信息,并周期性调整路由拓扑,实现物联网传输服务的优化.实验面向能量均衡目标展开,经过10个信息采集周期,ITRP模型相对确定性路由模型能量最低节点的能耗比为44%~86%,相对自适应多径传输模型能量最低节点的能耗比为63%~86%;而且,ITRP模型只需较小的标签代价,实验环境中报文的平均标签长度不超过5比特. 展开更多
关键词 路径可定义 层级连通树 实时路由树 转发标签
在线阅读 下载PDF
城市地下管网地理信息系统空间数据模型研究 被引量:14
3
作者 乔淑娟 王华 崔阳 《计算机工程与设计》 CSCD 北大核心 2006年第17期3201-3203,3212,共4页
城市地下管网的综合规划和管理,正随着地理信息系统产业的发展,越来越受到人们的重视。而空间数据模型是任何地理信息系统设计的核心。在综合评述GIS空间数据模型研究的基础上,针对城市地下管线空间对象,研究了地下管网的特点,提出了实... 城市地下管网的综合规划和管理,正随着地理信息系统产业的发展,越来越受到人们的重视。而空间数据模型是任何地理信息系统设计的核心。在综合评述GIS空间数据模型研究的基础上,针对城市地下管线空间对象,研究了地下管网的特点,提出了实体几何法与三维拓扑的集成模型,并设计了系统概念模型、数据组织模型以及相应的数据存储结构。 展开更多
关键词 地理信息系统 空间数据模型 城市地下管网 结构实体几何法 三维拓扑模型
在线阅读 下载PDF
面向农田信息采集的数字照片空间标识索引方法 被引量:6
4
作者 孟志军 赵春江 +2 位作者 刘卉 陈竞平 付卫强 《农业工程学报》 EI CAS CSCD 北大核心 2011年第4期196-200,共5页
针对精准农业多源信息采集管理应用的实际需求,提出一种基于时间阈值的数字照片自动空间位置标识方法和基于空间位置的数字照片索引及热链接方法。利用该方法开发了面向精准农业的农田空间多媒体信息采集管理软件,软件将数字照片采集、... 针对精准农业多源信息采集管理应用的实际需求,提出一种基于时间阈值的数字照片自动空间位置标识方法和基于空间位置的数字照片索引及热链接方法。利用该方法开发了面向精准农业的农田空间多媒体信息采集管理软件,软件将数字照片采集、空间标识、快速索引、热链接表达和数据转换等环节作为一个完整的流程处理,支持普通数码照相机配合手持GPS设备、GPS数码相机和具有定位拍照功能手持设备等多种数据采集方式下的空间多媒体数据采集、空间位置标识索引和数据交换,实现了地理信息系统环境下的数字照片动态索引和关联,并给出了匹配照片时间阈值ε的取值范围。通过精准农业农田基础设施空间多媒体数据采集融合实际应用,验证了该方法的有效性和实用性。 展开更多
关键词 农田信息采集 数字照片 空间标识 索引 GPS GIS
在线阅读 下载PDF
交通信息分布式处理中的Hadoop调度算法优化 被引量:8
5
作者 孙卫真 王秀锦 徐远超 《计算机工程与设计》 CSCD 北大核心 2014年第4期1269-1273,1278,共6页
为从海量交通信息数据中有效地挖掘出为城市智能交通服务的信息,提出了在分布式环境下的改进型计算能力调度算法。根据对海量交通信息数据与分布式调度算法进行的分析与研究,指出了相关数据的特点与算法待改进的关键点,架构了在分布式... 为从海量交通信息数据中有效地挖掘出为城市智能交通服务的信息,提出了在分布式环境下的改进型计算能力调度算法。根据对海量交通信息数据与分布式调度算法进行的分析与研究,指出了相关数据的特点与算法待改进的关键点,架构了在分布式平台下公平调度与延时调度的改进模型,优化了Hadoop在对交通数据处理时的调度算法,弥补了普通调度算法实时性的不足。实验结果表明,在分布式环境下,使用优化后的调度算法处理计算密集型或I/O密集型交通信息数据,计算所花时间较小,性能较优,具有较好的实时性。 展开更多
关键词 分布式处理软件框架 映射和简化 智能交通 调度优化 分布式计算 计算机集群 并行运算
在线阅读 下载PDF
基于Struts和Hibernate的供电营销信息系统 被引量:7
6
作者 王莉云 王华 陈刚 《计算机工程与设计》 CSCD 北大核心 2007年第23期5719-5721,5725,共4页
通过对供电营销进行的业务进行分析,选择基于J2EE的B/S应用架构,以MVC架构的Struts作为表现层、采用O/R映射的Hibernate作为数据持久层,设计了一个供电营销信息系统。从表示层和数据层分析了系统实现的关键技术,并详细阐述如何通过对数... 通过对供电营销进行的业务进行分析,选择基于J2EE的B/S应用架构,以MVC架构的Struts作为表现层、采用O/R映射的Hibernate作为数据持久层,设计了一个供电营销信息系统。从表示层和数据层分析了系统实现的关键技术,并详细阐述如何通过对数据层进一步封装,简化系统开发,提高系统的开发效率,使系统在可维护性和可扩展性方面都有很好的改进,并对程序框架实现过程进行了详细描述。 展开更多
关键词 浏览器/月艮务器 模型-视图 控制器 数据访问对象 对象/关系映射 过滤器
在线阅读 下载PDF
移动地理信息系统中的多源异构数据融合模型 被引量:15
7
作者 李文闯 章永平 潘瑜春 《计算机应用》 CSCD 北大核心 2012年第9期2672-2674,2678,共4页
为了提高移动地理信息系统在野外数据采集过程中对多源异构数据的组织管理效率,在分析现有方法局限性和数据自身结构的基础上,提出一种基于可交换图像文件(EXIF)原理以数字图像为载体融合空间位置信息和一般形式属性的数据模型。该模型... 为了提高移动地理信息系统在野外数据采集过程中对多源异构数据的组织管理效率,在分析现有方法局限性和数据自身结构的基础上,提出一种基于可交换图像文件(EXIF)原理以数字图像为载体融合空间位置信息和一般形式属性的数据模型。该模型将关联的空间位置和一般属性嵌入到数字图像的物理结构中,从而实现关联数据的高度整合。基于该模型设计开发了野外数据采集系统,系统应用于农业资源管理与决策分析领域,验证了模型的有效性和实际效果。 展开更多
关键词 移动地理信息系统 数据采集 多源异构 可交换图像文件 数据融合
在线阅读 下载PDF
一种基于地理信息系统的配电网规划方法 被引量:15
8
作者 汤红卫 王华 郭喜庆 《电网技术》 EI CSCD 北大核心 2002年第12期79-82,共4页
配电网规划问题在数学上是一NP-hard问题。当问题规模增大时,寻求其全局优化解至今仍是一难题。提出应用地理信息系统(Geographical Information System, GIS)技术改进配网规划的设想。基于中心地理论的应用模型,提出基于GIS的子系统模... 配电网规划问题在数学上是一NP-hard问题。当问题规模增大时,寻求其全局优化解至今仍是一难题。提出应用地理信息系统(Geographical Information System, GIS)技术改进配网规划的设想。基于中心地理论的应用模型,提出基于GIS的子系统模型及算法,使问题规模大为减小。研究结果表明,借助GIS无需复杂的算法便可使规划过程更具交互性、规划结果更直观、方案调整更灵活。 展开更多
关键词 地理信息系统 配电网规划 电力系统
在线阅读 下载PDF
美国高等教育的发展趋势和面临的挑战:在线学习,移动学习和MOOCs——访美国圣地亚哥州立大学副校长依山·辛格(Ethan Signer)博士 被引量:11
9
作者 孙众 王敏娟 +1 位作者 马小强 石长地 《中国电化教育》 CSSCI 北大核心 2014年第6期1-5,29,共6页
依山·辛格博士,美国圣地亚哥州立大学(San Diego State University)资深名誉学术事务副校长,兼电教中心主管。他积极推动了该校对网络教学的发展和评估,并且推动了SDSU跟附近中小学的大力合作。他在校长职位30余年,负责学术事务部... 依山·辛格博士,美国圣地亚哥州立大学(San Diego State University)资深名誉学术事务副校长,兼电教中心主管。他积极推动了该校对网络教学的发展和评估,并且推动了SDSU跟附近中小学的大力合作。他在校长职位30余年,负责学术事务部1.8亿的财政预算和支出。他知识渊博,熟悉美国的教育制度,跟美国白宫有合作办学项目,对美国的高等教育有着深刻的体会和独到的见解。辛格校长对中国有浓厚的兴趣,积极开展与中国的沟通和交流。他于2013年9月受邀访问国内多所高校,并举办了多场学术讲座。本刊特邀访谈者就此机会,对这位在校长职位上工作超过三十年的学者进行访谈,请他以圣地亚哥州立大学近几年用技术改革高等教育的策略和作法为切入点,从教育管理者和领导者的角度,阐述在线教育、MOOCs等技术力量在美国高等教育发展中的动力、影响及发展趋势。中美两国在高等教育体系各有特点,而我国同样面临着在线课程、开放课程、移动学习对教育的冲击和挑战。因此借鉴他人的思想和经验,有利于我国教育研究者发展出符合中国国情的、技术支持下的高等教育发展之路。 展开更多
关键词 高等教育 在线学习 移动学习 MOOCs
在线阅读 下载PDF
基于联邦卡尔曼滤波器的车载GPS/DR信息融合 被引量:5
10
作者 朱虹 关桂霞 关永 《计算机工程与设计》 CSCD 北大核心 2008年第20期5357-5359,共3页
车载GPS/DR组合导航系统中,需要把不同特性的传感器信息进行融合,实现系统整体状态的最优估计。设计了GPS/DR信息融合的联邦卡尔曼滤波器,局部滤波器分别处理GPS和DR传感器信息,主滤波器进行信息融合,并对局部滤波器进行信息分配和重置... 车载GPS/DR组合导航系统中,需要把不同特性的传感器信息进行融合,实现系统整体状态的最优估计。设计了GPS/DR信息融合的联邦卡尔曼滤波器,局部滤波器分别处理GPS和DR传感器信息,主滤波器进行信息融合,并对局部滤波器进行信息分配和重置。克服了单独使用GPS或DR时产生的系统失效、累积误差大等问题。仿真试验结果表明:GPS/DR组合定位比GPS单独定位具有更高的定位精度和容错能力。 展开更多
关键词 信息融合 联邦滤波器 组合定位 定位精度 容错性
在线阅读 下载PDF
基于农业信息数据元表示的数据挖掘 被引量:9
11
作者 李文峰 赵春江 郭新宇 《计算机工程与应用》 CSCD 北大核心 2004年第24期174-176,214,共4页
文章提出了一种基于农业信息数据元表示的数据挖掘方法,论述了农业信息数据元表示以及粗糙集理论的基本概念,并对基于粗糙集理论的挖掘模型的建立过程以及挖掘过程进行了阐述。
关键词 农业信息 数据元粗糙集 数据挖掘
在线阅读 下载PDF
论信息的可理解 被引量:11
12
作者 荣毅虹 田也壮 《情报学报》 CSSCI 北大核心 2006年第4期393-398,共6页
信息可理解是当前情报科学的研究热点--信息构建的一个重要组成部分.本文主要追溯了信息可理解的起源,论述了信息可理解的本质,探讨了信息可理解的情报科学阐释学基础,结合情报学、计算机技术、语言学提出了实现信息可理解的四个重要方法.
关键词 信息可理解 信息焦虑 信息构建 信息阐释
在线阅读 下载PDF
大学家校通短信互动平台的设计与实现 被引量:6
13
作者 饶敏 刘永强 《电信科学》 北大核心 2009年第3期99-102,共4页
本文根据高校的实际需求,设计并实现了大学家校通的短信互动平台。通过该平台可以为保存在平台内的用户发短信,用户也可以回复短信,从而实现教师、学生、家长之间的互动,提高学校的办公效率。
关键词 短消息 互动平台 上行短信 下行短信 流量控制
在线阅读 下载PDF
单球驱动平衡机器人运动学和动力学形式化验证
14
作者 张善强 张景芝 +2 位作者 施智平 王国辉 关永 《软件学报》 北大核心 2025年第8期3462-3476,共15页
单球驱动平衡机器人是一种具有全向运动性的机器人,其灵活性能在狭小或复杂环境中得到充分体现,因此受到广泛关注.在该型机器人运动学和动力学设计过程中,保证其模型的正确性至关重要.基于测试和仿真的传统方法难以穷尽系统所有状态,因... 单球驱动平衡机器人是一种具有全向运动性的机器人,其灵活性能在狭小或复杂环境中得到充分体现,因此受到广泛关注.在该型机器人运动学和动力学设计过程中,保证其模型的正确性至关重要.基于测试和仿真的传统方法难以穷尽系统所有状态,因此可能无法捕捉到某些设计缺陷或潜在的安全风险.为确保单球驱动平衡机器人满足安全攸关机器人的正确性、安全性验证要求,在定理证明器HOL Light中,基于实分析库、矩阵分析库、机器人运动学和动力学库等定理证明库,构建单球驱动平衡机器人运动学和动力学的形式化模型,并进行高阶逻辑推导与证明. 展开更多
关键词 单球驱动平衡机器人 运动学和动力学 形式化验证 定理证明 HOL Light
在线阅读 下载PDF
多模态信息融合的一般功能模型设计——基于融合功能与信息层次 被引量:14
15
作者 潘巍 王阳生 杨宏戟 《计算机工程与应用》 CSCD 北大核心 2006年第29期27-29,35,共4页
根据信息融合的功能要素,在分析了现有几种信息融合的一般功能模型的特点后,提出了基于融合功能与信息层次的多模态信息融合的一般功能模型(FH模型)。该模型综合了JDL模型、Omnibus模型和层次模型的优点,采取了JDL模型对信息融合功能的... 根据信息融合的功能要素,在分析了现有几种信息融合的一般功能模型的特点后,提出了基于融合功能与信息层次的多模态信息融合的一般功能模型(FH模型)。该模型综合了JDL模型、Omnibus模型和层次模型的优点,采取了JDL模型对信息融合功能的逻辑划分,指明了信息在系统中的流向,从而避免了开发基于JDL模型的信息融合系统时难以准确控制信息流向。此外,FH模型利用层次模型对Omnibus模型中的融合过程进行了更为细致的划分,同时加入了知识库和数据库管理体系,使信息融合的一般功能模型向更实用的方向迈进了一步,研究者可以将注意力更多地转向信息融合的结构模型和信息融合方法的设计,从而更有利于信息融合技术的研究。 展开更多
关键词 信息融合 功能模型 融合层次 JDL模型 Omnibus模型
在线阅读 下载PDF
支持向量机在网页信息分类中的应用研究 被引量:7
16
作者 刘丽珍 贺海军 +1 位作者 陆玉昌 宋瀚涛 《小型微型计算机系统》 CSCD 北大核心 2007年第2期337-340,共4页
针对日益膨胀的网络信息,为方便用户准确定位所需的信息,将支持向量机(SVM)与二叉决策树结合起来进行网页信息的分类,并在构造决策支持向量机分类模型的基础上,进一步结合聚类的方法,解决多类分类问题,减少支持向量机的训练样本数,提高... 针对日益膨胀的网络信息,为方便用户准确定位所需的信息,将支持向量机(SVM)与二叉决策树结合起来进行网页信息的分类,并在构造决策支持向量机分类模型的基础上,进一步结合聚类的方法,解决多类分类问题,减少支持向量机的训练样本数,提高分类训练速度和分类准确率. 展开更多
关键词 支持向量机 决策树 网页分类
在线阅读 下载PDF
粗糙集理论中新的针对不完备信息系统的处理方法研究 被引量:11
17
作者 潘巍 王阳生 杨宏戟 《计算机科学》 CSCD 北大核心 2007年第6期158-161,共4页
本文针对不完备信息系统,在分析了现有的数据补齐法和扩充法的优劣后,提出基于差异关系和数据部分补齐的处理方法。本文定义了差异关系,对差异矩阵进行扩充使其能适用于不完备信息系统,证明了用差异关系进行属性约简和求核的可行性,并... 本文针对不完备信息系统,在分析了现有的数据补齐法和扩充法的优劣后,提出基于差异关系和数据部分补齐的处理方法。本文定义了差异关系,对差异矩阵进行扩充使其能适用于不完备信息系统,证明了用差异关系进行属性约简和求核的可行性,并给出了相应的算法。数据部分补齐的目的是通过分析对象之间的差异性更进一步地挖掘信息之间的潜在联系,为后续的决策规则的求取提供更丰富更准确的信息。实验证明,在处理不完备信息系统时,基于差异关系和数据部分补齐的方法能获得更好的分类性能。 展开更多
关键词 粗糙集 不完备信息 相似关系 数据补齐
在线阅读 下载PDF
Android平台农机作业服务信息采集系统——基于Google Maps 被引量:3
18
作者 刘卉 邓晓璐 +1 位作者 王慧平 吴才聪 《农机化研究》 北大核心 2015年第10期215-219,共5页
我国农机作业配套服务信息缺失,需要便捷、准确、高效的农机服务信息采集系统。为此,设计开发了基于Android智能终端的便携式农机作业服务信息采集系统,应用Google Maps的电子地图和遥感地图开放资源,通过GPS实时定位或地图拾取方式进... 我国农机作业配套服务信息缺失,需要便捷、准确、高效的农机服务信息采集系统。为此,设计开发了基于Android智能终端的便携式农机作业服务信息采集系统,应用Google Maps的电子地图和遥感地图开放资源,通过GPS实时定位或地图拾取方式进行农田地块、维修点、加油站、粮库等农机作业服务信息采集,实现地物属性及图像信息的快速获取、远程传输与动态更新,为规模化农机作业服务提供更加高效、科学的信息支持。系统应用实践表明:地图数据清晰可信、界面操作简便、数据传输可靠。 展开更多
关键词 农机作业服务 信息采集 GOOGLE MAPS Android 智能终端
在线阅读 下载PDF
基于Voronoi和信息熵的空间离群样点检测 被引量:4
19
作者 王妍 潘瑜春 王慧 《计算机工程与设计》 CSCD 北大核心 2010年第18期3998-4000,4008,共4页
为了提高离群点挖掘的效率和准确度,在分析了传统离群点挖掘算法优、缺点的基础上,提出一种离群点检测算法。该算法利用Voronoi确定样点之间的邻近关系,通过参照邻域范围内其它样点的非空间属性值的信息熵作为离群因子,并根据离群因子... 为了提高离群点挖掘的效率和准确度,在分析了传统离群点挖掘算法优、缺点的基础上,提出一种离群点检测算法。该算法利用Voronoi确定样点之间的邻近关系,通过参照邻域范围内其它样点的非空间属性值的信息熵作为离群因子,并根据离群因子标识出样点集中的离群点。以北京市大兴区土壤养分为例,实验结果表明,该检测算法能够高效、准确地检测出土壤样点中的离群点。 展开更多
关键词 空间离群点 离群点检测 泰森多边形 信息熵 离散化
在线阅读 下载PDF
“互联网+”师范生与农村教师的专业互助成长模式 被引量:12
20
作者 孙众 蘧征 邓路遥 《中国电化教育》 CSSCI 北大核心 2019年第4期111-116,共6页
传统环境下师范生与农村教师的专业成长存在着关联少、协同差等问题,互联网环境下教师教育类MOOC的出现,成为职前职后教师专业互助成长的突破口。经过三年探索与实践,该文提出"互联网+新同学制"的交互模型,依托教师教育类MOOC... 传统环境下师范生与农村教师的专业成长存在着关联少、协同差等问题,互联网环境下教师教育类MOOC的出现,成为职前职后教师专业互助成长的突破口。经过三年探索与实践,该文提出"互联网+新同学制"的交互模型,依托教师教育类MOOC,将具有数字原住民特征的师范生,与具有丰富教学实践经验的农村教师,形成优势互补的"互联网+"新同学关系,通过课程共学、内容生成、即时陪伴、数据驱动的路径,实现互助式共学的专业成长。研究发现,学习者在课程完成率、学习交互、技术接受度和满意度等方面均取得较好成效,初步建立起"互联网+"师范生与农村教师专业互助成长的有效模式。 展开更多
关键词 “互联网+” 师范生 农村教师 教师专业发展 专业互助成长
在线阅读 下载PDF
上一页 1 2 36 下一页 到第
使用帮助 返回顶部