• Korean journal of applied entomology
• /
• v.60 no.2
• /
• pp.185-191
• /
• 2021

A Quarantine Pest Research Facility (QPRF) had been build in Animal and Plant Quarantine Agency and designed to ensure alien pests are safety contained inside the laboratory. Functions of QPRF including insect rearing, research, and physical containment facility were verified to check suitability as a research laboratory using the beet armyworm, Spodoptera exigua. As insect rearing and laboratory facility, S. exigua completed its development for 32.2 days at 25℃. Egg hatching, pupation, and adult eclosion showed 80, 86.6, and 90%. Two pesticides, fluxametamide and hydramethylnon showed high susceptibility against S. exigua larvae by spraying and dipping methods. As physical containment facility, male adults, which were artificially released from laboratory, did not capture in delta trap installed sex pheromone lure during winter season. Based on these results, QPRF will be used for study on alien insect species.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.5
• /
• pp.81-90
• /
• 2003

Existing web-based system management software solutions show some limitations in time and space. Moreover, they possess such as shortcomings unreliable error message announcements and difficulties with real-time assistance suppers and emergency measures. In order to solve these deficiencies, Wireless Remote Control System was designed and implemented. Wireless Remote Control System is able to manage and monitor remote systems by using mobile communication devices for instantaneous control. The implementation of Wireless Remote Control System leads to these security Problems as well as solutions to aforementioned issues with existing web-based system management software solutions. Therefore, this paper has focused on the security matters related to Wireless Remote Control System. The designed security functions include mobile device user authentication and target system access control. For security verification of these security functions introduced CPN(Coloured Petri Nets) which is capable of expressing every possible state for each stage. And then in this paper was verified its security through PI(Place Invariant) based on CPN(Coloured Petri Nets). The CPN expression and analysis method of the proposed security function can also be a useful method for analyzing other services in the future.

• 한국HCI학회:학술대회논문집
• /
• 2006.02b
• /
• pp.197-202
• /
• 2006

본 연구에서는 휴대폰에서의 효과적인 사진 검색을 지원하기 위해 사진 정보를 이용한 검색 기능을 개발하고, 이의 사용성 평가 실험을 수행함으로써 개발된 검색기능의 효용성을 검증하였다. 본 연구에서 개발한 사진 검색 기능은 크게 날짜 검색기능과 키워드 검색 기능의 두 가지로 구분된다. 날짜 검색 기능은 입력한 날짜에 해당하는 사진이 포함된 화면을 사용자에게 제시하는 방식이며, 키워드 검색 기능은 사용자가 입력한 키워드가 포함된 파일 이름을 갖는 사진을 검색하여 그 결과를 제시하는 방식이다. 개발된 검색 방식과 기존의 사용자 조작에 따른 화면 네비게이션을 통한 검색 방식을 대상으로 사용성 평가 실험을 수행하였다. 또한, 휴대폰에 저장된 사진 장수에 따른 작업의 수행도 및 주관적 만족도를 비교 분석하기 위하여, 120, 240, 360 장의 사진을 저장하고 있는 프로토타입을 개발하여 사용성 평가 실험에 활용하였다. 사용성 평가 실험 결과, 사진 장수가 120, 240 장일 경우는 날짜 검색과 키워드 검색의 두 방식이 검색 편의성, 기능의 적합성, 전반적 만족도 등의 주관적 만족도 측면에서 기존 검색 방식에 비하여 우수한 사용성 수준을 갖는 것으로 분석되었다. 사진 장수가 360 장인 경우, 날짜 검색과 키워드 검색의 활용시 검색 편의성, 기능의 적합성, 전반적 만족도가 기존 검색 방식에 비하여 우수한 성능을 갖는 것으로 분석되었고, 특히, 키워드 검색을 활용한 경우 검색 시간이 기존 검색과 날짜 검색을 활용한 경우에 비하여 우수한 성능을 갖는 것으로 확인되었다. 본 연구는 화면 크기가 작고 입력 방식이 제한된 휴대폰 인터페이스 환경에서 효과적인 사진 검색방식을 제안하고 검증하였다는 데 의의를 가진다. 본 연구 결과는 휴대폰 메뉴 검색, 일반 파일 검색 뿐만아니라 디지털 카메라의 사진 관리 기능에도 응용될 수 있을 것으로 기대된다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.11a
• /
• pp.341-343
• /
• 2022

전 세계적으로 자율운항선박 기술개발을 추진 중이며, 자율운항선박 핵심 기술뿐 아니라, 상용화의 기틀을 마련하는 평가·검증 관련한 연구도 활발히 수행되고 있다. 이에 따라 자율운항선박의 핵심 기술과 주요 장비의 성능검증을 위한 테스트베드의 개발이 필수적이다. 본 연구에서는 국내외 자율운항선박 기술개발 현황과 자율운항선박의 시뮬레이션 기반 테스트베드가 갖춰야 할 요구사항을 분석하였으며, 자율운항선박의 특수성이 반영된 동역학 모델 기반의 조종 시뮬레이션 테스트베드에서의 성능검증을 위한 기능 분석 및 세분화를 통해 플랫폼 운영에 효과적인 기술들을 제안한다.

• The Magazine of the IEIE
• /
• v.30 no.9
• /
• pp.59-59
• /
• 2003

여러기능들이 복합적으로 통합되고 있는 단일칩시스템을 설계하는데 있어 소프트웨어와 하드웨어를 가능한 일찍 통합하여 검증하는 것이 무엇보다 중요하다. 이러한 조기 통합검증에 필요한 것이 가상프로토타입(Virtual-Prototype) 이다. 본 고에서는 IP(Intellectual Property) 와 단일칩시스템(SoC : System-on-a-Chip) 설계 및 검증에서 가상프로토타입의 필요성과 역할 그리고 이에 관련된 기술들에 대해 정리하고, 프로세싱 코어가 있는 단일칩시스템을 SystemC로 가상프로토타이핑한 사례를 통해 그 유용성을 설명한다.

• The Magazine of the IEIE
• /
• v.30 no.9
• /
• pp.965-975
• /
• 2003

여러기능들이 복합적으로 통합되고 있는 단일칩시스템을 설계하는데 있어 소프트웨어와 하드웨어를 가능한 일찍 통합하여 검증하는 것이 무엇보다 중요하다. 이러한 조기 통합검증에 필요한 것이 가상프로토타입(Virtual-Prototype) 이다. 본 고에서는 IP(Intellectual Property) 와 단일칩시스템(SoC : System-on-a-Chip) 설계 및 검증에서 가상프로토타입의 필요성과 역할 그리고 이에 관련된 기술들에 대해 정리하고, 프로세싱 코어가 있는 단일칩시스템을 SystemC로 가상프로토타이핑한 사례를 통해 그 유용성을 설명한다.

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

보안 시스템에 대해서 고등급 평가를 받기 위해서는 정형적 방법론을 사용하여, 보안 모델을 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 정형적 설계 방법을 통해 보안모델을 설계하고 검증하기 위한, SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

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

Statechart는 다른 정형 명세와는 달리 그림으로 시스템을 명세하기 때문에 정형기법에 익숙하지 않은 사람도 쉽게 이해할 수 있다. 또한 시스템의 동작을 보다 명확하고 가시적으로 시뮬레이션 할 수 있는 장점이 있다. 그러나 이 명세방법은 시스템의 특성을 정형 검증의 기능은 제공하고 있지 못한 것이 단점으로 지적되고 있다. 이러한 단점을 해결하기 위해 본 논문에서는 statechart로 기술된 명세를 정형 검증 언어인 SMV 및 PROMELA로 변환하여 검증하는 방법에 대해 논한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.10a
• /
• pp.305-306
• /
• 2021

It has been designed very complex that gathering system for various sending data. Therefore it is very important that verification process of these functions. In this paper we design of integrated verification process for sensing data gathering system.

• The Journal of the Korea Contents Association
• /
• v.10 no.1
• /
• pp.317-324
• /
• 2010

The purpose of this study was to examine the validity of the Manual Ability Classification System (MACS) by analysing of relation between MACS and Jebsen-Talyor Hand Function Test. The concurrent validity was examined by calculation of correlation between MACS and Jabsen-Talyor Hand Function test and the discriminant validity was examined by measurement of hand function difference according to MACS level. For this, eighty-one children with spastic cerebral palsy were employed in this study. The children were evaluated by using the MACS and Jebsen-Taylor Hand Function Test for their hand function. There were a significant correlation between the MACS and Hand function (r = .870, p < .05). The good correlation between the MACS and subtest of Jabsen-Talyor Hand function (p < .05). The hand function according to the MACS level were different significantly (p < .05). The MACS is valid classification system for assessment of hand function of children with cerebral palsy. The MACS in practice will provide usefulness for assessment of hand function in children with spastic cerebral palsy.