• Journal of Korean Society for Quality Management
• /
• v.21 no.1
• /
• pp.78-95
• /
• 1993

The art of designing and analyzing fault-tolerant computers is surveyed with special emphasis on problems of analyzing the behavior of computers that have autonomous repair capability. The survey covers the following topics : (1) general issues in computer reliability, (2) fault-tolerance state relations and requirements, (3) computational hierarchy, (4) fault characteristics, (5) fault diagnosis, (6) fault-tolerance schemes for logic network and machines, (7) fault-coverage effects, and (8) fault-tree analysis of coverage. This paper does not include techniques for verifying nonredundant hardware or system software designs or for verifying the correctness of application programs.

• Advances in aircraft and spacecraft science
• /
• v.9 no.6
• /
• pp.493-506
• /
• 2022

The study presents the results of the research of heat and heat exchange processes on the heat-stressed elements of the structure of an advanced TsAGI descent vehicle. The studies were carried out using a mathematical model based on solving discrete analogs of continuum mechanics equations. Conclusions were drawn about the correctness of the model and the dependence of the intensity of heat and mass transfer processes on the most heat-stressed sections of the apparatus surface on its geometry and the catalytic activity of the surface.

• Journal of Electrical Engineering and information Science
• /
• v.1 no.1
• /
• pp.82-90
• /
• 1996

In this paper, we present an analysis of the IS-95 authentication protocol for the Code Division Multiple Access(CDMA) mobile communication network. We propose a mutual authentication protocol, AP-6, to improve the security and correctness. Formal description and verification of the proposed AP-6 are also presented on the basis of the formal logic. It is shown that the proposed AP-6 is more secure and correct than the IS-95 authentication protocol.

• Journal of KIISE:Information Networking
• /
• v.32 no.4
• /
• pp.471-482
• /
• 2005

The high-speed network permits Grid computing to handle large problem of management areas and share various computational resources. As there are many resources and changes of them in Grid computing, the resources should be detected effectively and matched correctly with tasks to provide high performance. In this paper, we propose a mechanism that maximizes the performance of Grid computing systems. According to a priority, grade and site of heterogeneous resources, we assign tasks to those resources. Initially, a volunteer's priority and ranking are determined by static information like as CPU speed, RAM size, storage size and network bandwidth. And then, the rank of resources is decided by considering dynamic information such as correctness, response time, and error rate. We find that overall Grid system performance is improved and high correctness using resource reallocation mechanism is achieved.

• Journal of Digital Convergence
• /
• v.14 no.5
• /
• pp.293-300
• /
• 2016

DRM software should conform completeness, correctness and appropriateness for the related function to protect digital right properly. Therefore, the systematization of functionality evaluation method based on the related standard is essentially required. In this paper, based on the software quality standard, I intended to construct a model to measure the quality about functionality including suitability, accuracy and interoperability of DRM software. To this, we developed functional suitability evaluation model by analyzing infra-technology of DRM software and quality requirements about functional suitability. I think that through this study, functionality criteria to enhance the quality level of DRM software. Through the accumulation of future evaluation practices, it is necessary to improve the suitability and validity of the DRM software functional suitability evaluation model.

• Management & Information Systems Review
• /
• v.34 no.5
• /
• pp.111-125
• /
• 2015

The article starts with a review of system characteristic, information characteristic and personal characteristic on educational performance through educational satisfaction. This survey is intended for educatee's who take the course of KcLep. We found that all variables of system characteristic(easiness, flexibility and reliability) significantly effect the educational satisfaction. Information characteristic(timeliness, usefulness) significantly effect on educational satisfaction, but the correctness doesn't significantly effect on educational satisfaction. Personal characteristic(self-efficacy and achievement motivation) significantly effect on educational satisfaction, but the computing ability doesn't significantly effect on educational satisfaction. We found that the educational satisfaction significantly effect on the education performance.

• Proceedings of the KSPS conference
• /
• 1996.02a
• /
• pp.137-155
• /
• 1996

The purpose of this paper is to generate a pitch contour which is affected by tile phonetic environment and the number of syllables in each Korean isolated word using a neural network. To do this, we analyzed a set of 513 Korean isolated words, consisting of 1-4 syllables and extracted the pitch contour and the duration of each phoneme in all the words. The total number of phonemes we analyzed is about 3800. After that we approximated the pitch contour with a 1st order polynominal by a regression analysis. We could get the slope, the initial pitch and the duration of each phoneme. We used these 3 parameters as the target pattern of the neural network and let the neural network learn the rule of the variation of the pitch and duration, which was affected by the phonetic environment of each phoneme. We used 7 consecutive phoneme strings as an input pattern for a neural network to make the network learn the effect of phonetic environment around the center phoneme. In the learning phase, we used 3545 items(463 words) as target patterns which contained the phonetic environment of front and rear 3 phonemes and the neural network showed the correctness rate of 98.43%, 98.59%, 97.7% in the estimation of the duration, the slope, the initial pitch. In the recall phase, we tested the performance of tile neural network with 251 items(50 words) which weren't need as learning data and we could get the good correctness rate of 97.34%, 95.45%, 96.3% in the generation of the duration, the slope, and the initial pitch of each phoneme.

• Journal of the Korea Convergence Society
• /
• v.8 no.8
• /
• pp.59-69
• /
• 2017

Humanities and social sciences researchers and database experts have teamed up to build a database of IPR materials prepared by the Institute of Pacific Relations (IPR). This paper presents the issues and solutions inherent in the database construction for ensuring the quality of IPR materials. For the accessibility of the database, we maintain the database on the Web so that researchers can access it via web browsers; for the convenience of the database construction, we provide an integrated interface that allows researchers to perform all tasks in it; for the completeness of IPR materials constructed, we support the responsible input and the responsible approval that identify responsibilities of each IPR material entered; and for the immediacy of the approval, we support an interactive approval process facilitating the input of researchers. We also use database design, query processing, transaction management, and search and sorting techniques to ensure the correctness of IPR materials entered. In particular, through concurrency control using existence dependency relationships between records, we ensure the correctness between the operating system files and their paths. Our future studies include content search, database download and upload, and copyright related work on IPR materials.

• Journal of KIISE:Software and Applications
• /
• v.36 no.11
• /
• pp.891-900
• /
• 2009

The priority of software maintenance researches has been increasing, since the lengths of software lifecycle are more increasing. Measuring couplings among software entities provides a good quantitative source for analyzing source code and point out candidate refactoring positions. Logical-coupling measures how strongly two software entities are related with each other from the evolutionary point of view. The researches on logical-coupling have been focusing on improving the correctness and explaining more aspects that are hiding by measuring logical-coupling among finer-grained entities. However, existing researches on logical-coupling fails to consider characteristics of developers and projects reflected in transactions. The research proposes a logical-coupling measurement method based on transaction time, size and expertise of developer to improve the correctness by considering characteristics of developers and projects reflected in transactions. The method has been validated by applying it to three open-source projects.

• Journal of KIISE
• /
• v.44 no.6
• /
• pp.566-572
• /
• 2017

As NAND flash storage is being widely used, its simulation methodologies have been studied in various aspects such as performance, reliability, and endurance. As a result, there have been advances in NAND flash storage simulation for both functional modeling and timing modeling. However, in addition to these advances, there is a need to drastically reduce the long simulation time that is required to evaluate the aging effect on flash storage. This paper proposes a so-called multi-core scalable real-time flash storage simulation method, which can control the simulation speed according to the user's preference. According to this method, it is possible to speed up the simulation in proportion to the number of CPU cores arbitrarily given while guaranteeing the correctness of the simulation result. Using our simulator implemented in the form of the Linux kernel module, we demonstrate the multi-core scalability and correctness of the proposed method.