• 정보처리학회논문지D
• /
• 제11D권6호
• /
• pp.1295-1300
• /
• 2004

지금까지 제시된 정형 검증 기법들 중에서 모델 체킹이 가장 효과적이라는 평가를 받고 있지만, 모델 체킹이 실제 활용되기 위해서는 상태 폭발 문제를 극복해야 한다. 본 논문에서는 상태 폭발 문제를 방지하기 위해서, 원래 모델 M으로 부터 추상화 모델 M'을 얻는 방법을 제안하였다. 주어진 논리식의 모델 체킹에 필요한 변수만을 추출한 후. 모델의 상태 공간을 이들 변수들에 투영함으로서 추상화 모델 M'을 얻었다. M'은 M보다 크기가 작을 뿐만 아니라 더 적은 행위를 갖고 있기 때문에(M'$\leq$M), 추상화 모델 M'을 이용해서 수행한 도달성 분석 결과는 M 에서도 그대로 유효하다. 따라서 M을 모델 체킹할 때 상태 폭발이 발생하면, 축소된 모델 M'을 이용하여 모델 체킹할 수 있다. 제안된 추상화 기법을 푸쉬 푸쉬 게임 풀이에 적용했고, 모델 체커로는 Cadence SMV와 NuSMV를 사용하였다. 그 결과 상태 폭발 문제로 인해서 풀 수 없었던 게임을 추상화를 이용해서 해결하였다. 그리고 추상화를 적용하기 이전에 비해서 시간 절감 및 메모리 절감 효과가 있었다. Cadence SMV의 경우 평균 87%의 시간 절감 및 79%의 메모리 절감이 있었으며, NuSMV의 경우 83%의 시간 절감 및 56%의 메모리 절감이 있었다.

• 한국지반공학회논문집
• /
• 제23권11호
• /
• pp.67-76
• /
• 2007

낙석에 영향을 주는 요소로는 기울기, 높이, 표면 거칠기 등의 비탈면 형태, 식생, 퇴적물질 등의 사면 구성재료 및 낙석 형상, 무게 등이 있다. 이들 영향요소 중 낙석의 크기 즉, 무게는 낙석시뮬레이션 결과에 큰 영향을 미침에도 불구하고 낙석무게에 대한 연구는 많이 이루어지고 있지 않다. 또한, 낙석의 크기는 현장의 절리간격에 의해서 영향을 많이 받으며, 현장의 발생 가능한 낙석무게분포는 절리간격을 이용하여 산정할 수 있다. 따라서 본 연구에서는 절리간격을 이용하는 체적절리개수(volumetric Joint count, $J_{\nu}$) 및 $RQD-J_{\nu}$ 관계를 이용하여 낙석무게분포를 산정하였으며, 이는 연구부지에 대한 직접적인 현장낙석 조사결과 및 기존 문헌자료를 이용하여 비교 검증을 수행하였다. 낙석무게 추정결과 분석방법에 따라서 유사한 결과를 보이는 것으로 분석되었으며, 200kg 이하는 $75.3{\sim}76.7%,\;200{\sim}400kg$은 $15.0{\sim}16.6%$, 400kg 이상은 $6.7{\sim}9.7%$의 분포를 보이는 것으로 나타났다. 또한, 현장의 낙석무게분포와 비교한 결과 유사한 분포를 보이는 것으로 나타났다. 따라서 본 연구에서 제시한 방법으로 산정한 낙석무게분포는 낙석시뮬레이션의 입력 자료로 사용할 수 있을 것으로 판단되며, 그 추정 결과를 본 현장사면의 낙석 검토시 사용할 경우 경제적인 검토결과를 보이는 것으로 나타났다.

• 한국가스학회지
• /
• 제25권1호
• /
• pp.14-19
• /
• 2021

열교환기 관군에서 덕트 입구의 속도가 일정한 경우와 정현파로 변하는 경우에 대하여 시간에 따라 배관 주위에서 유동 특성과 열전달 특성 규명을 위해 와류 분포와 온도 분포 변화를 비교 분석하였다. 입구 속도가 정현파 변동이 있는 경우에 열교환기 관군에서 대표적인 원관에서 양력과 항력의 power spectral density를 도출하여 유동 변화에 따른 주파수 특성을 살펴보았다. 입구 유속이 일정한 경우는 열교환기 관군의 입구쪽 관군 부근에서 원관 주위 유동에서 관찰 할 수 있는 칼만 와류를 관찰할 수 있었다. 정현파 입구 속도 변동의 경우에서도 입구쪽 관군에서 칼만 와류가 형성되는 것을 관찰할 수 있었고 정현파 입구 속도 변동에 따른 유동 와류 변화를 관찰할 수 있었다. 온도 분포 변화는 일정한 입구 속도 변화의 경우와 정현파 입구 속도변화의 경우 모두 유동 와류 분포에서 관찰한 것과 유사하게 나타나는 것을 확인할 수 있었다. 유동 주파수는 일정한 입구 속도의 경우는 37.25 Hz이며 정현파 입구 속도의 경우는 정현파 주파수와 동일하게 18.63 Hz으로 나타났다. 열교환기 배관 전체의 평균 Nu수는 일정한 입구 속도의 경우에는 1051이며 정현파 입구 속도 변동의 경우는 1117로 나타나서 정현파로 입구 속도가 변하는 경우의 열전달이 6.3% 증가하는 것을 알 수 있었다.

• 한국수산과학회지
• /
• 제30권4호
• /
• pp.543-549
• /
• 1997

본 연구에서는 그물어구의 모형수칙에 관한 기존의 연구 결과들을 종합하고, 지금까지 가장 많이 이용되어 온 Tauti의 수칙을 중심으로 하여 이들 수칙이 지니는 간제점에 대해 주로 검토하였다 그 결과, 지금까지의 수칙들은 그물의 유수저항을 정확하게 해석하지 못하였고 그것의 수중 형상을 결정하는 중요 인자로써 그물감의 수중 무게를 택한 것에 문제가 있다는 것을 알 수 있었다. 따라서, 이러한 견해 대신에 그물을 그것의 영역권 내로 물을 유입한 후 영역권 밖으로 투과시키는 하나의 유공성 구조물로 간주하고, 그것에 대한 물의 유입${\cdot}$유출 특성을 이용하여 유수저항을 해석한 전보의 결과를 기초로 하여 실물과 모형과의 상사 관계를 새로히 구하였다. 즉, 그물의 각 변의 길이를 L, 그물실의 지름을 d, 그물코의 크기 및 전개각을 각각 2l 및 2$\varphi$, 뼈대줄의 지름과 길이 및 비중을 각각 $d_r,\;l_r$ 및 $\rho_r$, 뜸, 발돌 등의 부속구 하나의 수중 무게 및 갯수를 각각 $w_a$ 및 Na, 물의 비중을 $\rho_w$, 유속을 $\nu$, 그물의 유수저항을 R이라 할 때, 실물 (첨자 1)과 모형 (첨자 2)이 상사를 이루기 위해서는 $$\frac{d_2}{d_1}=\sqrt{\frac{l_2}{l_1}},\;\frac{N_2}{N_1}=(\frac{d_1}{d_2})^{1.5}\frac{L_2}{L_1},$$ $$\;\varphi_1=\varphi_2,\;\frac{d_{r2}}{d_{r1}}=\sqrt{\frac{L_2{(\rho_{r1}-\rho_{w1})}}{{L_1{(\rho_{r2}-\rho_{w2})}}$$ $$\frac{N_{a2}}{N_{a1}}=\frac{W_{a1}}{W_{a2}}(\frac{L_2}{L_1})^2$$, $$\nu_1=\nu_2$$ 및 $$\frac{R_2}{R_1}=(\frac{L_2}{L_1})^2$$ 을 만족해야 하고, 조작 유속이 매우 작은 값으로 한정되는 그물에 있어서 구성 재료의 변화에 따른 수중 형상의 변화를 조사할 때와 같이 그물감의 수중 무게의 영향 자체를 조사 대상으로 하는 경우에는 위의 조건들 외에 $$\frac{\rho_2-\rho_{w2}}{\rho_1-\rho_{w1}}=\frac{d_1}{d_2}$$를 추가로 만족해야 한다는 젓을 알 수 있었다.

• 에너지공학
• /
• 제23권2호
• /
• pp.13-20
• /
• 2014

헬리컬 코일이 덕트 내부에 있을 때, 기울기에 따른 자연대류 열전달을 실험적으로 측정하였다. 고부력 조건을 구현하기 위하여 유사성에 기초하여 열전달 실험을 대신하여 물질전달 실험을 수행하였다. RaD 수 $4.55{\times}10^6$에서, 턴(Turn) 수를 1~10, P/D를 1.3~5, 헬리컬 코일의 기울기를 $0^{\circ}{\sim}90^{\circ}$까지 변화시켰다. 헬리컬 코일의 턴 수가 1일 때, 측정된 $Nu_D$ 수는 McAdams의 수평관 자연대류 열전달 상관식과 거의 일치하였다. 기울어진 덕트 내 헬리컬 코일의 자연대류 열전달은 피치, 턴 수, 덕트 높이에 따라 복합적으로 변화하였고 이는 속도 효과, 굴뚝 효과, 예열 효과로 분석되었다. 본 연구의 결과는 Compact heat exchanger에서의 자연대류 열전달에 대한 현상학적 분석에 기여한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권2호
• /
• pp.108-118
• /
• 2005

원자력 발전소의 디지털 제어 시스템은 안전성이 중요시되는 safety-critical 소프트웨어로서 충분한 수준의 안전성을 보장하기 위해서 여러 기법들이 적용되고 있다. 특히, 정형명세 기법은 개발의 초기 단계에서 소프트웨어 요구 사항들을 명확하고 완전하게 명세하도록 유도함으로써 안전성을 크게 향상시킬 수 있는 기법으로 인정받고 있다. 본 논문에서는 정형명세 기법인 NuSCR을 이용해서 작성된 요구사항 명세로부터, 설계 단계의 내용으로 사용될 수 있는 PLC 기반의FBD 프로그램을 체계적으로 생성하는 기법을 제안하고 있다. 제안된 기법은 기존의 수동 명세 작업에서 발생할 수 있는 오류들을 크게 줄일 수 있으며, 소프트웨어의 개발 비용과 기간을 줄일 수 있다. 또한, 제안된 기법의 유용성을 증명하기 위해서, 현재 KNICS에서 개발 중인 DPPS RPS의 BP를 구성하는 트립 논리 중의 하나인 고정 설정치 상승 트립을 예제로 설명하고 있다.

• 태양에너지
• /
• 제14권2호
• /
• pp.75-90
• /
• 1994

본 연구에서는 한 단역벽에 한개의 등온사각빔이 부착된 2차원 수평과 수직단열채널에서의 열 에너지 이송에 대하여 수치해석적으로 연구하였다. 빔의 형상비는 H/B=$0.25{sim}4$, Reynolds수는 Re=$50{\sim}500$ 그리고 Grashof수는 Gr=$0{\sim}5{\times}10^4$범위에서 해를 구하였다. Re=100인 경우 수평과 수직채널에서 빔의 평균 Nusselt수는 Gr=0에서는 같은 값을 나타내며, Grashof수가 증가할수록 증가하였으며, 형상비가 증가할수록 감소하였다. Gr=$10^4$, Re=100인 경우 수평과 수직채널에서 빔의 평균 Nusselt수는 수직채널이 수평채널에 비하여 $0.25{\leq}H/B<1.1$에서는 높게, $1.1{\leq}H/B{\leq}4.0$에서는 낮게 나타났다. Re=100, $0<Gr{\leq}5{\times}10^4$인 경우 수평과 수직채널에서 빔의 평균 Nusselt수 분포는 수직채널이 수평채널에 비하여 H/B=0.25에서는 높고 H/B=4.0에서는 낮으며 H/B=1.0에서는 다소 높게 나타났다. 실험으로 얻은 간섭사진의 등온선과 수치계산으로 구한 등온선이 비교적 잘 일치하여 수치해석의 타당성을 입증하였다.

• 한국수산과학회지
• /
• 제12권1호
• /
• pp.1-6
• /
• 1979

본연구에서는 그물어구의 상사를 지배하는 무차원수 K를 $$K=\frac{{\nu}^n\rho_wv^{2-n}}{{d^{1+n}(\rho-\rho_w)}$$ d, p: 재료의 직경 및 밀도 $\nu,\rho_w,v$: 물의 동점성계수, 밀도 및 속도으로 정하고, 여기에서의 직경의 비를 결정하는 방법에 따라 실물과 모형과의 상사를 완전하게 그리고 근사적으로 만족시키는 조건들을 구하였다. 즉, 원전한 상사한 경우는 직경의 비를 축척비와 같게 하고, 나아가서 다른 모든 치수의 비도 축척비와 같게 함으로써 만족된다고 하였으며, 측사적 상사의 경우느 직경의 비가 축척비 $(\frac{\lambda_2}{\lambda_1})$와 같지 않아도 된다고 하여, 그물실의 직경 d, 코의 크기 $\iota$ 및 콧수 N의 비를 $$\frac{d_2}{d_1}=\frac{\iota_2}{\iota_1}=\frac{\lambda_2}{\lambda_1}{\cdot}\frac{N_1}{N_2}$$ 으로, 줄의 직경 d', 길이 $\iota'$ 및 밀도 $\rho'$의 비를 $$\frac{d_2'}{d_1'}=\sqrt{{\frac{\lambda_2}{\lambda_1}}\cdot{\frac{d_2}{d_1}}\cdot{\frac{\rho_2-\rho_{w2}}{\rho_1-\rho_{w1}}\cdot{\frac{\rho_1'-\rho_{w1}}{\rho_2'-\rho_{w2}}}}$$, $\frac{\iota_2'}{\iota_1'}=\frac{\lambda_2}{\lambda_1}$로, 부속구의 치경 $d'$, 밀도 $\rho'$ 및 수 $N'$의 비를 $$\frac{N_2'}{N_1'}=(\frac{\lambda_2}{\lambda_1})^2(\frac{d_2}{d_1})(\frac{d_1'}{d_2'})\frac{(\rho_2-\rho_{w2})}{(\rho_1-\rho_{w1})}\frac{(\rho_1'-\rho_{w1})}{(\rho_2'-\rho_{w2})}$$으로 정하였다. 이렇게 정해진 모형어구에 대해 유속 v의 비느 $K_1=K_2$로부터 $$(\frac{u_2}{u_1})^{2-n}=(\frac{\nu_2}{\nu_1})^{-n}\;(\frac{\rho_{w1}}{\rho_{w2}})\;(\frac{\rho_2-\rho_{w2}}{\rho_1-\rho_{w1}})\;(\frac{d_2}{d_1})^{1+n}$$으로 주어지므로, 이를 이용하여 어구저항 D 및 그물감의 다리에서의 장력 $\tau$의 비를 $$\frac{D_2}{D_1}=\frac{d_2(\rho_2-\rho_{w2})}{d_1(\rho_1-\rho_{w1})}(\frac{\lambda_2}{\lambda_1})^2$$ $${\frac{\tau_2}{\tau_1}=\frac{d_2\iota_2(\rho_2-\rho_{w2})}{d_1\iota_1(\rho_1-\rho_{w1})}\;{\cdot}\frac{\lambda_2}{\lambda_1}$$로 정하였다.

• 대한핵의학회지
• /
• 제32권1호
• /
• pp.89-98
• /
• 1998

종양영상과 치료에 이용할 수 있는 새로운 종양 친화성 물질을 발견하는 것은 핵의학 분야에서 중요하다. Vitamin $B_{12}$는 thymidylate 생합성과정에서 DNA 합성에 필수적인 조효소로서 분열속도가 빠른 세포와 조직 즉 태생기 세포와 일부 종양에 많은 양이 축적된다. 본 연구의 목적은 마우스에서 다양한 조직학적 형태의 종양에 의한 방사표지 vitamine $B_{12}$의 종양 친화성을 결정하여 $^{57}Co$-vitamine $B_{12}$가 종양영상 물질로서 가능한지를 규명하려고 하였다. 17 종류의 종양을 Balb/C와 Balb nu/nu 누드마우스에 피하주사하였다. 종양이 직경 약 $1.0cm^3$ 되었을 때 $^{57}Co$-methylcobalamin을 복강 내로 주사하였다. 24시간 후에 마우스를 희생하여 신장, 간, 종양, 비장, 뼈(우측 대퇴골), 장, 지방조직(복강내), 근육, 혈액(100 ul), 췌장을 제거하여 무게를 챈 후 gamma countcr로 방사능을 측정하였고 cpm/mg tissue로 표시하였다. 이때 마우스 문제에 따른 차이를 없게하기 위해 20g 몸무게로 표준화 하였다. 다양한 종류의 종양에서 $^{57}Co$-vitamine $B_{12}$가 의의 있게 축적되었고 종양대 정상조직의 섭취비도 대부분의 조직에서 높았으며 특히 배후 방사능에 중요한 영향을 미치는 뼈, 근육, 혈액에서 뚜렷하게 높았다. 본 연구의 결과 vitamin $B_{12}$는 종양친화성 물질로서 종양영상에 사용이 가능한 물질로 생각되며 앞으로 종양영상면에서 임상적 이용에 대한 더 많은 연구가 이루어져야겠다.

• 대한소아치과학회지
• /
• 제45권1호
• /
• pp.41-56
• /
• 2018

본 연구의 목적은 한국인의 상악 유중절치와 유측절치와 기성 지르코니아 크라운의 형태 및 크기를 3차원적으로 분석함으로써 가장 유사한 지르코니아 크라운을 선별하고 수복시 임상적 지침을 제시하는 것이다. 이를 위해 300명의 어린이의 건전한 상태의 상악 유중절치, 유측절치를 3차원 스캔하여 평균 형태를 재현하였고, 4개의 제조사(NuSmile $ZR^{(R)}$ Crown, Cheng $Crowns^{(R)}$, Kinder $Krowns^{(R)}$, EZ $Pedo^{(R)}$ Crown)의 지르코니아 크라운을 3차원 스캔하여 형태 및 크기 비교를 위한 좌표점을 측정하여 치아와 크라운 형태의 유사성을 평가하였다. 근원심 길이, 절단연에서 치경부까지의 길이, 치관 형태 비율, 같은 좌표에서 치아와 크라운의 거리, 순면의 곡률반경, 그리고 체적을 비교하여 최종적으로 가장 유사한 지르코니아 크라운을 선별하였다. 분석 결과, 상악 유중절치는 Cheng $Crowns^{(R)}$ 3번, 유측절치는 NuSmile $ZR^{(R)}$ Crown 2번이 가장 유사한 형태를 가졌으며, 이 크라운의 내면을 스캔하여 크라운 수복시 필요한 치아 삭제량을 평가한 결과, 기존의 제조사의 가이드라인으로 제시되어 있는 양보다 전반적으로 더 적은 치아 삭제를 시행하는 것을 제안할 수 있다.