• IE interfaces
• /
• v.13 no.4
• /
• pp.751-758
• /
• 2000

Situation awareness is defined as a person's perception of the elements of the environment within a volume of time and space, the comprehension of their meaning and the projection of their status in the near future. Situation awareness is important in attempting to evaluate human behavior in operating complex systems such as aircraft, air traffic control, and nuclear power plant systems. From the literatures this study reviews the relationship between situation awareness and numerous individual, system and environmental factors, and also reviews the methodologies for the empirical measurement of situation awareness applicable to Korea Next Generation Reactor (KNGR) design project. Attention, working memory, workload, stress, system complexity, and automation are presented as critical factors limiting operator's situation awareness. Mental models and goal-directed behavior are hypothesized as important mechanisms overcoming these limits. This study summarized hypothesized guidelines for interface design to improve situation awareness of reactor operators. Some of the guidelines should be tested in the KNGR evaluation experiments in the future.

• International Journal of Advanced Culture Technology
• /
• v.7 no.3
• /
• pp.158-165
• /
• 2019

Knowledge based system includes tools for constructing, testing, validating and refining the system along with user interfaces. An important issue in the design of a complete knowledge based system is the ability to produce explanations. Explanations are not just a series of rules involved in reasoning track. More detailed and explicit form of explanations is required not only for reliable reasoning but also for maintainability of the knowledge based system. This requires the explanation mechanisms to extend from knowledge oriented analysis to task oriented explanations. The explicit modeling of problem solving structures is suggested for explanation generation as well as for efficient and effective reasoning. Unlike other explanation scheme such as feedback explanation, the detailed, smaller and explicit representation of problem solving constructs can provide the system with capability of quality explanation. As a key step to development for explanation scheme, the problem solving methods are broken down into a finer grained problem solving primitives. The system records all the steps with problem solving primitives and knowledge involved in the reasoning. These are used to validate the conclusion of the consultation through explanations. The system provides user interfaces and uses specific templates for generating explanation text.

• Progress in Superconductivity and Cryogenics
• /
• v.8 no.4
• /
• pp.1-7
• /
• 2006

This paper reviews AC loss characteristics of high $T_c$ superconductors. The mechanisms of AC loss generation are explained briefly, and AC losses are classified by the magnetic field components which generate them. A couple of analytical formulae of AC losses, which are useful for simple and rough AC loss estimations, are presented. AC loss characteristics of single BSCCO multifilamentary conductors and single YBCO coated conductors are reviewed based on previous experimental and numerical studies. AC loss characteristics of those two types of practical high $T_c$ superconductors are compared with each other.

• BMB Reports
• /
• v.37 no.6
• /
• pp.635-641
• /
• 2004

Interferons regulate a number of biological functions including control of cell proliferation, generation of antiviral activities and immumodulation in human cells. Studies by several investigators have identified a number of cellular signaling cascades that are activated during engagement of interferon receptors. The activation of multiple signaling cascades by the interferon receptors appears to be critical for the generation of interferon mediated biological functions and immune surveillance. The present review summarizes the existing knowledge on the multiple signaling cascades activated by Type I interferons. Recent developments in this research area are emphasized and the implications of these new discoveries on our understanding of interferon actions are discussed.

• Proceedings of the KIEE Conference
• /
• 1998.07f
• /
• pp.2024-2026
• /
• 1998

Many power plants built 20-30 years ago are facing problems associated with the excitation system used for controlling generator output voltage. After years of reliable operation, generation is experiencing increased down time due to maintenance associated with the exciting excitation equipment. Reliability of the excitation system has become an issue, especially where many of these generation plants may be critical to the internal processes used for manufacturing. Wear out mechanisms such as those associated with the wire wound rheostat the electromechanical voltage regulator, insulation failures of the rotating exciter and commutator deterioration have become real problems typical of many older installations. These are some of the issues that are affecting system reliability for older power plants. This paper will address typical problems associated with the old excitation systems and the justification for a replacement static excitation system used in many Paper Mills.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.7
• /
• pp.2476-2495
• /
• 2021

Model-based software architecture verification and test scenarios generation are becoming more and more important in the software industry. Based on the existing temporal graph grammar, this paper proposes a new formalization method of the context-sensitive graph grammar for aiming at UML activity diagrams, which is called the UML Activity Graph Grammar, or UAGG. In the UAGG, there are new definitions and parsing algorithms. The proposed mechanisms are able to not only check the structural correctness of the UML activity diagram but also automatically generate the test scenario according to user constraints. Finally, a case study is discussed to illustrate how the UAGG and its algorithms work.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2000.04a
• /
• pp.234-239
• /
• 2000

In this paper, we developed an automated program for the modeling and manufacturing of three-dimensional roller gear cams. A computer program employing the theory of gearing and coordinate transformation is developed for synthesizing and animating cam mechanisms. A method using wire frame modeling and shading by triangular element is presented, and effectively used for modeling of example with reduced computation time. Then a module for generation NC program a five-axis CNC machine to manufacture roller gear cam is established.

• 전기의세계
• /
• v.16 no.5
• /
• pp.15-18
• /
• 1967

This paper shows the analysis for mechanisms of corona pulse caused by dielectric breakdown, and for the results of observed values on an actual machines with the this corona pulse technique. Although the above results are not directly related with the generation, numbers or wave of the corona pulse, it may possibly be chanced a judgement of dielectric breakdown and one of better synthetic judgement methods for actual electrical machines.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2001.04a
• /
• pp.487-491
• /
• 2001

In this paper, we developed an automated program for the modeling and manufacturing of three-dimensional roller gear cams. A computer program employing the theory of gearing and coordinate transformation is developed for synthesizing and animating cam mechanisms. Then a module for generation NC program for a five-axis CNC machine to manufacture roller gear cam is established.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.11a
• /
• pp.251-254
• /
• 2000

In this paper, we developed an automated program for the modeling and manufacturing of three-dimensional roller gear cams. A computer program employing the theory of gearing and coordinate transformation is developed for synthesizing and animating cam mechanisms. A method using wire frame modeling and shading by triangular element is presented, and effectively used for modeling of example with reduced computation time. Then a module for generation NC program for a five-axis CMC machine to manufacture roller gear cam is established.