테스팅은 테스트 요구사항을 기반으로 수행하기 때문에 테스트 요구사항의 품질은 테스팅 전체 과정의 품질과 직결된다고 할 수 있다. 그러나 테스트 요구사항에서 고려해야 할 점들은 시스템의 도메인과 목적에 따라 다르기 때문에 양질의 테스트 요구사항이라고 판별할 수 있는 기준을 정하는 것은 어려운 일이다. 본 연구에서는 테스트 케이스와 고장 수목의 최소 절단집합을 각각 정형모델로 변환하여 모델체킹을 함으로써, 테스트 요구사항의 안전성을 측정하는 방법을 제시한다. 테스트 요구사항이 반영된 테스트 케이스는 모델체킹의 대상이 되는 정형모델로 변환하였으며, 고장수목의 최소 절단집합은 CTL 검증 속성으로 변환하여 테스트 케이스에서 생성된 정형모델이 안전성을 만족하는지 만족하는지 모델체킹을 적용하여 확인하였다.
본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.
원자력 발전소 내장형 시스템은 안정성과 신뢰성이 절대적으로 요구되는 Safety-critical 시스템이다. 이러한 시스템의 설계는 모호성이 없는 정형명세 언어로 설계함으로 설계자와 구현자 사이의 모호성 없는 의사전달을 달성할 수 있다. 이러한 특히 원자력 발전소 내장형 시스템의 설계에 있어서 설계자는 그가 설계한 설계를 시험(Validation)하고 검증(Verification)하는 기법을 필요로 하게 된다. 특히 시스템이 복잡해질수록 설계도 내의 오류를 발견하지 못할 가능성이 커진다. 본 논문에서는 시스템이 가질 수 있는 모든 상태를 만들어내어 검사하는 형태의 검증 기법인 정형기법을 통하여 Safety-critical 한 내장형 시스템의 설계를 검증함으로 보다 완벽한 시스템을 설계하는 기법을 제안한다.
최근 보안 프로토콜의 안전성을 검증하는 연구가 활발히 진행되고 있다. 이러한 연구 중 대표적인 방법이 CSP[1]와 FDR[2]과 같은 정형 기법을 이용하여 프로토콜을 분석하는 것이다. 이 방법은 매우 성공적으로 프로토콜의 문제점을 발견하고 안전성을 검증할 수 있었다. 하지만 CSP를 이용하여 프로토콜을 명세하는 것은 숙달된 전문가에게만 적합하고 시간이 오래 걸린다는 문제점을 갖는다. 이러한 문제점을 해결하여 좀 더 쉽게 프로토콜을 명세하여 CSP 코드를 생성해주는 캐스퍼(Casper)[3]가 제안되었다. 본 논문에서는 세 개의 메시지 교환을 통해서 키를 분배하는 키 분배 프로토콜을 제안하고 캐스퍼를 이용하여 제안한 프로토콜에 대한 정형 명세를 한다. 명세된 스크립트는 캐스퍼를 이용하여 FDR의 입력 파일이 되는 667 라인의 CSP 코드를 생성하였다. 캐스퍼를 이용한 정형 명세는 좀 더 편리하게 프로토콜을 명세할 수 있고 명세 시 발생할 수 있는 에러를 줄임으로써 신뢰성을 높일 수 있다.
구순구개열은 선천성 악안면 기형 중 발생률이 가장 높은 질환으로 관련된 여러 분야의 협진(team approach)을 통한 조직적인 관리를 필요로 한다. 치료에 있어 수술분야의 많은 발전이 있어 왔으나 수술만으로는 다양한 문제점을 해결하기 어려웠다. 이에 따라 술 전 처치의 필요성을 인식하여 술전 비치조 정형의 개념이 개발되었으며 편측성 및 양측성 구순구개열 환자에게 적용되고 있다. 편측성 구순구개열에서 술전 비치조정형의 목적을 코의 대칭성을 회복시키는데에 중점을 두었다면 양측성 구순구개열에서는 짧은 비소주를 신장시키고, 낮아진 코끝을 세우고, 전방으로 변위된 전상악부를 재위치 시키는 것이 목적이라 할 수 있다. 본 증례에서는 양측성 구순/구개열로 진단받은 이란성 쌍둥이에게 술전 탄성밴드와 비치조정형 장치를 이용하여 첫 번째 입술수술 전까지인 약 70일간 전상악부의 후방 견인 및 술전 비치조정형을 시행하였다. 두 환아 모두 초기에 비해 비소주가 길어지고 전방 변위된 전상악부가 제 위치로 많이 회복된 것을 관찰할 수 있었다. 그리고 입술 수술 후 술자와 보호자가 모두 만족할만한 심미적인 결과를 얻을 수 있었다. 장치의 효과를 극대화하기 위해서 환자의 적응력, 보호자의 협조도 및 술자의 적절한 장치물의 선택과 세심한 조정, 이 3가지 요소가 조화를 이루어야 할 것이다.
비정형 건축물의 건설에서 가장 어려운 공정은 복잡한 디자인으로 이루어진 외장패널을 제작 및 시공하는 것이다. 설계자는 비정형 건물의 부드러운 곡면형태를 훼손하지 않는 범위 안에서 복잡한 곡면을 갖는 패널의 양을 축소하여 패널제작 및 시공비용을 최적화함이 필요하다. 특히 설계초기단계에서 다양한 건축외관을 디자인하고 각 설계대안의 예상공사비를 추정하면서 설계의도를 충족하는 적절한 대안을 찾는 것은 대단히 중요하다. 하지만 대부분의 설계사무소들은 비정형 건축물의 패널최적화에 대한 이해, 기술 및 데이터가 부족하여 초기설계 단계에서 예상공사비 산정, 설계 대안 비교를 통한 예상공사비 조정등의 업무를 효과적으로 수행하지 못하고 있는 실정이다. 본 연구는 비정형 건축물 설계자가 쉽게 접할 수 있는 범용 어플리케이션을 이용하여 비정형 건축물의 외장패널을 최적화하는 방법을 제시하며 최적화 결과와 국내 비정형 건설프로젝트의 외장공사에 대한 실적공사비를 접목하여 최적화 진행에 따른 공사비 변화정도를 산출하는 방법을 제시한다. 연구결과의 적용성을 검증하기 위해 국내에서 최근 완공된 비정형 건축프로젝트의 사례연구를 수행한다.
목적: 중등도 이상의 손상 환자를 대상으로 손상의 중증도에 따른 정형외과적 손상의 손상기전, 부위, 유형, 치료적 접근 및 그 치료결과를 분석하고자 한다. 대상 및 방법: 2014년부터 2019년까지 응급실/외상센터가 운영되지 않은 기간을 제외한 57개월 동안 국립중앙의료원 외상센터로 입원한 손상 중증도 점수(Injury Severity Score, ISS) 9점 이상의 환자들 중 정형외과적 손상이 동반된 778명을 대상으로 후향적 연구를 시행하였다. ISS와 생리학적 지표를 기준으로 한 손상의 중증도에 따라 중등도 손상군(1군, 679명)과 중증 손상군(2군, 99명)으로 분류하고 손상기전, 비정형외과적 손상을 평가하였다. 정형외과적 손상은 침범된 해부학적 영역과 골격구조의 수와 유형을 평가하였고, 치료적 접근 방법을 세분화하여 비교하였다. 치료결과는 재원기간을 포함하여 재원기간 내 발현된 전신 합병증과 사망률을 평가하였고 사망률에 미치는 요인을 분석하였다. 결과: 2군이 보다 젊고, 남성의 빈도가 높았고 고에너지 손상기전 및 동반 손상의 빈도가 유의하게 증가되었다. 정형외과적 손상 중 침범된 골격계의 수는 2군에서 유의하게 많아지면서 하지를 주로 침범한 1군에 비해 2군에서는 골반, 척추, 상지 영역의 침범이 유의하게 증가하였다. 정형외과적 손상은 환자의 임상적 상태에 따라 확정적 또는 단계적 치료가 시행되었으며 다발성 중증 손상을 보이는 2군에서는 일시적 외고정술을 이용한 단계적 수술의 빈도가 유의하게 높았고 1군에서는 생리학적 안정화를 이룬 뒤 확정적 수술을 시행하는 빈도가 유의하게 높았다. 중증도가 높아질수록 재원기간 역시 길어졌으며 재원기간 내 총 전신 합병증은 약 4.9%, 총 사망률는 약 4.5%였다. 중증도가 높아질수록 사망률은 유의하게 높아졌다(1군 2.9%, 2군 15.2%; p<0.0001). 사망률에 미치는 요인 중 고령과 높은 ISS가 중요한 요인으로 확인되었다. 결론: 손상의 중등도가 높을수록 고에너지 손상기전에 의한 손상의 발생 빈도가 높아지며 보다 젊고, 남성의 빈도와 동반 손상의 빈도가 높아졌다. 정형외과적 손상 역시 다발성 손상의 빈도와 중증도가 유의하게 증가되면서 정형외과적 외고정장치를 이용한 내고정술 등이 단계적 치료의 일환으로 시행된 경우가 유의하게 높아지는 경향을 보였다. 또한 재원기간, 전신 합병증 및 사망률 역시 유의하게 증가되는 경향을 보이며, 사망률에는 높은 연령과 ISS가 중요한 영향을 미치는 것으로 확인되었다.
최근 디지털 설계기술의 발전에 따라 건축가의 창의성을 극대화한 비정형 설계가 급증하고 있다. 그러나 다양한 비정형 곡면을 구현하기에는 많은 어려움이 발생하고 있다. 비정형 형상구현을 위한 패널분할은 mesh, developable surface, tessellation, subdivision 등의 분할기법이 적용된다. 비정형 패널의 제작 시 이러한 분할기법의 적용과정은 복잡하고 생산데이터 추출에 많은 인력과 시간이 투입된다. 따라서 비정형 건물의 설계 후 패널제작을 위한 생산데이터 추출과정을 빠르고 체계적으로 수행할 수 있는 알고리즘이 필요하다. 이에 본 연구는 빌딩모델, 생산장비 성능, 패턴정보를 종합적으로 고려하여 비정형 패널의 생산데이터 자동생성을 위한 수학적 알고리즘을 제시하는 것을 목적으로 한다. 이를 위해, 패널분할 시 수학적 알고리즘을 제시하였고, 비정형 곡면으로의 Mapping을 통해 CNC 장비를 위한 생산데이터를 추출하였다. 본 연구의 결과는 비정형 콘크리트 패널 생산을 위한 데이터 자동생성을 가능하게 하여 생산성 향상과 원가절감에 기여한다.
빅데이터 기술이 발전하면서 데이터가 전 산업의 혁신 성장을 가속하는 초연결 지능화 사회로 빠르게 진입하고 있다. 고품질의 다양한 데이터를 보유하고 활용하는 융복합 산업이 새로운 성장 동력으로 자리매김하고 있으며, 다양한 전통 산업군에 빅데이터가 융합되어 데이터 기반의 혁신을 통해 디지털 전환이 이루어지고 있다. 특히 의료 분야에서는 전자의무기록 데이터와 같은 정형 데이터와 CT, MRI 등의 비정형 의료 데이터를 함께 활용함으로써, 질병 예측 및 진단의 정확도를 높이고 있다. 현재 의료 산업에서 비정형 데이터의 중요성과 규모는 나날이 증가하고 있지만, 종래의 데이터 보안 기술과 정책은 정형 데이터 중심이며, 비정형 데이터의 보안성과 활용성에 대한 고려는 미비하다. 향후 빅데이터를 활용한 진료가 활성화되려면 데이터의 다양성과 보안성이 데이터 구축, 유통, 활용 단계에서 내재화되고 유기적으로 연계되어야 한다. 본 논문에서는 국내외 데이터 보안 제도와 기술 현황을 분석한다. 이후 의료 분야에서 비정형 데이터가 활발히 사용될 수 있도록 비식별조치 가이드라인에 비정형 데이터 중심의 비식별 기술과 산업에서의 기술 적용 사례를 추가하고, 비정형 데이터에 대한 개인정보 판단 기준을 수립할 것을 제안한다. 더 나아가 개인정보를 침해하지 않고, 비정형 데이터에 활용할 수 있는 객체 특징 기반의 식별 ID를 제안한다.
고령화의 진행 및 근골격계 질환의 증가로 인해 여러 가지 수술적 치료 방법을 포함한 침습적인 치료 방법이 증가되고 있으나 수술적 치료 시행 전 보존적 치료는 충분히 시행되어야 한다. 보존적 치료 중에서 통증 조절을 위한 약물 치료는 오래 전부터 보존적 치료의 가장 대표적인 치료 방법으로 사용되어 왔고 여전히 가장 흔히 사용되는 방법이다. 통증 조절을 위한 약물로는 아세트아미노펜(acetaminophen), 비스테로이드성 항염증제(non-steroidal anti-inflammatory drugs), 스테로이드(steroid), 마약성 진통제(opioid), 항우울제(antidepressants) 등이 있으며 저자는 마약성 진통제 및 항우울제에 대해서 살펴보고자 한다. 통증으로 인해 말초 부위에 있는 통각 수용체에 자극이 전달되면 통증은 중추 신경계로 전달되는 상향성 경로(ascending pathway)를 거쳐 대뇌에 전달되고 대뇌는 통증을 조절하기 위해 하향성 조절 경로(descending pathway)를 통해 엔도르핀(endorphin)과 같은 내인성 마약성 진통제를 분비하게 된다. 마약성 진통제라는 것은 마약성 진통제 수용체(receptor)에 작용하는 물질을 통틀어서 일컫는 말로 마약성 진통제는 세 가지의 수용체가 존재하며 조직이나 환자의 전신 상태에 따라서 각각의 수용체에 대한 친화성이 달라진다. 이와는 달리 항우울제는 중추신경계의 시냅스에 작용하여 통증을 조절하는 상향성 경로를 조절하는 것이 주된 기전으로 만성통증과 신경병성 통증에 효과적이며 이는 마약성 진통제 계열과 효과가 유사한 것으로 알려져 있다. 본 종설에서는 이러한 마약성 진통제와 항우울제의 효과적인 사용 방법, 사용 시 유의점 및 부작용 등에 대해 다루고자 한다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.