共查询到20条相似文献,搜索用时 562 毫秒
1.
2.
3.
4.
摘要: 安全关键系统必须满足规定的安全性质. 测试生成通常独立于给定性质,“先验证再测试”的方法不能保证安全性质被测试. 为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法. 用输出变异建立被测实现的输出-完全模型,通过发现危险迹产生测试用例. 给出了基于图结构覆盖的安全性质测试准则,提出了形式化测试准则的方法. 使用模型检验器NuSMV检验输出-完全模型可产生既满足结构覆盖又与安全性质相关的测试用例. 相似文献
5.
<正>民以食为天,食品安全与人民群众的生活息息相关。随着社会经济的不断发展,食品安全问题越来越受到各国政府和公众的关注,也成为现阶段我国亟待解决的一大问题。传统的食品检测分析方法已经远远不能满足当今食品检测的需要,因此,作为食品监测的重要手段——食品微生物检验,进一步得到了人们的关注。一、食品微生物检验检测环节的重要性 相似文献
6.
随着科学技术的发展,大量的新技术、新原料和新产品被应用于农业和食品工业中,食品污染的因素也日趋复杂化,要保障食品安全就必须对食品及其原料在生产流通的每个环节中都进行监督检测。本文就食品分析与检验的方法进行论述。 相似文献
7.
岸边集装箱起重机(简称岸桥)是集装箱船与码头前沿之间装卸集装箱的主要设备。从检验工作的角度研究岸边集装箱起重机应该纳入检验的安全因素,参照国家标准、安全技术规范提出检验要求。 相似文献
8.
9.
食品生产的现代化满足了百姓对食品的巨大需求,同时现代科学技术在食品生产中的应用提高了消费者对食品安全的信任度,但是近来一系列的食品安全事件使消费者对采用了新技术、新方法的现代化食品生产的安全性提出了质疑.食物是人类赖以生存和发展的基本物质条件,因此食品及其安全性问题必须得到妥善解决.以牛肉食品的生产为例,本文通过深入探究现代化食品生产中原料生产、产品加工、销售的整个过程,寻找各环节中导致食品安全的症结所在.针对查找出的食品安全问题,在消费者力所能及的范围内提出相应的建议性措施,联合消费者的力量以迫使食品企业从消费者的健康考虑生产真正健康安全的食品. 相似文献
10.
11.
12.
要提高食品质量检验的准确,就应对食品的微生物检验内容和规定进行明确,运用不同的科学检验技术对食品进行检测工作,通过这两者的结合有效防止食品安全事故发生,同时也能有效地提高食品质量检验的准确性。 相似文献
13.
14.
食品搭配的科学指导方法对人们日常饮食生活具有非常重要的意义。本文将本体理论应用于食品搭配领域,分析食品领域中的概念以及概念之间的关系,创建食品搭配领域本体模型,并采用Jena推理引擎和自定义的规则对其进行推理,构建基于本体推理的食品搭配安全查询模型。实验结果表明,此模型具有高效性、智能化、语义性等特点,避免了使用日常经验判断带来的主观性影响。 相似文献
15.
16.
本文论述了对吉林省桦甸市低品位硅藻土进行热浮选-磁选-酸煮提纯的研究工作,结果证明,利用这种提纯方法,很容易使低品位硅藻土达到用作食品助滤剂的企业标准.本文还提出了生产食品助滤剂的工艺流程 相似文献
17.
基于物联网的食品安全信息追溯系统 总被引:1,自引:0,他引:1
《哈尔滨师范大学自然科学学报》2017,(3)
随着各种食品安全问题的不断涌现,解决食品安全问题已刻不容缓.首先提出了基于物联网的食品安全信息追溯模型,并对此模型进行阐述,继而构建基础追溯网络,通过分层建设,提出了物理层、汇聚层、服务层三个层次.该系统可以实现食品安全的合理管理、高效的安全追溯和精准的安全评估,从而保证食品的安全与质量. 相似文献
18.
19.
20.
食品安全的保障——HACCP体系 总被引:5,自引:0,他引:5
食品HACCP(HazardAnalysisandCriticalControlPoint)是食品危害分析和关键控制点体系,是一个保证食品安全的预防性食品质量及安全保障体系。其特点在于事先防范,采用过程方法在生产前识别出生产过程中可能出现的危害点加以分析,以确定关键制点,建立关键限值,采取有效的监控方式,以达到确保食品安全卫生的目的。是用来控制食品安全危害的一种通用技术,是一种重要的管理体系,可以与任何操作相结合;可提供合理的控制食品危害的方法,保证其安全和质量能够达到并保持人们要求的水平;是从食品安全保障角度提出来的,应用于从原料… 相似文献