• Journal of Navigation and Port Research
• /
• v.35 no.8
• /
• pp.637-641
• /
• 2011

Ocean structure's power system is difficult to construct a stand-alone power system. Therefore, to manage effectively power system of ocean structure, it's important to construct power system which is connected fuel-cell with hybrid power system. This paper designs power system of fuel-cell for the sea based on hydrogen generation mechanism, calculation of using electric power, etc. Designed power system is analysed & simulated using LabVIEW program. And, this paper suggests design method of power system for ocean structure based on analysed & simulated results.

• Journal of Korean Society of Water and Wastewater
• /
• v.18 no.2
• /
• pp.121-127
• /
• 2004

It is necessary to supply external carbon source for enhancement of biological nitrogen removal from domestic wastewater with low influent C/N ratio. Sulfide was chosen as a cost effective electron donor and reaction stoichiometry for autotrophic denitrification was investigated by conducting bench-scale experiments in this study. Higher sulfur to nitrogen (S/N) ratio than the calculated value from theoretical reaction stoichiometry was required when the anoxic reactor was operated at open condition because dissolved oxygen introduced by surface aeration reacted with sulfide with ease. In addition, higher sulfate production and lower yield of microorganism could be observed under the same condition. It was possible to obtain reliable reaction stoichiometry for autotrophic denitrification by establishing pure anoxic condition. Linear relationship between bacterial growth and consumption of nitrate, sulfide, alkalinity, and sulfate production enabled to derive a relatively correct reaction stoichiometry for autotrophic denitrification when sulfide was used as an electron donor.

• Journal of the Korean Data and Information Science Society
• /
• v.21 no.6
• /
• pp.1243-1251
• /
• 2010

For clinical trials, it is common to compare the placebo and new drug. The method of calculating a sample size for two independent populations are the t-test that is used for parametric methods, and the Wilcoxon rank-sum test that is used in the non-parametric methods. In this paper, we propose a method that is using Kim's (1994) statistic power based on the linear placement statistic, which was proposed by Orban and Wolfe (1982). We also compare the sample size for the proposed method with that for using Wang et al. (2003)'s sample size formula which is based on Wilcoxon rank-sum test, and with that of t-test for parametric methods.

• Annual Conference of KIPS
• /
• 2004.11a
• /
• pp.413-416
• /
• 2004

오늘날의 컴퓨팅 시스템은 비즈니스 거래와 분산 업무 처리로 확대되어가고 있으며 정보 기술은 점차적으로 재사용성과 독립성 그리고 이식성을 가진 컴포넌트를 기반으로 한 응용 개발이 확산되고 있다. 컴포넌트 개발 형태는 코드의 재사용이나 클래스 라이브러리보다 좀 더 발전된 형태의 부품개발 형태로서, CBD(Component Based Development)를 기초로 한다. 그러나 CBD를 이용하여 새로운 컴포넌트를 구축하는 비용의 증가와 함께 비즈니스 요구사항에 맞는 컴포넌트 개발을 위한 노력이 필요하며, 빠르고 정확한 컴포넌트 정보를 지원할 수 있도록 시스템 측면에서 정규화 형태의 컴포넌트 모델이 요구되고 있다. 본 논문에서는 사용자 요구사항에 접근하고, 재사용성과 독립성, 그리고 이식성을 가진 컴포넌트를 추출하고, 컴포넌트를 대상으로 인터페이스 나타내고자 한다. 따라서 본 논문에서는 학부생들을 위한 학생정보시스템 구축을 위한 시스템 분석 및 설계 모델을 RUP(Rational Unified Processing) 방법론을 이용한다.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.12 no.2
• /
• pp.131-138
• /
• 2007

In this paper, a novel nonlinear control method of the CVCF(constant voltage and constant frequency) output voltage for the three-phase PWM inverter with LC output filters is proposed. A nonlinear modeling including the output LC filters is linearized by feedback linearization theory, the controllers of which can be designed based on a linear control theory. It is applied to the DC/AC power conversion of the PWM inverter for stand-alone wind power generation system. It has been verified by the experimental results that the proposed control scheme gives high dynamic responses at load variation as well as a zero steady-state error.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.8C
• /
• pp.713-719
• /
• 2010

Collaborative spectrum sensing has been found to be an effective means for detecting the activity of primary users in a fading environment. Most previous works on collaborative spectrum sensing are based on the assumption that the local spectrum sensing decisions of secondary users are statistically independent. However, it may not hold in some practical situations. In this paper, we consider a cognitive radio network where the local spectrum sensing decisions of secondary users are statistically correlated with the same level of correlation if they are next to each other in location and statistically independent, otherwise. Then, for the system, we analyzed the performance of the collaborative spectrum sensing with the AND and the OR fusion rules and found that the scheme with the AND fusion rule performs better than the one with OR fusion rule when the degree of correlation is significant.

• Proceedings of the Plant Resources Society of Korea Conference
• /
• 2019.10a
• /
• pp.22-22
• /
• 2019

수국속(Hydrangea L.)은 APG IV분류체계에 따르면 국화군(Asterids), 층층나무목(Cornales), 수국과(Hydrangeaceae)에 속하는 식물로서 동아시아, 북아메리카 동부 지역을 중심으로 분포하며 전 세계에 23여종이 알려져 있다. 한국산 수국속은 Nakai가 H. hortensia var. acuminata의 분포를 기록함으로써 시작되었다. 이후 Nakai는 산수국을 H. acuminata로 재처리, 다시 H. serrata var. acuminata로 변경하였다. 한편 산수국은 분류학적 위치에 대한 이견이 있다. Wilson은 수국과 산수국을 가까운 유연관계를 가지는 독립된 분류군으로 분류하였지만, Makino는 산수국을 수국의 아종인 H. marcrophylla subsp. serrta로 기재하는 등 산수국과 수국의 동정과 계급설정에 혼란이 있는 가운데, 최근 천연물 hydrangenol을 활용한 건강기능식품 개발에서 사용가능 재료의 한계를 설정하기 위한 산수국과 수국에 대한 종 설정 연구도 요구되고 있다. 따라서 본 연구에서는 nrDNA ITS, trnL-F, trnC-ycf6의 3개 구간의 DNA sequence와 NCBI (National Center for Biotechnology Information)를 참고한 분자생물학적 분석결과와 외부형태학적 재검토 결과를 통하여 H. marcrophylla를 종(Species)으로서의 분류학적 위치 지지하며 또한 수국과 산수국을 가까운 유연관계를 가지는 독립된 분류군으로 분류한 의견을 지지하는 결과를 도출하였다. 향후 hydrangenol 활용의 기초정보로 활용되기를 기대한다.

• Korean Journal of Logic
• /
• v.5 no.2
• /
• pp.39-66
• /
• 2002

일반적으로 엄밀한 방법을 통하여 증명되었다고 말해지는 괴델의 불완전성 정리는 일련의 전제와 배경지식이 요구된다고 하겠다. 이들 중에서 무엇보다도 중요한 것은 정리의 증명에 사용되는 메타언어상의 수학적 참에 대한 개념이다. 일단 확인할 수 있는 것은 "증명도, 반증도 되지 않지만 참인 산수문장의 존재"라는 불완전성 정리의 내용에서 괴델이 가정하고 있는 수학적 참의 개념이 구문론적인 증명개념으로부터 완전히 독립되어야 한다는 점이다. 문제는 그가 가정하고 있는 수학적 참의 개념이 도대체 무엇이어야만 하겠는가라는 점이다. 이 논문은 이 질문과 관련하여 내용적으로 3부분으로 나누어 질 수 있다. I. 괴델의 정리의 증명에 필요한 전제들 및 표의 도움을 얻어 자세히 제시되는 증명과정의 개략도를 통해 문제의 지형도를 조감하였다. II, III. 비트겐슈타인의 괴델비판을 중심으로, "일련의 글자꼴이 산수문장이다"라는 주장의 의미에 대한 상식적 비판 및 해석에 바탕을 둔 모형이론에 대한 대안제시를 통하여 괴델의 정리를 증명하기 위해 필요한 산수적 참에 관한 전제가 결코 "확보된 것이 아니다"라는 점을 밝혔다. IV. 괴델의 정리에 대한 앞의 비판이 초수학적 전제에 대한 것이라면, 3번째 부분에서는 공리체계에서 생성 가능한 표현의 증명여부와 관련된 쌍조건문이 그 도입에 필수적인 괴델화가 갖는 임의성으로 인해 양쪽의 문장의 참, 거짓 여부가 서로 독립적으로 판단 가능하여야만 한다는 점에(외재적 관계!) 착안하여 궁극적으로 자기 자신의 증명여부를 판단하게 되는 한계상황에 도달할 경우(대각화와 관련된 표 참조) 그 독립성이 상실됨으로 인해 사실상 기능이 정지되어야만 한다는 점, 그럼에도 불구하고 이 한계상황을 간파할 경우(내재적 관계로 바뀜!)항상 순환논법을 피할 수 없다는 점을 밝혔다. 비유적으로 거울이 모든 것을 비출 수 있어도 자기 스스로를 비출 수 없다는 점과 같으며, 공리체계 내 표현의 증명여부를 그 체계내의 표현으로 판별하는 괴델의 거울 역시 스스로를 비출 수는 없다는 점을 밝혔다. 따라서 괴델문장이 산수문장에 속한다는 믿음은, 그 문장의 증명, 반증 여부도 아니고 또 그 문장의 사용에서 오는 것도 아니고, 플라톤적 수의 세계에 대한 그 어떤 직관에서 나오는 것도 아니다. 사실상 구문론적 측면을 제외하고는 그 어떤 것으로부터도 괴델문장이 산수문장이라는 근거는 없다. 그럼에도 불구하고 괴델문장을 산수문장으로 볼 경우(괴델의 정리의 증명과정이라는 마술을 통해!), 그것은 확보된 구성요소로부터 조합된 문장이 아니라 전체가 서로 분리불가능한 하나의 그림이라고 보아야한다. 이것은 비트겐슈타인이 공리를 그림이라고 본 것과 완전히 일치하는 맥락이다. 바론 그런 점에서 괴델문장은 새로운 공리로 도입된 것과 사실은 다름이 없다.

• KIISE Transactions on Computing Practices
• /
• v.23 no.4
• /
• pp.256-261
• /
• 2017

The notion of System of Systems (SoS), which is composed by many independent systems (i.e., Constituent Systems, CS), has emerged in various domains including social infrastructure. It is widely expected that complex requirements, which cannot be achieved in each CS-level, will be achieved in an SoS-level. While verification of SoS-level goal achievement is one of the most important problems, concrete case studies on SoS modeling and verification are still rare. In this paper, we focus on the fact that each CS performs an action for its own purpose by its own decision-making mechanism. We propose a novel Action-Benefit-Cost (ABC) SoS model which caters to the independent decision-making mechanisms of CSs. Using an abstract SoS example, this proposal provides a case study for the modeling and quantitative verification of the ABC SoS model.

• Proceedings of the KIEE Conference
• /
• 2006.11a
• /
• pp.170-173
• /
• 2006

2006년 9월 1일에 제정된 독립사업부제는 각 단위별로 자율적인 운영권을 가지면서 비용 등에 대해서도 스스로 책임지도록 하는 제도이다. 배전계통의 사업구역 분할로 시작된 배전 사업부제는 독립 재무제표를 통해 경영실적이 드러나기 때문에 경영혁신과 원가절감 경쟁을 유도할 수 있다는 게 특징이다. 이런 체제의 변화는 기업의 규제 시스템에도 새로운 변화가 필요하게 될 것이다. 하지만 서로 다른 규모와 환경을 가진 사업부들을 하나의 기준으로 평가하는 것은 어려운 일이다. 그래서 본 논문에서는 배전 사업부제로 인해 나눠진 사업부들의 경제성과 상대적인 가치를 평가할 수 있는 방법 중의 하나로 세계적으로 널리 쓰이고 있는 Data Envelopment Analysis를 제안한다. 그 결과를 통해서 사업부에 대한 경영 평가나 각 사업부가 더 높은 경제성을 갖출 수 있는 RPI-X regulation을 수행하는데 하나의 모델로서 사용될 수 있을 것이다. RPI-X regulation에서 X값을 결정하는 것은 비용 경쟁력을 향상시키는 비율을 나타내기 때문에 적절한 X값을 찾는 것이 가장 중요하다고 하겠다. 이 때 여러 개의 입력과 여러 개의 출력을 가지는 문제에 대해서 쉽게 결과를 나타낼 수 있는 Data Envelopment Analysis를 X를 결정하는 방법으로 사용하였다. 그리고 사업부들의 노동력과 선로긍장과 용량 등의 값을 입력으로 하고 고객호수와 판매량을 결과로 하여 RPI-X regulation의 적절한 X값을 찾는 예를 통하여 이 방법이 실제적으로 어떤 효과가 있는지 확인해보았다. 본 논문에서는 분화된 사업부들에 대하여 Data Envelopment Analysis 기법을 이용하여 RPI-X regulation을 수행하였고 결과적으로 본 논문에서 제안한 방법을 통하여 분화된 배전 시스템에도 적용할 수 있는 가능성을 보였다.