• 제목/요약/키워드: Checking Application

검색결과 285건 처리시간 0.027초

토지피복도의 품질 검증에 관한 연구 (A Study on the Quality Checking for Landcover Map)

  • 이용욱
    • 한국측량학회지
    • /
    • 제26권3호
    • /
    • pp.303-309
    • /
    • 2008
  • 토지피복도는 서식공간의 추정과 대기오염 및 산림오염 산출에 주요 자료로서 국가 환경정책을 수립하는데 사용될 수 있다. 우리나라에서는 1998년부터 2005년에 걸쳐 인공위성 영상자료를 활용한 토지피복도를 제작하였다. 토지피복도는 현재 공공의 이익을 목적으로 학교 및 연구소 등에게 무상 제공되고 있으나, 토지피복도는 일괄성이 결여되어 활용측면에 문제가 발생하였다. 이에 본 연구에서는 토지피복도에 대한 품질검증을 수행하였다. 분석결과, 분류 오류 유형들이 발생하였으며, 토지피복도에 대한 검증절차가 필요함을 알 수 있었다.

기존 교각주변의 국부세굴 방지공법에 관한 연구 (The study of method local scour protection to the existing piers bridge)

  • 박상길;장태래;박병열
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2006년도 학술발표회 논문집
    • /
    • pp.598-602
    • /
    • 2006
  • Local scour is associate with particular local types of vortex around bridge piers. This paper is method of protection local scour for the existing Busan City subway 3 Line bridge piers and Gupo large bridge piers. In order to take design of protection of local scour this bridge piers, We calculate the local scour hole of depth , scour width, riprap construction , filter construction by formulas. We had experimental hydraulic model test for this bridge piers in order to take proof for the calculation of local scour. We knew that the vortex intensifies the local flow velocities and acts to erode sediment from the scour hole and transport it downstream. As the result of hydraulic model test, we could suggest three types method of protection local scour this bridges. We knew that FHWA HEC-18(Richardson et al. 2001: Modified CSU) Formula is useful to checking calculation as application of field. One is pier protection using the sheet piles and riprap, the others are pier protection using the riprap with filter and to make renew Wall-caisson. The best method of protection for the existing Busan City subway 3 Line bridge piers and Gupo large bridge piers is pier protection using the sheet piles and riprap.

  • PDF

RDBMS 기반의 토픽맵 무결성 검사 기법 (RDBMS based Topic Map Constraint Checking Mechanism)

  • 이한준;민경섭;김형주
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제34권6호
    • /
    • pp.493-502
    • /
    • 2007
  • 지식을 효과적으로 표현하고 검색하는 방법에 대한 관심이 증가함에 따라, 토픽맵을 비롯한 지식 표현 기법들이 점점 중요해지고 있다. 토픽맵은 지식을 구조화하여 표현하게 되는데 지식은 매우 복잡한 의미적 관계를 포함하고 있기 때문에 이를 의미적으로 일관성 있게 유지, 관리하는 것은 매우 중요한 문제가 된다. 현재 토픽맵 무결성 검사를 위하여 TMCL을 비롯한 여러 토픽맵 제약 조건 언어와 시스템들이 제안되었다. 그러나 이들은 단순한 의미적 제약들에 대해 지원하고 있지만, 의존성과 같은 복잡한 제약들에 대한 것들은 다루고 있지 못하다. 또한, 단순히 응용 레벨에서 제약들을 검사함으로써 좋지 않은 성능을 보인다. 이에 본 논문에서는 기존의 정보 시스템 분야 및 관련 분야에서 제공하고 있는 제약 언어들의 특성을 기반으로 TMCL을 확장하였다. 또한 이를 효율적으로 지원하기 위한 관계형 데이타베이스기반의 토픽맵 무결성 검사 기법을 제안하고 구현하였다. 구현한 시스템에서는 TMCL에서 제공하고 있는 기본적인 토픽맵 제약 조건들뿐만 아니라 의존성과 같은 복잡한 형태의 제약도 다루고 있다. 그리고 각각의 제약 조건을 검사할 때 템플릿을 이용하여 질의를 생성시켜 효율적인 무결성 검사가 가능하게 함으로써 기존 시스템들의 검사 방식에 비해 높은 성능을 보임을 확인하였다.

RFID 기술의 도서관 적용 방안 연구 (A Study on the Application of the RFID Technology to Libraries)

  • 이종문
    • 한국도서관정보학회지
    • /
    • 제38권1호
    • /
    • pp.157-171
    • /
    • 2007
  • 본 연구에서는 최근 도서관에 제안되고 있는 RFID에 대한 기술적 개요를 통해 그 유용성을 살펴보고, 적용사례를 기초로 도서관에서의 RFID 기술 적용 방안을 제시하였다. 구체적으로 그동안 바코드나 자기 테이프 등에 의존해 오던 자료의 대출 반납, 장서점검, 잘못 배가된 자료의 식별, 도난방지 등의 업무를 자동화하는 것과, 시설과 설비의 이용에 RFID 기술을 적용하는 방안을 제안하였다.

  • PDF

동치성 검사를 위한 모델 체킹의 적용 (Application of Model Checking for Equivalence Checking)

  • 안영정;송관호;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
    • /
    • pp.568-571
    • /
    • 2008
  • 하드웨어 개발에 있어서 데이터의 신속한 처리와 공정의 저렴한 비용을 위해 회로의 많은 부분이 게이트 레벨에서 구현된다. 기능 검사는 하드웨어 개발에 있어서 설계의 기능을 분석하는 중요한 설계 흐름이다. 기존의 기능 검사는 사용자의 요구에 의해 하드웨어 시스템이 복잡해지고 개발 주기가 점점 빨라지는 시장의 특성으로 인해 설계자에게 시간적 경제적인 부담감을 준다. 본 연구에서는 설계자에게 가중되는 부담을 극복하고 보다 효율적인 기능 검사를 위해 모델 체킹을 동치성 검사에 적용하는 방법을 제안하고자 한다.

  • PDF

PDA 시험을 이용한 말뚝손상 판단에 관한 사례 연구 (A case study on the evaluation of pile damage during driving by PDA testing.)

  • 송명준;박영호;이영남
    • 한국지반공학회:학술대회논문집
    • /
    • 한국지반공학회 2002년도 가을 학술발표회 논문집
    • /
    • pp.334-341
    • /
    • 2002
  • Nowadays, owing to the development of analysis techniques for PDA test, we can evaluate the serious damage of pile during driving in site. In this study, we checked the damage of pile by pulling it out after evaluation of the pile damage during driving by PDA testing. After that, almost damaged pile was checked and the outline depth of damage could be verified. To increase the quality of driven pile, we have to increase the number of PDA testing for drivability analysis with checking the damage especially for preliminary pile driving and dynamic load test for checking the bearing capacity and consider the application of driving by energy monitoring.

  • PDF

동치성 검사를 위한 모델 체킹의 적용 (Application of Model Checking for Equivalence Checking)

  • 안영정;송관호;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
    • /
    • pp.354-357
    • /
    • 2007
  • 하드웨어 개발에 있어서 데이터의 신속한 처리와 공정의 저렴한 비용을 위해 회로의 많은 부분이 게이트 레벨에서 구현된다. 기능 검사는 하드웨어 개발에 있어서 설계의 기능을 분석하는 중요한 설계 흐름이다. 기존의 기능 검사는 사용자의 요구에 의해 하드웨어 시스템이 복잡해지고 개발 주기가 점점 빨라지는 시장의 특성으로 인해 설계자에게 시간적 경제적인 부담감을 준다. 본 연구에서는 설계자에게 가중되는 부담을 극복하고 보다 효율적인 기능 검사를 위해 모델 체킹을 동치성 검사에 적용하는 방법을 제안하고자 한다.

  • PDF

법정전염병 감염관리를 위한 정보시스템 개발 및 효과 (Development and Evaluation of a Legal Communicable Disease Electronic System for Infection Control)

  • 최정실
    • 기본간호학회지
    • /
    • 제15권3호
    • /
    • pp.371-379
    • /
    • 2008
  • Purpose: The objective of the present study was to develop and evaluate a legal communicable diseases (LCDs) electronic system for infection control. Method: The system was developed through the procedure of analysis, design, implementation, application and evaluation, and was applied within an OCS (order communication system). Results: As indicated by the main menu, the present system is composed of an improved perception system for enhancing perception of LCDs, LCDs identification system, and improved efficiency in the report system. Detailed items included in the main menu are introduction and log-in screen, pop-up window for checking the outbreaks of LCDs, decision making icon, electronic signature icon, electronic report form, email system, etc. The total number of reports was greater after the application of the system (n=99) than before (n=80), and the adequacy of report time was statistically significantly higher after application of the system (P<0.05) Conclusion: The present system suggests a new method for LCDs report and infection control, and is expected to be adopted by other medical institutions in the future.

  • PDF

스마트폰을 이용한 헬스케어 스케쥴링 애플리케이션 (Healthcare Application Modeling Using Smartphone)

  • 이승호;임명재;이기영
    • 한국인터넷방송통신학회논문지
    • /
    • 제10권4호
    • /
    • pp.35-40
    • /
    • 2010
  • 최근 의료 분야는 환자 데이터를 무선으로 전달하는 모바일 헬스케어 시스템을 사용한다. 그러나 현재 환자에게 지원하는 메시지는 특정 환자를 만족시키기는 어렵고, 당뇨환자이나 임신부와 같은 정기적인 환자 관리를 도와주는 헬스케어 시스템이 부족하다. 따라서 본 논문에서는 WPAN의 네트워킹 및 데이터 전송방식과 응용 프레임워크를 적용하여, 특히 임신부를 대상으로 임신확인부터 주기별 건강관리, 태아움직임, 태교 및 건강상식 등을 관리하는 스마트폰을 이용한 헬스케어 스케줄링 애플리케이션을 제안하였다.

Splash의 스트림 프로세싱 기능 구현 (Implementing stream processing functionalities of Splash)

  • 안재호;노순현;홍성수
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2019년도 제59차 동계학술대회논문집 27권1호
    • /
    • pp.377-380
    • /
    • 2019
  • To accommodate for the difficult task of satisfying application's system timing constraints, we are developing Splash, a real time stream processing language for embedded AI applications. Splash is a graphical programming language that designs applications through data flow graph which, later automatically generates into codes. The codes are compiled and executed on top of the Splash runtime system. The Splash runtime system supports two aspects of the application. First, it supports the basic stream processing functions required for an application to operate on multiple streams of data. Second, it supports the checking and handling of the user configurated timing constraints. In this paper we explain the implementation of the first aspect of the Splash runtime system which is being developed using a real time communication middleware called DDS.

  • PDF