科技成果名称:农产品质量追溯的形式化建模理论和方法研究
关键词:质量追溯,精准召回,形式化建模,流程模型,农产品
科技成果类型:原始创新
科技成果所处阶段:实验室研究
科技成果应用领域:农、林、牧、渔业
科技成果简介:农产品质量安全监管是北京市实施农业高质量发展行动的重要方面之一。农产品生产到餐桌全流程的形式化、信息化,以及自动化质量溯源和问题农产品精准召回方法,是其中核心关键问题。目前,农产品质量追溯相关技术方法存在普适性差、工作量大、自动化程度低的问题,对于农业生产的效率和质量溯源的准确性造成了影响。本项目针对以上问题,开展农产品质量追溯的形式化建模理论和关键技术研究,包括:(1)提出农产品生产流程的通用化的形式化建模方法,建立不同类型的子流程模式模型,提出模块化的流程建模方法;研究农产品生产流程的模型表达和翻译技术,提出有效的语法解析方法,实现规范化文档至机器语言的翻译过程。(2)针对农产品生产流程异构数据采集的效率问题,研发数据实体的建模方法和存储技术,提出数据实体与数据库映射方法,实现数据存储过程的自动化和自适配;研发数据的自适配数据采集技术,提高数据采集过程的自动化、精准化。(3)面向农产品质量安全追溯需求,建立溯源过程模型,提出生产流程模型至溯源模型的自动化转换方法;以农产品质量溯源模型为基础,设计自动化产品溯源和问题农产品精准召回算法,形成可量化的溯源路径。本项目兼顾建模理论、方法设计、技术实现和实验应用,解决农产品质量追踪面临的流程多样性、数据异构性、追溯准确性问题,突破通用化农产品质量追溯方法的技术瓶颈,为农产品安全监管提供理论参考和技术支撑。
相关人物