• 한국정보과학회논문지:시스템및이론
• /
• 제37권1호
• /
• pp.1-7
• /
• 2010

OpenMP 디렉티브 프로그램의 디버깅을 위해서 비결정적인 수행결과를 초래하는 경합을 탐지 하는 것은 중요하다. 특히, 프로그램 수행에서 가장 먼저 발생하는 최초경합은 이후에 발생하는 경합에 영향을 줄 수 있으므로 효과적인 디버깅을 위해서 반드시 탐지되어야 한다. 그러나 기존의 경합탐지 도구들은 최초경합의 탐지를 보장하지 못한다. 본 논문에서는 내포병렬성을 포함한 프로그램을 두 번의 수행으로만 프로그램의 수행 중에 최초경합을 탐지하는 도구를 제시한다. 본 도구의 정당성을 합성프로그램을 이용하여 보이고, 기존 경합탐지 도구와 기능성을 비교한다.

• 대한임베디드공학회논문지
• /
• 제13권6호
• /
• pp.305-312
• /
• 2018

Software has been used to develop many functions of the modern weapon systems which has a high mission criticality. Weapon system software must consider multi-threaded processing to satisfy growing performance requirement. However, developing multi-threaded programs are difficult because of concurrency faults, such as unintended data races. Especially, it is important to prepare analysis for debugging the data races, because the weapon system software may cause personal injury. In this paper, we present an efficient framework of analysis, called ConDeWS, which is designed to determine the scope of dynamic analysis through using the result of static analysis and fault analysis. As a result of applying the implemented framework to the target software, we have detected unintended data races that were not detected in the static analysis.

• 한국컴퓨터정보학회논문지
• /
• 제22권11호
• /
• pp.1-7
• /
• 2017

In this paper, we introduce three monitoring filtering techniques which reduce the overheads of dynamic data race detection. It is well known that detecting data races dynamically in multi-threaded programs is quite hard and troublesome task, because the dynamic detection techniques need to monitor all execution of a multi-threaded program and to analyse every conflicting memory and thread operations in the program. Thus, the main drawback of the dynamic analysis for detecting data races is the heavy additional time and space overheads for running the program. For the practicality, we also empirically compare the efficiency of three monitoring filtering techniques. The results using OpenMP benchmarks show that the filtering techniques are practical for dynamic data race detection, since they reduce the average runtime overhead to under 10% of that of the pure detection.

• 한국컴퓨터정보학회논문지
• /
• 제19권4호
• /
• pp.17-24
• /
• 2014

본 논문에서는 고성능 컴퓨팅 시스템의 성능 향상을 위한 효율적인 동적 작업부하 균등화 정책을 제안한다. 이 정책은 시스템 자원인 CPU와 메모리를 효율적으로 사용하여 고성능 컴퓨팅 시스템의 처리량을 최대화하고, 각 작업의 수행시간을 최소화한다. 또한 이 정책은 수행중인 작업의 메모리 요구량과 각 노드의 부하상태를 파악하여 작업을 동적으로 할당한다. 이때 작업을 할당 받은 노드가 과부하 상태가 되면 다른 노드로 작업을 이주시켜 각 노드의 작업부하를 균등하게 유지함으로써 작업의 대기시간을 줄이고, 각 작업의 수행시간을 단축한다. 본 논문에서는 시뮬레이션을 통하여 제안하는 동적 작업부하 균등화 정책이 기존의 메모리 기반의 작업부하 균등화 정책에 비해 고성능 컴퓨팅 시스템의 성능 향상 면에서 우수함을 보인다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -2
• /
• pp.715-718
• /
• 2000

Although shared memory parallel programs are designed to be deterministic both in their final results and intermediate states, the races that occur when different processes access a common memory location in an order not guaranteed by synchronization could result in unintended non-deterministic executions of the program. So, Detecting races, particularly first data races, is important for debugging explicit shared memory parallel programs. It is possible that all data races reported by other on-the-fly algorithms would disappear once the first races were removed. To detect races parallel programs with nested loops and inter-thread coordination, it must guarantee the order of synchronization operations in an execution instance. In this paper, we propose an improved restructuring method that guarantee ordering execution instance and preserve the semantics of original program. This method requires O(np) time and (s + up) space, where n is the number of total operations, s is the number of synchronization operations and p is the number of parallelism in the execution. Also, this method makes on-the-fly detection of parallel program with nested loops and inter-thread coordination more easily in space and time complexity.

• International Journal of Safety
• /
• 제1권1호
• /
• pp.28-35
• /
• 2002

Kullback Discrimination Information (KDI) is one of the pattern recognition methods. KDI defined as a measure of the mutual dissimilarity computed between two time series was studied for detection and classification of bearing flaking on outer-race and inner-races. To model the damages, the bearings in normal condition, outer-race flaking condition and inner-races flaking condition were provided. The vibration sensor was attached by the bearing housing. This produced the total 25 pieces of data each condition, and we chose the standard data and measure of distance between standard and tested data. It is difficult to detect the flaking because similar pulses come out when balls pass the defection point. The detection and classification method for inner and outer races are defected by KDI and nearest neighbor classification rule is proposed and its high performance is also shown.

• 응용통계연구
• /
• 제28권6호
• /
• pp.1133-1146
• /
• 2015

경마 산업은 국내 합법 사행산업의 대부분을 차지하고 있다. 그러나 사행성 도박이라는 인식 하에 여타 스포츠 산업에 비해 활발한 통계적 분석이 이루어지지 않고 있다. 본 연구의 목적은 다양한 데이터마이닝 기법을 이용하여 우승마를 예측하는 모형 개발에 있다. 모형 적합에 사용한 데이터는 한국 마사회에서 제공하는 자료를 바탕으로 하였으며, 경마 성적표, 경주마 정보, 기수 정보, 조교사 정보 등을 사용하였다. 예측 모형은 크게 두 모형으로 나누어 순위를 기반으로 한 모형과 기록을 기반으로 한 모형으로 적합하였고, 분석 방법으로는 선형회귀분석, 랜덤 포레스트, 로지스틱 회귀 분석을 사용하였다. 그 결과 말 기본 정보와 과거 우승 경력, 기수의 과거 우승 경력 등이 순위 예측에 큰 영향을 미치는 것을 알 수 있었다. 모형 적합에 사용되지 않은 최근 1개월 간 데이터를 이용하여 단승식, 복승식, 삼복승식으로 배팅한 결과 모형 간 큰 차이가 없었고, 모두 양의 수익을 얻을 수 있었다.

• 정보과학회 논문지
• /
• 제42권2호
• /
• pp.155-161
• /
• 2015

멀티 스레드 프로그램의 수행 중에 발생하는 자료경합과 원자성 위배 등과 같은 동시성 오류는 스레드들의 비결정적 수행으로 인해 다양한 수행 순서를 고려해야 하고 재생산 또한 어렵기 때문에 디버깅하기 어렵고 귀찮은 오류로 잘 알려져 있다. 이러한 자료경합을 디버깅하기 위해서는 스레드의 수행 순서와 메모리 접근 및 동기화 정보 등과 같은 프로그램의 수행 중에 발생한 정보를 수집 및 분석해야 한다. 본 논문에서는 멀티 스레드 프로그램의 수행 중에 벡터 클록 시스템을 기반으로 스레드의 병행성과 접근사건들 간의 순서관계를 생성 및 유지함으로써 정확하면서도 효율적인 감시와 분석이 가능한 도구인 VcTrace를 제시한다. 제시된 감시 도구를 사용하여 멀티 스레드 기반의 응용 프로그램을 대상으로 수행 중 발생한 스레드와 접근사건 등의 정보를 감시 및 유지하고, 자료경합을 탐지하는 기술과 접목하여 실용성을 분석한다.

• 복식문화연구
• /
• 제19권2호
• /
• pp.376-388
• /
• 2011

The purpose of this study is to examine the types and characteristics of Chinese indigo dyed designs performed until today in private houses of Chinese minority races and to examine the modern value of traditional dyeing crafts of minority races by investigating the cases of utilizing modern private Chinese indigo dyed designs. As the research methodology for theoretical study about the history of Chinese traditional pattern dyeing, the origin, types and characteristics of Chinese indigo dyed designs, the preceding research data, photo data, and Internet data were utilized, and for the empirical research on Chinese traditional dyeing techniques and the cases of utilizing today Chinese indigo dyed designs, the on-site survey on Guizhou and Yunnan was conducted during February and March 2008 and the data were collected and analyzed. Based on the results of this research, it was found that Chinese indigo dyed designs represented Chinese traditional pattern dyeing, which was inherited and developed mainly in Chinese minority races and Chinese. It could be seen that according to geographical distribution and characteristics of each race, the types and characteristics of dyeing techniques were formed, which are classified into the batik of the Miao of Guizhou in the Chinese southwestern region, the tie-dyeing of Bai of Yunnan, and Chinese blue calico(resist printing) of Chinese private houses in the Hunan and Huseo regions, and these represent the three typical Chinese dyeing techniques today. Based on the results of empirical research on the utilizing cases, focusing on the traditional living handicrafts of Chinese minority races, traditional cultural articles, and artworks, the modern values such as practical, cultural, and artistic values of Chinese indigo dyed designs could be rediscovered.

• 한국자원식물학회:학술대회논문집
• /
• 한국자원식물학회 2018년도 추계학술대회
• /
• pp.73-73
• /
• 2018

Bacterial leaf blight(BLB), caused by X. oryzae pv. oryzae(Xoo), is one of the most destructive diseases of rice due to its high epidemic potential. Understanding BLB resistance at a genetic level is important to further improve the rice breeding that provides one of the best approaches to control BLB disease. In the present investigation, a collection of 192 accessions was used in the genome-wide association study (GWAS) for BLB resistance loci against four Korean races of Xoo that were represented by the prevailing BLB isolates under Xoo differential system. A total of 192 accessions of rice germplasm were selected on the basis of the bioassay using four isolated races of Xoo such as K1, K2, K3 and K3a. The selected accessions was used to prepare 384-plex genotyping by sequencing (GBS) libraries and Illumina HiSeq 2000 paired- end read was used for GBS sequencing. GWAS was conducted using T ASSEL 5.0. The T ASSEL program uses a mixed linear model (MLM). T he results of the bioassay using a selected set of 192 accessions showed that a large number of accessions (93.75%) were resistant to K1 race, while the least number of accessions (34.37%) resisted K3a race. For races K2 and K3, the resistant germplasm proportion remained between 66.67 to 70.83%. T he genotypic data produced SNP matrix for a total of 293,379 SNPs. After imputation the missing data was removed, which exhibited 34,724 SNPs for association analysis. GWAS results showed strong signals of association at a threshold of [-log10(P-value)] more than5 (K1 and K2) and more than4 (K3 and K3a) for nine of the 39 SNPs, which are plausible candidate loci of resistance genes. T hese SNP loci were positioned on rice chromosome 2, 9, and 11 for K1 and K2 races, whereas on chromosome 4, 6, 11, and 12 for K3 and K3a races. The significant loci detected have also been illustrated, NBS-LRR type disease resistance protein, SNARE domain containing protein, Histone deacetylase 19, NADP-dependent oxidoreductase, and other expressed and unknown proteins. Our results provide a better understanding of the distribution of genetic variation of BLB resistance to Korean pathogen races and breeding of resistant rice.