• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 제38회 하계학술대회
• /
• pp.828-829
• /
• 2007

전력산업의 구조를 기존의 독점적 구조에서, 분할을 통한 경쟁체제로 변환하려는 움직임이 현재 진행 중이다. 전력산업에 경쟁을 도입함으로써 효율성을 최대화하기 위함이다. 향후 형성될 도매경쟁시장에서 발생될 시장참여자의 여러 가지 행태에 대한 예상과 분석은 시장의 불안정 요소를 미리 찾아내고, 이를 사전에 예방할 수 있는 규제수단을 개발하기 위해 아주 중요하다. 본 논문에서, 우리는 에이전트 기반모델을 활용해서 전력 시장의 주요 논제를 평가할 수 있는 지표를 정의하여 제시할 것이다. 그 지표에는 시장운영지표, 시장수급지표, 시장예측지표가 있다. 그리고 에이전트 기반 모델 접근법은 전력시장의 개편으로 인해 더욱 복잡해진 시장 환경을 반영하여서, 기존의 게임이론의 한계를 넘어서 실제적인 값들을 지표에 반영시켜줄 것이다

• 기계저널
• /
• 제30권1호
• /
• pp.9-16
• /
• 1990

CIM기술은 기업체 지원형 및 국산화형 생산기술과 더불어 필수적이고 상호 보완적인 산업기술이 고 또한 첨단제품기술 및 원천과학기술과의 연계가 가능한 접속(interface) 기술이다. 동시에 이의 연구개발은 다분야 공동참여적인 (multi-disciplinary) 기술적 배경을 필요로 하며 산업계 연구 수 행과 종속적이고도 이원적인 연구 체제가 필요하다. CIM기술개발의 예로서 제품 설계에서부터 설계의 해석 및 평가, 금형 설계, 공장 설계, 가공, 사상 및 측정. 검사까지의 과정과 생산통제를 포함하는 제반 생산 행위를 컴퓨터를 이용하여 생산 정보를 통합 제어함으로써 합리적인 금형 생산을 위한 사출 금형의 모델 플랜트를 소개하였다. 이 모델 플랜트는 설계, 공정 설계/NC, 연마, 측정. 검사, 시스템 통제의 5개 스테이션으로 구성되며, 각 스테이션에서의 중단위 통합 모델이 테스트되었다. 향후, 스테이션 간의 정보 흐름이 완전히 통합되면 금형업체는 물론 많은 제조업체에서의 광범위한 CIM기술 활용이 기대된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (상)
• /
• pp.461-464
• /
• 2001

최근 컴퓨터관련 모든 분야에서 '실시간(Real-Tine)' 기술이 각광을 받고 있으며 그에 따라 각 분야에 따른 요구사항에 맞춰 변형되어 연구, 응용되고 있다. 그 중에서도 운영체제 레벨에서 실시간 프로세스를 지원할 수 있는 실시간 어플리케이션 분야 연구가 활발해지고 있다. 이러한 실시간 어플리케이션 분야에서 디자인 효율성과 시스템 신뢰도를 높이기 위해 일반화된 형태의 디자인 스타일과 디자인 단계 적시성 서비스 기능 보장 등의 실시간 컴퓨팅 패러다임을 실현하기 위한 연구가 주목받고 있다. 이에 따라 본 논문에서는 최근 인기가 급증하고 있는 LINUX 시스템에서 일반화된 형태의 디자인 스타일을 지원하고 디자인 단계 적시성 서비스를 보장하는 실시간 객체 모델로서 뛰어난 TMO 모델의 실행 엔진을 개발하는 연구에 대해 소개한다.

• 정보처리학회논문지D
• /
• 제18D권6호
• /
• pp.443-450
• /
• 2011

모델 중심 컴포넌트 기반 개발 방법은 개발 대상 시스템을 하나의 추상컴포넌트로 보고, 재귀적인 컴포넌트의 분화(decomposition)와 정제(refinement) 과정을 통하여 물리적인 컴포넌트를 도출해내는 하향식 개발방식이다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로 한 컴포넌트 정제 과정에서 정제 전 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 분화와 정제 전 과정에 걸쳐 사용되어 정제 전 후 컴포넌트 간의 상호작용 오류로 인한 잠재적인 결함을 조기에 발견하고 해결하는데 기여할 수 있다. 본 논문은 추상컴포넌트의 각 구성요소들을 정형검증기 SPIN의 구성요소로 변환하기 위해 사용된 변환방법들과 변환기의 구성요소들을 소개한다. 개발된 변환기는 자동차 거울조종시스템, 무선센서네트워크를 위한 운영체제 등의 사례연구에 적용되어 그 효용성을 입증하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권9_10호
• /
• pp.429-440
• /
• 2008

갈수록 복잡해지는 임베디드 시스템을 개발하는데 있어서 소프트웨어 개발의 중요성이 점차 커지고 있다. 대부분의 임베디드 응용 소프트웨어는 멀티 태스크로 구성되어 있는 병렬 소프트웨어이며, 기존의 순차적인 프로그래밍 언어만으로 개발하는 것보다는 알고리즘의 병렬성을 명세하기에 용이한 데이타플로우 모델로부터 소프트웨어를 생성하는 것이 유망하다. 생성된 멀티태스킹 코트를 수행하기 위해선 태스크들을 병렬적으로 수행해 주고 태스크간 동기화를 담당해 줄 운영체제의 도움이 필요하다. 그러나 운영체제를 사용하기 어려운 환경이나 설계 공간 탐색 과정에서 운영체제를 매번 다양한 하드웨어 플랫폼에 포팅하기 어려운 경우에는 운영체제 없이 멀티 태스크 응용을 수행할 수 있는 방법이 필요하다. 이것을 위해서 이 연구에서는 데이타 플로우 명세로부터 직렬화 된 멀티태스킹 코드를 생성하는 방법을 제안한다. 제안하는 방법에서 하나의 태스크는 데이타 플로우 모델로 명세되며, 하나의 C 코드로 생성된다. 코드 생성은 크게 두 단계로 이루어지는데, 먼저 태스크를 구성하는 블록들을 각각 함수 형태로 코드를 생성한 후에, 생성된 여러 태스크의 함수들을 모아서 직렬화 하여 호출하는 스케줄러를 만든다. 이 때에 스케줄러를 효율적으로 만들 수 있는 자료구조 및 정보를 제공하여 사용자가 수동으로 스케줄러를 만드는 것도 가능하도록 하였다. DivX예제를 통하여 제안하는 방법으로 생성한 코드가 효율적으로 올바르게 동작함을 보였다.

• 문화기술의 융합
• /
• 제7권4호
• /
• pp.95-104
• /
• 2021

본 연구는 한국 장애학생을 위한 전환교육 모델을 융합 재구성하는 데 목적을 두어 실시되었으며, 궁극적으로 학교-지역사회 연계 장애인평생교육 지원체제 개발 타당성 관점을 제고하고자 하는 데 의의를 두어 역시 실시되었다. 연구 방법은 장애학생 전환교육 모델을 학령기와 성인기 간 연계 관점에서 구체화하고자 한 선행 연구문헌을 분석한 절차를 기초로 하여 전문가 회의를 병행하는 절차로 구성되었다. 연구 내용은 현행 특수교육 분야에 구축된 전환교육모델을 융합 재구성하기 위해 IEP-ITP-ILEP 간 연계교육이 특수교육과 장애인평생교육 간에 학교 중심, 지역사회 중심, 교육, 복지의 관점을 근거로 일관적 연계 타당성을 확보하는 차원으로 반영되었다. 이에 따라, 학령기 중심의 특수교육 분야에서 구축된 장애학생의 전환교육 모델이 학령기와 성인기 전환 시점의 단편적 접근 경향성을 최소화하고, 성인기 전체와 연계될 수 있는 표준 근거와 구성 체계를 제시함으로써 현행의 전환교육 모델을 내용 측면에서 융합 재구성하였다.

• 사회경제평론
• /
• 제31권3호
• /
• pp.203-237
• /
• 2018

이 글에서는 마이드너(Meidner)의 임노동자 기금안을 비판적으로 연구한다. 또한 이에 기초하여 보편적 복지체제를 위한 새로운 전망을 창출하고자한다. 복지체제의 관점에서 기금안은 '재분배'를 중심으로 하는 스웨덴 모형의 보편복지체제에 대한 시정 또는 보완이다. 그런데 기금안은 길드 사회주의라는 이념 및 그 근본전제, 곧 노동중심주의를 스웨덴 모델과 공유한다. 이 글에서는 이로 인한 기금안의 한계를, 특히 기금안이 추구하는 세 목적, 즉 재산분배의 균등화, 경제 민주주의 및 초과이윤의 회수와 관련하여 논의한다. 이어서 기금안의 한계, 나아가 스웨덴 보편복지체제의 한계를 극복하는 대안이, 길드 사회주의 및 노동중심주의와 단절되는 새로운 이념과 근본전제에 기초해야 함을 부각한다. 이 글에서는 이러한 요건을 갖춘 대안으로 공유부 기금을 조성하고 그에 대한 배당의 형태로 기본소득을 실시할 것을 제안하는 이론들에 주목한다. 특히 '기금안'에 대한 대안적 전망을 마련한다는 취지에서, 이 글에서는 미드, 바루파키스, 라이트의 이론을 비판적으로 연구하여, 공유부 기금의 독립적인 한 부분으로 공유 주식자본 및 이에 기초하는 기본소득을 기금안에 대한 대안적 전망으로 제시한다.

• 산업진흥연구
• /
• 제7권2호
• /
• pp.43-49
• /
• 2022

본 연구는 에스핑-앤더슨의 복지국가체제론을 연구하여 한국의 실정에 맞는 복지국가의 모형을 개발하여 이를 현실에 적용하고자 한다. 본 연구방법에 있어서 기본적으로 이데올로기를 연구 분석하고 이를 에스핑-앤더슨의 복지국가체제론을 중심으로 하여 이를 한국적 상황에 알맞게 적용하는 방법을 사용하고 있다. 복지국가의 모형에 관한 연구는, 1965년 윌렌스키와 르보에 의해 주장된 보완적 모형과 제도적 모형의 분류 이후에 다양한 모형들이 연구되고 있다. 또한 에스핑-안데르센은 이데올로기에 따른 복지국가의 모형으로 세 가지를 주장하고 있는 데, 첫째, 자유주의 복지체제는 고전적 자본주의의 모습에 가장 잘 부합하는 데에는 시장 역할이 중심적이며, 시장을 통한 개인주의적 연대에 방해가 될 수 있는 국가 또는 가족의 역할은 실제로 주변화 되어 있다. 또한 시장을 통한 개인주의적 연대에 대해 최대한 장려하기 위해서는 국가영역에서의 탈상품화는 최소화 경향으로 흐르고 있다. 둘째, 보수주의적 복지체제는 가족주의적 요소가 강해서 사회적 연대의 근원은 가족이며, 국가는 이 가족의 특성을 지원, 보완하는 역할을 한다. 보수주의적 체제에서 탈상품화가 가구주에게 높게 나타나거나, 복지제도가 조합주의적이고 국가주의적 형태를 띠는 것은 이러한 특성을 반영한 결과라고 할 수 있다. 셋째, 사회민주주의적 복지체제는 사회적 연대의 근원이 국가이다. 따라서 국가 역할이 크고, 국가는 탈상품화 가능성이 높으며, 보편주의적 개입에 의해서 가족과 시장에 대한 대체 특성을 갖는다. 본 연구는 에스핑-앤더슨의 3가지 복지국가의 모형을 적용하여 한국 실정에 알맞은 모형을 연구한 것이다. 결론적으로 에스핑-앤더슨의 3가지 복지국가의 모형은 자유주의적 복지체제에 기반한 시장 중심적 모형, 보수주의적 조합주의 복지체제에 기반한 지위 중심적 모형, 사회민주주의적 복지체제에 기반한 연대 중심적 모형으로 분류할 수 있으며, 한국형 모델로는 자유주의와 보수주의의 절충형을 제시하였다.

• 인터넷정보학회논문지
• /
• 제21권1호
• /
• pp.45-55
• /
• 2020

정보 통신 기술의 발달로 인해 매년 신종/변종 악성코드가 급격히 증가하고 있으며 최근 사물 인터넷과 클라우드 컴퓨팅 기술의 발전으로 다양한 형태의 악성코드가 확산되고 있는 추세이다. 본 논문에서는 운영체제 환경에 관계없이 활용 가능하며 악성행위와 관련된 라이브러리 호출 정보를 나타내는 문자열 정보를 기반으로 한 악성코드 분석 기법을 제안한다. 공격자는 기존 코드를 활용하거나 자동화된 제작 도구를 사용하여 악성코드를 손쉽게 제작할 수 있으며 생성된 악성코드는 기존 악성코드와 유사한 방식으로 동작하게 된다. 악성 코드에서 추출 할 수 있는 대부분의 문자열은 악성 동작과 밀접한 관련이 있는 정보로 구성되어 있기 때문에 텍스트 마이닝 기반 방식을 활용하여 데이터 특징에 가중치를 부여해 악성코드 분석을 위한 효과적인 Feature로 가공한다. 가공된 데이터를 기반으로 악성여부 탐지와 악성 그룹분류에 대한 실험을 수행하기 위해 다양한 Machine Learning 알고리즘을 이용해 모델을 구축한다. 데이터는 Windows 및 Linux 운영체제에 사용되는 파일 모두에 대해 비교 및 검증하였으며 악성탐지에서는 약93.5%의 정확도와 그룹분류에서는 약 90%의 정확도를 도출하였다. 제안된 기법은 악성 그룹을 분류시 각 그룹에 대한 모델을 구축할 필요가 없기 때문에 단일 모델로서 비교적 간단하고 빠르며 운영체제와 독립적이므로 광범위한 응용 분야를 가진다. 또한 문자열 정보는 정적분석을 통해 추출되므로 코드를 직접 실행하는 분석 방법에 비해 신속하게 처리가능하다.

• 한국콘텐츠학회논문지
• /
• 제15권1호
• /
• pp.31-43
• /
• 2015

배터리 기반의 실시간 내장형 시스템에서는 실시간성을 만족시키기 위한 고속의 성능뿐만 아니라 배터리의 수명을 늘리기 위한 높은 에너지 효율이 요구된다. 실시간 동적전압조정(Real-Time Dynamic Voltage Scaling : RT-DVS)은 이러한 두 가지 요구사항을 만족시키기 위한 핵심기술이다. 본 논문에서는 ccEDF에 기반한 고 효율의 동적전압조정 알고리듬인 EccEDF를 제안한다. EccEDF는 ccEDF의 최대 장점중 하나인 구조적 단순성을 유지하면서 ccEDF 알고리듬의 보수성에 의해 간과된 소요시간(elapsed time)을 고려하여 태스크의 종료시 슬랙에 의해 절감될 수 있는 최대 이용률을 정확하게 계산할 수 있는 알고리듬이다. 절감될 수 있는 최대 이용률은 조기종료 시점에서 잔여수행시간($C_i-cc_i$)을 잔여시간($P_i-E_i$)으로 나누어 계산할 수 있으며, 플루이드 스케줄링 모델을 이용하여 이를 증명한다. 또한 인텔사의 동적전압조정 프로세서 중 초기 모델인 PXA250과 0.28V에서 1.2V까지 폭넓은 동적전압조정 능력을 가진 최신 IA-32 프로세서의 모델을 사용한 시뮬레이션을 통해 실제 응용에서도 EccEDF가 ccEDF 보다 우수함을 입증한다.