• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.3
• /
• pp.549-557
• /
• 2016

It is important for effective visualization to summarize not only a large amount of debugging information but also the mental models of abstract ideas. This paper presents an abstract visualization tool which provides effective visualization of thread structure and race information for OpenMP programs with critical sections and nested parallelism, using a partial order execution graph which captures logical concurrency among threads. This tool is supported by an on-the-fly trace-filtering technique to reduce space complexity of visualization information, and a graph abstraction technique to reduce visual complexity of nested parallelism and critical sections in the filtered trace. The graph abstraction of partial-order relation and race information is effective for understanding program execution and detecting to eliminate races, because the user can examine control flow of program and locations of races in a structural fashion.

• The Journal of Korean Association of Computer Education
• /
• v.19 no.1
• /
• pp.101-109
• /
• 2016

Designing algorithms is a very important learning process in computational thinking education because it requires learner's logical and procedural thinking. But the case studies that have topics of algorithms learning and students' types of errors in learning algorithms are not enough. So the purpose of this study is to analyze students' errors that discovered in the process of learning three control structures of programming using flowchart and provide types of errors in designing algorithms. Results about tests of three types of control structures in university student's algorithms learning class showed different cases of types of errors; types of sequential control error are not presented in the class, types of conditional control error are presented in the case of setting the conditions of nested conditional control, and types of iterative control are showed in the many cases of iterative conditions, statements of single and nested iterative control structure. The results of study will be a good case study about teaching designing algorithms of computational thinking education in elementary, secondary school and university.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.1997-2012
• /
• 1998

It is necessary to find out the parallelism in tlle sequential Java program to execute it on the parallel machine. The loop is a fundamental source to exploit parallelism as it process a large portion of total execution time in sequential Java program on the parallel machine. However, a complete parallel execution can hardly be achieved due to data dependence. This paper proposes the method of exploiting the implicit parallelism by structuring a dependence graph through the analysis of data dependence in the existing Java programming language having a nested loop structure. The parallel code generation method through the restructuring compiler and also the translation method of Java source program into multithread statement. which is supported by the Java programming language itself, are proposed here. The perforance evaluatlun of the program translaed into the thread statement is conducted using the trip cunt of loop and the trip Count of luop and the thread count as parameters The resttucturing compiler provides efficient way of exploiting parallelism by reducing manual overhead conveliing sequential Java program into parallel code. The execution time for the Java program as a result can be reduced un the parallel machine.

• Journal of the Korean Geotechnical Society
• /
• v.39 no.8
• /
• pp.17-28
• /
• 2023

Laboratory-scale hydraulic fracturing experiments were conducted on granite specimens at various viscosities and injection rates of the fracturing fluid. A series of cross-sectional computed tomography (CT) images of fractured specimens was obtained via a three-dimensional X-ray CT imaging method. Pixel-level fracture segmentation of the CT images was conducted using a convolutional neural network (CNN)-based Nested U-Net model structure. Compared with traditional image processing methods, the CNN-based model showed a better performance in the extraction of thin and complex fractures. These extracted fractures extracted were reconstructed in three dimensions and morphologically analyzed based on their fracture volume, aperture, tortuosity, and surface roughness. The fracture volume and aperture increased with the increase in viscosity of the fracturing fluid, while the tortuosity and roughness of the fracture surface decreased. The findings also confirmed the anisotropic tortuosity and roughness of the fracture surface. In this study, a CNN-based model was used to perform accurate fracture segmentation, and quantitative analysis of hydraulic stimulated fractures was conducted successfully.

• Journal of Global Scholars of Marketing Science
• /
• v.18 no.1
• /
• pp.141-156
• /
• 2008

Market structure analysis is a very useful tool to analyze the competition boundary of the brand or the company. But most of the studies in market structure analysis, the concern lies in nondurable goods such as candies, soft drink and etc. because of the their availability of the data. In the field of durable goods, the limitation of the data availability and the repurchase time period constrain the study. In the analysis of the automobile market, those of views might be more persuasive. The purpose of this study is to analyze the structure of automobile market based on some idea suggested by prior studies. Usually the buyers of the automobile tend to buy upper tier when they buy in the next time. That kind of behavior make it impossible to analyze the structure of automobile market under the level of automobile model. For that reason I tried to analyze the market structure in the brand or company level. In this study, consideration data was used for market structure analysis. The reasons why we used the consideration data are summarized as following. Firstly, as the repurchase time cycle is too long, brand switching data which is used for the market analysis of nondurable good is not avaliable. Secondly, as we mentioned, the buyers of the automobile tend to buy upper tier when they buy in the next time. We used survey data collected in the U.S.A. market in the year of 2005 through questionaire. The sample size was 8,291. The number of brand analyzed in this study was 9 among 37 which was being sold in U.S.A. market. Their market share was around 50%. The brands considered were BMW, Chevrolet, Chrysler, Dodge, Ford, Honda, Mercedes, and Toyota. �� ratio was derived from frequency of the consideration set. Actually the frequency is different from the brand switch concept. In this study to compute the �� ratio, the frequency of the consideration set was used like a frequency of brand switch for convenience. The study can be divided into 2 steps. The first step is to build hypothetical market structures. The second step is to choose the best structure based on the hypothetical market structures, Usually logit analysis is used for the choice best structure. In this study we built 3 hypothetical market structure. They are type-cost, cost-type, and unstructured. We classified the automobile into 5 types, sedan, SUV(Sport Utility Vehicle), Pickup, Mini Van, and Full-size Van. As for purchasing cost, we classified it 2 groups based on the median value. The median value was $28,800. To decide best structure among them, maximum likelihood test was used. Resulting from market structure analysis, we find that the automobile market of USA is hierarchically structured in the form of 'automobile type - purchasing cost'. That is, result showed that automobile buyers considered function or usage first and purchasing cost next. This study has some limitations in the analysis level and variable selection. First, in this study only type of the automobile and purchasing cost were as attributes considered for purchase. Considering other attributes is very needful. Because of the attributes considered, only 3 hypothetical structure could be analyzed. Second, due to the data, brand level analysis was tried. But model level analysis would be better because automobile buyers consider model not brand. To conduct model level study more cases should be obtained. That is for acquiring the better practical meaning, brand level analysis should be conducted when we consider the actual competition which occurred in the real market. Third, the variable selection for building nested logit model was very limited to some avaliable data. In spite of those limitations, the importance of this study lies in the trial of market structure analysis of durable good.

• 한국균학회소식:학술대회논문집
• /
• 2014.05a
• /
• pp.45-45
• /
• 2014

Individualities of precious health mushroom called Zhenghonggu@ from respective protections scattered among all main mountains of Fujian China were collected and recognized locally, then compared with Russula griseocarnosa. Their internal transcribed spacer (ITS) region (ITS1, ITS2 and 5.8S rDNA) of the nuclear rDNA were amplified, AMOVA analyzed, nested clade analyzed and then compared with the ITS sequences of relative Russula species from other regions of China to confirm the taxonomic status of Zhenghonggu$^@$ and its population structure. Total 23 haplotypes from different protections of Fujian can be clustered into three clades similar to the three lineages of Dahongjun$^@$ from southeastern China reported by Li et al. The geographic distribution characteristic of these three phylogeny clades may be closely coupled with the vegetation regionalization and/or the differences of coenosium construction of Fagaceae that is the host of Russula griseocarnosa. The correlation of taxonomy, phylogeny and geographical distribution of Russula are discussed.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.13 no.1
• /
• pp.10-23
• /
• 1988

This paper examines a deterministic, discrete-time, finite-horizon, production/distribution problem for a one-plant multi-retailer system. Production may occur at the plant in each time period. Customer demands at each retailer over a finite number of periods are known and must be met without backlogging. The plant as well as the retailers can serve as stocking points. The problem is to find a minimum-cost production/distribution schedule satisfying the known demands. We show that under a certain cost structure a nested policy is optimal, and present an efficient algorithm to find such an optimal policy. Planning horizon results and some computational saving schemes are also presented.

• Proceedings of the Korean Statistical Society Conference
• /
• 2004.11a
• /
• pp.265-270
• /
• 2004

불균형중첩오차구조를 갖는 단순선형회귀모형에서 나타나는 두 분산의 합에 대한 신뢰구간을 구하기 위하여 Ting et al.(1990) 방법과 Graybill and Wang(1980) 방법과 Tsui and Weerahandi(1989)가 제안한 일반화 축량(generalized pivotal quantity)방법을 이용한 두 가지 방법 등 모두 네 가지 신뢰구간을 제안한다. 신뢰구간의 적절성을 판단하기 위하여 여러 가지 불균형 설계에 대하여 SAS/IML로 시뮬레이션을 실행하고 신뢰계수와 신뢰구간의 평균 길이를 비교한다. 불균형중첩오차구조를 갖는 단순선형회귀모형의 두 분산의 합에 대한 네 가지 신뢰구간들이 주샘플링 단위의 변화에 따라 어느 방법이 적절한 신뢰구간을 구축하는지 추천하고, 실제 예제를 적용하여 시뮬레이션의 결과와 일관성이 있는지를 확인한다.

• Journal of the Korean Mathematical Society
• /
• v.52 no.5
• /
• pp.1003-1021
• /
• 2015

A matrix completion problem has been exploited amply because of its abundant applications and the analysis of contractions enables us to have insight into structure and space of operators. In this article, we focus on a specific completion problem related to Hankel partial contractions. We provide concrete necessary and sufficient conditions for the existence of completion of Hankel partial contractions for both extremal and non-extremal types with lower dimensional matrices. Moreover, we give a negative answer for the conjecture presented in [8]. For our results, we use several tools such as the Nested Determinants Test (or Choleski's Algorithm), the Moore-Penrose inverse, the Schur product techniques, and a congruence of two positive semi-definite matrices; all these suggest an algorithmic approach to solve the contractive completion problem for general Hankel matrices of size $n{\times}n$ in both types.

• The Korean Journal of Applied Statistics
• /
• v.17 no.1
• /
• pp.145-151
• /
• 2004

PROC MIXED fits a variety of mixed models to data and enables one to use these fitted models to make statistical inferences about the data. However, the simulation study in this article shows that PROC MIXED using REML estimators provides one with a confidence interval, that does not keep the stated confidence coefficients, on sums of two variance components in the simple regression model with unbalanced nested error structure which is a mixed model.