• 제목/요약/키워드: Action Equation 2.0

검색결과 38건 처리시간 0.027초

작용식 2.0 기반 파이썬에 대한 형식 의미론 (Formal Semantics Based on Action Equation 2.0 for Python)

  • 한정란
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제10권6호
    • /
    • pp.163-172
    • /
    • 2021
  • 프로그래밍 언어의 형식적인 의미를 적절하게 표현하면 언어를 표준화하고 최적화하여 번역하는 과정에서 중요한 역할을 수행한다. 파이썬은 주목받는 강력한 언어이고, 파이썬에 대한 형식적인 의미 구조를 정의하고 표현하는 것은 향후 유사한 언어를 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 파이썬에 대한 의미 구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 파이썬의 정적이고 동적인 의미 구조를 표현하는 작용식 2.0을 새롭게 제시한다. 작용식 2.0에 명세된 의미구조를 자바로 구현해 파이썬 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 2.0이 구현 가능한 실제적인 의미 구조임을 입증하고, 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식 2.0을 기존의 대표적인 의미 표현법과 비교하여 본 작용식 2.0의 우월성을 확인하고자 한다.

임상간호사의 욕창예방행위 구조모형 (A Structural Equation Model of Pressure Ulcer Prevention Action in Clinical Nurses)

  • 이숙자;박옥경;박미연
    • 대한간호학회지
    • /
    • 제46권4호
    • /
    • pp.572-582
    • /
    • 2016
  • Purpose: The purpose of this study was to construct and test a structural equation model for pressure ulcer prevention action by clinical nurses. The Health Belief Model and the Theory of Planned Behavior were used as the basis for the study. Methods: A structured questionnaire was completed by 251 clinical nurses to analyze the relationships between concepts of perceived benefits, perceived barriers, attitude, subjective norm, perceived control, intention to perform action and behavior. SPSS 22.0 and AMOS 22.0 programs were used to analyze the efficiency of the hypothesized model and calculate the direct and indirect effects of factors affecting pressure ulcer prevention action among clinical nurses. Results: The model fitness statistics of the hypothetical model fitted to the recommended levels. Attitude, subjective norm and perceived control on pressure ulcer prevention action explained 64.2% for intention to perform prevention action. Conclusion: The major findings of this study indicate that it is essential to recognize improvement in positive attitude for pressure ulcer prevention action and a need for systematic education programs to increase perceived control for prevention action.

병원 환자 운반 업무의 작업 부하 분석에 NIOSH 들기 작업 공식의 적용 가능성 (Applicability of NIOSH Lifting Equation to analysis of Workload for Patients Transferring)

  • 기도형
    • 대한인간공학회지
    • /
    • 제25권2호
    • /
    • pp.43-50
    • /
    • 2006
  • The purpose of this study was to investigate applicability of NIOSH lifting equation(NLE) to analysis of workload for patient transferring. In principle, the NLE is not applied to analyzing workload of patient transferring, because 1) the task is generally performed by two or more persons; 2) unlike ordinary objects, human body of patients is basically unstable load with their location of the center of mass significantly varying during lifting activity; and 3) the task is done in a restricted work space. This study was conducted through comparison of NIOSH lifting indexes(LIs) and L5/S1 compressive forces by 3DSSPP for patient transferring tasks performed by 2~6 persons. The results showed that LIs are linearly correlated with L5/S1 compressive forces with correlation coefficient of 0.92, which resulted in a significant simple linear regression equation for LIs and L5/S1 compressive forces. Consequently, it was concluded that the NLE is applicable to transferring patient only with slight modification. Based on the results, instead of 1.0 originally used by NIOSH, the LI of 1.5 was proposed as a gauge to estimate whether or not the task needs corrective action to reduce risk for developing lifting-related low back pain.

자동차 조립 부서 Manual Lifting 작업에 관한 인간공학적 연구 (An Ergonomic Study on Manual Lifting Tasks in Motor Assembly Processes)

  • 권은혜;백남원
    • 한국산업보건학회지
    • /
    • 제8권1호
    • /
    • pp.1-23
    • /
    • 1998
  • Work-related Low Back Pain(LBP) is one of tile most important Issues in the field of industrial safety and health. Particularly, manual lifting is known as a major cause of work-related LBP and impairment. Total number of 163 manual lifting tasks in motor assembly processes were investigated. The 1981 and the 1994 equations developed by National Institute for Occupational Safety and Health(NIOSH) were applied to evaluate potential hazards of lifting-related LBP. Comparisons between the 19R I and 1994 NIOSH criteria were made. The relationships between the NIOSH criteria and lifting-related LBP were also analyzed. The results of this study are as follows: 1. The values of Action Limit(AL) by the NIOSH 1981 lifting equation. Recommended Weight Limit(RWL) by the 1994 equation and the weight of the load handled at each manual lifting task were shown log-normal distributions. 2. LI'(the weight of tile load/AL) and LI(the weight of the load/RWL) were calculated estimate the physical stress imposed by each individual lifting task. As a result. 76.7% of the total LI' value exceeded 1 and 12.9% exceeded 3, and 84.7% of the total LI values exceeded 1 and 20.9% exceeded 3. 3. Bus 2 Department showed the highest rate of LI'>1 and LI>1 and Bus 1 Department showed the highest rate of LI'>3 and LI>3 4. In general, the RWLs by the 1994 equation were found lower than the ALs by the 1981 equation. It is assumed to he resulted from the fact that the 1994 equation includes methods evaluating asymmetrical lifting tasks and lifts of objects with less then optimal hand-container couplings, and also covers a larger range of work durations and lifting frequencies than the 1981 equation. 5. Significant correlations were found between LI' and incidence of LBP (R=0.734, p<0.05). LI and incidence of LBP(R=0.671. p<0.10) and load-weights and incidence of LBP(R=0.797, p<0.05). 6. Control measures are required to achieve the value of LI less than 1 for some tasks having high LI values. Engineering control is highly recommended for some tasks having the value of LI above 3.

  • PDF

HFC125/134a계의 기-액상평형에 관한 연구 (Investigation of vapor-liquid equilibrium of HFC125/134a system)

  • 김창년;박영무
    • 설비공학논문집
    • /
    • 제10권2호
    • /
    • pp.238-250
    • /
    • 1998
  • Vapor-liquid equilibrium apparatus is designed and set up. The vapor-liquid equilibrium data of the binary system HFC125/134a are measured in the range between 268.15 and 283.15K at five compositions. Twenty-five equilibrium data are obtained. To verify consistency of these data, they are tested for thermodynamic consistency. Based upon the present data, the binary interaction parameter for CSD and RKS equation of state is calculated at five isotherms and comparison with the data in the open literatures is made. Results of Nagel and Bier are in very good agreements with those from this study within 0.32∼1.11% for bubble point pressure and -0.66∼0.18% for vapor mole fraction.

  • PDF

소비자의 가치관이 커피전문점 방문 의도에 미치는 영향: 합리적 행동이론을 중심으로 (The Effect of Consumer's Values on Behavior Intention in Coffee Shops: Using of RAT)

  • 남중헌
    • 한국프랜차이즈경영연구
    • /
    • 제6권2호
    • /
    • pp.1-16
    • /
    • 2015
  • The purpose of this study was to examine the structural relationships among consumer's values(individualism and collectivism), attitude, subjective norms, and visit intention using reasoned action theory(RAT). The data were collected from 12 5 customers who visited coffee shops in Seoul and Kyonggi and were analyzed using structural equation modeling with SPSS and AMOS The result of the overall model analysis appeared as follows: χ2=11.347, df=2, p=0.003, GF I=0.966, NF I=0.946, CF I=0.954, RMR=0.05 The findings are as follows: First, collectivism had a positive influence on attitudes and subjective norms. Second, Individualism had a significant positive influence on attitude toward coffee shops, but not on subjective norms. Third, both attitude and subjective norm had positive effects on visit intention.

겹침이음 실험을 통한 SD600 확대머리철근의 정착강도 평가 (Strengths of Lap Splices Anchored by SD600 Headed Bars)

  • 천성철;이진곤
    • 콘크리트학회논문집
    • /
    • 제25권2호
    • /
    • pp.217-224
    • /
    • 2013
  • ACI 318-08에 신설된 확대머리 철근의 정착길이 설계식은 콘크리트 강도, 철근 항복강도, 철근 지름만을 변수로 횡보강철근의 영향을 고려하지 않고 있다. 또한 제한적인 데이터에 근거한 설계식으로 순간격과 재료강도에 엄격한 제한을 두고 있다. 이 연구에서는 철근 항복강도 600 MPa의 고강도 철근을 사용하여, $2d_b$의 좁은 순간격을 갖고 횡보강철근을 배근한 겹침 이음 실험을 실시하였다. 실험 결과 횡보강철근을 배근하지 않은 실험체의 경우, 프라잉 거동으로 인해 하부 피복콘크리트가 일찍 탈락되었다. 전체 정착강도 중 확대머리 지압의 기여도는 평균 15%로 지압이 제대로 발현되기 전에 파괴되었다. 이음길이 전체에 스터럽을 배근한 횡보강 실험체는 프라잉 거동이 억제되고 횡보강에 의한 부착강도 증진으로 무보강에 비해 지압과 부착이 모두 증가하였다. 이음 단부에만 횡보강철근을 배근한 단부보강 실험체의 경우, 프라잉 거동은 억제되었지만 이음구간의 부착이 크게 증가되지 않아 지압이 충분히 발현되기 전에 부착에 의해 파괴되었다. 실험결과를 회귀 분석하여 확대머리 철근의 정착강도 평가식을 제안하였다. 평가식은 부착과 지압의 영향을 분리하여 구성하였으며, 콘크리트강도, 횡방향 철근 지수, 정착길이를 설계 변수로 포함하였다. 실험 결과와 비교한 결과 평균 1.0, 변동계수 6%로 변수에 따른 편향 없이 정착강도를 예측하였다.

Understanding the Determinants of Behavioral Intentions towards Adoption of Web 2.0 Tools in Workplaces : An Empirical Study

  • Wang, Tao;Jung, Chul-Ho;Chung, Young-Soo
    • Journal of Information Technology Applications and Management
    • /
    • 제18권3호
    • /
    • pp.73-89
    • /
    • 2011
  • More and more employees are implementing the use of emerging Web 2.0 tools such as blogs, wikis, social networks, etc in workplaces. However, their attitudes towards adoption of Web 2.0 tools in workplaces still lack theoretical support. The purpose of this study aims to provide a conceptual examination of the determinants that influence the intention to use Web 2.0 applications in workplaces in Korea. To achieve this objective, this study selected the theory of reasoned action (TRA) as a theoretical basis to explain variation in behavioral intentions. Structural equation modeling was employed to analyze data collected from 269 workers distributed in 5 companies in Korea. In addition, we classified respondents into extroverts and introverts and delineated the different factors for these two types of respondents that affect their intentions to use Web 2.0 tools in workplaces. The findings of this research could provide a theoretical foundation for academics on the validation of technology adoption. This research will also serve as a guideline for service providers in designing the Web 2.0 services.

50세 이상 성인의 대상포진 예방행위 관련변인들 간의 구조분석 (The Structural Equation Model Analysis among Variables of Preventive Behavior to Herpes Zoster for Adults over 50 Years Old)

  • 오향옥
    • 대한보건연구
    • /
    • 제44권4호
    • /
    • pp.67-82
    • /
    • 2018
  • 연구목적: 본 연구는 50세 이상 성인의 대상포진 예방행위 관련 변인들을 분석하고자 시도된 구조분석 연구이다. 연구방법: 본 연구의 표적 모집단은 B시의 노인 건강대학 프로그램 참가자, C시의 종합복지관의 취미교실 프로그램 참가자. C시의 지역사회 거주자 중 50세 이상 성인을 대상으로 하여 응답자의 연령이 50세 이하인 7명과 불성실한 응답내용 8부를 제외한 225부를 최종분석 자료로 사용하였다. 본 연구의 자료 수집 기간은 2016년 6월 15일부터 동년 7월 15일까지 이었으며, 수집된 자료는 IBM사의 SPSS statistics 18.0과 AMOS version 18.0 프로그램을 이용하여 처리하였다. 연구결과: 모형검증 결과, ${\chi}^2=365.785$(df=193, p<.001), $CMIN/DF({\chi}^/df)=1.90$, GFI=0.88, AGFI=0.84, NFI=0.88, TLI=0.93, CFI=0.94, RMR=0.07, RMSEA=0.06 이었으며, 50세 이상 성인의 대상포진 예방행위에 대한 태도와 지각된 행위 통제는 대상포진 예방행위에 직접적인 영향을 미치며, 이 중 가장 큰 총효과를 나타낸 것은 대상포진 예방행위에 대한 태도이었다. 결론: 50세 이상 성인의 대상포진 예방행위 수행을 높이기 위해서는 태도의 변화를 유도하고, 지각된 행위통제를 강화하여 예방행위 수행을 높이는 교육프로그램의 개발과 전략이 필요하다.

체납된 건강보험료 징수 가능성 예측모형 개발 연구 (Development Study of a Predictive Model for the Possibility of Collection Delinquent Health Insurance Contributions)

  • 나영균
    • 보건행정학회지
    • /
    • 제33권4호
    • /
    • pp.450-456
    • /
    • 2023
  • Background: This study aims to develop a "Predictive Model for the Possibility of Collection Delinquent Health Insurance Contributions" for the National Health Insurance Service to enhance administrative efficiency in protecting and collecting contributions from livelihood-type defaulters. Additionally, it aims to establish customized collection management strategies based on individuals' ability to pay health insurance contributions. Methods: Firstly, to develop the "Predictive Model for the Possibility of Collection Delinquent Health Insurance Contributions," a series of processes including (1) analysis of defaulter characteristics, (2) model estimation and performance evaluation, and (3) model derivation will be conducted. Secondly, using the predictions from the model, individuals will be categorized into four types based on their payment ability and livelihood status, and collection strategies will be provided for each type. Results: Firstly, the regression equation of the prediction model is as follows: phat = exp (0.4729 + 0.0392 × gender + 0.00894 × age + 0.000563 × total income - 0.2849 × low-income type enrollee - 0.2271 × delinquency frequency + 0.9714 × delinquency action + 0.0851 × reduction) / [1 + exp (0.4729 + 0.0392 × gender + 0.00894 × age + 0.000563 × total income - 0.2849 × low-income type enrollee - 0.2271 × delinquency frequency + 0.9714 × delinquency action + 0.0851 × reduction)]. The prediction performance is an accuracy of 86.0%, sensitivity of 87.0%, and specificity of 84.8%. Secondly, individuals were categorized into four types based on livelihood status and payment ability. Particularly, the "support needed group," which comprises those with low payment ability and low-income type enrollee, suggests enhancing contribution relief and support policies. On the other hand, the "high-risk group," which comprises those without livelihood type and low payment ability, suggests implementing stricter default handling to improve collection rates. Conclusion: Upon examining the regression equation of the prediction model, it is evident that individuals with lower income levels and a history of past defaults have a lower probability of payment. This implies that defaults occur among those without the ability to bear the burden of health insurance contributions, leading to long-term defaults. Social insurance operates on the principles of mandatory participation and burden based on the ability to pay. Therefore, it is necessary to develop policies that consider individuals' ability to pay, such as transitioning livelihood-type defaulters to medical assistance or reducing insurance contribution burdens.