排序方式: 共有18条查询结果,搜索用时 15 毫秒
1.
实现基于VIS平台的GSTE验证方法,并将非阻塞性赋值算法引入VIS中,完成了对UART 的寄存器传输级模型的FSM的状态转移的验证和对发送的数据是否与输入数据一致的符号化验证。实验表明,该方法能够完成测试用例的全覆盖,说明了该方法在实际例子中所具有的重要意义。 相似文献
2.
今天的淮河流域经过三十五年的治理,已成为国家重要的商品粮基地。1984年全流域粮食总产达1220亿斤,占全国粮食总产的六点五分之一。人均和亩均产粮水平均高于全国平均 相似文献
3.
本通过介绍连江有线电视机房改造光纤配线系统方案,交流了县级有线电视机房光纤配线系统改造的必要性、可行性、技术考虑和设备选型。 相似文献
4.
该文提出一种新型主成份分析(PCA)电子战信息一体化融合方案。该方案基于信息融合DS理论,采用PCA分析法对数据进行收集和降维处理;再对特征层数据建立基本信任分配函数,实现基于特征的数据融合;最后对电子战系统信息进行智能诊断和挖掘等,有效实现电子战系统中故障检测和分离。进一步,通过大数据挖掘对设备状态进行评估,及时发送给控制系统,实现作战过程中对作战战略的合理指导、预警管控,从而对多系统协同工作提供有力保障。 相似文献
5.
针对航空发动机的喘振故障严重影响飞机安全运行的问题,提出了一种基于深度学习的航发喘振智能化故障诊断模型。结合喘振的生成机理对航空发动机传感器数据进行喘振故障分析,采用基于滑动窗口的数据预处理算法构造数据集和标签集;集成卷积神经网络(Convolutional Neural Network, CNN)和长短期记忆(Long-Short Term Memory, LSTM)网络,设计出针对航发喘振故障诊断的深度神经网络模型(1D-CLSTM);在所构建的数据集上,对所提模型与当下流行的深度神经网络进行比较。实验结果表明,所提模型对喘振故障分类的F1分数(F1_score)、召回率(Recall)和精确度(Precision)分别达到了96.45%、95.48%、97.46%,优于其它网络模型。所提模型在时序信号处理与旋转机械智能化故障诊断方面有着较高的应用和推广价值。 相似文献
6.
根据NAND Flash硬件设备的工作原理和过程,利用线性时态逻辑建模语言描述该硬件设备读写状态的性质,分析了NAND Flash软件仿真模块的设计与实现,并通过移植u-boot及ARM Linux内核到仿真器中,验证上述性质是否满足,以保证软件仿真模块设计的正确性. 相似文献
7.
目的了解北京市密云区居民急性胃肠炎患病情况、发病趋势、流行特征及其影响因素,掌握急性胃肠炎病人的月患病率、年发病率,估计急性胃肠炎的食源性比例,为预防控制食源性疾病提供依据和参考。方法采用多阶段随机抽样,开展为期12个月的回顾性横断面调查,Epi Data 3.02软件双录入数据库,利用SPSS 20.0软件分析及@risk 5.5软件进行数据模拟和推算。结果共调查1 664人,应答率99.05%,急性肠胃炎的月患病率为2.28%(95%CI:1.57%~3.00%),年发病率为0.30次/人年(95%CI:0.29次/人年~0.31次/人年)。每年约有14.37万人次罹患急性胃肠炎,食源性比例点估计值0.303 0。结论北京市密云区居民急性胃肠炎发病率较高,发病人次数较庞大,食源性引起所占比例较高,季节、文化程度和家庭人口数等为患急性胃肠炎的风险因素,应加强居民急性胃肠炎的监测并扩大监测范围,定期开展社区居民急性胃肠炎的调查并适当增加其样本量,获取更加准确、全面的调查数据,制定干预措施并加以评估。 相似文献
8.
9.
<正>这里结合多年工作实践经验,首先从市政工程施工过程中的质量控制入手展开论述,侧重在市政工程准备阶段,施工过程,竣工阶段等三个方面,提出保障混凝土质量方面的措施:混凝土配合比;混凝土施工组织措施;混凝土质量控制措施,以供大家参考。1市政工程混凝土质量通病及其原因混凝土质量通病是影响市政工程质量的重要因素,已成为制约结构工程质量的一个突出问题。其主要表现为裂缝、结合面处理不当等,直接影响 相似文献
10.
由于GSTE的性质描述断言图的时序特性,使其不能够简洁易懂地描述电路的并发性质,因此将meet运算符引入GSTE,重新定义GSTE断言图及其验证算法,使之能更简洁的描述和验证数字电路的并发性质,实验表明引入meet运算符后的算法能够降低验证的复杂度. 相似文献