• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.18 no.2
• /
• pp.114-128
• /
• 2019

Recently, the interest in the safety of autonomous vehicles has globally been increasing. Also, there is controversy over the reliability and safety about autonomous vehicle. In Korea, the K-City which is a test-bed for testing autonomous vehicles has been constructing. There is a need for test scenarios for autonomous vehicle test in terms of safety. The purpose of this study is to develop the evaluation scenario for autonomous vehicle at community roads in K-City by using crash data collected by the Korea National Police Agency and a text-mining technique. As a result, 24 scenarios were developed in order to test autonomous vehicle in community roads. Finally, the logical and concrete scenario forms were derived based on the Pegasus 5-layer format.

• Journal of Korean Society of Archives and Records Management
• /
• v.19 no.2
• /
• pp.1-24
• /
• 2019

In this study, we propose a logical transfer method of records using cloud storage to solve the integrity problem of digital component, which is generated when electronic records are transferred from the electronic record production system to the record management system. This method, which produces electronic records using cloud storage from the production stage and transfers them to the archives, has the following advantages. First, as a record management method, it can be effectively applied in public institutions by utilizing cloud computing technology, which has been the trend recently. Second, unlike the existing method of copying and physically transferring electronic records, the proposed method can reduce various risk factors that may occur in the transfer of electronic records by logically transferring the storage. Third, the method can prevent errors of the digital component according to the physical transfer of the electronic record; hence, the integrity of the electronic record can be guaranteed. Fourth, administrative power and cost that are wasted because of the electronic transfer of electronic records can be reduced.

• (The)Study of the Eastern Classic
• /
• no.43
• /
• pp.65-92
• /
• 2011

, or The Story of Jeonuchi, is a classical Korean novel written at an unknown date by an unknown writer. It has a few different editions presumably because they were printed from a variety of different woodcuts carved in a few dialects. The present study examines The Story of Jeonuchi based on one of its earliest editions collected by the Academy of Korean Studies. Focused on the novel's main ideas of educational value, the author explores effective educational means to teach these ideas to college students. The novel's main ideas with edifying qualities include: alleviating resentment of the people, punishing the greedy, promoting filial piety and loyalty to the sovereign, and antagonism between disloyal forces. And these ideas can be effectively discussed in class using brainstorming, demonstration and logical description. Changing time requires a different approach to understanding and appreciating classical novels. Based on this awareness, the study seeks to find an effective way to teach today's students about literature from a different time. It also stresses that this process involves encouraging the students to logically express their ideas in writing.

• Journal of Family Relations
• /
• v.21 no.4
• /
• pp.99-117
• /
• 2017

Objectives: The purpose of this study is investigate the influences of childhood abuse experience, discipline styles and social support on childcare efficacy according to socio-demographic backgrounds of childcare teachers. Method: For this study's purpose, 200 childcare teachers working at children's schools in J city were surveyed and analyzed for child abuse experience, discipline styles, social support and childcare efficacy. Frequency analysis, t-test, ANOVA and multiple regression analysis were used as study methods. Results: The results of this study are as follows. First, there were statistically significant differences in childhood abuse experiences according to the general characteristics of childcare teachers in the sub-domain of occupational position and marriage status. Second, childcare efficacy and social support were positively correlated, and discipline styles and childcare efficacy were negatively correlated, but there was no correlation between social support and abuse experience. Third, general teaching efficacy regarding childcare efficacy showed a statistical influence of physical abuse, which is a sub-variable of childhood abuse experience. The general efficacy of teaching showed a statistically significant influence on logical discipline and coercive discipline, which are sub-variables of discipline methods. The general teaching efficacy in terms of childcare efficacy showed a statistically significant influence in the family variable which is a sub-variable of social support. The personal teaching efficacy within childcare efficacy showed a statistically significant influence in the logical discipline, a sub-variable of physical abuse, and disciple styles, a sub-variable of childhood abuse experience. Conclusion: From these findings, childcare teachers' childhood abuse experience was a factor affecting childcare efficacy in discipline, social support, and sub-variables. Therefore, it is necessary to remedy the effects of childhood abuse experience, encourage appropriate discipline styles, and to encourage social support in order to improve the childcare efficacy among childcare teachers.

• International Journal of Computer Science & Network Security
• /
• v.21 no.5
• /
• pp.139-150
• /
• 2021

Object orientation has become the predominant paradigm for conceptual modeling (e.g., UML), where the notions of class and object form the primitive building blocks of thought. Classes act as templates for objects that have attributes and methods (actions). The modeled systems are not even necessarily software systems: They can be human and artificial systems of many different kinds (e.g., teaching and learning systems). The UML class diagram is described as a central component of model-driven software development. It is the most common diagram in object-oriented models and used to model the static design view of a system. Objects both carry data and execute actions. According to some authorities in modeling, a certain degree of difficulty exists in understanding the semantics of these notions in UML class diagrams. Some researchers claim class diagrams have limited use for conceptual analysis and that they are best used for logical design. Performing conceptual analysis should not concern the ways facts are grouped into structures. Whether a fact will end up in the design as an attribute is not a conceptual issue. UML leads to drilling down into physical design details (e.g., private/public attributes, encapsulated operations, and navigating direction of an association). This paper is a venture to further the understanding of object-orientated concepts as exemplified in UML with the aim of developing a broad comprehension of conceptual modeling fundamentals. Thinging machine (TM) modeling is a new modeling language employed in such an undertaking. TM modeling interlaces structure (components) and actionality where actions infiltrate the attributes as much as the classes. Although space limitations affect some aspects of the class diagram, the concluding assessment of this study reveals the class description is a kind of shorthand for a richer sematic TM construct.

• International Journal of Computer Science & Network Security
• /
• v.21 no.3
• /
• pp.287-294
• /
• 2021

Modern small farms are important link components in the structure of the world agro-industrial complex. It ensures the food and nutritional sustainability of the country exclusively at the local regional level. The purpose of the research is to examine the role of farming in ensuring nutritional security and food stability based on the analysis of the Food Sustainability Index (FSI). Research methods: modeling, abstraction, analogy, analysis, synthesis, formalization, logical abstraction, theoretical cognition, systematization and classification, abstract-logical, etc. Results. Having analyzed the Food Sustainability Index for 2018, it has been established that there is a lack of a clear relationship between the pace of economic development and the level of food and nutritional sustainability. In addition, this study has identified the countries with the largest number of small farms, as well as the number of farms within the region. The correlation between the size of the farm and the area of agricultural land that it cultivates has been determined. The problems faced by small farms in the process of their activity have been analyzed. The programs implemented in the field of agro-industrial complex development by international profile institutions have been systematized. Particularly, the regional structure of agricultural development programs under the guidance of IFAD is defined, as well as the areas to which they are directed. Specific measures taken by governments to stimulate the development of small farms have been outlined. Reasonable conclusions have been formed based on the study. The direction of future research is seen in the assessment of the export potential of small farms in terms of range, volume of export deliveries and geographical direction of movement of their products.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.2
• /
• pp.213-218
• /
• 2022

The purpose of this study was to apply the Havruta learning method and conduct a study on Shir and learner activity results, which was used as a method to improve learning competency. As the contents of the study, first, the ability to suggest ways to solve problems and the expansion of various thinking can be expected while listening to the questions of other students. Second, you can evaluate your own strengths and weaknesses by strengthening your communication skills and comparing and evaluating teaching methods at the same time. Third, through the experience of debate, one can solidify the establishment of one's own values and ethics, and based on this, one can develop the capacity for logical persuasion and argument. Fourth, it is judged that it is possible to analyze the practical problems suitable for the characteristics of the learner, and to develop a clear understanding of the situation and the ability to apply it.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.7
• /
• pp.35-48
• /
• 2022

In this study, it propose a proof theory method for expressing and reasoning knowledge in a multiagent environment. Since this method determines logical results in a mechanical way, it has developed as a core field from early AI research. However, since the proposition cannot always be proved in any set of closed sentences, in order for the logical result to be determinable, the range of expression is limited to the sentence in the form of a clause. In addition, the resolution principle, a simple and strong reasoning rule applicable only to clause-type sentences, is applied. Also, since the proof theory can be expressed as a meta predicate, it can be extended to the metalogic of the proof theory. Metalogic can be superior in terms of practicality and efficiency based on improved expressive power over epistemic logic of model theory. To prove this, the semantic method of epistemic logic and the metalogic method of proof theory are applied to the Muddy Children problem, respectively. As a result, it prove that the method of expressing and reasoning knowledge and common knowledge using metalogic in a cooperative multiagent environment is more efficient.

• International Journal of Computer Science & Network Security
• /
• v.21 no.7
• /
• pp.211-220
• /
• 2021

The aim of the study is to implement a factor analysis of the determinants of pricing in a state-regulated competitive market using economic and mathematical modelling methods and to develop ways to improve the pricing environment of the market under study. The purpose of the work defines the main objectives: (i) to investigate the features of the competitive model of the Ukrainian flour market; (ii) to analyse the current price conjuncture of the flour market and the dynamics of the main determinants of pricing; (iii)to develop ways of improving the price situation on the flour market on the basis of the factor analysis on the results of economic and mathematical modelling. In order to ensure the reliability and validity of the research results, the following methods were applied: the logical-dialectical method of scientific knowledge in the study of the main theoretical aspects of flour market functioning, the method of logical generalisation and synthesis, comparison, factor analysis, correlation and regression analysis, the graphical method, etc. It has been shown that pricing in a state-regulated competitive market has its own characteristics. For example, in the flour market the price of goods cannot be influenced by producers (sellers) by any methods, therefore determinants of pricing by indirect influence have been taken into account. The five-factor power model of wheat flour price has been constructed. It was substantiated that the price of wheat flour in Ukraine is mostly influenced by consumer price index (0.92 %). The received complex model of wheat flour price may be used also for medium-term forecasting and working out the ways of price formation optimization in the flour market.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.12
• /
• pp.1-8
• /
• 2022

As an efficient file system for SSD(Solid State Drive), F2FS is employed in the kernel of Linux operating system. F2FS applies various methods to improve performance by reflecting the characteristics of flash memory. One of them is improvement of the index structure that contains addresses of data blocks for each file. This paper presents a method for further improving performance by modifying the index structure of F2FS. F2FS manages all index blocks as logical numbers, and an address mapping table is used to find the physical block addresses of index blocks on flash memory. This paper shows performance improvement by applying logical numbers to the last level index blocks only. The count of mapping table search for a data block access is reduced to 1~2 from 1~4.