• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

• Journal of the Korea Convergence Society
• /
• v.9 no.11
• /
• pp.169-177
• /
• 2018

This convergence study was combined research on identifying the effect of health behavior and awareness of Korean wave (Hallyu) on academic adjustment of foreign students living in Korea, and providing support for future foreign students to easily adjust to Korean culture. The subjects for this study are foreign students attending G University and were studied from April 2nd to 30th,2018. The collected data were analyzed using SPSS statistical program. According to the multiple regression analysis which was conducted to analyze the effect of health behavior and awareness of Korean wave on academic adjustment of foreign students, the older and the longer the stay, the poorer the academic adjustment; on the other hand, the higher the frequency of exercise and awareness of Korean wave, the better the academic adjustment. Further, it is necessary to address plans and measures to develop academic adjustment of foreign students by providing health care programs and Korean wave culture programs on sustainable health education and sports.

• Journal of the Korea Convergence Society
• /
• v.12 no.5
• /
• pp.71-77
• /
• 2021

The present study aimed to find out how the trunk muscles, which are mainly used in Cardio-Pulmonary Resuscitation, affect chest compression through plank exercise. Study subjects participated in a 12-week program, and subjects performed only chest compressions for 8 minutes. Regarding their change in a muscle mass by plank exercise, there was a statistically significant difference in the change from 4th to 8th week after the program(p<.01). The muscle activity change had a statistically significant difference from 3rd to 10th week(p<.01). The chest compression depth had a statistically significant difference from 4th to 8th week(p<.01). In addition, insufficient chest relaxation height after compression had a statistically significant difference from 4th to 10th week(p<.01). The chest compression maintenance time had a statistically significant difference from 2nd to 12th week(p<.01). The participants' muscle mass and muscle activity increased more after their participation in plank exercise program than before. All chest compression factors except for chest compression rate brought about positive results.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.18 no.4
• /
• pp.207-222
• /
• 2023

In order to improve employment rates, most universities operate programs to strengthen students' employment and entrepreneurship, regardless of whether they are selected as the Leading Industry-Innovative University (LINC) or not. In particular, in the case of non-metropolitan universities are risking their lives to improve employment rates. In order to overcome the limitations of university establishment type and university location, which absolutely affect the employment rate, we are operating a startup education & startup support program in order to strengthen employment and entrepreneurship, and capstone design & field training as industry-academia-linked education programs are always available. Although there are studies on effectiveness verification centered on LINC (Leaders in Industry-University Cooperation) in previous studies, but a longitudinal study was conducted on all factors of university factors, startup education & startup support, and capstone design & field training as industry-university-linked education programs as factors affecting the employment rate based on public disclosure indicators. No cases of longitudinal studies were reported. This study targets 116 universities that satisfy the conditions based on university disclosure indicators from 2018 to 2020 that were recently released on university factors, startup education & startup support, and capstone design & field training as industry-academia-linked education programs as factors affecting the employment rate. We analyzed the differences between the LINC (Leaders in Industry-University Cooperation) 51 participating universities and 64 non-participating universities. In addition, considering that there is no historical information on the overlapping participation of participating students due to the limitations of public indicators, the Exposure Effect theory states that long-term exposure to employment and entrepreneurship competency enhancement programs will affect the employment rate through competency enhancement. Based on this, the effectiveness of the 2nd LINC+ (socially customized Leaders in Industry-University Cooperation) was verified from 2017 to 2021 through a longitudinal causal relationship analysis. As a result of the study, it was found that the startup education & startup support and capstone design & field training as industry-academia-linked education programs of the 2nd LINC+ (socially customized Leaders in Industry-University Cooperation) did not affect the employment rate. As a result of the longitudinal causal relationship analysis, it was reconfirmed that universities in metropolitan areas still have higher employment rates than universities in non-metropolitan areas due to existing university factors, and that private universities have higher employment rates than national universities. Among employment and entrepreneurship competency strengthening programs, the number of people who complete entrepreneurship courses, the number of people who complete capstone design, the amount of capstone design payment, and the number of dedicated faculty members partially affect the employment rate by year, while field training has no effect at all by year. It was confirmed that long-term exposure to the entrepreneurship capacity building program did not affect the employment rate. Therefore, it was reconfirmed that in order to improve the employment rate of universities, the limitations of non-metropolitan areas and national and public universities must be overcome. To overcome this, as a program to strengthen employment and entrepreneurship capabilities, it is important to strengthen entrepreneurship through participation in entrepreneurship lectures and actively introduce and be confident in the capstone design program that strengthens the concept of PBL (Problem Based Learning), and the field training program improves the employment rate. In order for actually field training affect of the employment rate, it is necessary to proceed with a substantial program through reorganization of the overall academic system and organization.

• Research in Community and Public Health Nursing
• /
• v.14 no.4
• /
• pp.568-578
• /
• 2003

This study was conducted to estimate the effects of self-care program on knowledge and symptoms related hypertension self-care and physiological index in essential hypertensive patients aged between 35-74 year. The subjects for the experiment group and the control group of this study were 70 men and women selected through random sampling from adults at Sangju Red Cross Hospital in Gyeongsanbuk-do, and the experiment was carried out during the period from the 15th of September to the 30th of April in 2002. This study measured systolic and diastolic blood pressure (SBP, DBP, the mean value of the two measures) and total cholesterol (TC) and surveyed the subjects' diet and life style in relation to hypertension using a self-report questionnaire. In order to study the significance of the effects of self-care program, the author carried out t-test, paired t-test, ANCOVA, chi-square analysis and effectiveness index (EI) analysis. Results of the study are as follows: The experiment group got higher mean scores than the control group in the degree of low sodium intake and the degree of high calcium and high potassium intake, and the difference was statistically significant(P<0.05). The effectiveness index of the self-care program in smoking was 0.797 at the 1st posttest and 0.601 at the 2nd posttest, and in physical activities 0.600 at the 1st posttest and 0.849 at the 2nd posttest. The rate of regular antihypertensive drugs intake of the experimental group was higher than that of the control group. and the effectiveness index of the self-care program was 0.715. The mean score of the systolic blood pressure of the experimental group was lower than that of the control group, and the difference was statistically significant(P<0.05). In conclusion, these findings support usefulness of self-care programs in reducing systolic blood pressure and in promoting self-care related to diet and life style for treating and preventing hypertension.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2007.04a
• /
• pp.135-140
• /
• 2007

Due to the expensiveness of IKONOS Pro and Precision Products, it is attractive to use the low-cost IKONOS Geo Product with vendor-provided RPCs to produce highly accurate mapping products. The imaging geometry of IKONOS high-resolution imagery is described by RFs instead of rigorous sensor models. This paper presents four different models defined respectively in object space and image space to improve the accuracies of the RF-derived ground coordinates. The four models include the offset model, the scale & offset model, the affine model and the 2nd-order polynomial model. Different configurations of ground control points (GCPs) are carefully examined to evaluate the effect of the GCPs arrangement on the accuracy of ground coordinates. The experiment also evaluates the effect of different cartographic parameters such as the number location, and accuracy of GCPs on the accuracy of geopositioning.

• Monthly Korean Chicken
• /
• v.2 no.7 s.13
• /
• pp.2-8
• /
• 1996

육류중 유해물질 검사 강화 - 육계 초기 사료제한 연구 - 잔류 항생제 정성검사 키트 개발 - 일본인 육류섭취량 증가추세 - 축산폐수 단속기중 강화 - 축산물 소비촉진 홍보대책 필요 - 사료용 부연료 할당관세 $2.5{\%}$적용 - 가금티푸스 예방약 개발 - 가금인플루엔자 방역대책 시급 - 종계 ND 발생지역 백신 프로그램 - 수입종란 외래질병 매개 가능성 - 안전축산물 생산운동연합회 발족 - 중국, 닭고기 산업 잠재력 무한 - 삼계탕 수출 급속 성장중 - 소비자 단체 임원 닭 생산현장 방문 - 산란노계 처리 계속 어려워 - 인도, 육계수입 규제완화 재검토 - 축산기자재 구입 외화자금 사용가능 - 미국, 도계전 급이중단 실험 - 러시아, 수입쿼터제 부과 - 호주, 브로일러 산업 지속적 성장 - 배합사료업체 사료원료 선물구매 기피

• Proceedings of the KSR Conference
• /
• 2003.10a
• /
• pp.204-209
• /
• 2003

The railway vehicle is composed of many suspension components, such as 1st springs, 2nd dampers, that have an influence on the dynamic characteristics of high speed train. Also, the wheel/rail shapes and its contact mechanism affect the dynamic behavior of high speed train. but these geometric contact characteristics are nonlinear functions of the wheelset lateral displacement and it do not exact dynamic analysis for high speed train. there is a need to develop a new wheel/rail contact module for dynamic behavior and wheelset model is divided motor box, wheel box and wheel body. This wheel is moved by motor box and constrained by joint. It is almost same a train and its result is more exactly.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.193-195
• /
• 2001

최근 인터넷 및 이동 통신이 발달하면서 많은 사용자들 동시에 서비스할 수 있는 고성능 데이터베이스 서버가 필요하게 되었다. 또한 DRAM의 가격이 하락하고 64bit 어드레싱이 일반화되어 쉽게 수십 GB의 메모리의 서버 플랫폼을 갖추게 되어 메인 메모리 DBMS에 대한 관심이 높아지고 있다. 본 논문에서는 2세대 고성능 메인 메모리 DBMS인 P*TIME을 소개한다. P*TIME은 CPU에 비해 상대적으로 느린 메모리 성능, 저가의 멀티 프로세서 시스템 등의 현재 하드웨어 아키텍쳐를 고려한 인덱스 및 동시성 제어 기법을 활용하였고 하였고, differential logging을 사용하여 logging과 회복을 각각 병렬적으로 수행할 수 있다. 이로 인해 검색과 갱신에서 매우 높은 성능을 나타낸다. 또한 간단한 구조로 인하여 시스템 튜닝과 커스터마이징이 용이하며, 다양한 응용 프로그램 서버 구조를 수용할 수 있다. 디렉토리 서버로서 P*TIME의 성능을 실험한 결과 SUN Enterprise 6500 서버에서 내장 디렉토리 서버 환경으로 60~70만 TPS의 검색 성능을 보이며 10만 TPS 이상의 생신 성능을 보인다. 또한 클라이언트/서버 환경에서도 10만 TPS 이상의 검색 성능을 나타내었다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2012.10a
• /
• pp.815-817
• /
• 2012