基于 GSTE的验证在 UART模块中的应用研究

实现基于VIS平台的GSTE验证方法,并将非阻塞性赋值算法引入VIS中,完成了对UART 的寄存器传输级模型的FSM的状态转移的验证和对发送的数据是否与输入数据一致的符号化验证。实验表明,该方法能够完成测试用例的全覆盖,说明了该方法在实际例子中所具有的重要意义。     

略论淮河流域节流问题

今天的淮河流域经过三十五年的治理,已成为国家重要的商品粮基地。1984年全流域粮食总产达1220亿斤,占全国粮食总产的六点五分之一。人均和亩均产粮水平均高于全国平均     

连江有线电视机房改造光纤配线系统方案

本通过介绍连江有线电视机房改造光纤配线系统方案，交流了县级有线电视机房光纤配线系统改造的必要性、可行性、技术考虑和设备选型。     

试论市政工程混凝土施工质量通病及防治

<正>这里结合多年工作实践经验,首先从市政工程施工过程中的质量控制入手展开论述,侧重在市政工程准备阶段,施工过程,竣工阶段等三个方面,提出保障混凝土质量方面的措施:混凝土配合比;混凝土施工组织措施;混凝土质量控制措施,以供大家参考。1市政工程混凝土质量通病及其原因混凝土质量通病是影响市政工程质量的重要因素,已成为制约结构工程质量的一个突出问题。其主要表现为裂缝、结合面处理不当等,直接影响     

NAND Flash仿真模块的一种验证方法

根据NAND Flash硬件设备的工作原理和过程,利用线性时态逻辑建模语言描述该硬件设备读写状态的性质,分析了NAND Flash软件仿真模块的设计与实现,并通过移植u-boot及ARM Linux内核到仿真器中,验证上述性质是否满足,以保证软件仿真模块设计的正确性.     

基于广义符号轨迹赋值模型验证的反例的产生

广义符号轨迹赋值(Symbolic Trajectory Evaluation)引入了符号变量和抽象技术,解决了验证中状态爆炸的问题,但是却为寻找反例制造了很多障碍.针对此,提出了一种高效的寻找反例的算法,它应用集合的概念,通过回溯在父子路径之间进行集合的交集,可以高效地解决抽象引起的问题.并对此算法进行改进,解决了符号变量带来的问题.     

基于DS的电子战多信息PCA融合方案

该文提出一种新型主成份分析（PCA）电子战信息一体化融合方案。该方案基于信息融合DS理论,采用PCA分析法对数据进行收集和降维处理;再对特征层数据建立基本信任分配函数,实现基于特征的数据融合;最后对电子战系统信息进行智能诊断和挖掘等,有效实现电子战系统中故障检测和分离。进一步,通过大数据挖掘对设备状态进行评估,及时发送给控制系统,实现作战过程中对作战战略的合理指导、预警管控,从而对多系统协同工作提供有力保障。     

航发喘振智能化故障诊断模型研究

针对航空发动机的喘振故障严重影响飞机安全运行的问题，提出了一种基于深度学习的航发喘振智能化故障诊断模型。结合喘振的生成机理对航空发动机传感器数据进行喘振故障分析，采用基于滑动窗口的数据预处理算法构造数据集和标签集；集成卷积神经网络(Convolutional Neural Network, CNN)和长短期记忆(Long-Short Term Memory, LSTM)网络，设计出针对航发喘振故障诊断的深度神经网络模型(1D-CLSTM);在所构建的数据集上，对所提模型与当下流行的深度神经网络进行比较。实验结果表明，所提模型对喘振故障分类的F1分数(F1＿score)、召回率(Recall)和精确度(Precision)分别达到了96.45%、95.48%、97.46%,优于其它网络模型。所提模型在时序信号处理与旋转机械智能化故障诊断方面有着较高的应用和推广价值。     

北京市密云区居民急性胃肠炎流行病学特征与风险因素调查

目的了解北京市密云区居民急性胃肠炎患病情况、发病趋势、流行特征及其影响因素,掌握急性胃肠炎病人的月患病率、年发病率,估计急性胃肠炎的食源性比例,为预防控制食源性疾病提供依据和参考。方法采用多阶段随机抽样,开展为期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。结论北京市密云区居民急性胃肠炎发病率较高,发病人次数较庞大,食源性引起所占比例较高,季节、文化程度和家庭人口数等为患急性胃肠炎的风险因素,应加强居民急性胃肠炎的监测并扩大监测范围,定期开展社区居民急性胃肠炎的调查并适当增加其样本量,获取更加准确、全面的调查数据,制定干预措施并加以评估。