• 대한수학회지
• /
• 제43권4호
• /
• pp.691-701
• /
• 2006

In this paper, we construct a new exotic smooth 4-manifold X which is homeomorphic, but not diffeomorphic, to ${\mathbb{C}}\mathbb{P}^2{\sharp}13\overline{\mathbb{C}\mathbb{P}}^2$. Moreover the manifold X has vanishing Seiberg-Witten invariants for all $Spin^c$-structures of X and has no symplectic structure.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2004년도 춘계 학술발표회 제16권1호
• /
• pp.514-519
• /
• 2004

The paper discusses the general behavior of fire-damaged slender reinforced concrete columns on the basis of results obtained from parametric studies. Effects of slenderness ratio, concrete strength, cover thickness, reinforcement ratios, exposed time to fire, and eccentricity on the ultimate capacity of fire-damaged column are theoretically observed. With the increase of slenderness ratio, similar tendency of relative strength reduction was observed between fire-damaged columns and columns at room temperature.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.476-481
• /
• 1991

This paper investigates the relationship between the two problems, supervisor reduction and observation function (projection) design, which arise in supervisory control of DEDS. It is shown through an example that a reduced supervisor of minimal size does not necessarily result in a maximal projection when a projection design method which uses the transition structure of a supervisor is applied. Also, if an L-realizable projection P is available and if a supervisor has a special structural feature, a cover C for supervisor reduction can be easily obtained. By investigating the control-compatibility of states of the reduced supervisor based on C, we can also check maximality of P in a simple manner.

• 디지털콘텐츠학회 논문지
• /
• 제8권3호
• /
• pp.393-401
• /
• 2007

P2P systems have gained a lot of research interests and popularity over the years and have the capability to unleash and distribute awesome amounts of computing power, storage and bandwidths currently languishing - often underutilized - within corporate enterprises and every Internet connected home in the world. Since there is no central control over resources or devices and no before hand information about the resources or devices, device discovery remains a substantial problem in P2P environment. In this paper, we cover some of the current solutions to this problem and then propose our feed forward neural network (FFNN) based solution for device discovery in mobile P2P environment. We implements feed forward neural network (FFNN) trained with back propagation (BP) algorithm for device discovery and show, how large computation task can be distributed among such devices using agent technology. It also shows the possibility to use our architecture in home networking where devices have less storage capacity.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2009년도 춘계 학술발표회
• /
• pp.819-835
• /
• 2009

In order to investigate the field application of selected stabilization methods(cover soil method, surface and total interval treatment of embankment method) on rice paddies contaminated by heavy metals, column test was carried out with heavy metal-contaminated soils collected from rice paddies around abandoned mine site. Columns were made by acrylic and filled with untreated soil, treated soil mixed with amendments(lime stone and steel refining slag) and uncontaminated cover soil according to the design report. Distilled water was discharged into the columns with the velocity of 1 pore volume/day. During test, pH, EC, and heavy metal concentration were measured in the regular term. The column test result showed that the selected stabilization methods were effective remediation method to stabilize heavy metals in paddy soils, but it was also expected that application of surface treatment methods was required the careful observation on pH variation due to the lowest increment.

• 대한환경공학회지
• /
• 제36권3호
• /
• pp.162-171
• /
• 2014

본 연구에서는 수질오염총량제의 토지계 발생부하량 산정 방식에서의 지목 단순화로 인한 불확실성을 분석하고, 23 개 중분류 토지피복도를 기존 산정방식에 적용하여 지목 확장을 할 수 있도록 개선하였으며 이를 L-THIA 모형을 이용하여 검증하였다. 진위천 유역에 대하여 지목이 단순화된 기존 방식(시나리오 1)과 23개 중분류 토지피복도를 이용한 방식(시나리 오 2)으로 산정된 TP 부하량을 비교한 결과 기존 방식의 불확실성이 높다는 것이 나타났으며, 시나리오 2에 의한 분석 결과 같은 대지 분류에 속하는 토지피복들에서 T-P 발생부하량의 편차가 3.45 kg/day~56.69 kg/day로 약 16배의 차이를 보였다. 시 나리오 2를 수질오염총량제에 적용할 수 있도록 23개 중분류 토지피복을 지적도 기반 지목으로 매칭하여 TP 발생부하량을 산정하였다(시나리오 3). 개선된 방식(시나리오 3)의 토지계 T-P 발생부하량 산정의 정확도를 검증하기 위해 L-THIA 모형의 결과와 비교하였으며 모형 예측 대비 약 10% 정도로 차이가 매우 적게 나타났다. 본 연구결과는 향후 수질오염총량제의 토 지계 발생부하량 산정의 정확도를 높이는데 있어 기초자료로 사용될 수 있을 것이라 기대된다.

• 대한관절경학회지
• /
• 제15권2호
• /
• pp.83-91
• /
• 2011

목적: 슬관절의 연골 결손에 대한 미세골절술 후 병변을 덮는 생체막을 이용한 환자들의 치료 결과를 비교, 분석하고자 한다. 대상 및 방법: 2008년 1월부터 2010년 1월까지 관절경 검사로 확인된 슬관절 연골의 국소적 전층 결손이 있으며, 골관절염을 보이지 않는 53명(총 59례)의 환자를 대상으로 하였다. 무작위로 선정된 36명(42례)은 미세골절술 후 생체막으로 병변을 덮어주었고(실험군), 나머지 17명(17례)은 고식적인 미세골절술만을 시행받았다(대조군). 모든 환자는 수술 후 6개월째에 임상적 결과를 IKDC 설문지와 통증, 만족도에 대한 VAS 점수를 이용하여 비교하였고, 자기공명영상 촬영을 통해 골연골 병변의 회복 상태를 비교하였다. 결과: 임상 결과(IKDC, 통증 VAS, 만족도 VAS)에서 실험군이 대체로 더 우수하였으며 IKDC에서는 두 군 간의 통계적으로 유의한 차이를 보였다. (IKDC, p=0.047, 통증 VAS, p=0.074; 만족도 VAS, p=0.001). MRI 추시결과에서 실험군의 33명(78.6%)에서 우수한 결손 치유(67~100%)를 보이고, 5명(11.9%)만이 불량한 치유 소견을 보인 반면, 대조군에서는 4명(23.5%)의 환자에서 양호한 결손 치유가 관찰되고 9명(52.9%)의 환자들에서 결손 치유가 불량하였다(p=0.001). 실험군에서 35명(83.3%), 대조군 중 6명(35.3%)에서 변연부 결합부에서 간격이 관찰되지 않았다(p=0.001). 생체막 사용과 관련하여 심각한 부작용은 발견되지 않았다. 결론: 슬관절의 연골 결손 병변에 대해 미세골절술 후 생체막으로 도포한 군에서 단기 추시 임상적 결과 및 MRI를 이용한 영상학적 결과에서 결손부의 연골재생이 잘 된 것을 확인하였고, 미세골절술 후 ArtiFilm$^{TM}$을 함께 사용했던 군에서 연골 치유가 더 잘되는 경향이 있음을 시사한다.

• Korean Journal of Mathematics
• /
• 제26권1호
• /
• pp.103-127
• /
• 2018

This paper is dedicated to studying some Hausdorff operators on the Heisenberg group ${\mathbb{H}}^n$. The sharp bounds on the strong-type weighted Lorentz spaces ${\Lambda}^p_u(w)$ and the weak-type weighted Lorentz spaces ${\Lambda}^{p,{\infty}}_u(w)$ are investigated. Especially, the results cover the classical power weighted space $L^{p,q}_{\alpha}$. The results are also extended to the product spaces ${\Lambda}^{p_1}_{u_1}(w_1){\times}{\Lambda}^{p_2}_{u_2}(w_2)$, especially for $L^{p_1,q_1}_{{\alpha}_1}{\times}L^{p_2,q_2}_{{\alpha}_2}$. Our proofs are quite different from those in previous documents since the duality principle, and some well-known inequalities concerning the weights are adopted. The results recover the existing results as well as we obtain new results in the new and old settings.

• International Journal of Concrete Structures and Materials
• /
• 제18권1E호
• /
• pp.17-22
• /
• 2006

Artificial cracks were made in the cover concrete of specimens embedding ten types of steel rebars of different Cr contents. The research aims for developing Cr-bearing steel rebars resistant to macrocell corrosion environments induced by cracking in cover concrete. The cracks were subjected to intensive penetration of carbon dioxide (carbonation specimens) to form macrocells. The carbonation specimens were then treated with accelerated corrosion curing, during which current macrocell corrosion density was measured. The corrosion area and loss from corrosion were also measured at the end of 105 cycles of this accelerated curing. The results of the study showed that Cr-bearing steel with Cr content of 5% or more suppressed corrosion in a macrocell corrosion environment induced by the differences in the pH values due to carbonation of cracked parts. Cr-bearing steels with Cr content of 7% or more are proven to possess excellent corrosion resistance.

• Structural Engineering and Mechanics
• /
• 제22권3호
• /
• pp.311-330
• /
• 2006

Standard compression tests of steel fiber reinforced concrete (SFRC) cylinders are conducted to formulate compressive stress versus compressive strain relationship of SFRC. Axial pullout tests of SFRC specimens are also conducted to explore its tensile stress strain relationship. Cover concrete spalling and reinforcement buckling models developed originally for normal reinforced concrete are modified to extend their application to SFRC. Thus obtained monotonic material models of concrete and reinforcing bars in SFRC members are combined with unloading/reloading loops used in the cyclic models of concrete and reinforcing bars in normal reinforced concrete. The resulting path-dependent cyclic material models are then incorporated in a finite-element based fiber analysis program. The applicability of these models at member level is verified by simulating cyclic lateral loading tests of SFRC columns under constant axial compression. The analysis using the proposed SFRC models yield results that are much closer to the experimental results than the analytical results obtained using the normal reinforced concrete models are.