• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.845-846
• /
• 2009

컴포넌트 기반 개발 방법은 컴포넌트의 재사용으로 인한 개발 비용의 절감뿐만 아니라, 컴포넌트 분석의 재사용으로 인한 검증비용의 절감과 시스템의 질적 향상을 도모할 수 있는 장점을 지니고 있는 반면, 컴포넌트들간 상호작용의 복잡도의 증대로 인한 결함률이 높아질 수 있다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로한 컴포넌트 정제 과정에서 정제 전, 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 정제과정 전 단계에 걸쳐 사용되어 컴포넌트 간의 상호작용으로 인한 잠재적인 결함을 조기에 발견하고 해결하는 데 기여할 수 있다.

• The Magazine of the Society of Air-Conditioning and Refrigerating Engineers of Korea
• /
• v.30 no.8
• /
• pp.54-59
• /
• 2001

바낙 공기 급기(UFAD, underfloor air distribution)는 사무실과 상업 건물의 공조를 위하여 바닥 하부 공간을 사용하는 혁신적인 기술이다. 북미에서는 UFAD가 기존 천장 공기 급기 방식에 비하여 많은 장점을 지니므로 그 수요가 날로 증가하고 있다. 잘 설계된 UFAD 시스템은 다음과 같은 장점을 지닌다. - 건물의 용도 변경에 따픈 유연성이 우수하므로 건물의 생애 주기 비용을 감소시킨다. - 개별 쾌적성 제어가 가능하므로 온열 쾌적성, 거주자의 만족도 그리고 생산성을 향상시킨다. - 거주자주변에 직접 선선한 공기를 공급하므로 환기 효율, 실내 공기질 그리고 건강 상태를 향상시킨다. - 이코노마이저 운전, 온도 성층화 그리고 낮은 정합 운전에 의하여 에너지 비용을 감소시킨다. - 설비 공간이 축소되고 표준 철골 구조에서는 콘크리트 구조체 변경이 가능하므로 새 건축 공법에서는 충고를 감소시킬 수 있다. 1995년까지만 해도 UFAD는 파격적인 설계 기법이라고 여겨졌지만, 이제 설계자와 건축업자들은 2004년까지 신축되는 사무용 건축품의 35%는 바닥을 높인 기법이 적용되며 이 중 반 정도가 UFAD를 채택할 것이라고 예측하고 있다. 2000년 2억불이라고 추정되던 바닥을 높이는 건축의 시장 규모가 2004년에는 최소 10억불이 되리라고 예측된다. UFAD는 기본 연구에 의한 정립된 표준화된 설계 기법과 지침이 아직 마련되지 않았음에도 불구하고 현재 설계, 시공되고 있다. 이라한 경향은 펄수적인 연구가 수행되어 관련 업계가 지식과 경험을 충분히 쌓기 전까지는 계속될 전망이다. 본고는 시스템 설계와 운영의 주요한 특징, 기존 방식과 비교하여 지니고 있는 잠재적인 장점, 한계와 기술 개발의 필요성, UFAD 기술 개발을 위하여 계속적으로 요구되는 연구 분야 등을 서술함으로써 현재 UFAD 기술에 대한 평가를 한다.

• Environmental and Resource Economics Review
• /
• v.9 no.1
• /
• pp.209-228
• /
• 1999

탄소세는 기후변화 방지를 위한 구체적 수단으로 교토의정서에서 채택된 시장원리 중심의 유연성체계 장치와의 결합선상에서 주목을 받고 있다. 국제경쟁력 감소 총탄소배출량증가 등 잠재적 부작용에도 불구하고, 탄소세는 기후변화협약에 따른 의무감축 수행을 위한 비용 효과적인 방안으로 인식되고 있다. 선진국을 중심으로 볼 때, 지금까지 탄소세는 덴마크, 핀랜드, 네덜란드, 노르웨이, 스웨덴 등 북유럽 5개국이 부분적으로 실시하고 있으나 갖가지 예외조항의 실시로 인해 본래의 의미인 환경보호는 소홀히 취급되고 경쟁력 약화 우려가 정책결정의 주요한 변수로 작용하고 있다.

• Environmental and Resource Economics Review
• /
• v.27 no.2
• /
• pp.339-362
• /
• 2018

In this paper, we simulate the contribution of an increasing renewable energy to demands for fossil fuels and power supply price by estimating a cost function for the Korean electric power generation sector. Since the renewable energy is a composite input, it is not feasible to compute the price index for renewable energy due to data limit. We estimate a restricted cost function, which is derived by minimizing the costs of fossil fuels conditional on the quantity of renewable energy set to its optimal level, jointly with supply relation. In particular, derivation of the shadow price of renewable energy would make it possible to analyze potential costs incurred by power plants.

• Electronics and Telecommunications Trends
• /
• v.24 no.4
• /
• pp.147-159
• /
• 2009

VoIP는 유무선 인터넷의 IP 망을 기반으로 차세대 유비쿼터스형 전화로 부각될 가능성이 있으며 유선 부문의 VoIP는 특화된 서비스 모델을 바탕으로 급격한 시장확산이 진행되고 있다. 인터넷 전화인 VoIP는 저렴한 비용으로 고품질의 음성 및 화상 서비스를 제공할 뿐만 아니라 데이터 서비스와의 융합을 통해 이용자에게 다양한 편익을 제공한다는 측면에서 향후 성장잠재력이 높을 것으로 전망되고 있다. 특히, 기업에서는 VoIP를 통해 비용을 절감할 뿐만 아니라 VPN 또는 기업 데이터형 솔루션과 결합하여 새로운 경쟁무기로 활용할 유인이 있어 일반인에 비해 적극적인 수용태도를 형성하고 있다. 그런데, 국내 기업의 VoIP 수용현황 및 특성을 분석한 보고서가 거의 없는 실정이다. 이에 본 글에서는 국내 기업에 대한 조사결과를 바탕으로 VoIP 서비스 이용률, 이용방식, 만족 및 불만족 요인, 비이용기업의 잠재적 수요특성을 체계적으로 분석하였다. 이를 바탕으로 결론적으로 국내 기업에서 VoIP 서비스가 활성화되기 위한 방향을 제시하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.283-286
• /
• 2010

안전중요 소프트웨어 코드의 검증은 1%의 잠재적 가능성을 가진 오류조차 허용하지 않는 철저한 검증방식을 요구한다. 이러한 요구에 부응하여 최근 수학적 모델을 사용한 정형검증 기법이 코드검증에 활발하게 적용되고 있으나, 코드의 복잡도와 크기의 증가에 따른 검증비용의 기하급수적 증가가 해결과제로 부각되어왔다. 본 연구에서는 검증하고자 하는 특성을 중심으로 검증대상 코드를 추출, 정형검증의 대상을 자동으로 축소하는 코드추출기를 개발하였다. 개발된 코드추출기는 자동차 전장용 운영체제의 검증에 보조적으로 활용되어 검증비용을 90% 이상 절감하고 검증 사용성을 높이는데 기여하였다.

• KDI Journal of Economic Policy
• /
• v.34 no.2
• /
• pp.55-93
• /
• 2012

In Korea, energy policies are actualized through various energy-related plans. Recently, however, as high-ranking plans, which are very vision-oriented, continually set higher sector-by-sector goals, subordinate action plans, which require consistency, encounter distortions in their establishment process. Also, each subordinate action plan reveals limitations in terms of securing flexibility of the plan in responding to uncertainties of the future. These problems pose potential risks such as causing huge social costs. In this regard, with an aim to provide empirical evidence for discussions on improving the procedure for developing and executing Korea's energy plans, this study mainly analyzes the Basic Plan on Electricity Demand and Supply-one of the most important subordinate action plans-in order to explain the problems of the Basic Plan in a logical manner, and potential problems that could occur in the process of sustaining consistency between the Basic Plan and its higher-ranking plans. Further, this paper estimates the scale of social costs caused by those problems assuming realistic conditions. According to the result, in the case of where maximum electric power is estimated to be 7% (15%) less than the actual amount in the Basic Plan on Electricity Demand and Supply, the annual generation cost will rise by 286 billion won and (1.2 trillion won) in 2020. Such social costs are found to occur even when establishing and executing the Basic plan according to the target goal set by its higher-ranking plan, the National Energy Master Plan. In addition, when another higher-ranking GHG reduction master plan requires the electricity sector to reduce emissions by additional 5% in the GHG emissions from the right mix in electricity generation with 'zero' cost of carbon emission, the annual generation cost will rise by approximately 915 billion won in 2020. On the other hand, the analysis finds that since economic feasibility of electric powers in Korea varies significantly depending on their type, Korea is expected to face very small potential social costs caused by uncertainties over the future price of carbon dioxide in the process of establishing the Basic Plan.

• Environmental and Resource Economics Review
• /
• v.33 no.1
• /
• pp.33-57
• /
• 2024

This study analyzes the purchase subsidy for electric light-duty vehicles in terms of environmental benefits and total cost of ownership(TCO). For the environmental benefits, we considered the emissions from the power generation mix and reflected the change in efficiency of electric vehicles according to the temperature distribution. The environmental benefits of driving electric vehicles were estimated to be between KRW 2.2 million and KRW 5.3 million. Also, the TCO of electric vehicles compared to diesel vehicles under the current purchase subsidy was estimated to be about KRW 3.6 million lower for business use and about KRW 6.6 million lower for non-business use. These results imply that it is reasonable to lower the unit price of the purchase subsidy even within the same budget. Moreover, the remaining budget could be better spent on upgrading the charging infrastructure, which would reduce the inconvenience of charging for potential buyers.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10b
• /
• pp.1151-1154
• /
• 2001

외판원 문제(Traveling Salesman Problem)는 주어진 n개의 도시들과 그 도시들간의 거리비용이 주어졌을 때, 모든 도시들을 정확히 한번씩만 방문하면서 걸린 비용이 최소가 드는 경로를 찾는 문제로 최적해(optimal)을 구하는 것은 전형적인 NP-완전 문제중의 하나이다. 따라서 외판원 문제를 해결하는 다양한 알고리즘들이 개발되고 있다. 특히 요즈음은 실제 생체 분자(bio-molecule)를 계산의 도구로 사용하는 새로운 계산 방법인 DNA 컴퓨팅은 DNA 분자가 잠재적으로 가지고 있는 막대한 병렬성을 이용해서 NP-완전 문제들을 해결하고자 하는 연구들이 땀이 진행되고 있다. 그러나 아직 실제 생체 분자의 특성을 잘 반영하는 계산 모델이나 분자 생물학에서 사용하는 연산들이 많이 개발되지 알아 계산 효율이 비교적 좋지 않다. 따라서 본 논문에서는 외판원 문제를 해결하기 위한 DAN컴퓨팅의 새로운 중합 효소 연쇄 반응(Polymerase Chain Reaction, PCR) 연산을 개발하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8S
• /
• pp.2735-2747
• /
• 2000

클라이언트/서버 데이터베이스 시스템에서 로깅 기법을 사용하는 기존 회복 기법은 서버에서만 전체 로그를 관리한다. 이는 잠재적으로 각 클라이언트에서 수행되는 트랜잭션에 대한 로그 레코드의 전송 비용을 내포하고 있고, 네트워크 트래픽을 증가시킨다. 본 논문에서는 로그 레코드의 전송 비용을 제거하기 위해서 클라이언트 기반 로깅(client-based logging)을 지원하고, 중복된 before-image를 제거하고 재수행 전용 로그(redo-only log)만을 로깅하는 방법을 제안한다. 그리고 클라이언트 파손 시 클라이언트에서 자치적으로 한번의 후방향 클라이언트 로그 분석을 이용한 재수행 회복을 하고, 서버 파손 시 각 클라이언트에서는 병행적으로 후방향 클라이언트 로그 분석을 이용하여 회복해야 하는 페이지의 after-image만을 서버에 전송하며, 서버에서는 수신된 after-image와 후방향 서버 로그 분석을 이용하여 재수행 회복을 수행한다.