北京市自然科学基金(4082012) 作品数:10 被引量:31 H指数:4 相关作者: 徐红敏 王开义 喻钢 王若鹏 赵春江 更多>> 相关机构: 国家农业信息化工程技术研究中心 北京石油化工学院 北京工业大学 更多>> 发文基金: 北京市自然科学基金 国家高技术研究发展计划 北京市属高等学校人才强教计划资助项目 更多>> 相关领域: 自动化与计算机技术 理学 农业科学 经济管理 更多>>
HACCP信息化的发展现状与分析 被引量:9 2010年 HACCP信息化是HACCP体系与信息化技术手段相结合的产物,包括基础数据库、辅助决策模型、信息交流平台、HACCP管控系统等。HACCP信息化对确保食品安全、简化HACCP体系实施、提高HACCP认证有效性有重大意义。该文对国内外HACCP信息化的发展状况进行了研究。分析了HACCP信息化的必要性及中国HACCP信息化工作存在的问题,并给出了中国HACCP信息化建设的发展建议。中国需要借鉴国内外成功经验,探索自己的HACCP信息化之路,在现有的基础上,推动HACCP信息化建设,进一步确保食品安全。 张献娣 王开义关键词:HACCP 信息化 信息系统 食品安全 基于SVM快速增量算法的HACCP控制点分类 被引量:4 2009年 支持向量机方法已经在HACCP体系关键控制点的智能发现中取得较为满意的结果,但是在样本不断增加的情况下分类效率不高。本文采用支持向量机增量学习算法,优先选择可能成为支持向量的边界向量,减少参与训练的样本数量,进而实现增量学习。实验证明,改进的支持向量机增量算法在保证分类精度的同时,显著提高了分类速度。 赵春江 王开义 喻钢 徐红敏关键词:危害分析与关键控制点 支持向量机 基于光滑化方法求解非线性l_(1)问题 被引量:2 2010年 讨论了求解非线性l1问题的一种新的光滑函数法.通过对非线性l1问题模型的转化,将该问题化为一个不可微优化问题,据此提出了基于BFGS迭代的非线性l1问题的光滑函数法,介绍了非线性l1问题的光滑函数的有关性质、算法步骤及其收敛性.数值仿真显示了提出的光滑函数方法可以避免数值计算的溢出,具有一定的有效性. 王若鹏 徐红敏 游煦关键词:光滑函数 全局收敛性 非线性l_1问题的光滑近似算法 被引量:2 2013年 为非线性l1问题的求解构造了光滑逼近函数.首先将非线性l1问题转化为等价的不可微优化问题;其次通过两步提出光滑逼近函数的一般性构造方法;最后进行了数值仿真.文中介绍了光滑逼近函数的有关性质,指出相关文献已有的光滑函数方法是本文的特例,并证明了方法的收敛性及有效性. 王若鹏 徐红敏关键词:非线性L1问题 光滑函数 全局收敛性 基于x^2拟合优度检验的席位公平分配模型 被引量:7 2014年 针对社会生活中的资源合理分配问题,利用数理统计中的x^2拟合优度检验法,建立了席位公平合理分配的数学模型,讨论了公平分配标准的若干条性质,证明了分配方法满足多条理想化公理,并给出了不违反公平分摊性公理的充分条件.仿真实验与多种分配方法进行了比较,结果显示了该方法的合理性和可操作性.提出的标准量可用于多种资源的合理分配问题. 王若鹏 徐红敏关键词:标准量 工作流技术在HACCP体系管理系统中的应用研究 被引量:3 2010年 为了更有效推进危害分析关键控制点(HACCP)体系信息化,提出了构建基于工作流技术的HACCP体系信息化工具的方案。该方案针对HACCP体系信息化实施的需求情况,把工作流技术应用到HACCP体系的原理和方法之中,从工作过程、组织及资源3个方面来对HACCP体系进行建模。以HACCP计划执行为例,把关键控制点看作步骤,关键控制点中的监控、纠偏、验证及记录环节作为步骤中的动作,建立了相应的工作流模型。最后利用该模型进行了一个HACCP体系管理系统的研发。系统的运行结果表明,该信息化工具的方案正确有效。 张方田 王开义 喻钢 刘忠强关键词:危害分析关键控制点 工作流技术 关键控制点 食品安全 工作流模型 用异常处理机制获取程序继续 2011年 为在当今主流程序设计语言(如C++/Java/C#)中实现继续,采用异常处理机制获取程序继续的方法,利用优化的CPS(continuation passing style)作为中间表示语言,在切片阶段自动确定切片单元和分析定义活性变元的生命期;并且,归纳了支持本方法语言的公共特征,设计出一个一般的、可重用的类层次系统,给出了系统基本架构和应用间的简单接口及实现.结果表明,在高级语言中实现继续机制是完全可行的,可有效地解决确定变元生命期的难题. 喻钢 王开义 赵春江 刘忠强 张方田关键词:程序设计语言 异常处理 面向对象 优化支持向量机在鲜切生菜加工HACCP分类中的应用 被引量:6 2009年 该文介绍了一种基于支持向量机模型解决鲜切生菜加工HACCP(hazard analysis and critical control point)关键控制点智能发现的方法。在通用支持向量机模型进行鲜切生菜加工关键控制点的发现试验中,依靠人工经验选取支持向量机(support vector machine,SVM)核函数参数,识别关键控制点准确率波动较大。该文利用遗传算法优化支持向量机核函数参数的选取,构建了一种基于遗传算法的支持向量机(GA-SVM)模型,应用该模型在鲜切生菜生产关键控制点的发现试验中获得了87.5%的识别率,比传统方法稳定性更高。该方法对其他HACCP关键控制点的智能发现具有很好的借鉴意义。 王开义 徐红敏 赵春江 喻钢关键词:支持向量机 遗传算法 HACCP 鲜切生菜 组合SVM和决策树精确建立CCP点 被引量:1 2010年 危害分析与关键控制点(HACCP)系统能有效保证食品质量安全,是食品行业安全生产流程的标准。在HACCP系统实施中,最关键的是精确定义系统的关键控制点(CCP):从HACCP系统的海量数据中选取有效数据来决策和定义CCP。本文组合支持向量机(SVM)和决策树(DT)来精确确定CCP。此方法基于SVM&DT在多类分类问题的精确简单特点和对多类划分的优越表现。应用此方法对杭州某水产养殖有限公司的历史数据进行验证和分析,发现CCP的自动挖掘精度大大提高,实现了虾苗验收、水产药物验收关键点控制问题。 李杨 赵春江 杨信廷关键词:决策树 支持向量机 关键控制点 0–1型二次规划的光滑函数法 2012年 本文针对工程设计、经济分析及计算机辅助设计等领域出现的0–1型二次规划问题,提出了Newton型的光滑迭代算法.首先利用NCP函数将0–1规划转化为不可微优化问题,然后通过构造不可微问题的光滑一致逼近,将组合优化问题转化成了可微的无约束优化问题,克服了已有算法收敛速度慢且计算结构复杂的缺点.文中给出了算法的迭代格式,证明了光滑函数的有关性质及其算法收敛性.通过理论分析及数值仿真证明了该算法对初始点不敏感,收敛速度快,且数值稳定,从而验证了模型和算法的可行性及有效性. 王若鹏 徐红敏关键词:光滑函数 NCP函数