期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于故障配置的故障树生成
被引量:
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
职称材料
题名
基于故障配置的故障树生成
被引量:
12
1
作者
黄鸣宇
魏欧
胡军
机构
南京航空航天大学计算机科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2017年第2期182-191,共10页
基金
国家自然科学基金项目(61170043)
国家重点基础研究发展计划(973)项目(2014CB744904)
+3 种基金
航空科学基金项目(20155552047)
江苏省研究生培养创新工程(SJLX15_0139)
南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20161602)
中央高校基本科研业务费专项资金资助
文摘
故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障建模与形式化分析。首先,定义故障特征图模型用于刻画系统故障间的约束关系,基于Kripke结构定义故障标记迁移系统来描述系统的行为;然后,基于模型的语义建立通过模型检测生成故障树的过程;最后,通过时序逻辑描述系统安全属性,利用模型检测工具SNIP验证安全属性进而生成故障树。案例研究验证了该方法的有效性。
关键词
故障树
故障配置
模型检测
Keywords
Fault tree
Fault configuration
Model checking
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
羽毛针禾(Stipagrostis pennata)根鞘暗色丝孢菌降解功能的初步探究
被引量:
2
2
作者
陈洁作
王慧敏
郭建伟
胡文革
吴楠
张元明
机构
中国科学院新疆生态与地理研究所中国科学院干旱区生物地理与生物资源重点实验室
石河子大学生命科学学院
云南红河学院云南省农作物优质高效栽培与安全控制重点实验室
出处
《干旱区地理》
CSCD
北大核心
2017年第4期817-823,共7页
基金
新疆维吾尔自治区杰出青年科技人才培养项目真菌菌丝桥在荒漠先锋植物羽毛针禾固沙区氮素转运中的作用(2013711013)
土壤微生物与荒漠先锋植物羽毛针禾根鞘形成的关系(编号:41271281)
文摘
羽毛针禾(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菌株分别在降解纤维素及聚乙烯方面有潜在的应用价值,其研究结果也拓展了对根鞘微生物功能的认识,除细菌微生物菌肥之外,真菌资源的挖掘和利用也值得更进一步的关注。
关键词
羽毛针禾
根鞘
暗色丝孢菌
降解
Keywords
Stipagrostis pennata
rhizosheath
dematiaceous hyphomycetes
degradation
分类号
Q93 [生物学—微生物学]
下载PDF
职称材料
题名
创业导向的高职电子商务专业实践教学体系研究--以张家口职业技术学院为例
被引量:
2
3
作者
贠明猛
邢伟平
胡雅娜
机构
张家口职业技术学院
出处
《张家口职业技术学院学报》
2017年第1期65-67,共3页
基金
2014年度张家口市教育科学“十二五”规划立项课题“高职电子商务专业实践教学改革研究”(项目编号:142809)的研究成果
文摘
以张家口职业技术学院经济管理系电子商务专业为例,具体分析目前该专业实践教学现状、存在问题,提出构建以创业能力为导向、高职电子商务专业实践教学体系具体建议:以创业能力培养为核心重构课程体系;建立校内生产性实训基地;与大学生创业园紧密合作,引导学生进行创业实践;围绕创新、创业能力培养,建立有针对性的多元考核体系。
关键词
创业导向
高职
电子商务
实践教学
Keywords
entrepreneurial orientation
higher vocational college
electronic commerce
practice teaching
分类号
F713.364 [经济管理—产业经济]
G712.4 [文化科学—职业技术教育学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于故障配置的故障树生成
黄鸣宇
魏欧
胡军
《计算机科学》
CSCD
北大核心
2017
12
下载PDF
职称材料
2
羽毛针禾(Stipagrostis pennata)根鞘暗色丝孢菌降解功能的初步探究
陈洁作
王慧敏
郭建伟
胡文革
吴楠
张元明
《干旱区地理》
CSCD
北大核心
2017
2
下载PDF
职称材料
3
创业导向的高职电子商务专业实践教学体系研究--以张家口职业技术学院为例
贠明猛
邢伟平
胡雅娜
《张家口职业技术学院学报》
2017
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部