• Title/Summary/Keyword: Race Condition

Search Result 70, Processing Time 0.028 seconds

Qualitative Inquiry on the Formation of Serious Leisure Experience for Water Sports Mania (해양스포츠 매니아의 진지한 여가체험 형성에 관한 질적탐구)

  • KWON, Il-Kwon;NAM, Sang-Back
    • Journal of Fisheries and Marine Sciences Education
    • /
    • v.27 no.6
    • /
    • pp.1783-1796
    • /
    • 2015
  • The purpose of this study was to verify the formation of serious leisure experience for water sports mania using grounded theory method approach. Research participants were selected 6 water sports mania by reputational sampling method. Six participants who usually participated in water sports club were selected as research participants. The data for this study included participants' observation and in-depth interview. This study categorized the coding paradigm which was presented by using the findings derived from data as they were into casual condition, contextual element, central phenomenon, critical situation, mediative element, interaction, final result and core category to draw out the process of becoming a water sports mania and its significances. The results of were as follows. First, water sports mania recognized the environmentally safe pleasure and value. Second, water sports mania was in a race against myself. Third, water sports mania felt the social and environmental changes. Fourth, water sports mania was looking for alternative method. Fifth, water sports mania overcome physical limitations and liberation from fear of water. Lastly, water sports mania felt alive through the enthusiastic participation.

The Performance-ability Evaluation of an UML Activity Diagram with the EMFG (EMFG를 이용한 UML 활동 다이어그램의 수행가능성 평가)

  • Yeo Jeong-Mo;Lee Mi-Soon
    • The KIPS Transactions:PartD
    • /
    • v.13D no.1 s.104
    • /
    • pp.117-124
    • /
    • 2006
  • Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

Evaluation of Boundary Conditions for Structural Analysis of Wheel Bearing Units (Wheel Bearing Unit의 구조해석을 위한 경계조건 설정에 관한 연구)

  • 김기훈;유영면;임종순;현준수
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.8 no.6
    • /
    • pp.230-237
    • /
    • 2000
  • The wheel bearing in vehicles has been improved to unit module by joining a bearing to a hub in order to achieve weight reduction and easy assembly. Currently, the contact force between a raceway and balls of a bearing is applied as the external force in order to analyse the structure of the unit type bearings. In this paper, simplified boundary conditions are discussed for structure analysis of wheel bearing unit. From the procedure, the contact conditions of balls and race in wheel bearing unit are considered as equivalent non-linear spring elements. The end node of a spring element is constrained in displacement. And the external force of boundary conditions is applied at the contact point between tire and road. For the evaluation of this analysis, its results for the force of spring elements are compared with contact forces of calculated results. and also maximum equivalent stresses of analysis are compared with results of test at the flange of inner ring. The analysis results with proposed boundary conditions are more accurate than results from analysis which is generally used.

  • PDF

Automatic Verification of the Control Flow Model for Effective Embedded Software Design (효과적인 임베디드 소프트웨어 설계를 위한 제어흐름 모델의 자동 검증)

  • Park, Sa-Choun;Kwon, Gi-Hwon;Ha, Soon-Hoi
    • The KIPS Transactions:PartA
    • /
    • v.12A no.7 s.97
    • /
    • pp.563-570
    • /
    • 2005
  • Hardware and software codesign framework called PeaCE(Ptolemy extension as a Cod sign Environment) allows to express both data flow and control flow. To formally verify an fFSM specification which expresses control flow in PeaCE, the step semantics of the model was defined. In this paper, we introduce the automatic verification tool developed by formal semantics of previous work. This tool uses the SMV as inner model checker md, through our tool, users can formally verify some important bugs such as race condition, ambiguous transition, and circulartransition without directly writing logical formulae.

Analysis and Design of Power Divider Using the Microstrip-Slotline Transition in Millimeter-Wave Band (밀리미터파 대역에서의 마이크로스크립-슬롯라인을 이용한 전력분배기의 해석 및 설계)

  • Jeong, Chulyong;Jeong, Jinho;Kim, Junyeon;Cheon, Changyul;Kwon, Youngwoo
    • The Transactions of the Korean Institute of Electrical Engineers C
    • /
    • v.48 no.6
    • /
    • pp.489-493
    • /
    • 1999
  • In this paper, an analysis of microstrip-slotline transition is performed using a 3D vector Finite Element Method(FEM). Artificial anistropic absorber technique is employed to implement an matching boundary condition in FEM. On the base of the analysis, power divider/combiner is designed. The structure of the power combiner already developed are Branch-line coupler, Rat-race coupler, Wilkinson coupler, Lange coupler, etc. Which are all planar, If the frequency goes up, the coupling efficiency of these planar couplers is decreased on account of skin loss. Especially, in millimeter-wave band, the efficiency of more than two ways combiner is radically reduced, so that application in power amplifier circuit is almost impossible, Microstrip-slotline transition structure is a power combining technique integrated into wave-guide, so that the loss is small and the efficiency is high. Theoretically, we can mount several transistors into the power-combiner. This makes it possible to develop a high power amplifier. The numerically calculated performances of the device that is, we believe, the best are compared to the experimental results in Ka-Band(26.5GHz-40GHz).

  • PDF

Analysis and Syntheris of Facial Images for Age Change (나이변화를 위한 얼굴영상의 분석과 합성)

  • 박철하;최창석;최갑석
    • Journal of the Korean Institute of Telematics and Electronics B
    • /
    • v.31B no.9
    • /
    • pp.101-111
    • /
    • 1994
  • The human face can provide a great deal of information in regard to his/her race, age, sex, personality, feeling, psychology, mental state, health condition and ect. If we pay a close attention to the aging process, we are able to find out that there are recognizable phenomena such as eyelid drooping, cheek drooping, forehead furrowing, hair falling-out, the hair becomes gray and etc. This paper proposes that the method to estimate the age by analyzing these feature components for the facial image. Ang we also introduce the method of facial image synthesis in accordance with the cange of age. The feature components according to the change of age can be obtainec by dividing the facial image into the 3-dimensional shape of a face and the texture of a face and then analyzing the principle component respectively using 3-dimensional model. We assume the age of the facial image by comparing the extracted feature component to the facial image and synthesize the resulted image by adding or subtracting the feature component to/from the facial image. As a resurt of this simulation, we have obtained the age changed ficial image of high quality.

  • PDF

Research on Tobacco Plant Diseases in Korea : An Overview (우리 나라 담배 병 연구의 어제와 오늘)

  • Kim, Jung-Hwa
    • Research in Plant Disease
    • /
    • v.8 no.2
    • /
    • pp.78-83
    • /
    • 2002
  • Tobacco diseases have not been recorded until 1900s in Korea, where tobacco plants were introduced at early 1700s. Practical researches on the disease have been conducted since mid 1960s. Major ten tobacco diseases were mosaic caused by tobacco mosaic virus·potato virus Y·cucumber mosaic virus, bacterial wilt, hollow stalk, wild fire caused by angular leaf spot strain, black shank, brown spot, powdery mildew and fusarium wilt. But their annual occurrences were varied according to changes of tobacco varieties and their cultivating practices. As no useful chemicals, several biological tactics have been developed to control the viral or bacterial diseases that give significant economic damages on sustainable crop yield, but not practicable to field farming condition yet. Transgenic tobacco plants containing foreign disease resistant genes have been developed by current bio-technology, but not released to farmers yet. Though some disease-resistant tobacco varieties have been developed by the conventional breeding technology and currently used by farmers, their disease controlling efficacy have been diminished by occurrence of the new strain or race. Future research on tobacco diseases has been focused on technical development to produce high quality tobacco with less production cost, which leads Korean tobacco industry to keep its competence against foreign industry and decreasing overall market.

Psychological Distress and Occupational Injury: Findings from the National Health Interview Survey 2000-2003

  • Kim, Jae-Young
    • Journal of Preventive Medicine and Public Health
    • /
    • v.41 no.3
    • /
    • pp.200-207
    • /
    • 2008
  • Objectives : This study examined whether serious psychological distress (SPD) is associated with occupational injury among US employees. Methods : The employed population aged 18-64 years was examined (n=101,855) using data from the National Health Interview Survey (NHIS) 2000-2003. SPD was measured using the Kessler 6-item Psychological Distress Scale (K-6), a screening scale designed to identify persons with serious mental illness. The predicted marginal prevalence of psychological distress and occupational injury with the adjusted odds ratio were estimated using multiple logistic regression analyses. Results : The age-adjusted 3-month prevalence of occupational injury was $0.80{\pm}0.12%$ in workers with SPD, which was 37% greater than in workers without SPD ($0.58{\pm}0.03%$). The odds of occupational injury in workers with SPD were higher compared to workers without SPD (OR=1.34, 95% CI=0.93-1.92), after controlling for sex, age, race, education, occupation, and activity limitation by at least one medical condition. Male, service and blue collar occupation, and activity limiation by co-morbidity showed significantly higher odds of occupational injury for workers with SPD. Conclusions : The findings suggest that SPD accounts for an increased likelihood of occupational injury among US employees. A further longitudinal study is needed to differentiate the mechanism or causal pathways linking individual injury risk at the workplace, SPD, and socioeconomic factors.

Making the image of Korean Buddhism : Focusing on the discourses of TAKAHASHI Toru (植民地期朝鮮における朝鮮佛敎觀-高橋亨を中心に)

  • 川瀨 貴也
    • Journal of the Daesoon Academy of Sciences
    • /
    • v.17
    • /
    • pp.151-171
    • /
    • 2004
  • TAKAHASHI Toru (1878-1967) was one of the most significant Koreanologists in Japanese academic field. He was a professor of Kyeongseong Imperial University in the prewar period and Tenri University (department of Korean studies) in the postwar period. He was majored in Korean intellectual history and literature. His achievements, especially on Korean Confucianism and Buddhism, are still referred and influential. He wrote two pamphlets published by department of education of the Government-General of Korea in 1920. This year was a year after of 3.1 Independent Demonstration. This riot might have demanded Japanese governors to survey about Korean mentality and characteristics. One of outcomes was Chousenjin (Korean People). The pamphlet tried to explain the Korean character in the perspective of a essentialism in Korean race. The other was a simple outline about history of Korean religions entitled Chousen shukyoushi ni arawaretaru sinkou no tokushoku (The characteristics of faith in the history of Korean religions). He explained that Korean religions, especially its Buddhism, were easily influenced by political condition. These pamphlets seemed to be typically colonialistic, since such negative characteristics of Korean made Japanese colonial rule legitimated as the Mission of civilization and enlightenment. His discourses synchronized with the desire of Japanese Imperialism. This article attempted to analyze his discourses in the perspective of postcolonial critics and sociology of knowledge.

  • PDF

Effect of Changes of Leaf Water Content on Respiration and Photosynthetic Rate of Tobacco Varieties (엽중수분 변화가 잎담배 품종간 호흡과 광합성속도에 미치는 영향)

  • Seong-Kook Bae;Ryuichi, Ishii;Atsuhiko, Kumura
    • KOREAN JOURNAL OF CROP SCIENCE
    • /
    • v.30 no.4
    • /
    • pp.347-351
    • /
    • 1985
  • The effect of leaf water content on apparent photosynthesis and respiration of tobacco plants(five varieties) was studied under the condition without the irrigation for 10 days after the plants were sufficiently watered on the first day. The wild race (N. longiflora) among varieties showed highest apparent photosynthesis (AP) and AP had a positive correlation with specific leaf weight. N. longiflora and Andongyeob were different in their AP from the other varieties significantly under the water stress condition. Respiration rate also decreased to be simillar to AP except slight increase at early stage of water deficit. The stomatal resistance and the mesophyll resistance increased in the stressed plants. The water stress resistant character seems to be mainly due to open stomata.

  • PDF