• KIPS Transactions on Computer and Communication Systems
• /
• v.10 no.6
• /
• pp.163-172
• /
• 2021

To specify a formal semantics for a programming language is to do a significant part for design, standardization and translation of it. The Python is popular and powerful, it is necessary to do research for a formal semantics to specify a static and dynamic semantics for Python clearly in order to design a similar language and do an efficient translation. This paper presents the Action Equation 2.0 that specifies a formal semantics for Python to change and update Action Equation. To measure the execution time for Python programs, we implemented the semantic structure specified in Action Equation 2.0 in Java, and prove through simulation that Action Equation 2.0 is a real semantic structure that can be implemented. The specified Action Equation 2.0 is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation 2.0 is superior to other formal semantics.

• Journal of Korean Academy of Nursing
• /
• v.46 no.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.

• Journal of the Ergonomics Society of Korea
• /
• v.25 no.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.

• Journal of Korean Society of Occupational and Environmental Hygiene
• /
• v.8 no.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.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.10 no.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.

• The Korean Journal of Franchise Management
• /
• v.6 no.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.

• Journal of the Korea Concrete Institute
• /
• v.25 no.2
• /
• pp.217-224
• /
• 2013

Design provisions for the development length of headed bars in ACI 318-08 include concrete compressive strength and yield strength of headed bars as design parameters but do not consider the effects of transvers reinforcement. In addition, they have very strict limitation for clear spacing and material strengths because these provisions were developed based on limited tests. In this study, splice tests using SD600 headed bars with $2d_b$ clear spacing and transverse reinforcement were conducted. Test results show that unconfined specimens failed due to prying action and bottom cover concrete prematurely spalled. The contribution of head bearing on the anchorage strength is only 15% on average implying that unconfined specimens failed before the head bearing was not sufficiently developed. Confined specimens with stirrups placed along whole splice length have enhanced strengths in bearing as well as bond because the stirrups prevented prying action and improved bond capacity. Bond failure occurred in locally confined specimens where stirrups were placed only at the ends of splice length. The stirrups at ends of splice lengths can prevent prying action but the bond capacity did not increase. From regression analysis of test results, an equation to predict anchorage strength of headed bars was developed. The proposed equation consists of bond and bearing contributions and includes transverse reinforcement index. The average ratio of tests to predictions is 1.0 with coefficient of variation of 6%.

• Journal of Information Technology Applications and Management
• /
• v.18 no.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.

• Korean Public Health Research
• /
• v.44 no.4
• /
• pp.67-82
• /
• 2018

Objective : This study is purposed to suggest basic data of developing program preventing Herpes zoster by analysis of related variables for adults over 50 years old. Methods : Data had been collected by 225 adults over 50 years old who participated in health program in B city, interested program of welfare service center in C city and community residence through self-administered questionnaire from $15^{th}$ June to $15^{th}$ July 2016. The collected data was analyzed by IBM SPSS statistics v.18 and AMOS v.18. Results : Based on the verification of model by the results of the study, ${\chi}^2=365.785$(df=193, p<.001), $CMIN/DF({\chi}^2/df)=1.90$, GFI=0.88, AGFI=0.84, NFI=0.88, TLI=0.93, CFI=0.94, RMR=0.07, RMSEA=0.06, The action of Herpes zoster preventive behavior and perceived behavior control for adults over 50 years old made direct influence to the Herpes zoster preventive behavior and the attitude of preventive behavior showed the largest total effect. Conclusions : In conclusion, for improving action of Herpes zoster preventive behavior for adults over 50 years old, it is important to induce change of attitude about Herpes zoster preventive behavior. Also, the development and strategy of education program, which can improve action of Herpes zoster preventive behavior, are necessary through emphasizing perceived behavior control about Herpes zoster preventive behavior.

• Health Policy and Management
• /
• v.33 no.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.