检索结果-南通市图书馆

同方期刊数据库

基于系统设计模型的动态故障树构建与分析方法研究

在线全文

学校读者我要写书评

暂无评论

基于系统设计模型的动态故障树构建与分析方法研究

作者：宛伟健南京航空航天大学

学位级别：硕士

伴随嵌入式系统在航空、航天、核工业等安全关键领域被广泛应用,其规模和复杂度在不断增加,如何保证安全关键嵌入式系统的可靠性和安全性已经成为当前学术界和工业界的研究重点。一方面,嵌入式系统研发周期中大部分错误主要集中产生于... 详细信息

伴随嵌入式系统在航空、航天、核工业等安全关键领域被广泛应用,其规模和复杂度在不断增加,如何保证安全关键嵌入式系统的可靠性和安全性已经成为当前学术界和工业界的研究重点。一方面,嵌入式系统研发周期中大部分错误主要集中产生于系统设计阶段,而由于系统设计和系统分析相互分离,后期进行系统分析时,修正每个错误所要花费的代价是系统早期设计阶段修正错误代价的几倍甚至几十倍。另一方面,动态故障树作为一种有效的且被广泛应用的系统可靠性和安全性分析模型,其构建方式通常基于分析工程师手动构建,大大降低了模型的可靠性。随着系统规模的不断增加,手动构建动态故障树变得愈发困难,且基于马尔可夫链的动态故障树定量分析方法由于缺乏有效工具的支撑,存在计算过程复杂且容易出现人为错误、耗费大量人力物力和计算结果不精确等缺点。针对以上问题,本文提出一种基于系统设计模型SysML的动态故障树自动构建方法,将系统设计与系统分析相结合,在系统设计的同时进行可靠性分析;并结合概率模型检测方法,提出一种基于概率模型检测工具PRISM的动态故障树定量分析方法,能够高效精确的对动态故障树进行定量分析。论文的主要研究内容如下:(1)提出一种基于SysML活动图和扩展后的SysML模块定义图的动态故障树构建方法,首先基于SysML的Profile扩展机制,对SysML模块定义图进行故障描述语义扩展,然后结合SysML活动图提出一种动态故障树的自动构建算法,自动生成动态故障树。(2)提出一种结合概率模型检测工具PRISM的动态故障树定量分析方法,使用连续时间马尔可夫链模型对动态故障树进行形式化规约,并用PRISM语言对连续时间马尔可夫链模型进行描述,生成PRISM工具的输入模型,然后定义定量分析CSL属性规约公式,最后运行工具得出定量分析的结果。(3)设计实现了动态故障树自动生成和转换到PRISM代码的原型工具T-CDFT2PRISM,并对一个飞机结冰探测系统案例进行分析,说明本文所提方法的可行性和合理性。为安全关键嵌入式系统的可靠性分析工作提供了一种新思路。

关键词：动态故障树分析方法 SysML 概率模型检测 PRISM 定量分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

居住区低成本开发建设研究

居住区低成本开发建设研究

作者：步宛健南京林业大学

学位级别：硕士

随着国家针对全国高房价的出台一系列政策措施,居住区项目的竞争程度日益激烈,利润空间也不断被压缩。房地产企业从自身内部出发,做好项目全过程的低成本控制,对保证企业利润,提高自身企业竞争力,甚至降低市场房价都具有重要的现实意义... 详细信息

随着国家针对全国高房价的出台一系列政策措施,居住区项目的竞争程度日益激烈,利润空间也不断被压缩。房地产企业从自身内部出发,做好项目全过程的低成本控制,对保证企业利润,提高自身企业竞争力,甚至降低市场房价都具有重要的现实意义;同时当前居住区项目规划建设过程中,资源浪费,低成本控制效果不明显的现象也十分明显。这与我国当前推行的绿色经济、可持续发展的政策也不相符。本文的出发点在于:顺应当前经济发展趋势,提高资源利用率;为缓解房价压力做出一定贡献。论文通过研究居住区项目的开发特征和居住区规划建设各阶段与低成本控制的关系,分析了居住区项目规划建设各阶段的低成本控制特征和各开发阶段对项目整体成本控制的影响程度,进而结合现有控制方法和措施,提出一个贯穿于整个居住区规划建设过程的成本控制体系;同时针对快速城市化对居住区未来低成本控制模式的影响,提出了一定的独立思考,使论文具有一定前瞻性。首先,本文对当今国内外低成本控制理论研究现状进行了分析,包括成本形态分析、成本控制体系分析及成本控制程序与方法的分析,为论文研究打好了理论基础;其次对居住区项目开发阶段与低成本控制的关系进行了研究,包括居住区项目开发成本的构成,居住区开发项目的各个阶段及各阶段与低成本控制的关系;归类当前居住区项目规划建设过程中低成本控制的主要问题。最后结合上述研究提出相对应的控制方法和措施,建立居住区成本控制体系。论文建议:1)房地产开发企业应继续提高对居住区项目低成本重要性的认识;2)系统全面地开展居住区的低成本控制工作。3)针对新形势的发展趋势,预见性的考虑居住区今后的发展模式对低成本控制的影响和对策。

关键词：居住区控制低成本发展趋势

500kV线—变串中开关保护重合闸问题浅析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

电网技术 2006年第S2期30卷 518-520页

作者：徐颖华宛玉健惠州供电局广东省惠州市516001

本文主要讨论了线一变串中开关保护的重合闸问题。虽然一台半接线方式具有较高的供电可靠性和调度的灵活性,但是一台半接线方式造成使用的保护设备多,二次回路和继电保护配置复杂,给继电保护维护及自动装置的投退带来了诸多不便。尤其... 详细信息

本文主要讨论了线一变串中开关保护的重合闸问题。虽然一台半接线方式具有较高的供电可靠性和调度的灵活性,但是一台半接线方式造成使用的保护设备多,二次回路和继电保护配置复杂,给继电保护维护及自动装置的投退带来了诸多不便。尤其是线一变串中开关保护重合闸的问题,此时中开关同时肩负对线路、变压器送电的任务,而在变压器故障时,不允许中开关对变压器重合。如果中开关保护的重合闸退出,那么在线路单相故障时可能导致中开关非全相运行,对变压器和电网稳定运行有影响。本文针对此问题以某500kV变电站一线一变串为例进行分析,找出改进方法。

关键词：线-变串中开关重合闸分析

在线全文

学校读者我要写书评

暂无评论

基于统计模型检测的DFT定量分析方法

系统工程与电子技术 2020年第2期42卷 480-488页

作者：乔森黄志球王金永宛伟健南京航空航天大学计算机科学与技术学院江苏南京211106 南京航空航天大学高安全系统的软件开发与验证技术工业和信息化部重点实验室江苏南京211106

动态故障树(dynamic fault tree,DFT)是对系统进行安全性分析的重要手段,基于马尔可夫链的DFT求解方法存在3个难题:一是仅可分析故障概率为指数分布的系统;二是无法分析共因失效情况;三是可能导致状态空间爆炸。因此提出一种基于统计模... 详细信息

动态故障树(dynamic fault tree,DFT)是对系统进行安全性分析的重要手段,基于马尔可夫链的DFT求解方法存在3个难题:一是仅可分析故障概率为指数分布的系统;二是无法分析共因失效情况;三是可能导致状态空间爆炸。因此提出一种基于统计模型检测的DFT定量分析方法。首先将DFT分解为动态逻辑门、基本构件、共因失效关系、门门和门构件间的逻辑关系;其次将动态逻辑门、基本构件和共因失效关系基于随机混成自动机形式化规约;然后通过逻辑关系重构自动机,形成随机混成自动机网络;最后通过分析一个具有共因失效关系的服从多失效概率分布的飞机结冰探测系统,表明所提方法的有效性。

关键词：随机混成自动机统计模型检测随机系统动态故障树安全性分析

海拔与林隙对色季拉山急尖长苞冷杉林土壤线虫群落的影响

在线全文

学校读者我要写书评

暂无评论

生态学杂志 2024年第6期43卷 1540-1548页

作者：高宛宛侯磊卢杰任毅华西藏农牧学院资源与环境学院西藏林芝860000 西藏高原森林生态教育部重点实验室西藏林芝860000

为了解青藏高原高寒森林土壤线虫对海拔及林隙的响应,选取藏东南色季拉山急尖长苞冷杉林为研究区,采用高通量测序技术分析森林内不同海拔和林隙下土壤线虫群落差异。结果表明:在研究区的急尖长苞冷杉林中,土壤线虫多样性随海拔降低而增... 详细信息

为了解青藏高原高寒森林土壤线虫对海拔及林隙的响应,选取藏东南色季拉山急尖长苞冷杉林为研究区,采用高通量测序技术分析森林内不同海拔和林隙下土壤线虫群落差异。结果表明:在研究区的急尖长苞冷杉林中,土壤线虫多样性随海拔降低而增加;林隙的线虫多样性略高于林内,但差异不显著;海拔变化显著改变土壤线虫群落结构,但林隙与林内线虫群落结构较为相似;刺嘴纲(Enoplea)和三矛目(Triplonchida)在该森林的中海拔(4292 m)占比最高;土壤含水量、磷含量(包括全磷和有效磷)和镍含量是影响土壤线虫多样性的主要因子,林隙导致的土壤重金属及养分变化则是影响土壤线虫群落结构的关键因子。

关键词：土壤线虫海拔林隙急尖长苞冷杉色季拉山

同方期刊数据库

从政治主体到绝对身体——巴迪欧主体理论对唯物辩证法的重构

在线全文

学校读者我要写书评

暂无评论

学习与探索 2024年第8期 43-49页

作者：肖宛直上海大学马克思主义学院

巴迪欧的主体理论是吸收了阿尔都塞政治主体中“力与位的辩证法”的事件性结构和萨特的“虚无”实存的绝对性观念的理论成果。巴迪欧通过将绝对的“空”之本体置入力与位的辩证结构中,揭示了事件主体的存在机制,呈现出身体主体的生成原... 详细信息

巴迪欧的主体理论是吸收了阿尔都塞政治主体中“力与位的辩证法”的事件性结构和萨特的“虚无”实存的绝对性观念的理论成果。巴迪欧通过将绝对的“空”之本体置入力与位的辩证结构中,揭示了事件主体的存在机制,呈现出身体主体的生成原则,阐明有限主体在真理的类性延展中呈现出绝对身体的实存样态。通过回到康德绝对主体的有限性,巴迪欧尝试解构阿尔都塞的非辩证的二元结构和萨特的非反思的否定虚无所内置的黑格尔的哲学逻辑,展现出有限主体的内在无限性意蕴。由此,他意在阐明异质于黑格尔同一性逻辑的断裂性逻辑,阐明无产阶级这一历史性“非在”的实在性何以可能的关键问题。这种对有限主体的内在无限性觉解,不仅是巴迪欧对阿尔都塞“政治主体”和萨特“历史主体”的双重改造,更凸显出他在康德与黑格尔之间进行主体性抉择后对唯物辩证法的重要推进。

关键词：身体主体绝对空唯物辩证法

承明、金马诸地考——兼论隋唐长安宫省著述之所的承与变

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

中国典籍与文化 2024年第2期 118-128页

作者：宛盈北京大学历史学系

汉未央宫中的承明、金马诸地,是集聚王朝精英和思想文化的宫省著述之所。隋唐都城长安远绍汉京,诗赋中多有援用汉宫意象的辞章,借以描摹隋唐宫省著述之所的场景。文学遥想模糊了实际空间的记载,承明、金马等地是否在隋唐宫省中仍然存在... 详细信息

汉未央宫中的承明、金马诸地,是集聚王朝精英和思想文化的宫省著述之所。隋唐都城长安远绍汉京,诗赋中多有援用汉宫意象的辞章,借以描摹隋唐宫省著述之所的场景。文学遥想模糊了实际空间的记载,承明、金马等地是否在隋唐宫省中仍然存在,通过传统史料难以辨明,而佛教史料、敦煌文书提供了更丰富且明确的信息。代宗译场关联的佛教记载证明唐宫确有承明殿所,佛教活动进入宫省著述之地;敦煌文书则显示金马、建章等汉宫故地与唐时佛教写经活动建立了联系。长安宫省著述之所遥承汉思、兼蓄新风,隋唐王朝思想文化进一步走向世界性和多元化。

关键词：汉唐都城著述之所长安承明殿金马门

微观尺度多孔岩石压实带形成与围压关系的数值模拟实验

在线全文

学校读者我要写书评

暂无评论

中山大学学报(自然科学版)(中英文) 2024年

作者：黄宛莹刘洁中山大学地球科学与工程学院南方海洋科学与工程广东省实验室/广东省地质过程与矿产资源探查重点实验室

不同于典型的拉张和剪切破坏，多孔岩石的非弹性压实行为是岩石变形的另一种重要表现。在压应力的作用下，高孔隙率沉积岩形成局部孔隙度和渗透率显著降低的压实带，这不仅与多孔岩石脆-韧性转变过程的中间状态有关，还会对储层流体输... 详细信息

不同于典型的拉张和剪切破坏，多孔岩石的非弹性压实行为是岩石变形的另一种重要表现。在压应力的作用下，高孔隙率沉积岩形成局部孔隙度和渗透率显著降低的压实带，这不仅与多孔岩石脆-韧性转变过程的中间状态有关，还会对储层流体输运性能产生重要影响。为了探究围压及岩石初始孔隙结构对局部压实的影响，本文基于莱塔灰岩样品三轴压缩实验的原位动态同步加速器X射线CT图像，建立了具有岩石真实孔隙结构的有限元模型并进行了不同围压下的弹塑性数值模拟实验。结果表明，在20～60 MPa围压下样品均发生非均匀变形；随着围压的增加，样品内部的轴向局部压缩将被抑制，同时径向局部压缩开始增强，并使得压实带内大部分的节点脱离准单轴压缩状态，不利于压实带的发展。

关键词：岩石CT 有限元数值模拟多孔岩石压实带围压

我国商业银行数字金融发展水平测度及时空演化特征研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

系统工程理论与实践 2024年第4期44卷 1169-1180页

作者：明雷叶彬谭卢宛君杨申燕湖南大学金融与统计学院长沙410079 湖南大学金融发展与信用管理研究中心长沙410079 湖北经济学院金融学院武汉430205 湖北金融发展与金融安全研究中心武汉430205

数字经济时代,我国银行业竞争格局正经历巨大变革,数字技术深刻影响着银行的业务模式和发展水平.本文基于大数据与传统数据融合的视角,利用因子分析法测度我国120家商业银行2009-2019年数字金融发展水平.然后利用核密度估计、空间面板... 详细信息

数字经济时代,我国银行业竞争格局正经历巨大变革,数字技术深刻影响着银行的业务模式和发展水平.本文基于大数据与传统数据融合的视角,利用因子分析法测度我国120家商业银行2009-2019年数字金融发展水平.然后利用核密度估计、空间面板杜宾模型从时间和空间两个视角考察我国商业银行数字金融发展的时空变化特征,并分析银行数字金融发展的地区差异演变规律及其来源.最后考察了银行数字金融水平与地区数字普惠金融之间的互动关系.研究发现:我国商业银行数字金融水平随着时间推移呈现极化差异.在东部地区,银行数字金融与地区数字普惠金融之间具有相互促进效应,而在东北部地区则会产生抑制效应;在中部和西部地区,两者没有明显的互动效应.本研究丰富了数字金融水平测度的构建体系,为揭示我国商业银行数字金融发展差异状况、探索与地区数字普惠金融的协同提升对策提供了重要借鉴经验.

关键词：数字金融分布动态演化特征地区差异

同方期刊数据库