• 한방재활의학과학회지
• /
• 제32권1호
• /
• pp.51-62
• /
• 2022

Objectives Objective of this study is to investigate the role of paraspinal muscles by examining the correlation between slip percentage (SP) of spondylolisthesis and fatty infiltration of lumbar paraspinal muscle. Methods Retrospective analysis was performed on 45 patients diagnosed with spondylolisthesis based on medical records. Using T2-weighted axial magnetic resonance imaging, cross-sectional areas (CSAs) of psoas major (PM), multifidus (MU) and erector spinae (ES) were calculated and divided by CSA of lower level vertebral body (VB). SP was measured using sagittal T2-weighted images. Correlation of SP with muscle relative cross-sectional area (RCSA) and muscle fatty infiltration by Goutallier classification was respectively analyzed using Spearman correlation. Statistic assessment conducted by Wilcoxon signed rank test and paired t-test using program GraphPad prism 5 (GraphPad Software, Inc., San Diego, CA, USA). Results Spondylolisthesis forward slip percentage by Taillard's method was negatively associated with both side MU RCSAs. No significant correlation was found between PM RCSA, ES RCSA and SP. Forward slippage was significantly correlated with fatty infiltration of lumbar paraspinal muscle measured by Goutallier classification. Conclusions This study is to understand the role of paraspinal muscle affecting spinal instability by investigating correlation between statistical deviation of lumbar muscle characters (RCSA, fatty infiltration of lumbar muscle) and SP. We found that spondylolisthesis SP is positively related to fatty infiltration of lumbar paraspinal muscle. and is negatively associated with both side MU RCSAs.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제12권9호
• /
• pp.381-386
• /
• 2023

기존의 다양한 테스트 케이스 생성에 대한 연구는 모델로부터 테스트 케이스를 추출한다. 하지만 실무의 경우 자연어 요구사항 문장으로부터 테스트 케이스를 생성할 수 있어야 한다. 이를 위해 자연어 문장의 분석하고, 분석 과정 및 결과를 요구공학 영역에 접목하는 연구는 매우 필요하다. 하지만 한국어 문장의 다양성 때문에, 한국어 자연어 요구사항 분석은 어려운 이슈이다. 우리는 한국어 자연어 요구사항으로부터 테스트 케이스 생성 연구 중 하나로써, 자연어 요구사항의 정의 분석, C3Tree 모델의 생성, 원인-결과 그래프의 생성, 결정 테이블의 생성 단계를 통한 테스트 케이스 생성 방법을 연구한다. 본 논문은 중단 단계로써, 메타모델링 변환 기법을 이용하여 C3Tree 모델 기반의 결정 테이블로부터 테스트 케이스 생성 방법을 제안한다. 이 방법은 모델 변환 규칙의 수정을 통해 모델 to 모델, 모델 to 텍스트로의 변환 과정을 제어한다. 모델이 변형되거나, 새로운 모델이 추가되더라도 프로그램 알고리즘의 직접적인 수정 없이 모델 변환 규칙을 유지보수 할 수 있다. 평가 결과, 결정 테이블에 대한 모든 조합이 테스트 케이스로 자동 생성되었다.

• Parasites, Hosts and Diseases
• /
• 제54권1호
• /
• pp.9-14
• /
• 2016

Tamoxifen is an antagonist of the estrogen receptor and currently used for the treatment of breast cancer. The current treatment of cutaneous leishmaniasis with pentavalent antimony compounds is not satisfactory. Therefore, in this study, due to its antileishmanial activity, effects of tamoxifen on the growth of promastigotes and amastigotes of Leishmania major Iranian strain were evaluated in vitro. Promastigotes and amastigotes were treated with different concentrations (1, 5, 10, 20, and $50{\mu}g/ml$) and time periods (24, 48, and 72 hr) of tamoxifen. After tamoxifen treatment, MTT assay (3-[4,5-dimethylthiazol-2-yl]-2,5 biphenyl tetrazolium bromide assay) was used to determine the percentage of live parasites and Graph Pad Prism software to calculate $IC_{50}$. Flow cytometry was applied to investigate the induction of tamoxifen-induced apoptosis in promastigotes. The half maximal inhibitory concentration ($IC_{50}$) of tamoxifen on promastigotes was $2.6{\mu}g/ml$ after 24 hr treatment. Flow cytometry analysis showed that tamoxifen induced early and late apoptosis in Leishmania promastigotes. While after 48 hr in control group the apoptosis was 2.0%, the $50{\mu}g/L$ concentration of tamoxifen increased it to 59.7%. Based on the in vitro antileishmanial effect, tamoxifen might be used for leishmaniasis treatment; however, further researches on in vivo effects of tamoxifen in animal models are needed.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.479-490
• /
• 2009

여러 가지 실세계 문제들은 마르코프 결정 문제(Markov decision problem) 들로 형식화하여 풀 수 있으나, 풀이 과정의 높은 계산 복잡도 때문에 실세계 문제들을 직접적으로 다루는 데 많은 어려움이 있다. 이를 해결하기 위해 많은 시간적 추상화(Temporal abstraction) 방법들이 제안되어 왔고 이를 자동화하기 위한 여러 방법들 또한 연구되어 왔으나, 이들 방법들은 명시적인 효율성 척도를 갖고 있지 않아 이론적인 성능 보장을 하지 못하는 문제가 있었다. 본 연구에서는 문제의 크기가 커지더라도 좋은 성능이 보장되는 자동적인 시간적 추상화 구현 방법에 대해 제안한다. 이를 위하여 네트워크 척도(Network measurements)를 이용하여 마르코프 결정 문제의 풀이 효율과 상태 궤적 그래프(State trajectory graph)의 위상 특성간의 관계를 분석하고, 네트워크 척도들 중 평균 측지 거리(Mean geodesic distance)가 마르코프 결정 문제의 풀이 성능과 밀접한 관계가 있다는 사실을 알아내었다. 이 사실을 기반으로 하여, 낮은 평균 측지 거리를 보장하는 복잡계망 모델(Complex network model)을 사용하여 시간적 추상화를 만들어 나가는 알고리즘을 제안한다. 제안된 알고리즘은 사실적인 3차원 게임 환경을 비롯한 여러 문제에 대해 테스트되었고, 문제 크기의 증가에도 불구하고 효율적인 풀이 성능을 보여 주었다.

• 정보처리학회논문지D
• /
• 제13D권1호
• /
• pp.103-110
• /
• 2006

한국게임산업개발원에서 연구 발표한 게임제작 프로세스와 게임 기획서 표준양식은 게임 산업을 위한 중요한 초석이 되었다. 그러나 게임기획은 기획자의 새로운 아이디어와 변경으로 정확한 산출물을 작성할 수 없어 소프트웨어의 품질을 보장할 수 없다. 본 연구에서는 기획단계에서 생성되는 산출물들을 일관성 있게 유지 관리하고 변경된 내용을 추적할 수 있는 체계를 정립하였다. 첫째, 각 산출물간의 연관관계를 표현하늘 ACT그래프, 산출물의 변경을 추적 관리를 위한 ACT 테이블 및 산출물 변경 이력 테이블을 정의하였다. 또 이를 활용한 게임 기획 ACT 프로세스를 제시하였다. 제시한 추적 기법의 유효성을 검증하기 위하여 사례연구를 통해 게임 기획 산출물의 변경 발생시 게임 기획자가 관련 산출물과 항목을 신속히 파악하고 변경 가능한 것을 확인함으로써 게임 기획 산출물의 일관성 유지 노력과 시간을 절약할 수 있음을 보였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권12호
• /
• pp.926-939
• /
• 2002

시스템이 실행 중 다양한 환경 요인에 의해 발생할 수 있는 불확실성을 명세하기 위해 확률의 개념을 적용한 명세 방범이 요구되고 있다. 본 논문에서는 실행에 영향을 주는 많은 환경 요인들을 고려하여, 변화하는 실행 환경에서 시스템의 행위를 예측, 분석하기 위한 확률 정형 기법인 확률 추상 시간 기계(PATM:Probabilistic Abstract Timed Machine)를 제안한다. PATM에서는 확률에 영향을 주는 환경요인을 실행 도중 변경이 가능한 가변 확률 요인과 변경이 불가능한 고정 확률 요인으로 분류하고 있다. 시스템의 행위에 대한 분석은 PATM의 동적 실행모델인 확률 도달성 그래프를 통해서 이루어진다. 분석결과를 토대로 시스템의 동작 실패 가능성을 예측하고, 이에 영향을 미치는 가변 환경 요인을 변경하여 궁극적으로 시스템의 신뢰도를 향상할 수 있도록 한다.

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

항진을 반증하는 문제는 항진을 검증하는 문제와 같은 난이도를 갖기 때문에 반증(또는 부당성 검증)을 위한 다항식 시간 알고리즘은 가능하지 않다. 이제까지의 그러한 알고리즘들은 가능하지 않다. 이제까지의 그러한 알고리즘들은 분할 및 정복이나 그래프 표현에 기반 한 것이 대부분이다. 대부분의 알고리즘들은 어떤 제약조건 하에서 다양한 입력에 대한 만족할 만한 결과를 보여 주었다. 그러나, 규모가 큰 입력에 대하여 이들 알고리즘들은 어려움을 경험하고 있다. 이 논문에서는 DNF(선언표준형)로 표현된 입력식을 만족하지 못하는 최소항을 구성함으로써 반례를 산출하는 병합 규칙 기반의 새로운 반증 알고리즘을 제안한다. 또한, 제안된 알고리즘의 일관성과 건전성을 증명한다. 제안된 알고리즘은 반증 과정의 각 단계에서 이루어진 할당을 통하여 반증된 항의수를 최대화하도록 greedy 방법을 기반으로 하고 있다. 실험 결과는 큰 입력의 무작위 비항진 문제 사례들을 반증하는 실용적 성능을 보여 주며 O(n$m^2$) 시간을 소비한다. 여기수 n은 변수이고 m은 항의 개수이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권9호
• /
• pp.538-546
• /
• 2008

오늘날 복잡해져 가는 컴퓨팅 환경에서 시스템에 발생하는 다양한 문제를 시스템 관리자가 직접 처리하는 것은 한계가 있다. 이 한계를 해결하기 위해서 시스템 스스로 상황을 인식하여 적절한 대응하는 능력을 갖는 것이 중요한 이슈가 되고 있다. 그러나 자가 적응 시스템을 생성하기 위해서는 많은 경험과 지식이 필요하다. 따라서 자가 적응 시스템 구축의 어려움이 문제가 되고 있다. 본 논문에서는 그러한 자가 적응 시스템의 구축을 용이하게 하기 위하여 자가 적응 시스템의 코드를 자동 생성하는 기법을 제안한다. 본 자가 적응 시스템은 기존 관련 연구에서 문제가 된 시스템의 리소스 과다 사용을 통한 비효율성과 바이러스와 같은 외부 요인에 의한 부정확한 동작에 대한 문제를 부분적으로 해결한다. 본 논문에서는 평가를 위하여 비디오 회의 시스템에서 사용하는 파일 전송 모듈에 제안 방법론을 적용하였다. 개발자가 추가로 작성한 코드의 길이, 개발자가 만든 클래스의 수, 개발 시간을 제안 방법론 적용 전과 후를 비교하여 그 유효성을 확인하였다.

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

하이퍼네트워크는 하이퍼그래프의 일반화된 모델로 학습과정에 있어 진화적 개념을 도입한 확률 그래프 기반의 기계학습 알고리즘으로서 최근 들어 여러 다양한 분야에 응용되고 있다. 그러나 하이퍼네트워크 모델은 데이터와 모델을 구성하는 하이퍼에지 간의 동등비교를 기반으로 하는 학습과정의 특성상 데이터를 구성하는 인자들이 범주형인 경우에만 학습 및 모델링이 가능하고 실수 값으로 표현된 데이터를 학습하기 위해서는 이산화 등의 전처리가 선행되어야 한다는 한계점이 있다. 하지만 데이터 전처리에 있어 이산화 하는 과정은 필연적으로 정보손실이 발생할 수밖에 없기 때문에 이는 분류 예측 모델의 성능 저하를 유발하는 원인이 될 수 있다. 이러한 기존 하이퍼네트워크 모델의 한계점을 극복하기 위해 본 연구에서는 별도의 데이터 전처리 과정을 거치지 않고 실수 인자로 구성된 데이터의 패턴 학습이 가능한 개선된 하이퍼네트워크 모델을 제안한다. 여러 실험 결과를 통해 제안한 하이퍼네트워크 모델은 기존 하이퍼네트워크 모델에 비해 실수형 데이터에 대한 학습 및 분류 결과 성능이 향상되었을 뿐 아니라, 다른 여러기계학습 방법들에 비해서도 경쟁력 있는 성능이 나타남을 확인하였다.

• Steel and Composite Structures
• /
• 제23권3호
• /
• pp.273-283
• /
• 2017

In this paper, it is aimed to present a detail investigation related to structural behavior of laterally unrestrained steel cantilever roof of tribune with slender cross section. The structure is located in Tutak town in $A{\breve{g}}r{{\i}}$ and collapsed on October 25, 2015 at eastern part of Turkey is considered as a case study. This mild sloped roof structure was built from a variable I beam, and supported on steel columns of 5.5 m height covering totally $240m^2$ closed area in plan. The roof of tribune collapsed completely without any indication during first snowfall after construction at midnight a winter day, fortunately before the opening hours. The meteorological records and observations of local persons are combined together to estimate the intensity of snow load in the region and it is compared with the code specified values. Also, the wide/thickness and height/thickness ratios for flange and web are evaluated according to the design codes. Three dimensional finite element model of the existing steel tribune roof is generated considering project drawings and site investigations using commercially available software ANSYS. The displacements, principal stresses and strains along to the cantilever length and column height are given as contour diagrams and graph format. In addition to site investigation, the numerical and analytical works conducted in this study indicate that the unequivocal reasons of the collapse are overloading action of snow load intensity, some mistakes made in the design of steel cantilever beams, insufficient strength and rigidity of the main structural elements, and construction workmanship errors.