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

TTCN-3(Testing & Test Control Notation Version 3)은 국제 표준 테스팅 언어이다. TTCN-3는 다양한 통신 프로토콜이나 장치간의 연동성을 검증하기 위한 적합성 시험을 할 수 있고, 프로토콜이나 통신 장치가 표준에 적합하게 구현되었는지를 검증할 수 있다. 본 논문에서는 TTCN-3을 사용하여 종단과 종단간의 연결설정의 확립의 인증성 시험에 대한 프로토콜 장치간의 상호 여동성을 보장하기 위한 적합성 시험을 제안하고, 산호 연동성 시험과 장치에 구현된 프로토콜이 표준 구격에 적합한지를 시험하는 예를 시험한다.

• Journal of the Korea Convergence Society
• /
• v.10 no.10
• /
• pp.207-214
• /
• 2019

The purpose of the study was to examine the mediating effect of self-esteem on the convergent relationship between respect for human rights and school adjustment of adolescents. Data came from the Korean Survey on the rights of Children and Youth in 2016 and a total of 2,366 of the 2nd grade students in middle school were employed. Structural equation modeling approach was utilized to test the goodness of research model fit and especially the mediating effect was tested by bootstrapping method. Results showed that goodness of model fit was acceptable and self-esteem mediated the convergent relationship between respect for human rights and school adjustment of adolescents. This indicates that the more experiences in respect for human rights and the higher their self-esteem students have, the better school adjustment they acquire. The results of the study imply that it is necessary to expand the human rights education for teachers and develop a new educational program that links between respect for human rights and self-esteem.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.439-443
• /
• 2008

본 연구는 어도에서의 어류이동의 적합성을 검증하기 위해 어도 수리실험을 통해 흐름에 따른 어류이동을 조사하는 것으로 하였다. 이를 위해 실험은 모형이 아닌 거의 실물에 가까운 원형 수준의 어도를 제작하였다. 물고기는 피라미를 준비하였으며, 어도 내부에 넣고 흐름을 형성시켜 어류의 거동을 비디오로 촬영하였다. 어도 격벽은 두께를 t=0.1m, 어도 폭은 B=1.0m, 격벽간 거리는 L=$1.0{\sim}2.0m$, 격벽간 낙차는 ${\Delta}H=0.1m$로 하여 각 경우에 따른 실험을 실시하였다. 본 연구 결과에 따르면 어류 이동에 효율적인 흐름의 속도는 $1.0{\sim}1.5$(m/s)임을 나타내고 있는데, 이는 기존 피라미의 선호유속(0.8m/s)보다 높은 편으로서, 이는 어류의 상류이동을 위해서는 선호유속보다 약간 높은 유속을 형성시킴으로써 어류가 상류로 이동하려는 의욕을 가지게 하는 것이 중요함을 시사하였다. 상기 실험 결과를 바탕으로 어류(피라미)의 상류 이동에 적합한 계단식 어도는 경사가 1/20이고, 상하류 격벽 단차가 10cm 정도로서 순환류가 약하게 형성되며, 월류 흐름의 속도가 $1.0{\sim}1.5$(m/s)를 유지하는 형태임을 알 수 있었다.

• Environmental and Resource Economics Review
• /
• v.5 no.2
• /
• pp.291-302
• /
• 1996

환경질 개선의 편익추정에 사용되는 헤도닉 가격모형에서 제1단계 헤도닉 함수 추정시 그 함수형태에 따라 결과가 편의를 가질 수 있다. 본 논문에서는 13가지의 각기 다른 비선형 및 선형 헤도닉 함수 등을 한국 주택시장에 적용하여 그 적합성을 이론 및 실증적 방법을 병행하여 검증하였다. 그 결과, 고전적으로 종속변수만을 변환시키는 Box-Cox 함수형태나 Box-Cox 변형계수가 사전적으로 0과 1사이에 있음을 가정하는 오목한(concave) 한 함수형태가 기존 연구와는 달리 한국시장에는 적합한 함수형태가 아니라는 결과를 이끌어 냈다. 나아가 서울 주택시장에 가장 적합한 함수형태는 종속 및 독립변수를 각각 다르게 변환시키는 헤도닉 함수형태임을 보여 주었다. 아울러 본 연구는 간접적으로 헤도닉 가격모형 적용시 그 지역의 주택시장 특성에 관한 연구가 선행되어야 함을 시사하고 있다.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2009.11a
• /
• pp.66-69
• /
• 2009

본 연구는 사용자에게 편리하고 자연스러운 인터페이스를 제공하는 직관적 제스쳐 인터랙션의 요소 추출에 대해 분석하였다. 대학생 30명을 대상으로 마우스와 키보드의 8가지 기본 인터랙션 요소를 제시하여 그 요소와 적합한 의미의 어휘를 선택하도록 설문을 실시하였다. 다음으로 선택한 어휘가 가지는 의미를 표현한 제스쳐를 빈도수에 따라 최종 선정한 후 검증을 실시하였다. 첫 번째 설문시 마우스의 상하좌우 이동과 ESC의 의미는 30명 전원이 상하좌우 이동과 취소라는 동일한 의미를 선택하였다. 마우스의 좌클릭은 30명 중 28명이 선택, 우클릭은 26명이 설정 탐색, 키보드 엔터의 경우 25명이 실행이라는 의미를 선택하였다. 최종 선정된 제스쳐의 검증 결과 상하좌우 이동과 취소 요소로 제시했던 손전체 상하좌우 이동과 손전체X는 70~100%의 높은 결과가 도출되었으며, 선택 요소로 제시했던 정지상태 검지손 아래는 60%의 결과가 도출되었다. 설정 탐색을 위해 제시되었던 손전체 회전과 중지손 클릭 중 손전체 회전이 60%의 결과를 도출하였으며, 중지손 클릭은 선택과 하단 이동이 73%로 설정 탐색의 요소로는 적합하지 않은 것으로 도출되었다. 실행 요소로 제시했던 손전체 두번 클릭은 27%의 낮은 검증 결과가 도출되어 적합하지 않은 것으로 제시되었다.

• The KIPS Transactions:PartC
• /
• v.15C no.1
• /
• pp.9-18
• /
• 2008

Prevention of attacks being made through program modification in sensor nodes is one of the important security issues. The software-based attestation technology that verifies the running code by checking whether it is modified or not in sensor nodes is being used to solve the attack problem. However, the current software-based attestation techniques are not appropriate in sensor networks because not only they are targeting static networks that member nodes does not move, but also they lacks consideration on the environment that the trusted verifier may not exist. This paper proposes a mutual attestation protocol that is suitable for sensor networks by using SWATT(Software-based ATTestation) technique. In the proposed protocol, sensor nodes periodically notify its membership to neighbor nodes and carry out mutual attestation procedure with neighbor nodes by using SWATT technique. With the proposed protocol, verification device detects the sensor nodes compromised by malicious attacks in the sensor network environments without trusted verifier and the sensor networks can be composed of only the verified nodes.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.1
• /
• pp.69-85
• /
• 2003

In this paper, we discuss a validation test for cryptographic algorithms. The cryptographic algorithms decide on the security and the confidence of a security system protecting sensitive information. So. the implementation of cryptographic algorithms is very critical of the system. The validation lest specifies the procedures involved in validating implementations of the cryptographic standards and provides conformance testing for components or procedures of the algorithm. We propose a SEED Validation System(SVS) to verify that the implementation correctly performs the SEED algorithm. The SVS is composed of two types of validation tests, the Known Answer test and the Monte Carlo test. The System generates the testing data for the Known Answer tests and the random data for the Monte Carlo tests. This system can be used to validate and certify the cryptographic product.

• Journal of Aerospace System Engineering
• /
• v.17 no.5
• /
• pp.42-57
• /
• 2023

In this paper, to increase the research capability of flight missions and maintenance in operating military aircraft, we studied the requirements for additional mounting of flight video and data recorders and safety verification methods. The verification process of the recorder equipment itself, structural safety in the aircraft system, power and electrical safety, electromagnetic compatibility, and impact of airworthiness are described in accordance with military standards and operating environment requirements. In addition, through ground/flight tests, the results of functional operation suitable for the influence and demand of interference between the flight video and data recorder and other systems are also presented.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2009.01a
• /
• pp.345-349
• /
• 2009

본 연구는 노인복지시설 종사자의 직무요인이 조직성과에 미치는 영향요인에 대해 실증적으로 분석하는 것을 목적으로 한다. 이론적 배경에서 노인복지시설에 관한 문헌 검토와 노인 복지시설 종사자의 직무요인 및 조직성과에 대한 제이론을 검토하였다. 이론을 근거로 실증적 자료의 분석을 통하여 노인복지시설 종사자의 직무요인이 조직성과에 미치는 인과관계의 영향요인에 대해 검증하고자 하였다. 노인복지시설 종사자의 직무요인인 보수, 승진, 조직풍토, 업무환경, 조직구조가 조직성과인 직무만족과 조직몰입 및 충성도에 다르게 영향을 미칠 것으로 가정하였다. 실증적 분석에서는 연구대상에 대한 인구통계학적 분석과 연구모형에 대한 적합도를 검증하며, 구조방정식모형을 향해 가설검증을 실행하고자 한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2015.05a
• /
• pp.287-288
• /
• 2015

본 연구에서는 급증하는 청소년기 휴대폰 의존 문제의 심각성에 주목하여 우리나라 청소년들의 휴대폰 의존이 시간의 흐름에 따라 어떠한 변화 양상을 보이는지 실증적인 검증을 실시하고자 하였다. 이를 위하여 한국아동 청소년패널조사(KCYPS) 중학교 1학년 1~4차년도 자료에 대하여 이차잠재성장모형(second-order latent growth modeling)을 이용하여 휴대폰 의존의 발달궤적을 확인하였다. 휴대폰 의존의 발달궤적에 대한 최적의 모형을 찾기 위해 다수의 모형을 구성하여 비교 검증하였으며, 그 결과, 이차함수모형에 대하여 오차 간 공분산을 설정하고, 시간의 흐름에 따른 측정동일성 제약을 가한 후, 오차 간 공분산에 대한 동일화 제약을 가한 모형이 가장 좋은 적합도를 보이는 것으로 확인되었다. 이렇게 도출된 모형에 의하면, 중학교 1학년부터 고등학교 1학년까지 휴대폰 의존 정도는 증가하다가 그 증가율이 둔화되는 이차함수모형의 변화를 보이는 것으로 나타났다. 이러한 결과에 근거하여 청소년기 휴대폰 의존에 대한 예방 및 개입과 관련된 함의를 제시하였다.