• Journal of the Korea Society of Computer and Information
• /
• v.5 no.4
• /
• pp.69-75
• /
• 2000

This paper proposes a network intrusion detection model which can detect the insertion and evasion attacks. These attacks can be prevented when some kind of information are available in the network intrusion detection system. We classified these information with three categories and used each category at setup phase and executing Phase. Within the proposed model, all necessary information which are related with networks and operating systems are maintained in the database and created as a table. This table is used during intrusion detection. The overheads of database and table may be simple in this model.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.504-507
• /
• 2016

내장형 소프트웨어의 검증은 운영체제와 응용 소프트웨어에 대해 동시적으로 수행되어야 한다. 선행연구에서는 운영체제를 정형적으로 모델링하고 이를 이용한 내장형 소프트웨어 안전성 검증 기법을 제안하였다. 본 연구에서는 선행 연구에서 Promela로 작성되었던 정형 모델을 참조하여 C 언어로의 변환 규칙을 정의함으로써 구현에 독립적인 모델을 작성하였다. 작성된 검증 모델을 CBMC 모델 체커로 검증한 결과 요구사항으로부터 도출된 35개의 안전성 속성 중 가변 속성을 제외한 21개에 대하여 21개를 모두 만족함을 입증하였다.

• Journal of the Korea Computer Graphics Society
• /
• v.10 no.1
• /
• pp.29-39
• /
• 2004

사이버상의 의사소통의 도구로 사용되는 아바타나 캐릭터의 3차원 얼굴 모델링에 대한 연구로서 한국인의 안면형태소를 지닌 모델생성으로 인터넷을 즐겨 사용하는 현대인과 청소년들에게 민족적 구체성과 국민적 정체성을 지닌 아바타의 활용에 도움이 되고자 한다. 임의의 20대 남, 녀 각각 40인으로부터 스켄을 하고 머리뼈와 근육 구조를 바탕으로 눈, 코, 눈썹, 뺨, 입, 턱, 아래턱, 이마, 귀 등 각 형태소로 나누고 참조모델을 생성한다. 임의로 생성된 안면형태소 3차원 모델이 한국인의 형상을 갖는지에 관한 평가를 정량적인 치수측정에 의해서 검증 분석하여 입증한다. 이들 안부, 비부, 구순부, 얼굴형의 각 형태소로부터 각 형태소틀 간에 보간 되어 변형된 형태의 형태소 생성이 가능하고, 이 변형 형태소들 간의 임의의 조합된 모델의 안면 생성이 가능하게 한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.10C
• /
• pp.999-1007
• /
• 2002

In this paper, the operation of matched filter for searching initial synchronization in direct sequence spread spectrum receiver is studied. The implementation model of the matched filter by HDL (Hardware Description Language) is proposed. The model has an architecture based on parallelism and pipeline for fast processing, which includes circular buffer, multiplier, adder, and code look-up table. The performance of the model is analyzed and compared with the implementation by a conventional digital signal processor. It is implemented on a FPGA (Field Programmable Gate Array) and its operation is validated in a timing simulation result.

• Review of KIISC
• /
• v.6 no.1
• /
• pp.45-56
• /
• 1996

본 논문의 목적은 객체지향 데이타베이스(object-oriented database : OODB)의 보안성 확보를 위하여 OODB에 관련된 보안 모델과, 질의 처리시에 보안성 확보를 위한 참조제약 규칙을 제안하는 것이다. 본 논문의 철학은 데이타베이스 모델의 제약사항을 최소화여 융통성을 최대한으로 확보하고, 이들의 보안성 보장은 질의 처리시에 담당하게 함으로서 풍부한 데이타 객체 모델을 가질 수 있을 뿐만 아니라 낙관적인 보안성 확보를 통하여 융통성 있는 질의처리를 도모하였다. 이를 위하여 현실세계의 모든 개체의 특징과 행위를 구체적으로 표현한 추상화 단위로 정의되는 객체를 기밀성에 따라 비밀등급으로 보안 분류하여 보관된 다단계 보안 객체의 모델을 기반으로 한다. 대부분 기존의 보안성 연구의 대상은 수동적인 데이타(passive data)이라면 객체지향 데이터베이스는 능동적인 객체(active object)가 보안성 연구의 대상이 된다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2019.06a
• /
• pp.21-24
• /
• 2019

본 논문에서 기존의 이미지 캡셔닝의 문제점인 행동 인식 관련한 문제를 해결한다. 이미지 캡셔닝 모델의 학습 데이터의 행동 부분 즉, 동사 부분으로 행동 인식 데이터 셋을 만들었을 경우 많은 클래스, 각 클래스에는 적은 데이터로 구성됨을 보였다. 따라서, 본 논문에서 행동 인식 모델을 추가하고, 임계값을 두어 이미지 캡셔닝의 동사 부분의 정확도가 낮을 경우, 그리고 행동 인식 모델의 정확도가 높을 경우 두 결과물을 교체하는 방식으로 이미지 캡셔닝의 문제점을 해결한다. 본 논문에서 제안하는 모델에 대한 설명과 구현 과정 및 행동 인식에 강인한 이미지 캡셔닝 실험 결과를 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.1296-1299
• /
• 2008

전자상거래 산업에서 가장 많이 참조가 되고 있으며, MPEG-21 에서도 기본 개념으로 활용하고 있는 유통모델인 IMPRIMATUR 모델을 이용하여, DRM 개념을 적용하고 동영상 거래에 있어서 디지털 콘텐츠의 불법유통과 복제를 방지하고 과금 서비스등을 통하여 디지털 콘텐츠 저작권을 관리하여 SOiVA 시스템을 보다 신뢰적인 시스템으로 설계하고, SOiVA 서비스를 적용한 응용프로그램을 구현하였으며, 이에 있어서 향후 연구 과제를 제시한다.

• Journal of the Korea Computer Graphics Society
• /
• v.23 no.3
• /
• pp.105-113
• /
• 2017

This paper presents a novel on-line trajectory optimization framework based on automatic time warping, which performs the time warping of a reference motion while optimizing character motion control. Unlike existing physics-based character animation methods where sampling times for a reference motion are uniform or fixed during optimization in general, our method considers the change of sampling times on top of the dynamics of character motion in the same optimization, which allows the character to effectively respond to external pushes with optimal time warping. In order to do so, we formulate an optimal control problem which takes into account both the full-body dynamics and the change of sampling time for a reference motion, and present a model predictive control framework that produces an optimal control policy for character motion and sampling time by repeatedly solving the problem for a fixed-span time window while shifting it along the time axis. Our experimental results show the robustness of our framework to external perturbations and the effectiveness on rhythmic motion synthesis in accordance with a given piece of background music.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.227-230
• /
• 2000

건설 도면정보의 공유 및 교환은 건설 CALS/EC(Continuous Acquisition & Lifecycle Support /Electronic commerce) 환경의 필수적인 요소이다. 그러나 CAD 시스템의 버전변화와 별도의 한글처리로 인하여 도면정보의 관리 렌 활용에 많은 문제점이 발생하고, 상이한 CAD 시스템간의 파일 교환이 제대로 이루어지지 못하는 등 도면정보 교환을 위한 정보모델의 구축이 절실히 요구되고 있다. 이러한 환경에서 STEP(Standard for the Exchange of Product model data)은 건설 도면정보의 교환 및 공유를 위한 정보모델을 구축함에 있어서 그 활용 가능성이 높다. 본 연구에서는 STEP을 이용하여 건설분야에서 활용 가능한 2차원 도면정보 모델을 개발하고자 한다. 이를 위하여 STEP내의 AP 202를 기반으로, AP 214와 독일의 2차원 도면정보 표준화 프로젝트인 STEP-CDS를 참조하도록 한다. 그리고 실제 개발된 도면정보모델이 기존 CAD 도면 데이터를 제대로 표현할 수 있는지 검증하기 위하여 상용 CAD시스템인 AutoCAD Rl4의 DXF 데이터를 개발된 정보모델로 변환하여 그 결과를 검토하고자 한다. 세부적으로는 DXF 데이터의 도면정보모델로의 변환을 위하여 DXF 구조의 STEP 스키마를 정의한다. 이때 이 스키마와 도면정보모델의 스키마간의 매핑을 위하여 STEP내의 EXPRESS-X를 이용하기로 한다. 또한 도면정보 모델의 데이터의 뷰잉과 브라우징을 위하여 도면정보 뷰어를 개발한다.

• Journal of the Institute of Convergence Signal Processing
• /
• v.15 no.4
• /
• pp.176-182
• /
• 2014

This paper introduces the development of global fringe search (GFS) software for preprocessing of Daejeon Correlator. In case of the VLBI observation, a observer conducts the observation for the reference sources with strong and point-like radio stars on schedule in order to confirm the well-observedness of the radio source by the radio telescope. The correlator performs the correlation for the reference sources to detect the fringe completely. We developed the GFS software by calculating the precise delay time between each observatory based on specific observatory. Then, this software calculates the precise delay time by using the delay model (correlator model) of reference source and information of time offset between the Hydrogen Maser frequency standard and GPS (Global Positioning System) clock located in each observatory through the correlation preprocessing. In order to confirm the performance of the developed software, experiments were carried out for the reference sources and target sources observed by the KaVA (KVN and VERA Array). Experimental results show that the GFS software has effectively good performance by finding the precise delay time offset according to the comparison between the compensated delay time offset and one without compensation.