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

河南理工大学学报（自然科学版） 2017年第6期36卷 69-74页

作者：马潇潇于刚李长春河南理工大学测绘与国土信息工程学院河南焦作454000 郑州信息科技职业学院建筑工程学院河南郑州450046 中国人民解放军信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

无人机遥感在勘探救援、灾情评估、灾后重建等领域的重要性日渐凸显,而无人机影像数据处理的2大关键技术即快速拼接和信息提取仍处于研究阶段。针对SURF算法和SVM算法存在的问题,首先对SURF-64与SURF-36进行比较,并经实验证明采用64维... 详细信息

无人机遥感在勘探救援、灾情评估、灾后重建等领域的重要性日渐凸显,而无人机影像数据处理的2大关键技术即快速拼接和信息提取仍处于研究阶段。针对SURF算法和SVM算法存在的问题,首先对SURF-64与SURF-36进行比较,并经实验证明采用64维向量描述特征点更适合于无人机影像数据处理,可达到高效、准确拼接的目的;然后采用2种改进SVM算法对拼接影像进行信息提取,并与传统SVM算法进行比较。实验表明,2种改进算法在信息提取精度、算法泛化能力方面均有不同程度的提高和增强。

关键词： SURF SVM 无人机影像数据处理算法

来源：评论

学校读者我要写书评

暂无评论

自动跟踪动态临界占有率的匝道协调控制方法

引用

交通运输工程学报 2016年第2期16卷 150-158页

作者：徐堃柴干李清泉郭建华李晓达武汉大学测绘遥感信息工程国家重点实验室湖北武汉430072 武汉理工大学智能交通系统研究中心湖北武汉430070 东南大学智能运输系统研究中心江苏南京210096 西北大学数学学院陕西西安710127

为了解决高速公路主线合流区交通拥挤与入口匝道排队溢出问题,提出了一种入口匝道协调控制方法,依据主线合流区交通状态和入口匝道排队长度设计需要协调控制的匝道个数,以扩大协调匝道组的空间容量,增大截留进入主线交通拥挤区域车辆的... 详细信息

为了解决高速公路主线合流区交通拥挤与入口匝道排队溢出问题,提出了一种入口匝道协调控制方法,依据主线合流区交通状态和入口匝道排队长度设计需要协调控制的匝道个数,以扩大协调匝道组的空间容量,增大截留进入主线交通拥挤区域车辆的能力;应用实时检测的主线合流区通过量和占有率估计主线动态临界占有率,采用入口匝道调节率自动跟踪主线合流区动态临界占有率的变化,以提高主线通过量;采用匝道相对排队长度设计启发式规则,以提高入口匝道协调控制能力,防止排队溢出;以沪宁高速公路G42为仿真背景,应用VISSIM仿真软件,从路网性能、主线合流区交通状态和匝道排队长度三方面对提出方法的控制效果进行评价。计算结果表明:相比于无控制算法,采用控制方法的总行程时间减少约8.44%,路网平均延误减少约62.97%;采用ALINEA算法的总行程时间减少约2.85%,路网平均延误减少约21.20%;采用Linked-control算法的总行程时间减少约6.00%,路网平均延误减少约56.17%;采用控制方法的主线合流区的交通通过量在交通状态突变时增加了540veh·h-1,且各个匝道之间排队长度更加均衡。可见,提出方法控制效果优良。

关键词：交通控制排队长度匝道协调控制方法动态临界占有率主线合流区

来源：评论

学校读者我要写书评

暂无评论

一类非线性方程边值问题的匹配渐近解

引用

系统科学与数学 2015年第6期35卷 723-728页

作者：周在莹林万涛石兰芳莫嘉琪安徽师范大学数学计算机科学学院芜湖241003 清华大学数学科学系北京100084 中国科学院大气物理研究所大气科学和地球流体力学数值模拟国家重点实验室北京100029 南京信息工程大学数学与统计学院南京210044

利用匹配方法考虑了一类非线性方程边值问题的角层解.首先,由退化问题来决定问题的角层的位置.然后,构造零次近似的外部解和零次近似的内层解,并且对零次近似的外部解和零次近似的内层解进行匹配,由此便得到解的零次近似的形式合成展开... 详细信息

利用匹配方法考虑了一类非线性方程边值问题的角层解.首先,由退化问题来决定问题的角层的位置.然后,构造零次近似的外部解和零次近似的内层解,并且对零次近似的外部解和零次近似的内层解进行匹配,由此便得到解的零次近似的形式合成展开式.继而构造一次近似的外部解和一次内层解,并且对一次近似的外部解和一次近似的内层解进行匹配,由此便得到解的一次近似的形式合成展开式.最后利用微分不等式理论证明了得到的一次近似的合成展开式是一致有效的渐近展开式.

关键词：非线性方程角层外部解内层解

来源：评论

学校读者我要写书评

暂无评论

基于MILP的相关密钥差分分析安全评估算法改进

引用

密码学报 2023年第1期10卷 181-194页

作者：周春宁张文涛曹文芹中国科学院信息工程研究所信息安全国家重点实验室北京100093 中国科学院大学网络空间安全学院北京100049 山东理工大学数学与统计学院淄博255000

近年来,基于混合整数线性规划(MILP)的密码分析方法在对称密码的安全性分析中发挥了重要作用. Zhou等人在FSE 2020上提出了结合分治法,大幅度提高基于MILP的差分和线性特征搜索方法效率.本文将Zhou等人的方法扩展到相关密钥差分特征搜索... 详细信息

近年来,基于混合整数线性规划(MILP)的密码分析方法在对称密码的安全性分析中发挥了重要作用. Zhou等人在FSE 2020上提出了结合分治法,大幅度提高基于MILP的差分和线性特征搜索方法效率.本文将Zhou等人的方法扩展到相关密钥差分特征搜索,提出了一种更高效的基于MILP的相关密钥差分分析安全评估新算法.应用新算法评估了PRESENT-80/128抵抗相关密钥差分分析的安全性,得到了高达15轮的最小活跃S盒数量和高达12轮的最优相关密钥差分特征,并由此得到了迄今最紧的PRESENT-80/128抵抗相关密钥差分分析安全界.找到了一条概率为2^(-62)的15轮PRESENT-80相关密钥差分特征,和一条概率为2-60的16轮PRESENT-128相关密钥差分特征,是目前对于PRESENT-80/128轮数最长的相关密钥差分特征.

关键词：分组密码相关密钥差分分析 MILP PRESENT-80/128

来源：评论

学校读者我要写书评

暂无评论

一种基于子树交汇点的多子网拓扑发现算法

引用

计算机应用与软件 2015年第8期32卷 121-126页

作者：曾光陈性元杜学绘王超解放军信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

准确、及时的网络拓扑信息对网络管理、协议设计和网络安全等领域工作具有重要意义。针对包含哑设备的大型、异构多子网拓扑发现问题,提出一种基于子树交汇点的物理拓扑发现算法。算法通过围绕子树交汇点,利用改进的连接信息扩展规则进... 详细信息

准确、及时的网络拓扑信息对网络管理、协议设计和网络安全等领域工作具有重要意义。针对包含哑设备的大型、异构多子网拓扑发现问题,提出一种基于子树交汇点的物理拓扑发现算法。算法通过围绕子树交汇点,利用改进的连接信息扩展规则进行连接判定与信息推理补完,自顶向下的进行拓扑发现。理论分析与实验结果表明,该算法能够利用不完整的地址转发表构建出整个网络拓扑结构,在发现效率和准确性等方面都有了较大提高。

关键词：物理拓扑子网拓扑树交汇点可达节点集扩展规则

来源：评论

学校读者我要写书评

暂无评论

基于剪贴板监控的电子文档多级保护

引用

计算机与现代化 2015年第6期 12-18页

作者：张擂李清宝贾天江周登元解放军信息工程大学河南郑州450000 数学工程与先进计算国家重点实验室河南郑州450000

电子文档保护是信息防泄漏的重要内容。在对现有电子文档保护技术分析的基础上,提出一种基于剪贴板监控的电子文档多级保护技术。针对传统剪贴板监控在文档保护方面的不足,提出一种可获得文档路径的剪贴板监控策略;根据不同应用对文档... 详细信息

电子文档保护是信息防泄漏的重要内容。在对现有电子文档保护技术分析的基础上,提出一种基于剪贴板监控的电子文档多级保护技术。针对传统剪贴板监控在文档保护方面的不足,提出一种可获得文档路径的剪贴板监控策略;根据不同应用对文档保护的不同需求,提出一种动态可调的文档分级保护策略;基于剪贴板监控所获得信息完成对文档的实时动态保护,并设计实现相应的原型系统。实验结果表明,所提出的基于剪贴板监控的电子文档保护能够根据文档保护需求防止文档内容通过剪贴板泄露。

关键词：剪贴板监控文档保护信息防泄漏

来源：评论

学校读者我要写书评

暂无评论

程序分析课程的多元化教学方法探索

引用

计算机教育 2016年第11期 92-95页

作者：曹琰魏强周岩信息工程大学数学工程与先进计算国家重点实验室河南郑州450000 河南工程学院计算机学院河南郑州450000

针对程序分析课程知识点多且各成体系相对独立的特点,分析各知识单元的教学目标及任务,提出启发式教学、实例化教学、实践化教学、对话式教学和类比法教学5种多元化的教学手段,并具体说明这5种教学手段的实施方法。

关键词：程序分析多元化启发式实例化实践化对话式类比法

来源：评论

学校读者我要写书评

暂无评论

开放域事件触发词抽取技术研究

引用

通信技术 2017年第1期50卷 24-29页

作者：苏晓丹周刚陈海勇丁宣宣解放军信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

开放域事件定义与传统事件定义不同,主要以任意领域的事件触发词为核心,并包括与其关联的时间、地点、人物、数量等多种元素构成的结构化数据,是不可预测的。在开放域触发词抽取中,提出了一种基于规则和二值分类相结合的混合模型方法(简... 详细信息

开放域事件定义与传统事件定义不同,主要以任意领域的事件触发词为核心,并包括与其关联的时间、地点、人物、数量等多种元素构成的结构化数据,是不可预测的。在开放域触发词抽取中,提出了一种基于规则和二值分类相结合的混合模型方法(简称R-Two模型),规则方法需人工构建规则,具有抽取速度快、表征能力强的优点,但也存在规则不完备、过分依赖句法分析的缺点。二值分类法的训练过程虽然比较繁琐,但抽取的准确率高且受句法分析影响小,故将二者融合,并通过实验证明融合方法的有效性。

关键词：开放域触发词规则二值分类

来源：评论

学校读者我要写书评

暂无评论

基于SPOC平台的翻转课堂教学研究

引用

计算机教育 2017年第9期 77-81页

作者：曹琰王禹丁文博魏强信息工程大学数学工程与先进计算国家重点实验室河南郑州450000 河南工程学院计算机学院河南郑州450000

针对漏洞分析课程存在理解抽象、实践性强、前序知识依赖度高的特点,构建涵盖流媒体、实验环境和知识体系导教的SPOC教学平台,提出基于SPOC平台开展漏洞分析课程翻转课堂教学改革的方法,从线上线下课堂、实验教学和考核方式等方面阐述... 详细信息

针对漏洞分析课程存在理解抽象、实践性强、前序知识依赖度高的特点,构建涵盖流媒体、实验环境和知识体系导教的SPOC教学平台,提出基于SPOC平台开展漏洞分析课程翻转课堂教学改革的方法,从线上线下课堂、实验教学和考核方式等方面阐述具体改革内容。

关键词：漏洞分析私播课翻转课堂

来源：评论

学校读者我要写书评

暂无评论

gfp-模型的描述逻辑FLε的循环术语集推理

引用

计算机工程与应用 2010年第12期46卷 32-37页

作者：覃俊明耿继兵王驹蒋运承广西师范大学数学科学学院广西桂林541004 广西师范大学计算机科学与信息工程学院广西桂林541004 中国科学院计算机科学国家重点实验室北京100190

描述逻辑(DL)一族知识表示形式系统,是人工智能领域的一个热门研究方向。循环定义下描述逻辑系统的表达在许多情况下更符合人们的直觉,而且具有更强的表达力,是非循环定义下的描述逻辑系统不可代替的。首先给出描述逻辑系统FLε有最大... 详细信息

描述逻辑(DL)一族知识表示形式系统,是人工智能领域的一个热门研究方向。循环定义下描述逻辑系统的表达在许多情况下更符合人们的直觉,而且具有更强的表达力,是非循环定义下的描述逻辑系统不可代替的。首先给出描述逻辑系统FLε有最大不动点模型的证明,然后初步探讨基于最大不动点语义下描述逻辑系统FLε循环定义的包含关系推理算法,并给出算法的可靠性和完全性证明。

关键词：描述逻辑 FLε 循环术语集最大不动点语义描述图图模拟

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：