您的位置： 专家智库 > >

杨红丽

作品数：29 被引量：64H指数：5
供职机构：北京工业大学更多>>
发文基金：国家自然科学基金北京市自然科学基金中国博士后科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 20篇期刊文章
  • 6篇专利
  • 2篇会议论文
  • 1篇学位论文

领域

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

主题

  • 9篇网络
  • 7篇XML
  • 6篇无线传感
  • 6篇无线传感器
  • 6篇传感器
  • 6篇SCHEMA
  • 5篇数据收集协议
  • 5篇无线传感器网
  • 5篇无线传感器网...
  • 5篇感器
  • 5篇传感
  • 5篇传感器网
  • 5篇传感器网络
  • 4篇神经网
  • 4篇神经网络
  • 4篇XML_SC...
  • 3篇特征提取
  • 3篇主成分
  • 3篇主成分分析
  • 3篇UPPAAL

机构

  • 28篇北京工业大学
  • 3篇中国科学院软...
  • 3篇西安普瑞米特...
  • 2篇北京大学
  • 2篇中国科学院大...
  • 1篇北京建筑工程...
  • 1篇深圳大学

作者

  • 29篇杨红丽
  • 6篇廖湖声
  • 6篇李玉鑑
  • 4篇刘科
  • 3篇严俊
  • 3篇王非
  • 3篇秦胜潮
  • 2篇裘宗燕
  • 2篇吕关锋
  • 2篇罗卿
  • 2篇张健
  • 2篇才智
  • 2篇赵瑞芳
  • 2篇武文佳
  • 2篇胡世超
  • 1篇张乃孝
  • 1篇陈晨
  • 1篇李达
  • 1篇陈瑶
  • 1篇胡海鹤

传媒

  • 6篇计算机应用与...
  • 3篇软件导刊
  • 2篇北京工业大学...
  • 2篇计算机应用
  • 2篇计算机科学
  • 1篇传感器世界
  • 1篇计算机研究与...
  • 1篇北京大学学报...
  • 1篇传感技术学报
  • 1篇软件工程与应...
  • 1篇2012中国...
  • 1篇第30届中国...

年份

  • 3篇2019
  • 10篇2017
  • 6篇2016
  • 3篇2015
  • 1篇2014
  • 2篇2013
  • 2篇2012
  • 1篇2011
  • 1篇2007
共 29 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
智能家居产品综述被引量：15
2011年
以国内外各种智能家居产品为基础,主要介绍了智能家居产品的概念,国内外相关产品,智能家居相关技术的研究,最后通过对用户的调查,总结得出了当前用户的需求,并且对智能家居的未来发展做了展望。
张艳秋李达陈琦杨红丽贺康田丰刘洋朱滨
关键词：智能家居安防报警智能控制问卷分析
面向Twig查询的XML类型推导
Twig查询是XML数据查询的核心操作在复杂的XML数据处理中,Twig查询结果的类型信息可以用于优化后续的XML数据查询与处理针对这种情况,分析了Twig查询的类型推导问题,提出了一种精确的XML类型推导方法,能够根据...
罗卿廖湖声杨红丽
关键词：XMLTWIG查询XMLSCHEMA
基于PAT的WSNs安全分簇协议建模与验证被引量：1
2017年
在目前协议安全问题日益突出的情况下,针对无线传感器网络中典型的分簇协议LEACH进行安全性改进的版本也越来越多,但这些版本是否真正安全并不确定。基于形式化建模的思想,以LEACH的安全协议版本ORLEACH协议为例,分别建立簇头节点、簇成员节点、监控节点以及攻击节点的CSP模型,并使用模型检查工具PAT对其进行验证,分析在攻击节点存在的情况下,协议是否能够满足网络的安全需求。验证结果表明,尽管ORLEACH协议中加入了安全机制,但是协议仍然不能抵挡某些攻击行为的发生。
王丽丹杨红丽
关键词：安全协议无线传感器网络CSPPAT
基于Android平台的黑盒测试生成工具的研究对比被引量：2
2017年
随着移动互联网技术迅速发展,移动设备成为人们生活中必不可少的部分,其中Android手机占有了智能手机的主要市场。相对于传统软件,Android应用易于发布、开发周期短,但其质量常常难以保证。软件测试是用于保证软件质量的最常用方法,其中关键的步骤是如何生成合适的测试用例,而对于事件驱动型Android应用程序,关键在于如何生成合理的事件序列辅助测试过程。目前,已有一些研究者开发了面向Android应用的测试事件生成工具。针对三种典型的测试生成工具,分析了其工作原理与特性;并选取覆盖多种类别的40个应用程序作为基准测试集,设计了统一的测试框架,对工具的兼容性、易用性、测试时间和程序覆盖能力等特点进行了分析与对比,并根据相关测试工具的缺陷提出一定的创新性的解决方案。
燕季薇黄晓伟严俊张健杨红丽
关键词：ANDROID应用黑盒测试
一种计算机智能识别的深层神经网络结构设计方法
一种计算机智能识别的深层神经网络结构设计方法，对于图像而言，由于相邻像素间的相关性，这就使得可以使用更少的数据表示同一个事物，降低数据维度。选定网络初始层数；输入层神经元个数为训练样本维数；是否需要归一化；训练样本做主成...
李玉鑑杨红丽时康凯
基于模型检查的XML Schema特征提取
XQuery用于查询XML文档，对XQuery查询优化有助于提高查询效率，有重要的研究意义。树模式把XQuery表示成树结构的查询，如何基于XML Schema对树模式进行优化是当前的研究热点，需要利用XML Schem...
刘科杨红丽廖湖声吕关锋高雁飞
关键词：XMLSCHEMA
基于模型检查的XML Schema特征提取被引量：5
2012年
XQuery用于查询XML文档,对XQuery查询优化有助于提高查询效率,有重要的研究意义。树模式把XQuery表示成树结构的查询,如何基于XML Schema对树模式进行优化是当前的研究热点,需要利用XML Schema的一些特征进行树模式优化,因此如何自动提取XML Schema的特征是需要解决的问题。提出基于模型检查的XML Schema特征提取方法。首先把XML Schema转换成Schema图,进而转换成模型检查器NuSMV的输入模型,从而可以对时态逻辑公式表示的XML Schema特征进行检查,提取的孩子关系以及子孙关系特征可以用于树模式优化。
刘科杨红丽廖湖声吕关锋高雁飞
关键词：XMLSCHEMA
一种基于多个基站的精确定位方法
一种基于多个基站的精确定位方法，通过移动终端与服务器端的数据交换来达到通过基站的数据实现精准定位的目的；在此过程中，需要对基站数据进行一系列的筛选工作，同时对获得的原始数据进行离散变换以求得最优解；求解的过程中会根据实际...
才智时康凯杨红丽
基于CBMC有界模型检测的无线抄表路由协议验证
2016年
针对工业界实现的无线抄表路由协议WM2RP(Wireless Meter Reading Routing Protocol),提出将CBMC有界模型检测工具运用到该协议实现的验证方法。WM2RP协议实现是嵌入式C程序,CBMC工具主要针对嵌入式软件的验证,运用CBMC对WM2RP进行验证十分适用。CBMC能够直接对C/C++源码进行验证,这样不仅省去了传统模型检测技术需要对代码抽象建模的工作,而且不用担心模型和代码之间可能存在的不一致性问题。首先利用CBMC系统自生成断言验证技术,找到WM2RP协议实现中可能存在的漏洞,并对实现协议的公司给予反馈。然后进一步借助CBMC提供的用户自定义断言技术,通过自定义断言的插入以及对实现代码的适当处理,验证了WM2RP协议的网络层接收函数实现与协议规范的相符性。
胡世超杨红丽秦胜潮王非刘渊
XML Schema特征提取算法被引量：1
2015年
Twig模式最小化作为XML查询优化的一个重要方面,由于在进行最小化的过程中通常要利用XML Schema中的约束信息,因此被称为Schema特征。为了简化运用传统方法提取Schema特征的过程,以及确保提取过程的正确性,提出了一种自动提取Schema特征的模型检查算法。在Schema的形式模型的基础上,利用扩展的CTL公式表示Schema特征,提出算法以检查Schema模型是否满足要求的特征。由于扩展了CTL公式,所提算法不但可以检查孩子、子孙等前向的Schema特征,而且可以检查双亲、祖先等后向特征。最后,实现了支持该算法的模型检查器。
刘科杨红丽赵瑞芳廖湖声陈瑶秦胜潮
关键词：XML时态逻辑
全选 清除 导出
共3页<123>
聚类工具0