• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권1호
• /
• pp.62-66
• /
• 2009

많은 컴파일러는 속도를 높이기 위해서 최적화를 수행한다. 최적화의 결과로 프로그램의 구문이 변경된다. 단일 스레드 소프트웨어에서는 변경된 구문이 영향을 받지 않지만 멀티스레드 소프트웨어에서는 변경된 구문 때문에 예상하지 못한 실행 결과가 발생할 수 있다. 멀티 스레드자바 소프트웨어는 스레드들 간에 메모리를 통한 상호작용을 자바 메모리 모델을 통해서 명세 한다. 자바 메모리 모델은 자바언어의 표준 메모리 모델이다. 하지만 현재까지 나와 있는 어떠한 자바 모델 체킹 도구도 자바 메모리 모델을 지원하지 않는다. 본 논문에서는 자바 메모리 모델을 지원하는 모델 체킹 도구를 개발하기 위해서 자바 메모리 모델을 지원하는 시물레이터를 많은 모델 체킹 도구에서 사용되는 SMT 기반으로 구현했다. SMT 기반 메모리 모델 시뮬레이터는 기존의 메모리 모델 시뮬레이터에서 몇분이 걸리는 계산 결과를 1초 이내에 계산하였다. 또한 이를 통해 기존 소프트웨어 모델 체킹에서 표현할 수 없는 실행 결과를 빠르게 표현할 수 있다.

• Asian-Australasian Journal of Animal Sciences
• /
• 제29권4호
• /
• pp.464-470
• /
• 2016

The objective of this study was to investigate the accuracy of imputation from low density (LDC) to moderate density SNP chips (MDC) in a Thai Holstein-Other multibreed dairy cattle population. Dairy cattle with complete pedigree information (n = 1,244) from 145 dairy farms were genotyped with GeneSeek GGP20K (n = 570), GGP26K (n = 540) and GGP80K (n = 134) chips. After checking for single nucleotide polymorphism (SNP) quality, 17,779 SNP markers in common between the GGP20K, GGP26K, and GGP80K were used to represent MDC. Animals were divided into two groups, a reference group (n = 912) and a test group (n = 332). The SNP markers chosen for the test group were those located in positions corresponding to GeneSeek GGP9K (n = 7,652). The LDC to MDC genotype imputation was carried out using three different software packages, namely Beagle 3.3 (population-based algorithm), FImpute 2.2 (combined family- and population-based algorithms) and Findhap 4 (combined family- and population-based algorithms). Imputation accuracies within and across chromosomes were calculated as ratios of correctly imputed SNP markers to overall imputed SNP markers. Imputation accuracy for the three software packages ranged from 76.79% to 93.94%. FImpute had higher imputation accuracy (93.94%) than Findhap (84.64%) and Beagle (76.79%). Imputation accuracies were similar and consistent across chromosomes for FImpute, but not for Findhap and Beagle. Most chromosomes that showed either high (73%) or low (80%) imputation accuracies were the same chromosomes that had above and below average linkage disequilibrium (LD; defined here as the correlation between pairs of adjacent SNP within chromosomes less than or equal to 1 Mb apart). Results indicated that FImpute was more suitable than Findhap and Beagle for genotype imputation in this Thai multibreed population. Perhaps additional increments in imputation accuracy could be achieved by increasing the completeness of pedigree information.

• 복식문화연구
• /
• 제18권1호
• /
• pp.13-28
• /
• 2010

This study is focused on the elucidation of efficient and correct marking methods by comparing and analyzing marker efficiency depending on the marking job condition such as interval of checking-pattern and marker orientation using woman's Jacket and Slacks. Research Method intended to compare the marking efficiency of Jacket and Slacks, check-less and check- patterned materials with the intervals of $1.5{\times}1.5cm$ and $5{\times}5cm$ were selected. First, in the comparison of marking efficiency depending on check-pattern interval, regardless of the direction of marker position, single-item makers and set-item makers, the efficiency of check-less materials was higher than those of check-patterned materials and increasing the intervals decreased marking efficiency and vice versa. Marking efficiency of Slacks was less influenced than marking efficiency of Jacket by check-pattern interval. Second, in the comparison of marking efficiency depending on the direction of marker position, regardless of check-pattern interval and number of maker pieces, the efficiency of nap-up-and-down position was higher than those of nap-one-way position. Third, the marking efficiency of single-item was more effective than one of set-item in all working condition except nap-one-way position in checkless materials.

• 한국운동역학회지
• /
• 제15권4호
• /
• pp.143-151
• /
• 2005

This study was conducted to investigate the technical factors of Cuervo forward straight vaults with single twist, single and half twists, and double twists actually performed by three execellent male gymnasts participated in artistic gymnastics competition of 2003 summer Universiade in Daegu and the 85th National Sports Festival in Cheongju. To accomplish the research goals the Cuervo vaults of three gymnasts were filmed by using three digital camcorders set by 60 Hz, and data were collected through the DLT method of three dimensional cinematography. The kinematic and kinetic variables as each phasic time, CM displacement velocity, release angle inclination angle hip joint angle landing angle, average horse reaction force average moment arm average torque, whoe body's total remote local angular momentum were analyzed, so the following conclusions were reached. Generally to perform the better Cuervo vault, a gymnast should touch down on the board with the great horizontal velocity of the whole body through the fast run-up, and touch down on the horse by decreasing the horizontal displacement of the whole body during the preflight, so raise CM height gradually within a short horse contact time. He should increase the horse reaction force through checking the horizontal velocity of the whole body effectively and the inclination angular displacement of the handstand, if so he can have the large vertical velocity of the whole body. By using the acquired the velocity and the angular momentum of the whole body, he can vault himself higher and twist sufficiently, then he can get better if the body could be tilted by swinging both arms and perform the cat twist with a little flexions at hip joints. According to the above outcomes we can judge that the best athletes is LuBin, the better is YTY, and the next is JSM.

• Journal of Ginseng Research
• /
• 제41권3호
• /
• pp.326-329
• /
• 2017

Background: Cultivated ginseng is often introduced as a substitute and adulterant of Russian wild ginseng due to its lower cost or misidentification caused by similarity in appearance with wild ginseng. The aim of this study is to develop a simple and reliable method to differentiate Russian wild ginseng from cultivated ginseng. Methods: The mitochondrial NADH dehydrogenase subunit 7 (nad7) intron 3 regions of Russian wild ginseng and Chinese cultivated ginseng were analyzed. Based on the multiple sequence alignment result, a specific primer for Russian wild ginseng was designed by introducing additional mismatch and allele-specific polymerase chain reaction (PCR) was performed for identification of wild ginseng. Real-time allele-specific PCR with endpoint analysis was used for validation of the developed Russian wild ginseng single nucleotide polymorphism (SNP) marker. Results: An SNP site specific to Russian wild ginseng was exploited by multiple alignments of mitochondrial nad7 intron 3 regions of different ginseng samples. With the SNP-based specific primer, Russian wild ginseng was successfully discriminated from Chinese and Korean cultivated ginseng samples by allele-specific PCR. The reliability and specificity of the SNP marker was validated by checking 20 individuals of Russian wild ginseng samples with real-time allele-specific PCR assay. Conclusion: An effective DNA method for molecular discrimination of Russian wild ginseng from Chinese and Korean cultivated ginseng was developed. The established real-time allele-specific PCR was simple and reliable, and the present method should be a crucial complement of chemical analysis for authentication of Russian wild ginseng.

• 한국산학기술학회논문지
• /
• 제16권6호
• /
• pp.4276-4283
• /
• 2015

본 연구에서는 미생물 반응으로 생성된 탄산칼슘을 현장에서 활용되고 있는 주입장비와 유사하게 제작하여 모래지반에 주입함으로 지반조건에 따른 주입범위 및 주입효과를 확인하고자 하였다. 본 연구를 위해 2종류의 단층토(SP, SW)를 D 150mm ${\times}$ H 300mm의 모형토조에 상대다짐도 80, 85, 90, 95%로 제작하여 주입실험을 수행하였다. 주입 후 강도개선효과를 확인하기 위해 일축압축강도를 측정하였고, 주입노즐 주변의 구근형성을 통해 주입범위를 살펴보았다. 그 결과, SW시료는 상대다짐도 85% 이상에서 주입률이 10% 이하로 나타났으며, 지반의 상대다짐도에 따라 Bio-grouting의 주입률 및 고결범위에 영향이 있음을 확인 할 수 있었다.

• 대한토목학회논문집
• /
• 제28권4D호
• /
• pp.579-586
• /
• 2008

본 연구에서는 농구코트 기준선을 모델로 가상기준점(VRS) 기법, DGPS 기법 및 휴대용 GPS 수신기를 사용한 절대측량기법(PP)을 실시간 적용하고 측위방법별로 획득한 수평궤적 및 고도성분의 분포를 실측제원과 비교 분석하였다. 연구결과, 실제 농구코드의 규격대비 수평궤적은 VRS, DGPS 및 PP 기법에서 각각 ${\pm}$수cm, ${\pm}m$ 및 ${\pm}2m$의 편차 폭을 나타내었다. 또한, 코트의 경사도와 주요 점검점의 고도편차를 검토할 때, VRS 측량궤적은 실측제원에 매우 근접한 결과로 나타난 반면, DGPS 및 PP의 결과는 상대적으로 큰 편차를 보였다. GNSS 상시관측망의 통합 확대운영에 따른 양질의 VRS서비스와 서비스지역의 확대는 Single based RTK 대비 매우 효율적 기술로서 특히, 실시간 건설공사 현장 등에서 그 활용이 기대된다.

• 대한족부족관절학회지
• /
• 제27권1호
• /
• pp.12-16
• /
• 2023

Purpose: Postoperative exercise for acute Achilles tendon rupture is important for a patient's return to daily life and sports. On the other hand, the protocol requires considerable effort to educate patients and continuous checking. This study evaluated the outcome of a new simple and delayed rehabilitation protocol after Achilles tendon rupture repair. Materials and Methods: From July 2014 to November 2020, one hundred eighty-three patients were operated on by one surgeon. The exercise protocol was classified into two methods. One group (immediate protocol, control group) started immediate full weight bearing with a 20° plantar flexion range of motion from two days postoperatively. Ankle dorsiflexion was restricted to 0°. The other group (delayed protocol, case group) started full weight bearing with a controlled ankle motion boot from two weeks postoperatively. No range of motion exercise was allowed until six weeks postoperatively. Age, sex, body mass index, ankle range of motion, muscle power, time to return to previous physical activity, functional score, and complication rate were evaluated. The results of the two groups were compared using a Mann-Whitney test. Statistical significance was set as p<0.05. Results: The range of motion, double heel rising, and one-leg standing were achieved faster in the control group (p<0.05). However, single-heel rising, repeated single-heel rising, return to previous activity (work, run, and sport), and functional scores showed no statistical difference (p>0.05). Conclusion: Simple and delayed postoperative rehabilitation of acute Achilles tendon rupture without active range of motion exercises showed satisfactory functional results and a low complication rate.

• 한국간호교육학회지
• /
• 제11권2호
• /
• pp.278-286
• /
• 2005

Purpose: The purpose of this study was to find out the effectiveness of the CPR training for non-healthcare providers by checking the performing ability of the subjects before and after the teaching class. Method: This study was a single primary experimental study designed with pre and post test. Study subjects were 37 office staffs who participated in all test from March, 10th, 2005 to April, 18th, 2005. The tools of this study were CPR performing evaluation sheet and CPR teaching computer program. Data analyzed by descriptive statistics, t-test, repeated ANOVA and Bonferroni with SPSS 12.0 program. Result: The CPR practice performing ability statistically significant increased by the step of test. The CPR practice performing ability of learning experience group had significantly high score than non experience group. The self-confidence about CPR practice when faced emergency situation was increased after practice training. Conclusion: One to one CPR practice teaching method using simulation by CPR teaching specialists was turned out to be very effective in improving the ability of CPR practice of non-healthcare providers in a tertiary hospital than self-study.

• 한국CDE학회논문집
• /
• 제20권2호
• /
• pp.124-132
• /
• 2015

When Building Information Modeling (BIM) was introduced at the early stage, it was only utilized as a three-dimensional visualization tool. Nowadays, however, BIM is being studied for increasing design productivity and managing enormous information on building life cycle. One of the representative research is developing 'common prototype BIM libraries'. BIM data made of common prototype libraries should be utilized in various ways, quantity takeoff, code checking, energy analysis and so on. However, common prototype BIM libraries are not enough to estimate accurate cost. For example, composite wall libraries should be divided into several single objects, wall structure and finishes, for the quantity takeoff and construction cost calculation. In this paper, we are suggesting an automated division algorithm of composite wall and developing a system prototype for it. This study is expected to reduce extra modeling work and contribute to fast and accurate cost calculation in the construction.