Safety and Operability Analysis of Chemical Process Designs using Symbolic Model Verification

Safety and Operability Analysis of Chemical Process Designs using Symbolic Model Verification

著者名:

Probst, S. T. ( Department of Chemical Engineering, Carnegie Mellon University 5000 Forbes Avenue, pittsburgh, PA 15213 )
Powers, G. J. ( Department of Chemical Engineering, Carnegie Mellon University 5000 Forbes Avenue, pittsburgh, PA 15213 )

掲載資料名:

AIChE SPRING NATIONAL MEETING -ATLANTA CA.- APRIL 17-24, 1994

シリーズ名:

AIChE meeting [papers]

シリーズ巻号:

1994

発行年:

1994

ペーパー番号:

81a

総ページ数:

22

出版情報:

New York: American Institute of Chemical Engineers

言語:

英語

請求記号:

A08000

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00015157
シリーズID:	PA00000179
会議名:	AIChE Spring National Meeting
回次:	1994
会議開催地:	Atlanta, GA, USA
会議開催年:	1994.04.17-1994.04.24
論文注記:	Fiche 37

類似資料:

1 国際会議録 Automatic Verification of Control Logic in the Presence of Process Faults Probst, S.T., Powers, G.J. American Institute of Chemical Engineers	7 国際会議録 Automatic Verification of Real Time Batch Process Schedules using Symbolic Model Verification Kim, Jinkyung, Lee, Hanyong, Moon, Il American Institute of Chemical Engineers
2 国際会議録 Process Models for the Synthesis, Verification and Validation of Chemical Process Control Systems Moon, Il, Powers, Gary J. American Institute of Chemical Engineers	8 国際会議録 Model-Based Safety Verification of Discrete/Continuous Chemical Processes Dimitriadis, V., Shah, N., Pantelides, C.C. American Institute of Chemical Engineers
3 国際会議録 Modeling and Verification of a Thermal Oxidation Process Turk, A., Powers, G. American Institute of Chemical Engineers	9 国際会議録 Analysis and Verification of Model Climate Boer J. G. Kluwer Academic Publishers
4 国際会議録 Hazard and Operability Study: A Flexible Technique for Process System Safety and Reliability Analysis Shafaghi, A., Gibson, S. B. American Chemical Society	10 国際会議録 HAZARD AND OPERABILITY ANALYSIS IN PROCESS DESIGN LEVITZKY, JOSEPH J. American Institute of Chemical Engineers
5 国際会議録 Color image processing using symbolic data analysis Florou,G. SPIE-The International Society for Optical Engineering	11 国際会議録 Operability Analysis of Chemical Process Alternatives During Design Gollapalli, Usha, High, Karen A. American Institute of Chemical Engineers
6 国際会議録 Operability Considerations in Retrofit Designs of Heat Exchanger Networks STEPHANOPOULOS, G., CALANDRANIS, J. American Institute of Chemical Engineers	12 国際会議録 Model and Verification of the Control Logic for a 64 Inch Slitter Turk, Adam L., Powers, Gary J. American Institute of Chemical Engineers

1

2

3

4

5

6

7

8

9

10

11

12