• Proceedings of the Materials Research Society of Korea Conference
• /
• 2010.05a
• /
• pp.47.1-47.1
• /
• 2010

Mg합금은 모든 구조용 재료 중에서 비강도가 크며 가공성이 가장 우수하여 재료의 실제 적용시에 2차 가공비 측면에서 다른 경량재료에 비해 유리하다. 그래서 경량화를 필요로 하는 최근 산업체의 요구를 충족시킬 수 있는 재료이다. 그러나 마그네슘 합금의 적용이 매우 제한되는 이유는 결정구조가 hcp로서 냉간가공이 어렵고, 강화기구가 석출경화 및 고용강화로 제한되기 때문에 기계적 성질, 즉 강도와 연성이 모두 낮다. 특히 고온에서 기계적 성질이 급격히 저하되기 때문에 구조용 재료로써는 사용이 어렵다. 따라서, 본 연구에서는 고온에서 안정한 MgZn상과 항복강도를 향상시키는 Mg4Ag상의 석출을 보이는 Mg-Zn-Mn-Ag합금의 시효거동 및 미세조직 변화에 대해 검토하고자 하였다. 본 합금의 석출거동, 미세조직 및 경도 변화에 미치는 시효처리의 영향에 관한 연구를 수행하기 위해 Pandat Program을 이용해 열역학적 계산을 통한 상태도 해석 및 석출상을 예측 하였다. 계산된 결과는 DSC실험을 통해 비교 분석함으로써 신뢰성을 확보하였고 미세조직 및 석출상 분석을 위해 OM, SEM 그리고 XRD로 관찰하였다. 또한, 시효처리에 따른 기계적 특성을 분석하기 위해 상온 및 고온 인장시험을 하였고, 인장시험 후 파단면 분석을 통하여 재료의 파괴거동을 분석하였다.

• The KIPS Transactions:PartD
• /
• v.12D no.7 s.103
• /
• pp.931-936
• /
• 2005

There may be subtle errors in embedded software since its functionality is very complex. Thus formal verification for detecting them is very needed. Model checking is one of formal verification techniques, and SLAM is a well-known software model checking tool for verifying safety properties of embedded C program. In this paper, we develop a software model checker like SLAM for verifying embedded Java program Compared to SLAM, our tool allows to verify liveness properties as well as safety ones. As a result, we verify some desired properties in embedded Java program for controlling REGO robot.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.6 no.2
• /
• pp.116-121
• /
• 2005

Immobilization technique by PVA encapsulation is an effective alternative for wastewater treatment. However little information is available about the effect of PVA characteristics on physical properties as an encapsulation media. This study aims at investigating the effect of the preparation methods of PVA and filler addition to media on the solubility of PVA. The solubility decreased as the freezing temperature decreased and the vacuum-drying was applied. Addition of the PAC (Powered Activated Carbon) and organoclay decreased the solubility of the PVA gels. Organoclay was more effective for lowering the solubility about 25% than the PAC. Nitrification with the PVA-coating media was less sufficient than with the polyurethane media due to the mass transfer restriction for oxygen and nutrients.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.3
• /
• pp.144-154
• /
• 2001

다중 결합 질의에 포함된 다수의 결합 연산지를 효율적으로 처리하기 위해 서는 효율적인 병렬 알고리즘이 필요하다. 최근 다중 해쉬 결합 질의의 처리를 위해 할당 트리를 이용한 방법이 가장 우수한 것으로 알려져 있다. 그러나 이 방법은 실제 결합 시에 할당 트리의 각 노드에서 필연적인 지연이 발생되는 데 이는 튜플-시험 단계에서 외부 릴레이션을 디스크로부터 페이지 단위로 읽는 비용과 이미 읽는 페이지에 대한 해쉬 결합 비용간의 차이에 의해 발생하게 된다. 이들 사이의 실행시간을 가급적 일치시키기 위한 '페이지 실행시간 동기화'기법이 제안되었고 이를 통해 할당 트리 한 노드 실행에 있어서의 지연 시간을 줄일 수 있었다. 하지만 지연 시간을 최소화하기 위해 할당되어질 프로세서의 수 즉, 페이지 실행시간 동기화 계수(k)는 실제 결합 시의 결합률에 따라 상당한 차이를 보이게 되고 결국, 이 차이를 고려하지 않은 다중 해쉬 결합은 성능 면에서 크게 저하될 수밖에 없다. 본 논문에서는 결합 이전에 어느 정도의 결합률을 예측할 수 있다는 전제하에 다중 해쉬 결합 실행 시에 발생할 수 있는 지연 시간을 최소화 할 수 있도록 결합률에 따라 최적의 프로세서들을 노드에 할당함으로서 다중 해쉬 결합의 실행 성능을 개선하였다. 그리고 분석적 비용 모형을 세워 기존 방식과의 다양한 성능 분석을 통해 비용 모형의 타당성을 입증하였다.

• The KIPS Transactions:PartB
• /
• v.8B no.3
• /
• pp.231-236
• /
• 2001

일반적인 다층 신경망에서 가중치의 갱신 알고리즘으로 사용하는 오류 역전과 방식은 가중치 갱신 결과를 고정된(fixed) 한 개의 값으로 결정한다. 이는 여러 갱신의 가능성을 오직 한 개의 값으로 고정하기 때문에 다양한 가능성들을 모두 수용하지 못하는 면이 있다. 하지만 모든 가능성을 확률적 분포로 표현하는 갱신 알고리즘을 도입하면 이런 문제는 해결된다. 이러한 알고리즘을 사용한 베이지안 신경망 모형(Bayesian Neural Networks Models)은 주어진 입력값(Input)에 대해 블랙 박스(Black-Box)와같은 신경망 구조의 각 층(Layer)을 거친 출력값(Out put)을 계산한다. 이 때 주어진 입력 데이터에 대한 결과의 예측값은 사후분포(posterior distribution)의 기댓값(mean)에 의해 계산할 수 있다. 주어진 사전분포(prior distribution)와 학습데이터에 의한 우도함수(likelihood functions)에 의해 계산한 사후확률의 함수는 매우 복잡한 구조를 가짐으로 기댓값의 적분계산에 대한 어려움이 발생한다. 따라서 수치해석적인 방법보다는 확률적 추정에 의한 근사 방법인 몬테 칼로 시뮬레이션을 이용할 수 있다. 이러한 방법으로서 Hybrid Monte Carlo 알고리즘은 좋은 결과를 제공하여준다(Neal 1996). 본 논문에서는 Hybrid Monte Carlo 알고리즘을 적용한 신경망이 기존의 CHAID, CART 그리고 QUEST와 같은 여러 가지 분류 알고리즘에 비해서 우수한 결과를 제공하는 것을 나타내고 있다.

• The KIPS Transactions:PartC
• /
• v.11C no.3
• /
• pp.293-300
• /
• 2004

Ad hoc networks are groups of mobile hosts without any fixed infrastructure. Frequent changes in network topology owing to node mobility make these networks very difficult to manage. Therefore, enhancing the reliability of routing paths in ad hoc networks gets more important. In this paper, we propose a ZRP(Zone Routing Protocol)-based route discovery scheme that can not only reduce the total hops of routing path, but Improve security through authentications between two nodes. And to solve the problem in maintenance of routing paths owing to frequent changes of the network topology, we adopt a query control mechanism. The effectiveness of our scheme is shown by simulation methods.

• The KIPS Transactions:PartD
• /
• v.14D no.4 s.114
• /
• pp.363-372
• /
• 2007

Password, a traditional user confirmation method that is used for more than 100 years, has become useless as a lot of transactions are dealt by indirect contacts. As a result, an alternative for password is required now. In this paper, we propose a novel confirmation method, which is called Brain-Key. It uses an indirect password input method. It reduces the risks due to hacking, and prevents a big credit accident because it prevents passwords to be reused. Our proposed model has general applicability so that it can be applied in domestic market as well as international markets. This research may provide solutions for the security problems in the electronic commerce.

• Korean Journal of Materials Research
• /
• v.6 no.12
• /
• pp.1233-1241
• /
• 1996

본 연구에서는 BPSG(borophosphosilicate glass)/SiO2/Si 기판상에 5000$\AA$의 구리박막을 화학증착한 후 Ar 분위기하 250-55$0^{\circ}C$, 5-90초 급속열처리하여 열처리 전후의 결정구조, 면저항, 미세구조의 박막특성 변화를 분석하였다. 후열처리된 구리박막에서는 결정성 및 (111) 배향의개선과 함께 결정립 성장이 확인되었으나, 구리의 표면산화반응과 BPSG 내로의 급속한 확산에 의해 전기적 특성의 개선은 미미하였다. 그리고 열처리 박막내에는 구리 실리사이드상의 형성이 발견되지 않았으며, 25$0^{\circ}C$/90초의 저온 장시간 또는 55$0^{\circ}C$/20초의 고온 단시간 조건에서 전형적으로 나타나는 Cu2O 상이 시편의 전기비저항 증가와 표면열화에 직접적으로 영향을 미쳤다. 또한, 이들 결과로부터 급속열처리법에 의한 Cu/BPSG 열처리의 공정범위를 규명할 수 있었다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.34 no.8
• /
• pp.47-54
• /
• 2006

In this paper, numerical algorithms applied in two-step eulerian scheme are investigated and implemented. Element quantities are advected with donor or van Leer algorithm. Nodal quantities are advected with Simplifed ALE [SALE] algorithm. Material interfaces are determined with Simple Line Interface Calculation [SLIC] algorithm. Practical aspects considered for code development are addressed in detail. The results of developed two-step Eulerian code are verified by comparing with those from pure lagrangian scheme and commercial code.

• Textile Coloration and Finishing
• /
• v.5 no.4
• /
• pp.10-19
• /
• 1993

Broad, mercerized broad, mercerized twill cotton fabrics and rayon fabric were treated with cellulase for 30~480 minutes at different temperature, concentration, time, and also treating methods such as continuously-treated or repeatedly-treated, and dyed with two direct dyes before or after enzyme treatment. From the experimental result by treating under the various conditions above, it was obtained that the weight loss increased more in thin fabric than thick one. In addition, it was considered that the treatment in 5$0^{\circ}C$ for 240 minutes brought about the ideal weight loss and flexible hand of the specimens. For both broad and mercerized broad, repeated treatment showed more weight loss than continuous. Direct dye on cotton fabric apparently inhibited hydrolysis. Ionic surfactants showed the inhibition effect of the catalytic hydrolysis of enzyme, on the other hand, nonionic surfactant did not.