• 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 Information Science Theory and Practice
• /
• v.12 no.4
• /
• pp.36-49
• /
• 2024

In recent years, the concept of a configurable process model has made many contributions, with the need for generic and reusable models. The high demand for this type of generic model is accompanied by quality requirements, as these models must be as comprehensive as possible to facilitate the task of customization. Many approaches exist to deal with configurable process models, especially in the field of process mining, including its three types of techniques: discovery, conformance, and enhancement. However, there is a lack of semantic representation in the resulting models. In this study, we propose a novel automated approach based on the extension of the Inductive Miner algorithm used to discover business process models. This method discovers a semantically annotated configurable process model using two ontologies: variability ontology and domain ontology-related concepts, which will improve and facilitate the configurable process model customization.

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