• Title/Summary/Keyword: 정적 프로그램 분석

Search Result 920, Processing Time 0.035 seconds

Effects of lumbar stabilization exercise on multifidus muscle cross-sectional area, static posture control and pain in patient's with chronic low back pain (요부 안정화운동이 만성요통환자의 다열근 단면적, 정적자세조절, 통증에 미치는 영향)

  • Kim, Deahun
    • Journal of Convergence for Information Technology
    • /
    • v.11 no.10
    • /
    • pp.223-229
    • /
    • 2021
  • This study analyzed the effects of an exercise program that combined lumbar stabilization exercise and muscle strengthening exercise and an exercise program that applied only lumbar muscle strengthening exercise on multifidus muscle cross-sectional area, static posture control ability, and low back pain in patients with CLBP. For the study method, 28 patients with CLBP were divided into two exercise propram groups and exercised three times a week for 8-weeks. The data analysis of this study used the t-test to compare before and after group exercise program application, and between each group (p<.05). As a result of the study, significant results were found before and after application of the exercise program within each group, such as multifidus muscle cross-sectional area, static posture control ability, and low back pain (p<.05). Between each group, the exercise program that combined lumbar stabilization exercise and muscle strengthening exercise was found to be more effective (p<.05). In conclusion, it was found that the exercise program with additional lumbar stabilization exercise improved the structure and function of various lumbar vertebrae and reduced lumbar pain.

Static Type Inference Based on Static Single Assignment for Bytecode (바이트코드를 위한 정적 단일 배정문 기반의 정적 타입 추론)

  • Kim Ji-Min;Kim Ki-Tea;Kim Je-Min;Yoo Weon-Hee
    • Journal of the Korea Society of Computer and Information
    • /
    • v.11 no.4 s.42
    • /
    • pp.87-96
    • /
    • 2006
  • Although bytecode has many good features, it has slow execution speed and it is not an ideal representation for program analysis or optimization. For analysises and optimizations. bytecode must be translated to a Static Single Assignment Form(SSA Form) But when bytecode is translated a SSA Form it has lost type informations of son variables. For resolving these problem in this paper, we create extended control flow graph on bytecode. Also we convert the control flow graph to SSA Form for static analysis. Calculation about many informations such as dominator, immediate dominator. dominance frontier. ${\phi}$-Function. renaming are required to convert to SSA Form. To obtain appropriate type for generated SSA Form, we proceed the followings. First. we construct call graph and derivation graph of classes. And the we collect information associated with each node. After finding equivalence nodes and constructing Strongly Connected Component based on the collected informations. we assign type to each node.

  • PDF

Three-dimensional finite element static analysis and safety evaluation of attachable roadside barriers on bridges (탈·부착식 교량 방호울타리의 3차원 유한요소 정적해석 및 안전성 평가)

  • Lee, Sang-Youl
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.15 no.4
    • /
    • pp.2414-2418
    • /
    • 2014
  • This study carried out three-dimensional finite element analysis and structural safety evaluation of attachable roadside barriers. The effects of diaphragm distance and the number of bolts on displacements and maximum stresses for various parameters are studied using the LS-DYNA finite element program for this study. In this study, the existing finite element analysis of barriers using the LS-DYNA program is further extended to study static behaviors and structural safety of the barrier with module structures connected by anchor bolt inserted through concrete bridge decks. The numerical results for six parameters are verified by comparing different models with displacements and stress distribution occurred in the barrier and shows good structural performance.

How to Prevent Software crack for Control PE (PE Format 조작을 통한 소프트웨어 크랙 방지 기술)

  • Kim, Tae-hyoung;Jang, Jong-uk
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2017.05a
    • /
    • pp.249-251
    • /
    • 2017
  • In the past, People thought that software security was not important. but Skills of attacking software has growing up in fast, software crack fall down software industry growth and profit of copyright holder was declined. So I propose software crack prevention for changing PE Format. Hackers can analyze program in static. As we change the PE format, we can prevent static analysis. As I insert anti - debugging code the exe file, the program is protected from dynamic analysis.

  • PDF

Relationship among Public's Risk Characteristics, Risk Severity, Risk Perception and Risk Acceptability of Human Stem Cell Technology (공중의 체세포복제기술에 대한 위험특성, 위험심각성, 위험인식 및 위험수용의 관계)

  • Song, Hae-Ryong;Kim, Won-je
    • Journal of Digital Convergence
    • /
    • v.15 no.7
    • /
    • pp.415-424
    • /
    • 2017
  • The purpose of this study was to examine the relationship among public's risk characteristics, risk severity, risk perception and risk acceptability of human stem cell technology. The subjects were 300 Koreans selected. The data were analyzed by the exploratory factor analysis, confirmatory factor analysis, correlation analysis and structural equation modeing analysis. The results were as followed. First, public's risk characteristics on human stem cell technology influenced positively on risk severity. Second, public's risk characteristics on human stem cell technology influenced positively on risk perception. Third, public's risk severity on human stem cell technology influenced positively on risk perception. Fourth, public's risk characteristics on human stem cell technology influenced negatively on risk acceptability. Fifth, public's risk severity on human stem cell technology influenced not significantly on risk acceptability. Sixth, public's risk perception on human stem cell technology influenced not significantly on risk acceptability. These results will contribute to develop the risk communication strategy on the acceptability of human stem cell technology.

The Influence of Professionalism of Pilates Instructors on Attractiveness of Instructors and Adherence of Pilates Participants (필라테스 지도자의 전문성과 매력성 및 참가자의 운동지속에 대한 융합적 연구)

  • Roh, Su-Yeon
    • Journal of Digital Convergence
    • /
    • v.14 no.7
    • /
    • pp.507-516
    • /
    • 2016
  • This study examined the influence of professionalism of Pilates instructors on attractiveness of instructors and adherence of participants. The subjects of this study were 229 Pilates participants in Seoul and Gyeonggido. The collected data was analyzed by using SPSS & AMOS 18.0 version. The results are as follows. First, the professionalism of Pilates instructors partially affects the attraction. Second, the professionalism of Pilates instructors has partially influence on the adherence of Pilates participants. Third, the attraction of Pilates instructors has partially an effect on the adherence of Pilates participants. Lastly there is a causal relationship between professionalism, attraction of Pilates instructors and adherence of Pilates participants.

An Analysis of Race Detection Tool for OpenMP Programs (OpenMP 프로그램을 위한 경합탐지 도구의 분석)

  • 김영주;강문혜;전용기
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10a
    • /
    • pp.478-480
    • /
    • 2003
  • 공유메모리 기반의 OpenMP 프로그램에서 발생하는 경합은 의도하지 않은 비결정적 수행 결과를 초래하므로 효과적으로 경합을 탐지하는 도구가 필요하다. 본 연구는 OpenMP 프로그램의 경합탐지를 위한 Intel 사의 Thread Checker를 내포병렬성의 여부와 접근사건들의 분포 형태를 기준으로 개발한 커널프로그램 집합을 이용하여 분석한 결과로서, 스레드들을 순서적으로 수행하면서 내포된 스레드를 부모 스레드와 동일한 스레드로 간주하고 적어도 하나의 읽기와 쓰기 접근사건들을 유지하면서 수행중에 경합을 탐지하는 도구임을 보인다. 이 도구는 접근사건의 발생 시에 이전 접근사건들과의 경합 여부를 검사한 후에 그 접근사건의 유지 여부를 결정하므로, 논리적 병행성 관계를 반영하지 못하는 내포된 스레드가 존재하지 않으면 경합의 존재를 검증한다.

  • PDF

A design of the PSDG based semantic slicing model for software maintenance (소프트웨어의 유지보수를 위한 PSDG기반 의미분할모형의 설계)

  • Yeo, Ho-Young;Lee, Kee-O;Rhew, Sung-Yul
    • The Transactions of the Korea Information Processing Society
    • /
    • v.5 no.8
    • /
    • pp.2041-2049
    • /
    • 1998
  • This paper suggests a technique for program segmentation and maintenance using PSDG(Post-State Dependency Graph) that improves the quality of a software by identifying and detecting defects in already fixed source code. A program segmentation is performed by utilizing source code analysis which combines the measures of static, dynamic and semantic slicing when we need understandability of defect in programs for corrective maintanence. It provides users with a segmental principle to split a program by tracing state dependency of a source code with the graph, and clustering and highlighting, Through a modeling of the PSDG, elimination of ineffective program deadcode and generalization of related program segments arc possible, Additionally, it can be correlated with other design modeb as STD(State Transition Diagram), also be used as design documents.

  • PDF

The Relationship between Ego-Resilience, Mattering and School Life Adjustments of Elementary Students Participating in Physical Activity after School (방과 후 체육활동 참여 초등학생들의 자아탄력성과 또래존재감 및 학교생활적응의 관계)

  • Cho, Gun-Sang;Choi, Young-Jun
    • Journal of Digital Convergence
    • /
    • v.14 no.6
    • /
    • pp.477-487
    • /
    • 2016
  • This study examines the relationship between ego-resilience, mattering and school life adjustments of elementary students participating in physical activity after school. The number of subjects for this study were 429 who were participating in the physical activity after school in Gyeonggi-do. The reliability and validity test of the questionnaire and descriptive analysis, factor analysis, correlation were conducted by using SPSS 20.0 and structural equation model was conducted by using AMOS 20.0 program. The results are as follows; First, ego-resilience of elementary students participating in physical activity after school affects their mattering. Second, mattering of elementary students participating in physical activity after school affects their school life adjustments. Third, ego-resilience of elementary students participating in physical activity after school affects their school life adjustments. Lastly there is a causal relationship between ego-resilience, mattering and school life adjustments of elementary students participating in physical activity after school.

The Effect of Selective Exposure of Political Orientation on Online Political Participation: Focusing on the Mediating Effect of Attitude Polarization (유튜브 정치성향에 따른 선택적 노출이 온라인 정치참여에 미치는 영향: 태도극화의 매개효과를 중심으로)

  • Lee, Min Kyu;Kim, Jung Hoon
    • The Journal of the Korea Contents Association
    • /
    • v.22 no.4
    • /
    • pp.261-272
    • /
    • 2022
  • This study investigated the relationship between selective exposure, attitude polarization, and online political participation among 420 YouTube political video users. Additionally, the mediating effect of attitude polarization on the relationship between selective exposure and online political participation was examined. The main results were derived by conducting exploratory factor analysis, correlation analysis, and structural model analysis using the SPSS 21.0 program and AMOS 21.0 program. The results were presented as follows. First, selective exposure had a positive effect on attitude polarization. Second, selective exposure had a positive effect on online political participation. Third, attitude polarization had a positive effect on online political participation. Fourth, attitude polarization was found to mediate the relationship between selective exposure and online political participation. In summary, it was confirmed that selective exposure to YouTube political videos increased attitude polarization and online political participation, and the more the attitude polarization was strengthened by selective exposure, the more it led to online political participation.