郭昊

作品数：2被引量：1H指数：1
导出分析报告
供职机构：上海交通大学电子信息与电气工程学院更多>>
发文主题：LABVIEW高速数据采集混合控制平台架构电机实验更多>>
发文领域：自动化与计算机技术电气工程更多>>
发文期刊：《电工技术》《软件学报》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
步进索引模型下的语义及其形式化
《软件学报》2022年第6期2127-2149,共23页郭昊 曹钦翔 
国家自然科学基金青年科学基金(61902240)。
霍尔逻辑作为计算机程序的逻辑基础,可以用于描述一般程序的验证.分离逻辑作为霍尔逻辑的扩展,可以支持很多现代程序语言中的高阶特性.步进索引模型被用于定义自递归谓词.步进索引逻辑被广泛应用于各种基于交互式定理证明器的程序验证...
关键词：程序状态模型 程序语言的语义 形式化验证 
基于LabVIEW的永磁同步电机实验平台架构被引量：1
《电工技术》2009年第11期59-61,共3页郭昊 姜淑忠 
利用LabVIEW作为永磁同步电机实验平台的主体架构,重点讨论其在软硬件上实现高速数据采集的方法,并进行系统仿真。
关键词：LABVIEW 永磁同步电机 高速数据采集 混合控制 网络通信 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部