公共文化服务平台

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

合作作者

智能家居产品综述被引量：15: 2011年; 以国内外各种智能家居产品为基础,主要介绍了智能家居产品的概念,国内外相关产品,智能家居相关技术的研究,最后通过对用户的调查,总结得出了当前用户的需求,并且对智能家居的未来发展做了展望。; 张艳秋李达陈琦杨红丽贺康田丰刘洋朱滨; 关键词：智能家居安防报警智能控制问卷分析

面向Twig查询的XML类型推导: Twig查询是XML数据查询的核心操作在复杂的XML数据处理中,Twig查询结果的类型信息可以用于优化后续的XML数据查询与处理针对这种情况,分析了Twig查询的类型推导问题,提出了一种精确的XML类型推导方法,能够根据...; 罗卿廖湖声杨红丽; 关键词：XML TWIG查询 XML SCHEMA

基于PAT的WSNs安全分簇协议建模与验证被引量：1: 2017年; 在目前协议安全问题日益突出的情况下,针对无线传感器网络中典型的分簇协议LEACH进行安全性改进的版本也越来越多,但这些版本是否真正安全并不确定。基于形式化建模的思想,以LEACH的安全协议版本ORLEACH协议为例,分别建立簇头节点、簇成员节点、监控节点以及攻击节点的CSP模型,并使用模型检查工具PAT对其进行验证,分析在攻击节点存在的情况下,协议是否能够满足网络的安全需求。验证结果表明,尽管ORLEACH协议中加入了安全机制,但是协议仍然不能抵挡某些攻击行为的发生。; 王丽丹杨红丽; 关键词：安全协议无线传感器网络 CSP PAT

基于Android平台的黑盒测试生成工具的研究对比被引量：2: 2017年; 随着移动互联网技术迅速发展,移动设备成为人们生活中必不可少的部分,其中Android手机占有了智能手机的主要市场。相对于传统软件,Android应用易于发布、开发周期短,但其质量常常难以保证。软件测试是用于保证软件质量的最常用方法,其中关键的步骤是如何生成合适的测试用例,而对于事件驱动型Android应用程序,关键在于如何生成合理的事件序列辅助测试过程。目前,已有一些研究者开发了面向Android应用的测试事件生成工具。针对三种典型的测试生成工具,分析了其工作原理与特性;并选取覆盖多种类别的40个应用程序作为基准测试集,设计了统一的测试框架,对工具的兼容性、易用性、测试时间和程序覆盖能力等特点进行了分析与对比,并根据相关测试工具的缺陷提出一定的创新性的解决方案。; 燕季薇黄晓伟严俊张健杨红丽; 关键词：ANDROID应用黑盒测试

一种基于多个基站的精确定位方法: 一种基于多个基站的精确定位方法，通过移动终端与服务器端的数据交换来达到通过基站的数据实现精准定位的目的；在此过程中，需要对基站数据进行一系列的筛选工作，同时对获得的原始数据进行离散变换以求得最优解；求解的过程中会根据实际...; 才智时康凯杨红丽; 文献传递

基于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 时态逻辑

LEACH协议大规模网络通信改进研究: 2017年; LEACH(low energy adaptive clustering hierarchy)路由协议是无线传感器网络里最经典的分簇路由协议,它的"分簇"思想被广泛应用,但是它只能是小规模无线传感器网络的路由协议,比如100×100的区域。提出一种基于LEACH路由协议的新协议LEACH-LS(low energy adaptive clustering hierarchy-LargeScale),可应用于大规模的无线传感器网络。用MATLAB工具进行仿真,结果表明新协议在大规模无线传感器网络应用很好。; 陈晨杨红丽; 关键词：大规模无线传感器网络 LEACH

基于模型检查的XML树模式优化动作生成被引量：2: 2017年; 针对XML数据查询的核心操作-树模式查询,提出基于XML Schema约束来优化树模式查询的方法。该方法提出了统一的优化规则描述语言ORS的语法与语义。ORS描述的优化规则中包括对树模式条件的描述、对XML Schema条件的描述以及在满足前两个条件下应该输出的动作。根据ORS语言描述的优化规则以及待处理的树模式,系统会自动输出该树模式的优化动作。该方法一方面简化了树模式优化的过程,另一方面把模型检查技术运用到XML树模式查询优化上,利用时态逻辑公式描述优化规则中的约束条件,利用模型检查的方法提取XML Schema的约束,对ORS语法和语义的严格定义确保了生成的优化动作的正确性。; 赵瑞芳刘科杨红丽廖湖声; 关键词：ORS XML

针对Android资源泄漏的基准测试集的构造与评测被引量：2: 2017年; Android系统是目前最受欢迎的开放手机操作系统,然而高度的开放性也引来了许多问题,资源泄漏就是其中普遍存在的一个。对于Android系统出现的资源泄漏以及没有基于该漏洞的基准测试集被提出的问题,构造出了一套针对Android资源泄漏的基准测试集ResLeakBench。首先,参考Android官方文档以及观察大量的真实Android应用,整理出了Android程序中使用的资源操作以及它们常用的使用场景。然后,根据整理的信息自主构造了35个基准测试程序;另外,收集了35个资源使用相关的真实开源程序作为基准测试程序来保证测试集的实用性。最后,利用ResLeakBench对资源泄漏检测工具Relda2以及资源泄漏修复工具RelFix进行了有效性评测,发现了Relda2以及RelFix工具存在的问题。实验结果表明ResLeakBench针对资源泄漏问题是一套实用的基准测试集。; 刘洁瑞巫雪青严俊杨红丽; 关键词：基准测试程序 ANDROID应用资源泄漏

杨红丽

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

杨红丽

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈