• Journal of the Korea Society of Computer and Information
• /
• v.26 no.2
• /
• pp.1-9
• /
• 2021

In this paper, we extend a generic library framework based on the state monad to exploit deterministic parallelism in a purely functional language Haskell and provide benchmarks for the extended features on a multicore machine. Although purely functional programs are known to be well-suited to exploit parallelism, unintended squential data dependencies could prohibit effective parallelism. Symbolic execution programs usually implement fresh name generation in order to prevent confusion between variables in different scope with the same name. Such implementations are often based on squential state management, working against parallelism. We provide reusable primitives to help developing parallel symbolic execution programs with unbound-genercis, a generic name-binding library for Haskell, avoiding sequential dependencies in fresh name generation. Our parallel extension does not modify the internal implementation of the unbound-generics library, having zero possibility of degrading existing serial implementations of symbolic execution based on unbound-genecrics. Therefore, our extension can be applied only to the parts of source code that need parallel speedup.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.44 no.2
• /
• pp.161-172
• /
• 2024

A Copula approach has the advantage of providing structural dependencies for representing multivariate distributions for the hydrometeorological variable marginal distribution involved, however, copulas are inflexible for extending in high dimensions, and satisfy certain assumptions to make the dependency. In addition, since the process of estimating design rainfall under the future climate associated with durations given a return period is mainly analyzed by 24-hour annual maximum rainfalls, the dependency structure contains information only on the daily and sub-daily extreme precipitation. Methods based on bivariate copula do not provide information for other duration's dependencies, which causes the intensity to be reversed. The vine copula has been proposed to process the multivariate analysis as vines consisting of trees with nodes and edges connecting pair-copula construction. In this study, we aimed to downscale under climate change to produce sub-daily extreme precipitation data considering different durations based on vine copula.

• Wind and Structures
• /
• v.12 no.4
• /
• pp.349-381
• /
• 2009

Since 1998, several institutions have deployed mobile instrumented towers to collect research-grade meteorological data from landfalling tropical cyclones. This study examines the wind flow characteristics from seven landfalling tropical cyclones using data collected from eight individual mobile tower deployments which occurred from 1998-2005. Gust factor, turbulence intensity, and integral scale statistics are inspected relative to changing surface roughness, mean wind speed and storm-relative position. Radar data, acquired from the National Weather Service (NWS) Weather Surveillance Radar - 1988 Doppler (WSR-88D) network, are examined to explore potential relationships with respect to radar reflectivity and precipitation structure (convective versus stratiform). The results indicate tropical cyclone wind flow characteristics are strongly influenced by the surrounding surface roughness (i.e., exposure) at each observation site, but some secondary storm dependencies are also documented.

• Progress in Superconductivity and Cryogenics
• /
• v.3 no.1
• /
• pp.6-10
• /
• 2001

Stress/stram dependencies of the critical current $I_c$ in AgMgNi sheathed multifilamentary Bi(2212) superconducting tapes were evaluated at 77K, 0T. The external reinforcement was accomplished by soldering Ag-Mg tapes to sin91e side or both sides of the sample. With the external reinforcement. the strength of tapes increased but $I_c$, decreased The $I_c$, degradation characteristic according to the external reinforcement was improved markedly in terms of the stress although it appeared less rectal.table on the basis of the strain. Effects of external reinforcement were discussed in a viewpoint of monitoring sensitivity of cracking in superconducting filaments by considering n-value representing the transport behavior of the current. It is closely associated with the location of them relative to the voltage-monitoring region in the tape.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2002.03a
• /
• pp.373-382
• /
• 2002

In this paper, the characteristic dependencies of LRB(lead rubber bearing) were studied by various prototype tests on LRB for buildings. The characteristics of LRB were dependent on displacements, repeated cycles, frequencies, vertical pressures and temperatures. The prototype test showed that the displacement was the most governing factor influencing on characteristics of LRB. The effective stiffness and equivalent damping of LRB were decreased with large displacement, and increased with high frequency. After the repeated cyclic test with 50 cycles, the effective stiffness and equivalent damping of LRB were reduced by approximately 20% compared with those of the 1$^{st}$ cycle. The effective stiffness was decreased with high vertical pressure, while the equivalent damping was increased. In which, the equivalent damping was more dependent on the vertical pressure than the effective stiffness.s.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.8 no.4
• /
• pp.451-462
• /
• 1996

In this study, which focuses on ice storage, a fundamental study in cooling and solidification was performed, including the interesting phenomena of density inversion, supercooling and dendritic ice. A numerical study was performed for natural convection and ice formation considering existence of subcooling and dendritic ice were analyzed numerically by using finite difference method and boundary fixing method. In the mesh, the solid fraction was introduced with adding as a term to the energy conservation equation. A flow in the dendrite was modelled as a flow in a porous medium, and the momentum conservation equation was modified to incorporate resistance forces involved in flows through porous media. A numerical solution of the time dependencies of dendrite area and dense ice front was successfully obtained, and the numerical results were good agreement with experimental results. Based on this methodology, a discussion was made of phenomena and characteristics of cooling and freezing processes under various conditions.

• Advances in aircraft and spacecraft science
• /
• v.3 no.4
• /
• pp.503-521
• /
• 2016

Variances in turbomachinery blades caused by manufacturing, operation or regeneration can result in modified structural behavior. In this work, the scatter of geometrical and material properties of a turbine blade and its influence on structure performance is discussed. In particular, the vibration characteristics and the lifetime of a turbine blade are evaluated. Geometrical variances of the surface of the blades are described using the principal component analysis. The scatter in material properties is considered by 16 varying material parameters. Maximum vibration amplitudes and the number of load cycles the turbine blade can withstand are analyzed by finite element simulations incorporating probabilistic principles. The probabilistic simulations demonstrate that both geometrical and material variances have a significant influence on the scatter of vibration amplitude and lifetime. Dependencies are quantified and correlations between varied input parameters and the structural performance of the blade are detected.

• Journal of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.539-557
• /
• 1998

This paper is concerned with the performance evaluation of loss networks. We shall review the Erlang Fixed Point (EFP) method for estimating the blocking probabilities, which is based on an assumption that links are blocked independently. For networks with linear structure, the behaviour of adjacent links can be highly correlated. We shall give particular attention to recently-developed fixed-point methods which specifically account for the dependencies between neighbouring links. For the network considered here, namely a ring network with two types of traffic, these methods produce relative errors typically $10^{-5}$ of that found using the basic EFP approximation.

• Journal of the Korea Computer Industry Society
• /
• v.6 no.2
• /
• pp.365-372
• /
• 2005

Generally, In a application program the core part for parallel processing is a loop. therefore exist data dependencies between the array index variables of a loop. The data dependence relations between statements which from variable or constant dependence distance are specially complex. Therefore extracting parallelism for those statements at compile time is very difficult. in this paper, among the proposed methods of extracting parallelism, analysis the unimodular method and non-unimodular method and grasping the merits and demerits of them. hereafter, this method will go far toward solving the effectively extracting parallelism of the loop.

• Journal of KIISE:Software and Applications
• /
• v.26 no.1
• /
• pp.139-139
• /
• 1999

In most application programs, loops usually comprise most of the computation in a program and the most important source of parallelism. When the data dependency relation is uniformin terms of distance, several compile time parallelization methods were introduced. On the otherhand,when the data dependency relation is non-uniform in distance, the compile time extraction ofparallelism is much complicated. In this paper, a general method the extracting parallelism in nestedloops is presented. This algorithm can be applicable where the dependency relation is both uniform andnon-uniform in distance. According to execution repeatedly the statements in nested loops, thealgorithm which effectively removes these kind of data dependencies is developed in order to presentthe total parallelization of nested loops.