• Journal of the Korea Safety Management & Science
• /
• v.1 no.1
• /
• pp.135-143
• /
• 1999

This paper discusses an optimal burn-in procedure to minimize total costs based on the assumption that the failure rate pattern follows a bimodal mixed Weibull distribution. The procedure will consider warranty period as a factor of the total expected bum-in cost. A cost model is formulated to find the optimal burn-in time that minimizes the expected burn-in cost. Conditional reliability for warranty period will be discussed. An illustrative example is included to show how to use the cost model in practice.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.20 no.2
• /
• pp.77-93
• /
• 1995

A mathematical model for long-rage water supply planning was formulated as a dynamic plant location problem with network arc capacity expansion, and illustative example was presented. The proposed solution procedure identifies economical construction timings of surface water supply facilities and water conveyence systems and the best water supply operating patterns as well. In this study, we present a heuristic solution procedure using Simulated annealing Method in conjunction with Bertsekas & Tseng's RELAXT-II for the 0-1 integer network problem.

• 전기의세계
• /
• v.31 no.4
• /
• pp.281-287
• /
• 1982

PASCAL has a recursive nested structure and uses deep binding of identifiers. This paper studies the problems and techniques in storage management for PASCAL on the IBM 370 system, and presents run-time storage administration algorithms which use stack scheme and heap efficiently on the view of storage. The stack-scheme was used to implement the feature of recursive nested structure and the heap was used to implement the feature of the dynamic allocation procedure and pointer variable, allowing an additional dynamic storage recovery procedure.

• Journal of Korean Society for Quality Management
• /
• v.15 no.2
• /
• pp.38-49
• /
• 1987

Experimenters often want to test whether a specific treatment is really better than the others. In such a problem we derive the likelihood ratio test and compare the result with other multiple comparisons procedures. A nonparametric procedure based on ranks is also considered. Pitman efficiency of the rank-sum procedure relative to the likelihood ratio test is computed.

• International conference on construction engineering and project management
• /
• 2007.03a
• /
• pp.777-786
• /
• 2007

This paper presents a modified simulated annealing algorithm to optimize linear scheduling projects with multiple resource constraints and its effectiveness is verified with a proposed problem. A two-stage solution-finding procedure is used to model the problem. Then the simulated annealing and the modified simulated annealing are compared in the same condition. The comparison results and the reasons of improvement by the modified simulated annealing are presented at the end.

• Asia-Pacific Journal of Business
• /
• v.2 no.1
• /
• pp.74-90
• /
• 2011

The main object of this paper is the clearance procedure reengineering of china customs. By the method of documentary research, the paper has tried to look for a new clearance procedure of china customs which be more reasonable through the study of clearance procedure reengineering of china customs. As a result, systematic research is needed to gather information, and regulations of china clearance procedure, the systematic and comprehensive cleanup si re-quired.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.5
• /
• pp.830-837
• /
• 2015

A study which is to develop the low-cost urban railway system for low-density line such as Gwang-ju subway Line 2 is in progress, and its TCS(Train Control System) is required as an economic system which is able to train operation suitable in low-density line. We have developed the signaling equipment which is configured with automatic block system between stations, and the control center's equipment in order to meet the requirements of TCS mentioned above. In this paper, we propose the control procedure of ATS to be required for train operation management in the low-density line such as Gwang-ju subway Line 2. The control procedure of ATS considered all features such as the requirements analysis for train operation management, the functions of train control system to be applied and the block type. Also, it considered the station(interlocking, passenger, turn-back) type, station control(stop, route, departure, turn-back departure, turn-back) type, and train operation management for exiting and entering depot. The ATS control procedure proposed in this paper has an advantage in the cost and efficiency through unification and optimization of its function. And in cost of operating and maintenance, the ATS system has a feature that can be significantly reduced.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.18 no.4
• /
• pp.17-25
• /
• 2008

Because Chinese Remainder Theorem based RSA (RSA CRT) offers a faster version of modular exponentiation than ordinary repeated squaring, it is promoting with standard. Unfortunately there are major security issues associated with RSA CRT, since Bellcore announced a fault-based cryptanalysis against RSA CRT in 1996. In 1997, Shamir developed a countermeasure using error free immune checking procedure. And soon it became known that the this checking procedure can not effect as the countermeasures. Recently Yen proposed two hardware fault immune protocols for RSA CRT, and this two protocols do not assume the existence of checking procedure. However, in FDTC 2006, the method of attack against the Yen's two protocols was introduced. In this paper, the main purpose is to present a countermeasure against the method of attack from FDTC 2006 for CRT-RSA. The proposed countermeasure use a characteristic bit operation and dose not consider an additional operation.

• The Journal of Asian Finance, Economics and Business
• /
• v.9 no.2
• /
• pp.347-353
• /
• 2022

Using the Heckman two-step procedure, this study investigates the relationship between management accounting implementation and firm effectiveness. The research data for this study was acquired from 450 publicly traded companies in Vietnam; however, the final sample only includes 304 responses containing useful information. The reliability analysis was used to evaluate the acquired data to examine the qualities of constructs and the dimensions that make them up. Then, the Heckman two-step technique was performed to analyze the causal connection from the acceptance of management accounting to firm effectiveness allowing for the effect of environmental uncertainty and organizational characteristics on the likelihood of adopting management accounting. The empirical findings show that management accounting acceptance determines firm effectiveness; however, the research model on the relationship between management accounting adoption and firm effectiveness has a sample selection bias. The main conclusions of this study are that there is a difference in the effects of management accounting adoption on business effectiveness when sample selection bias is not taken into consideration. When potential sample selection bias is taken into account by integrating environmental uncertainty and organizational characteristics in the research model, the effect of adopting management accounting on company effectiveness becomes minor.

• Journal of Haehwa Medicine
• /
• v.23 no.1
• /
• pp.13-20
• /
• 2014

Objectives : Clinical data in traditional medicine, such as Korean medicine, traditional Chinese medicine have a long history of accumulating evidence and these rich data are recorded in classic literature. We have conducted a study of developing an algorithm that support clinical diagnosis with composing both users knowledge and data obtained from literature. In order to define necessary information and required steps in diagnosis procedure, we have established a clinical diagnostic procedure including a step of collecting patients symptoms, a step of determining candidates, a step of diagnostic decisions, a step of deciding of treatment and a step of adjusting medicinal treatment. Methods : Our study have been based on the following premises. 1. Using data obtained from literature contributes to accurate diagnosis 2. Displaying the data before users request contributes to accurate conclusion. Displaying before users request enable users to recognize their overlooking a fact on purpose or not. 3. Checking symptoms that are commonly accompanied with a group of diseases that accompany symptoms appealed by a patient contributes to accurate conclusion. These symptoms are worthy of checking. 4. Comparing more than two candidates contributes to accurate conclusion. Users can compare their accompanied symptoms with patients symptoms and this helps users to make a decision. Results : Based on the above premises, we have developed an literature based algorithm to provide various functions, such as recommending symptoms to check, comparing groups of symptoms, differential diagnosis, recommending medicinal materials to prescribe, and more. Conclusions : By the results of simulation with virtual diagnostic scenario, we concluded this algorithm is useful helping clinician in diagnosis procedure.