• 대한토목학회논문집
• /
• 제30권4A호
• /
• pp.343-352
• /
• 2010

최근에 탄산화 콘크리트 구조물의 정량적인 사용수명과 장기적인 성능을 확보하고 예측하기 위해서 확률론적인 내구성 해석 및 설계를 수행하는 연구가 많이 진행되고 있다. 이와 관련하여 콘크리트 구조물에 확률론적 내구성 설계 개념을 도입되고 있다. 본 논문에서는 탄산화 콘크리트 구조물의 통계적인 자료를 이용하여 Fick의 첫 번째 법칙에 근거한 탄산화 예측 모델에 적용하였으며, 이를 이용하여 확률론적 내구성 해석을 수행하였다. 이 예측모델에 관련된 설계변수인 $CO_2$ 확산계수, 대기중의 $CO_2$ 농도, $CO_2$ 흡착량, 시멘트 수화도 등의 영향을 검토하였다. 확률론에 기초한 탄산화 예측모델은 여러 환경에 위치한 콘크리트 구조물에 모니터링 자료를 이용하여 탄산화 깊이와 잔존수명을 예측하였다. 그 결과로 본 연구에서 합리적인 탄산화 예측모델을 이용한 적용 방법은 탄산화 콘크리트 구조물의 내구성 확보 및 구조물의 손상 개시시기를 예측하고 구조물을 유지 관리하기 위한 유연한 의사결정을 할 수 있을 것으로 판단된다.

• Earthquakes and Structures
• /
• 제26권1호
• /
• pp.31-48
• /
• 2024

In order to get a better understanding of seismic performance of exterior beam-column joint, reciprocating loading tests with variable loading speeds or axial forces were carried out. The main findings indicate that only few cracks exist on the surface of the joint core area, while the plastic hinge region at the beam end is seriously damaged. The damage of the specimen is more serious with the increase of the upper limit of variable axial force. The deflection ductility coefficient of specimen decreases to various degrees after the upper limit of variable axial force increases. In addition, the higher the loading speed is, the lower the deflection ductility coefficient of the specimen is. The stiffness of the specimen decreases as the upper limit of variable axial force or the loading speed increase. Compared to the influence of variable axial force, the influence of the loading speed on the stiffness degradation of the specimen is more obvious. The cumulative energy dissipation and the equivalent viscous damping coefficient of specimen decrease with the increase of loading speed. The influence of variable axial force on the energy dissipation of specimen varies under different loading speeds. Based on the truss model, the biaxial stress criterion, the Rankine criterion, the Kent-Scott-Park model, the equivalent theorem of shearing stress, the softened strut-and-tie model, the controlled slip theory and the proposed equations, a calculation method for the shear capacity is proposed with satisfactory prediction results.

• Korean Journal of Mathematics
• /
• 제32권1호
• /
• pp.43-57
• /
• 2024

Given a domain X and a collection H of functions h : X → {0, 1}, the Vapnik-Chervonenkis (VC) dimension of H measures its complexity in an appropriate sense. In particular, the fundamental theorem of statistical learning says that a hypothesis class with finite VC-dimension is PAC learnable. Recent work by Fitzpatrick, Wyman, the fourth and seventh named authors studied the VC-dimension of a natural family of functions ℋ'²_t(E) : 𝔽²_q → {0, 1}, corresponding to indicator functions of circles centered at points in a subset E ⊆ 𝔽²_q. They showed that when |E| is large enough, the VC-dimension of ℋ'²_t(E) is the same as in the case that E = 𝔽²_q. We study a related hypothesis class, ℋ^d_t(E), corresponding to intersections of spheres in 𝔽^d_q, and ask how large E ⊆ 𝔽^d_q needs to be to ensure the maximum possible VC-dimension. We resolve this problem in all dimensions, proving that whenever |E| ≥ C_dq^d-1/(d-1) for d ≥ 3, the VC-dimension of ℋ^d_t(E) is as large as possible. We get a slightly stronger result if d = 3: this result holds as long as |E| ≥ C_3q^7/3. Furthermore, when d = 2 the result holds when |E| ≥ C_2q^7/4.

• Geomechanics and Engineering
• /
• 제36권5호
• /
• pp.417-426
• /
• 2024

Shield tunneling method is widely used to build tunnels in complex geological environment. Stability control of tunnel face is the key to the safety of projects. To improve the excavation efficiency or perform equipment maintenance, the excavation chamber sometimes is not fully filled with support medium, which can reduce the load and increase tunneling speed while easily lead to ground collapse. Due to the high risk of the face failure under non-fully support mode, the tunnel face stability should be carefully evaluated. Whether compressive air is required for compensation and how much air pressure should be provided need to be determined accurately. Based on the upper bound theorem of limit analysis, a non-fully support rotational failure model is developed in this study. The failure mechanism of the model is verified by numerical simulation. It shows that increasing the density of supporting medium could significantly improve the stability of tunnel face while the increase of tunnel diameter would be unfavorable for the face stability. The critical support ratio is used to evaluate the face failure under the nonfully support mode, which could be an important index to determine whether the specific unsupported height could be allowed during shield tunneling. To avoid of face failure under the non-fully support mode, several charts are provided for the assessment of compressed air pressure, which could help engineers to determine the required air pressure for face stability.

• 한국컴퓨터정보학회논문지
• /
• 제16권10호
• /
• pp.101-109
• /
• 2011

리만의 제타함수 $\zeta(s)$는 주어진 수 x보다 작은 소수의 개수 $\pi$(x)를 구하는 해답으로 알려져 있으며, 소수정리에서 지금까지 리만의 제타 함수 이외에 $\frac{x}{lnx}$,Li(x)와 R(x)의 근사치 함수가 제안되었다. 여기서 $\pi$(x)와의 오차는 R(x) < Li(x) < $\frac{x}{lnx}$이다. 로그적분함수 Li(x) = $\int_{2}^{x}\frac{1}{lnt}dt$, ~ $\frac{x}{lnx}\sum\limits_{k=0}^{\infty}\frac{k!}{(lnx)^k}=\frac{x}{lnx}(1+\frac{1!}{(lnx)^1}+\frac{2!}{(lnx)^2}+\cdots)$ 이다. 본 논문은 $\pi$(x)는 유한급수��Li(x)로 표현됨을 보이며, 일반화된 $\sqrt{ax}{\pm}{\beta}$의 소수계량함수를 제안한다. 첫 번째로, $\pi$(x)는 $0{\leq}t{\leq}2k$의 유한급수인 $Li_3(x)=\frac{x}{lnx}(\sum\limits_{t=0}^{{\alpha}}\frac{k!}{(lnx)^k}{\pm}{\beta})$와 $Li_4(x)=\lfloor\frac{x}{lnx}(1+{\alpha}\frac{k!}{(lnx)^k}{\pm}{\beta})\rfloor$, $k\geq2$ 함수로 표현됨을 보였다. $Li_3$(x)는 $\pi(x){\simeq}Li_3(x)$가 되도록 ${\alpha}$ 값을 구하고 오차를 보정하는 ${\beta}$ 값을 갖도록 조정하였다. 이 결과 $x=10^k$에 대해 $Li_3(x)=Li_4(x)=\pi(x)$를 얻었다. 일반화된 함수로 $\pi(x)=\sqrt{{\alpha}x}{\pm}{\beta}$를 제안하였다. 제안된 $\pi(x)=\sqrt{{\alpha}x}{\pm}{\beta}$ 함수는 리만의 제타함수에 비해 소수를 월등히 계량할 수 있었다.

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

최근에 센서 및 모바일 장비들의 발전으로 인하여 이러한 장비들로부터 생성된 대량의 데이터 스트림(data stream)의 처리가 중요한 연구 과제가 되고 있다. 데이타 스트림 중에서 연속되는 시점에 얻어진 실수 값들의 스트림을 스트리밍 시계열(streaming time-series)이라 한다. 스트리밍 시계열에 대한 유사성 매칭은 여러 가지 고유 특성에 의하여 기존의 시계열 데이타와는 다르게 처리되어야 한다. 본 논문에서는 정규화 변환(normalization transform)을 지원하는 스트리밍 시계열 매칭 문제를 해결하기 위한 효율적인 알고리즘을 제안한다. 기존에는 스트리밍 시계열을 아무런 변환 없이 비교하였으나, 본 논문에서는 정규화 변환된 스트리밍 시계열을 비교한다. 정규화 변환은 절대적인 값은 달라도 유사한 변동 경향을 가지는 시계열 데이타를 찾기 위하여 유용하다. 본 논문의 공헌은 다음과 같다. (1) 기존의 정규화 변환을 지원하는 서브시퀀스 매칭 알고리즘[4]에서 제시된 정리(theorem)를 이용하여 정규화 변환을 지원하는 스트리밍 시계열 매칭 문제를 풀기 위한 간단한 알고리즘을 제안한다. (2) 검색 성능을 향상시키기 위하여 간단한 알고리즘을 $k\;({\geq}\;1)$ 개의 인덱스를 이용하는 알고리즘으로 확장한다. (3) 주어진 k에 대하여, 확장된 알고리즘의 검색 성능을 최대화하기 위해 k 개의 인덱스를 생성할 최적의 윈도우 길이를 선택하기 위한 근사 방법(approximation)을 제시한다. (4) 스트리밍 시계열의 연속성(continuity) 개념[8]에 기반하여, 현재 시점 $t_0$에서의 스트리밍 서브시퀀스에 대한 검색과 동시에 미래 시점 $(t_0+m-1)\;(m\geq1)$까지의 검색 결과를 한번의 인덱스 검색으로 구할 수 있도록 재차 확장한 알고리즘을 제안한다. (5) 일련의 실험을 통하여 본 논문에서 제안된 알고리즘들 간의 성능을 비교하고, k 및 m 값의 변화에 따라 제안된 알고리즘들의 검색 성능 변화를 보인다. 본 논문에서 제시한 정규화 변환 스트리밍 시계열 매칭 문제에 대한 연구는 이전에 수행된 적이 없으므로 순차 검색(sequential scan) 알고리즘과 성능을 비교한다. 실험결과, 제안된 알고리즘은 순차 검색에 비하여 최대 13.2배까지 성능이 향상되었으며, 인덱스의 개수 k가 증가함에 따라 검색 성능도 함께 증가하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제30권5_6호
• /
• pp.324-329
• /
• 2003

Diffie-Hellman 키분배 시스템과 타원곡선 암호시스템과 같은 공개키 기반 암호시스템은 GF(2$^{m}$ ) 상에서 정의된 연산, 즉 덧셈, 뺄셈, 곱셈 및 곱셈 역원 연산을 기반으로 구축되며, 이들 암호시스템을 효율적으로 구현하기 위해서는 위 연산들을 고속으로 계산하는 것이 중요하다. 그 중에서 곱셈 역원이 가장 time-consuming하여 많은 연구 대상이 되고 있다. Format 정리에 의해$\beta$$\in$GF(2$^{m}$ )의 곱셈 역원 $\beta$$^{-1}$은 $\beta$$^{-1}$=$\beta$$^{2}$sup m/-2/이므로 GF(2$^{m}$ )의 임의의 원소에 대해 곱셈 역원을 고속으로 계산하기 위해서는, 2$^{m}$ -2을 효율적으로 분해하여 곱셈 횟수를 감소시키는 것이 가장 중요하며, 이와 관련된 알고리즘들이 많이 제안되어 왔다 이 중 Itoh와 Tsujii가 제안한 알고리즘[2]은 정규기저를 사용해서 필요한 곱셈 횟수를 O(log m)까지 감소시켰으며, 또한 이 알고리즘을 향상시킨 몇몇 알고리즘들이 제안되었지만, 분해과정이 복잡하다는 등의 단점이 있다[3,5]. 본 논문에서는 실제 어플리케이션에서 주로 많이 사용되는 m=2$^{n}$ 인 경우에, 인수분해 공식 x$^3$-y$^3$=(x-y)(x$^2$＋xy＋y$^2$)와 정규기저론 이용해서 곱셈 역원을 고속으로 계산하는 알고리즘을 제안한다. 본 논문의 알고리즘은 곱셈 횟수가 Itoh와 Tsujii가 제안한 알고리즘 보다 적으며, 2$^{m}$ -2의 분해가 기존의 알고리즘 보다 간단하다.

• Nuclear Medicine and Molecular Imaging
• /
• 제42권1호
• /
• pp.52-60
• /
• 2008

목적: 다중섬광결정 PET으로 얻은 데이터에 대한 여과후역투사 영상재구성 적용을 위한 사이노그램 저장과 보정 방법을 확립하고자 한다. 대상 및 방법: 검출된 PET 데이터에 대한 저장기법에 대한 연구를 수행하여 효율적 영상재구성을 위한 사이노그램 방식을 확립하였다. 히스토그램에서 사이노그램으로 데이터를 변환할 때 생기는 제반 문제들을 해결하기 위하여 데이터 표본의 최적화와 표본 불균일성 보정기법에 관한 연구를 수행하였으며, PMT간 틈새 보정을 위 한 연구를 수행하였다. 모든 데이터는 2차원 여과후역투사 알고리즘을 이용하여 재구성하였으며 보정에 따른 영상질의 향상을 평가하였다. 결과: 표본이론에 의해서 추정된 최소 표본수와 표본 불균일성 보정기법의 적용을 위한 수월성 등을 고려할 때 방사방향 표본간격이 pitch/2, 각 표본수가 120개 정도가 적절하였으며, 불균일성 보정과 틈새보정을 적용함으로서 영상왜곡과 배경잡음을 줄일 수 있었다. 결론: 다층섬광결정 PET의 FBP 영상재구성을 위하여 히스토그램 데이터를 사이노그램으로 변환하는 기법에 대한 연구가 이루어졌으며 이를 통한 고속의 2D 영상재구성이 가능할 것으로 보인다.

• 한국수자원학회논문집
• /
• 제42권12호
• /
• pp.1079-1089
• /
• 2009

본 연구에서는 마른하도 및 복잡한 지형에서의 파의 전파와 같은 수공학 분야에서 해결하기 어려운 문제를 해석하기 위한 고정확도 2차원 수치모형을 개발하기 위해, unsplit 유한체적기법과 HLLC Riemann 해법을 이용한 흐름율 계산으로 쌍곡선형 적분 보존형의 2차원 천수방정식을 해석하였다. Unsplit 기법의 적용을 위해 하상경사항은 발산정리를 이용하여 이산화한 형태를 적용하였으며, 흐름율과 생성항의 균형을 이루기 위해 수면경사법을 시간과 공간에 대해 2차정확도를 가지는 MUSCL 기법과 연계하였다. 그리고 적용한 생성항 처리기법과 흐름율과의 보존특성이 만족함을 보였다. 2차정확도의 사용으로 불연속 지점에서 발생할 수 있는 수치진동을 제거하기 위해서 경사제한자를 사용한 TVD 기법을 적용하였다. 개발모형을 정확해가 존재하는 생성항이 없는 1차원 댐 붕괴 흐름에 적용하여 흐름율 계산의 정확성을 검증하였고, 하상융기를 가진 하도의 정상류 및 천이류 모의를 통해 개발모형의 보존특성을 검증하였으며, 하상경사 및 단면의 확대/축소구간이 존재하는 2차원 댐 붕괴 흐름에 적용하여 개발모형의 적용성을 검증하였다.

• 한국어병학회지
• /
• 제26권2호
• /
• pp.65-75
• /
• 2013

실험실에서 온도 별로 스쿠티카충을 배양한 데이터(Table 1)를 사용 스쿠티카충 개체군의 변화율(1.2)과 성장 방정식(1.3)을 in vitro 조건에서 구했다. 이 모델에서는 스쿠티카충의 증가모델 식은 로지스틱 증가함수로 두 가지 온도에서의 스쿠티카충의 증가율 매개변수를 구하였고, 기생충으로 인한 숙주인 넙치에 치명적일 수 있는 기생충의 임계밀도를 구하였다. 또 다른 데이터는 같은 온도에서 스쿠티카충 수를 다양하게 넙치의 복강에 주사하는 그룹과 동일한 스쿠티카충 수를 복강에 주사한 후 온도를 다르게 한 두 그룹의 스쿠티카충의 감염으로 폐사한 실험데이터(Table 2)에 근거하여 넙치의 감염에서 폐사가 되는 시스템 식(1.5)을 세웠다. 정리에서는 감염된 넙치와 폐사된 넙치의 미분방정식계는 감염넙치와 폐사 넙치와의 평형점을 찾고 그 평형점에 대한 안정성과 불안정성을 설명하였다. 각 온도에서의 매개변수를 사용하면 방정식 (1.6)은 시간에 대해 넙치의 누적 폐사량을 알 수 있는 방정식이다. 이 논문에서는 다양한 초기값 $P_0$값에 따른 넙치의 폐사를 중심으로 보았으므로 온도와 $P_0$가 동시에 넙치폐사에 어떠한 관계를 갖는 연구를 하기에는 제약을 갖고 있다. 이 연구의 제한점에서 언급했듯 실험을 여러 번 시행한 것이 아니기 때문에 단지 근사적인 값으로 이해를 해야 한다. 또한 넙치의 면역력을 알 수 있다면 기생충으로부터 저항력을 연구하는데 오차를 좀 더 줄인 근사치를 구할 수 있을 것을 기대할 수 있을 것이다.