简介:[摘要] 编码规则检查是FPGA软件代码缺陷检测的重要内容。本文研究了通用编码规则集的分类,分析了每个子类的重点研究内容,并设计了FPGA软件代码缺陷模式库,为下一步研究指明了方向。
简介:摘要:油气集输管道输送具有易于自动化集成控制管理,输送介质密闭,输送过程平稳、安全、运输量大、占地面积小等优点,是油田最普遍采用的油气集输方式。管道泄漏是油气集输主要危险源。现状调查发现目前油气生产、油气集输过程中集输管道泄漏,局部环境污染事件屡有发生,出现散点突出现象,存在着较大安全隐患。现行防治办法是运用数字化信息技术、通过人防、物防、技防等综合措施,只能使危害降低到可控范围。因此,基于TRIZ创新理论和发明原理建立解题模型,通过管道泄漏控制预防设计实现“便监测、能预警、易控制、利抢险”的目标,管道运行实现零污染、零损耗运行事故;按照TRIZ理论推导的管壳设计、检测设计,蒸发池是创新方案设计达到理想解,使能实现“便监测、能预警、易控制、利抢险”的创新目标。