彭君

作品数：3被引量：3H指数：1
导出分析报告
供职机构：吉林大学更多>>
发文主题：液压传动系统液压液压马达液压控制阀轮毂更多>>
发文领域：自动化与计算机技术交通运输工程机械工程金属学及工艺更多>>
发文期刊：《电子学报》《智能系统学报》《计算机测量与控制》更多>>
所获基金：国家自然科学基金吉林省自然科学基金吉林省科技发展计划基金国家科技攻关计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于大数据应用的地质灾害数据存储策略被引量：2
《计算机测量与控制》2023年第6期156-161,共6页石晓栊 赵统永 王耀忠 彭君 
国家青年科学基金项目(61502196);吉林省自然科学基金项目(20200201290JC)。
针对人工智能算法和大数据技术在地质灾害监测和预警上的应用需求,基于分布式文件系统(HDFS)和列式存储非关系型数据库(HBase)提出了地质灾害相关数据的存储策略;分析了地质灾害监控系统、地质灾害预测预报系统所需使用数据的数据种类...
关键词：监测预警 HDFS HBASE 分布式数据库 大数据应用 地质灾害 
实时并发系统的PTSL模型检测
《智能系统学报》2017年第5期694-701,共8页王晓燕 韩啸 彭君 刘淑芬 
国家自然科学基金项目(61502196)
随着实时并发系统的软件规模越来越大、复杂性日趋增加,如何保证并发实时系统正确性和可靠性成为日益紧迫的问题。模型检测技术采用自动化的验证算法判断系统是否具有某一性质,它不仅包括对系统模型的遍历以及基于图形的分析方法,而且...
关键词：模型检测 概率时间并发博弈结构 概率时间策略逻辑 概率时间自动机 区域图 实时并发系统 博弈模型 
基于谓词逻辑的原型系统生成方法研究被引量：1
《电子学报》2011年第5期1077-1081,共5页彭君 刘淑芬 张欣佳 王晓燕 
国家863重点项目(No.2009AA010314);国家自然科学基金(No.60973041)
本文采用面向对象思想和模型驱动技术,提出一种基于谓词逻辑的原型系统生成方法.该方法以模型为基本元素,通过对静态模型和动态模型信息实施约束抽取和迭代精化等操作生成原型系统.在生成过程中遵循信息对等原则,并引入谓词逻辑使转换...
关键词：谓词逻辑 原型系统 模型驱动 约束抽取 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部