陈小红
- 作品数：73 被引量：160H指数：8
- 供职机构：华东师范大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术天文地球文化科学经济管理更多>>
- 基于空间索引的DEM数据质量检查被引量：2
- 2005年
- 数字高程模型(DEM)数据主要来源之一是通过对现有地形图上的等高线等地貌信息进行数字化,生成计算机可识别的离散点或等高线。该方法对离散点或等高线数据质量要求较高。分别探讨了基于格网分块索引重复点检查和基于R树索引等高线相交检查两种方法。实验表明,空间索引的引入,大大提高了数据质量检查效率。
- 陈小红潘懋吴焕萍杨峻辉朱雷
- 关键词：空间数据质量离散点等高线DEM空间索引
- 基于环境建模的物联网系统TAP规则生成方法被引量：6
- 2021年
- 用户需求是物联网智能服务的根本驱动力,如IFTTT等很多物联网框架允许用户使用简单的触发-命令编程(TAP)规则进行编程,但它们描述的是设备调度程序,并不是用户服务需求.一些物联网系统提出采用面向目标的需求方法,支持服务目标的分解,但很难保证物联网不同服务间的一致性和服务部署的完整性.为了支持正确的"用户编程"并保证用户服务需求的一致性与完整性,提出了基于环境建模的TAP规则自动生成方法,在用户提供的服务需求的基础上,根据环境模型自动推导出所需的系统行为,以检测系统行为的一致性和完整性,并最终自动生成TAP规则,实现从用户服务需求到物联网设备调度的自动生成.构建了物联网应用场景的环境本体以建模环境,并定义了基于环境本体的服务需求的描述方法.另外,针对方法的准确性、效率、性能以及构建环境本体的时间开销,在智能家居场景上进行了评估.结果表明,所提方法的准确性、效率和性能均超过可用阈值,且在需求达到一定数量后,构建环境本体花费的时间可忽略不计.
- 边寒陈小红金芝金芝
- 关键词：物联网系统环境建模
- 一种基于SHA的信物融合系统自动建模与验证方法及系统
- 本发明公开了一种基于SHA的信物融合系统自动建模与验证方法及系统，包括：将物理环境建模成SHA元模型；根据元模型和设备位置信息表实例化环境模型；根据用户自定义的TAP规则生成控制器的SHA模型；生成可执行的系统模型并进行...
- 陈小红杨佳佳
- 一种将SysML模型进行仿真验证的方法
- 本发明公开了一种将SysML模型进行仿真验证的方法，涉及到的具体步骤包括：(1)定义SysML模块定义图以及活动图元素到Modelica模型元素的转换规则；(2)以模块定义图的XMI文档为输入进行解析，获取模块定义图中模...
- 钟雯陈小红
- 基于双流图的Safety_SysML错误模型分析方法
- 本发明公开了一种基于双流图的Safety_SysML错误模型分析方法，主要包括以下步骤：建立Safety_SysML流模型；将建立的Safety_SysML流模型转换为Safety_SysML流模型XML文件；将Safe...
- 孙海英刘明尹伟康介祥刘静王辉高忠杰陈小红
- 一种基于差异比较对用例图进行评价的方法
- 本发明公开了一种基于差异比较对用例图进行评价的方法，用于比较不同开发团队针对同一领域的用例图（用户需求阶段的产物）和标准用例图的差异，完成对不同用例图的评价，获得软件质量的评价。本发明在对用例图进行评价时包括：（1）根据...
- 文涛陈小红
- 内蒙古地质资料管理服务向盟市延伸探索:以内蒙古鄂尔多斯市为例被引量：4
- 2018年
- 地质资料是地质工作的记录,其服务领域日趋广泛。内蒙古自治区结合地区实际,以鄂尔多斯市为试点,积极探索地质资料管理服务向盟市延伸,在相关政策的支持下,鄂尔多斯市实现本级地质资料汇交和地质资料借阅服务,取得了良好的效果,本文通过总结地质资料管理服务延伸经验,提出了地质资料管理服务向盟市延伸建议。
- 汪艳梅陈小红姚晓洁
- 关键词：地质资料
- 不确定环境下智能大厦空调系统调度策略评估被引量：4
- 2016年
- 近年来,智能大厦的概念在国内外受到了高度的关注.相比于传统的建筑,智能大厦更加节能、舒适、易维护,已成为未来建筑的发展趋势.作为智能大厦空调通风系统的关键部分,空调系统及其调度策略决定了大厦整体的节能效果以及大厦中用户的舒适度.然而,由于智能大厦所处的环境具有许多不确定因素,极大地增加了空调系统调度策略设计与评估的复杂程度.因此,如何设计与评估不确定环境下空调系统的调度策略成为了智能大厦设计者面临的一大挑战.已有的方法主要针对智能大厦空调系统进行能耗与性能等方面的分析,但尚未有方法针对调度策略本身进行分析与评估.提出一种基于价格时间自动机的调度策略评估框架,支持对不确定环境下的智能大厦进行精确建模与定量评估.该框架使用UPPAAL-SMC作为属性查询引擎对模型进行随机模拟运行,根据模拟结果对不同调度策略下大厦的能耗及用户的舒适度进行定量分析.实验结果表明,该方法能够有效地帮助设计者进行策略的制定和选取.
- 陈铭松顾璠徐思远陈小红
- 关键词：不确定环境智能大厦
- 区域控制器的安全需求建模与自动验证被引量：3
- 2020年
- 轨道交通区域控制器是我国轨道交通信号系统选型的主流制式--基于通信的列车控制系统的核心子系统,其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是区域控制器自身的复杂性以及领域知识的繁杂难以掌握,使得形式化方法很难应用到安全需求的验证中去.针对这些问题,提出一种安全需求的自动验证方法,使用半形式化的问题框架方法来建模和分解安全需求,根据需求模型自动生成安全需求的验证模型和验证性质,在此基础上自动生成验证模型的Scade语言实现,并通过DesignVerifier验证器对需求进行组合验证.最后,使用某个实际案例区域控制器的一个子问题CAL_EOA进行了研究,实验结果证明了该方法的可行性与有效性.它能够自动地将安全需求模型进行组合验证,改善了验证的效率.
- 刘筱珊袁正恒陈小红陈铭松刘静周庭梁
- 关键词：区域控制器
- 利用特征融合和整体多样性提升单模型鲁棒性被引量：4
- 2020年
- 使用深度神经网络处理物联网设备的急剧增加产生的海量图像数据是大势所趋,但由于深度神经网络对于对抗样本的脆弱性,它容易受到攻击而危及物联网的安全.所以,如何提高模型的鲁棒性,就成了一个非常重要的课题.通常情况下,组合模型的防御表现要优于单模型防御方法,但物联网设备有限的计算能力使得组合模型难以应用.为此,提出一种在单模型上实现组合模型防御效果的模型改造及训练方法:在基础模型上添加额外的分支;使用特征金字塔对分支进行特征融合;引入整体多样性计算辅助训练.通过在MNIST和CIFAR-10这两个图像分类领域最常用的数据集上的实验表明,该方法能够显著提高模型的鲁棒性.在FGSM等4种基于梯度的攻击下的分类正确率有5倍以上的提高,在JSMA,C&W以及EAD攻击下的分类正确率可达到原模型的10倍.同时,不干扰模型对干净样本的分类精度,也可与对抗训练方法联合使用获得更好的防御效果.
- 韦璠宋云飞邵明莉刘天陈小红王祥丰陈铭松
- 关键词：物联网鲁棒性
