Intelligent systems are computer-based systems that use knowledge and reasoning techniques to sol... more Intelligent systems are computer-based systems that use knowledge and reasoning techniques to solve problems. But they haven’t the ability to manage a large amount of data like a DBMS’s. Many expert system applications have large amount of data, thus we need to couple both the knowledge base and database systems. In this work we built two systems named Loosely Coupled System (LCS) and Tightly Coupled System (TCS). LCS statically couples the knowedge base and the database. This means that LCS must first invoke all the required data from the database. Secondly, it stores them in the working memory of the system. Finally, it starts the interactive session. TCS dynamically couples the knowledge base and database. This means that the interactive session starts first. Whenever the system needs data from the database, the inference engine asks the database to afford the specified data. Both LCS and TCS developed to couple KROL knowledge base with the external storge utility of the SICStus ...
Volume 8: Polar and Arctic Sciences and Technology; Petroleum Technology, 2018
Autonomous Inflow Control Device (AICD) completion was successfully designed and applied in a hor... more Autonomous Inflow Control Device (AICD) completion was successfully designed and applied in a horizontal well drilled in a deep reservoir in an extra heavy oil field located in South America where the average total depth of the targeted reservoir is around ten thousands feet and the in-situ viscosity is 600 cps while API Gravity is ranged between 8.5–9.5. Due to geological and petro-physical features in this area which turns into permeability variations and thick transition zone across the reservoir, a horizontal well of 2500 feet length was drilled and completed with a standalone screen along with Autonomous Inflow Control Device (AICD) to avoid sand production and delay water production. The initial design for the AICD considered the variation of permeability, rock quality, pressure differential across the horizontal length including the operational factors. Accordingly, multiple scenarios using reservoir simulation built-in model (Petrel-RE) and Netool for ICD selection, design a...
In this paper, we concentrate on describing a configuration specification language suitable for m... more In this paper, we concentrate on describing a configuration specification language suitable for most of configuration problems. The language and the generated configuration task code are based on the key-component approach. The implementation of the language is based on the CLPFD library of SICStus Prolog. The language consists of a number of Prolog clauses, which are compiled into CLPFD constraints. The problem solver is the engine of the Constraint Logic Programming Finite Domain (CLPFD). challenging configuration example from the classics is used to demonstrate the efficiency of the language implementation.
From its early days, the World Wide Web space has demonstrated strong agglomeration trends with a... more From its early days, the World Wide Web space has demonstrated strong agglomeration trends with a very small number of web sites capturing the larger part of the Internet population. At a first glance, agglomeration over the virtual space sounds as a paradox. Web sites are numerous and highly diversified and can be easily reached from everywhere and anybody, with no particular transportation or search cost. However, Internet users use only a small number of sites for searching for information and products, interacting with others and socialize, thus producing dense concentrations and locational patterns similar to those observed in the physical space where few cities and industrial clusters host the huge majority of population and the entire industrial activity. Is that depending on the attractiveness of the popular web sites or are there agglomeration economies providing incentives to users to be in a location which have been visited by other users or pointed-in by other sites? Thi...
Intelligent systems are computer-based systems that use knowledge and reasoning techniques to sol... more Intelligent systems are computer-based systems that use knowledge and reasoning techniques to solve problems. But they haven’t the ability to manage a large amount of data like a DBMS’s. Many expert system applications have large amount of data, thus we need to couple both the knowledge base and database systems. In this work we built two systems named Loosely Coupled System (LCS) and Tightly Coupled System (TCS). LCS statically couples the knowedge base and the database. This means that LCS must first invoke all the required data from the database. Secondly, it stores them in the working memory of the system. Finally, it starts the interactive session. TCS dynamically couples the knowledge base and database. This means that the interactive session starts first. Whenever the system needs data from the database, the inference engine asks the database to afford the specified data. Both LCS and TCS developed to couple KROL knowledge base with the external storge utility of the SICStus ...
Volume 8: Polar and Arctic Sciences and Technology; Petroleum Technology, 2018
Autonomous Inflow Control Device (AICD) completion was successfully designed and applied in a hor... more Autonomous Inflow Control Device (AICD) completion was successfully designed and applied in a horizontal well drilled in a deep reservoir in an extra heavy oil field located in South America where the average total depth of the targeted reservoir is around ten thousands feet and the in-situ viscosity is 600 cps while API Gravity is ranged between 8.5–9.5. Due to geological and petro-physical features in this area which turns into permeability variations and thick transition zone across the reservoir, a horizontal well of 2500 feet length was drilled and completed with a standalone screen along with Autonomous Inflow Control Device (AICD) to avoid sand production and delay water production. The initial design for the AICD considered the variation of permeability, rock quality, pressure differential across the horizontal length including the operational factors. Accordingly, multiple scenarios using reservoir simulation built-in model (Petrel-RE) and Netool for ICD selection, design a...
In this paper, we concentrate on describing a configuration specification language suitable for m... more In this paper, we concentrate on describing a configuration specification language suitable for most of configuration problems. The language and the generated configuration task code are based on the key-component approach. The implementation of the language is based on the CLPFD library of SICStus Prolog. The language consists of a number of Prolog clauses, which are compiled into CLPFD constraints. The problem solver is the engine of the Constraint Logic Programming Finite Domain (CLPFD). challenging configuration example from the classics is used to demonstrate the efficiency of the language implementation.
From its early days, the World Wide Web space has demonstrated strong agglomeration trends with a... more From its early days, the World Wide Web space has demonstrated strong agglomeration trends with a very small number of web sites capturing the larger part of the Internet population. At a first glance, agglomeration over the virtual space sounds as a paradox. Web sites are numerous and highly diversified and can be easily reached from everywhere and anybody, with no particular transportation or search cost. However, Internet users use only a small number of sites for searching for information and products, interacting with others and socialize, thus producing dense concentrations and locational patterns similar to those observed in the physical space where few cities and industrial clusters host the huge majority of population and the entire industrial activity. Is that depending on the attractiveness of the popular web sites or are there agglomeration economies providing incentives to users to be in a location which have been visited by other users or pointed-in by other sites? Thi...
Uploads
Papers by Mahmoud Rafea