• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.721-723
• /
• 2003

컴퓨터 시스템에 대한 보안의 필요성이 계속적으로 증대되고 있으며 이에 다양한 보안시스템들이 개발되고 있다. 이러한 보안 시스템들이 높은 등급의 평가를 받기 위해서는 정형적 방법론을 사용하여 명세 및 검증을 해야 한다. 본 논문에서는 정형 검증의 한 방법론인 모델 체킹을 이용하여 접근통제모델을 설계하고 검증하는 방법을 제안하고자 한다.

• The Journal of Korean Academy of Orthopedic Manual Physical Therapy
• /
• v.9 no.1
• /
• pp.5-17
• /
• 2003

Tibiofibular joints have been neglected in literature and clinically. Some researchers have established biomechanical principles, defined pathological problems and developed the methods of evaluation and orthopedic manual therapy. The evaluation should also take into account that injuries of the knee and ankle region can always result in tibiofibular joints. The orthopedic manual therapy can be effectively applied to disease caused by tibiofibular joints.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.563-565
• /
• 1999

실시간 시스템은 응용분야의 특성상 높은 신뢰성을 요구하므로 설계시 시스템의 정확성과 안전성을 보장하는 것은 매우 중요하다. 신뢰성 보장을 위한 방법으로 정형기법(formal method)을 이용한 명세 방법이 연구되어 왔다. 정형적인 명세를 사용하는 경우 원하는 시스템의 특성에 대한 검증이 가능하며 자연어로 명세한 경우보다 모호함이 줄어들어 의사소통을 하는데 있어서 명확성을 제공한다. 그러나 이런 장점에도 불구하고 객체 지향 개발 방법론에서의 정형적인 명세에 관한 연구가 미흡하다. 본 논문에서는 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 Timed State Chart(TSC)를 제안한다. TSC는 Statecharts와 같은 계층적 상태 기계 모델(state machine model)로서 다양한 시간 제약사항의 명세를 위해 클릭 변수(clock variable)를 도입하여 실시간 객체(Real-Time Object 또는 RTO)를 명세한다. TSC를 이용하여 기존의 연구에서 표현할 수 없었던 주가와 마감시간과 같은 실시간 시스템의 다양한 요구사항을 효과적으로 표현할 수 있다.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.1
• /
• pp.102-110
• /
• 2015

In this paper, adaptive matching method using the same features for rigid and deformable object images is proposed. Firstly, we determine whether the two images are matched or not using the geometric verification and generate the matching information. Decision boundary which separates deformable matching-pair from non-matching pair is obtained through statistical analysis of matching information. The experimental result shows that the proposed method lowers the computational complexity and increases the matching accuracy compared to the existing method.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.533-537
• /
• 2003

보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.1013-1016
• /
• 2010

시스템의 올바른 동작이 반드시 보장되어야 하는 안전필수 시스템의 안전성과 신뢰성을 확보하기 위한 방법으로 정형기법이 있다. 정형기법은 수학과 논리를 기초로 하는 방법으로, 초심자에게는 다소 난해하고 어려운 부분이 있다. 이와 같은 어려움을 조금이나마 덜 수 있는 방법으로 본 논문에서는 정형기법을 적용한 디자인 패턴을 제안한다.

• Journal of Digital Convergence
• /
• v.11 no.6
• /
• pp.103-112
• /
• 2013

Traditional method of establishing prediction model is usually using formal data stored in Data Base. However, nowadays advent of "smart" era brought by ground-breaking development of communication system makes informal data to dominate overall data, such 80% in total. Therefore, conventional method using formal data as establishing predicting model would be untrustworthy means in present. In other words, it is indispensible to make prediction model credible including informal data(SNS, image, video) and semi-formal data(log data). In this study, we increase credibility of predicting model adapting Bigdata method and comparing reliability of conventional measurement to real-data.

• The Journal of the Korea Contents Association
• /
• v.16 no.5
• /
• pp.306-317
• /
• 2016

Both the formal type of architecture and free-form architecture have basic factors and methods for basic expression. Because the use of digital design tools for creation of free-form design mostly depends on the character and ability of designer, this study aims to propose establishment of free-form design creation method as a prototype, including the method to create free-form design, through setting up rules that can be used in common. This study is carried out on the basis of the application of digital design tools used for creation of conceptual free-form styles at the phase of conceptualization and development, which is different from the general theory of free-from design. The free-from style in the modern architecture has begun with the changes in digital design tools and design concepts. In the case study based on the free-form designs in precedent studies, the morphological characteristics have been analyzed and interpreted by using the language of digital design tools, so that this study will suggest the techniques to realize the free-form style on the basis of geometric transformation by using the digital design tools, as well.

• Journal of Korean Society of Steel Construction
• /
• v.29 no.5
• /
• pp.369-376
• /
• 2017

This paper is the sequel of a companion paper (I. Seismic Design) for design and assessment of the torsional irregular structure using ASCE 7-10 criteria. This study evaluates the influence of torsional provisions on the performance of the designed steel moment frame with different eccentricity, taking the collapse probability as performance metric using the methodology in FEMA P695. The result show that torsional irregular structure designed according to ASCE 7-10 has an excessive seismic performance and the collapse strength is low as the eccentricity increases. To make the design reasonable, a new design approach is proposed in this study.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.2
• /
• pp.281-288
• /
• 2016

The natural moving objects are the most non-rigid shapes with randomly time-varying deformation, and its types also very diverse. Methods of non-rigid shape reconstruction have widely applied in field of movie or game industry in recent years. However, a realistic approach requires moving object to stick many beacon sets. To resolve this drawback, non-rigid shape reconstruction researches from input video without beacon sets are investigated in multimedia application fields. In this regard, our paper propose novel CPSRF(Chained Partial Stereo Rigid Factorization) algorithm that can reconstruct a non-rigid 3D shape. Our method is focused on the real-time reconstruction of non-rigid 3D shape and motion from stereo 2D video sequences per frame. And we do not constrain that the deformation of the time-varying non-rigid shape is limited by a Gaussian distribution. The experimental results show that the 3D reconstruction performance of the proposed CPSRF method is superior to that of the previous method which does not consider the random deformation of shape.