• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권12호
• /
• pp.1178-1191
• /
• 2005

본 논문은 NuSCR 정형 명세 언어로 작성된 소프트웨어 요구 명세로부터 소프트웨어 고장 수목을 생성하는 방법에 대하여 제안하였다 본 연구에서 제안하는 소프트웨어 고장 수목은 소프트웨어의 구조와 동작에 대한 요구 사항을 반영하는 통합된 형태의 고장 수목으로, 안전성에 대한 복합적인 분석이 가능하다. 이러한 소프트웨어 고장 수목을 생성하기 위하여 NuSCR 정형 명세언어의 구성 요소 각각에 대한 템플릿을 정의하고, 이들 템플릿을 사용하여 소프트웨어 고장 수목을 생성하는 방법을 제안하였다. 그리고, 제안된 방법의 유용성을 평가하기 위해 현재 국내 원전계측제어시스템 개발사업단에서 개발 중인 차세대 원자력 시스템 APR1400에 사용될 원자로 보호 시스템의 핵심 트립 논리에 대하여 고장 수목을 생성하고 분석 하였다.

• 대한전자공학회논문지SP
• /
• 제44권6호
• /
• pp.47-53
• /
• 2007

블록 기반 프레임 레이트 변환 (frame-rate conversion) 또는 필름 떨림 보상 (film judder compensation)을 수행하기 위해서는 참 움직임 벡터(true motion vector)를 찾아야 한다. 이를 위해서 현재 블록의 공간적 및 시간적 상관성을 최대로 하여 시각적으로 덜 부자연스럽게 느끼도록 하는 방법들이 연구되었다. 그러나 기존의 블록단위 절대값 차이의 합 (SAD)만으로는 비정형성 객체의 움직임 에러를 추정할 수 없었다. 본 논문에서는 비정형성 객체가 등속운동을 하는 경우 재귀적으로 기존의 움직임을 유지하도록 하는 방법을 제안하였다. 현재 블록의 등속움직임 추정값을 재귀평균으로 구하였으며 현재 블록 벡터의 신뢰도를 계산하여 원래의 움직임 벡터와 재귀평균 움직임 벡터중에서 가중치를 두도록 하였다. 실험결과 비정형성 등속운동 객체의 움직임을 블록기반으로 추정함을 확인할 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권2호
• /
• pp.120-133
• /
• 2000

산업현장에서 복합 실시간 계통(HRTS: Hybrid Real-Time Systems) 개발을 위한 정형기법 사용의 주된 장벽은 인지적 어려움이며 이는 또 다른 위험을 초래할 수 있다. 이러한 문제를 극복하기 위해 HRTS 요구분석과 안전성 분석 시 사용자의 인지적 부담을 줄여줄 수 있는 정성적 요구분석 체계를 제안한다. 이 체계는 요구사항 명세를 위한 정성적 정형기법(QFM: Qualitative Formal Method)과 인과정보에 의한 요구사항 안전성 분석기법(CRSA: Causal Requirements Safety Analysis)으로 구성되어 있다. QFM에서는 인공지능 분야에서 연구된 정성추론 이론을 정형명세에 도입하여 요구사항 설계자와 분석자의 인지적 부담을 줄일 수 있도록 하였다. CRSA는 QFM에서 도출한 HRTS 동작의 인과 정보에 따라 체계적으로 위험 원인을 추적할 수 있도록 하여, 기존 결함 트리 분석(FTA: Fault Tree Analysis) 기법의 단점인 분석자의 주관에 의존하는 문제를 해결한다. 월성 원자력 발전소 자동정지계통(Shutdown System 2) 소프트웨어 요구사항 명세와 안전성 분석에 QFM과 CRSA를 적용하여 그 실효성을 입증하고자 하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권2호
• /
• pp.108-118
• /
• 2005

원자력 발전소의 디지털 제어 시스템은 안전성이 중요시되는 safety-critical 소프트웨어로서 충분한 수준의 안전성을 보장하기 위해서 여러 기법들이 적용되고 있다. 특히, 정형명세 기법은 개발의 초기 단계에서 소프트웨어 요구 사항들을 명확하고 완전하게 명세하도록 유도함으로써 안전성을 크게 향상시킬 수 있는 기법으로 인정받고 있다. 본 논문에서는 정형명세 기법인 NuSCR을 이용해서 작성된 요구사항 명세로부터, 설계 단계의 내용으로 사용될 수 있는 PLC 기반의FBD 프로그램을 체계적으로 생성하는 기법을 제안하고 있다. 제안된 기법은 기존의 수동 명세 작업에서 발생할 수 있는 오류들을 크게 줄일 수 있으며, 소프트웨어의 개발 비용과 기간을 줄일 수 있다. 또한, 제안된 기법의 유용성을 증명하기 위해서, 현재 KNICS에서 개발 중인 DPPS RPS의 BP를 구성하는 트립 논리 중의 하나인 고정 설정치 상승 트립을 예제로 설명하고 있다.

• 대한스포츠의학회지
• /
• 제36권4호
• /
• pp.180-188
• /
• 2018

Purpose: The purpose of this study is to identify bilateral differences of physeal closure of the lateral compartment of the elbow in osteochondritis dissecans (OCD) and related factors with premature physeal closure. Methods: Initial radiographs of the bilateral elbows in 40 baseball players with OCD (group I) were reviewed for the status of physeal closure of the lateral compartment; capitellum, radial head, lateral epicondyle. Forty baseball players with medial epicondylar apophysitis (group II) were enrolled as a control. Relative status of physeal closure of dominant elbow was defined as early, same, and delayed. Bilateral differences of the status of physeal closure were analyzed between groups, and according to the radiographic stages, extent of the lesions and demographic factors in group I. Results: Significant early physeal closures of dominant elbows were identified in group I in capitellum (group I, 55%; group II, 3%), radial head (group I, 53%; group II, 3%), and lateral epicondyle (group I 37%; group II, 5%). In group I, advanced stage and extended lesion showed early lateral compartment physeal closure especially in capitellum and radial head, and players with longer career length and limitation of motion showed early closure. Conclusion: Over the half of the adolescent baseball players with OCD demonstrated early radiocapitellar physeal closures of dominant elbow in initial presentation. Because premature physeal closure contributes to the development of arthritis without appropriate radiocapitellar remodeling, early detection of OCD is essential for prevention of arthritis and successful conservative management.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권2호
• /
• pp.251-262
• /
• 1999

SCR 방법론은 고 신뢰도를 요구하는 시스템 개발을 위해 사용되는 요구사항의 정형적 명세의 하나로 , 오랜 역사와 많은 응용 사례를 가지고 있다. 이 방법론에 따라 사용자가 요구사항을 명세했을 때 그것을 어떻게 정확하게 구현할 수 있는지가 중요한 문제가 된다. 본 논문에서는 SCR로 작성된 명제를 그 의미를 보전하는 구현언어로 자동으로 변환시키는 방법을 제시한다. SCR 명제가 가지는 자료흐름언어와의 유사성을 이용하기 위해, 구현언어로, 동기적 자료흐름 언어인 LUSTRE를 선택했고, 그 변환 과정을 제시했다. 제안한 방법의 유용성을 살피기 위해, SCR과 유사한 방법으로 작성된 월성 원자력 발전소의 제 2 정지 시스템의 일부분을 변환하는 실험을 수행, 그 결과를 비교하였다. 정형명제가 도입되어서 사용될 경우 본 연구는 개발의 전체 소요시간을 줄여줄 수 있고 좀 더 신뢰성 있는 결과물을 내는데 도움을 줄 수있다.

• 한국임상수의학회지
• /
• 제31권2호
• /
• pp.102-107
• /
• 2014

본 연구는 한국마사회 동물병원에서 시행한 전신마취 결과를 분석하고 마취 중 후에 발생한 사망률에 영향을 미치는 인자를 찾기 위하여 실시되었다. 총585두의 환마에서 전신마취가 실시되었으며, 수술의 빈도는 정형외과 수술(410)이 가장 많이 실시되었고, 산통 수술(85), 호흡기 수술(45) 순이었다. 585두 중 20두가 마취 중 후에 죽거나 안락사 되었다. 20두 중 14두는 산통 수술을 받았고, 3두는 정형외과 수술, 3두는 호흡기 수술을 받았다. 세부 사망원인으로는 산통 수술에서는 장파열, 호흡기 수술에서는 기도폐색이었다. 정형외과 수술에서는 근육병증, 재골절, 제엽염이 안락사의 원인이었다. 결과적으로 산통 수술과 호흡기 수술 후의 사망률은 정형외과 수술 후보다 높게 나타났다 (p < 0.01). 이상의 결과로부터, 산통수술을 받는 말의 사망률이 가장 높은 것을 확인하였으며, 그 원인은 예후불량에 의한 안락사이었다. 말의 마취 전후 사망률을 낮추기 위하여, 산통 수술을 받는 말은 수술 전후의 집중 관리가 필요하고, 호흡기 수술을 받는 말은 회복 중 주의 깊은 관찰이 추천된다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 1999년도 제17회 학술발표회 논문개요집
• /
• pp.53-53
• /
• 1999

전계방출을 이용한 평판 표시장치는 CRT가 가진 장점을 모두 갖는 동시에 얇고 가벼우며 낮은 전력소모로 완벽한 색을 구현할 수 있는 차세대 표시장치로서 이에 대한 여국가 활발히 이루어지고 있다. 여기에 사용되는 음극물질로서 실리콘이나 몰리 등을 팁모양으로 제작하여 사용해 왔다. 하지만 잔류가스에 의한 역스퍼터링이나 화학적 반응에 의해서 전계방출 성능이 점차 저하되는 등의 해결해야할 많은 문제가 있다. 이러한 문제들을 해결하기 위하여 탄소계 재료로서 다이아몬드, 다이아몬드상 카본 등을 이용하려는 노력이 진행되어 왔다. 이중 유리화 비정형 탄소는 다량의 결함을 가지고 있는 유리질의 고상 탄소 재로로서, 전기전도도가 우수하면서 outgassing이 적고 기계적 강도가 뛰어나며 고온에서도 화학적으로 안정하여 전계방출 소자의 음극재료로서 알맞은 것으로 생각된다. 유리화 비정형 탄소가루를 전기영동법으로 기판에 코팅하여 전계방출 소자를 제작하였다. 전기영동 용액으로 이소프로필알코올에 질산마그네슘과 소량의 증류수, 유리화 비정형 탄소분말을 섞어주었고 기판으로는 몰리(Mo)가 증착된 유리를 사용하였다. 균일한 증착을 위해서 증착후 역전압을 걸어 주는 방법과 증착 후 플라즈마 처리를 하는 등의 여러 가지 방법을 사용했다. 전계방출 전류는 1$\times$10-7Torr이사에서 측정하였다. 1회 제작된 용액으로 반복해서 증착한 횟수에 따라 표면의 거치기, 입자의 분포, 전계방출 측정 결과 등의 차이가 관찰되었다. 발광이미지는 전압에 따라 변화하였고, 균일한 발광을 관찰하기 위해서 오랜 시간동안 aging 과정을 거쳐야 했다. 그리고 구 모양의 양극을 사용해서 위치를 변화시키며 시동 전기장을 관찰하여 위치에 따른 전계방출의 차이를 조사하여 발광의 균일성을 알 수 있었다.on microscopy로 분석하였으며 구조 분석은 X-선 회절분석, X-ray photoelectron spectroscopy 그리고Auger electron spectroscope로 하였다. 증착된 산화바나듐 박막의 전기화학적 특성을 분석하기 위하여 리튬 메탈을 anode로 하고 EC:DMC=1:1, 1M LiPF6 액체 전해질을 사용한 Half-Cell를 구성하여 200회 이상의 정전류 충 방전 시험을 행하였다. Half-Cell test 결과 박막의 결정성과 표면상태에 따라 매우 다른 전지 특성을 나타내었다.도상승율을 갖는 경우가 다른 베이킹 시나리오 모델에 비해 효과적이라 생각되며 초대 필요 공급열량은 200kW 정도로 산출되었다. 실질적인 수치를 얻기 위해 보다 고차원 모델로의 해석이 필요하리라 생각된다. 끝으로 장기적인 관점에서 KSTAR 장치의 베이킹 계획도 살펴본다.습파라미터와 더불어, 본 연구에서 새롭게 제시된 주기분할층의 파라미터들이 모형의 학습성과를 높이기 위해 함께 고려된다. 한편, 이러한 학습과정에서 추가적으로 고려해야 할 파라미터 갯수가 증가함에 따라서, 본 모델의 학습성과가 local minimum에 빠지는 문제점이 발생될 수 있다. 즉, 웨이블릿분석과 인공신경망모형을 모두 전역적으로 최적화시켜야 하는 문제가 발생한다. 본 연구에서는 이 문제를 해결하기 위해서, 최근 local minimum의 가능성을 최소화하여 전역적인 학습성과를 높여 주는 인공지능기법으로서 유전자알고리즘기법을 본 연구이 통합모델에 반영하였다. 이에 대한 실증사례 분석결과는 일일 환율예측문제를 적용하였을 경우, 기존의 방법론보다 더 나운 예측성과를 타나내었다.pective" to workflow architectural discussions. The vocabulary suggested

• 대한정형외과학회지
• /
• 제55권3호
• /
• pp.229-236
• /
• 2020

목적: 초음파 유도하 요추 4번 신경근 차단술을 시행함에 있어 시술 전 자기공명영상(magnetic resonance imaging, MRI) 계측의 유용성을 알아보고자 하였다. 대상 및 방법: 이 연구는 후향적 연구로 2016년 3월부터 2017년 12월까지 본원 외래에 방문한 환자 중 요추 4번 신경근의 병변이 확인되며 선정 기준에 합당한 71명의 환자를 대상으로 하였다. 2016년 3월부터 2017년 2월까지 MRI 계측 없이 신경근 차단술을 시행한 31명의 환자를 A군, 2017년 3월부터 2017년 12월까지 시술 전 MRI 계측을 통해 신경근 차단술을 시행한 40명의 환자를 B군으로 분류하였다. A군은 MRI 계측 없이 pararadicular 접근법을 통하여 주사를 시행하였고 B군은 시술 전 MRI로 측정한 계측치를 바탕으로 하여 초음파 유도하 주사를 시행하였다. 시술 전, 시술 3시간 후, 2주 후, 6주 후, 12주 후에 수치평가척도(numeric rating scale, NRS) 점수를 이용하여 통증 호전 정도를 판정하였다. 결과: 시술 3시간 후 양호 이상의 결과를 보인 경우는 A군에서 51.6%, B군에서 67.5%였으며 시술 2주 후 양호 이상의 결과를 보인 경우는 A군에서 48.4%, B군에서 70.0%였다. 시술 6주 후 양호 이상의 결과를 보인 경우는 A군에서 58.1%, B군에서 62.5%, 시술 12주 후 양호 이상의 결과를 보인 경우는 A군에서 67.7%, B군에서 62.5%였다. 시술 3시간 후, 2주차에 유의하게 B군이 A군보다 증상 호전에 좋은 결과를 보였다(p<0.05). 만족스런 통증 완화를 위해 2주차에서 6주차 사이에 A군의 경우 2.8회, B군의 경우 1.7회의 반복적인 시술이 시행되었다(p<0.05). 결론: 시술 전 MRI를 통한 계측을 먼저 시행하고 이를 참고하여 초음파 유도하 요추 4번 선택적 신경근 차단술을 시행하는 것은 환자의 시술의 성공률을 높여 시술 후 2주 이내의 초기 통증을 완화하는데 도움이 될 것으로 생각된다.

• 대한정형외과 초음파학회지
• /
• 제1권2호
• /
• pp.128-133
• /
• 2008

신경 압박의 원인은 외부로부터 가해지는 것도 있고, 신체 내부 병리가 발생하여 신경 주행에 따라 발생할 수 있다. 주관절 이하부에서 압박성 신경병증으로 정중 신경, 척골 신경, 요골신경병증이 있다. 정중 신경은 굴곡 지대부위에서 수근관 증후군이 대표적이며, 모든 신경 포착 증후군 가운데 가장 흔하다. 그 외 주관절 부위에서 스트러더스 인대, 상완 이두근 건막, 회내근, 천수지 굴근 기시부 그리고 비정상 근육들에 의한 회내근 증후군과 전 골간 신경 증후군이 있다. 척골 신경은 스트러더스 궁, 내측 상과 후방의 주관, 척수근 굴근 두 기시부 사이의 건막 등에서 눌리는 주관 증후군과, 수근부에서 결절종, 유구골 갈고리 골절 그리고 혈관성으로 오는 척골 관 증후군이 있다. 요골 신경의 심부 분지가 회외근속을 지나면서 만들어지는 부위에서 눌리는 경우 요골 관 증후군이라고 한다. 치료는 초기에는 소염제나 야간부목, 스테로이드 주사와 같은 보존적 치료를 시행할 수 있으며, 이에 호전되지 않을 경우 전기적 검사나 영상 검사에서 이상이 나타나면 수술적 감압술을 시행하여야 한다.