• 한국수학사학회지
• /
• 제30권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.

• 한국버섯학회지
• /
• 제5권2호
• /
• pp.81-85
• /
• 2007

본 연구는 번데기동충하초를 곡물배지를 이용하여 자실체를 형성하는 실험으로 액체종균제조에 적합한 조건은 맥아추출배지를 농도 0.7%, pH 5~5.5,으로 조정하였을 때 균사의 건중량은 $3.9{\sim}4.1mg/m{\ell}$로 양호 하였다. 자실체 발생 최적 환경조건은 습도 95%, 온도 $17^{\circ}C$, 조도 600 lx, 이산화탄소농도 500ppm하였을 때, 곡물배지 일반현미와 흑미에서 24.3g/병, 20.5g/병의 자실체가 형성되었다.

• 한국컴퓨터정보학회논문지
• /
• 제14권12호
• /
• pp.17-24
• /
• 2009

최근에, 그린 컴퓨팅은 모든 산업 분야에서 가장 중요한 이슈가 되었다. 이에 따라, 에너지 효율성의 강조는 아무리 강조해도 과하지 않다. 상용 프로세서 제조업체인 인텔의 경우도 성능 뿐 아니라, 에너지 효율성을 매우 강조하고 있다. 그럼에도 불구하고, 컴퓨터를 사용하는 많은 일반 사용자들은 추가비용 임이 컴퓨터의 성능만을 높이기 위해 CPU 오버클럭킹을사용한다. CPU 오버클럭킹을 통한 성능 향상에 따른 파워 소모는 필요악으로 여겨져 왔다. 본 논문에서는 CPU 공급전압은 그대로 유지하고 CPU 클럭 주파수만 증가시키는 에너지 효율을 고려한 효과적인 CPU 오버클럭킹 방법을 제안한다. 이 방법을 통해 에너지 감소와 성능 향상이라는 두가지 목적을 동시에 달성하였다. 실험결과, 실행시간 17% 단축, 전체 컴퓨터 시스템 에너지 소모 5% 감소를 보여주었다. 더불어, 전체 컴퓨터 시스템 Energy Delay Product (EDP)가 22% 감소되는 결과를 보여주었다.

• 한국항만경제학회지
• /
• 제25권3호
• /
• pp.229-250
• /
• 2009

본 연구의 목적은 미국항만과 동북아시아 항만에 대해 효율성을 비교하여 효율적인 항만이 되기 위한 주요 전략을 제시하는 것으로, 동북아시아 항만을 DEA모형에 적용하였다. DEA모형은 선형계획법에 근거하여 일반적으로 생산 가능집합에 적용되는 몇가지의 공준을 가지고 평가대상의 경험적인 투입요소와 산출물간의 자료를 이용하여 경험적, 효율적 프론티어를 도출한 후 평가대상들이 효율성 프론티어상에서 얼마나 떨어져 있는지의 여부로써 비효율성을 측정한다. 이 방법은 다양한 산출물과 여러 가지 투입요소를 동시에 고려하여 상대적 효율성 값을 도출하여 그 과정에서 각각의 산출물 또는 투입요소에 대해 미리 결정된 가중치를 필요로 하지 않을 뿐 아니라 비효율성이 어느 부문에서 발생하며 그 크기가 얼마 정도인지에 대한 수치적 정보를 제공해줌으로써 경영자가 효율성을 제고하는데 실제적인 도움을 줄 수 있다. 본 연구에서는 DEA-CCR모형, DEA-BCC모형 및 규모효율성을 통해 2005년${\sim}$ 2007년도 미국과 동북아시아 35개 항만에 대해 상대적 효율성을 분석하였다. 연구의 결과에 의하면 미국의 경우 휴스톤항이 효율적으로 나타난 반면 대부분의 항이 비효율적인 것으로 식별되었으며, 한국 및 일본의 항만도 비효율적인 것으로 나타났다. 반면 중국의 경우 상해, 홍콩, 선전 항 등 다수의 항만들이 양호한 것으로 나타나 이에 대한 심층적 분석이 필요할 것으로 사료된다.

• 한국자원식물학회지
• /
• 제27권5호
• /
• pp.556-566
• /
• 2014

연구에서는 사료자원 등 산업소재 사용분야가 넓고 $CO_2$ 흡수율이 일반작물의 5배 이상 되는 대표적 환경정화 식물로서 국내 활성화 가능성이 커지고 있는 케나프의 국내 도입 가능성을 확인하기 위하여 미국 등 10개국 유래 자원 29종을 수집하고 생태형 생육특성 수량과 사료가치 등을 비교 분석하였다. 수집자원은 개화시기에 따라 7월 상순에 개화하는 조생종과 8월 하순에서 9월 상순에 개화하는 중만생종 그리고 10월 하순에 개화하는 만생종으로 나누어졌는데 조생종은 국내 채종이 가능하나 수량이 떨어졌고(평균 7,895 kg/10a), 만생종은 수량은 높으나(평균 12,572 kg/10a) 국내에서 종자 결실이 되지 않았으며, 중만생종은 일정수준 이상의 수량(평균수량 11,207 kg/10a)이 확보되고 종자 결실이 가능하였다. 자원별로는 중국 수집종인 K12 (Hongma 300)와 인도 수집종 K25, 러시아 수집종 K22 그리고 중국 수집품종인 K21 (Khon kaen 60)이 10a당 13,500 kg 이상의 다수성 자원이었다. 수집자원별 사료가치 측정에서는 전체적으로 조생종이 우수하였으나 만생종 자원 중 다수성 자원인 K12, K21, K22 등은 가소화건물량(DDM)과 총가소화양분(TDN) 함량도 조생종보다도 높아 사료가치 항목을 종합하여 비교한 상대적 사료가치(RFV)가 K12는 102.5 K21은 116.2, K22는 120.2로 우수 자원으로 평가할 수 있었다. 그리고 우리나라 육성 품종인 'Jangdae'는 10a당 10,975 kg으로 수량과 12.5%의 조단백질함량 그리고 101.9의 상대적 사료가치(RFV) 등을 보이고 있어 수량성이 떨어지는 조생종 자원과 국내 종자결실이 불가능한 만생종 자원의 단점을 상호보완 할 수 있는 자원으로 금후에는 이러한 중만생종 자원의 수집과 선발에 좀 더 힘을 기울여야 할 것으로 보인다.