基于行为轨迹属性的软件动态可信模型*

针对软件动态可信度量方法中准确性和效率存在的问题,提出以行为区间划分软件的结构并以行为轨迹属性刻画软件行为的基于行为轨迹属性的软件动态可信模型SBMDB(Software Behavior Model for Dynamic Trustworthiness Based on Behavior Path Properties)。通过对软件功能进行分析,划分软件的行为轨迹区间,提取区间的行为轨迹属性。同时,针对区间的包含、嵌套问题提出了区间化简算法,建立软件的行为模型。该模型以行为轨迹区间为度量基本单位,降低了度量时的整体消耗,提高了度量的效率。实验分析表明,该模型能够精确获取软件的行为信息,有效地检测攻击行为。与其它模型相比,SBMDB可以在保证度量结果准确性基础上提高度量效率。     

利用三爪自定心卡盘改制中心架

我公司有许多废弃的三爪自定心卡盘,如果能废物利用,即可变废为宝,节约资金。我们考虑利用三爪自定心卡盘改制成中心架,经实践使用效果良好。以500卡盘为例,原卡盘结构简图如图1所示。     

振兴石化 三次腾飞

在津港公路的尽头,塔吊林立,一派热火朝天的施工场面。十几座巨塔高高耸立,百万吨乙烯装置裂解炉已雄姿初显。这里就是中国石化天津分公司100万吨／年乙烯及配套项目的施工现场,作为国家“十一五”重点建设工程,天津滨海新区开发开放的标志性工程和天津建设国家级石化产业基地的龙头项目,天津石化100万吨／年乙烯及配套项目吸引了人们的目光。     

某型坦克座椅减振的控制与仿真

分析某型坦克叉形座椅结构,用adams建立仿真样机,优化初始减振元件参数,在ATV中建立整车模型考虑舒适性影响.并用matlab设计系统模糊控制器,联合仿真分析.结果表明此研究能够有效抑制座椅振动加速度,提高驾驶员乘用舒适性和操作安全性的保障作用.