메뉴 건너뛰기




Volumn 44, Issue 2, 1998, Pages 361-371

Safety Verification Using a Hybrid Knowledge-Based Mathematical Programming Framework

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; CHEMICAL PLANTS; COMPUTER SIMULATION; EXPERT SYSTEMS; MATHEMATICAL PROGRAMMING;

EID: 0032000478     PISSN: 00011541     EISSN: None     Source Type: Journal    
DOI: 10.1002/aic.690440213     Document Type: Article
Times cited : (12)

References (20)
  • 1
    • 0028447056 scopus 로고
    • Modeling of Combined Discrete/Continuous Processes
    • Barton, P. I., and C. C. Pantelides, "Modeling of Combined Discrete/Continuous Processes," AICHE J., 40(6), 966 (1994).
    • (1994) AICHE J. , vol.40 , Issue.6 , pp. 966
    • Barton, P.I.1    Pantelides, C.C.2
  • 4
    • 0542382526 scopus 로고
    • Model-Based Safety Verification of Discrete/Continuous Chemical Processes
    • San Francisco
    • Dimitriadis, V., N. Shah, and C. Pantelides, "Model-Based Safety Verification of Discrete/Continuous Chemical Processes," AIChE Meeting, San Francisco (1995).
    • (1995) AIChE Meeting
    • Dimitriadis, V.1    Shah, N.2    Pantelides, C.3
  • 5
    • 0031121490 scopus 로고    scopus 로고
    • Modelling and Safety Verification of Discrete/Continuous Processing Systems
    • Dimitriadis, V., N. Shah, and C. Pantelides, "Modelling and Safety Verification of Discrete/Continuous Processing Systems," AIChE J., 43(4), 1041 (1997).
    • (1997) AIChE J. , vol.43 , Issue.4 , pp. 1041
    • Dimitriadis, V.1    Shah, N.2    Pantelides, C.3
  • 6
    • 0542358947 scopus 로고
    • Solving Dynamic Optimisation Problems in gPROMS
    • Centre for Process Systems Engineering, Imperial College, London
    • gPROMS Project, "Solving Dynamic Optimisation Problems in gPROMS," Tech. Rep., Centre for Process Systems Engineering, Imperial College, London (1995).
    • (1995) Tech. Rep.
  • 10
    • 0001525821 scopus 로고
    • Operability Studies and Hazard Analysis
    • Lawley, H. G., "Operability Studies and Hazard Analysis," Chem. Eng. Prog., 70, 105 (1974).
    • (1974) Chem. Eng. Prog. , vol.70 , pp. 105
    • Lawley, H.G.1
  • 11
    • 0041737768 scopus 로고
    • Size Up Plant Hazards this Way
    • Lawley, H. G., "Size Up Plant Hazards this Way," Hydroc. Process., 55, 247 (1976).
    • (1976) Hydroc. Process. , vol.55 , pp. 247
    • Lawley, H.G.1
  • 12
    • 0001106390 scopus 로고
    • Approaches and Methods in Computer Emulation of HAZOP
    • J. J. Mewis, H. J. Pasman, and E. E. D. Rademaeker, eds, Elsevier, New York
    • Rushton, A. G., "Approaches and Methods in Computer Emulation of HAZOP," Loss Prevention and Safety Promotion in the Process Industries, J. J. Mewis, H. J. Pasman, and E. E. D. Rademaeker, eds., Vol. II, Elsevier, New York, p. 741 (1995).
    • (1995) Loss Prevention and Safety Promotion in the Process Industries , vol.2 , pp. 741
    • Rushton, A.G.1
  • 13
    • 26544444481 scopus 로고
    • Integrating Petri Nets and Digraphs to Represent the HAZOP Knowledge of Batch Processes
    • Miami Beach, FL
    • Srinivasan, R., and V. Venkatasubramanian, "Integrating Petri Nets and Digraphs to Represent the HAZOP Knowledge of Batch Processes," AIChE Meeting, Miami Beach, FL (1995).
    • (1995) AIChE Meeting
    • Srinivasan, R.1    Venkatasubramanian, V.2
  • 14
    • 0032552247 scopus 로고    scopus 로고
    • Automating HAZOP Analysis of Batch Chemical Plants: I. Knowledge Representation Framework
    • Srinivasan, R., and V. Venkatasubramanian, "Automating HAZOP Analysis of Batch Chemical Plants: I. Knowledge Representation Framework," Comput. Chem, Eng., (1998a).
    • (1998) Comput. Chem, Eng.
    • Srinivasan, R.1    Venkatasubramanian, V.2
  • 15
    • 0032552255 scopus 로고    scopus 로고
    • Automating HAZOP Analysis of Batch Chemical Plants: II. Algorithms and Application
    • Srinivasan, R., and V. Venkatasubramanian, "Automating HAZOP Analysis of Batch Chemical Plants: II. Algorithms and Application," Comput. Chem. Eng., (1998b).
    • (1998) Comput. Chem. Eng.
    • Srinivasan, R.1    Venkatasubramanian, V.2
  • 17
    • 0030174520 scopus 로고    scopus 로고
    • HAZOPExpert: An Expert System for Automating HAZOP Analysis
    • Vaidhyanathan, R., and V. Venkatasubramanian, "HAZOPExpert: An Expert System for Automating HAZOP Analysis," Process Saf. Prog., 15(2), 80 (1996a).
    • (1996) Process Saf. Prog. , vol.15 , Issue.2 , pp. 80
    • Vaidhyanathan, R.1    Venkatasubramanian, V.2
  • 18
    • 0030206660 scopus 로고    scopus 로고
    • A Semi-Quantitative Reasoning Methodology for Filtering and Ranking HAZOP Results in HAZOP Expert
    • Vaidhyanthan, R., and V. Venkatasubramanian, "A Semi-Quantitative Reasoning Methodology for Filtering and Ranking HAZOP Results in HAZOP Expert," Reliab, Eng. Syst. Saf., 53, 185 (1996b).
    • (1996) Reliab, Eng. Syst. Saf. , vol.53 , pp. 185
    • Vaidhyanthan, R.1    Venkatasubramanian, V.2
  • 19
    • 0000145253 scopus 로고    scopus 로고
    • A Perspective on Intelligent Systems for Process Hazards Analysis
    • J. F. Davis, G. Stephanopoulos, and V. Venkatasubramanian, eds., CACHE, New York, NY
    • Venkatasubramanian, V., and M. Preston, "A Perspective on Intelligent Systems for Process Hazards Analysis," Proc. Intelligent Conf. on Intelligent Systems in Process Engineering, J. F. Davis, G. Stephanopoulos, and V. Venkatasubramanian, eds., CACHE, New York, NY, p. 160 (1996).
    • (1996) Proc. Intelligent Conf. on Intelligent Systems in Process Engineering , pp. 160
    • Venkatasubramanian, V.1    Preston, M.2
  • 20
    • 0028384227 scopus 로고
    • A Knowledge-Based Framework for Automating HAZOP Analysis
    • Venkatasubramanian, V., and R. Vaidhyanathan, "A Knowledge-Based Framework for Automating HAZOP Analysis," AIChE J., 40, 496 (1994).
    • (1994) AIChE J. , vol.40 , pp. 496
    • Venkatasubramanian, V.1    Vaidhyanathan, R.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.