您的位置: 专家智库 > >

杨秀娟

作品数:6 被引量:15H指数:3
供职机构:黑龙江科技学院计算机与信息工程学院更多>>
发文基金:黑龙江省自然科学基金黑龙江省教育厅科学技术研究项目更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 5篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇最近邻
  • 3篇反向最近邻
  • 3篇查询
  • 2篇形式化
  • 2篇形式化分析
  • 2篇数据库
  • 2篇最近邻查询
  • 2篇近邻查询
  • 2篇空间数据
  • 2篇空间数据库
  • 2篇反向最近邻查...
  • 2篇安全协议
  • 1篇大学计算机
  • 1篇大学计算机基...
  • 1篇大学计算机基...
  • 1篇对象查询
  • 1篇形式化验证
  • 1篇最近邻算法
  • 1篇网络
  • 1篇无线传感

机构

  • 6篇黑龙江科技学...

作者

  • 6篇杨秀娟
  • 4篇董军
  • 2篇赵艳芹
  • 1篇吕宗宝
  • 1篇高宇
  • 1篇王国权

传媒

  • 1篇煤炭技术
  • 1篇黑龙江科技信...
  • 1篇煤矿机械
  • 1篇计算机工程与...
  • 1篇网络安全技术...
  • 1篇计算机技术与...

年份

  • 2篇2011
  • 2篇2009
  • 1篇2008
  • 1篇2007
6 条 记 录,以下是 1-6
排序方式:
空间对象的双色反向最近邻查询研究被引量:1
2009年
反向最近邻查询是空间数据库中最重要的算法之一。反向最近邻又分为双色反向最近邻查询和单色反向最近邻查询。平常所说的反向最近邻都是单色反向最近邻查询的情况,它的查询点和查询点集合是同一类型的。而对于双色反向最近邻还没有研究。针对这一情况,本文以半平面修剪策略为判断方法,提出了一种双色反向最近邻的查询算法,经过分析和实验证明,该算法能够实现双色反向最近邻的查询。
杨秀娟
关键词:空间数据库最近邻查询反向最近邻查询
基于串空间模型安全协议形式化分析方法的研究被引量:7
2008年
从串空间模型理论入手,提出了三种典型的串空间形式化方法(基于极小元理论的串空间方法、基于理想与诚实理论的串空间方法、基于认证测试理论的串空间方法),并对每一种方法的证明步骤及优缺点进行了分析。在此基础上,应用提出的串空间方法对Yahalom协议的秘密性和认证性进行了分析。分析结果表明利用不同方法的优点,能更好地保证安全协议形式化分析的准确性。
董军杨秀娟赵艳芹
关键词:串空间安全协议
非计算机专业大学计算机基础课程教学改革的探讨被引量:4
2011年
对高校非计算机专业的大学计算机基础教学的现状进行分析,指出目前非计算机专业大学计算机基础教学的弊端,提出改进的方案和具体的实施方法。
杨秀娟王国权高宇
关键词:大学计算机基础教学非计算机专业
基于反向最近邻算法煤矿井下移动对象查询被引量:1
2011年
煤矿井下突发安全事故后,科学判断出救助点周围人员的分布是制定救援方案的关键。本文将反向最近邻的查询算法加以改进,用于查询救助点周围井下人员的分布情况,为实施最有效的救援提供依据。实验表明该算法适用于井下无线传感器网络中的移动对象的反向最近邻查询。
董军杨秀娟吕宗宝
关键词:反向最近邻无线传感器网络
移动对象的动态反向k最近邻研究被引量:3
2009年
反向最近邻查询是空间数据库中最重要的算法之一。传统的反向最近邻查询方法主要是针对静态对象的查询,随着无线通讯和定位技术的快速发展,移动对象发出的查询请求成为新的研究热点。该文将TPR-tree作为算法的索引结构,并提出了基于矩形框的对角线的修剪策略,将半平面修剪策略进行改进,给出了移动对象的动态反向k最近邻的查询方案。
董军杨秀娟
关键词:空间数据库最近邻查询反向最近邻查询TPR-树
安全协议的形式化验证技术与方法
2007年
本文从安全协议形式化验证方法所应用的技术手段、技术特点入手,对安全协议的形式化验证方法进行了总结和分类。并对安全协议形式化验证若干热点研究方向进行了归纳和展望。
董军杨秀娟赵艳芹
关键词:安全协议形式化分析
共1页<1>
聚类工具0