• 제목/요약/키워드: 검사메커니즘

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

주파수 의존성이 표면탄성파의 속도 결정에 미치는 영향 (The Effect of Dispersion Relations on the Determination of Surface Acoustical Wave Velocity)

  • 권성덕;윤석수;이승희
    • 비파괴검사학회지
    • /
    • 제19권5호
    • /
    • pp.340-346
    • /
    • 1999
  • 액체/고체 경계면에 표면파가 발생할 때 나타나는 최소반사 및 후방복사 현상을 이용하여 brass와 aluminum 시편 그리고 copper/stainless steel, nickel/brass, nickel/aluminum 도금시편에 대한 표면 탄성파 속도의 주파수 의존성이 측정되었다. 측정된 속도의 분산관계는 일반화 램 표면파의 분산 특성과 잘 일치하였다. 시편들의 분산 특징에 따라 최소반사와 후방복사에 의해 결정된 속도 차이의 경향이 다르게 나타났다. 이러한 대응 관계는 두 현상의 생성 메커니즘과 군속도의 도입으로 설명되었다.

  • PDF

행위 기반 강화 학습 에이전트 구조 (An Agent Architecture for Behavior-Based Reinforcement Learning)

  • 황종근;김인철
    • 한국지능정보시스템학회:학술대회논문집
    • /
    • 한국지능정보시스템학회 2007년도 추계학술대회
    • /
    • pp.284-293
    • /
    • 2007
  • 본 논문에서는 실시간 동정 환경에 효과적인 L-CAA 에이전트 구조를 제안한다. L-CAA 에이전트 구조는 변화하는 환경에 대한 적응성을 높이기 위해, 선행 연구를 통해 개발된 행위 기반 에이전트 구조인 CAA에 강화 학습 기능을 추가하여 확장한 것이다. 안정적인 성능을 위해 L-CAA에서 행위 선택 메커니즘은 크게 두 단계로 나뉜다. 첫 번째 단계에서는 사용자가 미리 정의한 각 행위의 수행 가능 조건과 효용성을 검사함으로써 행위 라이브러리로부터 실행할 행위들을 추출한다. 하지만 첫 번째 단계에서 다수의 행위가 추출되면, 두 번째 단계에서는 강화 학습의 도움을 받아 이들 중에서 실행할 하나의 행위를 선택한다. 즉, 강화 학습을 통해 갱신된 각 행위들의 Q 함수 값을 서로 비교함으로써, 가장 큰 기대 보상 값을 가진 행위를 선택하여 실행한다. 또한 L-CAA에서는 실행 중인 행위의 유지 가능 조건을 지속적으로 검사하여 환경의 동적 변화로 인해 일부 조건이 만족되지 않는 경우가 발생하면 현재 행위의 실행을 즉시 종료할 수 있다. 그 뿐 아니라, L-CAA는 행위 실행 중에도 효용성이 더 높은 다른 행위가 발생하면 현재의 행위를 일시 정지하였다가 복귀하는 기능도 제공한다. 본 논문에서는 L-CAA 구조의 효과를 분석하기 위해, 대표적인 동적 가상환경인 Unreal Tournament 게임에서 자율적을 동작하는 L-CAA기반의 UTBot 들을 구현하고, 이들을 이용하여 성능실험을 전개해본다.

  • PDF

관심 단층 제거 후 역투사법을 이용한 X-선 디지털 영상합성법에서의 단층영상 선명도 향상에 관한 연구 (Enhancement of Image Sharpness in X-ray Digital Tomosynthesis Using Self-Layer Subtraction Backprojection Method)

  • 손철순;조민국;임창휘;정민호;김호경;이성식
    • 비파괴검사학회지
    • /
    • 제27권1호
    • /
    • pp.8-14
    • /
    • 2007
  • 비파괴검사기법에 활용되고 있는 X-선 디지털 영상합성법(digital tomosynthesis)에서 단층영상의 선명도를 향상시킬 수 있는 방법을 개발하였다. 기존의 SAA (shift-and-add) 알고리즘은 blur artefact로 인하여 재구성된 단층영상이 매우 흐린 단점이 있다. 본 연구에서는 SAA에서 blur artefact가 발생되는 물리적 메커니즘에 착안하여, 최초 재구성된 단층영상에서 관심있는 단층의 데이터를 모두 0의 값으로 대체한 후 이를 다시 FP (forward projection) 및 BP (backprojection)를 수행하여 관심있는 단층에서의 blur artefact를 추출 보정하여 단층영상을 복원하고자 하였다. 개발한 알고리즘을 검증하기 위해 실제 실험 및 몬테칼로(Monte Carlo) 시뮬레이션을 통해 기존 SAA 방법과 비교하였으며, 단층영상의 선명도가 크게 향상됨을 확인하였다.

Access Control for D2D Systems in 5G Wireless Networks

  • Kim, Seog-Gyu;Kim, Jae-Hyun
    • 한국컴퓨터정보학회논문지
    • /
    • 제26권1호
    • /
    • pp.103-110
    • /
    • 2021
  • 본 논문에서는 5G 무선 네트워크 D2D 시스템에서 수행될 수 있는 두 가지 액세스 제어 메커니즘들을 비교해 보고 효과적인 액세스 제어 기법을 제안한다. 현재 5G D2D 시스템에서는 액세스 제어 기법이 표준 규격에 제정 되어 있지 않고 있으나, 두 가지 액세스 제어 기법들이 가능하다. 하나의 방식으로는 UE-to-Network Relay 기반의 액세스 제어 기법이고, 다른 하나의 방식으로는 Remote UE 기반의 액세스 제어 기법이다. 전자의 경우는 UE-to-Network Relay가 액세스 제어 검사를 수행하는 것이며, 후자의 경우는 Remote UE가 액세스 제어 검사를 직접 수행하는 방식이다. 실험 평가 결과, 본 논문에서는 5G 무선 네트워크 D2D 시스템에서 효율적인 액세스 제어 방안으로써 Remote UE 기반의 액세스 제어 기법을 최종 제안한다. Remote UE 기반의 액세스 제어 기법은 UE-to-Network Relay 기반의 액세스 제어 기법이 비하여, 신호 오버헤드를 최소화하고, 서로 액세스 제어 기능들이 다른 경우 보다 효율적인 액세스 제어 검사를 수행할 수 있다.

IPv6 네트워크와 IPv4 네트워크 연동을 위한 NAT-PT에서의 IPsec 지원 기법 (IPsec Support Mechanism between IPv6 Network and IPv4 Network Communication using NAT-PT)

  • 김정열;김대선;홍충선
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2006년도 춘계학술발표대회
    • /
    • pp.1105-1108
    • /
    • 2006
  • IPv6의 도입으로 인해 상당기간 IPv4와 공존해야 한다. 따라서 IPv4와 IPv6간 변환 기술이 필요로 하게 되었으며 이에 여러 가지 변환 기술이 제안되어 두 프로토콜간 통신이 가능하게 되었다. 그 중 NAT-PT는 IPv6 기반의 네트워크와 IPv4 기반의 네트워크간에 직접 통신이 가능하도록 해주는 메커니즘이다. 그러나 IPsec 프로토콜의 인증 값 계산에는 TCP/UDP/ICMP 검사합 값을 포함해서 IP 주소가 사용되기 때문에 NAT-PT에는 IPsec 프로토콜을 적용할 수 없다는 보안상의 문제가 발생하였다. 따라서 본 논문에서는 NAT-PT와 IPsec의 특성을 살펴보고, NAT-PT의 보안상 문제점을 고찰하였으며 NAT-PT에 IPsec을 적용할 수 있는 방안을 제안하였다.

  • PDF

이동 에이전트의 안전한 전송을 위한 무결성 메커니즘 (An Integrity Mechanism for Secure Transmission of Mobile Agents)

  • 정은주;김영갑;정동원;백두권
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
    • /
    • pp.43-45
    • /
    • 2003
  • 이동 에이전트가 갖는 많은 장정에도 불구하고 실생활에서 이동 에이전트를 사용하는데 보안 문제는 큰 장애물로 작용하고 있다. 이동 에이전트 보안문제는 크게 이동 에이전트에 대한 보안과 이동 에이전트 시스템에 대한 보안으로 나눌 수 있는데 실질적인 이동 에이전트 보호에 대한 연구는 미비하다. 이동 에이전트나 이동 에이전트 시스템을 불법적인 공격으로부터 보호하기 위해 요구되는 가장 기본적인 서비스는 기밀성. 무결성, 인증, 접근 통제, 부인 봉쇄 및 가용성 등이며, 이 중 무결성은 보안 서비스가 제대로 작동하기 위한 가장 기본 서비스라고 할 수 있다. 일반적으로 무결성은 해쉬함수를 사용해서 무결성 검사값을 생성한 후, 데이터나 코드의 불법적인 변경을 감시한다. 따라서 이 논문에서는 에이전트를 전송 또는 수신하는 호스트의 상호인증과 해쉬함수(HMAC)를 사용해 이동 에이전트의 안전한 전송을 위한 무결성 매커니즘을 제안하고자 한다.

  • PDF

나사산 밀착방식의 철근 커플러의 개발에 관한 연구 (Development of the Friction Type Coupler for Big Size Steel bars)

  • 이성연;김광만;윤상문;이인혁
    • 한국콘크리트학회:학술대회논문집
    • /
    • 한국콘크리트학회 2009년도 춘계 학술대회 제21권1호
    • /
    • pp.151-152
    • /
    • 2009
  • 잔류변형이나 초기 미끄러짐(slip)이 발생하지 않는 나사산 밀착방식의 철근 이음장치(커플러)를 개발하였다. 철근 단부에 형성된 사다리꼴 전조나사와 커플러 내부의 암나사는 나사골 끝단이 접하지 않은 상태에서 나사산과 나사골 양옆의 경사면이 강하게 밀착되도록 하였다. 커플러 시공성을 향상시키기 위하여 개폐식 렌치를 개발하여 적용하였고, 체결력의 확인은 육안 검사로 간단히 할 수 있는 메커니즘을 채택하였다.

  • PDF

스마트 테스트 도구를 이용한 식기세척기 소프트웨어 검증 기법 (Dishwasher Software Verification Techniques Using Smart Test Tool)

  • 천봉환;천준석;우균
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
    • /
    • pp.175-177
    • /
    • 2012
  • 본 논문은 스마트 테스트 도구(Smart Test Tool)를 이용해 식기세척기 소프트웨어를 검증하는 기법에 대해 제안한다. 가전제품의 동작을 기술하기 위해 통상 스펙시트(spec. sheet: 동작명세서)를 이용하는데, 스펙시트를 이용하면 식기세척기 소프트웨어를 개발자 수준에서 블랙박스 테스트 방법으로 검사해 볼 수 있다. 스펙시트는 식기세척기 행정의 기준이 되며 식기세척기를 실제로 동작시키며 얻은 덤프데이터(dump data)는 비교 대상이 된다. 스마트 테스트 도구는 스펙시트 값의 기준대로 덤프데이터 값이 출력되었는지 확인함으로써 각 행정이 제대로 진행되었는지 파악할 수 있다. 이 논문에서는 스마트 테스트 도구의 구조와 오류 검출 메커니즘에 대해 기술한다.

광학스캐닝 메커니즘 및 근적외선 카메라 광학계를 이용한 태양전지 웨이퍼 검사장치 개발 (Development of Inspection System With Optical Scanning Mechanism and Near-Infrared Camera Optics for Solar Cell Wafer)

  • 김경범
    • 반도체디스플레이기술학회지
    • /
    • 제11권3호
    • /
    • pp.1-6
    • /
    • 2012
  • In this paper, inspection system based on optical scanning mechanism is designed and developed for solar cell wafer. It consists of optical scanning mechanism, NIR camera optics, machinery and control system, algorithm of defect detection and software. Optical scanning mechanism is composed of geometrical camera optics and structured hybrid illumination system. It is used to inspection of surface defects. NIR camera optics is used for inspection of defects inside solar cell wafer. It is shown that surface and internal micro defects can be detected in developed inspection system for solar cell wafer.

리눅스 보안 모듈 기반의 확장된 역할 기반 접근 제어 보안 시스템 설계 (The Design of LSM-Based Extended RBAC Security System)

  • 박신혜;예흥진;김동규
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
    • /
    • pp.628-630
    • /
    • 2003
  • 오늘날의 규모가 매우 크고 복잡한 시스템 및 네트워크 환경 하에서 컴퓨터 시스템의 보안 관리는 매우 중요하다. 역할기반 접근제어 (RBAC : Role-Based Access Control)는 시스템 상의 역할을 기반으로 하는 접근제어 메커니즘으로 복잡한 접근정책을 기술하고, 시스템 관리상의 에러와 비용을 줄일 수 있다. 본 논문은 리눅스 커널에 보안 강화를 지원하는 리눅스 보안 모듈(LSM: Liunx Security Module) 프레임워크 상에서 확장된 역할기반 접근제어 보안 시스템 (LSM-Based Extended RBAC Security Module)을 제안한다. 본 고에서 제안된 시스템은 보안의 강화를 위하여 원 타임 패스워드 (One-Time Password)의 강화된 인증 방식과 부분적 다중 계층 보안 (Partial Multi-Level Security), 임의적 접근 제어(Discretionary Access Control) 및 감사 정보를 통한 보안 정책 오류 검사 및 대응 (Security Policy Validation and Response) 기능을 지원한다.

  • PDF