掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International system safety conference;ISSC
International system safety conference;ISSC
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
An Application of the Continuous Hazard Tracking and Failure Prediction Methodology to Improve System Safety
机译:
持续危害跟踪与故障预测方法在提高系统安全性中的应用
作者:
Michael Camet
;
Rolando Quintana
;
Bhupendra Deliwala
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
system safety;
predictive safety;
hazard analysis;
2.
An Approach to Integrating Software Safety Requirements for Conventional Navy Weapon System Programs
机译:
集成常规海军武器系统程序的软件安全要求的方法
作者:
Catherine M. Rivera
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
software safety;
generic software safety requirements;
3.
An Overview of Geomechanics Safety Research On Mobile Roof Supports
机译:
移动车顶支架的地质力学安全研究概述
作者:
Hamid Maleki
;
John Owens
;
Wayne Howie
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
mobile roof supports;
load rate monitoring;
4.
Analyzing Multi-Phased Dependencies in Fault Trees using Markov Models
机译:
使用马尔可夫模型分析故障树中的多相依存关系
作者:
Richard A. Pullen
;
Stephen Flanagan
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
fault trees;
markov;
multi-phase;
dependencies;
numerical integration;
5.
Application of Approximate Reasoning to Safety Analysis
机译:
近似推理在安全分析中的应用
作者:
S. W. Eisenhawer
;
T. F. Bott
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
safety analysis;
accident analysis;
approximate reasoning;
6.
Application of Expert Methods to Risk Assessment of Air Transport Systems
机译:
专家方法在航空运输系统风险评估中的应用
作者:
Z. Smalko
;
J. Jaywinski
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
expert methods;
risk assessment;
air transport;
7.
Applying HAZOP to a Subway Signaling System
机译:
将HAZOP应用于地铁信号系统
作者:
J. B. Camargo
;
J. R. de Almeida
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
HAZOP;
safety;
signaling system;
8.
Applying Human Factors Design Considerations to an Urban Transit Operations Control Center
机译:
将人为因素设计考虑因素应用于城市公交运营控制中心
作者:
Kurt F. Walecki
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
human factors;
transit;
operations control center;
9.
Appropriate Applications within System Reliability Which are in Concert with System Safety; The Consideration Complex Reliability and Safety Related Risks Within Risk Assessment
机译:
系统可靠性范围内与系统安全一致的适当应用;风险评估中考虑复杂可靠性和安全性风险
作者:
Mike Allocco
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
system reliability;
system safety;
system accidents;
risk assessment;
system risks;
10.
Army Wheeled Vehicle Crew Safety Research
机译:
陆军轮式乘员组安全研究
作者:
David Sloss
;
Nick Straffon
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
crew safety;
passenger safety;
survivability;
11.
ASGA (Active Safety for GA)
机译:
ASGA(GA的主动安全性)
作者:
Ellen N. Overton
;
Sergey V. Miloslavin
;
Igor V. Shagaev
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
active safety;
fault tolerance;
internet;
general aviation;
12.
Assessing the Cumulative Effects of Operator Workarounds at U.S. Commercial Nuclear Power Plants
机译:
评估美国商业核电站运营商变通办法的累积影响
作者:
David R. Desaulniers
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
nuclear power;
human reliability;
material condition;
deregulation;
workaround;
13.
Assessment of Reliability and Safety Indexes of Complex Systems Using a Modified Method of Linearization by Single Tests
机译:
使用改进的线性化方法通过单项测试评估复杂系统的可靠性和安全性指标
作者:
Bilyk Nikolaj Alexeevich
;
Kharin Victor Ivanovich
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
safety;
reliability;
point assessment;
average value of probability;
limiting load;
14.
Automation, System Risks and System Accidents
机译:
自动化,系统风险和系统事故
作者:
Mike Allocco
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
system safety;
system risk;
system accidents;
15.
Beauty And The Beast - Use And Abuse Of The Fault Tree As A Tool
机译:
美女与野兽-使用和滥用故障树作为工具
作者:
R. Allen Long
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
fault tree;
cutsets;
interfaces;
software;
16.
Common Cause Failure Modeling in SAPHIRE
机译:
SAPPHIRE中的常见原因故障建模
作者:
Jim Knudsen
;
Curtis Smith
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
common cause failure;
fault tree;
sensitivity analysis;
17.
Constrained Mathematics for Calculating Logical Safety Probabilities
机译:
用于计算逻辑安全概率的约束数学
作者:
J. Arlin Cooper
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
constraints;
logical;
probabilities;
18.
Dependency Modelling Using Fault Tree Analysis
机译:
故障树分析的依赖关系建模
作者:
J.D. Andrews
;
J.B. Dugan
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
fault tree analysis;
dependency;
reliability;
availability;
markov methods;
binary decision diagrams;
19.
ECSS ― A Tool using Adaptive Statecharts for Evaluation of Critical Systems Specifications
机译:
ECSS ―使用自适应状态图评估关键系统规格的工具
作者:
J. R. de Almeida
;
J. B. Camargo
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
adaptive statecharts;
formalization of specifications;
computational environment;
critical systems;
20.
Effect of Local Stress Phenomena on Jet Engine Safety
机译:
局部应力现象对喷气发动机安全性的影响
作者:
T. Niezgoda
;
J. Jachimowicz
;
J. Malachowski
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
jet engine safety;
local stress;
numerical analysis;
finite element method;
21.
Electrical Safety in Hazardous Atmospheres
机译:
危险环境中的电气安全
作者:
Terrell J. Osborn
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
electrical safety;
hazardous location;
explosion proof;
intrinsic safety;
non-incendive;
inerting;
22.
Elimination of Contractual System Safety Management Standards at Lockheed Martin Astronautics
机译:
洛克希德·马丁宇航公司取消合同系统安全管理标准
作者:
Michael K. Saemisch
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
system safety;
acquisition reform;
single process initiative;
23.
Enterprise Risk Management
机译:
企业风险管理
作者:
Vernon H. Guthrie
;
David A. Walker
;
Bert N. Macesker
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
risk;
enterprise risk management;
risk profile;
24.
Factors in the Growth and Decline of System Safety Within Organizations
机译:
组织内部系统安全性增长和下降的因素
作者:
John H. Ganter
;
William K. Storage
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
system safety culture;
organizational behavior;
organizational design;
25.
Fault Tree Analysis ― A History
机译:
故障树分析-历史
作者:
Clifton A. Ericson II
会议名称:
《International system safety conference;ISSC》
|
1999年
26.
Finding Human Error Evidence and Inference in Ordinary Airline Event Data
机译:
在普通航空公司事件数据中查找人为错误证据和推断
作者:
Sam Lainoff
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
human error;
aircraft in-service data;
27.
From Bridges and Rockets, Lessons for Software Systems
机译:
桥梁与火箭,软件系统课程
作者:
C. Michael Holloway
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
safety;
high integrity systems;
software engineering;
accident analysis;
history;
28.
Human Error in an Intensive Care Unit - A Cognitive Analysis of Critical Incidents
机译:
重症监护病房的人为错误-重大事件的认知分析
作者:
D. K. Busse
;
C. W. Johnson
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
cognitive modelling;
incident analysis;
intensive care unit;
29.
Hydrogen Peroxide Rocket Engine Test Facility Safety
机译:
过氧化氢火箭发动机测试设施安全
作者:
Kimberly M. Tavasoli
;
Bruno Loran
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
hydrogen peroxide;
rocket engine;
process safety;
30.
Impacts Of Culture On International Negotiations
机译:
文化对国际谈判的影响
作者:
James Ronald Goodin
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
culture;
international;
customs;
social norms;
31.
Implementation of the Integrated Risk Assessment (IRA) Process Using the IRA Software
机译:
使用IRA软件实施综合风险评估(IRA)流程
作者:
Andrew M. Huff
;
Steven G. Schoolcraft
;
LT Michael R. Mulligan
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
risk analysis software;
enterprise risk management;
32.
Improving the Presentation of Accident Reports over the World Wide Web
机译:
改进万维网上事故报告的呈现方式
作者:
C.W. Johnson
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
accident analysis;
visualisation;
accident reports;
33.
Incident Readiness: A Key Element in the Business Continuity Planning Process
机译:
事故准备:业务连续性计划流程中的关键要素
作者:
Robert B. Barnes
;
Rick Guevara
;
Bruce Swales
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
business continuity;
incident recovery;
mitigation;
restoration;
risk management;
semiconductor;
34.
Incorporating Human and Organizational Factors into Accident Scenario Analysis: The Example of Railroad Transportation of Dangerous Goods
机译:
将人为因素和组织因素纳入事故情景分析:以危险品铁路运输为例
作者:
E. Moresi
;
G. Grote
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
accident scenario analysis;
human error;
organizational factors;
35.
Integrating Flight Data into Human Factors Analysis: A Systems Approach to Incident Investigation
机译:
将飞行数据整合到人为因素分析中:事件调查的系统方法
作者:
B. Klampfer
;
G. Grote
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
human error;
incident analysis;
sociotechnical systems;
36.
Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification
机译:
将安全性分析与自动测试数据生成集成在一起,以进行软件安全性验证
作者:
Nigel J. Tracey
;
John Clark
;
John McDermid
;
Keith Mander
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
software fault tree;
automated testing;
optimisation;
safety verification;
37.
Integration of Formal Methods into System Safety and Reliability Analysis
机译:
将形式化方法集成到系统安全性和可靠性分析中
作者:
O. Akerlund
;
S. Nadjm-Tehrani
;
G. Stalmarck
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
formal verification;
safety analysis;
reliability analysis;
NP-tools;
38.
Issues in the Conduct of PSSA
机译:
PSSA行为中的问题
作者:
S K Dawkins
;
T P Kelly
;
J A McDermid
;
J Murdoch
;
D J Pumfrey
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
processes;
safety assessment;
safety management;
standards and guidelines;
39.
Latent Conditions, Safety Barriers and Situational Factors for Maritime Accidents in the Sound Area - A Pilot Study Focusing on People, Human-Machine-Systems and Organizations as Risk and Safety Factors
机译:
声区海上事故的潜在条件,安全障碍和情境因素-以人,人机系统和组织为风险和安全因素的先导研究
作者:
A. Ek
;
U. Olsson
;
K.R. Akselsson
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
maritime risk;
safety culture;
human-machine interaction;
40.
Maintaining Focus on Quality as it pertains to the Uniqueness of System Development Processes and Product Attributes During the Development of a Large Automated Air Traffic System
机译:
在大型自动化空中交通系统的开发过程中,始终保持对与系统开发过程和产品属性的唯一性有关的质量的关注
作者:
R. W. Fletcher
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
project management;
system;
software;
safety;
risk;
risk management;
quality;
reliability;
maintainability;
availability;
security;
usability;
utility;
human factors;
41.
Maintaining Safety in a COTS Environment
机译:
在COTS环境中维护安全
作者:
Warren P. Naylor
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
COTS;
safety precepts;
logistics;
human machine interfacel portability training;
42.
NASA Ames Integrated Risk Assessment
机译:
NASA Ames综合风险评估
作者:
D.R. Mendoza
;
R.J. Navarro
;
A. A. Flippen
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
risk management;
43.
New Method of Improving Software Safety in Mission-Critical Real-Time Systems
机译:
关键任务实时系统中提高软件安全性的新方法
作者:
Eric Anderson
;
Jan van Katwijk
;
Janusz Zalewski
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
software safety;
real-time systems;
safety-critical systems;
44.
NIMIC's Approach to Threat Assessment
机译:
NIMIC的威胁评估方法
作者:
Rodrigue Boulay
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
threat assessment;
THAMES;
safety and suitability for service;
45.
'Fuzzy Markov Model' - Safety and Reliability Assessment Model of Fault Tolerant Systems Based on Imprecise Data
机译:
“模糊马尔可夫模型”-基于不精确数据的容错系统的安全性和可靠性评估模型
作者:
P. S. Cugnasca
;
M. T. C. Andrade
;
J. B. Camargo
;
E. Ranzini
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
fuzzy logic;
fuzzy arithmetic;
safety;
reliability;
markov model;
fuzzy markov model;
46.
3-D System Safety Engineering Process Simultaneously Simplifies and Improves Characterization of a Hazard and Its Risk Identification/Assessment
机译:
3-D系统安全工程流程可同时简化和改进危害的特征及其风险识别/评估
作者:
Mark M. Brauer
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
3-D;
cubic;
model;
human exposure;
index;
47.
A Declarative Prototyping Environment for the Development of Multi-User Safety-Critical Systems
机译:
用于开发多用户安全关键系统的声明性原型环境
作者:
M. Sage
;
C. W. Johnson
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
prototyping;
formal methods;
safety critical systems;
air traffic control;
48.
A Generic Fault Tree for the Movement of Program Critical Hardware
机译:
程序关键硬件移动的通用故障树
作者:
John M. Livingston
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
checklists;
fault tree;
hardware;
facility;
transportation;
49.
A System Safety Analysis of Consumer Exposure to Gasoline Hazards
机译:
消费者接触汽油危害的系统安全性分析
作者:
Gordon W. Whitaker
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
gasoline;
fires;
consumer;
50.
A System Safety Approach to Evaluating Engineering Safeguards at Light Rail Grade Crossings
机译:
评估轻轨平交道口工程保障的系统安全方法
作者:
Peter Katsumata
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
system safety;
engineering safeguards;
grade crossings;
51.
Accident and Injury Characteristics Associated with Personal Watercraft
机译:
与个人船只有关的事故和伤害特征
作者:
Deborah Bruce
;
Margaret Sweeney
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
personal watercraft;
injury patterns;
52.
Accident Rate at Hazardous Cargoes Delivery by Trucks
机译:
卡车运送危险品时的事故率
作者:
Bilyk Nikolaj Alexeevich
;
Vorontsova Olga Stanislavovna
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
intensity of accidents;
trucks;
hazardous production objects (HPO);
road incident;
severe consequences;
cranes;
53.
Normal Accidents and Petroleum Refining: Structural Complexity, Coupling and Risk
机译:
正常事故和炼油:结构复杂性,耦合性和风险
作者:
Frederick G. Wolf
;
Eli Berniker
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
normal accidents;
refining;
hazardous chemical releases;
safety;
54.
Operational and Criticality Safety Improvements at the Oak Ridge Y-12 Plant in Response to Defense Nuclear Facilities Safety Board Recommendation 94-4
机译:
根据国防部核设施安全委员会的建议94-4,对橡树岭Y-12工厂的操作和临界安全性进行改进
作者:
Donald F. Owen
;
Wayne L. Andrews
;
James J. McConnell
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
criticality safety;
nuclear safety;
nuclear operations;
uranium;
training;
55.
Personnel Hazards Resulting from Lightning Effects
机译:
雷击造成的人员危险
作者:
John M. Tobias
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
lightning;
step potential;
flashover;
personnel protection;
rolling sphere model;
56.
PIL--- An Temporal Logic for Real-Time Requirements in Embedded Systems
机译:
PIL--嵌入式系统中实时需求的时间逻辑
作者:
Frank Lattemann
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
point interval logic;
interval temporal logic;
duration calculus;
temporal logic;
real-time systems;
specification language;
57.
Pleasures of a Non-Conformist: On Being a Fault-Tree Analyst
机译:
不合格者的乐趣:论作为故障树分析员
作者:
Sam Lainoff
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
fault tree analysis;
58.
Predicting When to Reboot 'Continuously Operating' Embedded Software'
机译:
预测何时重新启动“连续运行”嵌入式软件”
作者:
Jeffrey Voas
;
Frank Charron
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
fault injection;
state corruption;
reboot;
embedded software;
59.
Process Safety: Managing the Human Factor Interface
机译:
流程安全:管理人为因素界面
作者:
Jeffrey S. Medrano
;
Michael H. Gordon
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
human factor interface;
management system;
process evaluation;
60.
Radioactive Materials Lessons Learned
机译:
放射性材料的经验教训
作者:
Vernon E. Vondera
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
radioactive materials;
lessons learned;
61.
Reliability and Risk Evaluation of Large Multistate Systems
机译:
大型多状态系统的可靠性和风险评估
作者:
K. Kolowrocki
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
asymptotic reliability;
large systems;
systems with ageing components;
weibull systems;
62.
Reliability of Protection Systems to Counteract a Dangerous Situation
机译:
保护系统应对危险情况的可靠性
作者:
J. JaYewinski
;
G. Kowalczyk
;
M. Woropay
;
J. ~-urek
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
safety;
availability;
readiness;
63.
Risk Thresholds and Risk Concerns
机译:
风险阈值和风险问题
作者:
Robert D. Brock
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
risk;
threshold;
severity;
probability;
frequency;
mishap;
data;
lessons;
64.
Risk-Based Work Planning
机译:
基于风险的工作计划
作者:
Lee T. Ostrom
;
Cheryl A. Wilhelmsen
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
aviation safety;
causal factors;
risk analysis;
65.
Safelets: a Software Support for Dynamic Safety System
机译:
Safelets:动态安全系统的软件支持
作者:
A.Pakstas
;
I.Shagaev
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
dynamic safety systems;
pilot support systems;
mobile agents;
safelet;
66.
Safety Analyses Impact On Product Liability
机译:
安全性分析对产品责任的影响
作者:
James Ronald Goodin
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
tort;
product liability;
government contractor defense;
67.
Safety Audit Systems, the Method '+2/-2'
机译:
安全审核系统,方法“ + 2 / -2”
作者:
G.D.Panopoulos
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
safety;
audit;
system;
method;
68.
Safety Concepts on Unmanned Transit Systems
机译:
无人运输系统的安全概念
作者:
Dan O. Filip
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
unmanned transit system;
automated train control system;
hazard tracking database;
safety analysis process;
69.
Safety Program for the Ballard Hydrogen Fuel Cell Bus
机译:
巴拉德氢燃料电池客车的安全计划
作者:
John M. Simon
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
system safety;
engineering safeguards;
alternative fuels;
70.
Safety Review Process for a High Consequence Operation
机译:
高后果操作的安全审查流程
作者:
Malcolm Jones
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
safety, high consequence operation, nuclear explosives;
71.
Soft Mathematical Aggregation in Safety Assessment and Decision Analysis
机译:
安全评估和决策分析中的软数学汇总
作者:
J. Arlin Cooper
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
aggregation;
decisions;
hazards;
controls;
72.
Software Decision Points for Safety Analysis
机译:
安全分析的软件决策点
作者:
Jerome C. Chang
;
Lawrence E. James
;
Doris Y. Tamanaha
;
Gavin T. Watt
;
Meng-Lai Yin
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
fault injection;
software safety;
GPS satellite navigation;
73.
Software Fault Tree Generation of Ada 95 Code Using an Automated Code Translation Tool
机译:
使用自动代码转换工具生成Ada 95代码的软件故障树
作者:
Israel Rose
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
safety;
software;
fault trees;
lexemes;
lexical analysis;
code translation;
74.
Software Risk Analysis In The Safety Environment
机译:
安全环境中的软件风险分析
作者:
Horst P. Richter
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
core capabilities;
risk analysis;
software safety;
system safety;
hazard;
quality assurance;
quality metric;
accreditation;
certification;
requirements;
development phases;
75.
Specifying Safety-Related Hazards Formally
机译:
正式指定与安全相关的危害
作者:
E. Troubitsyna
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
safety;
control systems;
specification;
hazards;
priority;
76.
Static Code Analysis on the C-130J Hercules Safety-Critical Software
机译:
C-130J Hercules安全关键软件的静态代码分析
作者:
K J Harrison
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
software safety;
77.
System Safety Integration into the Product Realization Process for the Nuclear Weapons Complex
机译:
将系统安全集成到核武器综合体的产品实现过程中
作者:
Joan March
;
Richard A. Stephans
会议名称:
《International system safety conference;ISSC》
|
1999年
78.
The Application of GOMS to Error-Tolerant Design
机译:
GOMS在容错设计中的应用
作者:
Scott D. Wood
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
GOMS;
human error;
task analysis;
human-computer interaction;
79.
The Application of System Safety Tools, Processes, and Methodologies within the FAA to Meet Future Aviation Challenges
机译:
FAA中系统安全工具,过程和方法的应用,以应对未来的航空挑战
作者:
Mike Allocco
;
Geoff McIntyre
;
Steve Smith
会议名称:
《International system safety conference;ISSC》
|
1999年
80.
The Estimation of Multiversion Safety Systems
机译:
多版本安全系统的估计
作者:
V.S. Kharchenko
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
multiversion systems;
safety;
reliability;
estimation;
81.
The Issue Management Risk Ranking System
机译:
问题管理风险评级系统
作者:
S. D. Novack
;
F. M. Marshall
;
G. M. Grant
;
H. M. Stromberg
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
risk-informed;
issue management;
performance indicators;
82.
The Spectrum of Human Error
机译:
人为错误的范围
作者:
John C. Wolf
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
Human Error, Spectrum, Countermeasures;
83.
The System Safety Assessment by the Use of Programming Tools during the Licensing Process
机译:
在许可过程中使用编程工具进行系统安全评估
作者:
S. A. Vilkomir
;
V. S. Kharchenko
;
A. S. Ponomaryev
;
A. L. Gorda
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
safety assessment;
control system;
software;
licensing;
tools;
84.
Transcending Words - Toward a Language of System Safety
机译:
超越语言-迈向系统安全的语言
作者:
Niles T. Welch
;
Ann S. Waterman
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
language;
aviation;
system safety;
communication;
85.
Unified Behavior Model for Safety-Critical Digital Systems Simulation
机译:
安全关键数字系统仿真的统一行为模型
作者:
Yolanda Gonzalez Arechavala
;
Fernando de Cuadra Garcia
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
safety-critical systems;
software development methods;
object-oriented technologies;
CASE tools;
software development environments;
real-time systems;
86.
Using Cryptographic Mechanisms in Safety-critical Applications
机译:
在安全关键型应用程序中使用加密机制
作者:
Sibylle Mund
;
Frank Renpenning
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
cryptography;
fail-safe concept;
vital function;
railway signalling;
87.
Using Management Systems to Survive
机译:
使用管理系统生存
作者:
Nan Austin
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
university;
management systems;
safety;
88.
Utilising Multimedia in the Presentation of Accident Reports
机译:
在事故报告的呈现中使用多媒体
作者:
Peter Snowdon
;
Chris Johnson
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
accident reports;
hypertext;
WWW;
navigation;
structure;
89.
Verifying The Safety-Readiness Of A Rail Transit Project For Public Opening
机译:
验证轨道交通项目公开开放的安全准备情况
作者:
Thomas Eng
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
safety certification;
rail transit;
heavy rail transit;
certificate of occupancy;
90.
Visualising the Relationship between Human Error and Organisational Failure
机译:
可视化人为错误与组织失败之间的关系
作者:
C.W. Johnson
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
accident analysis;
fault trees;
managerial failure;
91.
Why Some Laboratories Were Successful In Changing Their Safety Cultures
机译:
为什么有些实验室成功地改变了他们的安全文化
作者:
Tom Bennett
会议名称:
《International system safety conference;ISSC》
|
1999年
关键词:
culture;
leadership;
safety systems;
意见反馈
回到顶部
回到首页