简介:[摘要] 编码规则检查是FPGA软件代码缺陷检测的重要内容。本文研究了通用编码规则集的分类,分析了每个子类的重点研究内容,并设计了FPGA软件代码缺陷模式库,为下一步研究指明了方向。
简介:摘要:油气集输管道输送具有易于自动化集成控制管理,输送介质密闭,输送过程平稳、安全、运输量大、占地面积小等优点,是油田最普遍采用的油气集输方式。管道泄漏是油气集输主要危险源。现状调查发现目前油气生产、油气集输过程中集输管道泄漏,局部环境污染事件屡有发生,出现散点突出现象,存在着较大安全隐患。现行防治办法是运用数字化信息技术、通过人防、物防、技防等综合措施,只能使危害降低到可控范围。因此,基于TRIZ创新理论和发明原理建立解题模型,通过管道泄漏控制预防设计实现“便监测、能预警、易控制、利抢险”的目标,管道运行实现零污染、零损耗运行事故;按照TRIZ理论推导的管壳设计、检测设计,蒸发池是创新方案设计达到理想解,使能实现“便监测、能预警、易控制、利抢险”的创新目标。
简介:摘要:基于襄阳都市圈内的核心区、紧密区、辐射带动区的12个市、区和县的2011—2022年的面板数据,运用时序全局主成分析法测算其数字经济指数,利用空间计量模型分析了襄阳都市圈数字经济的时空特点,识别影响襄阳都市圈数字经济的关键因素。结果发现:从空间影响效应看,人均GDP、产业结构对都市圈数字经济发展具有显著的正向空间溢出效应,劳动力和教育水平可正向促进周边地区数字经济发展,但对自身的数字经济发展没有明显影响。据此,提出推进襄阳都市圈数字经济发展的政策建议。