• 제목/요약/키워드: 새로운 변수, m

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

특질기반 테스트 대상 함수 추출을 위한 함수탐색기 (A function finder for property-based extraction of test target functions)

  • 김동우;박민규;최윤자
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2013년도 춘계학술발표대회
    • /
    • pp.954-957
    • /
    • 2013
  • 고안전성이 요구되는 내장형 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 모든 가능한 실행경로를 고려해야 하는 안전성 검증의 고비용 문제를 해결하기 위하여, 기존연구에서는 안전성 특질기반 테스트 대상함수를 추출하여 테스트 시나리오 생성하는 생성기를 개발하여 검증 효율을 높이는데 기여하였다. 그러나 기존의 도구는 함수포인터를 탐색 하지 못한 문제와, 변수에 대한 규칙 부족문제 그리고 모듈화 되지 않아 유지 및 보수가 어려운 문제가 있었다. 본 논문에서는 기존도구의 문제점들을 개선하여 정확도를 높인 새로운 함수탐색기를 소개한다. 개발된 함수탐색기는 모듈화 되어 차후에 수정 및 보완 문제에 대하여 유연하게 대처할 수 있게 하였다. 개선된 함수탐색기를 OSEK/VDX[1] 기반의 개방형 차량전장용 운영체제인 Trampoline을 대상으로 테스트 해 본 결과 기존 도구보다 약 68%의 높은 정확도를 보였다.

Bi-LSTM VAE 기반 차량 CAN 침입 탐지 시스템 (Bi-LSTM VAE based Intrusion Detection System for In-Vehicle CAN)

  • 김용수;강효은;김호원
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2022년도 춘계학술발표대회
    • /
    • pp.531-534
    • /
    • 2022
  • 승차 공유, 카풀, 렌터카의 이용률이 증가하면서 많은 사용자가 동일한 차량에 로컬 액세스 할 수 있는 시나리오가 더욱 보편화됨에 따라 차량 네트워크에 대한 공격 가능성이 커지고 있다. 차량용 CAN Bus Network에 대한 DoS(Denial of Service), Fuzzy Attack 및 Replay Attack과 같은 공격은 일부 ECU(Electronic Controller Unit) 비활성 및 작동 불능 상태를 유발한다. 에어백, 제동 시스템과 같은 필수 시스템이 작동 불가 상태가 되어 운전자에게 치명적인 결과를 초래할 수 있다. 차량 네트워크 침입 탐지를 위하여 많은 연구가 진행되고 있으나, 기존 화이트리스트를 이용한 탐지 방법은 새로운 유형의 공격이 발생하거나 희소성이 높은 공격일 때 탐지하기 어렵다. 본 논문에서는 인공신경망 기반의 CAN 버스 네트워크 침입 탐지 기법을 제안한다. 제안하는 침입 탐지 기법은 2단계로 나누어 진다. 1단계에서 정상 패킷 분포를 학습한 VAE 모형이 이상 탐지를 수행한다. 이상 패킷으로 판정될 경우, 2단계에서 인코더로부터 추출된 잠재변수와 VAE의 재구성 오차를 이용하여 공격 유형을 분류한다. 분류 결과의 신뢰점수(Confidence score)가 임계치보다 낮을 경우 학습하지 않은 공격으로 판단한다. 본 연구 결과물은 정보보호 연구·개발 데이터 첼린지 2019 대회의 차량 이상징후 탐지 트랙에서 제공하는 정상 및 3종의 차량 공격시도 패킷 데이터를 대상으로 성능을 평가하였다. 실험을 통해 자동차 제조사의 규칙이나 정책을 사전에 정의하지 않더라도 낮은 오탐율로 비정상 패킷을 탐지해 낼 수 있음을 확인할 수 있다.

새로운 날개단면을 이용한 프로펠러 설계법 - 콘테이너선에 응용 - (A Propeller Design Method with a New Blade Section : Applied to Container Ships)

  • 이진태;김문찬;안종우;반석호;김호충
    • 대한조선학회논문집
    • /
    • 제28권2호
    • /
    • pp.40-51
    • /
    • 1991
  • 캐비테이션 특성이 우수하고 추진효율이 높은 콘테이너선용 프로펠러를 설계하기 위하여 새로운 날개단면(KH18)을 이용한 프로펠러 설계법을 제안하였다. KH18 단면은 캐비테이션 초생곡선(Cavitation-free bucket diagram) 및 양력-항력곡선(Lift-drag curve)에서 폭이 넓어 불균일한 선미후류에서 작동되는 선박용 프로펠러의 날개 단면으로 적당하리라 판단되었다. 새로운 날개 단면을 이용한 콘테이너선의 프로펠러 설계를 위하여 양력면이론을 사용하였다. 프로펠러 설계시 코오드 방향 부하분포를 설계변수로 선택하여 5개의 프로펠러를 설계하였고, 단면 변화의 영향을 비교하기 위하여 NACA형 단면을 갖는 프로펠를 설계하여 예인수조 및 캐비테이션 터널에서 모형시험을 수행하였다. 모형시험 결과 코오드 방향 부하분포가 프로펠러 반경의 70% 내부에서는 날개 앞날의 부하가 적고 그 외부에서는 날개 앞날부하가 상대적으로 큰 코오드방향 부하분포를 갖는 프로펠러(KP197)가 NACA 단면을 갖는 프로펠러에 비하여 추진효율은 1% 향상되었고 캐비테이션 발생양은 30% 감소하였으며 선체변동압력은 9%감소하였다. 새로운 날개단면을 갖는 프로펠러의 캐비테이션 특성이 우수함을 고려하여 낱개 전개면적비를 감소시킨다면 더 많은 추진효율 증가를 기대할 수 있으리라 판단된다.

  • PDF

새로운 急速 工具壽命 試驗法에 관한 硏究 II (A Study of New Quick Tool-Life Testing Method (II) - The Developement a New Testing Method of Step-Cutting -)

  • 오양균;정동윤
    • 대한기계학회논문집
    • /
    • 제11권1호
    • /
    • pp.154-159
    • /
    • 1987
  • 본 논문에서는 제1보의 결과를 이용하여 절삭속도가 서로 다른 경우의 공구마 멸량을 단일공구에 집적하여 측정할 수 있는지의 가능성 여부를 검토한 후, 절삭속도 를 단계별로 변화시키면서 단일공구로 측정한 각 절삭속도에서의 마멸량(단계절삭자료 라 한다)을 이용하여 측면마멸곡선의 일반모델상수를 결정할 수 있는 계단절삭공식을 유도하였다. 또한 결정된 일반모델상수를 이용하여 Taylor지수와 상수를 구할 수 있 는 수정 Taylor방정식을 제시하고, 공구수명곡선을 구하였다. 그리고 본 연구결과의 신뢰성을 검증하기 위하여 SM45C, P20, 0.3mm/rev., 1.5mm(절삭깊이)의 절삭조건에서 절삭시간과 속도를 변수로 한 기존 시험법의 결과와 비교하였다.

마늘 착즙의 제조 및 비점 상승의 추정 (Manufacture of Garlic Juice and Prediction of its Boiling Point Rise)

  • 김병삼;박노현;박무현;한봉호;배태진
    • 한국식품과학회지
    • /
    • 제22권4호
    • /
    • pp.486-491
    • /
    • 1990
  • 마늘을 장기 저장하고 또 새로운 향신료로서 개발하기 위한 연구의 일환으로 박피한 마늘을 전기 착즙기로 착즙한 다음 정제하여 마늘 착즙을 제조한 후 증발시켜 농축 마늘즙을 제조하였으며 그 일환으로 마늘 착즙의 성분 조성 및 비점 상승 추정에 대한 연구가 행해졌다. 마늘 착즙의 주성분은 수분 68.01%, 조단백질 6.50%, 탄수화물 25.39%였고, 착즙 수율은 박피한 통마늘 기준으로 49.50%(w/w)였으며 마늘 착즙의 밀도는 고형물 농도 $32{\sim}65^{\circ}Brix$에서 $1,107{\sim}1,243kg/m^3$였다. 마늘 착즙의 비점 상승은 농도의 증가에 따라 지수함수적으로 상승하였으며 고형물 농도 $32{\sim}65^{\circ}Brix$ 범위에서 $1.43{\sim}6.70^{\circ}C$ 정도 상승하였다. 고형물 농도와 증발기의 압력을 변수로 하는 비점 상승 추정식은 다음과 같았으며 측정치를 기준으로 한 오차는 7% 이내였다. $BPR=1.4105.\;P^{0.1338}.\;exp(0.0357.\;X_5-1.3925)$

  • PDF

공극률과 건조율을 이용한 다공질 사암의 투과도 추정방법 제안 (A Suggested Method for Predicting Permeability of Porous Sandstone Using Porosity and Drying Rate)

  • 고은지;김진후
    • 지구물리와물리탐사
    • /
    • 제17권3호
    • /
    • pp.121-128
    • /
    • 2014
  • 투과도는 다공질 암석 내에서 유체의 유동 특성을 나타내는 중요한 매개변수로서 일반적으로 코어 시료의 유체 유동실험을 통해 산출된다. 하지만, 유체 유동실험을 위해서는 별도의 실험장치가 필요하며, 투과도가 낮을 경우 많은 시간이 소요될 수 있다. 본 연구에서는 일련의 투과도 측정 실험 없이 시료의 건조과정만으로 투과도를 도출하기 위해 유체투과도, 공극률, 건조율간의 상관관게를 분석하였다. 공극률은 표면건조 포화시료를 건조시키면서 무게 변화를 연속적으로 측정하는 건조 모니터링 방법을 이용하여 산출하였으며, 건조율은 물 포화율에 따른 시료의 무게 변화율로부터 구했다. 70 ~ 670 mD의 투과도를 보이는 6개의 베레아 사암을 이용해 회귀분석한 결과 공극률 및 건조율로부터 다공성 사암의 투과도를 예측할 수 있는 새로운 경험식을 도출하였다.

초장대 현수교 내풍 단면의 개발 (Development of Aerodynamic Girder for Super Suspension Bridges)

  • 이승호;권순덕
    • 한국방재학회:학술대회논문집
    • /
    • 한국방재학회 2011년도 정기 학술발표대회
    • /
    • pp.72-72
    • /
    • 2011
  • 산업의 발달과 건설재료의 개발 및 설계 시공 기술의 급속한 발전으로 더 가볍고 더 긴 경간을 가진 교량이 건설되고 있다. 그러나 교량이 더 길어지고 가벼워질수록 풍하중에 의한 영향은 더욱 크게 받게 되어 여러 종류의 피해를 입게 된다. 이제는 어느 정도 잘 알려진 1940년에 발생한 Tacoma Narrow교의 붕괴사고는 내풍 설계의 필요성을 극단적으로 보여주는 대표적인 예로서 본격적인 내풍 공학 연구에 시발점이 되었다. 현재까지 아직 시공은 되지 않았으나 기본 설계 및 내풍안정성 평가가 완료되 주경간장 3,300m의 Messina교 및 2,800m의 일본해협횡단도로 프로젝트 초장대 현수교(안)의 출현까지 짧은 기간 동안 비약적인 기술 성장을 이루고 있다. 장대교량의 설계시 많은 풍동실험을 거쳐서 내풍안정성이 뛰어난 단면을 찾게 된다. Akashi교의 경우에도 트러스, 싱글박스, 트윈박스 등의 다양한 단면에 대한 풍동실험을 수행한 끝에 최종적으로 트러스 단면을 선택하였다. Great Belt교에서는 싱글박스 단면을 대상으로 다양한 단부 각도에 대한 결과를 바탕으로 최종 단면을 선정하였다. Stonecutter 교에는 트윈박스를 채용하여 기존 싱글박스를 뛰어넘는 도약을 단행하였다. 그리고 Messina교의 경우에는 약 20년에 걸쳐서 설계를 진행해 오면서 점진적으로 단면을 개선하여 최종적으로 트리플박스 단면을 채택하였다. 국내에서도 광양대교의 설계시 싱글박스에서 시작하여 트윈박스의 간격 최적화를 통하여 최종단면을 도출하였다. Akashi교는 최장경간장을 자랑하지만 고전적인 트러스 단면을 사용함으로써 Great Belt교, Stonecutter교, Messina교 등과 같이 혁신적인 단면을 채택한 교량에 비하여 상대적으로 기술적 가치를 인정받지 못하고 있다. 따라서 새로운 내풍 단면의 개발은 교량 설계를 위한 실용적인 측면에서 매우 중요하다. 본 연구에서는 경제적이고 내풍안정성이 우수한 도전적인 현수교 단면을 개발하는데 목적을 두고 있다. 이를 위하여 먼저 교량 계획 단계에 필요한 자료를 제공하기 위하여 기존 강박스 현수교의 제원을 수집하고 그 특성을 분석하여 각종 구조 변수들이 내풍안정성에 미치는 상대적인 영향을 평가하고, 근사적으로 고유진동수를 추정할 수 있는 추정식을 제시하였다. 그 다음으로 초장대 현수교 단면을 개발하기 위하여 다양한 풍동실험을 수행하고 가능한 단면 형상을 제시하였다.

  • PDF

저온동시소성용 감광성 은(Ag)페이스트의 광식각 특성 (Photolithographic Properties of Photosensitive Ag Paste for Low Temperature Cofiring)

  • Park, Seong-Dae;Kang, Na-Min;Lim, Jin-Kyu;Kim, Dong-Kook;Kang, Nam-Kee;Park, Jong-Chul
    • 한국세라믹학회지
    • /
    • 제41권4호
    • /
    • pp.313-322
    • /
    • 2004
  • 후막 광식각 기술은 스크린 인쇄 등의 일반적인 후막공정에 노광 및 현상 등의 리소그라피 공정을 접목시킨 새로운 기술이다. 본 연구에서는 후막 광식각 기술을 이용하여 미세라인을 형성할 수 있는 저온동시소성용 Ag 페이스트를 개발하였다. 페이스트를 구성하는 Ag분말과 폴리머, 모노머, 광개시제 등의 양을 조절하여 미세라인을 형성할 수 있는 최적 조성을 연구하였으며. 또한 노광량과 같은 공정변수가 미세라인 형성에 미치는 영향을 연구하였다. 실험결과 폴리머/모노머비, Ag 분말 중량비, 광개시제의 양 등이 미세라인의 해상도에 영향을 미치는 주요 인자임을 확인할 수 있었다. 개발된 감광성 Ag 페이스트를 저온동시소성용 그린 시트에 전면 인쇄한 후 건조, 노광, 현상, 적층, 소성 과정을 통하여, 소성 후 20$\mu\textrm{m}$ 이하의 선폭을 가지는 후막 미세라인을 형성할 수 있었다.

PMOS 트랜지스터의 ESD 손상 분석 (ESD Failure Analysis of PMOS Transistors)

  • 이경수;정고은;권기원;전정훈
    • 대한전자공학회논문지SD
    • /
    • 제47권2호
    • /
    • pp.40-50
    • /
    • 2010
  • 본 논문은 미세 CMOS 공정의 PMOS 트랜지스터에 높은 전류가 인가될 때 발생하는 기생 PNP 바이폴라 트랜지스터의 스냅백과 breakdown 동작에 초점을 맞춘다. $0.13\;{\mu}m$ CMOS 공정을 이용해 제작한 다양한 I/O 구조를 분석함으로써 PMOSFET의 ESD 손상 현상의 원인을 규명하였다. 즉, 인접한 다이오드로부터 PMOSFET의 바디로 전하가 주입됨으로써 PMOSFET의 기생 PNP 트랜지스터가 부분적으로 turn-on되는 현상이 발생하여 ESD에 대한 저항성을 저하시킨다. 2차원 소자 시뮬레이션을 통해 레이아웃의 기하학적 변수의 영향을 분석하였다. 이를 기반으로 새로운 PMOSFET ESD 손상을 방지하는 설계 방법을 제안한다.

정지궤도 해색탑재체(GOCI) 자료 활용을 위한 황해의 일차생산력 추정방법 비교 (Comparison of Estimation Methods of Primary Production of the Yellow Sea for Geostationary Ocean Color Imager (GOCI) Data)

  • 박지수;유신재
    • 대한원격탐사학회지
    • /
    • 제26권2호
    • /
    • pp.221-237
    • /
    • 2010
  • 해양의 일차생산 측정에 있어 인공위성자료의 활용은 연구선 등을 활용한 기존 조사방법이 갖고 있는 시 공간상의 제한을 많이 개선할 수 있다. 하지만, 황해와 같이 탁한 해역에서의 일차생산 추정은 해수의 광학특성에 의해 여전히 많은 문제점을 가지고 있다. 본 연구에서는 현재 수준에서 가용한 황해의 일차 생산 추정방법들을 비교 평가하였다. 즉, 네 가지의 엽록소-a 추정 알고리듬과 두 가지의 일차생산 추정 알고리듬을 사용하여 각기 다른 조합들이 일차생산 추정에 있어 어떤 차이를 보이는지 알아보았다. 여덟가지 조합에 의해 추정된 황해 중부의 일차생산력은 96.5 에서 $610.2\;gC\;m^{-2}\;yr^{-1}$의 범위값을 가졌다. 최근 한 중 일 연구자들에 의해 공동으로 개발 중인 새로운 엽록소 알고리듬은 탁한 해역에서 표준알고리듬이 잘 맞지 않는 문제를 일부 해결했으나 여전히 해결해야 할 문제를 남겼다. 실측 광합성 매개변수를 새로 적용한 일차생산 추정 알고리듬 또한 개선이 필요하다.