罗海梅
- 作品数：43 被引量：25H指数：4
- 供职机构：江西师范大学更多>>
- 发文基金：国家自然科学基金江西省自然科学基金江西省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术电子电信理学文化科学更多>>
- 逻辑函数卡诺图画斜圈的方法
- 2016年
- 用卡诺图化简逻辑函数的画圈方法,一般都是画矩形圈,所画圈的形式均为平直的矩形圈。文章根据数字电路的教学,分析了斜圈卡诺图的方法,这种方法可以很容易得到异或的逻辑关系,在逻辑函数应用卡诺图化简教学时,提供了一定的参考。
- 罗海梅曾文莹邓鹏刘祝华
- 关键词：逻辑函数
- 介观LC电路的电荷和电流平均值随时间的演化
- 2005年
- 采用路径积分的方法,得出了外加信号作用下的介观LC电路的严格波函数。应用量子双波函数描述计算了单一介观LC电路中电荷和电流的平均值。结果表明:对双波描述下电荷和电流平均值作系综平均,双波描述回到通常的单波描述。
- 罗海梅柯强嵇英华
- 关键词：介观LC电路路径积分双波描述系综
- 一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法被引量：2
- 2020年
- 形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽象顺序设计语言Apla为基础,进一步研究并提出简明、高抽象用于并发分布式计算的Concurrent Apla语言,使其既支持顺序算法的验证又能有效地验证并发分布式算法.在依赖-卫式推理的基础上,提出一种新颖的2层并发分布式算法形式化验证方法,其中系统层用于处理并发级验证,而组件层用于处理顺序级验证.最后,通过2个实例验证了该方法的有效性和可行性.
- 王昌晶余小军沈德明罗海梅左正康
- 关键词：CONCURRENTAPLA形式化验证
- 一种基于ROS的图书馆自动取放图书机器人
- 本发明涉及一种基于ROS的图书馆自动取放图书机器人，它包括移动底盘，升降平台，抓取装置、多格收纳箱、触摸屏和供电单元；所述升降平台，多格收纳箱、触摸屏和供电单元均设置在所述移动底盘上，所述抓取装置设置在所述升降平台上；所...
- 邵明臣罗海梅杨宇亮聂力远舒庆理刘阳阳倪智贤李新碗王一凡
- 文献传递
- 基于改进型BP神经网络的瓦斯传感器的非线性校正被引量：7
- 2007年
- 提出了一种基于改进型BP神经网络的瓦斯传感器的非线性校正方法,利用神经网络良好的非线性映射能力,逼近反非线性函数完成非线行校正。仿真实验结果表明:与传统的分段线性与BP算法相比,改进型的BP神经网络收敛速度快、逼近精度高,准确度由原来分段线性校正的±5.020%提高到现在的±0.130%,且易于动态调校。
- 刘刚刘学仁嵇英华罗海梅
- 关键词：改进型BP神经网络瓦斯传感器非线性校正
- 一种低损耗空心光纤
- 本实用新型提供了一种低损耗空心光纤，所述光纤从内到外依次由纤芯、反射镜层和保护层组成，所述纤芯由所述反射镜层中最内层反射镜内壁包围而成，所述反射镜层嵌套于所述保护层的内部，所述反射镜层和所述保护层均为介质圆管，所述介质圆...
- 祝远锋饶春芳罗海梅夏高辉周海娇刘鑫
- 文献传递
- 一种用于图书馆的自动抓取图书的机械臂
- 本申请涉及一种用于图书馆的自动抓取图书的机械臂，它包括控制盒、触摸屏、抓取装置和供电单元；所述抓取装置、触摸屏和供电单元均设置在所述控制盒上；所述抓取装置和触摸屏均与所述控制盒电路连接；所述供电单元与所述抓取装置、控制盒...
- 邵明臣杨宇亮聂力远舒庆理刘阳阳倪智贤陈嘉伟罗苏明罗海梅李钦亮王一凡
- 文献传递
- 一种电子保健裤
- 一种电子保健裤，所述口袋（22）中设有制热贴片（24），所述制热贴片（24）从上到下依次设有棉布套一（1）、电阻丝（4）和棉布套二（3），本实用新型温暖舒适、温度可控、轻薄小巧、节能省电、续航时间长、温度恒定、安全性较高...
- 王一凡罗海梅
- 文献传递
- 一种穿戴式导盲监测装置及其使用方法
- 本发明公开了一种穿戴式导盲监测装置，包括导盲头盔、红外光电传感器一和红外光电传感器二，所述导盲头盔的外侧壁设置有防护结构，所述防护结构包括防护块、推架座和固定框，所述防护块的外侧壁设置有防护玻璃，所述防护块的内部左侧壁设...
- 郭亚欣任笑瀛牟宗成林隆杰邓静沈怡堃梁富文郑杰威罗海梅李钦亮王一凡
- 一种微结构空心光纤
- 本发明提供了一种微结构空心光纤，所述光纤包括第一类介质圆管、第二类介质圆管和第三类介质圆管，所述第一类介质圆管嵌套在所述第二类介质圆管内部并沿圆周线周期排列，相邻所述第一类介质圆管外壁之间的间距大于0，所述第二类介质圆管...
- 祝远锋饶春芳张莹邹光涛罗海梅
