区域港城系统演化的动力机制分析

在对港口与城市互动关系分析的基础上,从系统工程的角度构建了港城系统包含的5个子系统。将生命周期理论引入港城系统演化规律分析,得出港城系统互动机理表现为一系列的综合机制:动力机制、互动机制、变异机制,从总体上揭示了我国港口与城市协调发展的客观趋势。

基于多视角的产品可靠性论证策略

随着产品复杂性的增加和开发周期的缩短,产品的可靠性论证工作越来越具有挑战性。文章提出一种基于多视角的产品可靠性论证策略,用于辨识产品的关键元素(子系统或部组件)和确定所需的可靠性论证试验。该方法在对产品进行三个维度(即实体维、功能维和时间维)分析的基础上,根据同类产品现场使用情况反馈的信息、产品失效模式与影响因素分析(FMEA)和已有试验结果确定产品的关键部组件及其关键程度指标,用以对产品进行可靠性分配。所提出的产品可靠性论证策略引入了一个迭代机制以进行可靠性参数更新,可以充分利用各种可靠性信息论证产品不同阶段的可靠性。

形式化模型检验在飞机系统演绎式安全分析中的应用研究

随着飞机系统复杂度的日益增长,对飞机设计人员和安全性分析人员能力的提升也提出了相应要求。但是传统的安全性分析方法都存在一些弊端:高度主观并且依赖分析人员的技能和经验,而且不太可能做到完整无错。形式化验证技术,如模型检验方法,能够很好地处理复杂度较高的系统,并且能在一定程度上克服这些弊端。本文运用模型检验的方法对系统进行演绎式安全性分析,得到定性的结果。