• Asian-Australasian Journal of Animal Sciences
• /
• 제9권6호
• /
• pp.643-646
• /
• 1996

Experiments were conducted to determine potassium (K) requirement of mule ducklings. One-day-old ducklings with equal number of both sexes were fed diets containing graded levels of K for three weeks. In experiment 1, corn-soybean meal diet (CP 18.7%, ME 2,890 kcal/kg, K 0.80%) was used. The addition of K (0.00, 0.10, 0.20, 0.30, 0.40%) to the diet by potassium carbonate resulted in a decrease in weight gain and feed efficiency with the group fed on basal diet having the best performance. This means that the existing K in the basal diet is adequate for the growth of ducklings. In experiment 2, low K corn-isolated soy protein diet (K, 0.19%) was used. The supplementation of K (0.00, 0.16, 0.32, 0.48, 0.64%) resulted in an increase in weight gain and feed efficiency with the control group having the lowest performance. The minimum K requirement was found to be 0.49% for both maximum growth and best feed efficiency as determined by using bent-stick model.

• 방사성폐기물학회지
• /
• 제21권4호
• /
• pp.517-529
• /
• 2023

The objectives of this paper are: (1) to conduct the thermal analyses of the disposal cell using COMSOL Multiphysics; (2) to determine whether the design of the disposal cell satisfies the thermal design requirement; and (3) to evaluate the effect of design modifications on the temperature of the disposal cell. Specifically, the analysis incorporated a heterogeneous model of 236 fuel rod heat sources of spent nuclear fuel (SNF) to improve the reality of the modeling. In the reference case, the design, featuring 8 m between deposition holes and 30 m between deposition tunnels for 40 years of the SNF cooling time, did not meet the design requirement. For the first modified case, the designs with 9 m and 10 m between the deposition holes for the cooling time of 40 years and five spacings for 50 and 60 years were found to meet the requirement. For the second modified case, the designs with 35 m and 40 m between the deposition tunnels for 40 years, 25 m to 40 m for 50 years and five spacings for 60 years also met the requirement. This study contributes to the advancement of the thermal analysis technique of a disposal cell.

• 한국농림기상학회지
• /
• 제8권2호
• /
• pp.68-76
• /
• 2006

A thermal time-based two-step phenological model was used to project flowering dates of Japanese cherry in South Korea from 1941 to 2100. The model consists of two sequential periods: the rest period described by chilling requirement and the forcing period described by heating requirement. Daily maximum and minimum temperature are used to calculate daily chill units until a pre-determined chilling requirement for rest release is met. After the projected rest release date, daily heat units (growing degree days) are accumulated until a pre-determined heating requirement for flowering is achieved. Model calculations using daily temperature data at 18 synoptic stations during 1955-2004 were compared with the observed blooming dates and resulted in 3.9 days mean absolute error, 5.1 days root mean squared error, and a correlation coefficient of 0.86. Considering that the phonology observation has never been fully standardized in Korea, this result seems reasonable. Gridded data sets of daily maximum and minimum temperature with a 270 m grid spacing were prepared for the climatological years 1941-1970 and 1971-2000 from observations at 56 synoptic stations by using a spatial interpolation scheme for correcting urban heat island effect as well as elevation effect. A 25km-resolution temperature data set covering the Korean Peninsula, prepared by the Meteorological Research Institute of Korea Meteorological Administration under the condition of Inter-governmental Panel on Climate Change-Special Report on Emission Scenarios A2, was converted to 270 m gridded data for the climatological years 2011-2040, 2041-2070 and 2071-2100. The model was run by the gridded daily maximum and minimum temperature data sets, each representing a climatological normal year for 1941-1970, 1971-2000, 2011-2040, 2041-2070, and 2071-2100. According to the model calculation, the spatially averaged flowering date for the 1971-2000 normal is shorter than that for 1941-1970 by 5.2 days. Compared with the current normal (1971-2000), flowering of Japanese cherry is expected to be earlier by 9, 21, and 29 days in the future normal years 2011-2040, 2041-2070, and 2071-2100, respectively. Southern coastal areas might experience springs with incomplete or even no Japanese cherry flowering caused by insufficient chilling for breaking bud dormancy.

• 산업경영시스템학회지
• /
• 제20권41호
• /
• pp.123-134
• /
• 1997

In this paper we consider the CSP requirements determination problem of new equipment system. The CSP we deal with in the paper are restricted to the demand-based spare parts. For the newly procured equipment systems, mathematical analyses are made for the system which is constructed with the repairable items to derive the associated CSP requirement determination model in mathematical expression, respectively. Based on these analyses, a mathematical model is derived for making an optimal CSP requirement determination subject to the constraint of satisfying any given funds limitation. We assume that the failure of a part follows a Poisson process. Firstly, the operational availability concept in CSP is defined and the relation between the general system availability and the operational availability is established. Secondly, the problem is formulated as the operational availability maximization problem that should satisfy the funds limitation, and then, using the generalized Lagrange multipliers method, the optimal solution procedure is derived.

• 산업경영시스템학회지
• /
• 제21권48호
• /
• pp.113-122
• /
• 1998

In this paper we consider the CSP requirements determination problem of new equipment(machine) system. For the newly procured equipment systems, mathematical analyses are made for the system which is constructed with the consumable parts to derive the associated CSP requirement determination model in mathematical expression. Based on these analyses, a mathematical model is derived for making an optimal CSP requirement determination subject to tile constraint of satisfying any given operational availability limitation. We assume that the failure of a part follows a Poisson process. Firstly, the operational availability concept in CSP is defined and the relation between the general system availability and the operational availability is established. Secondly, the problem is formulated as the cost minimization problem that should satisfy the operational availability limitation, and then, using the generalized Lagrange multipliers method, the optimal solution procedure is derived.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• 산업경영시스템학회지
• /
• 제23권59호
• /
• pp.53-67
• /
• 2000

In this paper we consider the CSP requirements determination problem of new equipment(machine) system. For the newly procured equipment systems, mathematical analyses are made for the system which is constructed with the consumable parts and the repairable parts to derive the associated CSP requirement determination model in mathematical expression. Based on these analyses, a mathematical model Is derived for making an optimal CSP requirement determination subject to the constraint of satisfying any given operational availability limitation. We assume that the failure of a part follows a Poisson process and the repair time has an exponential distribution. Firstly, the operational availability concept in CSP is defined and the relation between the general system availability and the operational availability is established. Secondly, the problem is formulated as the cost minimization problem that should satisfy the operational availability limitation, and then, using the generalized Lagrange multipliers method, the optimal solution procedure Is derived.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제5권3호
• /
• pp.268-273
• /
• 2005

We propose the specialized product-line development methodology for developing the embedded system of an MSDFS (Multi Sensor Data Fusion System : called MSDFS). The product-line methodology provides a simultaneous design between software and hardware, high level reusability. However this is insufficient in requirement analysis stage due to be focused on software architecture, detailed design and code. Thus we apply the business model based on IDEF0 technique to traditional methodology. In this paper, we describe the processes of developing Core-Asset, which are requirement analysis, feature modeling, validation. The proposed model gives the efficient result for eliciting features, and ensures the high level reusability of modules performing on embedded system.

• 한국국방경영분석학회지
• /
• 제23권1호
• /
• pp.63-75
• /
• 1997

This study is concerned with a few models for optimal requirement level of CSP by improving and adjusting the existing models to determine CSP items and quantity as follows. First, by building a model with a objective function of the operating level and constrains of budget, quantity and items of CSP are simultaneously determined. Second, we removed some steps to improve initial solution by using a constraint of usable budget level. Third, we demonstrated a model to be applied with real operating situation by combining two models of Lee(1994) and above. Lastly, by assuming a failure probability distribution is a binomial distribution, the better solution can be obtained. Some facts with necessity of policy improvement were raised as follows: (1) necessity of improvement of the CSP acquisition system, (2) in case of the same kind, permission of diversion in order to execute budget effectively, (3) getting accurate failure rate.

• 시스템엔지니어링워크숍
• /
• 통권6호
• /
• pp.126-129
• /
• 2005

Systems engineering requirement verification model developmetn for High Speed Railway systems in progress is a national large system development program that is not only large-size and complex but also multi-disciplinary in nature. For the High Speed Railway TEP development, verification requirements that could verify system function, performance, and constraint, should be derived from SSS(system Segment specification). Hereafter, this could be referred to as verification requirements. System engineering process establishes traceability between verification requirements and system requirements. These tasks could be accomplished by the schema. using computer-aided Systems Engineering tool(CORE), High Speed Railway program can become a database and other system related to High Speed Railway program will be developed effectively and efficiently.