• Asian-Australasian Journal of Animal Sciences
• /
• v.23 no.6
• /
• pp.700-707
• /
• 2010

Effects of protease-resistant antimicrobial substances (PRA) produced by Lactobacillus plantarum and Leuconostoc citreum on rumen methanogenesis were examined using the in vitro continuous methane quantification system. Four different strains of lactic acid bacteria, i) Lactococcus lactis ATCC19435 (Control, non-antibacterial substances), ii) Lactococcus lactis NCIMB702054 (Nisin-Z), iii) Lactobacillus plantarum TUA1490L (PRA-1), and iv) Leuconostoc citreum JCM9698 (PRA-2) were individually cultured in GYEKP medium. An 80 ml aliquot of each supernatant was inoculated into phosphate-buffered rumen fluid. PRA-1 remarkably decreased cumulative methane production, though propionate, butyrate and ammonia N decreased. For PRA-2, there were no effects on $CH_4$ and $CO_2$ production and fermentation characteristics in mixed rumen cultures. The results suggested that PRA-1 reduced the number of methanogens or inhibited utilization of hydrogen in rumen fermentation.

• Korean Journal of Mathematics
• /
• v.16 no.2
• /
• pp.145-156
• /
• 2008

When we consider a life insurance company that sells a large number of continuous T-year term life insurance policies, it is important to find an optimal strategy which maximizes the surplus of the insurance company at time T. The purpose of this paper is to give an explicit expression for the optimal reinsurance and investment strategy which maximizes the expected exponential utility of the final value of the surplus at the end of T-th year. To do this we solve the corresponding Hamilton-Jacobi-Bellman equation.

• IE interfaces
• /
• v.17 no.1
• /
• pp.71-77
• /
• 2004

At the present time, container transportation plays a key role in the international logistics and the efforts to increase the productivity of container logistics become essential for Korean trucking companies to survive in the domestic as well as global competition. This study suggests an approach for determining fleet size for container road transportation with dynamic demand. Usually the vehicles operated by the transportation trucking companies in Korea can be classified into three types depending on the ways how their expenses occur; company-owned truck, mandated truck which is owned by outsider who entrust the company with its operation, and rented vehicle (outsourcing). Annually the trucking companies should decide how many company-owned and mandated trucks will be operated considering vehicle types and the transportation demands. With the forecasted monthly data for the volume of containers to be transported a year, a heuristic algorithm using tabu search is developed to determine the number of company-owned trucks, mandated trucks, and rented trucks in order to minimize the expected annual operating cost. The idea of the algorithm is based on both the aggregate production planning (APP) and the pickup-and-delivery problem (PDP). Finally the algorithm is tested for the problem how the trucking company determines the fleet size for transporting containers.

• International Commerce and Information Review
• /
• v.7 no.4
• /
• pp.287-303
• /
• 2005

Mobile Business Companies open its music service and enters into the contents market. The entry of mobile business companies will be able to give diverse benefits to consumer. But, M&A between mobile business companies and contents companies may bring decreasing effect of number of creative industries. For the protection of small company producing cultural contents in contents market, fair transection competition order should be improved as soon as possible.

• Proceedings of the Safety Management and Science Conference
• /
• 1999.11a
• /
• pp.515-523
• /
• 1999

This study is resource planning of painting lines in Korean motor company using simulation techniques. The painting lines have bottle neck problems that is considered production capacity, number of lines and so on. The alternative solutions is decided by the result of simulation techniques. This Paper is focused on resource planning using simulation techniques.

• Journal of Ocean Engineering and Technology
• /
• v.23 no.2
• /
• pp.92-97
• /
• 2009

In order to export aircraft components or substructures, it is necessary to get a certification from the main company for the components or an airworthiness certification from the FAA. In Korea, those processes are performed by a small number of private companies for aircraft components. However, airworthiness certification has never been done in the company. To export an assembled aircraft, whether small or large, it is obligatory to get a certification for the aircraft being exported. Currently, the Korean government is trying to get BASA agreement in a few years. For a mid-size company, it is easier to get the NADCAP audit process for the supply of aircraft components to the main company. In this paper, the overall process of aircraft certification is discussed and airworthiness certification is treated for export aircraft. Moreover, the NADCAP audit process is described in detail by introducing example parts made of composite material. This detailed process would be very helpful to a small or mid-size company that wants to develop and deliver aircraft components to foreign companies.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.171-178
• /
• 2002

At the present time, container transportation plays a key role in the international logistics and the efforts to increase the productivity of container logistics become essential for Korean trucking companies to survive in the domestic as well as global competition. This study suggests an approach for determining fleet size for container road transportation with dynamic demand. Usually the vehicles operated by the transportation trucking companies in Korea can be classified into three types depending on the ways how their expenses occur; company-owned truck, mandated truck which is owned by outsider who entrust the company with its operation, and rented vehicle (outsourcing). Armually the trucking companies should decide how many company-owned and mandated trucks will be operated considering vehicle types and the transportation demands. With the forecasted monthly data for the volume of containers to be transported a year, a heuristic algorithm using tabu search is developed to determine the number of company-owned trucks, mandated trucks, and rented trucks in order to minimize the expected annual operating cost The idea of the algorithm is based on both the aggregate production planning (APP) and the pickup-and-delivery problem (PDP). Finally the algorithm is tested for the problem how the trucking company determines the fleet size for transporting containers.

• Korean Management Science Review
• /
• v.10 no.1
• /
• pp.207-216
• /
• 1993

The purpose of this paper is to develop a branch and bound algorithm for the transportation problem with a limited number of company owned vehicles. First, we find an initial solution by solving quasi-assignment subproblem induced by relaxing constraints of the vehicle capacity and illegal tours elimination equations. Second, we build routing from the assignment, and if there is a routings which violates relaxed constraints, we introduce branches of the subproblem in order to remove it. After all branches are searched, we get the optimal solution.

• Journal of the Korean Society of Food Culture
• /
• v.25 no.6
• /
• pp.755-763
• /
• 2010

The purpose of this study was to select market variables that a foodservice company should consider when expanding overseas and to regional market analysis by variables. Twenty-three different variables were derived from 17 previous studies. These were: population, urbanization rate, women employed, enrollment in tertiary education, gross domestic product, value added by service, total number of mobile cellular telephone subscribers, number of internet users, total Asian highway, inward foreign direct investment, total service imports, inflation rate, international tourist arrivals, energy use by industry, growth rates of the food consumer price index, access to urban sanitation, per capita total expenditure on health, male life expectancy at birth, adult literacy rate, contributing women family workers, passenger car, and country risk assessment. The selected variables were collected as secondary data from the UN, Asian Development Bank, International Bank for Reconstruction and Development, and Michigan State University.

• Journal of Energy Engineering
• /
• v.8 no.1
• /
• pp.110-118
• /
• 1999

In order to protect the nuclear reactor coolant system from corrosion, lithium is injected into the coolant from the chemical injection tank. The present study investigates the chemical injection characteristics of the injection tank using a low Reynolds number turbulence model. Laminar flow analysis showed very little diffusion of the jet and gave incorrect flow and concentration fields. A disk located near the inlet of the injection tank was effective in mixing the chemical additives in the top portion of the tank, and significant reduction in injection time was obtained.