• Geomechanics and Engineering
• /
• v.24 no.5
• /
• pp.407-418
• /
• 2021

Due to the complexity of the causes of the sliding mass instabilities, landslide susceptibility and hazard evaluation are difficult, but they can be more carefully considered and regionally evaluated by using new programming technologies to minimize the hazard. This study aims to evaluate the landslide hazard zonation in the Tabriz region, Iran. A fuzzy logic-based multi-criteria decision-making method was proposed for susceptibility analysis and preparing the hazard zonation maps implemented in MATLAB programming language and Geographic Information System (GIS) environment. In this study, five main factors have been identified as triggering including climate (i.e., precipitation, temperature), geomorphology (i.e., slope gradient, slope aspect, land cover), tectonic and seismic parameters (i.e., tectonic lineament congestion, distribution of earthquakes, the unsafe radius of main faults, seismicity), geological and hydrological conditions (i.e., drainage patterns, hydraulic gradient, groundwater table depth, weathered geo-materials), and human activities (i.e., distance to roads, distance to the municipal areas) in the study area. The results of analyses are presented as a landslide hazard map which is classified into 5 different sensitive categories (i.e., insignificant to very high potential). Then, landslide susceptibility maps were prepared for the Tabriz region, which is categorized in a high-sensitive area located in the northern parts of the area. Based on these maps, the Bozgoosh-Sahand mountainous belt, Misho-Miro Mountains and western highlands of Jolfa have been delineated as risk-able zones.

• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.411-419
• /
• 2009

In order to derive hidden Information (concept subsumption, concept satisfiability and realization) of OWL ontologies, a number of OWL reasoners have been introduced. Most of the reasoners were implemented to be based on tableau algorithm. However this approach has certain limitation. This paper presents architecture for Medusa. The Medusa is an extended DL-reasoner for SWRL(Semantic Web Rule Language) reasoning under well-founded semantics with ontologies specified in Description Logic. Description logic based ontology reasoners theoretically explore knowledge representation and its reasoning in concept languages. However these logics are not equipped with rule-based reasoning mechanisms for assertional knowledge base; specifically, rule and facts in logic programming, or interaction of rules and facts with terminology. In order to deal with the enriched reasoning, The Medusa provides combining DL-knowledge base and rule based reasoner. The described prototype uses $Prot{\acute{e}}g{\acute{e}}$ API[1] for controlling communication with the ontology reasoner.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.2
• /
• pp.324-334
• /
• 2017

The simulators for a plant unit master control (UMC) developed by domestic or overseas researchers have been developed for operator-training purposes. UMC simulators normally constructed at the end of the plant construction, despite the UMC logics, should be simulated to pre-check many signal interfaces within the power generation systems. Because of the differences in construction schedule, it is difficult for logic designers or commissioning engineers to simulate the UMC logic during the design or commissioning stage. In this background, this paper proposes a simulation method that can be used easily by plant logic designers or operators in the MATLAB Simulink programming environment. The core of the UMC is realized with a unique simulation algorithm based on mathematical analysis and functional blocks combination. In addition, an integer-based configuration was proposed to realize the plant target value control for the equipment in the logic. With these simulation methods, functions, e.g., load distribution, high-low limitations, frequency compensation, etc. were simulated. The results showed that the plant UMC logic can be simulated in Simulink without a plant simulator. The various functions proposed in this paper can provide useful information about Simulink-based simulation design for plant logic designers or commissioning engineers during the power plant construction period.

• Journal of Welding and Joining
• /
• v.10 no.4
• /
• pp.199-212
• /
• 1992

Expert system is a practical application part of the artificial intelligence and can be generally described as a computer-based system designed to simulate the knowledge and reasoning of a human expert, and to make that knowledge conveniently available to other people in a useful way. Expert systems consist of three major components, knowledge base, inference engine and user interface. In this paper, it is aimed to construct a prototype system to design the horizontal-typed pressure vessel. To do this, a representative artificial programming language, Turbo Prolog, was employed, and the knowledge representation was mainly done by the production rule such as "If(condition), than (action)" style and by the predicate logic. In the developed system, it was quite easy to represent the knowledge of "If(condition), then (action)"style and by the predicate logic. In the developed system, it was quite easy to represent the knowledge of "If(condition). then(action)" style and the various table-like data. It was also effective to represent the graphics. Though this expert system is by now small and incomplete, it is possible to expand it to a larger and refined system later.rger and refined system later.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.11B
• /
• pp.1579-1587
• /
• 2010

In this paper, we design the PCS(Physical Coding Sublayer) transmitting and receiving module for 400/1000 Ethernet and verify the performance of it through logic simulation. In this work, we defined each function module and internal/external control signals and implemented them using HDL programming language. We also designed 64B/66B encoding/decoding, scrambling/descrambling including operation mode, detection of invalid frames, and multi-lane based distribution/arrangement. It was simulated using ModelSim and verified in terms of the operation and timing according to input data. The simulation result shows that all designed modules in 400/100G Ethernet are correctly performed.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1997.04a
• /
• pp.23-28
• /
• 1997

We discuss development of a simulator for automated manufacturing systems (AMSs) which have sophisticated automated material handling equipments and complicated work flows. The simulator is designed to satisfy the following requirements. A user should be able to easily configure or specify an AMS through a graphical user interface (GUI) and minimal data input. The user should be able to model diverse and complied control logic for automated material handling systems like automated guided vehicle (AGV) systems, robot workcell systems and conveyor systems as well as complicated job flow program. Real time animation is desired. Finally, the simulator should be easily maintained and extended. To satisfy the requirements, we use an object-oriented paradigm for modeling, designing, and programming of the simulator. We use an object-oriented modeling framework to design the modeling elements library, and take the process interaction approach for scheduling processes and events. To model a user-defined diverse control logic, we also develop a script language and its interpreter. We explain design and implementation strategies. We implement the simulator using Visual C++ 4.2 and Open GL on Windows NT and the Windows95. Some modeling examples will be demonstrated.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2005.11a
• /
• pp.425-428
• /
• 2005

Healthcare is a research field suitable for applying the recent ubiquitous techniques. As a test system, we developed a kind of CDSS (Clinical Decision Support System) running in ubiquitous environment. called as 'uCDSS'. The uCDSS is a core system of the ubiquitous healthcare and is composed of some 'uMLMs(Ubiquitous Medical Logic Modules)'. The uMLMs based on the class in C# programming language could be reused in development of CDSS, or another EHR system running in .NET environment. As a test system, we developed the DM(Diabetes Mellitus knowledge system using ASP.NET. This system shows the potential of C# class-based uMLMs and the extensibility to any .NET development project.

• Journal of The Korean Association of Information Education
• /
• v.15 no.3
• /
• pp.387-397
• /
• 2011

In order to analyze the change of student's logical thinking, in this study, we were develop the educational materials. This educational materials were used in algorithm class through educational programming language Scratch. Algorithms of education materials were selected by analysis of foreign ACM and domestic middle school curriculum. The developed educational materials were applied to 4th grade students of elementary school. In order to analyze the change of student's logical thinking, we were used GALT short version. Total logic and Combinational reasoning, in the experimental group students, were growing significantly.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1997.10a
• /
• pp.143-153
• /
• 1997

At the on-line control method FLC(Fuzzy Logic Controller) is stronger to the disturbance than a classical controller and its overshoot of the initialized value is excellent. The fuzzy controller can do a proper control, though it doesn't know the mathematical model of the system or the parameter value. But to make the control rule of the fuzzy controller through an expert's experiance has a changes of the control system, the control rule is fixed, it can't adjust to the environment changes of the control system, the controller output value has a minute error and it can't convergence correctly to the desired value[1][2]. There are many ways to eliminate the minute error[3][4][5], but in this paper suggests EP-FNNIC(Fuzzy Neurla Network Intelligence Controller) intelligence controller which combines FLC with NN(Neural Network) and EP(Evolution Programming). The output characteristics of EP-FNNIC controller will be compared and analyzed with FLC. It will be showed that this EP-FN IC controller converge correctly to the desirable value without any error. The convergence speed, overshoot, rising time, error of steady state of controller of these two kinds also will be compared.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.15 no.10
• /
• pp.831-837
• /
• 2002

Scaled SONOS transistors have been fabricated by 0.35$\mu\textrm{m}$ CMOS standard logic process. The thickness of stacked ONO(blocking oxide, memory nitride, tunnel oxide) gate insulators measured by TEM are 2.5 nm, 4.0 nm and 2.4 nm, respectively. The SONOS memories have shown low programming voltages of ${\pm}$8.5 V and long-term retention of 10-year Even after 2 ${\times}$ 10$\^$5/ program/erase cycles, the leakage current of unselected transistor in the erased state was low enough that there was no error in read operation and we could distinguish the programmed state from the erased states precisely The tight distribution of the threshold voltages in the programmed and the erased states could remove complex verifying process caused by over-erase in floating gate flash memory, which is one of the main advantages of the charge-trap type devices. A single power supply operation of 3 V and a high endurance of 1${\times}$10$\^$6/ cycles can be realized by the programming method for a flash-erased type EEPROM.