-
题名面向过程分析的需求自动生成工具POSRAG
- 1
-
-
作者
李新荣
张莉
-
机构
北京航空航天大学软件工程研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第17期143-145,148,共4页
-
基金
北京市科技新星计划
-
文摘
该文从需求工程的重要性出发,通过研究现有的需求分析方法和工具,发现其存在的问题,提出一种面向过程的需求分析技术,并在此基础上设计一套软件需求自动生成工具POSRAG(Process-OrientedSoftwareRequirementsAutomaticGenerator),其主要特征是以可视化过程建模为基础,通过正确的引导和提示,帮助用户和设计人员获取完整的用户需求,完成软件需求分析,并自动生成需求文档。文章详细描述了该系统的设计方案和实现过程。
-
关键词
过程分析
POSRAG
软件工程
软件开发
软件需求自动生成工具
软件需求分析
-
Keywords
visual process modeling,software requirement analysis,POSRAG
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于AADL的软件开发技术研究
被引量：2
- 2
-
-
作者
宋翠叶
杜承烈
李刚
-
机构
西北工业大学计算机学院
-
出处
《计算机应用研究》
CSCD
北大核心
2009年第9期3361-3364,共4页
-
基金
国家"十一五"武器装备预研项目
航空基础科学基金资助项目(2007ZD53043)
-
文摘
形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言(AADL)在软件开发中的作用及其技术现状,介绍了AADL的语言组成和相关特性,分析了AADL在软件开发过程中的作用,给出了一个相应AADL工具集的框架模型。在此基础上,对现有的AADL相关工具进行了综述比较,总结出该框架的技术现状,并指出了AADL相关工具开发与应用的趋势。
-
关键词
体系结构分析与设计语言
软件开发过程
瀑布模型
工具集
-
Keywords
AADL
software development process
waterfall model
tool suite
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名原料油增压泵多参数耦合定量风险计算方法
被引量：1
- 3
-
-
作者
保强
王峰
金旭
杨欧
赵艳坤
-
机构
北京化工大学国家危险化学品生产系统故障预防及监控基础研究实验室
-
出处
《化工进展》
EI
CAS
CSCD
北大核心
2015年第10期3577-3582,3643,共7页
-
基金
北京市重点学科共建项目
中央高校业务经费学科创新项目(2012CB026000)
-
文摘
渣油加氢装置中原料油增压泵输送的介质具有高温、高压和易燃的特点,泄漏后会直接导致着火事故。本文应用危险与可操作性分析(hazard and operability analysis,HAZOP)方法对原料油增压泵自身故障及故障后对整个装置造成的影响进行了定性风险分析得出,泄漏事故发生频率高且后果严重。为了定量计算原料油增压泵泄漏的风险,本文提出了原料油增压泵多参数耦合定量风险计算方法:辨识原料油增压泵所在节点内部因素间的耦合关系,建立贝叶斯网络,对多因素导致机械密封失效、填料密封失效、壳体破裂等事件的可能性概率进行定量计算;调研当地全年平均风速和太阳辐射等级统计结果,针对常见和极端的大气稳定度、风速条件影响,利用过程危害分析软件工具(process hazard analysis software tool,PHAST)模拟定量计算了不同泄漏孔直径情况下,高温原料油泄漏导致的喷射火后果严重程度;基于可能性概率和后果严重度计算结果,制定可能性和严重度等级判定标准,构建风险矩阵,针对不同原因导致的泄漏事故进行了风险评级。分析得到原因事件风险等级,用于确定风险预防措施和建立应急计划。
-
关键词
安全
泵
模拟
过程危害分析软件工具
风险等级评价
-
Keywords
safety
pump
simulation
process hazard analysis software tool（PHAST）
risk assessment
-
分类号
TE964
[石油与天然气工程—石油机械设备]
-
-
题名一种精确的调用图生成技术
- 4
-
-
作者
唐新春
郭克榕
-
机构
国防科技大学计算机系
-
出处
《计算机工程与设计》
CSCD
北大核心
1997年第5期34-39,共6页
-
基金
国防科技预研基金
-
文摘
调用图是过程间分析和程序自动并行化的基础。生成精确调用图可以进一步开发程序的并行性。此文针对Ｆｏｒｔｒａｎ程序，提出了一项完全消除哑过程，产生精确调用图的技术与相应的算法。该算法已在面向ＭＰＰＦｏｒｔｒａｎ的程序自动并行化工具中实现。
-
关键词
软件工具
调用图
过程间分析
程序自动并行化
-
Keywords
Parallel processing FORTRAN Software tools Call graph Interproce-dural analysis Automatic program parallelization
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名油氢合建站高压储氢容器组事故后果研究
被引量：4
- 5
-
-
作者
汪侃
周明君
张思琪
明杨
时婷婷
杨帆
-
机构
上海海事大学海洋科学与工程学院
国家电投集团科学技术研究院新能源技术研究所
上海飞机制造有限公司安全环保部
-
出处
《安全与环境学报》
CAS
CSCD
北大核心
2023年第6期2024-2032,共9页
-
基金
国家自然科学基金项目(52001196)
中国交通教育研究会研究课题(JTYB20-60)
上海市软科学重点项目(20692193100)。
-
文摘
为明确新型高压储氢瓶式容器组突发泄漏和爆炸事故后,对现场作业人员造成的伤害程度和对周围建筑物形成的破坏等级,运用过程危害分析软件(Process Hazard Analysis Software Tool,PHAST)对油氢合建站内此类新型储氢容器的事故后果开展模拟研究,分析了不同场景中的氢气扩散规律和环境因素影响下氢气泄漏的差异性特征。结果表明:新型高压储氢容器不同形式的泄漏、环境温差和风力条件变化,均将显著影响油氢合建站内事故性氢气泄漏和爆炸的后果范围。当泄漏尺寸与环境温度同时增加时,氢气爆炸冲击波造成人员死亡的区域随之扩大。若储氢容器发生瞬时完全破裂,氢气爆炸冲击波的致命范围随环境温度升高而略微减小。在同一泄漏事故场景下,增强环境风力在一定区域内稀释氢气混合云团浓度,储氢容器爆炸毁伤范围有所减小。
-
关键词
安全工程
油氢合建站
储氢泄漏
事故后果
过程危害分析软件
-
Keywords
safety engineering
oil-hydrogen refueling station
hydrogen storage leakage
accident consequence
Process Hazard Analysis Software Tool(PHAST)
-
分类号
X944
[环境科学与工程—安全科学]
-
