• 핵의학기술
• /
• 제14권1호
• /
• pp.122-126
• /
• 2010

F-18-FPCIT는 뇌 선조체에 주로 분포된 도파민 운반체에 강한 친화력을 보이며, 이는 파킨슨 씨 병의 진단에 유용한 진단적 정보를 제공한다. 본 연구에서는 iteration과 subset에 따른 영상의 변화를 관찰하고 적정한 iteration과 subset의 범위를 제안해 보고자 한다. 영상의 획득은 ACR 팬텀과 뇌 질환이 없는 정상인의 뇌 영상을 획득하였다. 정상인의 뇌영상은 F-18-FPCIT를 정맥주사 후 3시간째 획득하였으며, iteration과 subset의 조건을 5가지로 구분하여 영상을 재구성하였다. 영상의 분석은 동일한 위치에 같은 크기의 ROI를 그려 평균, 최대, 최소의 SUV를 측정하였고, 이를 바탕으로 표준편차, 변이계수를 계산하였다. 또한 팬텀영상에서는 각 조건별 열소와 냉소의 SUV를 비교하여 어떠한 조건에서 실제와 가장 비슷한 SUV ratio를 재현하는지 조사하였다. 위 실험에서 얻어진 값은 Spearman test를 통해 유의성을 유무를 판별하였다. 따라 SUV는 증가하였고 이러한 추세는 Spearman test에서 유의성을 나타내었다. 표준편차 역시 iteration, subset조건이 증가함에 따라 값의 증가를 보였다. 산출된 값들은 통계적으로 유의하였다. 팬텀 연구에서는 6 iteraions, 16 iterations 에서 실제와 가장 비슷한 SUV ratio를 재현하였다. 하지만 iteration, subset 조건별로 얻어진 SUV ratio들은 통계적으로 유의하지 않았다.

• 핵의학기술
• /
• 제13권1호
• /
• pp.20-24
• /
• 2009

목적 : 최근 기존의 PET 영상에 비하여 신호 대 잡음비를 높이고, 전체 가시영역에서 우수한 공간분해능을 보이는 새로운 영상 재구성 방법이 소개되었다. 본 연구는 Siemens PET/CT장비에 새롭게 적용된 True X 재구성 방법의 임상적용에 대한 유용성 평가를 위해 현재 일반적으로 사용되고 있는 Iterative 재구성 방법과의 차이를 모형시험을 통해 영상의 균일성과 대조도를 비교 평가하였다. 실험재료 및 방법 : 본 연구를 위한 모형의 제작은 열소와 배후방사능의 비율이 4:1이 되도록 F-18을 물에 혼합하여 모형에 채웠다. 영상의 획득시간은 Bed당 2분으로 하였고 영상의 재구성 조건은 Iteration은 2,3 Subset은 14로 변경하여 재구성하였다. 재구성 방법의 차이에 따른 영상의 균일성을 평가하기 위해 Iterative와 True X로 재구성한 영상에 각각 관심 영역을 설정하여 관심영역의 변이 계수를 측정 비교하였고, 대조도 평가는 열소와 배후방사능에 관심영역을 설정하여 평균섭취 계수를 측정 비교하였다. 결과 : 균일성을 평가하기 위한 변이계수는 Iterative, 2 Iteration 14 Subset에서 13.84%, 3 Iteration 14 Subset에서는 19.04%로 측정되었다. True X, 2 Iteration 14 Subset에서 6.06%, 3 Iteration 14 Subset에서는 10.76%로 측정되었다. 대조도 평가에서 재구성 방법을 Iterative, 2 Iteration, 14 Subset으로 설정했을 때 열소의 크기 25, 16, 12, 8 mm에서 평균섭취 계수비는 각각 3.08:1, 2.89:1, 2.32:1, 1.66:1로 나타났고 평균치는 2.458:1이였다. True X에서는 25, 16, 12, 8 mm에서 각각 3.65:1, 3.53:1, 2.7:1, 1.66:1이였고 평균값은 2.882:1로 나타났다. 재구성 조건을 3Iteration, 14 Subset으로 변경하였을 때 Iterative에서는 25, 16, 12, 8 mm에서 각각 3.08:1, 2.90:1, 2.47:1, 1.87:1로 평균치는 2.596:1이였고 True X는 25, 16, 12, 8 mm에서 각각 3.5:1, 3.45:1, 2.93:1, 1.83:1로 평균 비율은 3.33:1이였다. 결론 : 균일성 비교 평가에서 True X와 Iterative 재구성 방법 모두 2 Iteration, 14 Subset이 3 Iteration, 14 Subset 보다 균일한 영상을 형성하였으며, 전반적으로 True X가 Iterative 재구성 방법보다 균일성이 고르게 나타났다. 대조도는 Iterative 재구성 방법, True X 모두 3 Iteration, 14 Subset에서 2 Iteration, 14 Subset보다 실제와 가까운 평균섭취 계수비를 나타냈다. 그러나 이러한 데이터는 모형만을 이용한 방법이므로 실제 임상에서 가장 정확하고 유용한 진단적 정보를 제공하기 위한 연구를 더 해야 하며, 임상 검사에 맞는 최적의 Iteration과 Subset 조건을 찾아야 할 필요성이 있다고 사료된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권5_6호
• /
• pp.587-597
• /
• 2003

일반적으로 C언어는 고신뢰도를 요구하는 소프트웨어에 적합하지 않다고 알려졌음에도 불구하고 적지 않은 수의 안전성이 중요시되는(safety-critical) 시스템들이 C언어로 구현되었거나 C언어를 기반으로 개발되고 있다. 본 연구의 목적은 C언어의 안전한 subset을 정의하고 이 subset 언어로 작성된 프로그램을 SPARK Ada로 변환하여 SPARK의 분석 도구들을 사용해 프로그램의 안전성을 분석하는 데 있다. SPARK은 Ada의 안전한 subset으로 고신뢰도를 요하는 시스템을 구현하는데 성공적으로 사용되어왔다. SPARK으로 변환된 C 프로그램은 SPARK 수준의 안전성을 갖게 되며 SPARK의 분석 도구인 Examiner를 통해 프로그램의 정확성 검증 등의 분석을 할 수 있다. 본 연구에서는 엘리베이터 컨트롤러 사례 연구를 통해 정의한 subset이 현실적인 시스템을 구현하기에 부족하지 않음을 발견하였으며, SPARK Ada로의 변환을 자동화해주는 변환기를 구현하였다.

• IMMUNE NETWORK
• /
• 제20권1호
• /
• pp.2.1-2.19
• /
• 2020

Acute viral infection or vaccination generates highly functional memory CD8 T cells following the Ag resolution. In contrast, persistent antigenic stimulation in chronic viral infection and cancer leads to a state of T-cell dysfunction termed T-cell exhaustion. We and other have recently identified a novel subset of exhausted CD8 T cells that act as stem cells for maintaining virus-specific CD8 T cells in a mouse model of chronic lymphocytic choriomeningitis virus infection. This stem cell-like CD8 T-cell subset has been also observed in both mouse and human tumor models. Most importantly, in both chronic viral infection and tumor models, the proliferative burst of Ag-specific CD8 T cells driven by PD-1-directed immunotherapy comes exclusively from this stem cell-like CD8 T-cell subset. Therefore, a better understanding of the mechanisms how CD8 T-cell subsets are regulated during chronic viral infection and cancer is required to improve the current immunotherapies that restore the function of exhausted CD8 T cells. In this review, we discuss the differentiation of virus-specific CD8 T cells during chronic viral infection, the characteristics and function of CD8 T-cell subsets, and the therapeutic intervention of PD-1-directed immunotherapy in cancer.

• East Asian mathematical journal
• /
• 제17권1호
• /
• pp.93-101
• /
• 2001

We give an equivalent formulation to the $Erd\"{o}s'$ conjecture on the lower bound of the greatest element in a set having distinct subset sums. On this basis we suggest a possible approach towards $ERD\"{O}S'$ conjecture. Also we reproduce L. Moser's result by means of an analytic method.

• 호남수학학술지
• /
• 제39권4호
• /
• pp.569-574
• /
• 2017

The notion of $I_{BE}$-energetic subsets in BE-algebras is introduced, and several properties are investigated. Characterizations of $I_{BE}$-energetic subsets are discussed, and conditions for a subset to be an $I_{BE}$-energetic subset are provided.

• Journal of applied mathematics & informatics
• /
• 제10권1_2호
• /
• pp.251-259
• /
• 2002

The fuzzification of an ideal in a Lie algebra is considered. Using a level subset of a fuzzy subset of a Lie algebra, we give a characterization of a fuzzy ideal, and using a family of ideals of a Lie algebra, we establish a fuzzy ideal. With relation to the ascending chain of ideals, a characterization for the set of values of any fuzzy ideal to be a well-ordered subset of the closed unit interval [0,1] is stated.

• Journal of applied mathematics & informatics
• /
• 제26권5_6호
• /
• pp.991-1010
• /
• 2008

A discrete minmax fractional subset programming problem is considered. Various parametric and parameter-free global sufficient optimality conditions and duality results are discussed under generalized ($F,{\alpha},{\rho},{\theta}$)-V-type-I n-set functions.

• Korean Journal of Mathematics
• /
• 제5권2호
• /
• pp.119-125
• /
• 1997

We show that there exists an isomorphism between the basic construction $(M_f)_1$ for $N_f{\subset}M_f$ and the reduction $(M_1)_f$ of the basic construction $M_1$ for $N{\subset}M$, where $f$ is a nontrivial projection in N. For a nontrivial projection $f{\in}N^{\prime}{\cap}M$ we give the basic construction $(M_f)_1$ for $N_f{\subset}M_f$ and compare it with $(M_1)_f$.

• 품질경영학회지
• /
• 제19권1호
• /
• pp.51-64
• /
• 1991

This paper deals with a robust subset selection procedure based on Hodges-Lehmann estimators of location parameters. An improved formula for the estimated standard error of Hodges-Lehmann estimators is considered. Also, the degrees of freedom of the studentized Hodges-Lehmann estimators are investigated and it is suggested to use 0.8n instead of n-1. The proposed procedure is compared with the other subset selection procedures and it is shown to have good effciency for heavy-tailed distributions.