• 한국기계가공학회지
• /
• 제21권6호
• /
• pp.81-88
• /
• 2022

Titanium alloy (Ti-6Al-4V) has excellent mechanical properties and high specific strength; therefore, it is widely used in aerospace, automobile, defense, engine parts, and bio fields. Particularly in the aerospace field, as it has a low specific gravity and rigidity, it is used for the purpose of increasing energy efficiency through weight reduction of parts, and most have a thin-walled structure. However, it is extremely difficult to machine thin-walled shapes owing to vibration and deformation. In the case of thin-walled structures, the cutting forces and vibrations rapidly increase depending on the cutting conditions, significantly affecting the surface integrity and tool life. In this study, machining experiments on thin-wall milling of a titanium alloy (Ti-6Al-4V) were conducted for each experimental condition with different axial depths of cut, radial depth of cut, and machining sequence. The machining characteristics were analyzed, and an effective machining method was derived by a comprehensive analysis of the machined surface conditions and cutting signals.

• 전자공학회논문지CI
• /
• 제39권3호
• /
• pp.1-17
• /
• 2002

본 논문은 심볼릭 모델 체커 SMV(Symbolic Model Verifier)를 이용하여, 한국전자통신연구원 (Electronics and Communications Research Institute)에서 개발한 캐쉬 일관성 프로토콜인 RACE(Remote Access Cache coherency Enforcement) 프로토콜의 몇 가지 특성(property)들을 검증함으로써, RACE 프로토콜이 중요 요구사항(requirement)들을 만족함을 보인다. 본 검증에서는 RACE 프로토콜의 모델을 SMV 입력 언어로 명세하며, 검증할 특성들을 CTL(Computational Tree Logic)을 이용하여 나타낸다. 본 검증을 통해서 RACE 프로토콜은 4개의 노드로 구성된 시스템에서 비정상적인 state/input 조합이 발생하지 않으며, liveness와 safety를 만족한다는 것을 검증하였다. 또한, 프로토콜 개발자들이 예상하지 못한 명세서 상의 모호성(ambiguity) 및 기아현상(starvation)을 발견하였으며, 본 검증 사례를 통하여 모델 체킹 기법이 하드웨어 프로토콜 검증에 효과적으로 이용될 수 있다는 것을 제안한다. 그리고, 검증시에 구현된 모델을 이용하여 시뮬레이션 및 테스팅에 유용하게 사용될 수 있는 테스트 케이스를 자동적으로 생성할 수 있는 새로운 방법을 제안한다.

• 한국보건간호학회지
• /
• 제17권1호
• /
• pp.69-82
• /
• 2003

Purpose: The purpose of this research was to evaluate the effect of horticultural therapy on cognitive function, self-esteem, depression and activities of daily living of elderly with dementia. Method: The research design was an one group pre and post-test study design. The subjects of this study were 7 elderly with dementia in K elderly institution in Daegu. Instruments used in this research were MMSE-K(Mini-mental state Examination Korean Version) developed by Kwon & Park, SES(Self-Esteem Scale) developed by Rosenberg. SDS(Self-Rating Depression Scale) developed by Zung and BADL(Bathel Activity Daily Living) developed by Bethel. One-hour horticultural therapy was offered to the study participants weekly for 12 weeks. Results: The results showed that self-esteem was significantly increased after the horticultural therapy. However, in terms of cognitive function. depression and ADL, there was no significant change after the horticultural therapy among these elderly. Conclusion: In this research. there were no obvious change in cognitive function. depression, and ADL after the horticultural therapy among participants. Although the difference was not statistically significant. descriptive statistics showed some difference in scores on these variables after the intervention. So, it is suggested to conduct a further research with larger samples and pre and post-test design with control group.