检索结果-南通市图书馆

基于状态事件故障树的AFDX网络可靠性分析

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于状态事件故障树的AFDX网络可靠性分析

作者：张振冬西安电子科技大学

学位级别：硕士

在工业控制、航空电子、汽车行业等安全关键领域,软件构件代替机械和电子构件已经成为一种趋势。系统安全分析主要是确定引起故障的关键行为和组合,并且判断系统设计中存在的不足。AFDX网络是航空电子系统中的数据网络,具有高的可靠性... 详细信息

在工业控制、航空电子、汽车行业等安全关键领域,软件构件代替机械和电子构件已经成为一种趋势。系统安全分析主要是确定引起故障的关键行为和组合,并且判断系统设计中存在的不足。AFDX网络是航空电子系统中的数据网络,具有高的可靠性、抗击恶劣环境的适应性和实时性等特点。已有的针对AFDX网络可靠性模型都是基于故障树或者动态故障树。但是,在AFDX网络中许多构件已经被软件所替代,而故障树或者动态故障树不能满足软件构件系统的复杂性和动态依赖等特性。为了进行构件化软件系统的安全性分析,Bernhard Kaiser等在故障树的基础上加入事件和状态等概念,提出了状态事件故障树建模方法。基于状态事件故障树求解其顶事件的发生概率和最小割集序列的定量和定性分析已经取得一些成果,对提高系统的安全性带来了很大帮助。本文主要围绕状态事件故障树研究其最小割集序列的定性分析和顶事件失效概率的定量分析,然后基于AFDX网络数据完整性建立状态事件故障树并做安全性分析和验证。主要工作包括以下内容:首先,由于状态事件故障树缺乏严格的形式化语义,为了解决引起顶事件失效的最小割集序列问题,先将状态事件故障树转换为确定随机Petri网,再将确定随机Petri网中的逻辑门按照一定的规则进行化简,并用库所代替构件对应的Petri网;接着改进基于Petri网的关联矩阵法,使得其适合求解最小割集序列,并开发了自动求解工具minCut。其次,针对状态事件故障树顶事件失效概率问题,给出了基于随机混成自动机的概率特性分析方法。对于含有确定时延事件的状态事件故障树,用基于Interface-IMC的方法不能分析其概率特性。因此,本文将状态事件故障树转换为随机混成自动机做概率特性分析。针对状态事件故障树中的逻辑门和构件,分别给出了它们到随机混成自动机的转换语义。然后用模型检测工具UPPAAL-SMC做概率特性分析,并且通过一个实例,与基于Interface-IMC的概率特性分析方法进行了比较。最后,分析AFDX网络中交换机和终端的结构以及数据帧传输过程,建立相应的状态事件故障树。用状态事件故障树精确的对AFDX网络中软件构件的内部失效行为建模。接着将建立好的模型转换为确定随机Petri网和随机混成自动机分别做最小割集序列和顶事件发生概率求解分析。根据AFDX网络数据完整性的定量和定性分析结果,可以优化AFDX的结构和元件。

关键词：安全性分析 AFDX网络状态事件故障树确定随机Petri网随机混成自动机

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一株牙鲆出血症病原菌的分子生物学鉴定

高技术通讯 2001年第12期11卷 12-17页

作者：莫照兰茅云翔陈师勇张振冬张培军中国科学院海洋研究所实验海洋生物学开放实验室青岛266071 青岛海洋大学海洋生命学院青岛266003

从患出血症养殖牙鲆分离到一株病原菌M 4 ,革兰氏阴性 ,杆状 ,有极生和侧生鞭毛 ,能运动 ,菌落半透明。进行了常规生理生化和BIOLOG GN细菌鉴定系统测试 ,结果表明菌株M 4与V .carchariae的表型特征非常相似。为了进一步确定M 4的分类... 详细信息

从患出血症养殖牙鲆分离到一株病原菌M 4 ,革兰氏阴性 ,杆状 ,有极生和侧生鞭毛 ,能运动 ,菌落半透明。进行了常规生理生化和BIOLOG GN细菌鉴定系统测试 ,结果表明菌株M 4与V .carchariae的表型特征非常相似。为了进一步确定M 4的分类学地位 ,测定了其 16SrRNA基因序列 ,分析了相关细菌相应序列的同源性 ,构建了系统发生树 ,结果表明菌株M 4与V .carchariae的亲缘关系最近。综合上述结果 ,菌株M 4可鉴定为Vibirocarchariae。

关键词：牙Ping 16SrRNA基因序列系统发育学分析鉴定分子生物学出血症病原菌M4 Vibiro carchariae

牙鲆红细胞对不同抗原的免疫黏附及Ⅰ型补体受体的检测

在线全文

学校读者我要写书评

暂无评论

高技术通讯 2010年第3期20卷 320-326页

作者：张振冬王淑芬巩宁王秀娟朱琳国家海洋环境监测中心大连116023 大连水产学院生命科学与技术学院大连116023 大连海事大学环境系统生物学研究所大连116026 南开大学环境科学与工程学院天津300071

采用C3b受体花环实验探究了牙鲆红细胞对不同种类抗原的免疫黏附能力,确定了影响免疫黏附作用的理化因子。实验选取创伤弧菌、金黄色葡萄球菌和啤酒酵母3种不同类别的抗原分别与牙鲆红细胞在优化条件下反应。结果表明,牙鲆红细胞对3种... 详细信息

采用C3b受体花环实验探究了牙鲆红细胞对不同种类抗原的免疫黏附能力,确定了影响免疫黏附作用的理化因子。实验选取创伤弧菌、金黄色葡萄球菌和啤酒酵母3种不同类别的抗原分别与牙鲆红细胞在优化条件下反应。结果表明,牙鲆红细胞对3种抗原均有免疫黏附作用,在20℃、0.1mol/L PBS^(++)缓冲液的反应条件下,牙鲆红细胞黏附创伤弧菌、金黄色葡萄球菌和啤酒酵母的C3b受体花环率分别为(19.00±1.01)%、(6.09±1.36)%和(3.42±0.00)%,对3种抗原的免疫黏附活性差异显著(P<0.05)。利用AKTA快速蛋白液相层析系统的Superdex 200 GL型高效柱分离纯化牙鲆红细胞膜蛋白Ⅰ型补体受体(CR1),通过dot-ELISA法检测发现红细胞膜蛋白组分中含有CR1成分,表明牙鲆红细胞膜上表达了与高等脊椎动物有较高同源性的CR1分子。此实验首次证明了牙鲆红细胞具有发挥免疫功能的重要物质基础。

关键词：牙鲆免疫黏附 Ⅰ型补体受体(CR1) C3b受体花环红细胞免疫

在线全文

学校读者我要写书评

暂无评论

彗星实验检测渤海主要入海河流遗传毒性

中国环境科学 2013年第1期33卷 161-165页

作者：洛昊梁斌马明辉张振冬张志峰国家海洋环境监测中心辽宁大连116023

利用彗星实验检测渤海区主要入海河流遗传毒性.以虾虎鱼为受试生物,暂养在河口水样中,染毒48h,取外周血细胞,运用彗星实验检测外周血细胞内DNA损伤程度,以尾相(TM)作为DNA损伤程度指标,并据此评估入海河流邻近海域遗传毒性风险.实验结... 详细信息

利用彗星实验检测渤海区主要入海河流遗传毒性.以虾虎鱼为受试生物,暂养在河口水样中,染毒48h,取外周血细胞,运用彗星实验检测外周血细胞内DNA损伤程度,以尾相(TM)作为DNA损伤程度指标,并据此评估入海河流邻近海域遗传毒性风险.实验结果表明,入海河流中的特征污染物可导致虾虎鱼外周血细胞的DNA损伤,且损伤程度可以通过彗星实验定量分析,同时该试验方法操作简便、快速、灵敏度高,能够反映出多种污染因子的综合致毒能力.因此,通过彗星实验建立实验室检测入海河流遗传毒性方法具有可行行和创新性.

关键词：彗星实验 DNA损伤入海河口遗传毒性

在线全文

学校读者我要写书评

暂无评论

鳗弧菌金属蛋白酶单克隆抗体的制备及鉴定

高技术通讯 2003年第2期13卷 102-104页

作者：陈师勇张培军莫照兰张振冬邹玉霞徐永立中国科学院海洋研究所海洋生物学重点实验室青岛266071

鳗弧菌M 3胞外产物经纯化得到分子量为 36 5kDa的金属蛋白酶 ,浓缩后作为抗原免疫BALB/C小鼠。经细胞融合及筛选 ,得到三株稳定分泌抗金属蛋白酶的杂交瘤细胞株 ,分别命名为P2B1、P4A3和P4B1。亚型鉴定结果表明 ,三株细胞株产生的单抗均... 详细信息

鳗弧菌M 3胞外产物经纯化得到分子量为 36 5kDa的金属蛋白酶 ,浓缩后作为抗原免疫BALB/C小鼠。经细胞融合及筛选 ,得到三株稳定分泌抗金属蛋白酶的杂交瘤细胞株 ,分别命名为P2B1、P4A3和P4B1。亚型鉴定结果表明 ,三株细胞株产生的单抗均为IgG3型。蛋白质印迹 (WesternBlot)分析显示 ,所得到的单抗只与分子量为 36 5kDa的金属蛋白酶反应 ,具有较高特异性。三株单抗均能有效抑制蛋白酶活性。

关键词：制备鉴定鳗弧菌金属蛋白酶单克隆抗体鱼流行性疾病

基于GIS的虾夷扇贝养殖适宜性综合评价——以北黄海大小长山岛为例

在线全文

学校读者我要写书评

暂无评论

生态学报 2014年第20期34卷 5984-5992页

作者：林勇刘述锡关道明张振冬温泉国家海洋环境监测中心国家海洋局近岸海域生态环境重点实验室大连116023 国家海洋环境监测中心国家海洋局海域管理技术重点实验室大连116023

由于水产养殖缺乏科学空间规划,近年来中国最大的虾夷扇贝(Patinopecten yessoensis)养殖基地长山群岛发生了扇贝大规模死亡现象。当地渔业主管部门急需水产养殖空间格局优化的技术手段和科学依据。采用叶绿素a浓度、海水表面温度、水... 详细信息

由于水产养殖缺乏科学空间规划,近年来中国最大的虾夷扇贝(Patinopecten yessoensis)养殖基地长山群岛发生了扇贝大规模死亡现象。当地渔业主管部门急需水产养殖空间格局优化的技术手段和科学依据。采用叶绿素a浓度、海水表面温度、水深、透明度以及评价单元到渔港、城镇、旅游区和自然保护区的距离等指标,构建了虾夷扇贝养殖适宜性评价模型,并以大小长山岛海域为示范区,对该海域的虾夷扇贝的养殖适宜性进行了空间分析。结果表明:大小长山岛海域虾夷扇贝养殖适宜性较高且具有较大的空间变异,在不考虑海域使用冲突情形下,养殖适宜性指数在6.0—7.0以及7.0以上的海域占示范区的面积比例分别为26.04%(167.75 km2)和4.73%(44.06 km2),且高适宜性(SSI>7.0)区主要分布在大长山岛西北和西南海域;而由于航道和水产养殖存在海域使用冲突,高适宜区面积大幅下降为19.56 km2。在此基础上对大小长山岛海域虾夷扇贝养殖空间格局优化提出了建议。利用一些简单的距离指标反映了陆地基础设施因素对水产养殖选址的影响,体现了海陆统筹的理念并可为海陆统筹技术方法研究提供重要借鉴。

关键词：水产养殖适宜性评价大小长山岛海陆统筹 GIS模型

海洋环境中病原微生物不同检测方法的比较研究

在线全文

学校读者我要写书评

暂无评论

海洋环境科学 2011年第2期30卷 292-295页

作者：张振冬王秀娟朱琳国家海洋环境监测中心辽宁大连116023 南开大学环境科学与工程学院天津300071

在海洋环境中微生物显示出最为丰富的生物多样性,在海洋生态系统中发挥着重要的作用。而其中存在着大量的各种病原微生物,不但能导致各种重要海洋生物患病,还可导致人类患病。随着气候变化的加剧,这些海洋病原微生物有可能会大量繁殖,... 详细信息

在海洋环境中微生物显示出最为丰富的生物多样性,在海洋生态系统中发挥着重要的作用。而其中存在着大量的各种病原微生物,不但能导致各种重要海洋生物患病,还可导致人类患病。随着气候变化的加剧,这些海洋病原微生物有可能会大量繁殖,对沿海地区公共卫生健康和海水养殖业造成巨大威胁。本文主要针对目前海洋环境中病原微生物的传统鉴定方法、分子生物学和免疫学等各主要检测方法的基本原理、研究进展及其在海洋病原生物检测应用等方面进行综述,并讨论了它们的优缺点。

关键词：海洋病原微生物免疫学检测分子检测

在线全文

学校读者我要写书评

暂无评论

让语文课堂插上飞翔的翅膀

考试周刊 2014年第35期 31-32页

作者：张振冬文安县第一中学

新课改理念要求以人本思想为核心,在课堂教学中充分尊重学生的学习过程和学习体验,而学习过程的递进和学习体验的多样性决定了课堂教学过程中产生突破预设之外的新的构建,这正是高效课堂教学所要求的教学境界。下面我结合课堂教学感悟,... 详细信息

新课改理念要求以人本思想为核心,在课堂教学中充分尊重学生的学习过程和学习体验,而学习过程的递进和学习体验的多样性决定了课堂教学过程中产生突破预设之外的新的构建,这正是高效课堂教学所要求的教学境界。下面我结合课堂教学感悟,谈谈语文高效课堂的方法与策略。一、课堂教学必须以师生"平等"的方式进行传统观念认为,课堂教学是教师教、学生学的过程而已传统的语文课堂教学不注重对学生文化素养的培养,而把教师仅仅看成知识的传授者,使得教师处于至高无上的权威地位。在新课程改革理念指导下,课堂教学应该是以"平等"的方

关键词：语文课堂林黛玉语文课堂教学教学机智

DGGE技术及其在海洋环境微生物多样性研究中的应用

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

海洋环境科学 2008年第3期27卷 297-300页

作者：张振冬王淑芬曹宇峰国家海洋环境监测中心辽宁大连116023 大连水产学院生命科学与技术学院辽宁大连116023 国家海洋局厦门海洋环境监测中心站福建厦门361002

海洋环境中蕴藏着丰富的微生物资源,在海洋生物中显示出最丰富的生物多样性,在海洋生态系统中发挥着重要的作用。由于传统研究方法的不足,目前对海洋微生物的认知只占其总量的1%,探索以及开发99%未知微生物的巨大资源是一项艰巨而富有... 详细信息

海洋环境中蕴藏着丰富的微生物资源,在海洋生物中显示出最丰富的生物多样性,在海洋生态系统中发挥着重要的作用。由于传统研究方法的不足,目前对海洋微生物的认知只占其总量的1%,探索以及开发99%未知微生物的巨大资源是一项艰巨而富有挑战性的任务,也具有广阔的前景。近年来,革新的分子生物学技术广泛应用于海洋微生物学研究领域,推动了海洋微生物多样性研究的快速发展,扩展和加深了对海洋环境中微生物的认识。本文介绍了一种基于PCR技术的现代分子生物学技术—DGGE的基本原理、关键环节及其在海洋微生物多样性研究中的应用,同时就其自身存在的缺点进行了简单评价并提出了几点解决方案。

关键词： DGGE 海洋微生物多样性微生物生态学海洋极端微生物