Process Models for the Synthesis, Verification and Validation of Chemical Process Control Systems

Process Models for the Synthesis, Verification and Validation of Chemical Process Control Systems

著者名:

Moon, Il ( Department of Chemical Engineering, Carnegie Mellon University )
Powers, Gary J. ( Department of Chemical Engineering, Carnegie Mellon University )

掲載資料名:

AIChE ANNUAL MEETING, CHICAGO, IL. -NOVEMBER 11-16, 1990

シリーズ名:

AIChE meeting [papers]

シリーズ巻号:

1990

発行年:

1990

ペーパー番号:

312m

総ページ数:

13

出版情報:

New York: American Institute of Chemical Engineers

言語:

英語

請求記号:

A08000

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00015147
シリーズID:	PA00000179
会議名:	AIChE Annual Meeting
回次:	1990
会議開催地:	Chicago, IL, USA
会議開催年:	1990.11.11-1990.11.16
論文注記:	Fiche 23

類似資料:

1 国際会議録 Model and Verification of the Control Logic for a 64 Inch Slitter Turk, Adam L., Powers, Gary J. American Institute of Chemical Engineers	7 国際会議録 Modeling and Verification of a Thermal Oxidation Process Turk, A., Powers, G. American Institute of Chemical Engineers
2 国際会議録 Safety and Operability Analysis of Chemical Process Designs using Symbolic Model Verification Probst, S. T., Powers, G. J. American Institute of Chemical Engineers	8 国際会議録 Automatic Verification of Control Logic in the Presence of Process Faults Probst, S.T., Powers, G.J. American Institute of Chemical Engineers
3 国際会議録 A Chemical Engineering View of Reaction Path Synthesis Govind, Rakesh, Powers, Gary J. American Chemical Society	9 国際会議録 AI Methods for Mechanism Identification in the Design of Products and Processes Daugherty, Tamara, Powers, Gary J. American Institute of Chemical Engineers
4 国際会議録 Automatic Verification of Control Logics in Safety Instrumented System for Chemical Industrial Processes Jinkyung Kim, Younghee Lee, Il Moon American Institute of Chemical Engineers	10 国際会議録 Computer-Aided Synthesis of Fault Trees for Complex Processing Systems Powers J. G., Tompkins C. F. Jr. Noordhoff International Publishing
5 国際会議録 POPS, Part 2: Operating Procedure Synthesis and Process Design Fusillo, Robert H., Powers, Gary J. American Institute of Chemical Engineers	11 国際会議録 Automatic Verification of Real Time Batch Process Schedules using Symbolic Model Verification Kim, Jinkyung, Lee, Hanyong, Moon, Il American Institute of Chemical Engineers
6 国際会議録 POPS, Part2:Operating Procedure Synthesis and Process Design Fusillo, Robert H., Powers, Gary J. American Institute of Chemical Engineers	12 国際会議録 Test, verification & validation issues in modelling a generic electro-optic system Smith, M.I., Hickman, D., Murray-Smith, D.J. SPIE

1

2

3

4

5

6

7

8

9

10

11

12