一种基于FTA和FDG的安全关键函数定位方法

常用的软件安全性测试方法主要关注系统级测试,而对单元安全测试的关注较少且缺乏对安全关键函数的查找方法。本文提出基于FTA和FDG的安全关键函数的定位方法,解决安全关键函数定位问题,为以函数为单元的安全性测试提供依据。采用故障树分析法获取造成危险的基本事件,根据基本事件,构建与之对应的软件运行,以FDG为基础,构建函数与软件运行的映射,根据基本事件、软件运行和函数三者的关系,及函数的重要度,确定关键函数。

适应大豆一次浸出,菜籽、棉籽预榨浸出工艺设备的探讨

适应大豆一次浸出，菜籽、棉籽预榨浸出工艺设备的探讨丛钧才江苏农垦集团公司（南京２１０００８）姬忠孝国营三河农场粮油加工总厂（江苏盱眙县２１１７４２）目前国内饲料工业发展迅猛，对大豆一次浸出粕的要求越来越迫切。目前多品种油料加工厂多为５０ｔ／ｄ－１００...