• 한국정보과학회논문지:시스템및이론
• /
• 제28권9호
• /
• pp.469-478
• /
• 2001

분산시스템(distributed system)을 시험할 때, 병렬 이벤트를(concurrent events)를 제어 할수 없다면 정확한 시험결과를 얻어내기 어렵다. 기존의분산 시험 방법은 정형적 방법으로 test sequence 생성 알고리즘을 제시하지 못하거나 동기화를 위한 부가적 메시지의양이 많은 단점이 있었다. 본 논문에서는 병렬 이벤트 제어를 위해 logical clock를 이용한 정형적 test sequence 생성 알고리즘을 제시한다. 이 알고리즘은 제어관철 문제를 해결하고 시험 결과를 재현할수 있다. 또한 어떠한 통신 패러다임에서도 적용될수 있는 일반적 해결방법을 제공한다. 분산 시험 방법에서는 분산 객체가 증가할수록 시험기 사이의 채널이 비선형(non-linearly)으로 증가하는 단점이 있다. 이 단점을 극복하고자 원격 시험방법(remote test method)의 시험 구조를 제안한다. 제안된 알고리즘의 검증을 위해 SDL 도구를 사용하고 Q.2971 망 부분(network side) 일대 다 호/연결 설정을 위한 메시지 교환에 적용한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2021년도 춘계학술대회
• /
• pp.151-154
• /
• 2021

빅데이터 분석은 데이터 저장소에 저장된 대용량 데이터 속에서 의미 있는 새로운 상관관계, 패턴, 추세를 발견하여 새로운 가치를 창출하는 과정이다. 또한 대부분의 빅데이터 분석 기술 방법들은 기존 통계학과 전산학에서 사용되던 데이터 마이닝, 기계 학습, 자연 언어 처리, 패턴 인식 등이 이에 해당된다. 그리고 빅데이터 분석 도구인 R언어를 이용하여 전-처리된 텍스트 데이터를 이용하여 다양한 시각화 함수를 통해 분석결과를 표현할 수 있다. 본 연구에서 사용된 데이터는 한국정보통신학회 학회지 논문 중에서 2021년 3월호 논문 21편을 대상으로 분석을 하였다. 최종 분석결과는 가장 많이 언급된 키워드는 "데이터"가 305회로 1위를 차지하였다. 따라서 이러한 분석결과를 바탕으로 연구의 한계와 이론적 실무적 시사점을 제시하고자 한다.

• 대한정형외과 초음파학회지
• /
• 제7권1호
• /
• pp.7-12
• /
• 2014

목적: 경피 Buprenorphine 제제는 보존적 치료의 한 방법으로 이용 범위를 넓히고 있으나 정형외과의 세분화된 영역에서의 통증 조절 효과에 대한 연구는 많지 않다. 이에 본 연구에서는 견관절 통증을 호소하는 동결기의 동결견 환자에게 투여한 경피 Buprenorphine 제제의 통증 조절 효과에 대해 알아보고자 하였다. 대상 및 방법: 2013년 3월에서 9월 사이의 기간 동안 5~6개월 이상 견관절 통증이 지속되고 운동범위의 제한이 확인되었으나 자기공명 영상 검사나 초음파 진단 검사상 가능한 다른 병리적 소견이 발견되지 않아 최종적으로 동결기 상태의 동결견으로 진단 받은 총 127명의 환자들을 대상으로 하였다. 모든 환자들은 관절와-상완 관절 내 스테로이드 주사요법을 1회 시행 받았다. 첫 외래 방문 이후 2~4주 후 전화를 통한 설문을 시행하였으며 전체 127명의 대상 환자 중 22명의 환자가 전화 설문을 거부하여 최종 105명의 환자가 대상이 되었으며 이중 경구 NSAID 제제와 함께 경피 Buprenorphine 제제를 처방 받은 실험군(BP group)은 51명, 경구 NSAID 제제 만을 처방 받은 대조군(NP group)은 54명이었다. 치료 효과의 평가를 위하여 첫 외래 방문 시 및 전화 설문 시 시각적 통증 점수(PVAS), 시각적 기능 점수(FVAS), 미국 정형외과 견주관절 점수(ASES score)를 측정하였다. 결과: 전반적인 통증 및 기능 임상 점수에서 양 군 동일하게 투여 전 보다 투여 후에 호전되는 추세를 보였다. 각군의 평가 점수들의 투여 후 결과는 투여 전과 비교하여 통계적으로 의미 있게 호전되었다(p<0.001). PVAS 점수는 BP group에서 3.55, NP group 에서 2.87로 BP group에서 오히려 0.68 높은 것으로 관찰되었으나 통계적으로 유의하지는 않았다(p=0.088). 투여 전 ASES 점수는 두 군간 차이를 보이지 않았던 반면 투여 후 점수는 BP group에서 57.31, NP group에서 64.24로 NP group에서 유의하게 높았다(p<0.05). 반면 FVAS 는 두군 모두 호전되는 추세는 보였으며 역시 NP group에서 높았으며 투여 후 점수에서 통계적으로 유의한 차이를 보였다(p<0.05). 결론: 동결기의 동결견 환자에게 1회 관절 내 스테로이드 주사치료 및 경구 NSAID 제제에 추가로 투여한 경피 Buprenorphine 제제는 단기 추시에서 투여하지 않은 경우보다 우월한 통증 및 기능적 임상 결과를 보이지 않았다.

• 대한전자공학회논문지
• /
• 제12권3호
• /
• pp.1-7
• /
• 1975

이 논문은 음성카셋트 Deck을 이용하여 고밀도로 data를 기록 또는 재생하는 한 방법을 검토하였다. 기록에 있어서는 NRZ-TM의 혼합에 의한 한 방식으로서 data를 정 및 부 bit로 분리하여 두개의 트랙에 각각 기록한다. 재생방법은 피이크. 쎈스에 의하여 검출신호의 레벨변동에 의한 정형, 펄스의 시간편차를 제거하고 오차의 정정이 자동적으로 이루어 지며 크럭. 펄스가 검출신호 자체에서 자동적으로 발생한다. 이 방식은 음성카셋트 Deck의 내부회로는 변경하기 않고 외부에 새로운 부착만으로서 음성과 data를 병용할 수 있다. Data펄스 25Hz-4KHz의 주파수까지 기록이 가능하고 최고 전송속도는 787(bps)이다.

• 한국정보과학회논문지:데이타베이스
• /
• 제33권7호
• /
• pp.693-707
• /
• 2006

대부분의 유사 시퀀스 매칭 방법은 다차원 색인을 사용한 검색 속도의 향상을 위해, 많은 수의 고차원 시퀀스를 저차윈 변환한 후 이들 변환된 시퀀스들을 포함하는 저차원 MBR을 구성한다. 본 논문에서는 고차원 MBR자체를 직접 저차원 MBR로 변환하는 정형적인 방법을 제안하고, 이를 사용하면 유사 시퀀스 매칭에서 필요한 저차원 변환 횟수를 획기적으로 줄일 수 있음을 보인다. 이를 위해, 우선 변환의 MBR-safe 개념을 정형적으로 제안한다. 어떤 변환이 MBR-safe하다 함은 고차원 MBR을 직접 변환한 저차원 MBR이 개별 고차원 시퀀스가 변환된 저차원 시퀀스를 모두 포함함을 의미한다. 다음으로, 기존 저차원 변환 중에서 가장 널리 사용되는 DFT와 DCT에 대해 각각 MBR-safe 변환을 제안한다. 먼저, 기존 DFT와 DCT가 MBR-safe하지 않음을 보이고, DFT와 DCT를 확장한 mbrDFT와 mbrDCT를 각각 정의한다. 그리고, 이들 mbrDFT와 mbrDCT가 MBR-safe함을 정형적으로 증명한다. 또한, mbrDFT(흑은 mbrDCT)가 고차원 MBR을 저차원 MBR로 직접 변환하는 DFT(혹은 DCT) 기반의 최적 MBR-safe 변환임을 증명한다. 분석과 실험 결과, 제안한 mbrDFT 및 mbrDCT를 사용하면 저차원 변환 횟수를 획기적으로 줄이고 성능을 크게 향상 시킨 것으로 나타났다. 이 같은 결과를 볼 때, 본 논문에서 제시한 MBR-safe 개념은 고차원 MBR의 저차원 변환이 필요한 많은 응용에 활용될 수 있는 유용한 연구 결과라 사료된다.

• 방송공학회논문지
• /
• 제19권3호
• /
• pp.396-404
• /
• 2014

의류 검색 분야는 의류의 비정형 특성으로 인해 매우 어려운 분야로 인식 오류 및 연산량을 줄이기 위한 노력이 많이 진행되어 왔으나 이를 위한 학습 및 인식 과정 전체에 대한 구체적인 사례가 없고 일부 관련 기술들은 아직 많은 한계를 보이고 있다. 이에 본 논문에서는 입력된 영상에서 사람 객체를 파악하여 착용한 의상으로부터 색상, 무늬, 질감 등 의상이 가질 수 있는 특성 정보를 분석하여, 이를 분류하고 검색하는 방법에 대한 전 과정을 구체적으로 보였다. 특히, 의류의 패턴 및 무늬 등을 구분하기 위한 비정형 의류 검색을 위한 LBPROT_35 디스크립터를 제안하였다. 이 제안 방식은 영상의 통계적 특징을 분석하는 기존의 LBP_ROT(Local Binary Pattern with ROTation-invariant) 방식에 추가로 원 영상에 크기 변화가 생겨도 검색해 낼 수 있도록 하는 특성이 추가된 것이며, 이를 통해 비정형 의류 검색 시 옷이 회전되어 있거나 스케일에 변화가 있어도 높은 검색율을 얻을 수 있게 되었다. 또한 색 공간을 11개의 구간으로 양자화 하는 방식을 이용하여 컬러 분류를 구현하여, 의류 검색에 있어서 중요한 컬러 유사성을 상실하지 않도록 하였다. 한편, 인터넷 상의 의류 사진들로부터 추출한 총 810장의 트레이닝 이미지로 데이터베이스를 구축하고 이들 중 36장을 질의영상으로 테스트 한 결과, 94.4%의 인식률을 보이는 등 Dense-SIFT 대비 높은 인식률을 보였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• 한국융합학회논문지
• /
• 제10권11호
• /
• pp.199-207
• /
• 2019

본 연구는 바닥에 치료용 깔창이 일체형으로 제작된 실내화를 이용한 유연성 편평족 환아의 착용 처치 전-후 임상 결과 및 영상의학 검사 결과에 대한 융합 연구이다. 유연성 편평족으로 진단받은 학령기 환아 35명에 대하여, 치료용 깔창이 일체형으로 제작된 실내화를 주중 5회 이상, 하루 4시간 이상 착용하게 하였다. 시행 전, 시행 후 제 4주째, 제 8주째, 영상의학 검사 및 FAOS 설문 조사를 시행하였고, 반복측정분산분석을 이용하여 통계 분석하였다. 임상 결과에서 FAOS 증상 항목과 통증 항목에서 통계적으로 유의한 향상이 관찰되었다. 영상의학 검사 결과에서 전후면 거골-제1중족각, 측면 거골-제1중족각, 거골-수평각이 호전되는 경향을 보이고 있었지만, 통계적 유의성은 찾을 수 없었다. 즉, 학령기 유연성 편평족 환아가 실내 생활 중 대부분의 시간 동안 치료용 깔창이 바닥에 일체형으로 제작된 실내화를 사용하는 것은 단기적으로 증상 완화 및 통증 경감에 효과가 있다.

• 한국해안·해양공학회논문집
• /
• 제35권6호
• /
• pp.128-137
• /
• 2023

본 연구는 비정형 바닥판을 갖는 중력식 구조물의 사석마운드 지반반력을 대상으로 하였다. 구조물 바닥을 강체로 가정하고, 사석마운드는 압축에 대해서만 저항하는 바닥에 균일하게 분포하는 선형스프링으로 모형화하여 지반반력 산정식을 유도하였다. 바닥 형상이 사각형인 경우, 그 유도된 식이 설계에 사용되고 있는 식으로 변환됨을 보임으로써 유도 과정에 오류가 없음을 확인하였다. 또한, 비정형 바닥 형상이 사각형으로 수렴할 때의 지반반력의 거동과 그 수렴값을 살펴봄으로써 유도된 식의 타당성을 입증하였다. 실제 설계에서 사용되고 있는 방법의 적정성을 살펴보기 위하여 기 설계된 방파제 단면에 대한 단부 지반반력을 계산하고 설계서에 제시된 값과 비교하였다. 그 결과, 설계에 사용한 방법이 비안전측의 결과를 주었다는 것을 확인하였다. 특히, 극한 설계조건의 경우와 같이 연직하중의 편심이 큰 경우에 그 차이가 더 크게 나타났다.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2007년도 춘계학술대회 논문집
• /
• pp.67-70
• /
• 2007

LTCC (Low Temperature Co-fired Ceramic) has been emerged as a promising technology in packaging industry. In this technology the lamination and the sintering process are very important because they change the permittivity of ceramics and the dimension of metal pattern which have influences on electric property. In this paper we studied on influence of the permittivity and the dimension change by lamination pressure and sintering temperature of LTCC process. As a results, permittivity increase along with increasing of lamination pressure and sintering temperature.