• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.845-846
• /
• 2009

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

• 대한설비공학회지:설비저널
• /
• 제30권8호
• /
• pp.54-59
• /
• 2001

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

• 자원ㆍ환경경제연구
• /
• 제9권1호
• /
• pp.209-228
• /
• 1999

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

• 자원ㆍ환경경제연구
• /
• 제27권2호
• /
• pp.339-362
• /
• 2018

본 논문에서는 국내 발전산업에 대한 비용함수를 추정하고 계수에 대한 시뮬레이션을 통하여 신재생에너지 투입 확대가 화석에너지 수요와 전력공급가격에 미치는 파급효과를 분석한다. 신재생에너지는 풍력, 태양광, 바이오, 연료전지, 수력 등 여러 에너지원을 통합한 개념으로서 산정방식의 일반화 문제와 자료의 제약 등의 이유로 각 에너지원의 상용 단가를 하나의 투입 가격으로 객관적으로 산정하는 것은 용이하지 않다. 이러한 현실적 한계를 고려하여 적정 수준의 신재생에너지 투입을 전제로 제약비용함수(restricted cost function)를 도출한 다음, 공급관계식(supply relation)을 결합하여 추정을 위한 방정식체계를 구성한다. 특히 신재생에너지의 암묵가격(shadow price)을 산출함으로써 신재생에너지 투입 확대로 인한 기업의 잠재적 비용부담의 변화추이를 분석한다.

• 전자통신동향분석
• /
• 제24권4호
• /
• pp.147-159
• /
• 2009

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.283-286
• /
• 2010

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

• KDI Journal of Economic Policy
• /
• 제34권2호
• /
• pp.55-93
• /
• 2012

우리나라에서 에너지정책은 다양한 에너지 관련 계획들을 통해 구체화된다. 그런데 최근 비전으로서의 성격이 강한 상위계획에서 설정되는 부문별 목표가 지속적으로 상향 조정됨에 따라 상위계획과의 정합성을 유지해야 할 필요가 있는 (실행계획으로서의) 하위계획 수립에서 왜곡이 발생하고 있다. 이와 더불어 개별 하위계획 자체도 미래의 불확실성에 대응하여 계획의 유연성을 확보하는 측면에서 한계를 보이고 있다. 이러한 문제들은 잠재적으로 막대한 사회적 비용을 초래할 위험을 내포하고 있다. 이에 본 논문은 우리나라 에너지 계획의 수립 집행과 관련한 개선방안의 논의에 실증적인 근거를 제시하기 위해 실행계획 가운데 가장 중요하게 인식되고 있는 전력수급기본계획을 주된 분석대상으로 삼아, 전력수급기본계획 자체의 문제, 전력수급기본계획과 상위계획 간 정합성을 유지하는 과정에서 발생할 수 있는 문제를 논리적으로 설명하고, 현실적인 상황을 가정하여 그러한 문제들이 초래할 수 있는 사회적 비용의 규모를 추정하였다. 분석 결과, 전력수급기본계획 수립 시 최대전력이 실적치보다 7%(15%) 적게 추정되는 경우 2020년 기준으로 연간 발전비용이 약 2,860억원(1조 2,160억원) 증가하며, 이러한 사회적 비용은 상위계획인 국가에너지기본계획에서 설정한 미래 전력수요 목표치에 맞추어 전력수급기본계획이 수립 집행되는 경우에도 유사하게 발생함을 보였다. 또한 상위계획인 온실가스 감축 마스터플랜에서 전력부문에 부과하는 감축목표량이 과도하게 설정되어 탄소배출비용이 0일 경우의 적정 전원구성에서 발생하는 온실가스 배출량의 5%를 추가 감축해야 하는 경우에도 연간 발전비용은 2020년 기준으로 약 9,150억원 증가한다. 반면, 우리나라의 경우 전원별 경제성에 큰 차이가 존재하는 특성으로 인해 전력수급기본계획 수립 시 미래 $CO_2$ 가격의 불확실성이 초래하는 잠재적인 사회적 비용의 크기는 매우 작은 수준으로 분석되었다.

• 자원ㆍ환경경제연구
• /
• 제33권1호
• /
• pp.33-57
• /
• 2024

본 연구는 전기 소형화물차에 대한 구매보조금이 환경편익의 측면과 총보유비용 동등성 측면에서 볼 때 적정한 수준인지에 대하여 분석하였다. 환경편익에 대해서는 발전믹스에 따라 발생하는 환경오염물질 배출량을 고려하였으며, 기온분포에 따른 전기차의 효율변화도 반영하였다. 소형화물차의 경우, 경유차 대신 전기차를 운행함에 따른 환경편익은 차량의 총운행기간에 걸쳐 217~530만 원 수준으로 추정되었다. 또한, 현행 구매보조금 제도하에서 경유차 대비 전기차의 총보유비용은 사업용은 약 360만 원, 비사업용은 약 660만 원 낮은 것으로 추산되었다. 즉, 환경편익의 관점에서든 총보유비용의 관점에서든 보다 효율적으로 재정을 활용하고자 한다면 같은 예산이라도 전기 소형화물차에 대한 구매보조금 단가를 낮추는 것이 합리적이다. 그 대신 남은 예산은 화물차 전용 충전기의 확보와 같이 충전인프라를 고도화하는 데에 좀 더 집중한다면 잠재적인 구매자들의 금전적인 부담뿐만 아니라 충전 관련 불편함까지 줄여 전기 소형화물차 보급에 더 비용효과적일 것으로 판단된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (하)
• /
• pp.1151-1154
• /
• 2001

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

• 한국정보처리학회논문지
• /
• 제7권8S호
• /
• pp.2735-2747
• /
• 2000

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