罗敏
- 作品数：20 被引量：50H指数：5
- 供职机构：江西省计算技术研究所更多>>
- 发文基金：江西省科技计划项目江西省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程经济管理更多>>
- 基于J2EE的节能监管系统被引量：3
- 2016年
- 针对目前企事业单位能源消耗较快,节能意识不强的特点,本文根据企事业单位的用电、用水和燃油等能源的消耗现状,通过分析某企事业单位的管理需求,设计开发一套节能监管系统。以目前较为成熟的企业级应用开发标准J2EE为基础,应用MVC框架和B/S结构实现数据的采集、分析和存储过程的信息化管理。运行结果表明,该系统能实时地监管各部门的用能情况,及时地提醒用户,以达到节能的目的。
- 戴欢罗敏刘波平张俊民
- 关键词：J2EE节能监管HIBERNATEMVCB/S
- 嵌入式铁路专用网络智能移动终端系统的设计
- 2006年
- 介绍了嵌入式铁路网络智能移动终端系统的设计原理、关键技术、应用范围及其与铁路信息共享平台的连接。
- 罗敏张嗣忠
- 关键词：嵌入式铁路移动终端掌上电脑
- 基于多尺度理论的发酵过程在线优化控制系统的设计与实现被引量：1
- 2006年
- 简要介绍了多尺度理论和多参数相关分析方法的基本概念,阐述了多尺度理论及多参数相关分析方法在发酵过程优化与放大生产中的应用,提出了应用计算机软、硬件技术实现发酵过程在线优化控制系统的方法与措施。
- 罗敏张嗣忠
- 关键词：基于多尺度发酵生产优化控制无线传输
- 粒计算及其研究现状被引量：5
- 2007年
- 粒计算是当前信息处理研究中的一个热点问题。本文主要讨论了粒计算的概念、理论基础、应用及研究现状,并对粒计算的进一步工作进行了探讨。
- 罗敏
- 关键词：粒计算粒化
- 基于模型检测的区块链智能合约公平性形式化验证被引量：6
- 2021年
- 随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题。但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法。采用该方法对Puzzle合约的公平性进行验证,找到了一个已知的交易顺序依赖漏洞。结果表明提出的方法可以为发现智能合约中存在的漏洞提供新的思路。
- 肖美华周浩洋朱志亮罗敏
- 关键词：形式化方法
- 交叉口车流量多时段控制信息的传感融合技术被引量：1
- 2023年
- 交叉口车流量随机性与不确定性导致车辆信息采集结果的差异化明显。以传感器信息融合为技术支撑,提出交叉口车流量多时段控制方法。利用多传感器采集交叉口交通信息,预处理采集到的数据。采用由指标层与目标层构成的信息融合模型,完成交通信息融合。根据信息之间的关联性聚类所有交通信息,明确分类数并划分控制时段。综合考量交叉口通行效率与环境等因素,结合排队长度、平均延误及尾气排放量建立多目标多时段控制模型,由层次分析法明确各目标权值后,采用改进萤火虫算法进行求解,实现交叉口车流量多时段控制。实验结果表明,该方法能有效改善交叉口的拥堵情况,提升通行效率,降低车流饱和度与延误时间,应用优势显著。
- 胡凡玮罗敏叶黎楠姜如霞万渟钰
- 安全协议验证模型的高效自动生成被引量：4
- 2010年
- 为了能高效地利用模型检测技术对安全协议进行分析与验证,提高工作效率,提出了一种适用范围广,自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法"网络安全协议验证模型生成系统",该系统可高效地对安全协议进行分析与验证,系统在对攻击者建模时采用偏序规约、语法重定序及类型检查等优化策略以提高验证效率,有效地缓解了模型检测过程中的状态爆炸问题。
- 吴昌肖美华罗敏刘俏威熊昊
- 关键词：安全协议
- 动态环境中Agent心智状态的研究被引量：1
- 2006年
- Agent的行动是由Agent的心智状态驱动的,如何描述Agent的心智状态是一个难点问题。本文利用动态模糊逻辑对Agent的心智状态进行刻画,给出了Agent的心智模型及其相关公理。
- 罗敏
- 关键词：AGENT心智状态心智模型
- 形成期中部地区物联网技术接受与应用研究
- 2013年
- 物联网技术与产业的发展靠大规模的应用。形成期中部地区物联网技术接受模型显示,物联网技术接受的影响因素包括感知安全、感知隐私、感知收益、感知成本、兼容性、便利条件以及感知有用性和感知易用性。基于上述影响因素,提出了四条建议:大力降低信息资费,加强信息基础设施建设;避免重复建设,降低感知成本,提升感知收益;培养懂物联网技术、管理和应用的复合型人才;增强物联网技术的有用性和易用性。
- 罗敏
- 关键词：形成期物联网技术
- 典型安全协议形式化分析工具比较被引量：4
- 2008年
- 介绍了当前安全协议分析领域的典型形式化工具,阐述了其基本原理和在协议描述、归约、验证方面的研究现状,对它们的优缺点进行了综合比较,提出了如何在已有条件下开发协议分析工具的观点。
- 朱宜炳罗敏
- 关键词：安全协议逻辑推理定理证明形式化方法
