The Experts below are selected from a list of 5772417 Experts worldwide ranked by ideXlab platform
Hengjun Zhao - One of the best experts on this subject based on the ideXlab platform.
-
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
2016Co-Authors: Naijun Zhan, Shuling Wang, Hengjun ZhaoAbstract:This book presents a State-of-the-Art Technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common Techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and Techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.
-
formal verification of simulink stateflow diagrams a deductive approach
2016Co-Authors: Naijun Zhan, Shuling Wang, Hengjun ZhaoAbstract:This book presents a State-of-the-Art Technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common Techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and Techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.
Felix Anyakudo - One of the best experts on this subject based on the ideXlab platform.
-
Thin-Layer Chromatography–Flame Ionization Detection
Chromatographia, 2020Co-Authors: Felix Anyakudo, Erwin Adams, Ann Van SchepdaelAbstract:Thin layer chromatography–flame ionization detection (TLC–FID) is a versatile analytical Technique that can be used for fast analysis of organic compounds. It has been implemented in past decades for the analysis of lipids and petrochemical products, but rarely in other fields. Despite the improvement in the latest Iatroscan model and the introduction of an automatic programmable sample spotter, this system is still struggling to gain acceptance in universities and major research laboratories. The reason behind this might be a lack of awareness on the potential application of this system to other fields of analytical chemistry. This review presents TLC–FID as a mature and reliable, state of the art Technique that combines the separation power of TLC with FID as a universal detector, which can be applied to the analysis of a wide variety of organic compounds. Basic operational procedures and previous literature, including its potential for ultrafast analysis of commercial samples, are discussed in order to create awareness on the potentials of this piece of equipment to other fields.
-
thin layer chromatography flame ionization detection
Chromatographia, 2020Co-Authors: Felix Anyakudo, Erwin Adams, Ann Van SchepdaelAbstract:Thin layer chromatography–flame ionization detection (TLC–FID) is a versatile analytical Technique that can be used for fast analysis of organic compounds. It has been implemented in past decades for the analysis of lipids and petrochemical products, but rarely in other fields. Despite the improvement in the latest Iatroscan model and the introduction of an automatic programmable sample spotter, this system is still struggling to gain acceptance in universities and major research laboratories. The reason behind this might be a lack of awareness on the potential application of this system to other fields of analytical chemistry. This review presents TLC–FID as a mature and reliable, state of the art Technique that combines the separation power of TLC with FID as a universal detector, which can be applied to the analysis of a wide variety of organic compounds. Basic operational procedures and previous literature, including its potential for ultrafast analysis of commercial samples, are discussed in order to create awareness on the potentials of this piece of equipment to other fields.
Naijun Zhan - One of the best experts on this subject based on the ideXlab platform.
-
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
2016Co-Authors: Naijun Zhan, Shuling Wang, Hengjun ZhaoAbstract:This book presents a State-of-the-Art Technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common Techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and Techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.
-
formal verification of simulink stateflow diagrams a deductive approach
2016Co-Authors: Naijun Zhan, Shuling Wang, Hengjun ZhaoAbstract:This book presents a State-of-the-Art Technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common Techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and Techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.
James B. Seward - One of the best experts on this subject based on the ideXlab platform.
-
Echocardiographically Guided Pericardiocentesis: Evolution and State-of-the-Art Technique
Mayo Clinic proceedings, 1998Co-Authors: Teresa S.m. Tsang, William K. Freeman, Lawrence J. Sinak, James B. SewardAbstract:Percutaneous pericardiocentesis was introduced during the 19th century and became a preferred Technique for the management of pericardial effusion by the early 20th century. Until the era of two-dimensional echocardiographically guided pericardiocentesis, however, the procedure was essentially "blind," and serious complications were comparatively common, an outcome that resulted in an increased preference for surgical solutions. Because twodimensional echocardiography facilitates direct visualization of cardiac structures and adjacent vital organs, percutaneous pericardiocentesis can be performed with minimal risk. Since its inception in 1979 (19 years ago), the echocardiographically guided pericardiocentesis Technique has continued to evolve. Important procedural adaptations and modifications that optimize safety, simplicity, and patient comfort and minimize the recurrence of effusion have been defined and incorporated. This Technique has been proved to be safe and effective. A detailed step-by-step description of the procedure and the necessary precautions to optimize success and safety is presented herein.
Shuling Wang - One of the best experts on this subject based on the ideXlab platform.
-
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
2016Co-Authors: Naijun Zhan, Shuling Wang, Hengjun ZhaoAbstract:This book presents a State-of-the-Art Technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common Techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and Techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.
-
formal verification of simulink stateflow diagrams a deductive approach
2016Co-Authors: Naijun Zhan, Shuling Wang, Hengjun ZhaoAbstract:This book presents a State-of-the-Art Technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common Techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and Techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.
