Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044445620> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W2044445620 endingPage "S604" @default.
- W2044445620 startingPage "S601" @default.
- W2044445620 abstract "Abstract The safety verification of chemical processing systems becomes more difficult due to their complexity. Current search methods suffer from the state explosion problem, mainly because the verification problem itself is inherently complex considering numerous units (reactor, distillation column, storage tank), instruments (valve, pump), control software and many other components, and more importantly considering time. This paper focuses on methods of improving the search algorithm in its efficiency. The algorithm enables to prune out the state transition paths that cannot happen in the behavior of process equipment and operating procedures in system modeling. The state transition structure constructed by this algorithm becomes enormously smaller in its search space. Computing time is also reduced and safety verifications of more complex processes and operating procedures become possible." @default.
- W2044445620 created "2016-06-24" @default.
- W2044445620 creator A5011252930 @default.
- W2044445620 creator A5023335726 @default.
- W2044445620 creator A5035269096 @default.
- W2044445620 date "1999-06-01" @default.
- W2044445620 modified "2023-10-14" @default.
- W2044445620 title "Improved search algorithm for the efficient verification of chemical processes" @default.
- W2044445620 cites W2009129255 @default.
- W2044445620 cites W2076635355 @default.
- W2044445620 cites W2080267935 @default.
- W2044445620 cites W2133978468 @default.
- W2044445620 doi "https://doi.org/10.1016/s0098-1354(99)80148-3" @default.
- W2044445620 hasPublicationYear "1999" @default.
- W2044445620 type Work @default.
- W2044445620 sameAs 2044445620 @default.
- W2044445620 citedByCount "3" @default.
- W2044445620 countsByYear W20444456202013 @default.
- W2044445620 countsByYear W20444456202014 @default.
- W2044445620 crossrefType "journal-article" @default.
- W2044445620 hasAuthorship W2044445620A5011252930 @default.
- W2044445620 hasAuthorship W2044445620A5023335726 @default.
- W2044445620 hasAuthorship W2044445620A5035269096 @default.
- W2044445620 hasConcept C11413529 @default.
- W2044445620 hasConcept C41008148 @default.
- W2044445620 hasConceptScore W2044445620C11413529 @default.
- W2044445620 hasConceptScore W2044445620C41008148 @default.
- W2044445620 hasLocation W20444456201 @default.
- W2044445620 hasOpenAccess W2044445620 @default.
- W2044445620 hasPrimaryLocation W20444456201 @default.
- W2044445620 hasRelatedWork W2003465964 @default.
- W2044445620 hasRelatedWork W2051487156 @default.
- W2044445620 hasRelatedWork W2333698505 @default.
- W2044445620 hasRelatedWork W2351491280 @default.
- W2044445620 hasRelatedWork W2371447506 @default.
- W2044445620 hasRelatedWork W2386767533 @default.
- W2044445620 hasRelatedWork W2390279801 @default.
- W2044445620 hasRelatedWork W2748952813 @default.
- W2044445620 hasRelatedWork W2899084033 @default.
- W2044445620 hasRelatedWork W303980170 @default.
- W2044445620 hasVolume "23" @default.
- W2044445620 isParatext "false" @default.
- W2044445620 isRetracted "false" @default.
- W2044445620 magId "2044445620" @default.
- W2044445620 workType "article" @default.