• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권11호
• /
• pp.661-670
• /
• 2008

만족가능성 처리기는 모델 검증 및 임베디드 프로그램 검증과 같이 소프트웨어 공학의 여러 분야에서 활용되고 있다. 만족가능성 처리기를 활용하기 위해서는 주어진 문제를 처리기의 입력인 CNF 형식으로 변환해야 한다. 그러나 이 형식은 소스코드나 소프트웨어 모델보다 표현력이 낮기 때문에 최적화된 변환이 요구된다. 본 논문에서는 "n개에서 인접된 $k{\leq}n$개 선택" 문제를 CNF형식으로 변환하는 최적화된 기법을 제시한다. 제안된 방법을 다양한 일본 퍼즐에 적용한 결과 우수한 성능이 입증되었다. 우리가 알고 있는 한, 인접성에 대한 최적화된 CNF 변환 연구는 거의 없다.

• 한국게임학회 논문지
• /
• 제12권1호
• /
• pp.3-13
• /
• 2012

본 연구는 국내외의 기능성 게임에 관한 학문적 성과물을 이론적 통찰을 바탕으로 응집하고 간학문적인 발전을 도모하기 위하여 수행되었다. 연구 목적 하에 수행된 연구문제는 다음과 같다. 첫째, 교육적 기능성 게임 연구의 확장적 정의를 도출함으로써, 국내외의 다양한 학문분야에 산재해있는 게임 연구와 기능성 게임 연구 분야의 통합을 도모한다. 둘째, 교육적 기능성 게임 연구의 범위를 범주화하여 기존 연구 성과를 결집, 분석하여 향후 기능성 게임 연구 활성화를 위한 초석을 제공한다. 본 연구는 기능성 게임의 확장된 정의를 다음과 같이 제시한다. 교육을 위한 기능성 게임 연구는 교육적 유용성을 고찰하는 게임에 관한 연구로서, 명시적 혹은 암묵적인 교육목적을 가지고 설계 혹은 활용된 게임에 관한 연구를 의미하며, 교육적 의미를 형식적 교육과 비형식적 교육, 무형식 학습을 포괄하는 일련의 활동 속에서 추구하는 연구를 포함한다. 다음, 연구자는 기능성 게임에 관한 선행연구를 네 가지로 범주화하였다. '교육적 목적을 가진 형식적 혹은 비형식적 교육을 위한 게임연구', '상업적 게임을 교육현장에 적용한 연구', '무형식 학습을 목적으로 설계된 기능성 게임 연구', '게임 행위에서 교육적 의미를 찾는 연구'가 그것이다. 이러한 범주 속에 결집된 기능성 게임 연구성과에 대한 고찰은 추후 교육적 기능성 게임의 간학문적 활성화를 도모하는 연구자에게 초석으로서 의미를 가질 것이다.

• 한국멀티미디어학회논문지
• /
• 제9권5호
• /
• pp.576-584
• /
• 2006

내용기반 비디오 정합은 원본의 클립에서 특징(signature)을 구한 후 복사본의 특징과 비교하여 유사도를 측정한다. 특히 정확한 위치의 프레임을 정합하는 것은 매우 중요하며 원본과 복사본의 프레임율, 잡음, 해상도, 압축형식에 따라 정합 율이 달라질 수 있다. 비디오 특징 중 오디널(ordinal) 특징은 일반적으로 우수한 정합특징을 나타내고 있으나 비디오 특징의 구별 능력을 나타내는 유일성 실험(uniqueness test)과 잡음에 대한 내성을 나타내는 강건성 실험(robustness test)이 중요한 요소로 고려되지 않았다. Hua등은 유일성 실험에서 해상도, 압축형식 등을 고려하였지만 강건성 실험에서 영상에 잡음을 첨가하는 대신 압축 형식이 변환된 영상을 사용하였다. 본 논문에서는 오디널 특정의 유일성 분석과 함께 실질적인 잡음 모텔을 도입하여 오디널 특징의 강건성 실험 방법을 제안하고 성능을 분석하였다.

• 한국산학기술학회논문지
• /
• 제13권4호
• /
• pp.1908-1914
• /
• 2012

풍력발전기의 용량이 점차 대형화되고 해상풍력단지는 수심이 깊은 곳에 조성됨에 따라 해상풍력발전구조물의 하부구조 및 기초시공비용 또한 급격히 증가될 것으로 예상된다. 석션버켓기초는 버켓형식의 기초를 자중에 의한 관입과 자중관입 이후 석션에 의한 관입으로 설치하는 공법이며, 대형장비 대신 충분한 용량의 펌프만 있으면 기초의 시공이 가능하므로 시공이 간편하고 경제적인 공법으로 알려져 있다. 본 연구에서는 석션버켓기초의 경제성을 검토하기 위하여 상부지반이 사질지반과 연약지반인 경우일 때 대수심 조건에 적용 가능한 기초형식인 자켓과 석션버켓기초를 적용한 트라이포드의 시공비용을 비교하였다. 그 결과 지반이 단단하고, 기초개수가 증가할수록 자켓형식보다는 트라이포드 버켓기초형식을 적용하는 것이 더 경제적임을 확인하였다.

• 한국강구조학회 논문집
• /
• 제12권6호
• /
• pp.715-725
• /
• 2000

본 논문은 링크구성 설계를 통하여 결정된 하나의 이중링크 형식 수평인입 집 크레인에 대하여 작업위치에 따라 각 링크의 변위, 속도, 가속도 해석을 하고, 인입 가감속에 의한 관성력, 바람에 의한 풍하중, 크레인 자중 및 정격 권상하중 등이 크레인에 작용할 때 인입장치에 요구되는 정적 힘을 계산하였다. 모든 해석과정은 전산 프로그램으로 작성되었고, 프로그램의 신뢰성은 관련 범용 소프트웨어들의 해석 결과와 비교하여 검증하였다. 따라서, 본 논문에서 개발한 전산 프로그램은 이중링크 형식 수평인입 집 크레인의 설계 실무에 있어서 이동하중에 대한 인입궤적의 진폭 및 작업위치에 따라 인입장치에 요구되는 힘의 해석을 신속, 정확하게 처리할 수 있어 설계의 생산성 및 신뢰성 제고뿐만 아니라 기본설계 기술력의 확보 측면에서 그 의의가 있다.

• 컴퓨터교육학회논문지
• /
• 제16권5호
• /
• pp.39-47
• /
• 2013

자기 통제력이 약한 청소년의 경우, 감각 추구 성향 및 현실탈출의 대안으로 인터넷을 사용하다 인터넷중독에 빠지는 경우가 많다. 이러한 인터넷중독 문제점을 해결하기 위해, 인터넷중독 척도 기준에 따른 인터넷 자가진단 기법이 개발되어 사용되고 있다. 하지만 기존의 방식들은 중복적인 척도기준과 설문지 형식의 진단방식을 이용하고 있어, 체계적으로 중독의 상관성 및 환경의 영향성을 평가하고 있지 못하고 있다. 따라서 본 논문에서는 보다 체계적인 인터넷중독 자가진단을 위하여 새로운 형식개념분석 기법을 활용한 인터넷중독 자가진단 기법을 제안하고 자가진단 시스템으로 구현하고자 한다. 또한 가정환경, 가족과의 관계, 교우관계, 학교생활 등 다양한 관점 기반의 분석을 통해 측정된 데이터의 상관성을 분석하고자 한다.

• 한국정보처리학회논문지
• /
• 제4권2호
• /
• pp.552-562
• /
• 1997

본 논문은 형식 기술 기법에 의한 차세대 지능망의 INAP(Intelligent Network Application Protocol) 프로토콜 적합성 시험 계열 생성을 위해 형식 기술 기법(formal Description Tehnique)을 사용하여 프로토콜을 명세화한후 이것으로부터 최소 길이의 최소 비용을 요구 하는 시험계열 생성을 위한 최적화 기술에 의한 방법을 제안한다. 제안된 방법을 구연하고 효율성을 증명하기 위해, INAP 프로토콜 SRF(Serivece Rexource Function)의 SRSM(SRF Call State Machine)을 형식 기술 기법 중의 하나인 SDL(System Description Language)로 명세화 하여 관련 도구로 I/O FSM(Input/Output Finite Machine)을 생성 하고, 이 참조 모델에 직접 적용하여 시험 개열을 생성하였다. 이렇게 생성 시험 개혈의 길이가 기존의 UIO(Unique Input Output)방법에 의한 31%나 개선된 짧고 효율적임을 보였고 또 오류 판단 능력면에서도 훨씬 효과가 있음을 실험적으로 증명하였다.

• 경영정보학연구
• /
• 제18권4호
• /
• pp.155-171
• /
• 2016

오늘날 조직은 팀으로 구성되어 있고 팀들의 지식관리를 지원하는 정보기술에 많은 투자를 하고 있으며, 팀 성과를 높이기 위한 교류기억시스템의 활용에 관한 중요성도 증가하고 있다. 본 연구의 목적은 지식관리를 지원하는 정보기술과 교류기억시스템이 팀 성과에 미치는 영향에 있어서 지식(형식지, 암묵지)의 공유 및 활용의 매개효과를 살펴보는 것이다. 이를 위해 지식관리를 지원하는 정보기술을 사용하고 있는 다양한 업종의 근로자 37개 팀 224명 응답자의 자료를 사용하여 구조방정식으로 분석하였다. 그 결과는 다음과 같다. 첫째, 지식관리를 지원하는 정보기술은 교류기억시스템에 높은 영향을 미치는 것으로 밝혀졌다. 둘째, 지식관리를 지원하는 정보기술은 직접 지식(형식지, 암묵지) 공유 및 활용에 미치는 효과보다 교류기억시스템을 매개로 하는 것이 더 높은 효과가 있었다. 그리고 지식관리를 지원하는 정보기술은 지식 활용보다 공유에 더 높은 효과가 있었다. 셋째, 교류기억시스템은 암묵지 공유, 형식지 공유, 암묵지 활용, 형식지 활용 순으로 유의미하게 나타났다. 마지막으로 지식(형식지, 암묵지) 공유 및 활용과 팀 성과와의 관계에서 암묵지 활용, 암묵지 공유, 형식지 활용 순으로 유의미하게 나타났다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 추계학술대회 및 정기총회
• /
• pp.187-191
• /
• 1998

DEVS(Discrete Event system Specification)형식론은 계층적이고 모듈화 된 형식으로 시스템을 설계함으로써 신뢰성 있는 모델링이 가능하도록 이론적으로 잘 정립된 시뮬레이션 방법론이다. 시뮬레이션의 진행과정 및 결과를 표현하기 위한 애니메이션 개발 환경에 있어서도 DEVS 모델의 구조를 반영하여 계층적 애니메이션 환경을 구현 할 수 있다. 계층적 애니메이션은 시뮬레이션 관찰자가 시스템의 특정 레벨에 맞추어 애니메이션 진행 상황을 볼 수 있도록 한다. 이는 일반적으로 시뮬레이션 애니메이션이 갖는 장점인 시스템 이해 및 모델의 신뢰성 검증의 향상 뿐 아니라, 다양한 관점에서 시스템의 변화를 확인 할 수 있다는데 그 필요성이 요구된다. 본 논문에서는 계층적인 애니메이션과 그래픽 표현이 가능하도록 하기위해 DEVS 모델의 구조를 반영한 계층성을 갖는 애니메이터(시뮬레이션과 애니메이션의 연결 프로세서)를 설계하였다. 이러한 애니메이터는 모델과 같은 구조로 각 모델에 필요한 애니메이션 객체들을 유지·관리함으로써 계층적 애니메이션을 가능하게 하며, 시뮬레이션의 이산적인 시각 경과와 애니메이션의 연속적인 시간 경과와 애니메이션의 연속적인 시간 경과 사이에 동기화를 용이하게 한다.

• 정보와 통신
• /
• 제30권1호
• /
• pp.33-38
• /
• 2012

스마트시대는 전 산업분야, 더 나아가 사회 전반에 IT가 활용, 재생산되어 인류 삶의 질을 보다 향상시키는 시대로 정의할 수 있다. 이를 위한 기술(스마트 기술)의 혁신은 타산업과의 융합은 물론, IT산업발전을 위한 총체적(holistic)접근이 요구되며, 단기적이고 금전적인 성과를 지향하기 보다는 비금전적(non-financial)이며, 사회성과 등 미래 성과를 지향하는 특징을 가지고 있다. 본고에서는 스마트시대 기술 진화방향을 생태계(CPND) 활성화 차원에서 조망하고, 혁신을 위한 R&D 전략을 기술도메인의 발굴 및 선택을 위한 기획전략, 효과적 성과창출을 위한 수행전략 그리고 효율성 제고를 위한 성과 활용전략으로 구분하여 제시하였다. 즉, 미래 스마트시대에 부합하는 기술혁신을 견인하기 위해서는 물리적 공간/아날로그적 형식에서 가상(Virtual) 공간/디지털 형식으로, 폐쇄적 플랫폼에서 개방형 플랫폼으로, 음성/데이터중심에서 지능화된 디바이스로, 대인통신에서 사물통신으로 진화하는 메가트렌드를 고려하여, 지향점에 따른 차별적 기획체계 구축, 다양한 가치생성방식의 활용, 성과극대화형 R&D 수행방식 수립, 그리고 특허경영과 같은 활용체계 구축 등의 R&D 전략이 필요함을 제시하였다.