• Korean Journal of Logic
• /
• v.14 no.3
• /
• pp.137-176
• /
• 2011

Bob Hale recently proposed a theory of real numbers based on abstraction principles. In his theory, real numbers are regarded as ratios of quantities and the criteria of identities of ratios of quantities are given by an Eudoxan ratio principle. The reason why Hale defines real numbers as ratios of quantities is that he wants to satisfy Frege's requirement that arithmetical concepts should be defined to be adequate for their universal applicability. In this paper I show why Hale's explanation of applications of real numbers fails to satisfy Frege's requirement, and I propose an alternative explanation. At first I show that there are some gaps between his explanation of the concept of quantity and his stipulation of domains of quantities, and that those gaps give rise to some difficulties in his explanation of applications of real numbers. Secondly I introduce a new ratio principle which can be applied to any kinds of quantities, and I argue that it allows us an adequate explanation of the reason why real numbers as ratios of quantities can be universally applicable. Finally I enquire into some procedures of the measurement of quantities, and I propose some principles which we should presuppose in order to successfully apply real numbers to the measurement of quantities.

• Journal of the Korean Electrochemical Society
• /
• v.17 no.2
• /
• pp.94-102
• /
• 2014

Cation exchange membrane (Nafion) was modified to reduce the vanadium ion permeation through the membrane and to increase the vanadium redox flow battery (VRB) system performance by coating the graphene oxide (GO) which has nano-plate like morphology. Modified membrane properties were studied by measuring the ion exchange capacity (I.E.C), water uptake and proton conductivity. The thickness of the coated layer on the surface of the Nafion membrane was observed as $0.93{\mu}m$ by SEM. Proton conductivity and vanadium ion permeability of the modified membrane were decreased to 27% and 25% compared to that of the commercial Nafion membrane respectively. VRB single cell performance test was performed to compare the system performance of the VRB applied with commercial Nafion membrane and modified membrane. VRB system applied with modified membrane showed higher coulombic efficiency and energy efficiency than the VRB system applied with the commercial Nafion membrane due to the reduction of the vanadium ion permeation. From these result, we could suggest that the membrane modification by coating the GO on the surface of the Nafion membrane could be one of the promising strategies to reduce the vanadium ion permeation and to increase the VRB system performance effectively.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.44 no.8
• /
• pp.1180-1185
• /
• 2015

This study was performed to investigate the biological activity of yangha flower buds as well as to manufacture of yanggeng prepared with various levels (0 g, 3 g, 6 g, 9 g, and 12 g) of yangha flower buds. DPPH and ABTS scavenging activities of yangha flower buds were 96% and 57% compared to levels of vitamin C, respectively. In the oxygen radical antioxidant capacity assay, antioxidant activity increased dose dependently up to $500{\mu}g/mL$ of yangha flower buds. There was no toxicity up to $1,000{\mu}g/mL$ in vascular smooth muscle cells, and yanggeng significantly reduced migration and proliferation by platelet-derived growth factor-BB-stimulated rat aortic smooth muscle cell migration and proliferation. In the sensory evaluation, the optimal sample was YY9, which was prepared with 9 g of yangha flower buds. It can be concluded that yangha flower buds show antioxidant and vascular protective activities. The optimal sample (YY9) is expected to contribute as a new functional food.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.10 no.5
• /
• pp.159-168
• /
• 2010

This study investigates the relationships between the maximum freshwater pumping discharge and hydraulic properties of coastal aquifer using a laboratory model. The experiment performed the fresh pumping test in various locations near the saltwedge induced by saltwater intrusion to freshwater over aquifer characteristics of hydraulic conductivity, salinity, and ground surface slope. Saltwater pumping also tested to protest saltwater intrusion to the excessively discharging freshwater well. The maximum freshwater discharges were achieved, and then the optimum saltwater discharges were measured. It is found that greater hydraulic conductivity and ground surface slope produced greater the maximum freshwater pumping discharge. Salinity gave less impact on the pumping discharge relatively. Higher freshwater discharge was found at higher hydraulic conductivity and steeper ground surface slope. The optimum saltwater discharge required 14% more pumping rate than the maximum freshwater discharge to keep saltwater intrusion to the freshwater pumping well. Pumping well located closer to salt-wedge profile promoted less freshwater pumping discharge. Therefore, pumping well location, hydraulic conductivity, ground surface slope, and salinity should be taken into account in freshwater pumping in coastal aquifer.

• Proceedings of the Korean Society of Applied Pharmacology
• /
• 1996.04a
• /
• pp.173-173
• /
• 1996

포도당 수송을 증가시키는 것으로 밝혀진 brazilin의 작용이 지방세포의 단백질과 결합하여 나타나는지 알아보기 위한 실험으로 brazilin의 단백결합 성질을 살펴보았다. Brazilin의 단백결합 실험에는 [$^3$H]-brazilin을 사용하여 결합된 양을 방사선 동위원소량으로 확인하였다. 먼저 일반적인 단백결합을 알아보기 위하여 산침전을 이용한 brazilin의 BSA에 대한 결합을 살펴보았다. 그 결과 brazilin은 시간의 경과에 따라 BSA에 결합하는 양이 증가하여 2시간에 최고치에 달했으며 그 양은 약 80% 정도였다. 세포내 단백과의 결합은 BSA에 대한 결합과는 달리 1시간만에 최고치에 달하였다. 세포내 분획에 분포하는 brazilin의 양을 알기 위하여 brazilin처리 후 세포내 분획을 원심분리로 얻어 brazilin의 양을 확인하였다. 그 결과 brazilin은 cytosol에 대부분 존재하며 microsomal membrane과 nuclear에 많은 양이 존재하는 것으로 확인되었다. SDS-PAGE를 이용하여 brazilin과 결합한 각 분획의 단백질을 살펴본 결과 brazilin은 cytosol의 30, 65KD, microsomal membrane의 45, 130KD, nucear의 26, 35KD, plasma membrane의 46, 228KD protein과 반응하는 것으로 확인되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.499-501
• /
• 2001

무선 채널 상태는 같은 셀 안의 사용자의 수 또는 사용자의 움직이는 속도 등과 같은 많은 변수들로 인해 급격히 변화한다. 따라서 무선 채널의 효율적 관리는 무선 통신에 있어서 가장 중요한 고려사항이다. 효율적인 무선 채널 관리를 위해서는 정량적인 근거를 제시해 주는 기준인 트래픽 양 측정방안이 요구된다. 현재 3GPP의 UMTS문서에서 제시하고 있는 정량적인 근거는 오직 RLC 대회에 있는 양만을 참조한다. 이 경우 일정한 레이트(rate)론 유지하는 음성형 서비스(conversational service)에는 적당할 수 있지만 멀티미디어와 같이 레이트가 일정하지 않은 서데스에 대해서는 이후에 전송될 데이터에 대한 정확한 트래픽 양 측정이 불가능하다. 따라서 본 논문에서는 토큰 버켓 모델을 이용하여 이후에 들어올 데이터 양에 대하여 보다 정확한 트래픽 양을 예측할 수 있는 메커니즘을 제안한다.

• Membrane Journal
• /
• v.12 no.1
• /
• pp.1-7
• /
• 2002

Currently, the commercialized cation exchange membranes have the excellent performance and stability, however their costs are very expensive and they are not still optimized for the several application areas. A number of membranenologists are focused to solve the problems on the development of novel membrane to be applicable to each membrane field. The present will deal with the introduction of the existing membrane materials and their performances.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.859-861
• /
• 2015

생산 기술이 발전함에 따라 제품의 생산량이 증가하고 컴퓨터 비전을 통한 제품의 양/불 판단 기술의 필요성이 증가하고 있다. 제품의 양/불 판단은 그 정확도가 중요하며, 동시에 빠른 검사를 위한 신속성이 요구된다. 기존 연구들에서 다양한 금속성 제품에 대한 양/불 판단과 각인된 글자에 대한 양/불 판단을 수행하는 연구가 지속되어 왔으나 자동차 에어백 부품 중 하나인 Upper Housing의 양/불을 판단하는 알고리즘은 부재하다. 본 논문에서는 Upper Housing에 대해 각인 문자의 양/불을 판정하는 알고리즘을 제안한다. 먼저 영상에서 기준점이 되는 원을 찾는 것부터 시작하여, 기준점을 기반으로 특정 각도로 회전시켜 미리 수집한 글자 이미지와의 템플릿 매칭을 통해 글자가 제대로 각인 되었는지를 판단한다. 실험에서는 에어백 부품에 대한 검사 장치에서 촬영한 동영상에 대하여 제안한 알고리즘을 적용하였고, 그 결과 높은 정확도로 글자를 검출할 수 있음을 확인하였다.

• The Korea Swine Journal
• /
• v.10 no.11 s.111
• /
• pp.40-41
• /
• 1988

이번 국정감사에서 양축가들이 아쉽게 생각하는 점은 사료곡물 수입쿼터제와 같이 그간 양축가 단체가 수십차례 건의해도 뚜렷한 이유없이 묵살되어 양축가들이 큰 피해를 입은 문제들이 그냥 넘어갔다는 점이다.

• 베이커리
• /
• no.12 s.413
• /
• pp.154-157
• /
• 2002

(주)제원인터내쇼날은 지난 11울 12일과 13일 양일간 패티스 데몬스트ㅔ이터인 로홍 끌로쯔로드씨(Laurent Cluzelaud)를 초청, 양과자 세미나를 개최했다. 한국제과고등기술학교에서 열린 이날 세미나에서는 각종 프리믹스와 프랄린류를 이용한 제품이 선보였다.