• ETRI Journal
• /
• v.39 no.1
• /
• pp.124-134
• /
• 2017

Data races are one of the most difficult types of bugs in concurrent multithreaded systems. It requires significant time and cost to accurately detect bugs in complex large-scale programs. Although many race detection techniques have been proposed by various researchers, none of them are effective in all aspects. In this paper, we compare the performance of five recent dynamic race detection techniques: FastTrack, Acculock, Multilock-HB, SimpleLock+, and causally precedes (CP) detection. We experimentally demonstrate the strengths and weaknesses of these dynamic race detection techniques in terms of their detection capability, running time, and runtime overhead using 20 benchmark programs with different characteristics. The comparison results show that the detection capability of CP detection does not differ from that of FastTrack, and that SimpleLock+ generates the lowest overhead among the hybrid detection techniques (Acculock, SimpleLock+, and Multilock-HB) for all benchmark programs. SimpleLock+ is 1.2 times slower than FastTrack on average, but misses one true data race reported from Mutilock-HB on the large-scale benchmark programs.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.8
• /
• pp.1915-1925
• /
• 1998

The switching system software is large scale, real-time multi-task system which requires high reliability. The reliability assessment of large-scale software is very important for the success of software development project. For this raeson, the software quality measurement is much more important. In this paper, we have learned about the software reliability, metho of the analysis of failure data and estimation of software quality. To estimate the software reliability, using the failure data found during of the system test. We apply the two software reliability growth models, named Goel-Okumoto(G-O) and S-shaped model, to estimate the software reliability. Also, we compared with the results and we reviewed fully not only development cycle but validation and verification of the test data, for each software versions. This paper presents a software reliability model that suitale the software development project and the activeity of quality control for the switching system.

• Journal of Computational Design and Engineering
• /
• v.1 no.1
• /
• pp.13-26
• /
• 2014

Recently, renovations of plant equipment have been more frequent because of the shortened lifespans of the products, and as-built models from large-scale laser-scanned data is expected to streamline rebuilding processes. However, the laser-scanned data of an existing plant has an enormous amount of points, captures intricate objects, and includes a high noise level, so the manual reconstruction of a 3D model is very time-consuming and costly. Among plant equipment, piping systems account for the greatest proportion. Therefore, the purpose of this research was to propose an algorithm which could automatically recognize a piping system from the terrestrial laser-scanned data of plant equipment. The straight portion of pipes, connecting parts, and connection relationship of the piping system can be recognized in this algorithm. Normal-based region growing and cylinder surface fitting can extract all possible locations of pipes, including straight pipes, elbows, and junctions. Tracing the axes of a piping system enables the recognition of the positions of these elements and their connection relationship. Using only point clouds, the recognition algorithm can be performed in a fully automatic way. The algorithm was applied to large-scale scanned data of an oil rig and a chemical plant. Recognition rates of about 86%, 88%, and 71% were achieved straight pipes, elbows, and junctions, respectively.

• Macromolecular Research
• /
• v.14 no.2
• /
• pp.140-145
• /
• 2006

E-science refers to the large-scale science that will increasingly be carried out through distributed global collaborations enabled by the Internet. The Grid is a service-oriented architecture proposed to provide access to very large data collections, very large scale computing resources and remote facilities. Web services, which are server applications, enable online access to service providers. Web portal interfaces can further hide the complexity of accessing facility's services. The main use of synchrotron radiation (SR) facilities by protein crystallographers is to collect the best possible diffraction data for reasonably well defined problems. Significant effort is therefore being made throughout the world to automate SR protein crystallography facilities so scientists can achieve high throughput, even if they are not expert in all the techniques. By applying the above technologies, the e-HTPX project, a distributed computing infrastructure, was designed to help scientists remotely plan, initiate and monitor experiments for protein crystallographic structure determination. A description of both the hardware and control software is given together in this paper.

• Journal of Korea Trade
• /
• v.27 no.2
• /
• pp.22-46
• /
• 2023

Purpose - study aims to investigate the relationships between global value chain (GVC)- and transportation-related determinants and economic performance. Also, moderating effects of COVID-19 on the relationships are theoretically and empirically discussed. A limitation of previous studies includes their over-reliance on the opportunities of GVC participation and larger transportation. This study represents the challenges associated with them. Also, it shows how GVC and logistics can be difficult in case of a market fluctuation such as COVID-19. Design/methodology - The sample for this study includes 828 observations from 138 countries. A semi-panel data set has been used. Six observations for each country are used to empirically test the hypotheses and a Two-way cluster model is conducted. Findings - It is confirmed that GVC forward participation contributes more than the backward participation to enhance performance. Transportation infrastructure is critical, but large scales of marine and air transportations are not positive in terms of economic performance. Stricter government response to COVID-19 negatively moderates economic performance by GVC backward participation and transportation infrastructure. Originality/value - The spread of COVID-19 is causing a severe collapse of GVC and transportation. This study empirically verifies the moderating effects of the government stringency on GVC and transportation. Previous studies usually discuss a positive impact of GVC and transportation size on economic performance. However, this study aims to show various challenges behind GVC participation and large scale transportation.

• Journal of Korean Society of Water and Wastewater
• /
• v.27 no.1
• /
• pp.11-20
• /
• 2013

This Study includes the information of integrated discussion and economies of scale on local governments' sewerage treatment plant through translog function based on the reality reports of sewerage treatment plant operation published by Ministry of Environment and sewerage statistics data from 2005 to 2010. Based on analysis results from the data of 35 local governments in Jeollanamdo and Jeollabukdo, which are selected as pilot project areas of sewerage facility integration by Ministry of Environment and have low percent of sewered population, it shows the existence of economies of scale. The economies of scale on sewerage treatment show the loss of approximately 22,211 thousand ton/day in sewage treatment, it is 1.7 times compared to the average treatment amount of 35 local governments as of 2010. It means the economies of scale can be achieved by lowering operation cost along with large scale integration in installation, operation and maintenance due to the features of sewerage industry as one of network industry.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.19 no.4
• /
• pp.1134-1147
• /
• 1995

POD (proper orthogonal decomposition) is applied to turbulent leading-edge separation bubble to extract coherent structures. A two-dimensional leading-edge separation bubble is simulated by discrete-vortex method, where a time-dependent source forcing is incorporated. Based on the wealth of numerical data, POD is applied in a range of the forcing amplitude ( $A_{o}$ = 0, 0.5, 1.0 and 1.5) and forcing frequency (0 .leq. $f_{F}$H/ $U_{\infty}$.leq. 0.3). It is demonstrated that the structures of POD have noticeable changes with local forcings. In an effort to investigate the mechanism of decreasing reattachment length, dynamic behaviors of the expansion coefficients and contributions of the eigenfunctions of POD are scrutinized. As the forcing amplitude increases, the large-scale vortex structures are formed near the forcing amplitude increases, the large-scale vortex structures are formed near the separation point and the flow structures become more organized and more regular, accompanying with the reduction of reattachment length. By further inverstigation of POD global entropy, it is seen that the reattachment length is closely linked to the degree of organization of the flow structures.es.s.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.44 no.3
• /
• pp.31-36
• /
• 2007

This paper proposes Co-MAC (Coexistence MAC), an energy efficient medium access control protocol designed for large-scale sensor networks. In Co-MAC protocol, an overall network is divided into independent subnets, and each subnet orthogonally operates on time line in a temporal fashion. The basic idea of Co-MAC is to evenly distribute sensor nodes in a certain geographic area based on subnets to minimize overhearing which means the reception of unnecessary data packets from neighboring nodes. In our simulation, it was observed that energy efficiency of Co-MAC outperforms conventional MAC protocols under the given conditions.

• Journal of the Korean Solar Energy Society
• /
• v.37 no.2
• /
• pp.67-75
• /
• 2017

We have investigated the operating characteristics of $1,600m^2$ large-scale solar thermal system installed in an eco-friendly energy town in Chungbuk Innovation City. The operation criteria of the collecting pump and storage pump were different from the existing standard, and it was confirmed that each pump works well according to the changed criteria. Based on the data of the representative day, the daily collecting heat (efficiency) and the production (storing) heat (efficiency) were estimated. It was confirmed that the daily collecting heat (efficiency) of the flat plate type was higher than that of the evacuated tube type, but the useful heat production was more in evacuated tube type collector.

• Journal of the Korea Society for Simulation
• /
• v.21 no.2
• /
• pp.59-67
• /
• 2012

A grid computing consists of the physical resources for processing one of the large-scale jobs. However, due to the recent trends of rapid growing data, the grid computing needs a parallel processing method to process the job. In general, each physical resource divides a requested large-scale task. And a processing time of the task varies with an efficiency and a distance of each resource. Even if some resource completes a job, the resource is standing by until every divided job is finished. When every resource finishes a processing, each resource starts a next job. Therefore, this paper proposes a dynamic resource reallocation scheduling model (DDRSM). DDRSM finds a waiting resource and reallocates an unfinished job with an efficiency and a distance of the resource. DDRSM is an efficient method for processing multiple large-scale jobs.