超大规模数字系统控制器的验证实现

数字系统的验证是一个复杂的过程.结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法.该方法需要两组有限状态机的STG状态转换图),通过验证两个STG是否同构来验证控制器综合结果的正确与否.实践表明该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题.     

以太网在现场总线控制系统(FCS)中的跨层应用

在一定的硬件基础上,构建了一个小型三级现场总线控制系统。该系统应用当今流行的以太网来完成其远程监控,其实现方式为软件编程,用VB语言来实现。经调试,数据在现场与远程端可无误地传输,达到了通过网络实现远程监控的目的。     

交流伺服位置控制系统的研究与应用

本文论述了该系统的组成、工作原理。主要介绍了该系统在一个实用系统中的完整系统搭建,硬件接口电路设计,软件设计以及监控界面的设计。并将该系统应用于电梯控制。实验结果表明,该系统功能齐全,结构简单,经济可靠,具有一定的实用价值。     

高斯径向基函数重构特征对表面肌电信号识别

针对在不同动作模式下对表面肌电信号提取的特征信息总是有较大差异,而相同动作模式下提取的特征信息较为接近这一特点,提出了高斯径向基函数重构算法对肌电信号进行识别。该算法在对表面肌电信号提取特征信息后,用高斯径向基函数对特征矢量进行重构,使得重构的特征矢量的空间分布存在很大差异而直接进行识别。用该重构算法对提取的AR系数重构,然后进行识别,平均识别率为97.2%;对小波系数重构,平均识别率为99%。     

基于区域自动站库车市辖区气温精细化特征分析

为了细致了解库车市山区、平原、沙漠等不同下垫面气温特征,文章基于2013年10月—2019年12月库车市辖区39个区域自动气象站资料,利用气候学方法和arcgis 10.6反距离权重插值方法分析了气温时空分布,并与库车城区本站对比,为作物种植布局和山区、平原乡镇温度精细化预报提供参考依据。     

RBF网络隐含层节点的优化

RBF神经网络隐含层节点数的确定一直以来是该网络设计成败的关键所在,文中采用K-means自组织聚类方法为隐含层节点的径向基函数确定合适的数据中心,先给出一个初始值,再慢慢调整,通过实验数据来确定最佳隐含层节点数.结果表明,如果隐含层设计得当,RBF网络可以很好地解决函数接近问题.     

纯菌接种发酵技术在腌渍蔬菜加工上的应用研究(二)纯菌接种发酵技术最佳发酵模式的确定与应用

以筛选出的综合性状较优的植物乳杆菌和干酪乳杆菌为主要发酵菌种，经多方面的发酵比较试验，得出最佳的发酵配套模式为植物乳杆菌或干酪乳杆菌单独或以1∶1的比例混合接种；接种量5％；发酵温度30℃；发酵盐量3％；发酵时间72h即可得到品质稳定、口味上乘、开胃爽口的优质泡菜产品。并且，经不同温度条件下纯接种发酵与自然发酵的多批次模拟对比试验表明：以全年不间断生产为前提，采用纯接种恒温控制发酵的发酵速度至少要比自然发酵平均提高3．26倍以上。     

基于多尺度LBP与GBP特征的火焰识别

为了提高大空间建筑场景中基于视频图像的火灾的识别率,提出了一种基于多尺度LBP与GBP纹理特征的火焰识别算法。首先在RGB颜色空间对连续数帧火灾图像进行预处理,并进行频闪特性分析以提取疑似火焰区域;建立疑似火焰图像高斯差分尺度空间,利用局部二值模式(LBP)和全局二值模式(GBP)提取火焰局部纹理特征和全局纹理特征;最后将多尺度的纹理特征输入到支持向量机进行识别。实验结果表明,LBP与GBP相结合的方法具有对光照不变的特性,获得了较好的火焰识别率。