• 전자공학회논문지
• /
• 제52권2호
• /
• pp.182-192
• /
• 2015

본 논문에서는 GBCA(Gadolinium Based Contrast Agent)를 이용한 MRI 검사 시 다양한 MR 시퀀스에 따른 GBCA 몰농도별 조영증강 변화를 알아보기 위해 자체 제작한 MR 팬텀을 사용하여 정량적으로 평가 분석하고자 하였다. MR 팬텀을 제작하기 위해 28개의 용기에 500 mmol Gadoteridol을 saline과 혼합하여 각각 500 부터 0 mmol 까지 몰농도를 서로 다르게 하였다. 제작된 MR phantom을 1.5T MRI 장비에서 물리학적 기전이 서로 다른 T1 SE, T2 FLAIR, T1 FLAIR, 3D FLASH, T1 3D SPACE, 3D SPCIR 시퀀스로 스캔하여 신호강도 변화를 측정 한 후 비교 분석 하였다. T1 Spin echo는 Total SI(Signal Intensity)가 15608.7, Max peak는 1 mmol에서 1352.6, T2 FLAIR는 Total SI가 9106.4, Max peak는 0.4 mmol에서 1721.6, T1 FLAIR에서는 Total SI가 20972.5, Max peak는 1 mmol에서 1604.9, 3D FLASH는 Total SI가 20924.0, Max peak는 40 mmol에서 1425.7, 3D SPACE 1mm는 Total SI가 6399.0, Max peak는 3 mmol에서 528.3, 3D SPACE 5mm는 Total SI가 6276.5, Max peak는 2 mmol에서 514.6, 3D SPCIR의 경우는 Total SI가 1778.8, Max peak는 0.4 mmol에서 383.8의 신호강도를 보였다. T1 SE를 포함한 대부분의 시퀀스에서 몰농도가 높았을 때 보다는 대체적으로 일정이상 희석이 이루어진 비교적 낮은 농도에서 높은 신호강도를 보였다. 또한 서로 다른 물리학적 기전의 다양한 MR시퀀스에서 GBCA의 조영증강 패턴 역시 모두 달랐다. 본 연구를 통해 얻어진 시퀀스에 따른 GBCA 농도별 반응에 대한 정량적 데이터를 통하여 실제 임상에서의 조영증강검사에 있어서 효율적인 MR검사 프로토콜에 활용할 수 있을 것으로 사료된다.

• Korean Journal of Mathematics
• /
• 제8권2호
• /
• pp.163-172
• /
• 2000

Let $\mathcal{S}^{\prime}(\mathbb{R})$ be the dual of the Schwartz spaces $\mathcal{S}(\mathbb{R})$), A be a self-adjoint operator in $L^2(\mathbb{R})$ and ${\Gamma}(A)^*$ be the adjoint operator of ${\Gamma}(A)$ which is the second quantization operator of A. It is proven that under a suitable condition on A there exists a nuclear subspace $\mathcal{S}$ of a fundamental space $\mathcal{S}_A$ of Hida's type on $\mathcal{S}^{\prime}(\mathbb{R})$) such that ${\Gamma}(A)\mathcal{S}{\subset}\mathcal{S}$ and $e^{-t{\Gamma}(A)}\mathcal{S}{\subset}\mathcal{S}$, which enables us to show that a stochastic differential equation: $$dX(t)=dW(t)-{\Gamma}(A)^*X(t)dt$$, arising from the central limit theorem for spatially extended neurons has an unique solution on the dual space $\mathcal{S}^{\prime}$ of $\mathcal{S}$.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
• /
• pp.489-492
• /
• 2007

At COMS SOC, 13m antenna system will serve to transmit command and receive telemetry in S-Band for COMS operation. In addition, Sensor Data and LRIT/HRIT in L-Band will be received and LRIT/HRIT in S-Band will be transmitted through this antenna system. In many cases, G/T is used as barometer to estimate the receiving capability of antenna system. To estimate G/T, this paper presents two approaches, one is analysis based on the specification of antenna and RF equipment while the other is measurement by using Sun. From the results, G/T was proven as more than 20dB/K and it means that the required G/T, 19dB/K is verified successfully.

• Korean Journal of Mathematics
• /
• 제31권4호
• /
• pp.479-484
• /
• 2023

In this paper, we introduce the concept of a generalized derived set in generalized topological spaces and we investigate its properties. Using these, we study T_D-spaces in generalized topological spaces.

• 대한수학회지
• /
• 제33권4호
• /
• pp.891-908
• /
• 1996

Let (X,d) be a metric space and let T be a mapping from X into itself. We say that a metric space (X,d) is T-orbitally complete if every Cauchy sequence of the form ${T^{n_i}x}_{i \in N}$ for $x \in X$ converges to a point in X.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• 충청수학회지
• /
• 제34권3호
• /
• pp.259-269
• /
• 2021

We shall study the following. Let 𝜙 be an expansive flow on a compact TVS-cone metric space (X, d). First, we give some equivalent ways of defining expansiveness. Second, we show that expansiveness is conjugate invariance. Finally, we prove that lim sup ${\frac{1}{t}}$ log v(t) ≤ h(𝜙), where v(t) denotes the number of closed orbits of 𝜙 with a period 𝜏 ∈ [0, t] and h(𝜙) denotes the topological entropy. Remark that in 1972, R. Bowen and P. Walters had proved this three statements for an expansive flow on a compact metric space [?].

• 대한수학회논문집
• /
• 제34권1호
• /
• pp.105-111
• /
• 2019

Let $Y{\subset}{\mathbb{P}}^3$ be a degree d reduced curve with only planar singularities. We prove that $h^i({\mathcal{I}}_Y(t))=0$, i = 1, 2, for all $t{\geq}d-2$. We use this result and linkage to construct some triples (d, g, s), $d>s^2$, with very large g for which there is a smooth and connected curve of degree d and genus g, $h^0({\mathcal{I}}_C(s))=1$ and describe the Hartshorne-Rao module of C.

• 대한수학회보
• /
• 제44권4호
• /
• pp.731-742
• /
• 2007

Let X be a Banach space, $A:D(A){\subset}X{\rightarrow}X$ the generator of a compact $C_0-semigroup\;S(t):X{\rightarrow}X,\;t{\geq}0$, D a locally closed subset in X, and $f:(a,b){\times}C([-q,0];X){\rightarrow}X$ a function of Caratheodory type. The main result of this paper is that a necessary and sufficient condition in order that D be a viable domain of the semi linear differential equation of retarded type $$u#(t)=Au(t)+f(t,u_t),\;t{\in}[t_0,\;t_0+T],{u_t}_0={\phi}{\in}C([-q,0];X)$$ is the tangency condition $$\limits_{h{\downarrow}0}^{lim\;inf\;h^{-1}d(S(h)v(0)+hf(t,v);D)=0}$$ for almost every $t{\in}(a,b)$ and every $v{\in}C([-q,0];X)\;with\;v(0){\in}D$.

• Korean Journal of Mathematics
• /
• 제31권1호
• /
• pp.35-48
• /
• 2023

Let 𝔼 be a CAT(0) space and K be a nonempty closed convex subset of 𝔼. Let T : K → 𝓟(K) be a multimap such that F(T) ≠ ∅ and ℙ_T(x) = {y ∈ Tx : d(x, y) = d(x, Tx)}. Define sequence {x_n} by x_n+1 = (1 - α)𝜈_n⊕αw_n, y_n = (1 - β)u_n⊕βw_n, z_n = (1-γ)x_n⊕γu_n where α, β, γ ∈ [0; 1]; u_n ∈ ℙ_T (x_n); 𝜈_n ∈ ℙ_T (y_n) and w_n ∈ ℙ_T (z_n). (1) If ℙ_T is quasi-nonexpansive, then it is proved that {x_n} converges strongly to a fixed point of T. (2) If a multimap T satisfies Condition(I) and ℙ_T is quasi-nonexpansive, then {x_n} converges strongly to a fixed point of T. (3) Finally, we establish a weak convergence result. Our results extend and unify some of the related results in the literature.