张超
- 作品数：17 被引量：13H指数：3
- 供职机构：桂林电子科技大学更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金广西省自然科学基金更多>>
- 相关领域：自动化与计算机技术哲学宗教环境科学与工程电气工程更多>>
- 基于启发式搜索的ASP程序支撑原因分析算法
- 2012年
- 为了尽快找到一个错误及其来源,以加快ASP程序调试的效率,把启发式搜索技术引入ASP程序支撑原因分析算法。在生成支撑原因分析图时利用启发式函数,仅搜索对回答集产生影响且有可能更快找到一个支撑原因的规则。改进算法在搜索关于某个回答集的支撑原因时,其时间和空间复杂度明显下降。实例分析表明了该算法的有效性。
- 董凤娇王雪松赵岭忠张超
- 关键词：ASP程序启发式算法
- 基于ASP的CSP模型验证性质反例生成技术研究被引量：3
- 2013年
- 为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架。主要研究在该框架下当待验证的系统性质不满足时生成相应性质反例的技术。把ASP程序调试中的ASP程序支撑原因分析技术应用于该问题的研究,提出了相应的反例生成算法,实例表明了该算法的正确性。
- 王雪松赵岭忠张超
- 关键词：通信顺序进程回答集编程
- 基于磁链的开关磁阻电机转矩脉动抑制控制系统和方法
- 本发明公开基于磁链的开关磁阻电机转矩脉动抑制控制系统和方法，利用神经网络转矩估计模型对转矩进行估计，并利用动态RBF神经网络转矩‑磁链模型实现相参考转矩到磁链的转换，基于估计的转矩信息对磁链进行实时前馈补偿，以获得准确磁...
- 党选举黄佳张超伍锡如张向文李晓原翰玫
- 文献传递
- 开关磁阻电机的电感模型非线性补偿与控制方法与系统
- 本发明公开一种开关磁阻电机的电感模型非线性补偿与控制方法与系统，利用能体现SRM线性模型误差的转矩偏差及其变化率作为模糊推理输入信息，设计模糊推理规则，构建模糊补偿器，实现对线性电感模型的非线性前馈补偿；引入强化学习，设...
- 党选举经本钦施亚洲黄佳李晓张向文伍锡如姜辉刘帆张超潘登
- 文献传递
- 基于Web的客户需求获取与分析方法研究
- 随着现代科学技术的突飞猛进,尤其是 Web技术、先进制造技术以及计算机技术的发展,传统的市场方式已经由卖方市场向买方市场转变,形成了“以客户为中心”的市场。在这种市场环境背景下,企业要在激烈的市场竞争中赢得客户,就必须能...
- 张超
- 关键词：产品配置客户需求大批量定制数据库
- 文献传递
- 开关磁阻电机转矩脉动抑制的智能控制研究
- 开关磁阻电机（SRM）作为一种新型的调速电机，相对于永磁电机和异步电机其控制系统不存在永磁体和直通短路的现象，具有较高的可靠性。然而，由于SRM独特的双凸极结构使其在低速运行时调速性能变差，尤其是产生较大转矩脉动，极大限...
- 张超
- 关键词：开关磁阻电机转矩脉动
- 基于磁链的开关磁阻电机转矩脉动抑制控制系统和方法
- 本发明公开基于磁链的开关磁阻电机转矩脉动抑制控制系统和方法，利用神经网络转矩估计模型对转矩进行估计，并利用动态RBF神经网络转矩‑磁链模型实现相参考转矩到磁链的转换，基于估计的转矩信息对磁链进行实时前馈补偿，以获得准确磁...
- 党选举黄佳张超伍锡如张向文李晓原翰玫
- 基于InGaAs线性阵列探测器及扫描振镜的短波红外成像系统
- 2020年
- 针对短波红外成像在社会和军事中的应用,基于InGaAs线性阵列探测器及扫描振镜设计了一种短波红外成像系统。讨论了InGaAs线性阵列探测器的时序驱动、扫描振镜的同步控制、图像数据的处理等关键技术的实现方法。经试验验证,该系统成本低,灵敏度高,体积小,功耗小,可靠性高,适用于对体积、重量、功耗及成本、质量控制要求较高的场合。InGaAs是一种在短波红外领域极有前景的探测器材料,由InGaAs材料制备的短波红外探测器标准光谱响应范围为0.9~1.7μm,填补了从可见光到热红外光之间波段探测的空白,这类探测器具有探测灵敏度高,体积较小,功耗较小,可以在室温下工作等优点,极其适用于低光照夜视和诸如空间遥感、人眼安全测距、精确制导、近红外光谱分析、工业控制、生物医疗和航天航空等新旧应用方向。同时由于InGaAs材料的结构简单、可靠性高,且制备工艺简单、加工成本低,已经越来越多的应用于社会和军事中的各种场合。
- 张超蔡云翔彭怀敏
- 关键词：探测器材料近红外光谱分析空间遥感
- 开关磁阻电机的电感模型非线性补偿与控制方法与系统
- 本发明公开一种开关磁阻电机的电感模型非线性补偿与控制方法与系统，利用能体现SRM线性模型误差的转矩偏差及其变化率作为模糊推理输入信息，设计模糊推理规则，构建模糊补偿器，实现对线性电感模型的非线性前馈补偿；引入强化学习，设...
- 党选举经本钦施亚洲黄佳李晓张向文伍锡如姜辉刘帆张超潘登
- 文献传递
- 基于ASP的CSP并发系统模型验证研究
- 并发系统是现实世界中一类重要的复杂系统，已广泛应用于军事、交通、商业和服务业中，纵观现代软件行业，从操作系统到互联网，并发程序无处不在。虽然并发程序在当前有着广泛的应用，但程序的并发特性也使得程序语义具有不确定性，从而使...
- 张超
- 关键词：通信顺序进程软硬件设计回答集编程
