The Experts below are selected from a list of 226425 Experts worldwide ranked by ideXlab platform
Andrzej Bialas - One of the best experts on this subject based on the ideXlab platform.
-
semiformal common criteria compliant it security development framework
Studia Informatica, 2008Co-Authors: Andrzej BialasAbstract:The monograph presents an IT Security Development Framework (ITSDF) based on the Common Criteria (ISO/IEC 15408) family of standards for the product designers and evaluators. The system, compliant with ISO/IEC TR 15446, is based on the enhanced generics, advanced functionality, recent information security management standards, and risk analysis. The concept presented in the monograph, dealing with the elaboration of the ITSDF framework, encompasses two basic issues: - creating the means to build the security specifications; the means include defined enhanced generics and Common Criteria components for any stage of IT security development, i.e.: security problem definition, elaborating security objectives, requirements and functions, - workout of the semiformal (UML/OCL-based) model of this development process, encompassing a data model and processes responsible for the issuing of the security specifications. Using the UML/OCL-based framework presented there, a Computer-Aided Tool was developed (ITSDF-Tool). The main goal of creating this Tool is to make the IT security developers’ activities easier and more effective. Due to the semiformal character of the Common Criteria and the UML methodologies, the framework presented there has a semiformal character as well. The formal method elements were introduced in the selected areas of this framework where they can bring real advantages, especially to improve the specification means.
-
Specification of security environment of IT security-related products according to Common Criteria
Theoretical and Applied Informatics, 2006Co-Authors: Andrzej BialasAbstract:The paper concerns IT security development and evaluation processes according to the Common Criteria - CC (ISO/IEC 15408) family of standards, and is based on the results of the author's earlier works dealing with modelling of these processes. The paper focuses on the workout of the security environment specification based on the previously identified features of an IT security-related product, presented in [2]. The security environment presents the nature and scope of the IT security-related product and discusses the threats, policy rules and assumptions of the product working environment. This specification is used for the security objectives definition, which is the basis for further IT security development stages. The UML-based approach was introduced to specify the security environment using predefmed generics contained within the design library. It is part of the common development framework and a Computer-Aided Tool developed on the framework. Using the UML in the Common Criteria based IT security development process allows achieving more consistent designs in an easier way.
-
SAFECOMP - Development of an integrated, risk-based platform for information and e-services security
Lecture Notes in Computer Science, 2006Co-Authors: Andrzej BialasAbstract:The paper presents a risk-based integrated platform for the information and e-services security management related to the Information Security Managements System (ISMS) concept. The current state of the work is shown, including the UML-based methodology, and the incrementally developed Computer-Aided Tool prototype. The assumptions of the integrated platform can be specified on the basis of sampled experiences from the first deployment and case studies, an analysis of standards, legal requirements and technology, and a study of the needs and requirements of various organizations. It is assumed that the common and enhanced assets inventory will integrate information security, business continuity and IT services management processes. The paper concludes the current, initial state of the work and defines its further directions.
-
Development of an Integrated, Risk-Based Platform for Information and E-Services Security
Lecture Notes in Computer Science, 2006Co-Authors: Andrzej BialasAbstract:The paper presents a risk-based integrated platform for the information and e-services security management related to the Information Security Managements System (ISMS) concept. The current state of the work is shown, including the UML-based methodology, and the incrementally developed Computer-Aided Tool prototype. The assumptions of the integrated platform can be specified on the basis of sampled experiences from the first deployment and case studies, an analysis of standards, legal requirements and technology, and a study of the needs and requirements of various organizations. It is assumed that the common and enhanced assets inventory will integrate information security, business continuity and IT services management processes. The paper concludes the current, initial state of the work and defines its further directions.
Rafiqul Gani - One of the best experts on this subject based on the ideXlab platform.
-
Systematic Method and Tool for Sustainable Process Synthesis, Designanalysis and Innovation
Computer Aided Chemical Engineering, 2019Co-Authors: Anjan Kumar Tula, Mario R. Eden, Rafiqul GaniAbstract:Abstract Computer-Aided Tools have been successfully developed and used in different segments of the entire process development cycle. For example, there are established Tools for chemical process design, simulation, heat exchanger network synthesis and many more. However, one needs an integrated platform to perform process synthesis, design and analysis of chemical processes in a systematic manner. Also, in order to obtain a truly innovative and sustainable solution, it is necessary to search the entire feasible search space of alternatives and select the best process alternative, which is not very easy and will be time consuming. Therefore, it is beneficial to utilize Computer-Aided methods and Tools to enumerate, analyze and determine within the design space, the more sustainable processes. This work highlights the development of a computer aided methodology and corresponding integrated platform for fast, reliable and consistent generation of process flowsheets. This paper gives an overview of the key concepts and the method is presented along with details of the developed Computer-Aided Tool.
-
ProCAFD: Computer-Aided Tool for Sustainable Process Synthesis, Intensification and Hybrid solutions
Computer Aided Chemical Engineering, 2019Co-Authors: Anjan Kumar Tula, Mario R. Eden, Rafiqul GaniAbstract:Abstract Process industry is always in quest for innovative designs which are both efficient, safe and sustainable. The feasible search space of all unit operations that can be combined to generate process flowsheet alternatives for a given synthesis problem can be large and difficult to manually navigate in order to determine the best processing route. Therefore, it is helpful to utilize Computer-Aided methods and Tools to enumerate, analyze and determine within the design space, the more sustainable processes. In this paper, an integrated Computer-Aided method and corresponding software-Tool that’s capable of generating and searching the entire design space for more sustainable process options is presented. In this work a comprehensive analysis method consisting of economic, life cycle, sustainability and process safety indicators is used to identify process bottlenecks on the selected alternative which are translated to design targets. Matching of these design targets minimizes/eliminates the process hot-spots and, thereby generating non-trade-off innovative process designs.
-
Component based development of Computer-Aided Tools for different applications
Computer Aided Chemical Engineering, 2019Co-Authors: Anjan Kumar Tula, Mario R. Eden, Rafiqul GaniAbstract:Abstract Computer-Aided methods and Tools are used at different stages of chemical process development. However new Tools are needed to meet the current and future challenges through innovative and more sustainable solutions that the currently available Tools may not be able to provide. This work focuses on component-based software architecture for development of tailor-made Computer-Aided Tools for specific application objectives. The architecture is based on “components”, which can be model-objects that are stored in a library; collection of property models; databases; numerical solvers; design-algorithms (work-flows) etc. The main idea of these components is to incorporate a plug & play framework, where for a specific purpose, after the work-flow and associated data-flow are established, a specific Computer-Aided Tool can be configured through a library of software components. Also, through the use of software components that are based on predictive model-based solution techniques, the final software can be reliably used to provide innovative and more sustainable solutions over a wide range of problems.
-
Early Stage Design of a Biorefinery from Castor Oil
Proceedings of the 8th International Conference on Foundations of Computer-Aided Process Design, 2014Co-Authors: Daniela R.g. De Faria, Alberto Quaglia, Fernando L.p. Pessoa, Rafiqul GaniAbstract:Abstract This paper presents a systematic method for synthesis and analysis of biomass based biorefinery pathways (process networks) in terms of current and future market conditions. The systematic method has been implemented into a computer aided Tool that is able to quickly evaluate alternatives and network scenarios. The Tool integrates data collection, modelling and superstructure optimization to determine the optimal network for a biorefinery. The application of the synthesis-analysis method and its corresponding computer aided Tool is highlighted for a case study where castor oil is the specified biomass available for the biorefinery.
-
design of sustainable chemical processes systematic retrofit analysis generation and evaluation of alternatives
Process Safety and Environmental Protection, 2008Co-Authors: Rafiqul Gani, Ana Carvalho, Henrique A MatosAbstract:Abstract The objective of this paper is to present a generic and systematic methodology for identifying the feasible retrofit design alternatives of any chemical process. The methodology determines a set of mass and energy indicators from steady-state process data, establishes the operational and design targets, and through a sensitivity-based analysis, identifies the design alternatives that can match a set of design targets. The significance of this indicator-based method is that it is able to identify alternatives, where one or more performance criteria (factors) move in the same direction thereby eliminating the need to identify trade-off-based solutions. These indicators are also able to reduce (where feasible) a set of safety indicators. An indicator sensitivity analysis algorithm has been added to the methodology to define design targets and to generate sustainable process alternatives. A Computer-Aided Tool has been developed to facilitate the calculations needed for the application of the methodology. The application of the indicator-based methodology and the developed software are highlighted through a process flowsheet for the production of vinyl chlorine monomer (VCM).
Siu-lai Chan - One of the best experts on this subject based on the ideXlab platform.
-
Australian Joint Conference on Artificial Intelligence - Development of an Intelligent Tutoring System on Design of Liquid Retaining Structures
Lecture Notes in Computer Science, 2002Co-Authors: Kwok-wing Chau, Faris Albermani, Siu-lai ChanAbstract:Liquid retaining structures, which are mainly used to retain domestic water, sewage, or industrial waste, are usually constructed with reinforced concrete in Hong Kong. During the design, novice engineers often encounter problems including decision-making based on rules of thumb, judgment, previous experience, heuristics, and code of practice. A Computer-Aided Tool that incorporates engineering judgment along with algorithmic Tools is highly desirable. This paper presents an intelligent tutoring system, with hybrid knowledge representation techniques including production rule system and object-oriented approach, which provides expert advice on design of liquid retaining structures. Intelligent tutoring system is a type of knowledge-based expert system with the particular purpose of teaching. It can serve the purpose for one-to-one tutoring, which is generally acknowledged to be the most effective teaching method, yet requiring high ratio of resources. This system is based on British Standards Code of Practice BS8007: 1987: Design of concrete structures for retaining aqueous liquids. Training exercises, learner model as well as tailored explanations on real design practice are furnished to help inexperienced designers or civil engineering students to learn how to design liquid retaining structures. Nowadays, with the popularity of personal computer, civil engineering students as well as novice engineers can glean hand-on knowledge on design of liquid retaining structures more effectively through this system. An evaluation of the developed system and investigation of the effectiveness to learn the domain design knowledge are undertaken.
-
Development of an intelligent tutoring system on design of liquid retaining structures
2002Co-Authors: Kwok-wing Chau, Faris Albermani, Siu-lai ChanAbstract:Liquid retaining structures, which are mainly used to retain domestic water, sewage, or industrial waste, are usually constructed with reinforced concrete in Hong Kong. During the design, novice engineers often encounter problems including decision-making based on rules of thumb, judgment, previous experience, heuristics, and code of practice. A Computer-Aided Tool that incorporates engineering judgment along with algorithmic Tools is highly desirable. This paper presents an intelligent tutoring system, with hybrid knowledge representation techniques including production rule system and object-oriented approach, which provides expert advice on design of liquid retaining structures. Intelligent tutoring system is a type of knowledge-based expert system with the particular purpose of teaching. It can serve the purpose for one-to-one tutoring, which is generally acknowledged to be the most effective teaching method, yet requiring high ratio of resources. This system is based on British Standards Code of Practice BS8007: 1987: Design of concrete structures for retaining aqueous liquids. Training exercises, learner model as well as tailored explanations on real design practice are furnished to help inexperienced designers or civil engineering students to learn how to design liquid retaining structures. Nowadays, with the popularity of personal computer, civil engineering students as well as novice engineers can glean hand-on knowledge on design of liquid retaining structures more effectively through this system. An evaluation of the developed system and investigation of the effectiveness to learn the domain design knowledge are undertaken.
Kwok-wing Chau - One of the best experts on this subject based on the ideXlab platform.
-
Australian Joint Conference on Artificial Intelligence - Development of an Intelligent Tutoring System on Design of Liquid Retaining Structures
Lecture Notes in Computer Science, 2002Co-Authors: Kwok-wing Chau, Faris Albermani, Siu-lai ChanAbstract:Liquid retaining structures, which are mainly used to retain domestic water, sewage, or industrial waste, are usually constructed with reinforced concrete in Hong Kong. During the design, novice engineers often encounter problems including decision-making based on rules of thumb, judgment, previous experience, heuristics, and code of practice. A Computer-Aided Tool that incorporates engineering judgment along with algorithmic Tools is highly desirable. This paper presents an intelligent tutoring system, with hybrid knowledge representation techniques including production rule system and object-oriented approach, which provides expert advice on design of liquid retaining structures. Intelligent tutoring system is a type of knowledge-based expert system with the particular purpose of teaching. It can serve the purpose for one-to-one tutoring, which is generally acknowledged to be the most effective teaching method, yet requiring high ratio of resources. This system is based on British Standards Code of Practice BS8007: 1987: Design of concrete structures for retaining aqueous liquids. Training exercises, learner model as well as tailored explanations on real design practice are furnished to help inexperienced designers or civil engineering students to learn how to design liquid retaining structures. Nowadays, with the popularity of personal computer, civil engineering students as well as novice engineers can glean hand-on knowledge on design of liquid retaining structures more effectively through this system. An evaluation of the developed system and investigation of the effectiveness to learn the domain design knowledge are undertaken.
-
Development of an intelligent tutoring system on design of liquid retaining structures
2002Co-Authors: Kwok-wing Chau, Faris Albermani, Siu-lai ChanAbstract:Liquid retaining structures, which are mainly used to retain domestic water, sewage, or industrial waste, are usually constructed with reinforced concrete in Hong Kong. During the design, novice engineers often encounter problems including decision-making based on rules of thumb, judgment, previous experience, heuristics, and code of practice. A Computer-Aided Tool that incorporates engineering judgment along with algorithmic Tools is highly desirable. This paper presents an intelligent tutoring system, with hybrid knowledge representation techniques including production rule system and object-oriented approach, which provides expert advice on design of liquid retaining structures. Intelligent tutoring system is a type of knowledge-based expert system with the particular purpose of teaching. It can serve the purpose for one-to-one tutoring, which is generally acknowledged to be the most effective teaching method, yet requiring high ratio of resources. This system is based on British Standards Code of Practice BS8007: 1987: Design of concrete structures for retaining aqueous liquids. Training exercises, learner model as well as tailored explanations on real design practice are furnished to help inexperienced designers or civil engineering students to learn how to design liquid retaining structures. Nowadays, with the popularity of personal computer, civil engineering students as well as novice engineers can glean hand-on knowledge on design of liquid retaining structures more effectively through this system. An evaluation of the developed system and investigation of the effectiveness to learn the domain design knowledge are undertaken.
Anjan Kumar Tula - One of the best experts on this subject based on the ideXlab platform.
-
ProCAFD: Computer-Aided Tool for Sustainable Process Synthesis, Intensification and Hybrid solutions
Computer Aided Chemical Engineering, 2019Co-Authors: Anjan Kumar Tula, Mario R. Eden, Rafiqul GaniAbstract:Abstract Process industry is always in quest for innovative designs which are both efficient, safe and sustainable. The feasible search space of all unit operations that can be combined to generate process flowsheet alternatives for a given synthesis problem can be large and difficult to manually navigate in order to determine the best processing route. Therefore, it is helpful to utilize Computer-Aided methods and Tools to enumerate, analyze and determine within the design space, the more sustainable processes. In this paper, an integrated Computer-Aided method and corresponding software-Tool that’s capable of generating and searching the entire design space for more sustainable process options is presented. In this work a comprehensive analysis method consisting of economic, life cycle, sustainability and process safety indicators is used to identify process bottlenecks on the selected alternative which are translated to design targets. Matching of these design targets minimizes/eliminates the process hot-spots and, thereby generating non-trade-off innovative process designs.
-
Systematic Method and Tool for Sustainable Process Synthesis, Designanalysis and Innovation
Computer Aided Chemical Engineering, 2019Co-Authors: Anjan Kumar Tula, Mario R. Eden, Rafiqul GaniAbstract:Abstract Computer-Aided Tools have been successfully developed and used in different segments of the entire process development cycle. For example, there are established Tools for chemical process design, simulation, heat exchanger network synthesis and many more. However, one needs an integrated platform to perform process synthesis, design and analysis of chemical processes in a systematic manner. Also, in order to obtain a truly innovative and sustainable solution, it is necessary to search the entire feasible search space of alternatives and select the best process alternative, which is not very easy and will be time consuming. Therefore, it is beneficial to utilize Computer-Aided methods and Tools to enumerate, analyze and determine within the design space, the more sustainable processes. This work highlights the development of a computer aided methodology and corresponding integrated platform for fast, reliable and consistent generation of process flowsheets. This paper gives an overview of the key concepts and the method is presented along with details of the developed Computer-Aided Tool.
-
Component based development of Computer-Aided Tools for different applications
Computer Aided Chemical Engineering, 2019Co-Authors: Anjan Kumar Tula, Mario R. Eden, Rafiqul GaniAbstract:Abstract Computer-Aided methods and Tools are used at different stages of chemical process development. However new Tools are needed to meet the current and future challenges through innovative and more sustainable solutions that the currently available Tools may not be able to provide. This work focuses on component-based software architecture for development of tailor-made Computer-Aided Tools for specific application objectives. The architecture is based on “components”, which can be model-objects that are stored in a library; collection of property models; databases; numerical solvers; design-algorithms (work-flows) etc. The main idea of these components is to incorporate a plug & play framework, where for a specific purpose, after the work-flow and associated data-flow are established, a specific Computer-Aided Tool can be configured through a library of software components. Also, through the use of software components that are based on predictive model-based solution techniques, the final software can be reliably used to provide innovative and more sustainable solutions over a wide range of problems.