• 전자공학회논문지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)을 발견하였으며, 본 검증 사례를 통하여 모델 체킹 기법이 하드웨어 프로토콜 검증에 효과적으로 이용될 수 있다는 것을 제안한다. 그리고, 검증시에 구현된 모델을 이용하여 시뮬레이션 및 테스팅에 유용하게 사용될 수 있는 테스트 케이스를 자동적으로 생성할 수 있는 새로운 방법을 제안한다.

• 한국임상수의학회지
• /
• 제15권2호
• /
• pp.427-431
• /
• 1998

This study was undertaken to investigate the effect of exercise induced pulmonary hemorrhage(EIPH) on the finishing position of racehorses, 400 bleeders(305: 1 time, 76: 2 times, 19: 3 times, total: 514 cases) which had bled(EIPH) from their nostrils after their races at the Seoul racecourse during the 5 years period('93-'97) were analyzed for this study. The ratio of bleeders to total racehorses in finishing position 1-3,4-6, 7-9 or above 10 was 0.55, 0.84, 0.90 or 1.13%, respectively. There is tendency to higher incidence of bleeding in the later positioned racehorses group. To analyze the correlation between EIPH and finishing position, finishing potion of each EIPHed horses' was checked at 7 successive races(3 races each before/after EIPH. The average final position at the -3rd race, -2nd racer -lst racer EIPHed race, 1st race,2nd race and 3rd race of each bleeder was 5.85. 5.94, 6.21, 7.32, 7.20, 6.51 and 6.53, respectively. Raring times were adjusted to 1,000 m equivalent. Average racing times of the -3rd race,-2nd racer -lst raced EIPHed race, 1st race, 2nd race and 3rd race of each bleeder was 67.1, 67.1, 67.2, 67.6, 67.5, 67.4 and 67.3 second, respectively. Bleeders which finished the race within 1 second following the winners were 25. 3% of total bleeders. The rest 74.7% reached at the finish line 1 second later than the winners. Particularly 46.3% of bleeders were above 2 second later. Therefore this study suggested that bleeding has effect on performance of the racehorse, consequently it make bleeders be placed later positions.

• 운동영양학회지
• /
• 제25권3호
• /
• pp.16-22
• /
• 2021

[Purpose] Exercise-associated hyponatremia (EAH) is a well-known condition among endurance athletes at low altitudes. The incidence of EAH during ultramarathons at high altitudes warrants further investigation. This prospective observational study was conducted on the participants of the Leadville Trail 100 run, a 161-km race held at a high altitude (2,800 m-3,840 m). [Methods] Venous blood samples were collected before and immediately after the race. The participants completed an electronic survey after the race. Our main outcome measure was the post-race serum sodium ([Na⁺]) level. [Results] Of the 672 athletes who started the race, 351 (52%) successfully completed the event within the 30-hour cut-off. Post-race blood samples were collected from 84 runners (66 finishers). Both pre- and post-race blood samples were collected from 37 participants. Twenty percent of the post-race participants had EAH. Only one post-race participant had a [Na⁺] level of <130 mmol/L. All participants with EAH were asymptomatic. One participant had an abnormal pre-race [Na⁺] level (134 mmol/L). Female participants had a significantly higher rate of EAH than male participants (40% vs. 16%; p=0.039). Age, body mass index, weight changes, race completion status, nonsteroidal anti-inflammatory drug use, and urine specific gravity were not associated with the development of EAH. Lower postrace [Na⁺] levels were associated with higher serum creatine kinase values (R²=0.1, p<0.005). [Conclusion] High altitude (3,840 m peak) does not appear to enhance the incidence of EAH after an ultramarathon footrace. This suggests that ambient temperature (low temperatures reduce risk), sex (female predilection), endurance running, and overhydration are more prominent risk factors for EAH than high altitude.

• 한국산업융합학회 논문집
• /
• 제11권2호
• /
• pp.71-82
• /
• 2008

In this study, 3 dimensional non-linear race car vehicle model including Chassis, steering and suspension systems were modeled by using Multi-Body Dynamics Simulation Program, DADS 9.5(Dynamic Analysis and Design System),which was used in kinematic and dynamic analysis. A full race car vehicle dynamics model using DADS program was presented and analysis was carried out to estimate the handling characteristics that may be very useful to design a race car in early design stage. The simulation of vehicle handling behavior for step steering input was simulated and compared with different design parameters: torsional stiffness of the front and rear anti roll bars, the motion ratio of the front and rear suspension system, the location of the tie rod joint, in multibody dynamic model. Therefore this simulation model before race car construction in early design step will be helpful for race car designer to save time and limited budget.

• 한국식물병리학회지
• /
• 제12권2호
• /
• pp.150-155
• /
• 1996

1993년과 1994년에 걸쳐 한국의 고추 재배 지역에서 분리한 고추 더뎅이병균은 66개의 균주중 24개가 race 1이었으며, 나머지는 42균주가 race 3이었다. Race 2균주는 발견되지 않았다. 총 66개의 균주중 8%가 200 $\mu\textrm{g}$/ml의 황산구리에 저항성을 보였으며, 100 $\mu\textrm{g}$/ml의 streptomycin sulfate에는 단지 한 균주만이 저항성을 나타냈다. Race 1균주중 21%가 구리에 저항성을 보였으나 race 3균주는 모두 구리에 감수성을 나타냈다. 모든 감수성 균주는 구리 농도 1 $\mu\textrm{g}$/ml에서 죽거나 아주 낮은 수준만이 생존하였으나 저항성 균주는 128 $\mu\textrm{g}$/ml에서도 생존하였다.

• 대한수의학회지
• /
• 제41권2호
• /
• pp.261-267
• /
• 2001

This research was conducted to investigate the effects of race conditions on racing injury in Thoroughbred(TB) horses. A total 335 horses were investigated the relationship between race conditions and racing injuries. The main environmental factors of racing injuries were spring season, rainy weather and sloppy racetrack. In the race types, high incidence of racing injury was found in special weigh, stakes, middle class and long length race. This results suggest that the racing injury can be effected to both individual body condition and various racetrack conditions.

• 한국정밀공학회지
• /
• 제13권5호
• /
• pp.60-66
• /
• 1996

Precision of bearing race is very important to maintain the clearance between ball and inner race. In internal grinding of bearing race, its roundness is dependent on shoe wear, accuracy of jig, dressing method and grinding conditions. In this study, the characteristics of shoe wear and eccentricity of workpiece were investigated experimentally. When wear of fornt shoe wear reaches at 100.mu. m and that of rear shoe reaches at 114 .mu. m, eccentricity of inner race is increased to 1.4 .mu. m. Roundness of race is mainly related to wear of rear shoe and ring type shoe is recommended to improve roundness of race.

• 한국의학물리학회:학술대회논문집
• /
• 한국의학물리학회 2004년도 제29회 추계학술대회 발표논문집
• /
• pp.49-52
• /
• 2004

A few studies have shown that the function of fusiform face area is selectively involved in the perception of faces including a race difference. We investigated the neural substrates of the face-selective region called fusiform face area In the ventral occipital-temporal cortex and same-race memory superiority In the fusiform face area by the event-related fMRI. In our fMRI study, twelve healthy subjects (Oriental-Korean) performed the implicit distinction of the race while they consciously made familiar-judgments, regardless of whether they considered a face as Oriental-Korean or European-American. In the race distinction as an implicit task, the fusiform face areas (FFA) and the right parahippocampal gyrus had a greater response to the presentation of Oriental-Korean than European-American faces, but in the consciously race distinction between Oriental-Korean and European-American faces, any significant difference in the FFA was not observed. These results suggest that different activation in the fusiform regions and right parahippocampal gyrus resulting from same-race memory superiority could be implicitly taken place by the physiological processes of face recognition.

• 식물병연구
• /
• 제7권1호
• /
• pp.49-55
• /
• 2001

남부 시설재배지에서 서식하는 뿌리혹선충의 종류와 race를 조사하고 그들에 대한 간이동정법을 제시하였다. 남부 시설재배지에는 Meloidogyne arenaria race 2(59%), M. incognita race 1(23%), M. incognita 미동정 race(18%)가 분포하고 있었음, 우점종은 땅콩뿌리혹선충(M. arenaria) race 2 였다. 유충의 길이는 M. arenaria가 411$\mu\textrm{m}$(306-503$\mu\textrm{m}$), M. incognitark 384$\mu\textrm{m}$(312-488$\mu\textrm{m}$)로 두 종의 범위가 겹치고 있어 종 동정에 참고하기 어려웠으며, M. arenaria와 M. incognita의 종 동정에 가장 쉽게 이용할수 있는 특징은 암컷의 머리에 있는 Excretory pore 위치였다.

• 한국지능시스템학회논문지
• /
• 제26권5호
• /
• pp.390-395
• /
• 2016

본 논문에서는 인간의 스프린트 경기와 휴머노이드 로봇의 스프린트 경기를 비교하고 FIRA가 주관한 휴머노이드 로봇의 대표적인 스포츠 경기인 HuroCup에 대해서 소개한다. 또한 이 대회의 경기 규정을 알아보고 휴머노이드 로봇이 스프린트 경기를 수행하는데 사용할 수 있는 경기 전략을 제시한다. 본 논문을 위해 스프린트 경기 규정에 맞는 휴머노이드 로봇을 설계 및 개발하고, 제작한 휴머노이드 로봇에 스프린트 경기 전략 알고리즘을 적용하여 로봇의 성능을 시험한다. 마지막으로, 실제 경기 사례를 통해 제작된 휴머노이드 로봇이 스프린트 경기에 적합하게 수행함을 검증한다.