搜索到 篇“ 线性逻辑 “的相关文章

相关作者

黄林鹏
作品数：195被引量：231H指数：5
供职机构：上海交通大学
研究主题：内存 读写 内存文件系统 OSGI 普适计算
孙永强
作品数：192被引量：307H指数：8
供职机构：上海交通大学
研究主题：程序设计 面向对象 函数式语言 程序语言 计算机网络
高梅梅
作品数：12被引量：125H指数：6
供职机构：上海交通大学机械与动力工程学院制造技术与装备自动化研究所
研究主题：PETRI网 线性逻辑 故障诊断 离散事件系统 燃气轮机
吴智铭
作品数：235被引量：1,272H指数：19
供职机构：上海交通大学电子信息与电气工程学院自动化系
研究主题：柔性制造系统 遗传算法 FMS PETRI网 离散事件系统
王荣兴
作品数：15被引量：1H指数：1
供职机构：国电南京自动化股份有限公司
研究主题：水轮机 水电机组 串联模式 样条曲线 保护继电器