罗海梅
作品数: 50被引量:29H指数:4
  • 所属机构:江西师范大学
  • 所在地区:江西省 南昌市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

王一凡
作品数:60被引量:0H指数:0
供职机构:江西师范大学
研究主题:超声波测距 大型车辆 触摸屏 养鱼 续航时间
王昌晶
作品数:57被引量:73H指数:6
供职机构:江西师范大学
研究主题:形式化推导 循环不变式 泛型 PAR平台 APLA
左正康
作品数:47被引量:63H指数:6
供职机构:江西师范大学
研究主题:APLA 循环不变式 机械化 形式化证明 泛型
袁文
作品数:53被引量:34H指数:3
供职机构:江西师范大学
研究主题:导波光学 衰减全反射 波导 双面金属包覆波导 极化聚合物
王贤平
作品数:38被引量:13H指数:2
供职机构:江西师范大学
研究主题:量子化条件 双面金属包覆波导 阵列 导模 透射谱