• Korean Journal of Logic
• /
• v.18 no.2
• /
• pp.197-215
• /
• 2015

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, four involutive micanorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for two of them using construction in the style of Jenei-Montagna.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.12 no.1
• /
• pp.20-28
• /
• 2012

We define a language $\mathcal{RS}$, a subclass of the scheduling language $\mathcal{RS}V$ (resource constrained project scheduling with variant processes). $\mathcal{RS}$ involves the determination of the starting times for ground activities of a project satisfying precedence and resource constraints, in order to minimize the total project duration. In $\mathcal{RS}$ ground activities and two structural symbols (operators) 'seq' and 'pll' are used to construct activity-terms representing scheduling problems. We consider three different variants for formalizing the $\mathcal{RS}$-scheduling problem, the optimizing variant, the number variant and the decision variant. Using the decision variant we show that the problem $\mathcal{RS}$ is $\mathcal{NP}$-complete. Further we show that the optimizing variant (or number variant) of the $\mathcal{RS}$-problem is computable in polynomial time iff the decision variant is computable in polynomial time.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 1997.11a
• /
• pp.33-36
• /
• 1997

This paper describes an image design process for product development based on human sensibility ergonomics.. The human sensibility about product image can be measured through some statistical methods and translated into product design factors by some mathematical inference logics. This results also can be presented by 3D computer graphic tools, In order to integrate the above processess, a image design process on human sensibility database. Human sensibility database is constructed with the relational ddta of some adjective words and design factors, The next step is to extract the design information from the human sensibility dataabase by fuzzy inference algouithm. This information is used for the input data for the graphic presentation. The final product can be modified according to the customer's requirement.

• 한국지구물리탐사학회:학술대회논문집
• /
• 2003.11a
• /
• pp.723-730
• /
• 2003

In general, well log and core data have been utilized for reservoir characterization. These well data can provide valuable information on reservoir properties with high vertical resolution at well locations. While the seismic surveys cover large areas of field but give only indirect features about reservoir properties. Therefore it is possible to estimate the reservoir properties guided by seismic data on entire area if a relationship of seismic data and well data can be defined. Seismic attributes calculated from seismic surveys contain the particular reservoir features, so that they should be extracted and used properly according to the purpose of study. The method to select the suitable seismic attributes among enormous ones is needed. The stepwise regression and fuzzy curve analysis based on fuzzy logics are used for selecting the best attributes. The relationship can be utilized to estimate reservoir properties derived from seismic attributes. This methodology is applied to a synthetic seismogram and a sonic log acquired from velocity model. Seismic attributes calculated from the seismic data are reflection strength, instantaneous phase, instantaneous frequency and pseudo sonic logging data as well as seismic trace. The fuzzy curve analysis is used for choosing the best seismic attributes compared to sonic log as well data, so that seismic trace, reflection strength, instantaneous frequency, and pseudo sonic logging data are selected. The relationship between the seismic attribute and well data is found out by the statistical regression method and estimates the reliable well data at a specific field location derived from only seismic attributes. For a future work in this study, the methodology should be checked an applicability of the real fields with more complex and various reservoir features.

• Journal of the Korea Society for Simulation
• /
• v.17 no.3
• /
• pp.1-8
• /
• 2008

It is essential to maintain constant QoS despite of cell overload or erroneous wireless link during transmission because QoS of a multimedia service may be severely degraded by small delay or packet loss. This paper deals with a cell selection method for supporting the QoS of multimedia services over heterogeneous networks. The proposed scheme is based on Fuzzy Multi-Criteria Decision Making (FMCDM), in which uncertain parameters such as user system preference, the communication cost and cell load, and the transmission delay are used in the decision process using the aggregation function in fuzzy set theory. In this scheme, errors in the evaluation parameters impose milder changes on the total evaluation value than in binary logics. Simulation is focused on the average delay and packet loss rate, and the simulation results show that our proposed method provides mobile terminals the optimal performance.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.7 no.3
• /
• pp.251-262
• /
• 2003

LCP(Life Cycle Profiles) of bridge structures are indispensable for the LCC(Life Cycle Cost) evaluations of bridge system. The bridge under considerations may be newly-designed one or one in service. Thus, a systematic study of LCP is essential for both reliable LCC evaluation and strategic bridge management. LCP is mainly influenced by the structural environment in nature. However, in Korea, LCC evaluation has been performed with the LCP of foreign research results or only with the pieces of professional engineers' opinion. Therefore, to alleviate the drawbacks of foreign LCP and to enhance the reliability of current LCP, LCP should be established using the available data in bridge management system(BMS). In this study, LCP along with a subset of the BMS data was investigated and several mathematical expressions were proposed and evaluated. The condition ratings of a bridge were trasformed into the numerical indices through fuzzy logics with real field data. From the numerical results, it is concluded that the mathematical LCP model of $y=\sqrt{y^2_0-at}$ is shown to be the fittest one (R=0.815) to express the condition rating varied with the age. This has been drawn from the case study of slab bridges under the similar conditions.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.449-449
• /
• 2000

Many researchers have studied architectures for non-Neumann's computers because of escaping its bottleneck. To avoid the bottleneck, a neuron-based computer has been developed. The computer has only neurons and their connections, which are constructed of the learning. But still it has information processing facilities, and at the same time, it is like as a simplified brain to make inference; it is called "neuron-computer". No instructions are considered in any neural network usually; however, to complete complex processing on restricted computing resources, the processing must be reduced to primitive actions. Therefore, we introduce the instructions to the neuron-computer, in which the most important function is implications. There is an implication represented by binary-operators, but general implications for multi-value or fuzzy logics can't be done. Therefore, we need to use Lukasiewicz' operator at least. We investigated a neuron-computer having instructions for general implications. If we use the computer, the effective inferences base on multi-value logic is executed rapidly in a small logical unit.

• Geophysics and Geophysical Exploration
• /
• v.7 no.2
• /
• pp.109-116
• /
• 2004

Petroleum reservoir characterization is a process for quantitatively describing various reservoir properties in spatial variability using all the available field data. Porosity and permeability are the two fundamental reservoir properties which relate to the amount of fluid contained in a reservoir and its ability to flow. These properties have a significant impact on petroleum fields operations and reservoir management. In un-cored intervals and well of heterogeneous formation, porosity and permeability estimation from conventional well logs has a difficult and complex problem to solve by conventional statistical methods. This paper suggests an intelligent technique using fuzzy logic and neural network to determine reservoir properties from well logs. Fuzzy curve analysis based on fuzzy logics is used for selecting the best related well logs with core porosity and permeability data. Neural network is used as a nonlinear regression method to develop transformation between the selected well logs and core analysis data. The intelligent technique is demonstrated with an application to the well data in offshore Korea. The results show that this technique can make more accurate and reliable properties estimation compared with previously used methods. The intelligent technique can be utilized a powerful tool for reservoir characterization from well logs in oil and natural gas development projects.

• Journal of the Korea Society for Simulation
• /
• v.20 no.1
• /
• pp.69-77
• /
• 2011

Modeling and Simulation(M&S) technology gets an attention from various parts such as industry and military. Especially, military uses the technology to cope with a different situation from the one in the Cold War and maximize the effect of training against the cost in the new environment. In order for the training based on M&S technology to be effective, the situations of a battlefield and a combat must be more realistically simulated. For this, a technique development on Computer-Generated Forces(CGF) which represents a unit's simulation logic and a human's simulated behaviors is focused. The CGF simulating a human's behaviors can be used in representing an enemy force, experimenting behaviors in a future war, and developing a new combat idea. This paper describes a methodology to accomplish Computer-Generated Forces' autonomous intelligence. It explains the process of applying a task behavior list based on the METT+T element onto CGFs. On the other hand, in the domain knowledge of military field manual, fuzzy facts such as "fast" and "sufficient" whose real values should be decided by domain experts can be easily found. In order to efficiently implement military simulation logics involved with such subjectivity, using a fuzzy inference methodology can be effective. In this study, a fuzzy inference methodology is also applied.