期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于故障配置的故障树生成 被引量:12
1
作者 黄鸣宇 魏欧 胡军 《计算机科学》 CSCD 北大核心 2017年第2期182-191,共10页
故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障建模与形式化分析... 故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障建模与形式化分析。首先,定义故障特征图模型用于刻画系统故障间的约束关系,基于Kripke结构定义故障标记迁移系统来描述系统的行为;然后,基于模型的语义建立通过模型检测生成故障树的过程;最后,通过时序逻辑描述系统安全属性,利用模型检测工具SNIP验证安全属性进而生成故障树。案例研究验证了该方法的有效性。 展开更多
关键词 故障树 故障配置 模型检测
下载PDF
羽毛针禾(Stipagrostis pennata)根鞘暗色丝孢菌降解功能的初步探究 被引量:2
2
作者 陈洁作 王慧敏 +3 位作者 郭建伟 胡文革 吴楠 张元明 《干旱区地理》 CSCD 北大核心 2017年第4期817-823,共7页
羽毛针禾(Stipagrostis pennata)因其特殊的根鞘结构而成为新疆北部古尔班通古特沙漠中流动和半流动沙丘上的先锋禾草和优良固沙植物。通过多种方法对5株供试暗色丝孢菌的降解功能进行初步探究,以期为高效降解真菌的选育工作提供理论依... 羽毛针禾(Stipagrostis pennata)因其特殊的根鞘结构而成为新疆北部古尔班通古特沙漠中流动和半流动沙丘上的先锋禾草和优良固沙植物。通过多种方法对5株供试暗色丝孢菌的降解功能进行初步探究,以期为高效降解真菌的选育工作提供理论依据。结果表明:(1)通过羧甲基纤维素钠(CMC-Na)水解圈测定法挑选产纤维素酶的菌株,据透明圈直径与菌落直径的比值判断其产酶能力的大小,除0103菌株外其余株菌均具分解纤维素的能力,0104菌株Dp值高达1.70,其余菌株依次为0304>0105>0204。(2)采用滤纸条降解法、失重法,对产纤维素酶的菌株进行降解纤维素功能的验证,其中0104菌株降解能力较为明显,其滤纸失重率高达55.72%。(3)在以聚乙烯为唯一碳源的琼脂培养基培养上述菌株,发现0103菌株具降解聚乙烯能力,光学显微镜下观测到被降解的单个聚乙烯膜片面积达3.75 mm^2。由上可知,0104和0103菌株分别在降解纤维素及聚乙烯方面有潜在的应用价值,其研究结果也拓展了对根鞘微生物功能的认识,除细菌微生物菌肥之外,真菌资源的挖掘和利用也值得更进一步的关注。 展开更多
关键词 羽毛针禾 根鞘 暗色丝孢菌 降解
下载PDF
创业导向的高职电子商务专业实践教学体系研究--以张家口职业技术学院为例 被引量:2
3
作者 贠明猛 邢伟平 胡雅娜 《张家口职业技术学院学报》 2017年第1期65-67,共3页
以张家口职业技术学院经济管理系电子商务专业为例,具体分析目前该专业实践教学现状、存在问题,提出构建以创业能力为导向、高职电子商务专业实践教学体系具体建议:以创业能力培养为核心重构课程体系;建立校内生产性实训基地;与大学生... 以张家口职业技术学院经济管理系电子商务专业为例,具体分析目前该专业实践教学现状、存在问题,提出构建以创业能力为导向、高职电子商务专业实践教学体系具体建议:以创业能力培养为核心重构课程体系;建立校内生产性实训基地;与大学生创业园紧密合作,引导学生进行创业实践;围绕创新、创业能力培养,建立有针对性的多元考核体系。 展开更多
关键词 创业导向 高职 电子商务 实践教学
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部