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

清华大学学报（自然科学版） 2009年第S2期49卷 2186-2192页

作者：崔宝江国鹏飞王建新北京邮电大学计算机学院北京100876 北京林业大学信息学院北京100083

应用符号执行方法能够获得程序输入和执行路径的对应关系,这种关系对于分析和测试程序的缺陷是十分重要的。符号执行在针对源码的安全审计中有着成功的应用,但由于其自身的特点导致其很难应用到二进制代码的分析中。该文提出了一种符号... 详细信息

应用符号执行方法能够获得程序输入和执行路径的对应关系,这种关系对于分析和测试程序的缺陷是十分重要的。符号执行在针对源码的安全审计中有着成功的应用,但由于其自身的特点导致其很难应用到二进制代码的分析中。该文提出了一种符号执行与实际执行结合的系统模型,解决了符号执行应用于二进制代码分析中的一些难点,在此基础上提出了利用符号执行进行二进制代码分析的新途径。

关键词：符号执行机器指令解析路径约束

来源：评论

学校读者我要写书评

暂无评论

基于中介面加快光线跟踪计算

引用

计算机学报 2007年第2期30卷 262-271页

作者：黄沛杰王文成杨刚吴恩华中国科学院软件研究所计算机科学国家重点实验室北京林业大学信息学院北京100083

提出一种新的光线跟踪方法,以提高光线找到相交面片的效率.它在场景中生成一些面积较大的规整中介面片,然后为中介面上的每个点建立一个场,以记录到达该点的不同方向的光线将相交的面片.由此,光线跟踪时,一条光线可方便地找到相交的中介... 详细信息

提出一种新的光线跟踪方法,以提高光线找到相交面片的效率.它在场景中生成一些面积较大的规整中介面片,然后为中介面上的每个点建立一个场,以记录到达该点的不同方向的光线将相交的面片.由此,光线跟踪时,一条光线可方便地找到相交的中介面,并通过查找中介面上所记录的内容,就能得到它所相交的面片.与已有方法相比,新方法不仅能很好加速主光线与阴影光线的计算,而且能很好地加速反射、折射等二次光线的计算.它能在GPU上方便地实现,并能有效地处理动态场景.

关键词：光线跟踪动态场景预计算中介面图形处理器(GPU)

来源：评论

学校读者我要写书评

暂无评论

生态经济型防护林体系建设模式专家系统的研制开发

引用

林业科学 1996年第2期32卷 134-139页

作者：任勇陆守一王久丽高志义国家环保局环境与经济政策研究中心北京林业大学计算机中心北京林业大学水土保持学院

根据生态经济型防护林体系建设模式系统研究的特点，开发出了专家系统工具和昕水河流域生态经济型防护林体系建设专家系统，应用结果表明该系统的研制和开发在理论和实践中具有重要价值。

关键词：生态经济型防护林体系建设模式专家系统

来源：评论

学校读者我要写书评

暂无评论

交互式沙画模拟算法

引用

计算机辅助设计与图形学学报 2016年第7期28卷 1084-1093页

作者：杨猛贺晓宇胡成王天雪杨刚北京林业大学信息学院北京100083 中国科学院软件研究所计算机科学国家重点实验室北京100190

为了向普通用户和艺术家提供一种简单且超现实的新兴沙画交互方式,提出一种基于Kinect的交互式真实感沙画实时模拟系统与算法.该系统由预处理、用户交互信息获取、沙画实时处理与绘制3个子系统组成.预处理子系统包括真实沙画图像的采集... 详细信息

为了向普通用户和艺术家提供一种简单且超现实的新兴沙画交互方式,提出一种基于Kinect的交互式真实感沙画实时模拟系统与算法.该系统由预处理、用户交互信息获取、沙画实时处理与绘制3个子系统组成.预处理子系统包括真实沙画图像的采集、分析以及统计操作和沙画画笔样式定义操作,二者仅需要执行一次;用户交互信息获取子系统是沙画模拟算法的起始点,主要利用Kinect交互识别用户手势等动作信息,进而完成功能选择或者沙画不同手法的绘制操作;沙画实时处理与绘制子系统通过基于高度场的沙粒堆积算法与沙堆崩塌算法实现勾沙、铺沙、漏沙等沙画手法,进而将画布高度场转换回RGB图像并完成最终模拟效果的绘制操作.用户体验反馈与实验结果表明,文中系统与算法能够真实、有效、实时、交互地进行沙画艺术创作.

关键词：沙画 Kinect 交互识别沙粒堆积沙堆崩塌

来源：评论

学校读者我要写书评

暂无评论

二进制文件同源性检测的结构化相似度计算

引用

北京邮电大学学报 2012年第3期35卷 56-60页

作者：刘春红郭涛崔宝江王建新河南师范大学计算机与信息技术学院河南新乡453007 北京邮电大学计算机学院北京100876 中国信息安全测评中心北京100085 北京林业大学信息学院北京100083

提出了一种利用二进制文件的结构化信息进行软件同源性相似度计算的方法.针对克隆软件的特点,设计了基本块签名,在文件-函数-基本块的层次化结构基础上,构建了基于基本块属性和结构化信息的基本块相似度度量,利用函数的结构化信息构建... 详细信息

提出了一种利用二进制文件的结构化信息进行软件同源性相似度计算的方法.针对克隆软件的特点,设计了基本块签名,在文件-函数-基本块的层次化结构基础上,构建了基于基本块属性和结构化信息的基本块相似度度量,利用函数的结构化信息构建函数权重计算文件相似度,来衡量原文件和目标文件的同源性.针对常见克隆手段进行测试,对所提出的加权相似度算法与不加权算法、主流二进制比对工具的检测结果进行对比.结果表明,加权方法能更准确地衡量出2个文件的相似程度.

关键词：二进制文件同源性检测结构化签名权重

来源：评论

学校读者我要写书评

暂无评论

新千年的思考——计算机理念侃谈

新千年的思考——计算机理念侃谈

引用

全国高等院校计算机基础教育研究会2000年会

作者：毛汉书北京林业大学计算机系(北京)

本文探讨未来计算机教育的某些理念,对于非计算机专业的大学生来讲,不应把计算机基础教育仅看成是一种文化普及,而是新的计算要应用科学;在建立新学科时提倡多样性,不可照搬计算机科学的理论和模式;尽快调整知识结构以迎接信息时代的到来.

关键词：计算机教育知识结构计算机普及

来源：评论

学校读者我要写书评

暂无评论

基于茎干水分包络分析的活立木冻融检测方法

引用

农业机械学报 2021年第8期52卷 263-270页

作者：赵燕东刘宇琦田昊赵玥北京林业大学工学院北京100083 城乡生态环境北京实验室北京100083 北京工商大学计算机与信息工程学院北京100048 智慧林业研究中心北京100083

为解决活立本在越冬期易遭受低温所引发的冻融灾害问题,针对现有评估检测方法存在的检测手段复杂、对活立本破坏性大、设备昂贵和难以实时检测的现状,通过分析活立本在越冬期的茎干水分和环境温度的变化规律,提出一种基于活立木茎干水... 详细信息

为解决活立本在越冬期易遭受低温所引发的冻融灾害问题,针对现有评估检测方法存在的检测手段复杂、对活立本破坏性大、设备昂贵和难以实时检测的现状,通过分析活立本在越冬期的茎干水分和环境温度的变化规律,提出一种基于活立木茎干水分序列包络分析的冻融状况检测方法。在采用具有自主知识产权的活立木冻融检测传感器实时获取活立木茎干水分和环境温度的基础上,通过对照试验选取1320 min作为包络分析的信号采样间隔获取数据的极值信息,以便对活立木的冻融状况进行定量表示。进一步利用活立木茎干水分包络上下线的平均值,并结合环境温度的包络下线值建立归一化的冻融状况评价指标的计算模型,为植物冻融状况的实时检测与评估提供一种新思路、新手段。选用3种不同地区的阔叶树种(紫薇、海棠和香杨树)进行试验验证,整个越冬期紫薇树的冻融状况轻微,对应的冻融指标最高为0.004,远小于1.0;海棠树的冻融状况变化较大,对应的冻融指标在0.1~0.7之间波动变化;香杨树的冻融状况相对严重,对应的冻融指标最高时可达0.9。试验表明本文方法及自主研发的冻融检测传感器准确可靠,可以作为活立木冻融状况检测的有效手段,为植物冻灾预警提供理论及数据支撑。

关键词：活立木茎干冻融包络分析茎干水分冻融指标

来源：评论

学校读者我要写书评

暂无评论

基于SfM的针叶林无人机影像树冠分割算法

引用

农业机械学报 2020年第6期51卷 181-190页

作者：杨全月董泽宇马振宇吴悠崔琪卢昊北京农学院计算机与信息工程学院北京102206 北京林业大学信息学院北京100083 弗莱堡大学环境与自然资源学院弗莱堡79106

利用无人机影像进行森林资源调查具有作业快速便捷、数据分辨率较高、影像细节丰富的特点,可较好地识别单木,获取树木位置、冠幅等信息。但是,厘米级的影像分辨率使基于光谱信息的传统分割算法在提取树冠时出现破碎化现象,产生过分割结... 详细信息

利用无人机影像进行森林资源调查具有作业快速便捷、数据分辨率较高、影像细节丰富的特点,可较好地识别单木,获取树木位置、冠幅等信息。但是,厘米级的影像分辨率使基于光谱信息的传统分割算法在提取树冠时出现破碎化现象,产生过分割结果。同时,在非落叶季由于无人机影像难以观测到茂密林冠下层地形,故在地形起伏较大的林区难以实现基于树木冠层高度模型(CHM)的单木分割方法。针对上述问题,结合传统二维图像处理和SfM三维建模,提出了一种无需高度归一化的无人机影像树冠三维分割提取算法,首先利用SfM技术从高重叠航片建立三维表面模型,利用高程和图像信息检测初始树木位置,再采取kNN自适应邻域分水岭分割的方式对中心单木进行精确的树冠参数提取。在北京市百花山国家级自然保护区的落叶松林地进行了高分辨率无人机影像实验,采用正射影像目视解译结果和多种基于图像、点云的自动分割算法结果进行验证和评价。结果表明,本文方法对树木总体检出率在91%以上,冠幅提取精度在81%以上,优于传统的全局分水岭方法和其他树冠分割算法。

关键词：树冠针叶林分割算法 SfM 无人机

来源：评论

学校读者我要写书评

暂无评论

提高驾驶注意力的个性化训练方案生成方法

引用

北京理工大学学报 2021年第7期41卷 765-773页

作者：梁玮王钰廖章梁李湘媛北京理工大学计算机学院北京100081 湖南省军区数据信息室湖南长沙410011 北京林业大学艺术设计学院北京100083

驾驶注意力是影响驾驶安全性的重要因素之一,但驾驶注意力的训练由于存在高危险性很难开展.针对此问题,本文提出了一种虚拟现实平台下的提高驾驶注意力的个性化训练方案生成方法,该方法借助虚拟现实头盔的眼动跟踪技术,采集用户的注意... 详细信息

驾驶注意力是影响驾驶安全性的重要因素之一,但驾驶注意力的训练由于存在高危险性很难开展.针对此问题,本文提出了一种虚拟现实平台下的提高驾驶注意力的个性化训练方案生成方法,该方法借助虚拟现实头盔的眼动跟踪技术,采集用户的注意力习惯特性,针对用户的习惯特性,自动优化生成个性化驾驶训练方案.在实验中,用户可以在已生成的训练方案中进行个性化驾驶注意力训练,并进行训练后的水平评估,通过对比训练前与训练后的效果评价本文提出的方法,实验结果表明,该方法可有效提升用户的驾驶注意力水平,并且优于传统训练方法.

关键词：虚拟驾驶驾驶注意力个性化训练

来源：评论

学校读者我要写书评

暂无评论

一种针对物联网智能系统的规则冲突检测方法

引用

计算机研究与发展 2023年第3期60卷 592-605页

作者：杨波郭浩然冯俊辉李戈金芝北京林业大学信息学院北京100083 北方工业大学信息学院北京100144 国家林业和草原局林业智能信息处理工程技术研究中心(北京林业大学) 北京100083 北京大学计算机学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

物联网系统架构的核心是逻辑控制器,逻辑控制器中使用规则控制业务逻辑,减少物联网系统的开发、维护成本,提高物联网设备的灵活性.但随着物联网系统的规模扩大,规则间的关系变得复杂,从而可能产生规则冲突.为避免规则发生冲突,一些研究... 详细信息

物联网系统架构的核心是逻辑控制器,逻辑控制器中使用规则控制业务逻辑,减少物联网系统的开发、维护成本,提高物联网设备的灵活性.但随着物联网系统的规模扩大,规则间的关系变得复杂,从而可能产生规则冲突.为避免规则发生冲突,一些研究者提出了规则冲突检测方法.但是,以往的规则冲突检测方法还存在规则冲突类型分析不全面、检测结果准确性较低的问题.为此提出一种针对物联网系统控制逻辑的形式化规则冲突检测方法(formal rule conflict detection,FRCD).该方法首先形式化定义规则及规则冲突,其中将规则定义为控制主体、动作、触发条件、符号的组合;然后根据规则对系统的影响以及规则的结构特征,总结出7类规则冲突类型;最后设计规则冲突检测的算法,并介绍规则冲突检测的详细过程.在2个物联网系统上开展实验,与已有的3种典型的物联网规则冲突检测方法进行对比.这3种方法分别是基于用户、触发器、环境实体和作动器的冲突检测方法(user,triggers,environment entities,and actuators,UTEA)、基于Web语义的策略冲突检测方法(semantic Web-based policy interaction detection with rules,SPIDER)和半形式化的冲突检测方法(identifying requirements interactions using semiformal,IRIS).实验结果显示,FRCD规则冲突检测方法效果更好.

关键词：物联网智能系统规则冲突冲突检测规则形式化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：