高毅
- 作品数：9 被引量：9H指数：2
- 供职机构：电子科技大学更多>>
- 相关领域：电子电信自动化与计算机技术环境科学与工程航空宇航科学技术更多>>
- 不同模型检测下信号并串转换模块功能建模的研究
- 传统的工业电路验证使用的是模拟验证技术,它的验证结果与其选择的测试向量有直接关系。随着电路规模的不断增大,测试向量的选取难度越来越大,测试覆盖率越来越低。近年来,形式化验证技术逐渐成为人们研究的热点。它采用数学的方法,摒...
- 高毅
- 关键词：形式化验证
- 文献传递
- 基于PLC的废水处理控制系统的设计与实现
- 水资源是人类生存的基础，但是近年来，随着国民经济的高速发展，工业废水给环境造成了很大危害，所以工业废水的处理刻不容缓。作为废水计算机控制系统，文章的安排组织将废水计算机控制系统分为前后端两部分，分别描述了这两个子系统的需...
- 高毅
- 关键词：可编程逻辑控制器废水处理控制系统模块化设计
- 文献传递
- 基于隐马尔可夫模型的语音考勤系统的改进
- 原语音考勤系统基于正态分布的连续概率密度隐马尔可夫模型开发,虽然具有很高的识别率,但是由于其训练和测试时间较长,特别是当模板增加时,训练时间迅速增加, 这将严重影响产品的实用性。采用矢量量化(VQ)可避免困难的语音分段问...
- 高毅雷霖
- 关键词：矢量量化HMMDSP
- 文献传递
- 基于隐马尔可夫模型的语音考勤系统的改进
- 原语音考勤系统基于正态分布的连续概率密度隐马尔可夫模型开发,虽然具有很高的识别率,但是由于其训练和测试时间较长,严重影响产品的实用性.本文结合VQ和DHMM开发了新的具有实时识别能力的软硬件系统.仿真结果显示,在识别性能...
- 高毅雷霖
- 关键词：语音识别
- 文献传递
- 面向URLLC应用的并行网络服务功能链技术
- 即将推出的第五代无线通信系统有望在蜂窝移动通信之上支持广泛的新兴应用，其关键使用场景之一是超高可靠和低延迟通信（Ultra Reliable and Low Latency Communition，URLLC）。来自学术...
- 高毅
- 关键词：移动通信虚拟化技术
- 新一代民航空管应急通讯系统研究与实现
- 民航空中交通管理部门承担着空中交通系统运行、协调、监督的职责,为航空器提供空中交通管制、通信、导航、雷达、气象、航行情报等服务,空中交通管理(简称空管)在现代民用航空运输体系中扮演了信息核心和沟通枢纽角色,而通信技术是实...
- 高毅
- 关键词：空中交通管理应急通信GIS
- 文献传递
- 基于FISHER品质的中文姓名语音识别技术
- 目前广泛使用的语音识别算法包括矢量量化(Vector Quantization, VQ),高斯混合模型(Gaussian Mixture Model, GMM),隐马尔可夫模型(Hidden Markov Model, ...
- 高毅
- 关键词：FISHER隐马尔可夫模型核方法语音识别
- 文献传递
- 一种基于AIG和SAT求解器的GSTE模型检测方法
- 本发明提供了一种基于AIG和SAT求解器的GSTE模型检测方法，其特征在于包括以下步骤：步骤1，使用ABC工具建立AIG模型；将该AIG转化成FRAIG，同时使用逻辑综合算法化简该FRAIG，减小AIG规模；步骤2，计算...
- 杨国武崔晓爽高毅康文涛牛伟纳张艳徐永生杨俊杨绪鹏周志慧
- 一种基于AIG和SAT求解器的GSTE模型检测方法
- 本发明提供了一种基于AIG和SAT求解器的GSTE模型检测方法，其特征在于包括以下步骤：步骤1，使用ABC工具建立AIG模型；将该AIG转化成FRAIG，同时使用逻辑综合算法化简该FRAIG，减小AIG规模；步骤2，计算...
- 杨国武崔晓爽高毅康文涛牛伟纳张艳徐永生杨俊杨绪鹏周志慧
- 文献传递
