• Journal of Korea Multimedia Society
• /
• v.24 no.9
• /
• pp.1299-1310
• /
• 2021

Under the background of the rapid development of digital educational games, we have to evidently research the elements of the achievement system of children's DEG (Digital Educational Game), and analyze the relations between the elements and make a profound study on the achievement system and its components on the impact of player's attitude. Compared with the existing research, the research contents and methods are innovative and reliable. The results show that players have a positive attitude towards the DEG achievement system, DEG achievement system has important value and role for educational games. Which is made of five elements: symbol, reward, logic, social interaction, and knowledge. The five elements interact with each other and have a positive impact on players' attitudes. DEG achievement system with five elements will bring players a positive experience. These findings provide a detailed study of the components of the achievement system. With all of these, we can explain the role and relationship of the components, and provide new ideas and empirical evidence for the design and development of children's educational game achievement system. The above findings provide a detailed description of the components of the DEG achievement system, explain the role and value of each component, and the relationships and patterns among the components, it provides a new perspective and empirical evidence for the design and development of the children's system DEG results.

• Nuclear Engineering and Technology
• /
• v.51 no.4
• /
• pp.1024-1031
• /
• 2019

The Molten Salt Fast Reactor (MSFR) with its liquid circulating fuel and its fast neutron spectrum calls for a new safety approach including technological neutral methodologies and analysis tools adapted to early design phases. In the frame of the Horizon2020 program SAMOFAR (Safety Assessment of the Molten Salt Fast Reactor) a safety approach suitable for Molten Salt Reactors is being developed and applied to the MSFR. After a description of the MSFR reference design, this paper focuses on the identification of the Postulated Initiating Events (PIEs), which is a core part of the global assessment methodology. To fulfil this task, the Functional Failure Mode and Effect Analysis (FFMEA) and the Master Logic Diagram (MLD) are selected and employed separately in order to be as exhaustive as possible in the identification of the initiating events of the system. Finally, an extract of the list of PIEs, selected as the most representative events resulting from the implementation of both methods, is presented to illustrate the methodology and some of the outcomes of the methods are compared in order to highlight symbioses and differences between the MLD and the FFMEA.

• The Journal of Asian Finance, Economics and Business
• /
• v.8 no.4
• /
• pp.687-697
• /
• 2021

This study aims to address the prevailing skepticism that conventional leadership models are not effective in the Middle East. With the same logic, selecting leaders is a confusing task in the Middle East due to the haphazardness surrounding this task and the lack of clarity of appropriate selection criteria. This study employs samples of leadership theories and frameworks that were scrutinized to classify specific leadership dimensions. The triangular model stemmed from the previous studies that addressed Leadership in general and the Leadership model for the Middle East. With the use of the literature review methodologies and historical analysis, the leadership model's description will be demonstrated. The results revealed that there are various dimensions of Leadership, especially concerning the Middle East's organizational environment. The findings of this study suggested a new model which assists in clarifying the issue by setting a group of 10 personality traits with eight behavioral skills and social status. Implications of this study enable making Leadership easier in practice. Furthermore, this will enable recognition of Leadership according to specific criteria, which will help make greater equality and empowerment at all levels of the system. This research localizes Leadership and paves the way to automate leaders' selection process with a guarantee of fairness among candidates.

• Nuclear Engineering and Technology
• /
• v.55 no.8
• /
• pp.2952-2965
• /
• 2023

Advanced reactors, such as Small Modular Reactors or existing Nuclear Power Plants, often use Field Programmable Gate Array (FPGA) based controllers in new Instrumentation and Control (I&C) system architectures or as an alternative to existing analog-based I&C systems. Compared to CPU-based Programmable Logic Controllers (PLCs), FPGAs offer better overall performance. However, programming functions on FPGAs can be challenging due to the requirement for a hardware description language that does not explicitly support the operation of real numbers. This study aims to implement the Reactor Trip (RT) functions of the existing analog-based Reactor Protection System (RPS) using FPGAs. The RT equations for Overtemperature delta Temperature and Overpower delta Temperature involve dynamic compensators expressed with the Laplace transform variable, 's', which is not directly supported by FPGAs. To address this issue, the trip equations with the Laplace variable in the continuous-time domain are transformed to the discrete-time domain using the Z-transform. Additionally, a new operation based on a relative value for the equation range is introduced for the handling of real numbers in the RT functions. The proposed approach can be utilized for upgrading the existing analog-based RPS as well as digitalizing control systems in advanced reactor systems.

• Journal of the Korean Society for Library and Information Science
• /
• v.30 no.2
• /
• pp.149-165
• /
• 1996

Hong-sii Tokso-rok (홍씨독서록 or Hong's Annotated Bibliography of Korean and Chinise Book) is the only work on the history of Korean bibliographies that has the introductory notes to each class, that is description of the origin of subject fields, transition, and characteristics at the beginning of each class. This paper is aimed to examine the outline of the introductory description of class, to analyze the Four Category Classification System(사부분류법) devised by Hong Sok-chu, and to explain how the classes of Four Category Classification are set and ordered. This paper shows several characteristics in the idea of Hong's classification system. There characteristics were discovered by analyzing the content of each introduction of classes. The characteristics ale as follows First, classes are organize and arranged from the substantial problem to nonsubstantial ones. In other words, the greater the distance of the class from the substantial problem of Confucianism, the farther the order of the class will be found from the substantial problem. The order of classes is set by how the class is closed to the substantial problem in the same hierarchy. This principle is strictly applied to the Hong's classification system. Second, on the basis of democratic thought, he del·eloped the classification system. In other words, when he set up the priority of classes, he put emphasis on the democratism as a guideline. The organization of classes belong to the catagories of history (Sa-bu, 사부) and philosophy(Cha-bu, 자부) showed the application of this principle. Conclusively, this paper found that Hong did not randomly arrange the class older, but he set the class order with objective reasons and logic when he set the class order of arrangement.

• (The)Study of the Eastern Classic
• /
• no.35
• /
• pp.275-295
• /
• 2009

The aim of this paper is to reject Graham's interpretation of bi (必) and xianzhi (先知) of Later Mohists' Mojing ("墨經") as logical necessity and a priori knowledge respectively. Graham's interpretations of them are based on his beliefs that Mojing distinguishes lun (論), the art of description from bian (辯), the art of inference in the Mohist disciplines and that the latter art should be seen as such a rigorous proof as Euclidean geometry even though it is not a Western formal logic. His beliefs also start from his distinguishing 'knowledge of names' from 'knowledge of conjunction of names and objects' according to the objects of knowledge. In my reading, the art of description and the art of inference, however, can't be sharply distinguished each other in Mojing and bi and xianzhi should be taken as suggesting both a normative necessity and an empirical necessity. A normative necessity is derived from 'normative theory of definition' which comes form the theory of rectification of names in China. The normative theory of definition, unlike the descriptive theory of definition, defines terms normatively rather than descriptively. For example, although such a definition of father, 'father is beneficient', has the form of being descriptive, but it actually is prescriptive and therefore means 'father should be beneficient'. Through this normative theory of definition, empirical knowledge, as long as it is a knowledge, is seen as necessary and so can't be wrong. To conclude, for Mohists an empirical knowledge is always a basis of an inferential knowledge or a priori knowledge, so Mohists' a priori knowledge is not really a fundamental knowledge and its necessity therefore is nothing but both a normative necessity and an empirical necessity.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.282-296
• /
• 2010

OWL is an ontology language for the Semantic Web, and suited to modelling the knowledge of a specific domain in the real-world. Ontology also can infer new implicit knowledge from the explicit knowledge. However, the modeled knowledge cannot be complete as the whole of the common-sense of the human cannot be represented totally. Ontology do not concern handling nonmonotonic reasoning to detect incomplete modeling such as the integrity constraints and exceptions. A default rule can handle the exception about a specific class in ontology. Integrity constraint can be clear that restrictions on class define which and how many relationships the instances of that class must hold. In this paper, we propose a practical reasoning system for open and closed-world reasoning that supports a novel hybrid integration of ontology based on open world assumption (OWA) and non-monotonic rule based on closed-world assumption (CWA). The system utilizes a method to solve the problem which occurs when dealing with the incomplete knowledge under the OWA. The method uses the answer set programming (ASP) to find a solution. ASP is a logic-program, which can be seen as the computational embodiment of non-monotonic reasoning, and enables a query based on CWA to knowledge base (KB) of description logic. Our system not only finds practical cases from examples by the Protege, which require non-monotonic reasoning, but also estimates novel reasoning results for the cases based on KB which realizes a transparent integration of rules and ontologies supported by some well-known projects.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.5
• /
• pp.83-93
• /
• 2013

Recently, the SURF algorithm, which is conjugated for object tracking system as part of many computer vision applications, is a well-known scale- and rotation-invariant feature detection algorithm. The SURF, due to its high computational complexity, there is essential to develop a hardware accelerator in order to be used on an IP in embedded environment. However, the SURF requires a huge local memory, causing many problems that increase the chip size and decrease the value of IP in ASIC and SoC system design. In this paper, we proposed a way to design a SURF algorithm in hardware with greatly reduced local memory by partitioning the algorithms into several Sub-IPs using external memory and a DMA. To justify validity of the proposed method, we developed an example of simplified object tracking algorithm. The execution speed of the hardware IP was about 31 frame/sec, the logic size was about 74Kgate in the 30nm technology with 81Kbytes local memory in the embedded system platform consisting of ARM Cortex-M0 processor, AMBA bus(AHB-lite and APB), DMA and a SDRAM controller. Hence, it can be used to the hardware IP of SoC Chip. If the image processing algorithm akin to SURF is applied to the method proposed in this paper, it is expected that it can implement an efficient hardware design for target application.

• The KIPS Transactions:PartB
• /
• v.14B no.5
• /
• pp.383-390
• /
• 2007

Interactions between proteins and genes are often considered essential in the description of biomolecular phenomena and networks of interactions are considered as an entre for a Systems Biology approach. Recently, many works try to extract information by analyzing biomolecular text using natural language processing technology. Previous researches insist that linguistic information is useful to improve the performance in detecting gene interactions. However, previous systems do not show reasonable performance because of low recall. To improve recall without sacrificing precision, this paper proposes a new method for detection of gene interactions based on syntactic relations. Without biomolecular knowledge, our method shows reasonable performance using only small size of training data. Using the format of LLL05(ICML05 Workshop on Learning Language in Logic) data we detect the agent gene and its target gene that interact with each other. In the 1st phase, we detect encapsulation types for each agent and target candidate. In the 2nd phase, we construct verb lists that indicate the interaction information between two genes. In the last phase, to detect which of two genes is an agent or a target, we learn direction information. In the experimental results using LLL05 data, our proposed method showed F-measure of 88% for training data, and 70.4% for test data. This performance significantly outperformed previous methods. We also describe the contribution rate of each phase to the performance, and demonstrate that the first phase contributes to the improvement of recall and the second and last phases contribute to the improvement of precision.

• Journal of Korea Entertainment Industry Association
• /
• v.15 no.7
• /
• pp.33-43
• /
• 2021

The purpose of this study is to examine the transformation and characteristics of the Verse-Chorus form. The musical form of a musical song is a structural mechanism for expression to effectively convey the dramatic situation of the characters to the audience. This study identified four types of representative forms that can be used to explore the transformation with the verse-chorus form and examined their characteristics. First is the Verse-Chorus form which repeats the description of simple situations and characters in the early stage of the musical. Second is the Verse-Bridge-Verse form which is used to evoke the atmosphere and escape boredom through a slight transformation of the bridge while explaining a simple character. Third is the Verse-Prechorus-Chorus form, which sits just before the chorus, connects the verse and the chorus, and promotes the emotional rise of the characters by smoothing the drama and the harmonic progression. Lastly, this study examined the expanded Verse-BG dialogue-Chorus form used to represent the situation in which conflicts about the complex feelings of the characters and the decisions about them coexist. As such, musical songs use various types of verse-chorus forms. Through the formality and transformation of the verse-chorus, the logic of the music and the logic of the drama are balanced so that the development of the music and the drama does not enter the state of imbalance. Based on this study, further progressive research can take place on the correlation between musical form and dramatic structure, beyond the transformation of musical song form.