• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.1_2
• /
• pp.35-43
• /
• 2006

An MPI Checkpointer is a tool which provides fault-tolerance through checkpointing The previous researches related to the MPI checkpointer have focused on automatic checkpointing and recovery capabilities, but they haven't considered portability issues. In this paper, we discuss design and implementation issues considered for portability when we developed an MPI checkpointer called STFT. In order to increase portability, firstly STFT supports the abstraction interface for a single process checkpointer. Secondly, STFT uses a user-based checkpointing method, and limits possible checkpointing places a user can make. Thirdly, STFT lets the MPI_Init create network connections to the other MPI processes in a fixed order. With these features, we expect STFT can be easily adaptable to various platforms and MPI implementations, and confirmed STFT is easily adaptable to LAM and MPICH/P4 with the prototype Implementation.

• International Journal of Computer Science & Network Security
• /
• v.21 no.12spc
• /
• pp.620-628
• /
• 2021

The article is devoted to studying the development of scientific and methodological work and its impact on the quality of students' vocational training in higher pedagogical education institutions by applying information technology. The article aim is to development of the organizational methodological support and pedagogical diagnostics of the effectiveness of the project «Modelling scientific and methodological work in a higher education pedagogical institution by applying information technology » realization in the framework of increasing the level of scientific and methodological work in a higher education pedagogical institution as a factor contributing to enhancing the quality of pedagogical education. The research program of the project activity envisages stating and substantiating the problem of scientific and methodological work by applying information technology in the framework of increasing the level and quality of educational activities in a higher pedagogical education institution through the implementation of the project approach, developing a model for the system of organizational and methodological support of the project implementation as well as monitoring the process and evaluating the results of the project implementation in terms of developing teachers' scientific, methodological, information competency and enhancing students' progress in studying. The set of criteria were developed to evaluate the level of formation of scientific and methodological competency as a result of implementing the project for the development of scientific and methodological work. The scientific and methodological work by applying information technology in the academy was carried out in accordance with the following principles: systematic character, consistent diagnostics, practical focus, scientific organizational and methodological support.

• International Journal of Computer Science & Network Security
• /
• v.21 no.12spc
• /
• pp.703-711
• /
• 2021

The article is devoted to studying the development of scientific and methodological work and its impact on the quality of students' vocational training in higher pedagogical education institutions by applying information technology. The article aim is to development of the organizational methodological support and pedagogical diagnostics of the effectiveness of the project «Modelling scientific and methodological work in a higher education pedagogical institution by applying information technology » realization in the framework of increasing the level of scientific and methodological work in a higher education pedagogical institution as a factor contributing to enhancing the quality of pedagogical education. The research program of the project activity envisages stating and substantiating the problem of scientific and methodological work by applying information technology in the framework of increasing the level and quality of educational activities in a higher pedagogical education institution through the implementation of the project approach, developing a model for the system of organizational and methodological support of the project implementation as well as monitoring the process and evaluating the results of the project implementation in terms of developing teachers' scientific, methodological, information competency and enhancing students' progress in studying. The set of criteria were developed to evaluate the level of formation of scientific and methodological competency as a result of implementing the project for the development of scientific and methodological work. The scientific and methodological work by applying information technology in the academy was carried out in accordance with the following principles: systematic character, consistent diagnostics, practical focus, scientific organizational and methodological support.

• Convergence Security Journal
• /
• v.20 no.2
• /
• pp.101-110
• /
• 2020

Since the third inter-Korean summit, the inter-Korean summit in Pyongyang and the U.S.-North Korea summit in Singapore and Hanoi, denuclearization negotiations are under way that will determine the fate of the Korean Peninsula. However, the negotiations are stalled and some skepticism is expected due to the conflicting U.S.-North Korea stance over the terms of denuclearization. The reason why it is difficult to realize the complete denuclearization of North Korea is that there are a variety of variables such as the traditional security dilemma in Northeast Asia, the hegemonic competition between the U.S. and China, and the formation of a new cold-war system. At a turning point when three inter-Korean summits and three U.S.-North Korea summits were held in the wake of the 2018 PyeongChang Winter Olympics, North Korea's complete denuclearization has become a must-do historical task for Northeast Asia and world peace beyond the Korean Peninsula. In this sense, the inter-Korean summit in Pyongyang is seen as a historic occasion for presenting a new milestone for the denuclearization of North Korea and the development of inter-Korean relations through the 9.19 Pyongyang Joint Declaration and the Military Agreement. Meanwhile, Constructivism, which has become the main paradigm of international political theory, presents the view that ideological variables such as ideology, history and culture define material factors, identity and interests of state actors, and that the structure of international relations can be changed through interaction. In this study, the historical meaning of the 9.19 Pyongyang Declaration, which is now past its first anniversary, was considered from a constructivist perspective. To this end, the development process of constructivism theory and analysis model and the development process of inter-Korean relations were briefly reviewed, and the military implications of the 9.19 Military Agreement were presented.

• Informatization Policy
• /
• v.24 no.3
• /
• pp.67-90
• /
• 2017

This study is conducted to find out problems in the implementation system of regional informatization policies in Korea and solutions to enhance the effectiveness in policy execution. The study uses research methodologies such as participant observation, interview and AHP for experts and employees of public organizations for regional informatization policies. Many implications were found in the analysis, including that policy relations, structure of the policy implementation system, and environment and contents of regional informatization policiesin Korea have to be innovated and re-organized. Especially, this paper emphasizes the horizontal and cooperative relationship between the central and local governments and redesigning of the legal system on the regional informatization. This paper also shows expectations on reshaping of the regional informatization policies with the paradigm shift of the government power toward decentralization. This paper also finds diverse views on the problems and solutions for the regional informatization policy implementation system based on different characteristics and interests of policy participants. This paper finds the possibility of applying the policy network model to regional informatization policy implementation, which can be supported by Rhodes & Marsh(1992)'s theory. Therefore, this paper shows the change of regional informatization policies can be expected through application of the policy network. Although the paper draws many academic and policy implications, they are limited to the implementation system of regional informatization policies only.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.4 no.2
• /
• pp.149-154
• /
• 2004

In this research, we selected the speech recognition to implement the electric wheelchair system as a method to control it by only using the speech and used DTW (Dynamic Time Warping), which is speaker-dependent and has a relatively high recognition rate among the speech recognitions. However, it has to have small memory and fast process speed performance under consideration of real-time. Thus, we introduced VQ (Vector Quantization) which is widely used as a compression algorithm of speaker-independent recognition, to secure fast recognition and small memory. However, we found that the recognition rate decreased after using VQ. To improve the recognition rate, we applied ART2 (Adaptive Reason Theory 2) algorithm as a post-process algorithm to obtain about 5% recognition rate improvement. To utilize ART2, we have to apply an error range. In case that the subtraction of the first distance from the second distance for each distance obtained to apply DTW is 20 or more, the error range is applied. Likewise, ART2 was applied and we could obtain fast process and high recognition rate. Moreover, since this system is a moving object, the system should be implemented as an embedded one. Thus, we selected TMS320C32 chip, which can process significantly many calculations relatively fast, to implement the embedded system. Considering that the memory is speech, we used 128kbyte-RAM and 64kbyte ROM to save large amount of data. In case of speech input, we used 16-bit stereo audio codec, securing relatively accurate data through high resolution capacity.

• International Journal of Computer Science & Network Security
• /
• v.22 no.6
• /
• pp.25-32
• /
• 2022

The hypothesis of the study of the article is that the use of elements of artificial intelligence will increase the effectiveness of the educational process of the university if: a set of pedagogical conditions for the construction and use of an expert system with elements of artificial intelligence in the educational process of the university is revealed; a model for preparing a future teacher of vocational training for the use of elements of artificial intelligence has been developed; a special course has been developed that contributes to the implementation of the professional orientation of education. In accordance with this, the following tasks were studied in the article: An analysis of scientific and methodological research in the field of the current state, prospects for the development and use of elements of artificial intelligence in the preparation of a future teacher of vocational training and to determine the dynamics of the introduction of intelligent expert systems in education; A set of pedagogical conditions for the construction and use of an expert system with elements of artificial intelligence in the educational process of a university is revealed; It is substantiated to develop a model for preparing a teacher of vocational training to use elements of artificial intelligence.

• The Journal of Korean Association of Computer Education
• /
• v.3 no.2
• /
• pp.31-37
• /
• 2000

We developed a test bank system which dynamically adjusts to students' achievement levels. In order to dynamically calculate the student's achievement level, our system uses the question-response theory which is usually adopted to CAT. The system proposes appropriate questions depending on the students' achievement levels so that they can do self-directed and individualized learning. The system consists of pre-test, main learning, and review stages. In the pre-test stage, the intellectual level of the student is examined to determine the starting point in the main stage. In the main learning stage, individualized learning is performed. Finally, a review session is added to re-examine the questions that the student gave wrong answers. The output from the learning process of the system is not the usual test scores but the level of the student's intellectual ability which is produced through the question-response theory. The intellectual ability level index objectively measures the degree of improvement of the student's learning ability.

• Structural Engineering and Mechanics
• /
• v.88 no.5
• /
• pp.451-462
• /
• 2023

Lumped Damage Mechanics (LDM) is a theory proposed in the late eighties, which assumes that structural collapse may be analyzed as a two-phase phenomenon. In the first (pre-localization) stage, energy dissipation is a continuous process and it may be modelled by means of the classic versions of the theory of plasticity or Continuum Damage Mechanics (CDM). The second, post-localization, phase can be modelled assuming that energy dissipation is lumped in zones of zero volume: inelastic hinges, hinge lines or localization surfaces. This paper proposes a new LDM formulation for cracking in concrete structures in tension. It also describes its numerical implementation in conventional finite element programs. The results of three numerical simulations of experimental tests reported in the literature are presented. They correspond to plain and fiber-reinforced concrete specimens. A fourth simulation describes also the experimental results of a new test using the digital image correlation technique. These numerical simulations are also compared with the ones obtained using conventional Cohesive Fracture Mechanics (CFM). It is then shown that LDM conserves the advantages of both, CDM and CFM, while overcoming their drawbacks.

• Journal of Information Technology Services
• /
• v.17 no.3
• /
• pp.117-138
• /
• 2018

The purpose of this study is to empirically analyze the relationships between the Boundary Spanning Activities (BSA) of project team and system performance in ERP system development projects. We could theoretically classify the BSA in the ERP development projects into five categories on the basis of existing studies on the BSA in the research fields of organization theory, new product development, and information systems development. These five categories are 'Ambassador' activities, 'Task-coordinator' activities, 'Scout' activities, 'Sentry' activities and 'Guard' activities. And the relationship between the implementation level of activities included in each category and the project performance (system usage and users' satisfaction) was hypothesized with respect to five BSA categories. In order to test the hypotheses, we conducted on/offline survey of the participants who were involved in the ERP system development projects, and received 345 valid responses. The unit of analysis was the project team, and the total number of teams that survey participants belonged to were 103 ones. The Structural Equation Model Analysis using the SMART PLS 3.0 was applied to statistically testing the hypotheses. The results showed that 10 hypotheses among 12 hypotheses could be supported. The theoretical implications of this study can be summarized as following; first, redefining and categorizing the BSA (Boundary Spanning Activities) in the ERP system development projects, secondly, deriving measurement indicators of the implementation level for each BSA category and statistically proving the validity and the reliability of them, and finally, suggesting the theoretical background of expanding the management area of ERP systems development projects. Furthermore, the practical implication of this study is that concrete BSA items which are empirically derived can be utilized as effective guidelines for successfully implementing the BSA in the process of managing the ERP system development projects.