• Journal of the Korea Society of Computer and Information
• /
• v.14 no.12
• /
• pp.33-40
• /
• 2009

We study Interpreted Systems, ATL, and ATEL to capture the notion of time, knowledge, and strategy which are important in the analysis of multi-agent systems and propose strategic constraints based on subgame perfect Nash equilibrium of game theory as one of the solutions for the issues of ATEL which an agent can access the current state of the whole system when making up his strategy even when he should be uncertain about the state, and no explicit representation of actions in ATEL models makes some natural situations harder to model. Also, we present strategic constraints-based Interpreted Systems for model checking of multi-agent systems.

• Korean System Dynamics Review
• /
• v.10 no.1
• /
• pp.97-107
• /
• 2009

In this paper, a structural similarity between traditional oriental philosophy and systems thinking is discussed. The polarity of causal relationship and feedback loops can be interpreted in terms of yin and yang of oriental philosophy. A positive feedback loop which is linked to the yang is a force or mechanism that accelerates changes in systems. A negative feedback loop which is linked to the yin can be interpreted as a force oppressing any changes. In this sense, systems thinking can be related to the oriental philosophy. With this linking pin between them, systems thinking can be introduced and educated more friendly in oriental society. Furthermore, systems thinking can get a set of rich insights from the oriental philosophy. This paper suggests a linking leverage between systems thinking and oriental philosophy.

• 전기의세계
• /
• v.29 no.3
• /
• pp.185-192
• /
• 1980

It is revealed that duality and similarity between both capacitance and inductance systems coexist, and also that the former is more efficient than the latter in application viewpoints in time-invariant linear cases as far as both systems are concerned. This paper, using the similarity relation, proposes a new magnetics capacity concept similar to electrostatic capacity so that inductance systems may be interpreted as the corresponding capacitance systems. The new concept makes it convenient to analyze the both systems by unified approach. Finally an example demonstrates the applicability and convenience of the proposed method, through the analysis of capacitances and inductances on the transposed transmission line.

• The Journal of Information Systems
• /
• v.20 no.1
• /
• pp.147-169
• /
• 2011

In organizations, evaluating the competency of individuals through the position or status has many limitations. To overcome these limitations, this study analyzes the organization's informal network using social network analysis. We measured out-degree centrality and in-degree centrality by making use of social network analysis technique. Out-degree centrality is interpreted as 'madangbal' in that actors actively help other people, while in-degree centrality is interpreted as 'prestige' in that other people want to have a relationship with. This research examines the effects of individual's 'prestige' and 'madangbal' in the instrumental network and communication network on IT competency. We carried out empirical analysis using social network data that were collected from undergraduate students. The result reveals that relationship between IT competency and centrality in the instrumental network is statistically significant, while relationship between IT competency and centrality in the communication network does not show significant results.

• Journal of the Korean Geophysical Society
• /
• v.2 no.1
• /
• pp.45-56
• /
• 1999

Seismic refracrion and reflection surveys were conducted along an E-W trending track of 482 m long in Ilwall-dong, Pohang. End-on spread was employed as source-receiver configuration with 2 m for both geophone interval and offset. Seismic data were acquired using 24 channels at every shot fired every 2 m along the track. Refraction data were interpreted using equations for multi-horizontal layers. Reflection data were processed in the sequence of trace edit, gain control, CMP sorting, NMO correction, mute, common offset gathering, and filtering to produce a single fold seismic section. There are two layers in shallow subsurface of the study area. Upper layer has the P-wave velocities ranging from 267 to 566 m/s and is interpreted as a layer of unconsolidated sediments. Lower layer has P-wave velocities of 1096-3108 m/s and is interpreted as weathered rock to hard rock. Most of the lower layer classified as soft rock. Upper layer has lateral variations in both P-wave velocity and thickness. The upper layer in the eastern part of the seismic line is 3-5 m thick and has P-wave velocity of 400 m/s in average. The upper layer in the western part is 8-10 m thick and has P-wave velocity of 340 m/s in average. The eastern part is interpreted as unconsolidated beach sand, while the western part is interpreted as infilled soil to develop a construction site. Three fault systems of high angle are imaged in seismic reflection section. It is interpreted that the area between these fault systems are relatively safe. Large buildings should be located in the safe ground condition of no fault and footings should be designed to be in the basement rock of 3-10 m deep below the surface.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.556-561
• /
• 1998

This paper deals with our proposed fuzzy inference method, in which the fuzzy relation is represented by the membership functions of the antecedent and consequent parts, it is not used any fuzzy composition. The strong point of this method is that the membership function of an inferred conclusion has a simple shape and thus its meaning can be interpreted easily. Firstly, the proposed method is explained, and then it is applied to fuzzy modeling of distributed data.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.4 no.1
• /
• pp.90-96
• /
• 2004

A generalized net model of a training process with modified fuzzy marks in answers of the trained objects and their current and total modified fuzzy evaluation, tharning themes, estimation criteria and others are discussed and interpreted.

• Economic and Environmental Geology
• /
• v.30 no.4
• /
• pp.363-369
• /
• 1997

As a part of the study to know the deep geological structure of the Ogcheon Zone. gravity survey is performed along the survey line of which direction is roughly perpendicular to major faults of the Zone. Recent studies for petrology. geochemistry. and structural geology in south-western Ogcheon Zone are outlined. Raw gravity data are corrected to obtain Bouguer anomalies and the anomalies are interpreted to obtain subsurface structures along the survey line. The subterranean density discontinuities determined from the power spectrum method are appeared at depths of 15.4 km and 2.8 km. It is considered that the depth of 15.4 km indicates the boundary between upper and lower crust. Probably the depth of 2.8 km represents the boundary between upper volcanic formations and granites. Alternatively. the observed Bouguer anomalies are interpreted in terms of lateral density variation model. Finally. the subterranean geological structure to satisfy the Bouguer anomalies is presented through the iterative forward method in which results obtained from surface geological informations and from the inverse method are adopted as an initial model.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.1 no.1
• /
• pp.9-25
• /
• 1991

This tutorial paper has been written for biologists, physicians or beginners in fuzzy sets theory and applications. This field is introduced in the framework of medical diagnosis problems. The paper describes and illustrates with practical examples, a general methodology of special interest in the processing of borderline cases, that allows a graded assignment of diagnoses to patients. A pattern of medical knowledge consists of a tableau with linguistic entries or of fuzzy propositions. Relationships between symptoms and diagnoses are interpreted as labels of fuzzy sets. It is shown how possibility measures (soft matching) can be used and combined to derive diagnoses after measurements on collected data. The concepts and methods are illustrated in a biomedical application on inflammatory protein variations. In the case of poor diagnostic classifications, it is introduced appropriate ponderations, acting on the characterizations of proteins, in order to decrease their relative influence. As a consequence, when pattern matching is achieved, the final ranking of inflammatory syndromes assigned to a given patient might change to better fit the actual classification. Defuzzification of results (i.e. diagnostic groups assigned to patients) is performed as a non fuzzy sets partition issued from a "separating power", and not as the center of gravity method commonly employed in fuzzy control. It is then introduced a model of fuzzy connectionist expert system, in which an artificial neural network is designed to build the knowledge base of an expert system, from training examples (this model can also be used for specifications of rules in fuzzy logic control). Two types of weights are associated with the connections: primary linguistic weights, interpreted as labels of fuzzy sets, and secondary numerical weights. Cell activation is computed through MIN-MAX fuzzy equations of the weights. Learning consists in finding the (numerical) weights and the network topology. This feed forward network is described and illustrated in the same biomedical domain as in the first part.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5
• /
• pp.1426-1433
• /
• 2000

As distributed computing systems become popular, many modeling techniques and methods have been developed in specify the specification formally and verify the distributed/concurrent sytems. In spite of importance of communication in distributed object-oriented systems, specifying of communication method generally has not been emphasized in the design phase. One reason is due to the system designer misunderstanding, that is, a specification needs to be independent on the implementation. However, since defining communication pattern indistributed object-oriented systems is more serious than the required message passing method in the design phase. specifying the communication pattern is necessary instead of postponing until the implementation. In this paper, two formal specification techniques, temporal logic method and Petri nets method, for the communication in distributed systems are discussed. One is based on the temporal logic, which specifies the different patterns of primitive predicates. This method enable to define the underlying mechanism which can be interpreted as constraints. The Petri net method helps to specify the dynamic behavior of communicational patterns using the properties of Petri nets.