• 제목/요약/키워드: out-of-code

검색결과 1,936건 처리시간 0.026초

PLC용 uC/OS-II 운영체제 기반 펌웨어에서 발생 가능한 취약점 패턴 탐지 새니타이저 (A Sanitizer for Detecting Vulnerable Code Patterns in uC/OS-II Operating System-based Firmware for Programmable Logic Controllers)

  • 한승재;이건용;유근하;조성제
    • 한국소프트웨어감정평가학회 논문지
    • /
    • 제16권1호
    • /
    • pp.65-79
    • /
    • 2020
  • 산업제어 시스템에서 많이 사용되는 PLC(Programmable Logic Controller)는 마이크로 컨트롤러, 실시간 운영체제, 통신 기능들과 통합되고 있다. PLC들이 인터넷에 연결됨에 따라 사이버 공격의 주요 대상이 되고 있다. 본 논문에서는, 데스크톱에서 개발한 uC/OS-II 기반 펌웨어를 PLC로 다운로드 하기 전, 펌웨어 코드의 보안성을 향상시켜 주는 새니타이저를 개발한다. 즉, PLC용 임베디드 펌웨어를 대상으로 버퍼의 경계를 넘어선 접근을 탐지하는 BU 새니타이저(BU sanitizer)와 use-after-free 버그를 탐지하는 UaF 새니타이저(UaF sanitizer)를 제안한다. BU 새니타이저는 대상 프로그램의 함수 호출 그래프와 심볼 정보를 기반으로 제어 흐름 무결성 위배도 탐지할 수 있다. 제안한 두 새니타이저를 구현하고 실험을 통해 제안 기법의 유효성을 보였으며, 기존 연구와의 비교를 통해 임베디드 시스템에 적합함을 보였다. 이러한 연구결과는 개발 단계에서 의도하지 않은 펌웨어 취약점을 탐지하여 제거하는데 활용할 수 있다.

식품 중 플루오로퀴놀론계 항생제의 분석 (Analysis of Fluoroquinolone Antibiotics in Foods)

  • 김희연;신민수;최희주;박세종;송재상;정소영;최선희;이화정;김영선;최재천
    • 한국식품과학회지
    • /
    • 제41권6호
    • /
    • pp.636-643
    • /
    • 2009
  • 총 388건의 시료를 분석한 결과, 닭 143건 중 총 12건의 플루오르퀴놀론계 항생제가 검출되었으며 다른 식품군에서는 모두 불검출 되었다. 항생제 별로 보면 엔로플록사신이 12건으로 가장 많았고 시프로플록사신이 5건, 노르플록사신이 1건 순이었다. 검출농도는 엔로플록사신이 0.01-0.73 mg/kg, 시프로플록사신이 0.01-0.03 mg/kg 및 노르플록사신이 0.12 mg/kg이었다.

낮은 복잡도의 Deeply Embedded 중앙처리장치 및 시스템온칩 구현 (Low-Complexity Deeply Embedded CPU and SoC Implementation)

  • 박성정;박성경
    • 한국산학기술학회논문지
    • /
    • 제17권3호
    • /
    • pp.699-707
    • /
    • 2016
  • 중앙처리장치를 중심으로 하는 각종 내장형 시스템은 현재 각종 산업에 매우 광범위하게 쓰이고 있다. 특히 사물인터넷 등의 deeply embedded (심층 내장형) 시스템은 저비용, 소면적, 저전력, 빠른 시장 출시, 높은 코드 밀도 등을 요구한다. 본 논문에서는 이러한 요구 조건을 만족시키는 중앙처리장치를 제안하고, 이를 중심으로 한 시스템온칩 플랫폼을 소개한다. 제안하는 중앙처리장치는 16 비트라는 짧은 명령어로만 이루어진 확장형 명령어 집합 구조를 갖고 있어 코드 밀도를 높일 수 있다. 그리고, 다중사이클 아키텍처, 카운터 기반 제어 장치, 가산기 공유 등을 통하여 로직 게이트가 차지하는 면적을 줄였다. 이 코어를 중심으로, 코프로세서, 명령어 캐시, 버스, 내부 메모리, 외장 메모리, 온칩디버거 및 주변 입출력 장치들로 이루어진 시스템온칩 플랫폼을 개발하였다. 개발된 시스템온칩 플랫폼은 변형된 하버드 구조를 갖고 있어, 메모리 접근 시 필요한 클락 사이클 수를 감소시킬 수 있었다. 코어를 포함한 시스템온칩 플랫폼은 상위 언어 수준과 어셈블리어 수준에서 모의실험 및 검증하였고, FPGA 프로토타이핑과 통합형 로직 분석 및 보드 수준 검증을 완료하였다. $0.18{\mu}m$ 디지털 CMOS 공정과 1.8V 공급 전압 하에서 ASIC 프론트-엔드 게이트 수준 로직 합성 결과, 50MHz 동작 주파수에서 중앙처리장치 코어의 논리 게이트 개수는 7700 수준이었다. 개발된 시스템온칩 플랫폼은 초소형 보드의 FPGA에 내장되어 사물인터넷 분야에 응용된다.

전압강하를 고려한 전기방식 기준 개정에 관한 연구 (A Study on the Amendments of the Cathodic Protection Criteria Considering IR Drops)

  • 류영돈;이진한;조영도;김진준
    • 한국가스학회지
    • /
    • 제20권4호
    • /
    • pp.50-57
    • /
    • 2016
  • 도시가스사업법령에서는 매설된 강관에는 부식을 방지하기 위하여 전기방식 조치를 하도록 하고 있다. 미국 등 국외에서 방식전위기준은 방식전류가 흐르는 상태에서 포화황산동 기준전극으로 -850 mV(On potential) 이하로 하도록 하고 있으며, 이 경우 전압강하(IR-Drop)를 고려하도록 하고 있다. 그러나, 국내의 방식전위 기준은 포화황산동 기준전극으로 -850mV 이하로 하도록 규정하고 있을 뿐, 전압강하를 고려하도록 규정하고 있지 않다. 다만, KGS GC202에서 가스시설에 대한 전위측정은 가능한 한 가스시설과 가까운 위치에서 기준전극으로 실시하도록 하고 있다. 본 연구에서는 기준전극을 매설배관 주위, 지표면 및 지표면 하부 50cm에 각각 설치하여 방식전위를 측정하고, 측정위치에 따른 전위값을 비교하여 전압강하를 분석하였다. 전위 측정결과 기준전극을 매설배관 가까이에 위치하였을 때 IR-Drop이 가장 적고, 지표면에 기준전극을 위치할 때 IR-Drop 값이 가장 큼을 확인하였다. 따라서, 고체기준전극을 매설하는 경우에는 가능한 한 매설배관 가까이에 설치할 것을 제안하였다. 또한, 기존에 설치된 배관의 원격전위 측정을 위해서는 기존에 설치된 전위측정용터미널(T/B) 하부에 고체기준전극을 매설할 수 있도록 전기방식 기준전극 설치 기준 개정(안)을 제시하였다.

고층건물의 자연 진동실험 및 시스템판별 (Ambient Vibration Testing and System Identification for Tall Buildings)

  • 조순호
    • 한국지진공학회논문집
    • /
    • 제16권3호
    • /
    • pp.23-33
    • /
    • 2012
  • 구조물의 특성치를 결정하기 위하여 18층 규모의 사무용 건물 3동에 대하여 자연진동 조건하에서 동적계측실험을 수행하였다. 대상건물은 기본적으로 보-기둥 골조시스템에 횡하중을 보다 효율적으로 지지하기 위하여 추가적으로 코아가 배치된 혼합 구조형식을 나타낸다. 매층 마다 측정한 일련의 진동기록으로부터 고유진동수, 모드형태 및 감쇠율 등과 같은 모달계수를 추출하기 위하여 최신 주파수- 및 시간영역-기반 응답의존 시스템판별법인 FDD, pLSCF 및 SSI를 적용하였다. 3방법에 의하여 추출한 결과는 대체로 일치하였으나, 초기 FE 해석결과와 비교하여 저차 3개 고유진동수는 대략 1.2~1.7배나 되는 단단한 거동을 나타냈다. 진동응답으로부터 추출된 값, 기준에서 제시하는 약산식 및 FE해석에 의하여 산정된 고유주기를 비교하여 보면, FE결과가 가장 유연한 거동을 예측하였으며, 높이를 변수로 하는 약산식이 추출된 값에 가장 근접한 결과를 나타냈다. 이러한 차이는 현재의 실험 추출치에는 콘크리트 균열 등과 같은 강성저감 요인을 포함하고 있지 않으며, 또한 FE 해석치는 비구조체 및 사용된 재료의 실제성능 등과 관련된 강성증가 요소를 포함하고 있지 않기 때문이다.

지하수내 갈색 부유/침전 물질의 생성 반응에 관한 평형 및 반응속도론적 연구: 적정 양수 기법 및 탁도 제거 방안에 대한 제안 (Geochemical Equilibria and Kinetics of the Formation of Brown-Colored Suspended/Precipitated Matter in Groundwater: Suggestion to Proper Pumping and Turbidity Treatment Methods)

  • 채기탁;윤성택;염승준;김남진;민중혁
    • 대한지하수환경학회지
    • /
    • 제7권3호
    • /
    • pp.103-115
    • /
    • 2000
  • 갈색 침전물의 생성은 우리나라 지하수의 개발 및 공급에 있어 흔히 발생하는 문제 중의 하나인데, 이에 따라 색도, 맛, 탁도 및 용존 철 함량 등의 항목에 있어 먹는 물 수질 기준을 초과하게 되고, 물 공급 시스템에 스케일링의 문제를 야기하게 된다. 경기도 파주 지역 지하수의 경우에도 양수 후 몇 시간 내에 갈색 침전물이 형성되어 수질을 악화시키고 있다. 본 연구에서는 지하수의 탁도를 유발하는 원인과 지화학적 반응 경로를 이해하고자, 평형열역학 및 반응속도론적 접근을 통하여 갈색 침전물의 형성과정을 파악하였다. 본 연구결과는 침전물의 형성을 최소화하기 위한 적정 양수 기법은 물론 수질 향상을 위한 최적 수처리 기법을 설계하는데 있어 중요한 자료로 활용될 것이다. 파주 지역의 암반 지하수는 물/암석(편마암)반응에 의해 Ca-$HCO_3$형의 수질 특성을 보인다. SEM-EDS 및 XRD 분석 결과, 갈색 침전물은 비정질의 함철 산화물 또는 수산화물로 해석된다. 다양한 공극 크기(6, 4, 1, 0.45, 0.2 $\mu\textrm{m}$)를 갖는 여과지를 이용한 다단계 여과 결과, 이들 침전물은 크기에 있어 대부분 1 내지 0.45$\mu\textrm{m}$의 입도를 갖는 콜로이드 형태이지만, 질량 분포로 볼 때는 1 내지 6$\mu\textrm{m}$범위가 우세함(총 질량의 약 81%)을 알 수 있다. 다량의 용존 철(II)은 지하수 유동 중에 철 함량이 높은(최대 3wt.%) 단층 파쇄암 내의 녹니석(clinochore)의 용해로부터 기원하는 것으로 판단된다. PHREEQC 프로그램을 이용한 포화지수 계산 및 pH-Eh 관계도에 대한 검토 결과, 침전물은 함철 수산화물임이 확인되며, 환원 조건에 있던 심부 지하수가 양수에 의해 산소에 노출되면서 화학성 변화(특히, 산화)에 의하여 침전함을 알 수 있다. 양수 이후의 시간 경과와 더불어 양수된 지하수의 pH, DO, 알칼리도는 점차 감소하며. 탁도는 증가하다가 일정 시간 경과 후 감소하는 경향을 보인다. 양수 이후의 경과 시간에 따른 용존 철(II)의 농도 감소율(즉, 반응 속도)은 Fe(II)=10.l exp(-0.0009t)로 표현된다. 따라서 갈색 침전물의 생성 반응은 양수 및 양수 후 저장 과정 중에 산소의 유입에 따른 산화 반응에 기인하며, 그 반응은 시간, 산소분압 및 pH에 의존함을 알 수 있다. 탁도를 제거하여 음용 가능한 수질을 확보하기 위해서는, 충분한 시간 동안 충분한 크기를 갖는 탱크 내에서의 다단계 저장 및 폭기를 거친 이후에 응집된 침전물에 대한 여과가 제안된다. 이때, 비용 절감 차원에서 상이한 입도 조건에서의 다단계 여과가 효과적일 것으로 생각된다. 한편, 개발 관정 내에서의 스케일링을 최소화하기 위해서는 심부 지하수로 산소가 풍부한 천층 지하수가 유입되는 과정을 최소화할 필요가 있다. 이를 위해서는 적정 채수량 범위 내에서의 지속적인 양수가 효과적일 것이다. 아울러, 산소가 풍부한 천층 지하수의 채수를 위한 별도의 관정 설치도 고려할 수 있을 것이다.

  • PDF

농촌, 도시 및 집단생활 아동의 요충 감염과 집단 구충에 의한 예방 효과 (Prevalence of Enteyobius vermiculuris infection and preventive effects of masts treatment among children in rural and urban areas, and children in orphanages)

  • 김종수;이해용;안영겸
    • Parasites, Hosts and Diseases
    • /
    • 제29권3호
    • /
    • pp.235-244
    • /
    • 1991
  • 강원도 원주 지역 학등에 대하여 환경을 달리하는 4군을 adhesive cellotape anal swab 법으로 충란 검출률을 조사하였고 감염 집단에 대하여 구충제의 반착 투여로 감염률의 감소 현황과 재감염 을 관찰하였다. 1. 충란 검출률(1회 검사)은 19.9%(1,262명중 251명 양성, 남 19.7%, 여 20.1%)였으며 지역과 환경이 다른 산간 지역 13.0%, 농촌 지역 11.9%, 중 도시 15. l%, 집단생활 아동 61.9%로 나타났다. 2. 국민학생은 저학년(유치만 및 1,2학년생)에서 검출률(26.2∼32.2%)이 높았고 그 외는 최저 (6학년 생) 13.6%이었다. 3. 반복 검사(4∼5일 간격 3회)에 의한 누적 검출률은 높았으나(최초 58.5%에서 70.8%로) 매회의 검출률은 비슷한 비율(50.0%∼59.2%)을 보였다. 4. 반복검사 3회의 누적 검출률(70.8%, 130명 검사) 중 계속 양성자는 평균 39.2%이었다. 그리고 충란 검출률이 높은 군(87.5%)일수록 그 비율(71.9%)은 높았다. 5. 충란 양성자 17명에서 구충제 투여로 2,609마리 (성비는 12.4 : 1)의 충체를 수집하였다. 이는 평균 153마리 (4∼824범위) 감염에 해당된다. 6. 집단에 대하여 매회 충란 양성자에만 구충제를 투여 (3주간격 6회)한 바 양성률은 최초 54.8% (180명중)에서 15주 후에 2.3%로 감소되었으나 완전한 구충 효과는 얻지 못하였다. 그러나 매회 전 집단(양성자, 음성자 같이)에 대한 구충제 투여 (3주간격)에서는 4회 (9주째) 검사때 전부 음성으로 나타났다. 7. 국민학교 학생 양성자의 형제자매 중 충란 검출률은 70.0%(40명 중 28명)이었다. 가족 단위로는 69.7%의 같은 비율로 높았다. 이상으로 요충 감염은 아직까지 높은 상태임을 알았고 예방을 위한 집단 구충에는 전 집단에 대한 3회 이상의 반복구충이 효과적이었다. gas layers is also made. Low resolution spectral intensities at the boundary are obtained for uniform, parabolic and boundary layer type temeprature profiles using the obtained for uniform, parabolic and boundary layer type temperature profiles using the obtained WSGGM's with 9 gray gases. The results are compared with the narrow band spectral intensities as obtained by a narrow band model-based code with the Curtis-Godson approximation. Good agreement is found between them. Local heat source strength and total wall heat flux are also compared for the cases of Kim et al, which again gives promising agreement.면적 306~453$\textrm{cm}^2$, 유색계의 경우 수당면적 340~453$\textrm{cm}^2$ 일 때 경제능력을 제대로 발휘할 수 있고 경제성이 있는 것으로 나타났다. 첨가구가 높은 경향이 있었다8.4%. 79.7% 그리고 80.2%였다. 5. 체중구성요소들의 중상비율간의 상관근도는 계통간를 차이를 보이지 않았다. 체중구성요소중 체중과 상관정도가 높은 부위들은 방혈양, 두부, 각부, 흉부, 퇴경부등이였다. 복부지방(%)은 어느 계종에서나 주로 불가식내장과 높은 유의상관을 보였으나, 가식부위와의 상관정도는 매우 낮게 나타났다.ctivity of these

  • PDF

정신장애자의 형사책임능력 판단과 정신감정 (The Judgment of Criminal Liability and Psychiatric Evaluation for Mentally Defective Person)

  • 정용기
    • 시큐리티연구
    • /
    • 제43호
    • /
    • pp.177-204
    • /
    • 2015
  • 우리나라 형법 제10조 제1항에서는 "심신장애로 인하여 사물을 변별할 능력이 없거나 의사를 결정할 능력이 없는 자의 행위는 벌하지 아니한다"라고 규정하고 있다. 따라서 정신장애자가 행위 시에 책임능력이 결여되었다고 판정되면 형사처벌을 할 수 없다. 정신장애자에 대한 책임능력의 판단 문제는 형법학과 정신의학이 교차하는 영역에 존재한다. 정신장애로 인한 책임능력의 존부에 대해서는 최종적으로 법원이 판단하게 되지만 생물학적 요소인 정신장애에 대한 판단은 정신의학적 지식이 필요하고 이에 의존하는 것이 당연하다. 특히 국민참여재판의 시행으로 정신장애자의 정신감정 절차와 내용에서 변화가 요구된다. 일반시민들로 구성된 배심원이 재판의 심리에 참가하게 되므로 배심원이 정신감정의 결과를 이해하고 판단할 수 있도록 더욱 정확한 정신감정과 결과를 제출하는 절차의 개선이 필요하다. 형사사법절차에서 정확한 정신감정결과를 담보하기 위해서는 형사사법과 사법정신의학에 관한 일정한 교육프로그램을 이수한 정신과 의사 또는 심리학자로 구성되는 인력-풀을 구축하고, 인력-풀에 소속된 감정인을 선정하여 정신감정을 실시하는 것이 바람직하다. 나아가 국민참여재판에서 일반시민으로 구성되는 배심원의 비전문성을 고려해야 하므로 알기 쉬운 정신감정서의 작성과 제출이 요구된다. 정신장애 여부에 관한 배심원의 공정한 평결을 위해서는 정신감정서의 신속한 제출과 중요한 내용을 요약한 정신감성서의 제출, 배심원이 쉽게 이해할 수 있는 정신감정서의 작성이 필요하다.

  • PDF

SUMT법(法)에 의(依)한 2골절(滑節) I형(形) 강재(鋼材) 아치의 최적설계(最適設計) (Optimum Design of Two Hinged Steel Arches with I Sectional Type)

  • 정영채
    • 대한토목학회논문집
    • /
    • 제12권3호
    • /
    • pp.65-79
    • /
    • 1992
  • 본(本) 연구(硏究)는 2골절(滑節) 강재(鋼材) 아치의 최적설계(最適設計)에 관(關)한 것으로 아치구조(構造)의 정확(正確)한 해석(解析)과 구조(構造)를 안전(安全)하며 경제적(經濟的)으로 설계(設計)하는 데 목적(目的)을 둔다. 구조해석(構造解析) 방법(方法)은 해석과정(解析過程)에서 구조물(構造物)의 처짐울 고려(考慮)하는 유한차분법(有限差分法)을 도입(導入)하므로 해석오차(解析誤差)를 소거(消去)하여 구조물(構造物)의 단면력(斷面力)을 결정(決定)할 수 있는 방법(方法)을 사용(使用)한다. 최적화문제(最適化問題)는 설계변수(設計變數)를 단면(斷面)의 칫수들(B, D, $t_f$, $t_w$)로 하는 목적함수(目的函數)와 제약건식(制約件式)으로 형성(形成)한다. 목적함수(目的函數)는 아치구조(構造)의 총(總) 중량(重量)으로하고 제약조건(制約條件)은 한국(韓國) 도로교(道路橋) 표준시방서(標準示方書)에 규정(規定)된 허용응력(許容應力), 플랜지와 복부(腹部)의 최소칫수에 관한 규준(規準)을 사용(使用)하고 I형(形) 단면(斷面)의 경제적(經濟的) 높이 조건(條件)과 복부(腹部)의 상한계(上限界) 칫수와 플랜지 폭(幅)의 하한계(下限界) 칫수를 포함(包含)하여 유도(誘導)된다. 본(本) 연구(硏究)에서 개발(開發)된 비선형계획문제(非線型計劃問題)를 풀기 위해 수정(修正) Newton Raphson 탐사법(探査法)을 사용(便用)하는 SUMT 기법(技法)을 도입(導入)하여 수치예(數値例) 통(通)하여 시험(試驗) 본다. 본(本) 연구(硏究)에서 개발(開發)된 아치구조(構造)의 최적화(最適化) 프로그램은 여러 아치구조(構造) 수치예(數値例)를 통하여 시행(試行)하고 고찰(考察)한다. 이러한 수치결과(數値結果)를 통(通)하여 본 알고려즘의 최적화(最適化) 가능성(可能性), 적용(適用) 가능성(可能性) 및 수검성(收檢性)과 타(他) 문현(文獻)(30)을 사용(使用)한 수치결과(數値結果)와도 비교분석(比較分析)한다. 본(本) 연구(硏究)의 최적단면적(最適斷面績)과 2차(次)모멘트의 상관관계식(相關關係式)은 많은 수치적(數値的) 최적설계(最適設計) 결과(結果)로부터 도출(導出)한다.

  • PDF

광물성 혼화재료를 혼입한 고성능 모르타르의 염해 및 화학저항성 평가 (Evaluation of Chloride and Chemical Resistance of High Performance Mortar Mixed with Mineral Admixture)

  • 이겨레;한승연;최성용;윤경구
    • 한국산학기술학회논문지
    • /
    • 제19권5호
    • /
    • pp.618-625
    • /
    • 2018
  • 외부환경에 노출된 콘크리트 구조물은 사용기간 동안 시간의 경과함에 따라 여러 가지 환경적, 화학적, 물리적 요인들이 콘크리트 내부로 서서히 침투 및 확산되면서 콘크리트 초기의 우수한 내구성능을 저하시켜, 열화발생으로 인한 성능저하의 규명과 유지관리에 대한 중요성이 크게 부각되고 있다. 특히, 해안에 근접한 콘크리트 구조물이 동결융해 작용을 받는 경우, 동결융해의 과정에서 콘크리트 조직이 팽창 수축을 반복하면서 콘크리트의 조직이 이완되고 이때, 해수에 존재하는 염화물이온이 콘크리트 내부에 침입하게 되면, 콘크리트 구조물의 철근부식으로 인한 열화를 가속화시키기 때문에 내륙 콘크리트 건축물에 비해 내구성능의 저하가 급속히 진행됨으로 특별한 주의가 필요하다. 본 연구에서는 해수에 접한 콘크리트 구조물의 내구성 확보를 위해 광물성 혼화재료를 혼입한 코팅용 고성능 모르타르의 개발을 목적으로 하고 있으며, 모르타르의 강도 및 내구 특성에 대한 실험적 연구가 진행 되었다. 모르타르에 광물성 혼화재료인 실리카퓸, 메타카올린, 초고분말 플라이애시를 혼입하였다. 혼입률은 실리카퓸과 메타카올린은 각각 3, 7, 10%로 혼입하였으며, 초고분말 플라이애시는 5, 10, 15, 20%로 혼입하여 실험을 진행하였다. 혼화재료 혼입을 통해 제작된 모르타르 시험편을 재령 1일과 28일에 정적 강도시험을 진행하였으며, 재령 28일에 염소이온 침투저항성 시험, 황산 저항성 시험, 염해 저항성 시험 등의 열화 촉진실험을 실시하여 내구 특성을 분석하였다. 촉진 염화물이온 확산 침투 시험 결과를 이용해 국내 콘크리트학회에서 제안하는 방법과 미국, 유럽의 방법으로 내구수명을 평가해 보았다. 메타카올린 혼입 시 모든 규정에서 우수한 내구 수명으로 평가 되었으며, 메타카올린 10%혼입 시 KCI를 기준으로 약 470년의 내구수명이 예측되었다.