公共文化服务平台

陈小红: 作品数：65 被引量：152H指数：8; 供职机构：华东师范大学更多>>; 发文基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金更多>>; 相关领域：自动化与计算机技术天文地球文化科学经济管理更多>>

合作作者

基于空间索引的DEM数据质量检查被引量：2: 2005年; 数字高程模型(DEM)数据主要来源之一是通过对现有地形图上的等高线等地貌信息进行数字化,生成计算机可识别的离散点或等高线。该方法对离散点或等高线数据质量要求较高。分别探讨了基于格网分块索引重复点检查和基于R树索引等高线相交检查两种方法。实验表明,空间索引的引入,大大提高了数据质量检查效率。; 陈小红潘懋吴焕萍杨峻辉朱雷; 关键词：空间数据质量离散点等高线 DEM 空间索引

基于环境建模的物联网系统TAP规则生成方法被引量：6: 2021年; 用户需求是物联网智能服务的根本驱动力,如IFTTT等很多物联网框架允许用户使用简单的触发-命令编程(TAP)规则进行编程,但它们描述的是设备调度程序,并不是用户服务需求.一些物联网系统提出采用面向目标的需求方法,支持服务目标的分解,但很难保证物联网不同服务间的一致性和服务部署的完整性.为了支持正确的"用户编程"并保证用户服务需求的一致性与完整性,提出了基于环境建模的TAP规则自动生成方法,在用户提供的服务需求的基础上,根据环境模型自动推导出所需的系统行为,以检测系统行为的一致性和完整性,并最终自动生成TAP规则,实现从用户服务需求到物联网设备调度的自动生成.构建了物联网应用场景的环境本体以建模环境,并定义了基于环境本体的服务需求的描述方法.另外,针对方法的准确性、效率、性能以及构建环境本体的时间开销,在智能家居场景上进行了评估.结果表明,所提方法的准确性、效率和性能均超过可用阈值,且在需求达到一定数量后,构建环境本体花费的时间可忽略不计.; 边寒陈小红金芝金芝; 关键词：物联网系统环境建模

一种将SysML模型进行仿真验证的方法: 本发明公开了一种将SysML模型进行仿真验证的方法，涉及到的具体步骤包括：(1)定义SysML模块定义图以及活动图元素到Modelica模型元素的转换规则；(2)以模块定义图的XMI文档为输入进行解析，获取模块定义图中模...; 钟雯陈小红

基于双流图的Safety_SysML错误模型分析方法: 本发明公开了一种基于双流图的Safety_SysML错误模型分析方法，主要包括以下步骤：建立Safety_SysML流模型；将建立的Safety_SysML流模型转换为Safety_SysML流模型XML文件；将Safe...; 孙海英刘明尹伟康介祥刘静王辉高忠杰陈小红

一种基于差异比较对用例图进行评价的方法: 本发明公开了一种基于差异比较对用例图进行评价的方法，用于比较不同开发团队针对同一领域的用例图（用户需求阶段的产物）和标准用例图的差异，完成对不同用例图的评价，获得软件质量的评价。本发明在对用例图进行评价时包括：（1）根据...; 文涛陈小红

内蒙古地质资料管理服务向盟市延伸探索:以内蒙古鄂尔多斯市为例被引量：4: 2018年; 地质资料是地质工作的记录,其服务领域日趋广泛。内蒙古自治区结合地区实际,以鄂尔多斯市为试点,积极探索地质资料管理服务向盟市延伸,在相关政策的支持下,鄂尔多斯市实现本级地质资料汇交和地质资料借阅服务,取得了良好的效果,本文通过总结地质资料管理服务延伸经验,提出了地质资料管理服务向盟市延伸建议。; 汪艳梅陈小红姚晓洁; 关键词：地质资料

ChatModeler:基于大语言模型的人机协作迭代式需求获取和建模方法被引量：1: 2024年; 需求获取和建模是需求工程中的关键步骤,影响后续系统设计与实现.传统的需求获取和建模方法通常由需求提供者、需求分析师等多类干系人共同协作、反复迭代完成,需要耗费大量的人力.如何减轻需求提供者与需求分析师的负担、提高获取和建模的效率有着重要意义.现有工作中有的使用知识库来提供更多知识,以辅助获取或者建模,有的利用自然语言处理等技术对获取或者建模过程进行自动化,但是它们并没有减轻需求提供者的负担.利用大语言模型(large language models,LLMs)的生成能力,提供了一种人机协作的迭代式需求获取和建模框架ChatModeler.具体来说,根据真实世界中需求团队的分工及协作关系,将部分需求提供者、需求分析师等角色的工作由大语言模型承担,而需求提供者只需要进行确认.为大语言模型扮演的各种角色进行了提示词设计,该提示词会随需求的元模型而变化.ChatModeler在7个需求案例上与3种需求模型的自动建模方法进行了14组对比实验,证明了ChatModeler在降低需求提供者的负担和生成高质量需求模型2个方面上的优越性.; 靳东明金芝金芝陈小红; 关键词：人机协作

内蒙古地质资料一站式服务体系建设探讨被引量：6: 2017年; 内蒙古地质资料馆结合自治区地质资料提供利用实际情况,经过不断探索完善,形成了一站式服务体系,该体系集资料管理、资料查询、资料调阅、借阅定制、自动计费、资料加工输出、统计分析等功能于一体,为社会提供地质资料服务,服务方式由原来传统单一的纸介质借阅服务转变为从入馆到完成资料借阅的一站式电子文件借阅利用服务。一站式服务体系具有简化借阅手续、减少审批环节、能够在线完成资料加工等优势,极大提高了地质资料管理水平,提高了地质资料利用效率,为自治区经济发展发挥了重要作用。; 汪艳梅陈小红; 关键词：地质资料管理一站式服务

软件定义的儿童动画实时自动生成方法及系统: 本发明公开了一种软件定义的儿童动画实时自动生成方法和系统，其中，动画生成方法包括：构建动画知识库；对儿童输入的语音识别结果进行纠错，从儿童自然语言文本中提取动画剧本；根据动画剧本，结合动画知识库，进行动画对象的时空规划，...; 曾惟昊陈小红

传感器网超轻量IPv6协议栈一致性测试系统的设计被引量：2: 2006年; 介绍了网络实验室设计的传感器网络超轻量化的IPv6协议栈规范及实现。在结合TTCN-3一致性测试规范的基础上设计了一致性测试系统,给出了测试模型、测试方法和测试系统软件框架,并提出了测试用例描述方法和具体的实现策略。; 陈小红王能; 关键词：FREESCALE