• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.197-199
• /
• 2011

테스팅은 테스트 요구사항을 기반으로 수행하기 때문에 테스트 요구사항의 품질은 테스팅 전체 과정의 품질과 직결된다고 할 수 있다. 그러나 테스트 요구사항에서 고려해야 할 점들은 시스템의 도메인과 목적에 따라 다르기 때문에 양질의 테스트 요구사항이라고 판별할 수 있는 기준을 정하는 것은 어려운 일이다. 본 연구에서는 테스트 케이스와 고장 수목의 최소 절단집합을 각각 정형모델로 변환하여 모델체킹을 함으로써, 테스트 요구사항의 안전성을 측정하는 방법을 제시한다. 테스트 요구사항이 반영된 테스트 케이스는 모델체킹의 대상이 되는 정형모델로 변환하였으며, 고장수목의 최소 절단집합은 CTL 검증 속성으로 변환하여 테스트 케이스에서 생성된 정형모델이 안전성을 만족하는지 만족하는지 모델체킹을 적용하여 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.489-491
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.88-90
• /
• 2001

원자력 발전소 내장형 시스템은 안정성과 신뢰성이 절대적으로 요구되는 Safety-critical 시스템이다. 이러한 시스템의 설계는 모호성이 없는 정형명세 언어로 설계함으로 설계자와 구현자 사이의 모호성 없는 의사전달을 달성할 수 있다. 이러한 특히 원자력 발전소 내장형 시스템의 설계에 있어서 설계자는 그가 설계한 설계를 시험(Validation)하고 검증(Verification)하는 기법을 필요로 하게 된다. 특히 시스템이 복잡해질수록 설계도 내의 오류를 발견하지 못할 가능성이 커진다. 본 논문에서는 시스템이 가질 수 있는 모든 상태를 만들어내어 검사하는 형태의 검증 기법인 정형기법을 통하여 Safety-critical 한 내장형 시스템의 설계를 검증함으로 보다 완벽한 시스템을 설계하는 기법을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.1163-1165
• /
• 2000

최근 보안 프로토콜의 안전성을 검증하는 연구가 활발히 진행되고 있다. 이러한 연구 중 대표적인 방법이 CSP[1]와 FDR[2]과 같은 정형 기법을 이용하여 프로토콜을 분석하는 것이다. 이 방법은 매우 성공적으로 프로토콜의 문제점을 발견하고 안전성을 검증할 수 있었다. 하지만 CSP를 이용하여 프로토콜을 명세하는 것은 숙달된 전문가에게만 적합하고 시간이 오래 걸린다는 문제점을 갖는다. 이러한 문제점을 해결하여 좀 더 쉽게 프로토콜을 명세하여 CSP 코드를 생성해주는 캐스퍼(Casper)[3]가 제안되었다. 본 논문에서는 세 개의 메시지 교환을 통해서 키를 분배하는 키 분배 프로토콜을 제안하고 캐스퍼를 이용하여 제안한 프로토콜에 대한 정형 명세를 한다. 명세된 스크립트는 캐스퍼를 이용하여 FDR의 입력 파일이 되는 667 라인의 CSP 코드를 생성하였다. 캐스퍼를 이용한 정형 명세는 좀 더 편리하게 프로토콜을 명세할 수 있고 명세 시 발생할 수 있는 에러를 줄임으로써 신뢰성을 높일 수 있다.

• 대한소아치과학회지
• /
• 제41권1호
• /
• pp.72-79
• /
• 2014

구순구개열은 선천성 악안면 기형 중 발생률이 가장 높은 질환으로 관련된 여러 분야의 협진(team approach)을 통한 조직적인 관리를 필요로 한다. 치료에 있어 수술분야의 많은 발전이 있어 왔으나 수술만으로는 다양한 문제점을 해결하기 어려웠다. 이에 따라 술 전 처치의 필요성을 인식하여 술전 비치조 정형의 개념이 개발되었으며 편측성 및 양측성 구순구개열 환자에게 적용되고 있다. 편측성 구순구개열에서 술전 비치조정형의 목적을 코의 대칭성을 회복시키는데에 중점을 두었다면 양측성 구순구개열에서는 짧은 비소주를 신장시키고, 낮아진 코끝을 세우고, 전방으로 변위된 전상악부를 재위치 시키는 것이 목적이라 할 수 있다. 본 증례에서는 양측성 구순/구개열로 진단받은 이란성 쌍둥이에게 술전 탄성밴드와 비치조정형 장치를 이용하여 첫 번째 입술수술 전까지인 약 70일간 전상악부의 후방 견인 및 술전 비치조정형을 시행하였다. 두 환아 모두 초기에 비해 비소주가 길어지고 전방 변위된 전상악부가 제 위치로 많이 회복된 것을 관찰할 수 있었다. 그리고 입술 수술 후 술자와 보호자가 모두 만족할만한 심미적인 결과를 얻을 수 있었다. 장치의 효과를 극대화하기 위해서 환자의 적응력, 보호자의 협조도 및 술자의 적절한 장치물의 선택과 세심한 조정, 이 3가지 요소가 조화를 이루어야 할 것이다.

• 한국건설관리학회논문집
• /
• 제15권4호
• /
• pp.95-106
• /
• 2014

비정형 건축물의 건설에서 가장 어려운 공정은 복잡한 디자인으로 이루어진 외장패널을 제작 및 시공하는 것이다. 설계자는 비정형 건물의 부드러운 곡면형태를 훼손하지 않는 범위 안에서 복잡한 곡면을 갖는 패널의 양을 축소하여 패널제작 및 시공비용을 최적화함이 필요하다. 특히 설계초기단계에서 다양한 건축외관을 디자인하고 각 설계대안의 예상공사비를 추정하면서 설계의도를 충족하는 적절한 대안을 찾는 것은 대단히 중요하다. 하지만 대부분의 설계사무소들은 비정형 건축물의 패널최적화에 대한 이해, 기술 및 데이터가 부족하여 초기설계 단계에서 예상공사비 산정, 설계 대안 비교를 통한 예상공사비 조정등의 업무를 효과적으로 수행하지 못하고 있는 실정이다. 본 연구는 비정형 건축물 설계자가 쉽게 접할 수 있는 범용 어플리케이션을 이용하여 비정형 건축물의 외장패널을 최적화하는 방법을 제시하며 최적화 결과와 국내 비정형 건설프로젝트의 외장공사에 대한 실적공사비를 접목하여 최적화 진행에 따른 공사비 변화정도를 산출하는 방법을 제시한다. 연구결과의 적용성을 검증하기 위해 국내에서 최근 완공된 비정형 건축프로젝트의 사례연구를 수행한다.

• 대한정형외과학회지
• /
• 제55권5호
• /
• pp.383-396
• /
• 2020

목적: 중등도 이상의 손상 환자를 대상으로 손상의 중증도에 따른 정형외과적 손상의 손상기전, 부위, 유형, 치료적 접근 및 그 치료결과를 분석하고자 한다. 대상 및 방법: 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가 중요한 영향을 미치는 것으로 확인되었다.

• 한국건축시공학회지
• /
• 제22권6호
• /
• pp.565-575
• /
• 2022

최근 디지털 설계기술의 발전에 따라 건축가의 창의성을 극대화한 비정형 설계가 급증하고 있다. 그러나 다양한 비정형 곡면을 구현하기에는 많은 어려움이 발생하고 있다. 비정형 형상구현을 위한 패널분할은 mesh, developable surface, tessellation, subdivision 등의 분할기법이 적용된다. 비정형 패널의 제작 시 이러한 분할기법의 적용과정은 복잡하고 생산데이터 추출에 많은 인력과 시간이 투입된다. 따라서 비정형 건물의 설계 후 패널제작을 위한 생산데이터 추출과정을 빠르고 체계적으로 수행할 수 있는 알고리즘이 필요하다. 이에 본 연구는 빌딩모델, 생산장비 성능, 패턴정보를 종합적으로 고려하여 비정형 패널의 생산데이터 자동생성을 위한 수학적 알고리즘을 제시하는 것을 목적으로 한다. 이를 위해, 패널분할 시 수학적 알고리즘을 제시하였고, 비정형 곡면으로의 Mapping을 통해 CNC 장비를 위한 생산데이터를 추출하였다. 본 연구의 결과는 비정형 콘크리트 패널 생산을 위한 데이터 자동생성을 가능하게 하여 생산성 향상과 원가절감에 기여한다.

• 융합보안논문지
• /
• 제22권4호
• /
• pp.85-97
• /
• 2022

빅데이터 기술이 발전하면서 데이터가 전 산업의 혁신 성장을 가속하는 초연결 지능화 사회로 빠르게 진입하고 있다. 고품질의 다양한 데이터를 보유하고 활용하는 융복합 산업이 새로운 성장 동력으로 자리매김하고 있으며, 다양한 전통 산업군에 빅데이터가 융합되어 데이터 기반의 혁신을 통해 디지털 전환이 이루어지고 있다. 특히 의료 분야에서는 전자의무기록 데이터와 같은 정형 데이터와 CT, MRI 등의 비정형 의료 데이터를 함께 활용함으로써, 질병 예측 및 진단의 정확도를 높이고 있다. 현재 의료 산업에서 비정형 데이터의 중요성과 규모는 나날이 증가하고 있지만, 종래의 데이터 보안 기술과 정책은 정형 데이터 중심이며, 비정형 데이터의 보안성과 활용성에 대한 고려는 미비하다. 향후 빅데이터를 활용한 진료가 활성화되려면 데이터의 다양성과 보안성이 데이터 구축, 유통, 활용 단계에서 내재화되고 유기적으로 연계되어야 한다. 본 논문에서는 국내외 데이터 보안 제도와 기술 현황을 분석한다. 이후 의료 분야에서 비정형 데이터가 활발히 사용될 수 있도록 비식별조치 가이드라인에 비정형 데이터 중심의 비식별 기술과 산업에서의 기술 적용 사례를 추가하고, 비정형 데이터에 대한 개인정보 판단 기준을 수립할 것을 제안한다. 더 나아가 개인정보를 침해하지 않고, 비정형 데이터에 활용할 수 있는 객체 특징 기반의 식별 ID를 제안한다.

• 대한정형외과학회지
• /
• 제55권1호
• /
• pp.1-8
• /
• 2020

고령화의 진행 및 근골격계 질환의 증가로 인해 여러 가지 수술적 치료 방법을 포함한 침습적인 치료 방법이 증가되고 있으나 수술적 치료 시행 전 보존적 치료는 충분히 시행되어야 한다. 보존적 치료 중에서 통증 조절을 위한 약물 치료는 오래 전부터 보존적 치료의 가장 대표적인 치료 방법으로 사용되어 왔고 여전히 가장 흔히 사용되는 방법이다. 통증 조절을 위한 약물로는 아세트아미노펜(acetaminophen), 비스테로이드성 항염증제(non-steroidal anti-inflammatory drugs), 스테로이드(steroid), 마약성 진통제(opioid), 항우울제(antidepressants) 등이 있으며 저자는 마약성 진통제 및 항우울제에 대해서 살펴보고자 한다. 통증으로 인해 말초 부위에 있는 통각 수용체에 자극이 전달되면 통증은 중추 신경계로 전달되는 상향성 경로(ascending pathway)를 거쳐 대뇌에 전달되고 대뇌는 통증을 조절하기 위해 하향성 조절 경로(descending pathway)를 통해 엔도르핀(endorphin)과 같은 내인성 마약성 진통제를 분비하게 된다. 마약성 진통제라는 것은 마약성 진통제 수용체(receptor)에 작용하는 물질을 통틀어서 일컫는 말로 마약성 진통제는 세 가지의 수용체가 존재하며 조직이나 환자의 전신 상태에 따라서 각각의 수용체에 대한 친화성이 달라진다. 이와는 달리 항우울제는 중추신경계의 시냅스에 작용하여 통증을 조절하는 상향성 경로를 조절하는 것이 주된 기전으로 만성통증과 신경병성 통증에 효과적이며 이는 마약성 진통제 계열과 효과가 유사한 것으로 알려져 있다. 본 종설에서는 이러한 마약성 진통제와 항우울제의 효과적인 사용 방법, 사용 시 유의점 및 부작용 등에 대해 다루고자 한다.