检索结果-内蒙古大学图书馆

小型微型计算机系统 2013年第3期34卷 654-658页

作者：刘振科施智平关永金声震张杰叶世伟李晓娟电子系统可靠性技术北京市重点实验室首都师范大学信息工程学院北京100048 计算机体系结构国家重点实验室中国科学院计算技术研究所北京100190 北京化工大学信息科学与技术学院北京100029 中国科学院研究生院信息科学与工程学院北京100049

定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化... 详细信息

定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化分析有重要意义.本文在高阶逻辑定理证明器Higher-Order Logic 4中形式化函数向量和函数矩阵,包括形式化定义数据类型、运算及形式化验证运算性.本文同时给出了函数矩阵求导的形式化定义,证明了矩阵微分法中函数矩阵(或函数向量)相对于数量变量的微分法的常用定理,并给出了对二次型函数求导的形式化证明.本文工作已整理成定理库.

关键词：函数矩阵形式化验证矩阵微分法定理证明 Higher-Order Logic4

来源：评论

学校读者我要写书评

暂无评论

城市公园绿地水热通量的小波特征

引用

干旱区研究 2007年第6期24卷 753-759页

作者：王修信陈声海刘馨朱启疆胡玉梅北京师范大学地理学与遥感科学学院遥感与地理信息系统研究中心北京100875 遥感科学国家重点实验室环境遥感与数字城市北京市重点实验室广西师范大学计算机科学与信息工程学院广西桂林541004

在北京海淀公园架设涡度相关仪,连续观测下垫面和大气之间的显热和潜热通量,定量研究城市公园绿地影响下的水热通量变化趋势,并利用连续小波变换研究其时间尺度结构及变化特征。结果表明:城市小气候环境显热和潜热呈现多尺度结构,其变... 详细信息

在北京海淀公园架设涡度相关仪,连续观测下垫面和大气之间的显热和潜热通量,定量研究城市公园绿地影响下的水热通量变化趋势,并利用连续小波变换研究其时间尺度结构及变化特征。结果表明:城市小气候环境显热和潜热呈现多尺度结构,其变化包含不同时间尺度准周期分量,存在不同的显热和潜热相干结构;时间尺度准周期分量在春夏初秋较小,而在深秋和冬季较大。显热和潜热变化越剧烈,对应越小时间尺度的准周期分量。在均匀下垫面,利用该方法可进一步研究显热和潜热的空间尺度结构。

关键词：城市公园绿地潜热通量显热通量小波变换北京

来源：评论

学校读者我要写书评

暂无评论

基于RTP的矢量数据流式传输研究

引用

地球信息科学学报 2015年第9期17卷 1029-1038页

作者：苗茹宋佳河南大学计算机与信息工程学院遥感信息处理实验室开封475004 中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 江苏省地理信息资源开发与利用协同创新中心南京210023

针对Web GIS中大规模矢量数据的网络传输问题,提出采用流式传输方式分批次向客户端传输所需数据,从而达到矢量数据在线实时应用的目的。通过研究流式传输机制,建立了适应于矢量数据流式传输的服务框架;按照流式传输的要求,对矢量数据进... 详细信息

针对Web GIS中大规模矢量数据的网络传输问题,提出采用流式传输方式分批次向客户端传输所需数据,从而达到矢量数据在线实时应用的目的。通过研究流式传输机制,建立了适应于矢量数据流式传输的服务框架;按照流式传输的要求,对矢量数据进行分块组织,保证每个批次的要素作为独立的单元传输并在客户端处理;在传输过程中,实时传输协议实现了矢量数据流式传输机制,并参照流媒体文件"边传边播"的模式,设计了矢量数据的封包和解包算法。该方法实现了矢量数据的发送和接收,达到了多次往复传输的目标,且能通过差错控制和压缩加密等手段提高数据传输效率、保证数据传输质量和安全。实验证明,矢量数据的流式传输能降低约一半的数据传输量,有效地提高了传输效率,降低了系统响应时间。

关键词：网络地理信息流式传输流媒体协议空间要素 RTP数据包

来源：评论

学校读者我要写书评

暂无评论

深度学习及其在图像物体分类与检测中的应用综述

引用

计算机科学 2016年第12期43卷 13-23页

作者：刘栋李素曹志冬北京工商大学计算机与信息工程学院食品安全大数据技术北京市重点实验室北京100048 中国科学院自动化研究所复杂系统管理与控制国家重点实验室北京100190

传统的图像物体分类与检测算法及策略难以满足图像视频大数据在处理效率、性能和智能化等方面所提出的要求。深度学习通过模拟类似人脑的层次结构建立从低级信号到高层语义的映射,以实现数据的分级特征表达,具有强大的视觉信息处理能力... 详细信息

传统的图像物体分类与检测算法及策略难以满足图像视频大数据在处理效率、性能和智能化等方面所提出的要求。深度学习通过模拟类似人脑的层次结构建立从低级信号到高层语义的映射,以实现数据的分级特征表达,具有强大的视觉信息处理能力,成为应对这一挑战的前沿技术和国内外研究热点。首先论述了深度学习的起源、发展历程及理论体系;然后分别围绕图像物体分类和检测,总结了近年来深度学习在视觉领域的发展;最后对深度学习及其在视觉领域目前存在的诸多问题以及后续的研究方向进行了分类探讨。

关键词：深度学习特征表达图像物体分类图像物体检测

来源：评论

学校读者我要写书评

暂无评论

智能电网环境下多电动汽车协同充电优化调度算法

引用

科学技术与工程 2015年第26期35卷 60-65页

作者：张延宇曾鹏臧传治网络化控制系统重点实验室中国科学院沈阳自动化研究所沈阳110016 河南大学计算机与信息工程学院开封475004 中国科学院大学北京100049

大量电动汽车通过居民侧家庭能源管理系统接入电网充电时,若各用户独自对充电过程进行优化,会使充电负荷集中在低电价时段,形成巨大的负荷峰值,造成变压器和线路严重超载,威胁电力系统的稳定运行。引入了一种智能电网环境下电动汽车协... 详细信息

大量电动汽车通过居民侧家庭能源管理系统接入电网充电时,若各用户独自对充电过程进行优化,会使充电负荷集中在低电价时段,形成巨大的负荷峰值,造成变压器和线路严重超载,威胁电力系统的稳定运行。引入了一种智能电网环境下电动汽车协同充电模式,建立了最小化用户用电费用的最优充电模型,提出了一种多电动汽车协同充电优化调度算法。该算法能有效避免用户独自优化调度时出现的弊端,同时显著降低用户的充电费用。通过仿真实验验证了算法的有效性。

关键词：智能电网电动汽车家庭能源管理系统协同优化调度注水算法

来源：评论

学校读者我要写书评

暂无评论

计算机网络防御策略描述语言研究

引用

计算机研究与发展 2009年第1期46卷 89-99页

作者：夏春和魏玉娣李肖坚王海泉何巍北京航空航天大学虚拟现实技术与系统国家重点实验室北京100083 北京航空航天大学网络技术北京市重点实验室北京100083 广西师范大学计算机科学与信息工程学院广西桂林541000 北京航空航天大学软件学院北京100083

定义了一种计算机网络防御策略描述语言CNDPSL(computer network defense policy specificationlanguage).该语言面向CNDPM模型,能够统一描述保护、检测和响应策略.在CNDPM模型中,给出了抽象策略细化为具体规则的推导原理,并以形式化的... 详细信息

定义了一种计算机网络防御策略描述语言CNDPSL(computer network defense policy specificationlanguage).该语言面向CNDPM模型,能够统一描述保护、检测和响应策略.在CNDPM模型中,给出了抽象策略细化为具体规则的推导原理,并以形式化的方法分析并验证了策略的完备性、一致性和有效性.CNDPSL是一种声明式语言,抽象了网络防御控制的行为,对网络防御需求具有较好的灵活性、可扩展性和适应性.最后给出了策略引擎的原型及其实现.在GTNetS仿真平台中的实验表明,该语言能够自动地转化为具体的技术规则并实现其表达的防御效能.

关键词：计算机网络防御策略 CNDPM模型描述语言策略引擎

来源：评论

学校读者我要写书评

暂无评论

基于可校正强化搜索遗传算法的光学系统自动设计

引用

计算机应用 2024年第9期44卷 2838-2847页

作者：刘栋李晨航吴长茂茹法鑫夏媛媛河南师范大学计算机与信息工程学院河南新乡453007 教育人工智能与个性化学习河南省重点实验室河南新乡453007 中国科学院软件研究所天基综合信息系统重点实验室北京100190

阻尼最小二乘法(DLS)与遗传算法(GA)均适用于光学系统自动设计,前者搜索效率高但极易陷入局部极值陷阱,后者光学结构参数空间全局搜索能力强但局部搜索能力弱。针对上述问题,提出一种可校正强化搜索GA(CRSGA)。该算法在GA基础上进行了... 详细信息

阻尼最小二乘法(DLS)与遗传算法(GA)均适用于光学系统自动设计,前者搜索效率高但极易陷入局部极值陷阱,后者光学结构参数空间全局搜索能力强但局部搜索能力弱。针对上述问题,提出一种可校正强化搜索GA(CRSGA)。该算法在GA基础上进行了两方面的改进:首先,在GA交叉算子后,引入DLS增强局部搜索能力;其次,引入校正策略,即在下轮迭代前按比例回滚进化后评价函数值变差的个体以校正进化结果。选取双高斯(DG)、反远摄(RT)和有限共轭距成像(FCDI)这3种典型光学系统设计实验以验证CRSGA的有效性,CRSGA优化效果优于DLS、GA,且依次优于商业光学设计软件Zemax阻尼最小二乘法约8.92%、12.19%和9.39%,特别是优化结果分别达到Zemax HAMMER算法的99.98%、94.33%和88.45%。实验结果表明,所提算法对光学系统优化效果良好,可用于光学系统自动设计工作。

关键词：光学系统设计光学优化阻尼最小二乘法全局优化改进遗传算法

来源：评论

学校读者我要写书评

暂无评论

基于约束理论的零部件供应商协同供货研究

引用

计算机仿真 2016年第8期33卷 201-204,222页

作者：于渝飞于重重潘佳俊三江学院商学院江苏南京210010 北京工商大学计算机与信息工程学院北京102488 浙江省健康智慧厨房系统集成重点实验室浙江宁波315336

为了满足对终端市场客户需求的快速响应,并在不断地降低供应链整体库存水平的同时实现整体效益的提高,根据约束理论,建立了ATO系统中多供应商(关键零部件供应商及瓶颈零部件供应商)——单制造商的零部件协同供货模型。模型首先指出关键... 详细信息

为了满足对终端市场客户需求的快速响应,并在不断地降低供应链整体库存水平的同时实现整体效益的提高,根据约束理论,建立了ATO系统中多供应商(关键零部件供应商及瓶颈零部件供应商)——单制造商的零部件协同供货模型。模型首先指出关键零部件及瓶颈零部件供应商对制造企业的供货存在影响,其次针对销售淡旺季时制造商的期望总库存成本的比较,分析未协同与协同时的制造商的总成本差异。最后通过算例分析的结果可知,协同供货模型可以较好地降低制造商的零部件持有成本,且在销售旺季时还能更好的减少制造商的缺货成本及再订购成本。因此,供应商协同供货可以实现降低制造的总库存成本的目的。

关键词：约束理论供应商协同按订单装配两阶段供应链

来源：评论

学校读者我要写书评

暂无评论

温室气体遥感反演系统的设计与实现

引用

河南大学学报（自然科学版） 2014年第3期44卷 339-346页

作者：苗茹姚凌孙九林吕宁河南大学计算机与信息工程学院河南开封475004 河南大学环境与规划学院河南开封475004 中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101

设计并实现了温室气体遥感反演系统,主要包括两个部分:温室气体遥感自动反演处理和多源卫星数据交叉验证.系统采用.NET框架和IDL程序相结合,快速自动地对卫星遥感数据进行反演运算,同时得到主要温室气体反演产品的柱浓度时空分布.系统... 详细信息

设计并实现了温室气体遥感反演系统,主要包括两个部分:温室气体遥感自动反演处理和多源卫星数据交叉验证.系统采用.NET框架和IDL程序相结合,快速自动地对卫星遥感数据进行反演运算,同时得到主要温室气体反演产品的柱浓度时空分布.系统可以方便地将地基观测数据和国际主要的卫星产品数据进行验证对比和精度分析.应用结果表明,该系统基本满足温室气体遥感监测业务需求,能够提高环保部门的监测能力,在温室气体遥感监测和评价中发挥了重要作用.

关键词：温室气体遥感反演卫星产品验证可视化分析

来源：评论

学校读者我要写书评

暂无评论

林业资源信息云基础设施研究

引用

西北林学院学报 2014年第2期29卷 71-79页

作者：孙伟曹姗姗蒲智符利勇中国科学院资源与环境信息系统国家重点实验室北京100101 新疆农业大学计算机与信息工程学院新疆乌鲁木齐830052 中国林业科学研究院资源信息研究所北京100091

随着大数据时代的来临,林业资源信息基础设施构建、运维和管理模式势必受到大数据科学这一新型科研范式的影响,需为用户按需、弹性、自助、最大限度地提供基础设施云服务。研究应用云计算理论与虚拟化技术,结合林业资源信息基础设施现... 详细信息

随着大数据时代的来临,林业资源信息基础设施构建、运维和管理模式势必受到大数据科学这一新型科研范式的影响,需为用户按需、弹性、自助、最大限度地提供基础设施云服务。研究应用云计算理论与虚拟化技术,结合林业资源信息基础设施现状和需求,设计林业资源信息云基础设施框架结构和部署策略,探讨林业资源信息计算、存储和网络虚拟资源池构建技术,提出全局统一资源池管理模式,并通过把林业资源监管服务系统的传统集群式物理服务器部署方案改为虚拟资源池部署方案进行实例验证。结果表明:林业资源信息云基础设施框架、技术和管理模式是可行的,可有效提升信息资源利用率、能耗和信息服务可用性。

关键词：林业资源信息基础设施虚拟化云服务

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：