• 제목/요약/키워드: 정형 검증

검색결과 423건 처리시간 0.025초

아동미술 창의성 교육을 위한 컬러링 게임 연구 (A Study on Coloring Game for the Education of Creativity in Children's Art)

  • 이준희;정형원
    • 디지털융복합연구
    • /
    • 제18권10호
    • /
    • pp.443-452
    • /
    • 2020
  • 현시대의 아동들에게 스마트 모바일 기기들을 활용한 교육은 아동미술교육 분야에서도 이제는 한 부분을 차지하고 있다. 펜이 탑재된 모바일 기기들과 스마트 태블릿PC들이 출시되면서 드로잉과 컬러링이 디지털 기기들로 가능해졌기 때문이다. 오늘날 아동들을 위한 컬러링 게임 콘텐츠들은 언제든지 애플리케이션 형태로 다운로드 받아 아동미술교육 현장에서 사용할 수 있게 되었다. 하지만 아동들을 위한 미술교육 효과를 가진 컬러링 기능성 게임들은 극히 적으며, 게임 안에 들어있는 미술 콘텐츠 요소들 또한 서비스되고 있는 모든 게임들이 대부분 비슷하며, 아동미술 표현기법 기능들도 부족한 상황이다. 본 연구는 아동들의 컬러링 활동을 도와주며 창의성과 상상력을 높일 수 있는 아동미술교육용 컬러링 기능성 게임 콘텐츠 개발의 중요성을 인지하고 기존 오프라인 아동미술교육 현장에서 시행되는 검증된 대표적인 미술표현기법들을 분석하여 아동미술 교육용 컬러링 게임 디지털 융복합 표현기법 콘텐츠의 개발방향과 요소들을 중심으로 연구하여 제시하고자 한다.

전력 시스템의 동요 억제를 위한 TCSC용 안정화 장치 설계 (A Design of Power System Stabilization of TCSC System for Power system Oscillation Damping)

  • 정형환;허동렬;왕용필;박희철;이동철
    • 조명전기설비학회논문지
    • /
    • 제16권2호
    • /
    • pp.104-112
    • /
    • 2002
  • 본 논문에서는 FACTS 기기의 일종인 전력조류 극대화 및 제어 기능과 함께 외란에 의한 과도시의 전력계통 안정화 기능을 수행할 수 있는 TCSC용 전력시스템 안정화 장치 설계에 대하여 연구하였다. TCSC용 전력시스템 안정화 장치 설계시 파라미터 선정은 복잡한 수식이 필요 없고 계산시간을 감소시키며 적은 반복횟수로도 최적해를 찾을 수 있는 자연 생태계의 진화를 모의한 유전 알고리즘을 이용하였다. 전력 시스템의 저주파 진동에 강인성을 갖는 TCSC는 TCR(Thyristor Controlled Reactor)과 커패시터의 병렬구조에 의해 용량성과 유도성에 걸친 범위가지 연속적으로 제어할 수 있는 구조로 이루어져 있다. 이러한 제안된 방법의 강인성을 검증하기 위해 여러 가지 운전조건에 대해 전력계통 안정도 및 고유치를 해석하여 기존의 안정화 장치를 적용한 경우와 비교함 으로써 유용성을 입증하였다.

정보제어넷 기반 클라우드 워크플로우 모델 (A Cloud Workflow Model Based on the Information Control Net)

  • 순카이;안현;김광훈
    • 인터넷정보학회논문지
    • /
    • 제19권3호
    • /
    • pp.25-33
    • /
    • 2018
  • 본 논문에서는 클라우드 컴퓨팅 환경을 기반으로 하는 실시간 엔터프라이즈 워크플로우 관리 시스템을 구현하는데 있어서 반드시 수반되어야 하는 워크플로우 모델링 방법론으로서 정보제어넷 기반 클라우드 워크플로우 모델을 제안한다. 본 논문에서 제안하는 모델은 클라우드 서비스 배치모델을 기반으로 하는 클라우드 워크플로우 아키텍처, 즉 조직 수준 클라우드 배치모델, 커뮤니티 수준 클라우드 배치모델, 공적 수준 클라우드 배치모델, 혼합형 클라우드 배치모델 등으로 분류되는 클라우드 배치모델에 따른 클라우드 워크플로우 아키텍처를 지원하는 것을 목적으로 한다. 이 모델은 전통적으로 엔터프라이즈 워크플로우의 대표적인 정형적 모델링 기법인 정보제어넷 모델링 방법론을 클라우드 배치모델과 연계할 수 있도록 확장시킨 수학적 그래프 모델이다. 결론적으로, 본 논문에서는 제안된 정보제어넷 기반 클라우드 워크플로우 모델을 적용할 수 있는 클라우드 워크플로우 아키텍처와 그에 따른 클라우드 워크플로우 서비스를 설계함으로써 제안된 모델의 적용가능성을 검증한다.

WMAN 시스템의 이중 이진 구조 터보부호 인터리버 최적화 설계 및 성능 분석 (Optimum Interleaver Design and Performance Analysis of Double-Binary Turbo Code for Wireless Metropolitan Area Networks)

  • 박성준
    • 한국시뮬레이션학회논문지
    • /
    • 제17권1호
    • /
    • pp.17-22
    • /
    • 2008
  • 이중 이진 구조의 터보부호는 우수한 성능을 기반으로 무선 도심영역네트워크(wireless metropolitan area networks, WMAN)를 포함한 각종 차세대 통신 시스템의 표준으로 채택되고 있다. 이러한 이중 이진 구조 터보부호를 구성하는 요소 중의 하나가 인터리버인데 802.16 d/e 시스템의 경우 유사정형순환(almost regular permuation, ARP) 인터리버를 사용하고 있으나 파라미터들이 최적화 되어 있지 않다. 이에 본 논문에서는 인터리빙 파라미터 최적화를 위해 인터리빙 전, 후의 공간적 거리, 스프레드, 부호어 간의 최소 거리를 고려한 세 가지 최적화 방안을 제시하고 각각의 경우에 있어서 최적의 파라미터들을 찾는다. 성능 평가를 위해 가산성 백색가우시안 잡음 환경에서 시뮬레이션을 수행하였으며 기존 파라미터에 의한 성능과 제안 방법들에 의해 최적화된 파라미터들을 적용한 성능들을 비교, 분석하였다. 제안 파라미터를 적용할 경우 블록 크기에 따라 최대 1.0 dB의 전력 이득을 얻을 수 있음을 검증하였으며, 이러한 이득은 단순한 파라미터 변경 만으로 이루어지므로 기존 시스템의 복잡도를 전혀 증가시키지 않는다.

  • PDF

웹 응용의 적응하는 문맥 기반 컨텐츠 항해 모델링 (Modeling Adaptive Context-Based Contents Navigation of Web Applications)

  • 이병정;홍지원
    • 디지털콘텐츠학회 논문지
    • /
    • 제8권1호
    • /
    • pp.93-106
    • /
    • 2007
  • 웹 응용이 급격히 증가하고 있고, 그 구조 또한 매우 복잡해지고 있다. 그러나 사용자가 복잡한 웹 응용 컨텐츠를 항해할 때, 현재 위치를 파악하지 못하거나 또는 원하는 정보를 얻지 못하는 경우가 잦다. 따라서 웹 응용 컨텐츠 항해를 모델링하기 위한 체계적인 접근 방법이 필요하다. 본 연구에서는 웹 응용의 적응하는 문맥-기반 컨텐츠 항해 모델링 프레임워크를 제안한다. 본 프레임워크에서는 항해 분석, 항해 설계, 그리고 항해 실현 둥의 활동을 수행한다. 항해 분석 활동에서는 항해 관점에 초점을 두고 유즈케이스를 사용하여 영역 분석을 한다. 항해 설계 활동은 항해 정보 모델, 프로파일, 그리고 항해 인터페이스 모델을 생성한다. 마지막으로, 항해 실현 활동에서는 웹 응용 메타 모델을 정의하고 웹 페이지 항해 모델과 컴포넌트 항해 모델을 정의한다. 또한 본 연구에서는 항해 모델의 유효성을 검사하기 위한 정형적인 정의와 규칙을 제시한다.

  • PDF

2자유도 진동계에 관한 이론적 고찰 및 진동흡진기로의 응용 (Theoretical Investigation of 2DOF Vibrating System and Its Application to Dynamic Vibration Absorber)

  • 장선준;;;정형조
    • 한국전산구조공학회논문집
    • /
    • 제22권4호
    • /
    • pp.371-377
    • /
    • 2009
  • 본 연구에서는 회전 및 병진 자유도를 갖는 2자유도 진동계의 동적 특성을 다루었다. 강체의 관성모멘트를 새로운 기계 요소인 이너터로 모델링한 뒤 동강성법을 이용하여 2자유도 진동계의 등가모델을 구하였다. 이때 이너터의 크기에 따라 진동계의 동적특성이 결정되는 것을 보였다. 2자유도 진동계를 진동 흡진기로서 단일 모우드 소거에 적용하였을 경우의 흡진기 설계방법론을 구하였다. 비감쇠 진동흡진기의 경우 해석적인 방법론을 제시하였고, 하나의 감쇠기가 존재하는 경우 고정점법을 적용한 방법론을 소개하였다. 수치 예를 통해서 제시된 방법론을 검증하였다.

시스템 사고를 이용한 사이버전 보안 정책 레버리지 전략 연구 (A Leverage Strategy of the Cyber warfare Security Policy Based on systems Thinking)

  • 양호경;차현종;신효영;박호균;유황빈
    • 융합보안논문지
    • /
    • 제13권4호
    • /
    • pp.77-83
    • /
    • 2013
  • 정보기술의 발전에 따라 전쟁의 양상이 무기체계 위주 재래식 전쟁에서 네트워크를 기반으로 한 네트워크중심전(NCW)로 바뀌어 가고 있다. 전장의 개념 또한 물리적 공간뿐만 아니라 군사시설, 에너지시설, 교통, 통신망 등 국가 기간산업의 전산망을 비롯한 모든 영역을 포함하는 것으로 변모하고 있다. 변화하는 전쟁 수행 개념과 방식의 발전추세에 비추어 볼 때 우리 군은 사이버전 위협에 효과적으로 대응할 수 있는 방안을 모색하여야 한다. 기존에는 사이버전에 대한 부분적인 전략은 연구되었으나 시스템 전반적인 흐름을 통한 연구는 이루어지지 않았다. 본 논문에서는 사이버전 보안관련 주요 변수들을 인력, 운영, 기술로 구분하여, 각 분야별 단순모형과 확장모형을 제시하고 제시된 확장모형 중 기술분야를 중심으로 정형기법을 사용하여 타당성을 검증하고 식별된 레버리지에 따른 구체적인 대응 전략을 제시하고자 한다.

공분산 행렬과 리만 측도를 이용한 이동물체 추적 방법 (A Novel Method for Moving Object Tracking using Covariance Matrix and Riemannian Metric)

  • 이금분;조범준
    • 한국정보통신학회논문지
    • /
    • 제15권2호
    • /
    • pp.364-370
    • /
    • 2011
  • 본 논문은 공분산 행렬과 리만 다양체 이론에 근거를 둔 이동물체를 추적하는 새로운 방법을 제안한다. 연속적으로 변화하는 동영상 배경에서 다양한 변형을 겪는 비정형 물체를 추적하기 위해 공분산 행렬을 사용하여 특징 추출을 한다. 공분산 행렬은 특징들의 상관관계뿐만 아니라 공간적인 속성과 통계학적인 속성을 다룰 수 있으므로 서로 다른 유형의 특징들의 융합이 가능하며 행렬의 차원이 작다. 그러므로 이동물체 영역의 공분산 행렬을 특징벡터로 구성하고 후보 영역의 공분산 행렬과 비교 연산함으로써 각 프레임마다 이동물체의 위치를 추정할 수 있다. 여기서 리만 기하학은 이동물체의 변형과 모양 변화에 효과적으로 적용될 수 있으며 최소 거리를 갖는 추정 영역을 계산하기 위해 측지선 거리를 사용하므로 정확도를 향상시킨다. 제안한 방법의 효율성은 실험을 통해 검증하였다.

프로폴리스가 X-선에 노출된 마우스 정소에 미치는 방사선 방어 효과 (Radioprotective Effects of Propolis on the Mouse Testis Exposed to X-ray.)

  • 지태정;김종식;정형진;서을원
    • 생명과학회지
    • /
    • 제17권5호
    • /
    • pp.664-670
    • /
    • 2007
  • 프로폴리스는 꿀벌에 의해 생산되는 천연물질로서, 항미생물, 항산화, 항암 활성이 있는 것으로 알려져 있다. 그러나 프로폴리스에 의한 방사선 방어효과에 대한 특성은 잘 연구되지 않았다. 마우스 정소조직을 대상으로 프로폴리스에 의한 방사선 방어효과를 연구하기 위하여, 프로폴리스를 섭식시키거나 복강 투여한 후 각각 방사선을 조사한 후, 마우스의 정소조직을 광학현미경과 전자현미경을 통해 관찰하였다. 그 결과 방사선에 의해 유도된 세포의 변형이 프로폴리스에 의해 회복됨을 알 수 있었다. 또한 이러한 방사선 회복 효과의 분자기전을 이해하고자 DNA microarray 실험을 수행하였다. 그 결과 방사선만 조사한 마우스에 비해 방사선과 프로폴리스를 동시에 처리한 마우스의 정소에서 2배 이상 증가되는 유전자 65개를 선별하였고, 반대로 2배 이상 감소되는 유전자 진4개를 선별하였다. 이중에서 각각의 유전자군에서 2개의 유전자를 선별하여 RT-PCR을 수행하여 마이크로어레이 결과를 검증하였다. 이러한 결과들은 마우스 모델에서 프로폴리스에 의한 방사선 방어효과의 분자기전을 이해하는데 도움이 될 것으로 기대된다.

동적 시스템 명세를 위한 시제논리언어와 그 검증 (A Temporal Logic for Specification of Dynamic Systems and Its Verification)

  • 조승모;김형호;차성덕;배두환
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제29권7호
    • /
    • pp.450-464
    • /
    • 2002
  • 대부분의 객체지향 시스템을 비롯한, 복잡한 시스템들은 그 구성요소들이 시스템의 수행시간 중에 변하는 동적인 특성을 가지고 있다. 하지만 대부분의 기존 분석기법들은 이러한 측면을 무시하고 있다. 이 논문에서는 이러한 동적 시스템을 명세하고 분석하기 위한 기법을 제안하고자 한다. 이를 위해, 동적 시스템의 명세를 기술하기 위한 새로운 시제논리인 HDTL을 제안하고, 기존의 시제논리를 위한 분석기법을 수정하여 새로운 tableau 기법을 제안하였다. HDTL은 변수와 한정자를 사용하여 동적 시스템의 자동적 분석을 가능하게 하였다. 이 기법을 사용하여 우리는 시스템의 요구사항 명세를 기술하고, 시스템의 수행이 그 명세를 만족하는지를 살펴 볼 수 있다 실험을 통해 HDTL과 분석기법의 적용성을 보였다