期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
区域港城系统演化的动力机制分析
被引量:
7
1
作者
张萍
严以新
许长新
《水运工程》
北大核心
2006年第2期48-51,共4页
在对港口与城市互动关系分析的基础上,从系统工程的角度构建了港城系统包含的5个子系统。将生命周期理论引入港城系统演化规律分析,得出港城系统互动机理表现为一系列的综合机制:动力机制、互动机制、变异机制,从总体上揭示了我国港口...
在对港口与城市互动关系分析的基础上,从系统工程的角度构建了港城系统包含的5个子系统。将生命周期理论引入港城系统演化规律分析,得出港城系统互动机理表现为一系列的综合机制:动力机制、互动机制、变异机制,从总体上揭示了我国港口与城市协调发展的客观趋势。
展开更多
关键词
区域港城系统
演化模式
动力机制
系统工程
下载PDF
职称材料
基于多视角的产品可靠性论证策略
2
作者
闭治跃
蒋家勇
杜宏伟
《航天器环境工程》
2009年第z1期132-135,共4页
随着产品复杂性的增加和开发周期的缩短,产品的可靠性论证工作越来越具有挑战性。文章提出一种基于多视角的产品可靠性论证策略,用于辨识产品的关键元素(子系统或部组件)和确定所需的可靠性论证试验。该方法在对产品进行三个维度(即实...
随着产品复杂性的增加和开发周期的缩短,产品的可靠性论证工作越来越具有挑战性。文章提出一种基于多视角的产品可靠性论证策略,用于辨识产品的关键元素(子系统或部组件)和确定所需的可靠性论证试验。该方法在对产品进行三个维度(即实体维、功能维和时间维)分析的基础上,根据同类产品现场使用情况反馈的信息、产品失效模式与影响因素分析(FMEA)和已有试验结果确定产品的关键部组件及其关键程度指标,用以对产品进行可靠性分配。所提出的产品可靠性论证策略引入了一个迭代机制以进行可靠性参数更新,可以充分利用各种可靠性信息论证产品不同阶段的可靠性。
展开更多
关键词
可靠性论证
产品开发
可靠性改进
下载PDF
职称材料
形式化模型检验在飞机系统演绎式安全分析中的应用研究
3
作者
马径梁
吴海桥
+1 位作者
王华伟
葛红娟
《飞机设计》
2014年第1期47-51,共5页
随着飞机系统复杂度的日益增长,对飞机设计人员和安全性分析人员能力的提升也提出了相应要求。但是传统的安全性分析方法都存在一些弊端:高度主观并且依赖分析人员的技能和经验,而且不太可能做到完整无错。形式化验证技术,如模型检验方...
随着飞机系统复杂度的日益增长,对飞机设计人员和安全性分析人员能力的提升也提出了相应要求。但是传统的安全性分析方法都存在一些弊端:高度主观并且依赖分析人员的技能和经验,而且不太可能做到完整无错。形式化验证技术,如模型检验方法,能够很好地处理复杂度较高的系统,并且能在一定程度上克服这些弊端。本文运用模型检验的方法对系统进行演绎式安全性分析,得到定性的结果。
展开更多
关键词
飞机系统
演绎式安全分析
形式化模型检验
原文传递
题名
区域港城系统演化的动力机制分析
被引量:
7
1
作者
张萍
严以新
许长新
机构
河海大学交通学院
河海大学商学院
出处
《水运工程》
北大核心
2006年第2期48-51,共4页
基金
江苏省"港口
海岸及近海工程"省级重点学科建设项目<长江三角洲港航经济系统演化仿真>资助(G030811)
文摘
在对港口与城市互动关系分析的基础上,从系统工程的角度构建了港城系统包含的5个子系统。将生命周期理论引入港城系统演化规律分析,得出港城系统互动机理表现为一系列的综合机制:动力机制、互动机制、变异机制,从总体上揭示了我国港口与城市协调发展的客观趋势。
关键词
区域港城系统
演化模式
动力机制
系统工程
Keywords
regional port and city system
evolution mode
motivity mechanics
system engineering
分类号
V945.1 [航空宇航科学技术]
下载PDF
职称材料
题名
基于多视角的产品可靠性论证策略
2
作者
闭治跃
蒋家勇
杜宏伟
机构
中国工程物理研究院总体工程研究所
出处
《航天器环境工程》
2009年第z1期132-135,共4页
文摘
随着产品复杂性的增加和开发周期的缩短,产品的可靠性论证工作越来越具有挑战性。文章提出一种基于多视角的产品可靠性论证策略,用于辨识产品的关键元素(子系统或部组件)和确定所需的可靠性论证试验。该方法在对产品进行三个维度(即实体维、功能维和时间维)分析的基础上,根据同类产品现场使用情况反馈的信息、产品失效模式与影响因素分析(FMEA)和已有试验结果确定产品的关键部组件及其关键程度指标,用以对产品进行可靠性分配。所提出的产品可靠性论证策略引入了一个迭代机制以进行可靠性参数更新,可以充分利用各种可靠性信息论证产品不同阶段的可靠性。
关键词
可靠性论证
产品开发
可靠性改进
分类号
V945.17 [航空宇航科学技术]
下载PDF
职称材料
题名
形式化模型检验在飞机系统演绎式安全分析中的应用研究
3
作者
马径梁
吴海桥
王华伟
葛红娟
机构
南京航空航天大学民航学院
出处
《飞机设计》
2014年第1期47-51,共5页
基金
国家自然科学基金与民航局联合资助项目(60879001)
江苏省自然科学基金资助项目(BK2009378)
南京航空航天大学基本科研业务费专项科研项目(NS2010179)
文摘
随着飞机系统复杂度的日益增长,对飞机设计人员和安全性分析人员能力的提升也提出了相应要求。但是传统的安全性分析方法都存在一些弊端:高度主观并且依赖分析人员的技能和经验,而且不太可能做到完整无错。形式化验证技术,如模型检验方法,能够很好地处理复杂度较高的系统,并且能在一定程度上克服这些弊端。本文运用模型检验的方法对系统进行演绎式安全性分析,得到定性的结果。
关键词
飞机系统
演绎式安全分析
形式化模型检验
Keywords
aircraft system
deductive safety analysis
formal model checking
分类号
V945.1 [航空宇航科学技术]
原文传递
题名
作者
出处
发文年
被引量
操作
1
区域港城系统演化的动力机制分析
张萍
严以新
许长新
《水运工程》
北大核心
2006
7
下载PDF
职称材料
2
基于多视角的产品可靠性论证策略
闭治跃
蒋家勇
杜宏伟
《航天器环境工程》
2009
0
下载PDF
职称材料
3
形式化模型检验在飞机系统演绎式安全分析中的应用研究
马径梁
吴海桥
王华伟
葛红娟
《飞机设计》
2014
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部