基于自适应阈值活动语音检测和最小均方误差对数谱幅度估计的低信噪比降噪算法

针对低信噪比(SNR)环境下传统方法对声信号降噪的局限性，提出了一种联合自适应阈值活动语音检测（VAD）算法和最小均方误差对数谱幅度估计（MMSE-LSA）的实时降噪算法。首先，在VAD算法中通过基于能量概率最大值的概率统计来对背景噪声进行估计，对得到的背景噪声进行实时更新并保存；然后，将实时更新的背景噪声作为MMSE-LSA的参考噪声，并对噪声幅度谱进行自适应更新，最后进行降噪处理。通过在真实场景中对四类声信号进行实验，结果表明，该算法在保证对低SNR声信号的实时处理的情况下，相较于传统MMSE-LSA算法，降噪信号的SNR能够提高10~15 dB，且不存在信号过减的情况，可应用于实际工程。     

ORAL外语口语APP开发与应用设计构想

随着2018年教育部出台中国英语等级量表(CES)计划在2020年前逐步推进,我国未来将会建立起一个统一的并为国外认可的英语测评体系,对学生英语听说读写能力的测评标准也将提高。受制于有限的语言环境,中国学生的听、说能力相对较弱,且缺乏有效训练。为了改变应试教育下学生固化的语言学习模式和思维模式,使学生学习语言目的更趋向于生活化,提升其语言交际能力,文章在分析对比市面上现行外语口语学习APP的基础上探索设计一种新型的更适用于本国学生的外语口语学习软件,旨在创设真实自然的语言环境,切实提高青少年口语学习水平。     

碳纤维电地暖的智能温控及蓄能系统

碳纤维电地暖相较于其他地暖,在能源的消耗、对环境造成的压力和经济效益等方面具备明显的优势。为了在供暖过程中实现更加节能高效的目标,并同时满足各住户对不同舒适度的要求,我们将模糊PID控制器作为核心,构建智能温度控制及蓄能系统。我们将一个电能表单独与碳纤维电地暖串联,并在发热电缆周围放置精确的温度测量装置和信号转换器,供暖所消耗的电能和发热电缆的实时温度分别由电能表和温度测量装置测定,同时转换为电信号,并经过模糊PID控制器处理,用来动态合理的分配发热电缆的电能,实现在电能的使用上达到“移峰填谷”、节能减排的目的。     

区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

气压仪器检定装置的升级改造

文章针对气压检定装置在使用中存在的一些问题,会同厂家对其进行了升级改造。介绍了改造后的气压检定装置的设计原理、软件和硬件设计以及技术指标等,新装置集成了目前先进的计量设备及技术,编写相应的程序软件升级改造而成。可广泛适用于气象部门空盒气压表、自动站气压传感器以及部分数字压力计的计量检定工作,实现气压检定工作的自动化,提高检定数据的准确性和可靠性,并有效提高检定的工作效率。     

混沌自适应水波算法在包装配送问题中的应用

追求高效的启发式算法是包装配送问题的重要研究方向。对此,设计一种求解包装配送问题的混沌自适应水波算法(CAWWA)。根据包装配送问题特征设计水波算法(WWA)个体表达式;利用混沌系统生成WWA算法初始种群,并提出一种自适应调整的碎波系数,根据进化代数调整算法搜索范围;利用包装配送实例和6个国际算例进行仿真实验。结果表明,该算法能够适用于包装配送问题求解,且与GA算法、TS算法和ACO算法相比,其全局搜索能力更强、收敛速度更快。