• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.35 no.10
• /
• pp.1299-1306
• /
• 2011

In this study, crack-growth model parameters subjected to variable amplitude loading are estimated in the form of a probability distribution using the method of Bayesian parameter estimation. Huang's model is employed to describe the retardation and acceleration of the crack growth during the loadings. The Markov Chain Monte Carlo (MCMC) method is used to obtain samples of the parameters following the probability distribution. As the conventional MCMC method often fails to converge to the equilibrium distribution because of the increased complexity of the model under variable amplitude loading, an improved MCMC method is introduced to overcome this shortcoming, in which a marginal (PDF) is employed as a proposal density function. The model parameters are estimated on the basis of the data from several test specimens subjected to constant amplitude loading. The prediction is then made under variable amplitude loading for the same specimen, and validated by the ground-truth data using the estimated parameters.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.13 no.3
• /
• pp.1-6
• /
• 1976

In this paper, a method of test pattern generation for the functional failure in both combinational and sequentlal logic networks by using exterded Boole an difference is proposed. The proposed technique provides a systematic approach for the test pattern generation procedure by computing Boolean difference of the Boolean function that represents the Logic network for which the test patterns are to be generated. The computer experimental results show that the proposed method is suitable for both combinational and asynchronous sequential logic networks. Suitable models of clocked flip flops may make it possible for one to extend this method to synchronous sequential logic networks.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.8
• /
• pp.691-697
• /
• 2016

Remanufacturing refers to restoring a used product to an acceptable condition for resale in the market of remanufactured items. In this paper, we deal with the acquisition price and remanufacturing decision for remanufacturing systems in the case where the demand for the remanufactured product in a single period is known and the return quantity of the used product is determined by its acquisition price. The quality of the acquired used product is categorized into two classes, high and low, through inspection and different qualities incur different remanufacturing costs. The probability that the acquired used product is categorized as high class can be a constant or random variable. We derive the expected total cost functions, obtain the optimal solutions, and interpret the managerial meaning of the optimal solution for each case. The sensitivity of the optimal solution with respect to the variation of the inspection cost and uncertainty of the quality of the used product is investigated through numerical examples.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.4
• /
• pp.33-42
• /
• 2007

Accurate predictions of software release times, and estimation of the reliability and availability of a software product require quantification of a critical element of the software testing process : test coverage. This model called Enhanced non-homogeneous poission process(ENHPP). In this paper, exponential coverage and S-shaped model was reviewed, proposes the Kappa coverage model, which maked out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on SSE statistics and Kolmogorov distance, for the sake of efficient model, was employed. From the analysis of mission time, the result of this comparative study shows the excellent performance of Burr coverage model rather than exponential coverage and S-shaped model using NTDS data. This analysis of failure data compared with the Kappa coverage model and the existing model(using arithmetic and Laplace trend tests, bias tests) is presented.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.4
• /
• pp.7-14
• /
• 2010

Stable-state behaviors of asynchronous sequential machines represented as finite state machines can be corrected by feedback control schemes. In this paper, we propose a state feedback control scheme for input/state asynchronous machines with uncertain transitions. The considered asynchronous machine is deterministic, but its state transition function is partially known due to model uncertainty or inner logic errors. The control objective is to compensate the behavior of the closed-loop system so that it matches a sub-behavior of a prescribed model despite uncertain transitions. Furthermore, during the execution of corrective action, the controller reflects the exact knowledge of transitions into the next step, i.e., the range of the behavior of the closed-loop system can be enlarged through learning. The design procedure for the proposed controller is described in a case study.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.18 no.5
• /
• pp.867-876
• /
• 2023

In this study, the attributes of the NHPP software development cost model applying the Gamma family distribution (Erlang, Log-Logistic, Rayleigh) were newly analyzed, and after comparing with the Goel-Okumoto basic model to verify the properties of the model, the optimal model was also presented based on this. To analyze software reliability, failure time data that occurred randomly during system operation was used, and the calculation of the parameters was solved using the maximum likelihood estimation. As a result of comprehensive evaluation through various attribute analysis (mean value function, development cost, optimal release time), it was confirmed that the Rayleigh model had the best performance. Through this study, the attributes of the software development cost model applying the Gamma family distribution, which has no previous research case, were newly identified. Also, basic design data could also be presented so that developers can efficiently utilize this research data at an early stage.

• Journal of the Korea Organic Resources Recycling Association
• /
• v.12 no.3
• /
• pp.95-111
• /
• 2004

This research sought to determine the status of the installation and operation of composting facilities of domestic public resource-making facilities and come up with corresponding improvement measures. The composting facilities were the most extensively installed of related facilities with over a 0.5 ton treated volume per day. The monthly and yearly carry-in volume of food waste were found to stand at 1,101.7 tons per day and 930.9 tons per day, thus falling short of the average planned volume of 1,270.9 tons. Many composting facilities, which were installed in areas for which factory registration were not approved, did not get approvals. Composting facilities underwent operation stoppage mainly due to faulty fermentation and crushing equipment. Mainly metals contained in food waste caused faults to the crushing equipment, thus requiring a facility designing against faults and corrosion. The initial water content was found to stand at 50-60%, thus complying with the requirement. However, since the composting food waste had an appropriate mixture of sawdust, food waste, and returned compost, it should meet the initial conditions. For fermentation facilities, the duration time for fermentation was 15 days, and post-fermentation tanks required 21 days of duration time, thus establishing the minimum criteria. However, some facilities did not meet the requirements, taking more time in decomposition, thus suggesting a need to determine the duration time according to facilities. In composting food waste, microorganism-based thermal oxidizer-operated fermentation tanks should be used to ensure an economic operation. On the contrary, 14 out of 25 survey targets heated fermentation tanks in any form. These thermal facilities contain the growth of bacteria, lowering chemical reaction in composting; thus composting facilities should be basically designed to use microorganism-based thermal oxidizers in drying water. An average daily volume of food waste and supplementary materials that was injected in producing compost was 22.8 tons. This volume produced 7.3 tons of compost per day, decreasing 68%. Properties of produced compost were analyzed by its color, absence or presence of remaining decomposition heat, and smell, to assess the quality. As a result, the composting process was not properly installed nor operated in about 50% of composting facilities. Compost should be produced to be soil-friendly.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.31 no.4
• /
• pp.423-434
• /
• 1995

It was used boundary element method(BEM) and analysed axisymmetric problem to solve hydraulic cylinder for large vessel acting uniform internal pressure(25N/m super(2)) within elastic limit. This paper was utilized the carbon steel tubes for machine structural purposed model, inner radius was 150mm and outer radius was 250mm, axial length was semi-infinite and the isoparametric element was used. The important results obtained in this study were summarized as follows. Radial, tangential and shearing stress occured the maximum stresses(48, -20 and 34MPa) at the inner radius and the minimum stresses(32, -4 and 18MPa) at the outer radius of the hydraulic cylinder for large vessel. But negative signs have meaning compressive stress and stress diminution ratio was about 0.15MPa/mm. The use of isoparametric element raised accuracy and the increment of input data lessened the error in internal point but computer run-time was increased. The double node was improved the internal solutions to settle discontinuity at corner and the double exponential formula lessened error of stress value at boundary neighborhood. And then coincidence between the analytical and exact results is found to be fairly good, showing that the proposed analytical by BEM is reliable.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.3 no.2
• /
• pp.18-35
• /
• 1993

The water level control system of the steam generator in a pressurized water reactor and its control problems are analysed. In this work the stable control strategy during the low power operation and transient states is studied. To solve the problem, a fuzzy logic control method is applied as a basic algorithm of the controller. The control algorithm is based on the operator's knowledges and the experiences of manual operation for water level control at the compact nuclear simulator set up in Korea Atomic Energy Research Institute. From a viewpoint of the system realization, the control variables and rules are established considering simpler tuning and the input-output relation. The control strategy includes the dynamic tuning method and employs a substitutional information using the bypass valve opening instead of incorrectly measured signal at the low flow rate as the fuzzy variable of the flow rate during the pressure control mode of the steam generator. It also involves the switching algorithm between the control valves to suppress the perturbation of water level. The simulation results show that both of the fine control action at the small level error and the quick response at the large level error can be obtained and that the performance of the controller is improved.

• Convergence Security Journal
• /
• v.18 no.1
• /
• pp.19-31
• /
• 2018

As the ICT technologies advance, the unprecedently large amount of digital data is created, transferred, stored, and utilized in every industry. With the data scale extension and the applying technologies advancement, the new services emerging from the use of large scale data make our living more convenient and useful. But the cybercrimes such as data forgery and/or change of data generation time are also increasing. For the data security against the cybercrimes, the technology for data integrity and the time verification are necessary. Today, public key based signature technology is the most commonly used. But a lot of costly system resources and the additional infra to manage the certificates and keys for using it make it impractical to use in the large-scale data environment. In this research, a new and far less system resources consuming signature technology for large scale data, based on the Hash Function and Merkle tree, is introduced. An improved method for processing the distributed hash trees is also suggested to mitigate the disruptions by server failures. The prototype system was implemented, and its performance was evaluated. The results show that the technology can be effectively used in a variety of areas like cloud computing, IoT, big data, fin-tech, etc., which produce a large-scale data.