• Journal for History of Mathematics
• /
• v.30 no.5
• /
• pp.261-287
• /
• 2017

De Zolt's axiom which is a precise formulation of Euclid's Common Notion 5, "the whole is greater than the part", for the notion of 'content' holds in any Hilbert plane. In this article, we study the history of de Zolt's axiom which has its origin in Euclid's Common Notions, and introduce an example of a plane geometry in which de Zolt's axiom does not hold. We show that there is no area function in this geometry and every square is equidecomposable with a square which is properly contained in the first one. From this we also show that there are two equidecomposable rectangles which have the same base and do not have the same altitude, and there is a rectangle which is equicomplementable with an emptyset.

• Journal of Mushroom
• /
• v.5 no.2
• /
• pp.81-85
• /
• 2007

This study was carried out to investigate the conditions of liquid culture and fruiting body formation of Cordyceps militaris using grain mediacontained the brown rice and black purple rice. Liquid mycelial growth and density of Cordyceps militaris were the highest in the medium of malt extract 0.7% and pH 5.0~5.5. The optimal condition of formation the fruiting bodies were shown to be temperature of $17^{\circ}C$, light intensity of 600 lux, $C0_2$ of 500ppm and humidity intensity of 95% produced highest amount of fruit bodies.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.12
• /
• pp.17-24
• /
• 2009

More recently, the Green Computing have become a important issue in all fields of industry. The energy efficiency cannot be over-emphasized. Microprocessor companies such as Intel Corporation design processors with taking both energy efficiency and performance into account. Nevertheless, general computer users typically utilize the CPU overclocking to enhance the application performance. The overclocking is traditionally considered as an evil in terms of the power consumption. In this paper, we present effective CPU overclocking schemes, which raise CPU frequency while keeping current CPU supply voltage for energy reduction and performance improvement. The proposed scheme gain both energy reduction and performance improvement. Evaluation results show that our proposed schemes reduce the processor execution time as much as 17% and total computer system energy as much as 5%, respectively. In addition, our effective CPU overclocking schemes reduce the Energy Delay Product (EDP) as much as 22%, on average.

• Journal of Korea Port Economic Association
• /
• v.25 no.3
• /
• pp.229-250
• /
• 2009

This paper aims to implement an empirical research about the efficiency of America and Northeast Asia pots, and to suggest an effective strategy which can operate these ports more well. This study tries to apply the Data Envelopment Analysis(DEA) model to America and Northeast Asia ports. DEA is a methodology of comparing the relative efficiency of each decision making unit(DMU) by comparing it with other DMUs having similar input and output structure, and is specially very useful when a form of production function of each DMU such as a port is not known. DEA provides the extent of inefficiency of DMUs, which is practically useful information (like the efficiency score and reference sets) required to improve efficiency. This paper analyzed the relative efficiency of 35 ports in America and Northeast Asia for 3 years from 2005 to 2007 through DEA-CCR, DEA-BCC model and scale efficiency. Accordingly, this paper evaluates the efficiency of America and Northeast Asia ports, grasps the position at the present time, and suggests an advanced direction in future.

• Korean Journal of Plant Resources
• /
• v.27 no.5
• /
• pp.556-566
• /
• 2014

In this study, we collected 29 Kenaf (Hibiscus cannabinus L.) genetic resources from 10 countries to confirm the possibility of the introduction into Korea. The Kenaf (Hibiscus cannabinus L.) has the broad industrial use like feed and the 5 times more strong $CO_2$ absorption capacity compared to general plant. So recently it is considered as a good industrial source. We analyzed ecotype, growth and development, yield and feed value of collected resources. They were divided into 3 groups depending on flowering time, early maturing type blooming in early July, mid-late maturing type blooming from end of August to early September and late maturing type blooming in end of October. Early maturing type could get fruitful seed but dropped yield (average 7,895 kg/10a) and late maturing type could get high yield (average 12,572 kg/10a) but deletion. The other side mid-late maturing type could get yield over a certain level (average 11,207 kg/10a) and fruitful seed was ensured. The yields analyzed by resources indicated that K12 (Hongma 300) collected in China, K25 from India, K22 from Russia and K21 (Khonkaen 60) variety from China were more than 13,500 kg per 10a. Feed value of early maturing type had inclined to more better than other types, but like dry digestible matter (DDM) and dry matter intake (DMI) of some late maturing types like K12, K21, K22 which had a high yielding ability were more better than that of early maturing types'. So relative feed value (RFV) which considered comprehensive item for feed value were indicated K21 was 102.5, K12 was 116.2 and K22 was 120.2. 'Jangdae' the variety developed in Korea which could complement of other types' had a good quality for yield 10,975 kg/10a and 12.5% crude protein content and 101.9 of the relative feed value. So we need to be taken power to collection of mid-late maturing types resources.