• Title/Summary/Keyword: Action Equation 3.0

검색결과 32건 처리시간 0.02초

자바 람다식에 대한 형식 의미론 (Formal Semantics for Lambda Expression of Java)

  • 한정란
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제12권5호
    • /
    • pp.157-164
    • /
    • 2023
  • 자바의 최신 기능인 함수 인터페이스와 람다식에 대한 의미구조를 명세하는 것은 향후 유사한 기능을 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 자바의 함수 인터페이스와 람다식에 대한 의미구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 함수 인터페이스와 람다식의 정적·동적 의미구조를 표현하는 작용식 3.0을 새롭게 제시한다. 작용식 3.0에 명세된 의미구조를 자바로 구현해 자바 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 3.0이 구현가능한 실제적인 의미구조 명세법인 것을 입증한다. 판독성(Readability) 측면, 모듈성(Modularity) 측면, 확장성(Extensibility) 측면, 융통성(Flexibility) 측면에서 대표적인 의미구조 표현법과 작용식 3.0을 비교하여 작용식 3.0의 우월성을 확인하고자 한다.

자동차 조립 부서 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

병원 환자 운반 업무의 작업 부하 분석에 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.

외국인 근로자의 건강증진행위 구조모형: 거주기간별 다중집단분석 (Structural Equation Modeling of Health Promotion Behavior on Migrant Workers: A Multi-Group Analysis Based on the Period of Residence)

  • 정한나;김영숙
    • 대한간호학회지
    • /
    • 제54권1호
    • /
    • pp.73-92
    • /
    • 2024
  • Purpose: This study developed and tested a hypothetical model of health promotion behavior on migrant workers based on the Health Promotion Model and the Health Literacy Skills Framework. Methods: Data were collected from 298 migrant workers in 9 regions across the country from December 2020 to March 2021. The exogenous variables were e-health literacy, occupational stress, acculturation, and social support. The endogenous variables were perceived benefits of action, self-efficacy, and health promotion behavior. Data were analyzed using SPSS/WIN 25.0, AMOS 20.0, and R-4.0.3 program. Results: The model fit was appropriate. Social support had the most significant direct impact on the health promotion behavior of migrant workers. Perceived benefits of action and self-efficacy played a mediating role in the relationship among e-health literacy, social support, and health promotion behavior. Based on multi-group analysis, the migrant worker group with less than 5 years of residency had a more statistically significant effect on the relationship between perceived benefits of action and health promotion behavior than those with over 5 years. Conclusion: Providing social support as a critical administrative strategy to enhance the health promotion behavior of migrant workers is necessary. Furthermore, when developing an intervention program utilizing the internal mechanism between social support and health promotion behavior, a self-efficacy-enhancing strategy is considered to be more effective. Additionally, educating migrant workers with short-term residence of less than 5 years about the benefits of health behaviors is essential.

체납된 건강보험료 징수 가능성 예측모형 개발 연구 (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.

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.

지능형 챗봇 서비스 이용에 대한 영향요인 (Factors Affecting the Use of the Intelligent Chatbot Services)

  • 이명수;김상훈
    • 서비스연구
    • /
    • 제7권3호
    • /
    • pp.37-55
    • /
    • 2017
  • 최근 많은 기업들에서 고객관계관리의 효과적 수행을 위해 그 활용이 확산되고 있는 챗봇 서비스에 대한 관심이 커지고 있다. 본 연구는 지능형 챗봇 서비스의 이용에 영향을 미치는 요인들이 무엇인지를 실증적으로 규명하고자 하였다. 이를 위해 먼저 관련 이론들을 고찰함으로써 사용자 경험인 허니콤모형, 이성적행동이론, 기술수용모형 및 확장된 기술수용 모형 등 4가지 이론적 모형에 근거하여 연구모형 및 가설을 도출하였다. 연구모형 및 가설에 대한 실증분석을 위한 자료 수집은 233부의 유효한 설문 응답결과들을 대상으로 SmartPLS 3.0에 의한 구조방정식모형 분석을 수행하였다. 이론적 측면에서 볼 때 본 연구는 지능형 챗봇 서비스 이용에 영향을 주는 요인들을 체계적으로 도출하기 위한 개념적 틀을 제시하고 대규모 표본을 대상으로 실증분석을 함으로써 향후 지능형 챗봇 서비스 이용 연구의 이론적 기반을 구축한 기여를 하였으며, 실무적인 기여는 지능형 챗봇 서비스를 도입 활용하고자 하는 조직들에 대해 서비스의 사용자 경험(UX) 설계 방향의 실마리를 제공하였다는 점이다.

병원 환자 운반 업무의 작업 부하 분석 및 개선 방안 (Workload of Patients Transferring and its Improving Methods)

  • 기도형
    • 한국안전학회지
    • /
    • 제21권2호
    • /
    • pp.121-127
    • /
    • 2006
  • Nursing often requires heavy physical work activities such as lifting heavy loads, working in awkward postures, transferring patients, operating hazardous equipment, etc. Among various nursing tasks, patients transferring is one of the most physically demanding tasks. This study aims to investigate workload of the patients transferring, and to propose its improving methods for reducing high workload. The results showed that irrespective of methods for patients transferring and the number of workers involved, workload for most patients transferring tasks exceeded the action limit represented in terms of L5/SI compressive force of 3,400N or LI of 1.0 by NIOSH. The loads for some tasks were far larger than the maximum permissible limit of 6,400N. It is recommended that the mechanical devices for transferring patients such as ceiling crane, sling lift etc. should be introduced rather than simply increasing the number of workers in the tasks.

뇌졸중 환자의 위팔 손상 수준에 따른 위팔 활동과 일상생활 활동의 예측도 분석 - 임상적 평가를 이용한 예비 연구 - (Predictive Analyses for Activities of the Upper Extremity and Daily Living based on Impairment of the Upper Extremity in People with Stroke - Preliminary Study using Clinical Scales -)

  • 정영일;우영근
    • PNF and Movement
    • /
    • 제16권3호
    • /
    • pp.495-503
    • /
    • 2018
  • Purpose: This study analyzes the predictive power of upper extremity activity and the activities of daily living in patients with stroke using an easy-to-use evaluation tool. Methods: The Fugl-Meyer assessment (FMA) of the upper extremity and action research arm test (ARAT) are performed, and the Korean modified Barthel index (K-MBI) is measured. The predictive power of the upper extremity activity level and the daily activity level are analyzed using regression analysis. The statistical significance level is 0.05. Results: The coefficient of determination, R2, for predicting the ARAT using FMA was high at 0.88, but the regression equation for predicting the K-MBI using the FMA and ARAT did not show a statistically significant difference. Conclusion: The assessment of the upper extremity should be performed at the activity level, as well as the impairment level. The assessment for predicting the activities of daily living should be carried out for each level of the international classification of functioning (ICF), disability, and health, which can be linked to daily life, in addition to the assessment of the upper arm. Future research should conduct more diverse analyses using the ICF assessment tools at various levels.

Direct Lagrangian-based FSI formulation for seismic analysis of reinforced concrete circular liquid-containing tanks

  • Erfan Shafei;Changiz Gheyratmand;Saeed Tariverdilo
    • Earthquakes and Structures
    • /
    • 제27권3호
    • /
    • pp.165-176
    • /
    • 2024
  • In this study, a direct Lagrangian-based three-dimensional computational procedure is developed to evaluate the seismic performance of reinforced concrete liquid-containing circular tanks (RC-LCT). In this approach, fluid-structure interaction (FSI), material nonlinearity, and liquid-structure large deformations are formulated realistically. Liquid is modeled using Mie-Grüneisen equation of state (EOS) in compressible form considering the convective and impulsive motions of fluid. The developed numerical framework is validated based on a previous study. Further, nonlinear analyses are carried out to assess the seismic performance of RC-LCT with various diameter-to-liquid height ratios ranging from 2.5 to 4.0. Based on observations, semi-deep tanks (i.e., D/Hl=2.5) show low collapse ductility due to their shear failure mode while shallow tanks (i.e., D/Hl=4.0) behave in a more ductile manner due to their dominant wall membrane action. Furthermore, the semi-deep tanks provide the least over-strength and ductility due to their catastrophic failure with little energy dissipation. This study shows that LCTs can be categorized as between immediately operational and life safety levels and therefore a drift limiting criterion is necessary to prevent probable damages during earthquakes.