• 제목/요약/키워드: Error Handling

검색결과 225건 처리시간 0.025초

차분 퍼징을 이용한 국내 공개 암호소스코드 안전성 검증 (Security Verification of Korean Open Crypto Source Codes with Differential Fuzzing Analysis Method)

  • 윤형준;서석충
    • 정보보호학회논문지
    • /
    • 제30권6호
    • /
    • pp.1225-1236
    • /
    • 2020
  • 퍼징은 예상되는 범위를 벗어난 입력값을 무작위로 생성해 소프트웨어를 동적으로 테스팅 하는 방법으로, 취약점 분석을 자동화하기 위해 주로 쓰인다. 현재 한국인터넷진흥원에서는 국내 표준 암호 알고리즘들에 대한 소스코드를 공개하고 있으며, 많은 암호모듈 개발업체들이 이 소스코드를 이용하여 암호모듈을 개발하고 있다. 만약 이러한 공개 소스코드에 취약점이 존재할 경우, 이를 참고한 암호 라이브러리는 잠재적 취약점을 가지게 되어 향후 막대한 손실을 초래하는 보안 사고로 이어질 수 있다. 이에 본 연구에서는 SEED, HIGHT, ARIA와 같은 블록암호 소스코드의 안전성을 검증하기 위한 적절한 보안 정책을 수립하였고, 차분 퍼징을 이용해 안전성을 검증하였다. 최종적으로 스택 버퍼 오버플로우와 널 포인터 역참조를 포함하는 메모리 버그 항목과 오류 처리 항목에서 총 45개의 취약점을 발견하였으며, 이를 해결할 수 있는 취약점 개선 방안을 제시한다.

가상치유농장시스템 설계를 위한 전문가 인식 조사 (Surveying Expert Perceptions for Designing an Agro-Healing Virtual Reality Therapy System)

  • 배승종;김수진;구희동;김대식
    • 농촌계획
    • /
    • 제29권4호
    • /
    • pp.211-219
    • /
    • 2023
  • In this study, the importance of each design element was analyzed by surveying experts in the development of Agro-Healing Virtual Reality Therapy System. It was found that the results of experts content importance were consistent with the results of consumer preferences in previous studies, such as psychological and emotional stability as the main effect the importance of sight and hearing, a relatively short time of 30 minutes or less, a low price of 5,000 won or less, technical factors that can satisfy the five senses, and various contents. When the spatial elements of the Agro-Healing Virtual Reality Therapy System were categorized into three major categories: elements and equipment, lines and paths, and sites and spaces, 'flowers', 'playgrounds', 'paths', 'sidewalks', 'rest areas' and 'gardens' were found to be highly important. Among the components of Agro-Healing Virtual Reality Therapy System, the usability was divided into eight major categories, including searchability, attractiveness, cognition, error handling, control, consistency, convenience, and feedback, and the importance was analyzed for each component. The significance of this study is that it suggests the design direction of virtual healing farm systems and provides effective information that can be used in the development of related systems in the future.

검색 재순위화를 위한 가중치 반영 딥러닝 학습 모델 (Search Re-ranking Through Weighted Deep Learning Model)

  • 안기택;최우석;박준용;박정민;이경순
    • 정보처리학회 논문지
    • /
    • 제13권5호
    • /
    • pp.221-226
    • /
    • 2024
  • 정보검색에서 질의는 다양한 유형이 존재한다. 추상적인 질의부터 구체적인 키워드를 포함하는 질의까지 다양한 형태로 구성되어 있어서 사용자의 요구에 정확한 결과 도출은 어려운 과제이다. 또한 검색시스템이 오타, 다국어, 코드와 같은 다양한 요소를 포함하는 질의를 다뤄야 하는 특징이 존재한다. 본 연구에서는 질의 유형을 분석하고, 이에 따라 딥러닝 기반 재순위화의 적용 여부를 결정하는 방법을 제안한다. 최근 연구에서 높은 성능을 보인 딥러닝 모델인 DeBERTa를 이용하여 질의에 대한 적합 문서의 학습을 통해 재순위화를 수행한다. 제안 방법의 유효성을 평가하기 위해 국제정보검색 평가대회인 TREC 2023의 상품 검색 트랙(Product Search Track) 테스트컬렉션을 이용하여 실험을 하였다. 실험 결과에 대한 정규화된 할인누적이득(NDCG) 성능측정 비교에서 제안 방법이 정보검색 기본 모델인 BM25 에 비해 질의 오류 처리를 통한 검색, 잠정적 적합성피드백을 통한 상품제목 기반 질의확장과 질의유형에 따른 재순위화에서 0.7810으로 BM25 대비 10.48% 향상을 보였다.

육안검사기술의 실무적 이해 (Practical Understanding of Gross Examination Techniques)

  • 지우현
    • 대한임상검사과학회지
    • /
    • 제56권1호
    • /
    • pp.89-98
    • /
    • 2024
  • 육안검사는 정확한 병리조직학적 진단을 위해 수술, 내시경 검사에서 채취된 검체를 육안검사를 통해 암의 육안정보를 기록하고 병변은 현미경 표본을 만들기 위해 절편을 채취하는 행위이다. 육안검사의 기술은 간결하고 정확한 표현, 적절한 구조화, 충분한 절제, 중요정보에 대한 오류가 없는 표준화, 복잡한 검체의 사진 도표화가 이루어져야 한다. 병리학적 판독의 만족도를 높이기 위해서는 육안검사에 대한 이해가 충분한 이론적 실무적 바탕에서 신뢰를 얻기 위한 정확하고 신중히 수행해야 하는 업무이다. 육안검사 분야에서 임상병리사들의 경험을 바탕으로, 추가 표본 유형이 실행 가능한 후보로 식별되고 치료 측면에서 요구와 우려 사항을 신중하게 고려해야 한다. 또한, 각 기관의 부서에서는 임상과의 파트너쉽, 지속적인 전문인력 양성, 진단오류 및 가치 기반의 의료제공에 대한 국가적 초점 측면에서 검토해야 할 것이다.

Numerical Simulation of Quasi-Spherical, Supersonic Accretion Flows - Code and Tests

  • Siek Hyung;Seong-Jae Lee
    • 한국지구과학회지
    • /
    • 제45권4호
    • /
    • pp.292-303
    • /
    • 2024
  • We study quasi-spherical, supersonic accretion flows around black holes using high-accuracy numerical simulations. We describe a code, the Lagrangian Total Variation Diminishing (TVD), and a remap routine to address a specific issue in the Advection Dominated Accretion Flow (ADAF) that is, appropriately handling the angular momentum even near the inner boundary. The Lagrangian TVD code is based on an explicit finite difference scheme on mass-volume grids to track fluid particles with time. The consequences are remapped on fixed grids using the explicit Eulerian finite-difference algorithm with a third-order accuracy. Test results show that one can successfully handle flows and resolve shocks within two to three computational cells. Especially, the calculation of a hydrodynamical accretion disk without viscosity around a black hole shows that one can conserve nearly 100% of specific a ngular momentum in one-and two-dimensional cylindrical coordinates. Thus, we apply this code to obtain a numerically similar ADAF solution. We perform simulations, including viscosity terms in one-dimensional spherical geometry on the non-uniform grids, to obtain greater quantitative consequences and to save computational time. The error of specific angular momentum in Newtonian potential is less than 1% between r~10rs and r~104 rs, where rs is sink size. As Narayan et al. (1997) suggested, the ADAFs in pseudo-Newtonian potential become supersonic flows near the black hole, and the sonic point is rsonic~5.3rg for flow with α =0.3 and γ=1 .5. Such simulations indicate that even the ADAF with γ=5/3 is differentially rotating, as Ogilvie (1999) indicated. Hence, we conclude that the Lagrangian TVD and remap code treat the role of viscosity more precisely than the other scheme, even near the inner boundary in a rotating accretion flow around a nonrotating black hole.

무응답모형에 기반한 출구조사의 예측 정확성 비교 연구 (A comparison study for accuracy of exit poll based on nonresponse model)

  • 곽정애;최보승
    • Journal of the Korean Data and Information Science Society
    • /
    • 제25권1호
    • /
    • pp.53-64
    • /
    • 2014
  • 조사를 통한 선거 예측을 수행하는 데 있어서 발생할 수 있는 문제점 가운데 하나는 무응답이라 할 수 있으며 무응답 대체에 대한 방법에 따라 예측 결과는 완전히 다른 결과를 생산해 낼 수 있다. 특히 대통령 선거와 같은 민감한 주제에 대한 선거에서는 무응답 대체가 더욱 더 중요하다. 본 연구에서는 무응답 대체의 방법으로 모형에 기반을 둔 대체 방법에 대하여 연구를 진행하였다. 모형에 기반을 둔 대체 방법에서는 무응답 체계의 가정에 따라 무응답 모형을 구축할 수 있으며 무응답 체계에 따라 각기 다른 대체 결과를 제공할 수 있다. 모형에 기반을 둔 무응답 대체 및 추정에서 적절한 무응답 체계의 가정은 정확한 모형 추정을 위한 매우 중요한 전제 조건이다. 그러나 무응답 체계의 가정에 대한 검증 절차는 아직 정확한 해법이 알려지지 않은 상황이다. 본 연구에서는 실제 자료를 이용한 모형적합을 통하여 무응답 체계 가정에 대한 정확도를 비교하고자 하였다. 2012년에 시행된 18대 대통령 선거과정에서 수행된 출구조사 결과를 이용하여 무응답 체계의 가정에 대한 검증과 모형에 의한 예측 정확도를 비교하였다. 무응답 모형의 추정과 무응답 대체를 위하여 EM 알고리즘에 기반을 둔 최대우도 추정방법을 이용하였으며 예측 결과를 비교하기 위하여 Bautista 등 (2007)이 제안한 MWPE(modified within precinct error)를 이용하였다.

3차원 전신 정위 방사선 치료 장치의 개발 (Development of the Whole Body 3-Dimensional Topographic Radiotherapy System)

  • 정원균;이병용;최은경;김종훈;안승도;이석;민철기;박참복;장혜숙
    • 한국의학물리학회지:의학물리
    • /
    • 제10권2호
    • /
    • pp.63-71
    • /
    • 1999
  • 입체조형 치료와 전신 방사선 수술에의 이용을 목적으로 3차원 전신 정위 방사선 치료 장치를 개발하였다. Couch 위에 놓을 수 있는 전신 정위 치료판을 제작하여 방사선 비투과성 카테타 선을 이용하여 치료판 위에 좌표계를 설치하고, MeV-Green(전성 물산, 한국)으로 고정틀을 만들어 환자 자세를 고정시키고, 플라스틱 봉과 봉 지지판을 이용하여 고정틀을 고정하였다. 이러한 설계, 제작으로 입체 조형 치료 등에서 갠트리 회전에 의한 기하학적 제약을 최소화하고 방사선 조사 투과율 이 특정한 방향에서 영향을 받는 문제점을 해소하였다. CT 영상을 통해 치료 표적의 위치를 파악하고 치료판 기준점에 대하여 좌표화하여 모의 치료시와 방사선 치료시의 환자 자세 변화 오차를 줄였다. 3대의 CCTV 카메라를 사용하여 환자 자세 변화를 감지, 수정함으로써 체표변의 외곽선으로 부터 setup 오차를 최소화 할 수 있었다. 치료 효용성을 높이기 위해 이러한 과정을 모니터를 보면서 실시간으로 처리 할 수 있도록 하였고, IDL(Interactive Data Language, RSI, U.S.A.)을 사용하여 image subtraction 방식으로 환자 자세 변화를 가시화하여 오차를 줄이도록 하였다. 내부 장기 움직임에 따른 표적의 움직임을 추적할 목적으로 rotating X-ray 장치를 제작하였다. Landmark 나사를 표적주위 뼈나 표적중심에 삽입하여 이 rotating X-ray 장치를 이용해서 anterior, lateral 두 방향에서 얻은 영상 정보로부터 marker 에 대한 표적의 위치 변화를 가시화 하여 내부 표적의 움직임에 따른 setup 오차를 줄였다. CT 모의치료를 할 수 있도록 IDL 을 이용하여 PC용 모의치료 프로그램을 GUI 환경에서 구현하였고 이 프로그램을 통해서 치료 계획을 위해 CT 에서 수집된 영상정 보를 이용하여 표적을 포함한 장기들의 그래픽 처리, 편집, 전송 등의 작업을 수행하도록 하였다.

  • PDF

시설재배 참외 수확 로봇용 엔드이펙터의 설계 요인 분석 (Design Factor Analysis of End-Effector for Oriental Melon Harvesting Robot in Greenhouse Cultivation)

  • 하유신;김태욱
    • 생물환경조절학회지
    • /
    • 제22권3호
    • /
    • pp.284-290
    • /
    • 2013
  • 본 연구는 시설재배에서 참외를 수확할 수 있는 로봇의 엔드이펙터를 개발하기 위한 전단계로서, 참외의 엔드이펙트 중에서 소프트 핸드링이 가능한 그립퍼와 참외줄기를 절단하는 커터를 설계하기 위해 참외의 기하학, 압축, 절단, 마찰 특성 등을 분석하였다. 그 결과 참외의 길이는 평균 108mm, 직경은 중간지점에서 평균 70mm, 중량은 평균 188g, 부피는 평균 333mL, 진원도는 평균 3.8mm로 나타났다. 참외의 중량(W)에 대하여 길이(L)와 직경(D2)을 변수로 하는 식 $W=L^a{\times}D_2^b$로부터 비선형 회귀분석을 실시한 결과 a는 2.0279, b는 -0.9998의 상수값을 가지는 상관관계가 있는 것으로 나타났다. 참외줄기의 지름은 평균 3.8mm이며, 참외 줄기는 중심으로부터 반경 5mm 범위 내에서 대부분 분포하였다. 참외의 항복치와 압축강도, 경도의 평균값은 각각 $36.5N/cm^2$, $185.7N/cm^2$, $636.7N/cm^2$이며, 참외 줄기의 절단력과 절단강도는 각각 $2.87{\times}10^{-2}N$$5.60N/cm^2$로 나타났다. 참외의 마찰계수는 고무가 0.609으로 가장 높게 나타났고, 그 다음으로 알루미늄이 0.393, 스테인레스강이 0.177, 테프론이 0.079로 나타났다. 분석된 자료를 토대로 엔드이펙터 설계시 동작에 따른 위치 오차와 안전율을 감안하여, 그립퍼의 및 커터의 크기, 선회반경, 설치위치, 구동모터의 동력, 재료 및 재질의 선정 등에 적용할 수 있을 것으로 판단되었다.

융복합 기술을 이용하는 컨테이너 항만에서 야드 트랙터에 탑재된 웹-패드의 무선통신 환경 개선 방안 (Improvement of wireless communications environment of Web-pad on board Yard tractor in container terminal use convergence technology)

  • 홍동희;김창곤
    • 디지털융복합연구
    • /
    • 제13권8호
    • /
    • pp.281-288
    • /
    • 2015
  • 유선과 무선 등 다양한 융복합 기술을 이용하고 있는 컨테이너 항만에서는 작업을 위해 항만운영정보시스템(TOS)과 하역장비(CC, TC, YT) 간의 무선통신을 통해 작업정보를 교환한다. 그러나 컨테이너항만의 야드에 컨테이너화물이 높게 장치되어 있는 경우, 무선통신이 단절되어 음영지역(작업자가 정보를 받을 수 없는 지역)이 발생하여 작업 지연 및 작업 지시 오류가 발생한다. 이 때 작업자인 야드 트랙터(YT)의 운전자가 통신 상태를 인식할 수 있어야 한다. 그래야만 통신 음영지역에서의 작업 지연 및 작업지시 오류를 방지할 수 있고, 통신 단절로 작업이 지연될 때에도 작업자가 스스로 처리할 수 있다. 즉, 야드 트랙터에 장착된 웹-패드의 기능 개발, 그리고 통신 단절 시 빠르게 통신을 회복하는 기능 등을 개발하여 업무 처리속도를 향상시키는 등의 하역작업의 효율성을 높일 방안이 필요하다. 본 연구에서는 통신 모듈의 흐름을 변경하고, 야드 트랙터의 웹-패드에 단락(끊김) 또는 통신지연에 대한 네트워크 상태를 알려주는 UI 개발 등을 통해 작업자가 작업지연 및 작업지시 오류에 능동적으로 대처하여 하역작업의 효율성을 높이는 무선통신 환경을 구축하였다.

나노 정밀도 스캐닝 용 공기베어링과 보이스 코일 모터의 초정밀 이중 스테이지 설계 및 제어 (Design and Control of Ultra-precision Dual Stage with Air bearings and Voice coil motor for nm scanning system)

  • 김기현;최영만;김정재;이문구;이석원;권대갑
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 2005년도 춘계학술대회 논문집
    • /
    • pp.1883-1886
    • /
    • 2005
  • In this paper, a decoupled dual servo (DDS) stage for ultra-precision scanning system with large working range is introduced. In general, dual servo systems consist of a fine stage for short range and a coarse stage for long range. The proposed DDS also consists of a $XY\theta$ fine stage for handling and carrying workpieces and one axis coarse stage. Its coarse stage consists of air bearing guide system and a coreless linear motor with force ripple. The fine has four voice coil motors(VCM) as its actuator. According to a VCM's nature, there are no mechanical connections between coils and magnetic circuits. Moreover, VCM doesn't have force ripples due to imperfections of commutation components of linear motor systems - currents and flux densities. However, due to the VCM's mechanical constraints the working range of the fine is about $25mm^2$. To break that hurdle, the coarse stage with linear motors is used to move the fine about 500mm. Because of the above reasons, the proposed DDS can achieve higher precision scanning than other stages with only one servo. With MATLAB's Sequential Quadratic Programming (SQP), the VCMs are optimally designed for the highest force under conditions and constraints such as thermal dissipations due to its coil, its size, and so on. And for their movements without any frictions, guide systems of the DDS are composed of air bearings. To get precisely their positions, a linear scale with 5nm resolution are used for the coarse stage's motion and three plane mirror laser interferometers with 5nm for the fine's $XY\theta$ motions. With them, on scanning the two stages have same trajectories. The control algorithm is named Parallel method. The embodied ultra-precision scanning system has sub 100nm following error and in-positioning stability.

  • PDF