• 한국컴퓨터정보학회논문지
• /
• 제26권2호
• /
• pp.1-9
• /
• 2021

본문에서는 순수 함수형 언어인 하스켈로 작성된 심볼릭 실행의 병렬화를 위한 상태 모나드 기반의 라이브러리에 결정적 병렬화를 적용하기 편리한 API를 설계/구현하고 멀티코어 컴퓨터에서 벤치마크를 통해 실제 성능을 향상을 확인해 본다. 일반적으로 순수 함수형 프로그램은 병렬화가 쉽다고 알려져 있으나 실제 구현에서 핵심 알고리듬 외적인 부분에서 의도치 않은 순차적 데이터 의존성의 발생으로 병렬화가 어려워질 수 있다. 심볼릭 실행 구현에서는 지금껏 사용했던 변수와 겹치지 않는 새 이름을 생성함으로써 서로 다른 범위의 이름이 같은 변수끼리 혼동하는 착오를 피하는 방식을 종종 활용한다. 그런데 이를 순차적 상태 관리로 구현한 경우가 많아 병렬화에 걸림돌이 된다. 이 논문에서는 하스켈의 범용적 이름 관리 라이브러리인 unbound-generics의 새 이름 생성 기능에 순차적 의존성을 회피할 수 있는 확장 기능을 제공함으로써 병렬적 심볼릭 실행 구현을 간소화하는 데 기여하였다. 우리가 구현한 병렬화 확장의 특징은 기존 unbound-generics 라이브러리의 내부 구현을 그대로 유지한 상태의 확장이라는 점으로, 기존에 unbound-generics로 작성된 순차적 심볼릭 실행기의 성능 저하 우려가 전혀 없다는 점이다. 따라서 병렬화가 필요한 부분에만 확장 기능을 적용하는 방식으로 활용하여 성능을 개선할 수 있다.

• 대한수학회지
• /
• 제38권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.

• 식물분류학회지
• /
• 제51권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).

• 대한수학회지
• /
• 제44권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.

• 대한한의학회지
• /
• 제37권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.

• 한국군사과학기술학회지
• /
• 제14권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.

• 한국컴퓨터정보학회논문지
• /
• 제28권2호
• /
• pp.111-119
• /
• 2023

본 논문에서는 스칼라 언어의 함수형 프로그래밍 기능의 타당성에 대해서 검토한다. 주된 관심사는 스칼라가 어느 정도까지 람다 식, 고차 함수, 제너릭 타입, 대수적 타입, 모나드 등 함수형 프로그래밍의 주요 특성을 표현할 수 있는 가에 있다. 이 목적을 위하여 명령형 프로그래밍 언어의 인터프리터를 구현한다. 동일한 함수형 프로그래밍 기법을 적용하여 인터프리터를 하스켈과 스칼라로 구현한 다음, 이 두 버전의 구현을 비교 분석한다. 명령형 프로그래밍 언어의 추상 구문트리는 스칼라의 제너릭스를 갖는 대수적 타입과 enum 클래스로서 표현되고, 명령형 프로그래밍의 상태 변환은 상태 모나드를 이용하여 구현된다. 또한 스칼라의 새로운 기능인 extension과 given도 사용된다.

• Bulletin of the Korean Chemical Society
• /
• 제33권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
• /
• 제5권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년도 제24회 KOSCO SYMPOSIUM 논문집
• /
• 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.