• Title/Summary/Keyword: data race condition

Search Result 17, Processing Time 0.028 seconds

A Study on Grinding for Inner Race (내륜 연삭에 관한 연구)

  • Kim, Woo-Kang;Kim, Geon-Hee
    • Journal of the Korean Society of Manufacturing Process Engineers
    • /
    • v.10 no.6
    • /
    • pp.46-49
    • /
    • 2011
  • The grinding is a popular process for studying constant velocity joint and process in automobile industry. In this study, The study gives the data of wheel type and grinding of inner race is developed. As a result I obtained the data of grinding conditions makes good surface roughness get a grinding conditions. The grinding characteristics and conditions of inner race were investigated with respect to grinding feed, cutting depth, grinding time. The results were suddenly increased and the detailed surfaces were extremely obtained. Grinding condition was big more affected by grinding time, grinding speed and grinding depth.

Detection and Classification of Bearing Flaking Defects by Using Kullback Discrimination Information (KDI)

  • Kim, Tae-Gu;Takabumi Fukuda;Hisaji Shimizu
    • International Journal of Safety
    • /
    • v.1 no.1
    • /
    • pp.28-35
    • /
    • 2002
  • Kullback Discrimination Information (KDI) is one of the pattern recognition methods. KDI defined as a measure of the mutual dissimilarity computed between two time series was studied for detection and classification of bearing flaking on outer-race and inner-races. To model the damages, the bearings in normal condition, outer-race flaking condition and inner-races flaking condition were provided. The vibration sensor was attached by the bearing housing. This produced the total 25 pieces of data each condition, and we chose the standard data and measure of distance between standard and tested data. It is difficult to detect the flaking because similar pulses come out when balls pass the defection point. The detection and classification method for inner and outer races are defected by KDI and nearest neighbor classification rule is proposed and its high performance is also shown.

Condition Monitoring of Low Speed Slewing Bearings Based on Ensemble Empirical Mode Decomposition Method

  • Caesarendra, W.;Park, J.H.;Choi, B.H.;Kosasih, P.B.
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2012.10a
    • /
    • pp.388-393
    • /
    • 2012
  • Vibration condition monitoring at low rotational speeds is still a challenge. Acoustic emission (AE) is the most used technique when dealing with low speed bearings. At low rotational speeds, the energy induced from surface contact between raceway and rolling elements is very weak and sometimes buried by interference frequencies. This kind of issue is difficult to solve using vibration monitoring. Therefore some researchers utilize artificial damage on inner race or outer race to simplify the case. This paper presents vibration signal analysis of low speed slewing bearings running at a low rotational speed of 15 rpm. The natural damage data from industrial practice is used. The fault frequencies of bearings are difficult to identify using a power spectrum. Therefore the relatively improved method of empirical mode decomposition (EMD), ensemble EMD (EEMD) is employed. The result is can detect the fault frequencies when the FFT fail to do it.

  • PDF

A Labeling Scheme for Efficient On-the-fly Detection of Race Conditions in Parallel Programs (병렬프로그램의 경합조건을 수행 중에 효율적으로 탐지하기 위한 레이블링 기법)

  • Park, So-Hee;Woo, Jong-Jung;Bae, Jong-Min;Jun, Yong-Kee
    • The KIPS Transactions:PartA
    • /
    • v.9A no.4
    • /
    • pp.525-534
    • /
    • 2002
  • Race conditions, races in short, need to be detected for debugging parallel programs, because the races result in unintended non-deterministic executions. To detect the races in an execution of program, previous techniques use a centralized data structure which may incur serious bottleneck in generating concurrency information, or show inefficient time complexity which depends on the degree of nested parallelism in comparing any two of them. We propose a new labeling scheme in this paper, which is scalable in generating the concurrency information without bottleneck by using private data structure, and improves time complexity into constant in checking concurrency. The scalability and time efficiency therfore makes on-the-fly race detection efficient not only for programs with either shared-memory or message-passing, but also for programs with mixed model of the two.

Employment Instability and Security Funds in U.S. Households

  • Baek, Eun-Woung
    • International Journal of Human Ecology
    • /
    • v.4 no.2
    • /
    • pp.55-75
    • /
    • 2003
  • The purpose of this study was to investigate the effect of employment related factors on household savings for precautionary purposes when controlling for financial security and to compare the results between the two different economic periods. A conceptual framework was developed based on the precautionary saving theory, the family stress theory, and previous empirical studies. As a self-insurance, a measure of security funds were developed and used as the dependent variable. Using data on working households in the 1992 and the 1998 Survey of Consumer Finances (SCF), a MLE estimation was conducted on the pooled data. The 1992 and 1998 data were used to reflect periods of economic recession and expansion, respectively. The results suggested that factors representing resources played the most significant role in determining the amount of security funds. Some of the employment related factors, preferences, financial security, and race were also significantly affected the amount of security funds. The results suggested that stable employment conditions were important for households to accumulate security funds. Households with more human resources and financial resources had a larger amount of security funds than those that had less human and financial resources. From the findings, implications for research, policies, and financial educators had been suggested.

Knowledge and Actual Condition of Sexually-Transmitted Disease in Mongolian (몽골인의 성병에 대한 지식과 성병 실태)

  • Lee, Soon-Hee;Kim, Shin-Jeong;Lee, Young-Joo;Kim, Sook-Young
    • Journal of Korean Public Health Nursing
    • /
    • v.25 no.2
    • /
    • pp.255-265
    • /
    • 2011
  • Purpose: The study investigated the knowledge and actual condition of sexuallytransmitted diseases(STD) in Mongoloian. Method: Data from 210 Mongolians were collected for 6days from August 10-15, 2008 using a questionnaire translated by Mongolians to identify the knowledge of STD and with permission, analysis of blood and human immuno deficiency virus(HIV) by SD Bioline Syphilis 3.2 test and SD Bioline HIV-1/2 3.0 test respectively. The data was scored by mean ${\pm}$ standard deviation. Differences were evaluated according to the subjects' general characteristics by t-test and the ANOVA. Results: The average knowledge score concerning STD 48.99(${\pm}.19$) indicated a low level of knowledge. STD was detected in six(2.9%) and HIV was four(1.9%) of the 210 subjects. General characteristics significantly different knowledge level were gender(t=-3.098, p=.002), education(F=6.090, p=.003), type of employment(F=2.443, p=.049), and sexual education experience(F=5.604, p=.004). Conclusion: Education programs to increase STD awareness and its prevention must be developed and regular health evaluations for those already have sexual transmitted disease is needed.

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.

Definition of Step Semantics for Hierarchical State Machine based on Flattening (평탄화를 이용한 계층형 상태 기계의 단계 의미 정의)

  • Park, Sa-Choun;Kwon, Gi-Hwon;Ha, Soon-Hoi
    • The KIPS Transactions:PartD
    • /
    • v.12D no.6 s.102
    • /
    • pp.863-868
    • /
    • 2005
  • 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.

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.

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.