近年来,由于食源性疾病的不断爆发,民众越来越关注食品安全问题,政府也在大力推行食品可追溯体制建设,加强对食品安全质量管理。分析近几年国内食品可追溯系统的试点运行状况,我国可追溯体制建设依然存在法治标准不健全、系统追溯对象单一化、追溯信息技术不成熟、政府主导企业参与度低等问题。结合国内外关于食品可追溯研究的文献,本文主要针对果蔬类追溯系统追溯对象单一化问题与追溯过程中信息断链问题进行研究:(1)提出一种通用追溯模型设计方法,将食品追溯分为内部追溯与外部追溯两大模块分别进行建模与实现。其中将内部追溯模块抽象为由环节、过程、安全要素、安全指标组成的四层信息结构,并使用嵌套集合模型进行数学描述,用来记录食品在环节内部流通的所有信息;外部追溯模块,则是通过设计交易批次关联模型来描述追溯网络、追溯供应链以及追溯环节间的关联,在食品安全信息完整性与信息流通关联上达到兼容。其中抽象内部环节的设计方法,有效解决追溯对象单一化问题,提高了追溯系统通用性。(2)针对追溯过程中信息断链问题,提出以追溯网络中追溯环节之间的流转时间和交易次数作为推理线索的智能追溯算法,用来推理断裂的信息可能的流通路径。算法中,重点推导了关联特征(流转时间和交易次数)的计算方法与路径关联值的求解方法,并定义了置信度评价公式,用来分析与评估推理结果。(3)基于通用追溯模型设计方法,实现了基于手机的果蔬类食品智能追溯系统,从理论、技术上论证了设计方法的可行性,并进行系统信息化性能评估。针对智能追溯算法进行了仿真分析,讨论了该算法的有效性与不同场景下的适用性问题。