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

计算机研究与发展 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规则冲突检测方法效果更好.

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

来源：评论

学校读者我要写书评

暂无评论

"单翼分解"下的纯度函数失效分析

"单翼分解"下的纯度函数失效分析

引用

第三届中国数据挖掘学术会议(CCDM2009)

作者：王宇晖业宁南京林业大学计算机科学与工程系南京 210037

纯度函数所衡量的纯度是决策树生成的依据，然而在某些情形下某些纯度函数却会失效，测不出纯度的变化。关于纯度函数失效的原因，有些文献只给出了含糊的解释，认为这是由于某些函数的预测性能比另一些更好。为了清晰地说明纯度函数失... 详细信息

纯度函数所衡量的纯度是决策树生成的依据，然而在某些情形下某些纯度函数却会失效，测不出纯度的变化。关于纯度函数失效的原因，有些文献只给出了含糊的解释，认为这是由于某些函数的预测性能比另一些更好。为了清晰地说明纯度函数失效的原因，本文首先拓展了纯度函数的定义，得到了一种能够方便地运用数学方法的新的纯度函数形式;并在这种新的纯度函数形式的基础上，在数学上严格地证明了，为什么有些纯度函数在这些情况下会失效，而另外的一些却不会。所谓的"预测性能好"，其实质是什么。本文将指出，这种"预测性能"实际上与纯度函数某种特殊的"凹凸性"有关。这种凹凸性只在特定的方向才呈现出来。本文将通过若干定理，阐明如何通过赫斯矩阵寻找这些特定的方向;对于纯度函数，这种方向又是什么;这些方向上所展示的凹凸性有是如何影响函数的"预测性能"的。最后通过若干实验数据，形象地展示了文章中的结论。

关键词：决策树赫斯矩阵纯度分解失效基尼

来源：评论

学校读者我要写书评

暂无评论

嵌入式系统的C语言编程

嵌入式系统的C语言编程

引用

2006年第四届全国高校嵌入式系统教学研讨会第一届全国嵌入式系统学术交流会

作者：何煦岚夏霖朱正礼南京林业大学信息学院计算机系南京210037

本文介绍了嵌入式系统的C语言编程的一些重要特征,从工程设置、数据结构、算法设计三个方面进行说明.通过和PC机编程过程相比较,指出了嵌入式系统编程本身特有的属性和方法.通过对各个编程环节的分析和嵌入式系统自身特点的研究,提出了... 详细信息

本文介绍了嵌入式系统的C语言编程的一些重要特征,从工程设置、数据结构、算法设计三个方面进行说明.通过和PC机编程过程相比较,指出了嵌入式系统编程本身特有的属性和方法.通过对各个编程环节的分析和嵌入式系统自身特点的研究,提出了一些提高编程质量的思路.

关键词：嵌入式系统 C语言编程字节序数据结构算法设计工程设置

来源：评论

学校读者我要写书评

暂无评论

基于分治策略的无线传感器网络屏障覆盖算法

基于分治策略的无线传感器网络屏障覆盖算法

引用

第五届江苏计算机大会

作者：刘晓峰业宁李国宝南京林业大学计算机科学与工程系南京 210037

利用无线传感器网络构建防护屏障以监测重要重要场所的未经授权闯入者是目前物联网的一个重要应用领域.大多数研究集中于如何在一个矩形区域内构建传感器屏障以探测只能沿受限路线移动的闯入者.提出了一个针对传感器基于泊松分布的此问... 详细信息

利用无线传感器网络构建防护屏障以监测重要重要场所的未经授权闯入者是目前物联网的一个重要应用领域.大多数研究集中于如何在一个矩形区域内构建传感器屏障以探测只能沿受限路线移动的闯入者.提出了一个针对传感器基于泊松分布的此问题完整解决方案,可以满足在任意的形状区域内构建带状传感器屏障以探测闯入者.实验证髓,该算法能有效减少延迟、验证开销以及拓扑初始化时的计算开销.

关键词：无线传感器网络屏障覆盖算法分治策略泊松分布

来源：评论

学校读者我要写书评

暂无评论

浅析未来智能财务软件体系结构

引用

中国管理信息化 2007年第10期10卷 12-14页

作者：吴胜张智光南京林业大学经济管理学院徐州师范大学计算机科学与技术学院江苏徐州221116

本文首先界定了智能财务软件的内涵,然后按照技术实现方法把智能财务软件分为智能算法、知识工程、海量信息、概念语义、自然交互等5类。在此基础上,本文分析了智能财务软件的发展方向,并提出了未来智能财务软件的体系结构。

关键词：财务软件人工智能智能财务软件

来源：评论

学校读者我要写书评

暂无评论

度量空间中某类泛函极小的Hlder连续性

引用

安徽师范大学学报（自然科学版） 2012年第2期35卷 103-106页

作者：陈平刘海蓉安徽师范大学数学计算机科学学院安徽芜湖241000 南京林业大学理学院江苏南京210037

主要研究了牛顿空间中泛函F(u,gu)=∫f(u,gu)dμ的极小问题,其中对某常数c>0,泛函满足gup-c|u|p≤f(u,gu)≤gpu+c|u|p.牛顿空间是Sobolev空间在度是空间中的推广,具有更一般的性质.在该空间中研究偏微分方程,对建立更一般的偏微分方... 详细信息

主要研究了牛顿空间中泛函F(u,gu)=∫f(u,gu)dμ的极小问题,其中对某常数c>0,泛函满足gup-c|u|p≤f(u,gu)≤gpu+c|u|p.牛顿空间是Sobolev空间在度是空间中的推广,具有更一般的性质.在该空间中研究偏微分方程,对建立更一般的偏微分方程理论具有指导和开拓意义.本文利用De Giorgi迭代的方法研究了该泛函极小的正则性,证明了该泛函极小的Hlder连续性.这使得我们在不求精确解的情况下,利用方程本身的条件可以对方程解进行数值估计.

关键词： Newton空间 Hlder连续性 De Giorgi迭代

来源：评论

学校读者我要写书评

暂无评论

新的基于综合特征的新闻事件分割方法

引用

计算机工程与应用 2009年第31期45卷 233-236页

作者：刘文萍蒋小森北京林业大学信息学院数字媒体教研室北京100083 北方工业大学计算机系北京100041

提出了一种基于新闻视频中的标题字幕信息和音视频特征对新闻事件进行分割的方法,并实现了一个新闻事件分割、浏览和检索的原型系统。提出的方法综合利用新闻视频中的标题检测、主持人画面检测以及静音片段和语者切换检测技术分割整段... 详细信息

提出了一种基于新闻视频中的标题字幕信息和音视频特征对新闻事件进行分割的方法,并实现了一个新闻事件分割、浏览和检索的原型系统。提出的方法综合利用新闻视频中的标题检测、主持人画面检测以及静音片段和语者切换检测技术分割整段新闻中的新闻事件。实验结果表明,该方法较仅利用标题的新闻事件分割方法在分割准确性上有了显著提高。

关键词：视频检索新闻事件分割文字提取语者切换检测静音片段检测

来源：评论

学校读者我要写书评

暂无评论

基于Leap Motion小鼠卵巢切割模拟算法

引用

系统仿真学报 2016年第9期28卷 2207-2213页

作者：李浩杨猛胡杰焦昊翟莹郄薇杨刚北京林业大学信息学院北京100083 中国科学院软件研究所计算机科学国家重点实验室北京100190

提出一种基于Leap Motion的对小鼠卵巢进行切割的实验模拟方法。精确采集小鼠各主要器官的真实形态数据;然后对这些数据特征进行深入分析,并利用3ds MAX进行精细建模;将三维模型导入Unity3D中,搭建虚拟实验环境并创建Leap Motion接口;... 详细信息

提出一种基于Leap Motion的对小鼠卵巢进行切割的实验模拟方法。精确采集小鼠各主要器官的真实形态数据;然后对这些数据特征进行深入分析,并利用3ds MAX进行精细建模;将三维模型导入Unity3D中,搭建虚拟实验环境并创建Leap Motion接口;通过基于碰撞点形成平面的切割算法来实现对小鼠卵巢的切割模拟,并通过基于运动学的形变算法实现形变模拟。该切割算法通过虚拟器械与模型网格的碰撞,以碰撞点和摄像机形成的平面对模型网格进行切割和网格重建。实验结果表明:该算法能够真实、有效地对小鼠卵巢模型的切割进行模拟,同时能够真实再现现实实验的操作体验。

关键词：生物实验虚拟交互 Leap Motion 切割算法形变算法

来源：评论

学校读者我要写书评

暂无评论

基于形态特征真实感月季大规模建模算法

引用

系统仿真学报 2015年第10期27卷 2328-2336页

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

提出一种基于形态特征的月季单株植株建模及大规模园林场景模拟方法。精确采集月季植株各主要器官的真实形态数据;对这些数据特征进行深入分析,获取诸如黄金分割等形态特性;以这些特性为基础建立单株植株主枝与各层分枝间、枝与叶间的... 详细信息

提出一种基于形态特征的月季单株植株建模及大规模园林场景模拟方法。精确采集月季植株各主要器官的真实形态数据;对这些数据特征进行深入分析,获取诸如黄金分割等形态特性;以这些特性为基础建立单株植株主枝与各层分枝间、枝与叶间的拓扑关系,同时模拟茎、叶、花、刺等各器官以生成完整的植株;通过基于角策略的Poisson Disk Tiles分布模型生成大规模园林月季场景。实验结果表明:算法能够真实、有效地生成多种不同形态的单株月季植株并模拟大规模园林月季场景,具有广泛应用价值和广阔发展前景。

关键词：月季建模形态特征黄金分割大规模

来源：评论

学校读者我要写书评

暂无评论

基于SURF特征点的图像配准系统

引用

计算机应用 2011年第A01期31卷 73-75页

作者：赵毅力徐丹潘志庚西南林业大学计算机与信息科学系昆明650224 云南大学计算机科学与工程系昆明650091 浙江大学CAD&CG国家重点实验室杭州310027

提出一种基于SURF特征点的图像自动配准方法。首先在图像的尺度空间中提取特征点,然后对特征点进行亚像素定位,并赋予主方向。根据特征点邻域信息分布计算得到特征向量后,利用最近邻特征点距离与次近邻特征点距离之比得到初始匹配点对... 详细信息

提出一种基于SURF特征点的图像自动配准方法。首先在图像的尺度空间中提取特征点,然后对特征点进行亚像素定位,并赋予主方向。根据特征点邻域信息分布计算得到特征向量后,利用最近邻特征点距离与次近邻特征点距离之比得到初始匹配点对。然后使用RANSAC算法剔除错误匹配特征点对,同时计算得到图像之间的变换参数。实验结果表明该方法能够实现不同分辨率图像的自动配准。

关键词：图像配准特征匹配鲁棒估计

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：