• Korean Journal of Cognitive Science
• /
• v.1 no.2
• /
• pp.347-360
• /
• 1989

Retearches on epistemology for artificial intelligence have started quite recently.Recently,Konolige made a contribution to epistemology by proposing a deduction model based on an efficieit modal logic for a proof mechanism for belief.In this thesis,a unified and generalized proof mechanism for the epistemic logic using a formal system called a View is pesented.In addition,the algorithm to adapt the theorem prover according to the given rule schema,which charncterizes the deduction model of the epistemic logic,is constructed. With this algorlthm,multiple agents having different rule schemas can co-exist in the proposed system. The soundness and completeness of the proposed proof mechanism is proved and a simple theorem prover is implemented to demonstrate the usefulness and practilcality.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.7 no.2
• /
• pp.60-65
• /
• 2008

The high-technology industries including a semi-conductor and an information communication need an ultra-precision technology from the technological points of view. Nano technology based on an ultra-precision technology is being studied to overcome the delicate technology that may occur in the semi-conductor fields. Then, the transferring equipment with high resolution and long displacement becomes an important technology. The goal of this study is to analyze the displacement magnification mechanism driven by piezoelectric actuator which has high resolution and fast response characteristics using flexure hinge with the merits of soft displacement, negligible back-lash and stick-slip, and no-lubrication. The analyses to reduce the magnification losses occurred during the magnification process are performed using ANSYS software based on FEM. The five design variables such as arm thickness, thickness of hinge, radius of hinge, length of input side at the 1st lever and magnification ratio of 1st lever are optimized to induce the maximum magnification ratio using Taguchi method.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.40 no.4
• /
• pp.1-18
• /
• 2015

This paper proposes relational capability as a main driver of constructing inter-organizational collaboration networks. Based on social network theory and relational view literature, three components of relational capability are constructed and implemented by an agent-based model. The components include organizational capability, structural capability, and trust between a partner and a focal firm. These three components are updated by two micro mechanisms: structural mechanism and relational mechanism. Structural mechanism is a feedback loop in which the relational capability increases structural capability and vice versa. Relational mechanism is a learning-by-doing process in which a focal firm experiences success or failure of collaboration and the experience increases or decreases cumulative trust in a partner firm. Result of agent-based simulation shows that a collaboration network emerges through interactions of firm's relational capabilities and the characteristics of emerged networks vary with the contribution of structural capability and trust to relational capability. Specifically, in case structural capability contributes more to relational capability, the average degree centrality and collaboration proportion increases as time passes and enters into an equilibrium state. In that case, almost every firms participated in the network collaborates each other so that the emerged network becomes highly cohesive. In case trust contributes more to relational capability, the results are reversed. In an equilibrium state, the balance of contribution between structural capability and trust makes an emerged network larger and maximizes average degree centrality of the network.

• Microbiology and Biotechnology Letters
• /
• v.14 no.5
• /
• pp.407-413
• /
• 1986

In an agitated bead reaction system, the enzymatic saccharification of uncooked starch was substantially enhanced. The enhancement mechanism was investigated front the view of the structural aspect of starch. The mechanical impact caused by the movement of the attrition-milling media resulted neither the destruction of microcrystalline structure nor the fragmentation of starch granule. instead, the most distinct phenomenon was the swelling of starch granule up to about 2.5 times, and the swelling mechanism was not similar with that caused by cooking. However, in the case of the enzyme addition in the attrition coupled reaction system, the swollen starch was easily fragmented into the large number of small particles by the synergistic action of the enzyme and milling-media. The exposed surface area of the fragmented particles plays the major role in enhancing the saccharification. The saccharification rate was quite different depending on the source of starch, the reason was discussed in terms of the granular structure of uncooked starches.

• International Journal of Highway Engineering
• /
• v.12 no.1
• /
• pp.9-20
• /
• 2010

This study was intended to identify, among various characteristics of tunnel, the relationship between the design factors comprising the driver's psychological stability, easiness and the sensitivity and then to suggest the mechanism for evaluating the tunnel view, and to that end, the study attempted to evaluate the relations between the physical elements comprising the tunnel shape and the variation of driver's emotional recognition, thereby proposing the measures to create the scenic environment. As a result of LISREL modeling to identify the characteristics of emotional recognition to tunnel view, the elements affecting tunnel view appeared to be emotional image created by the combination of elements comprising the tunnel view. Such emotional image can be explained by design elements and individual characteristics, and the effect of design element appeared to be greater than individual characteristics. The relations between individual characteristics and design element appeared to be positive (+) and the relations between the "safety" and "variability" was significant. And the "safety" have had greater effect on view recognition than "variability", indicating that the drivers tend to give more importance to "safety", but also require the "variability"on the other hand.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.1
• /
• pp.156-165
• /
• 2000

This paper proposes an integrated system for interworking different network management protocols. The interworking system between SNMP(Simple Network Management Protocol) and CMIP(Common Management Information Protocol) has been designed. We defined new managed object architecture using MOVI(Managed Object View Interface) concept and implemented an extended GDMO(EGDMO) compiler. An access mechanism for consistency control and atomic action on the sharing resources has been defined. Thus, even if a new management protocol would be introduced, new gateway system need not to be redesigned. It can be achieved with minimum modification of the view interface of managed objects. As a managed object can support various view interfaces, several network management protocols can directly access it. This approach, therefore, provides some benefits. For instance, manager can access managed objects without additional functions and tools. Ti, also, could be achieved interworking between SNMP and CMIP with minimum modification on the view interface of the managed objects defined previously. It is able to interwork more complicated network management protocols and to increase usefulness of SNMP and CMIP.

• Korean Journal of Psychosomatic Medicine
• /
• v.6 no.2
• /
• pp.228-234
• /
• 1998

The importance of psychological factors in dermatologic disorders has been recognized for several decades. However, there have been few reports on the management of psychodermatologic disorders. Psychodermatologic conditions can be divided into three broad subgroup in the dermatologic point of view ; first, psychiatric disorders manifesting as dermatological symptom, second, dermatoses mainly caused by emotional factors, i.e., stress, or determined by complex psychophysiological mechanism, and third, psychological symptoms secondary to dermatological conditions, i.e., anxiety or depression. This article describes first two major categories of psychodermatologic disorders and attempts to provide brief guideline for each psychodermatologic condition in view of the clinical interface between dermatology and psychiatry.

• The Bulletin of The Korean Astronomical Society
• /
• v.35 no.2
• /
• pp.49.2-49.2
• /
• 2010

In order to understand the configuration of magnetic field producing a solar penumbral microjet that was recently discovered by Hinode, we performed a magnetohydrodynamic simulation reproducing a dynamic process of how that configuration is formed in a modeled solar penumbral region. A horizontal magnetic flux tube representing a penumbral filament is placed in a stratified atmosphere containing the background magnetic field that is directed in a relatively vertical direction. Between the flux tube and the background field there forms the intermediate region in which the magnetic field has a transitional configuration, and the simulation shows that in the intermediate region magnetic reconnection occurs to produce a clear jet- like structure as suggested by observations. The result that a continuous distribution of magnetic field in three-dimensional space gives birth to the intermediate region producing a jet presents a new view about the mechanism of a penumbral microjet, compared to a simplistic view that two field lines, one of which represents a penumbral filament and the other the background field, interact together to produce a jet. We also discuss the role of the intermediate region in protecting the structure of a penumbral filament subject to microjets.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1996.10a
• /
• pp.466-472
• /
• 1996

The nonlinear analysis was perforned for a 2-bay 2-story moment-resisting reinforced concrete plane frame with seismic detail using KDARC 2D program. The analytical models consist of the material model, the member model, the hysteretic model, and the damage model etc. The conclusion based on the results of analysis is as following. : (1) Story shear-displacement relationship is similar to the experiment result but from the energy point of view, the analysis relationship is similar to the experiment result but from the energy point of view, the analysis result was different from the experiment result. (2) Plastic hinges were found to occur mainly in beams at first story while all the columns had plastic hinges throughout the structure. (3) Failure mode is a little different from experiment result in the yielding mechanism. (4) Damage index isabout 0.25. This means that the degree of damage is moderate and can be repairable.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.5 no.4
• /
• pp.63-73
• /
• 1996

The knowledge of the specialized fields has been changed rapidly in the both side of quantity and quality. A hyper media as a knowledge based system is so fixed in the linked media in mutual that we couldn't tell it information provision with the view of users. In this paper, we propose the way of offering intellectual and flexible information which is the same with demand in the side of user, selecting, searching and composing the hypertext at the point of user's view through the design of knowledge media system. Three concepts are used in order to challenge the knowledge media system : special document, agent system and ontology. The special document is a ensure that its activities are coordinated with those of the others within the community, providing a uniform control mechanism. Finally, ontology is a language for exchanging knowledgement, which is a message exchanged among agents to ensure the proper interaction among them. The combination of these three concepts is used to design the prototype of knowledge media system.