• 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.

• Journal of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.87-99
• /
• 2001

We prove that the germ of a CR mapping f between real analytic real hypersurfaces has a holomorphic extension and satisfies a complete system of finite order if the source is of finite type in the sense of Bloom-Graham and the target is k-nondegenerate under certain generic assumptions on f.

• Korean Journal of Plant Taxonomy
• /
• v.51 no.3
• /
• pp.319-325
• /
• 2021

Tripterygium wilfordii Hook.f. (Celastraceae), collected from Phia Oac-Phia Den National Park of Vietnam, is reported here as a new generic and species record for the flora of Vietnam. The genus Tripterygium differs from other genera of Celastraceae by its samara fruits, which become three-winged at maturity, and a scandent shrub. Taxonomic notes, descriptions, line drawing and photographs are provided, together with short notes on the distribution, ecology and phenology of Tripterygium wilfordii Hook.f. (Celastraceae).

• Journal of the Korean Mathematical Society
• /
• v.44 no.1
• /
• pp.199-210
• /
• 2007

Given a field K and a finite group G, it is a very interesting problem, although very difficult, to find all Galois extensions over K whose Galois group is isomorphic to G. In this paper, we prepare a theoretical background to study this type of problem when G is the Mathieu group $M_{24}$ and K is a field of characteristic two.

• The Journal of Korean Medicine
• /
• v.37 no.1
• /
• pp.101-113
• /
• 2016

Objectives: The purpose of this study was to develop a competency model for the Korean medicine doctors and find application plans for the future education in Korean medicine. Methods: Based on literature review, we drafted a competency model framework for modeling and defined competencies using generic model overlay method. Also we conducted a FGI with 20 extension specialists in Korean medicine to validate competency model. Results: Findings are 5 domains and 15 competencies. 5 domains have optimal patient care, reasonable communication skill, professionalism enhancement, performing social accountability, and efficient clinical management. 3 competencies are included in 5 domains each. With this model, 4 ways of application plans are shown to apply for the future competency-based education in Korean medicine. Conclusion: Developed 2016 competency model for the Korean medicine doctors can be a first huge step to innovate education in Korean medicine toward competency-based educational system.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.14 no.3
• /
• pp.380-387
• /
• 2011

In this paper, we considered the authoritative representation of Command and Fire Control System(CFCS) for the surface ship that was the engineering level model to develop system specifications and to analyze operational concepts on the concept design phase and to analyze military requirements, effectiveness and performance for the system. The engineering level model of CFCS can be used in simulation independently of the surface ship's type, and also it takes reuse, interoperability, and extension into consideration. The detailed sub-models, internal and external data interface, data flow among each sub-model, sensor and weapon models about the engineering level model of CFCS was defined. It was verified via engineering level simulations according to the V&V process.

• Journal of the Korea Society of Computer and Information
• /
• v.28 no.2
• /
• pp.111-119
• /
• 2023

In this paper, we investigate the feasibility of functional programming in the Scala language. The main issue is to what extent Scala is able to handle major properties of functional programming such as lambda expression, high-order functions, generic types, algebraic data types, and monads. For this purpose, we implement an interpreter of an imperative language. In this implementation, the same functional programming techniques are applied to both Haskell and Scala languages, and then these two versions of implementations are compared and analyzed. The abstract syntax tree of an imperative language is expressed as algebraic data types with generics and enum classes in Scala, and the state transition of imperative languages is implemented by using state monad. Extension and given, new features of Scala, are used as well.

• Bulletin of the Korean Chemical Society
• /
• v.33 no.3
• /
• pp.1020-1028
• /
• 2012

This work compares various models for geminate reversible diffusion influenced reactions. The commonly utilized contact reactivity model (an extension of the Collins-Kimball radiation boundary condition) is augmented here by a volume reactivity model, which extends the celebrated Feynman-Kac equation for irreversible depletion within a reaction sphere. We obtain the exact analytic solution in Laplace space for an initially bound pair, which can dissociate, diffuse or undergo "sticky" recombination. We show that the same expression for the binding probability holds also for "mixed" reaction products. Two different derivations are pursued, yielding seemingly different expressions, which nevertheless coincide numerically. These binding probabilities and their Laplace transforms are compared graphically with those from the contact reactivity model and a previously suggested coarse grained approximation. Mathematically, all these Laplace transforms conform to a single generic equation, in which different reactionless Green's functions, g(s), are incorporated. In most of parameter space the sensitivity to g(s) is not large, so that the binding probabilities for the volume and contact reactivity models are rather similar.

• Communications for Statistical Applications and Methods
• /
• v.5 no.2
• /
• pp.491-501
• /
• 1998

Motivated by bioequivalence studies which involve comparisons of pharmaceutically equivalent dosage forms, we propose a more general decision rule for showing equivalence simultaneously between multiple means and a control mean. Namely, this testing procedure is concerned with the situation in that one must make decisions as to the bioequivalence of an original drug product and several generic formulations of that drug. This general test is developed by considering a spherical confidence region, which is a direct extension of the usual t-based confidence interval rule formally approved by the U.S. Food and Drug Administration. We characterize the test by the probability of rejection curves and assess its performance via Monte-Carlo simulation. Since the manufacturer's main concern is the proper choice of sample sizes, we provide optimal sample sizes from the Monte-Carlo simulation results. We also consider an application of the generalized equivalence test to a repeated measures design.

• 한국연소학회:학술대회논문집
• /
• 2002.06a
• /
• pp.41-45
• /
• 2002

The zone-conditioned CMC equations are derived by taking an unconditional average of the generic conservation equations multiplied by delta and Heaviside functions in terms of mixture fraction and reaction progress variable. The resulting equations are essentially in the same form as the single zone CMC equations except for separate flow fields for burned and unburned gas. The zone-conditioned two-fluid equations are applied to a stagnating turbulent premixed flame brush of Cheng and Shepherd[5l. It is shown that the flame stretch factor is of crucial importance to accurately reproduce the measured mean reaction progress variable and conditional velocities. Further work is in progress for the relationship between surface and volume averages and extension to partially premixed combustion on the basis of a triple flame structure, e. g. in a lifted turbulent diffusion flame.