• 제목/요약/키워드: model checking

검색결과 569건 처리시간 0.022초

유비쿼터스 환경 기반의 동적인 스마트 온/오프라인 학습자 추적 시스템 설계 및 구현 (Design and Implementation of The Ubiquitous Computing Environment-Based on Dynamic Smart on / off-line Learner Tracking System)

  • 임형민;이상훈;김병기
    • 한국멀티미디어학회논문지
    • /
    • 제14권1호
    • /
    • pp.24-32
    • /
    • 2011
  • 유비쿼터스 환경에서 학습자 맞춤형 교육을 제공하기 위해서는 학습자의 학습행위에 대한 분석이 필수적이다. SCORM(Sharable Contents Object Reference Model), IMS LD(Instructional Management System Learning Design) 등의 표준은 진도 체크와 같은 학습 설계 지원 기능을 제공한다. 하지만 표준 적용은 개발의 어려움과 수정이 어렵다는 단점이 있다. 본 논문에서는 이벤트 가로채기를 사용하여 웹 브라우저에서 학습자의 행위를 관리하는 시스템을 구현한다. 이를 통해 HTML기반의 모든 콘텐츠를 추가적인 작업 없이 재활용할 수 있고 학습결과의 저장 및 분석이 가능하게 되어 표준 적용에 따른 문제점을 개선할 수 있다. 또한 네트워크 단절 시에도 학습결과를 추적할 수 있어 유비쿼터스 학습 환경을 지원할 수 있다.

무결성 제약에 기초한 규칙 기반 데이타베이스 검증 시스템 (A Rule-Based Database Verification System Based on the Integrity Constranints)

  • 류명춘;박창현
    • 한국정보처리학회논문지
    • /
    • 제3권1호
    • /
    • pp.77-86
    • /
    • 1996
  • 데이타베이스 관리 측면에서 데이타의 무결성은 매우 중요한 의미를 가진다. 따라 서 특정의 데이타베이스 구축시 무결성 규정들을 반드시 고려하여야 하며, 데이타베이 스의 무결성 유지를 위해 데이타베이스 관리자는 지속적으로 데이타베이스의 내용을 감시하면서 데이타의 무결성을 저해하는 요소가 발생될경우 이를 제거해 주어야만 한 다.그러나 이러한 무결성 유지 작업은 응용 영역 데이타의 양이 증가 할수록 더욱 복잡해지며 또한 많은 시간을 필요로 하게 된다. 본 논문에서는 이러한 문제점을 개선하기 위한 규칙 기반 데이타베이스 검증 시스템을 제시한다. 제시 하는 규칙 기반 데이타베이스 검증 시스템은 문제 영역 모델로부터 필요한 데이타 베이스와 무결성 유지를 위한 규 칙들을 생성하고, 추론 시스템과 데이타베이스의 결합을 통해 데이타베이스의 무결성 검증 작업을 수행한다.

  • PDF

유사성 비교를 통한 RDB의 참조 무결성 관계 추출 알고리즘 (An Algorithm for Referential Integrity Relations Extraction using Similarity Comparison of RDB)

  • 김장원;정동원;김진형;백두권
    • 한국시뮬레이션학회논문지
    • /
    • 제15권3호
    • /
    • pp.115-124
    • /
    • 2006
  • XML은 정보 교환과 표현을 위해 빠르게 발전해 오고 있는 기술이다. XML을 통한 시멘틱 모델링 방법론, 보안, 다른 모델들과의 상호 운용성을 위한 변환과 같은 많은 연구들이 이슈화 되었다. 특히, 실질적인 응용분야의 가장 중요한 이슈는 XML 모델과 관계형 모델들과의 상호 운용성을 위해 많은 방법들에 제기되어 왔다. 하지만, 여전히 몇 가지 문제점이 있다. 대부분의 기존의 방법들은 묵시적인 참조 무결성 관계를 고려하지 않기 때문에, 부정확한 데이터 전달이 야기된다. 데이터베이스에서 하나의 의미가 정의 될 때 오직 하나의 이름만 가진다는 제약조건하에서 위의 문제를 해결하기 위한 한 가지 방법이 제안되었다. 하지만, 실제 데이터베이스에서 응용과 확장을 위해서 이 제약사항을 적용할 수는 없다. 그래서 이 논문에서는 유사성 검사 기법을 기반하는 한 RDB-to-XML 변환 알고리즘을 제안한다. 이 방법의 핵심은 하나의 같은 의미에 대해 다른 이름으로 표현되는 속성들 간의 묵시적인 참조 무결성 관계를 추출하는 알고리즘을 정의하였다. 제안된 변환 알고리즘은 이전의 유사한 접근 방법 보다 더욱 실질적이다.

  • PDF

편심하중을 받는 고성능강(HSA800) 조립 단주의 구조거동에 관한 해석적 연구 (Analytical Study on the Structural Behaviors of Stub Columns Fabricated with HSA800 of High Performance Steel Subjected to Eccentric Loads)

  • 유정한;김주우;양재근;강주원;이동우
    • 한국강구조학회 논문집
    • /
    • 제26권5호
    • /
    • pp.453-461
    • /
    • 2014
  • 본 연구에서는 건축구조용 고성능강 HSA800의 건축구조부재로의 적용을 위한 연구로써, 용접 제작된 각형강관 및 H형강에 대해 단주편심압축 실험을 바탕으로 해석모델을 이용한 검증이 이루어졌다. 특히, 고성능강 조립단주의 유한요소해석을 이용한 변수연구와 P-M 상관관계로부터 현행 기준의 적용여부를 평가하고자 하였으며, 폭두께비와 축력비를 주요변수로 두었다. 변수모델의 P-M상관도 분석결과, 압축력에 대한 비세장단면은 모두 현행기준의 요구에서 크게 상회하는 결과를 얻었고 축력비가 낮을수록 휨강도비에 충분한 여유를 갖는 것을 확인하였다. 압축력에 대한 세장판 단면을 갖는 각형강관의 경우, 현행기준의 요구에 못 미치는 결과를 보였다.

고층건축공사 적시생산을 위한 관리모델 사례 -콘크리트 자재의 Life Cycle을 중심으로- (A Conceptual Model Study For J.I.T(Just In Time) Construction Managemaent On High-rise Building-Concerned On Resource Life Cycle Of Concrete Construction-)

  • 송영석;임형철;최윤기
    • 한국건설관리학회논문집
    • /
    • 제2권4호
    • /
    • pp.127-134
    • /
    • 2001
  • 초고층 공사의 다양한 공정들을 정해진 시간내에 효율적으로 관리하기 위해서 최근 자재의 생산에서부터 현장반입, 설치에 이르는 자재 생애주기별 관리를 시스템화하고, 정보화하는 작업들이 많이 이루어지고 있다. 이러한 건설공사에서의 자재 적시생산 개념은 초고층평면의 다양화 및 각종 새로운 설비, 자재들의 적용으로 인해서 앞으로도 건설프로젝트 각 부문별로 다양하게 활용될 것으로 보인다. 이에 본 연구에서는 이러한 적시생산의 기법을 활용한 그동안의 사례들을 살펴보고, 이러한 사례들을 바탕으로 문제점 및 개선방안을 도출하여 자재의 생애주기(Life Cycle)을 고려한 현장 작업 흐름별 관리 포인트를 설정하여 적시생산 개념을 적용하는 연구를 수행하고자 한다. 현장의 활용가능성 및 적용을 통한 검증의 용이성, 또한 현장 내부의 양중 및 소운반에 대한 고려가 상대적으로 낮은 골조공사로 연구범위를 설정하여 콘크리트와 철근자재를 중심으로 연구를 진행하고자 한다. 이러한 골조공사에서의 적시생산(Just-In-Time) 개념 도입은 앞으로 커튼월, 가구공사, 창호공사, 철골 등의 부재로의 확대적용을 위한 방향성 제시를 함과 동시에 자재의 생애주기에 따른 정형화된 관리 운용 모델을 제시함으로서 건설공사의 최종적인 생산성 향상을 위한 도구로서 활용될 수 있음을 목적으로 한다.

  • PDF

한일간 셔틀 운항 선박의 해사노동협약 선원휴식시간 규정 만족을 위한 연구 (A Study on the Compliance of Crew Rest Hour of Maritime Labour Convention for Shuttle Vessels Operating between Korea and Japan)

  • 하원재;김건효
    • 한국항해항만학회지
    • /
    • 제38권2호
    • /
    • pp.135-140
    • /
    • 2014
  • 2013년 8월 20일 해사노동협약이 국제적으로 발효되면서 휴식시간의 실제적인 이행 여부를 항만국통제에서 점검하게 되었다. 한일간 셔틀 운항을 하는 선박은 항해시간이 짧고 입항 항구수가 많아 해사노동협약이나 우리나라 선원법에서 정하고 있는 선원휴식시간을 준수하지 못하는 경우가 발생하고 있으며, 이는 선박의 운항에 큰 지장을 초래할 수 있는 사항이 되었다. 이 연구에서는 이러한 선박들에서 휴식시간 규정을 준수할 수 있는 방안을 찾기 위해 항해사들의 당직모델을 여러 가지로 변경하거나 정박당직을 육상직원으로 대체하는 방안 등을 검토하였다. 한일간 셔틀 운항 선박이 휴식시간 규정을 만족하기 위해서는 입항 항구 수의 축소 또는 정박당직의 육상직원 대체와 같은 방안의 복합적인 적용이 필요한 것으로 연구되었다.

트랜잭션 캐쉬 일관성을 유지하기 위한 지연 로킹 기법의 성능 평가 (Performance Evaluation of Deferrd Locking for Maintaining Transactional Cache Consistency)

  • 권혁민
    • 한국정보처리학회논문지
    • /
    • 제7권8호
    • /
    • pp.2310-2326
    • /
    • 2000
  • 데이터전송(data-shipping)모델에 근간을 둔 클라이언트-서버(client-server)DBMS는 트랜잭션간 캐슁(inter-transaction caching)을 허용함에 의해 클라이언트의 자원을 효율적으로 이용할 수 있다. 그거나 트랜잭션간 캐슁을 허용하면 각 클라이언트는 데이터베이스의 일부분을 동적으로 캐슁할 수 있기 때문에 트랜잭션 캐쉬 일관성 유지(transactional cache consistency maintenance : TCCM)기법의 필요성을 야기한다. 지연 로킹(deferred locking: DL)기법은 주사본 로킹 기법에 근간을 둔 새로운 검사기반의 TCCM 기법이다. DL에서는 클라이언트에 캐슁된 데이터의 유효성 검사를 위한 메시지 부담을 줄이기 위하여 다수의 로크 요청과 데이터전송 요청을 단일 메시지로 구성하였다. 모의실험을 통하여, DL 기법과 검사기반기법중 가장 대표적인 적응적 낙관적 동시성 제어 기법과 캐슁 두단계 로킹 기법과의 성능을 비교하였다. DL 기법은 다른 검사기반 기법과 비교하여 적당한 수준의 트랜잭션 철회율을 보이며 성능도 우수하다.

  • PDF

넙치 양식장 위해요소중점관리기준(HACCP) 적용모델 개발 (Development of an Hazard Analysis Critical Control Point Application Model for a Olive Flounder (Paralichthys olivaceus) Aquaculture Farm)

  • 김태진;민진기;박선미;최재석;이명숙;김영목;정용현
    • 수산해양교육연구
    • /
    • 제25권5호
    • /
    • pp.1055-1067
    • /
    • 2013
  • We attempted to apply the HACCP system adopted in the food industry to a olive flounder (Paralichthys olivaceus) aquaculture farm to ensure the hygiene safety of farmed fish. In this study, HACCP system procedures, including HACCP team organization, critical point determination, establishment of standard limits etc., were established using Codex 12 procedures. To determine whether hazards were critical elements, we evaluated the likelihood and seriousness of each hazard element. The likelihood of residual medicine exceeding the acceptable limit in shipped fish products was demonstrated to be a critical hazard element. Management of the shipment stage was determined to be a critical control point (CCP). Checking the records for stock and release and maintaining a history of medicine use before shipping the fish were suggested as monitoring methods. The standards for acceptable residual medicine were set based on relevant laws and regulations, and then the limits were adapted and established for the CCP. An HACCP plan applicable to olive flounder farms was established.

행동기반 사물 감지를 통한 위급상황 확인 시스템 개발 (Development of Checking System for Emergency using Behavior-based Object Detection)

  • 김민제;고규한;조재춘
    • 융합정보논문지
    • /
    • 제10권6호
    • /
    • pp.140-146
    • /
    • 2020
  • 기존의 방범 시스템은 피해자가 직접 구조를 요청하거나 인근 제 3자에 의해 도움을 받아야 하는 구조이기 때문에 신속하게 대응이 불가능한 상황에서는 경우에 따라 적절한 도움을 받기 힘들다. 본 연구에서는 Deep Learning과 OpenCV를 활용한 자동 구조 요청 모델을 제안하고 시스템을 개발하였다. 본 연구는 사용자의 안전을 보장할 수 있어야 하기 때문에 신속히 정확한 결과를 도출할 수 있어야 한다는 전제 조건이 밑바탕 되어 객체의 정확성은 약 99% 이상을 확인할 수 있었으며 모든 알고리즘이 종료되는 데까지의 소요 시간을 약 3초까지 단축시킬 수 있었다. 다양한 위협 요소와 예측 불가능한 특수한 경우 등 모든 위험 상황을 인식하기 위해 다양한 종류의 위협 요소와 많은 양의 데이터를 수집하여 예기치 못한 상황에도 대처할 수 있도록 강화하여야 할 것이다.

Hydroxyapatite Cement(MimixTM)와 격자틀을 이용한 전두부 재건술 (Forehead Reconstruction with Hydroxyapatite Cement(MimixTM) and the Check Framework)

  • 조현우;박병윤
    • Archives of Plastic Surgery
    • /
    • 제35권2호
    • /
    • pp.219-222
    • /
    • 2008
  • Purpose: The purpose of this study is to develop hydroxyapatite cement simplified procedures for reconstruction of craniofacial deformities. Due to its expense and characteristics of quick hardening time, it may be inappropriate for forehead reconstruction or augmentation. Therefore we hear by introduce a more precise, easy and cheap method. The authors report forehead reconstruction with hydroxyapatite cement for a patient who suffered from craniofacial deformity. Methods: Case report and literature review. Results: A 35 year old man came to us with forehead and temporal area depression. He had a history of brain operations due to traumatic epidural hematoma. A physical exam showed an evidence of right side forehead weakness sign. Authors made RP model of his skull and applied check framework with Kirschner's wires for measuring accurate volume and contour on the depressed right side forehead area on the RP model. After complete exposure of defect area by bicoronary insicion, absorbable plate which applied on skull area was removed. Using three Kirschner's wires, authors made check framework on the right forehead lively and fixed with 2-hole miniplates on the boundary of the defect. After checking asymmetry, hydroxyapatite was applied on check shape framework just above Kirschner's wire. After removing Kirschner's wire, we corrected minimal unbalance and contour with bur. Conclusion: Check framework with Kirschner's wire was very convenient and cost saving methods for forehead reconstruction with hydroxyapatite cement.