王蒙
- 作品数：6 被引量：14H指数：2
- 供职机构：中国科学院更多>>
- 发文基金：新疆维吾尔自治区重点实验室开放课题基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学政治法律经济管理更多>>
- 物联网系统时间自动机建模的研究与应用被引量：1
- 2021年
- 探讨基于时间自动机理论进行物联网系统建模和模型检测的理论、方法、工具和实践。对时间自动机的基础理论进行比较全面和精确的论述,完善部分概念及其精确的形式化定义。提出基于时间自动机理论进行建模的方法,并指出时间自动机理论研究对物联网系统建模的指导意义。介绍时间自动机的建模工具UPPAAL,说明基于UPPAAL建立时间自动机模型的建模、仿真和检测方法。结合物联网系统中一个经典的温度感知服务的系统需求、理论与实践相结合,进行温度感知管理系统时间自动机建模,并进行模型仿真与模型检测。实验结果表明,该系统能够正确感知温度,具有容错性且不会陷入死锁。
- 陈光陈光蒋同海唐新余季文飞
- 关键词：时间自动机自动机理论建模方法UPPAAL
- 关系型数据的知识抽取和RDF转换框架及实现被引量：10
- 2022年
- 关系数据库是行业中广泛使用的数据存储和管理方案,根据自定义的本体模型从关系型数据中进行知识抽取并转换成RDF是构建行业知识图谱的关键步骤。但是当前关系数据的知识抽取方案,需要进行大量的查询语句和映射的编辑工作,映射语句编码的工作量和映射的维护是关系型数据的知识抽取的主要障碍。针对以上问题提出一种能够自动解析关系数据和本体模型并生成对应关系,支持可视化调整和修正的关系型知识抽取转换框架。该框架简化了映射编辑和维护工作,提供了更自动化和简单易用的关系型数据的知识抽取的解决方案。最后应用该框架进行知识图谱的构建的实验表明,该框架能够较为高效地对关系数据进行知识抽取并转换成RDF。
- 张永威张岩张岩唐新余
- 关键词：知识图谱知识抽取关系型数据本体模型
- 智慧养老建设的思考与实践
- 2019年
- 智慧养老重在六个融合科技产业与养老服务业的有效融合,将缓解养老服务业面临的管理和服务难题,同时借助科技产业发展的优势促进养老服务业产业化发展。这种融合主要有以下几个方面。
- 王蒙
- 关键词：养老服务业
- 基于语义元数据的医养数据融合研究与实现被引量：3
- 2020年
- 传统的数据融合系统在进行医养数据融合时由于缺乏灵活性和扩展性,存在无法有效解决数据模型不统一、数据质量较差、无法进行统一可视化和数据访问等问题。针对以上问题,基于五元组表示的语义元数据,对数据模型、清洗和融合规则、数据可视化和访问进行建模和描述,研究并实现了医养数据融合系统,提供基于五元组描述的统一数据建模模型、数据清洗融合模型、数据可视化和访问模型。应用案例和实验结果表明,采用该系统能够动态进行建模和规则定制,满足区域医养数据融合对灵活性和扩展性的要求,同时满足对一定数据量下的处理响应时间的要求。
- 季文飞蒋同海王蒙唐新余王蒙
- 关键词：数据融合数据可视化语义元数据
- 判断有理系数多项式方程是否存在实数解的初等方法
- 2016年
- 给出判断有理系数多元多项式方程组是否存在实数解的初等方法,从而证明多元多项式方程组的实解存在性可在有限步内自动判定.基于此,给出判定有理系数多元多项式方程组是否存在实数解的算法.
- 王蒙陈玉福
- 关键词：数学归纳法
- 结合注意力机制的雷达多信号动作识别方法
- 2023年
- 雷达动作特征谱图对走、摔等较为宽幅的人体动作表征效果差,单一特征和不匹配特征数据结构的分类方法会降低动作识别的性能。针对以上问题,提出一种结合注意力机制的雷达多信号特征动作识别方法。首先,使用配置时分复用模式的多输入多输出毫米波雷达采集动作回波,将回波处理成短时能量、频率质心、相位变化(水平、俯仰)四维时序信号特征;然后,根据信号特征数据结构设计了多信号序列融合分类网络,该网络由1DCNN对信号抽取高维特征,再将特征送入GRU以充分提取时序规律,并引入Attention机制对重要特征映射加权赋予GRU隐含状态不同的权重,最终通过SoftMax层完成动作分类;最后,在实际采集的雷达多信号数据集上进行实验,结果表明,多信号序列特征可以充分表征人体动作,所设计的网络收敛速度快,对8种不同的动作分类,平均正确率达到了98.5%。
- 高鹏高鹏张岩张岩唐新余
- 关键词：人体动作识别毫米波雷达卷积神经网络
