• Nuclear Engineering and Technology
• /
• v.55 no.6
• /
• pp.2283-2287
• /
• 2023

We propose in the present work how the reference glass dosimeters can be introduced, which reflects the user irradiation condition. The reference glass dosimeters are used for correcting the reader fluctuation by reading it with sample glass dosimeters at the same time. Since they can be used without annealing after irradiation for long periods, one should consider both the fading effect and the natural background dose accumulation quantitatively. We construct an empirical but practical formalism of evaluating the absorbed dose on the glass dosimeter with the fading effect and the natural background dose accumulation considered.

• Progress in Medical Physics
• /
• v.1 no.1
• /
• pp.43-49
• /
• 1990

On the basis of the review of radiobiological date, a formalism is developed for the analysis and prediction of iso-effect relations for tissue tolerance, which can be used as an alternative to the norminal standard dose(NSD) formaula of Ellis and its derived equations. An important feature of the described formalism is that directly based on radiobiological insights and it provides a more logical concept to account for the diversity of tissue responses. The NSD concept has subsequently been extended to the formalisms of timedose-fractionation(TDF) value. The authors deriveded TDF equation on the basis NSD of Ellis. TDF=0.07(NSD)-26.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.619-622
• /
• 1996

This paper presents the formal integration of process planning and shop floor control with Petri net formalism. Formal integration means that both planning and control problems can be modeled, interfaced, and transformed with the Petri net formalism. This integrated framework provides a systematic approach for rapidly developing a formal shop floor controller from process planning with respect to shop floor configuration.

• 전기의세계
• /
• v.24 no.4
• /
• pp.71-72
• /
• 1975

A formalism of reference language and homogeneous field is constructed for Iverson Language to organize a virtual file among external media. To execute some data manipulations among these external media files must be organized homogeneously forming multi-dimensional array like single media. This paper shows some organization of reference language to build the virtual file using many external media and some examples of program and hardware organization is presented for the justification of proposals.

• Language and Information
• /
• v.20 no.1
• /
• pp.25-49
• /
• 2016

Honorific forms express the speaker's social attitude to others and also indicate the social ranks and level of intimacy of the participants in the discourse. In a cross-linguistic perspective of grammar engineering, modelling honorification has been regarded as a key strategy for improving language processing applications. Using the HPSG and MRS formalism, this article provides a multilingual grammar model of honorification. The present study incorporates the honorific information into the Meaning Representation System (MRS) via Individual Constraints (ICONS), and then conducts an evaluation to see if the model contributes to semantics-based language processing.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.285-290
• /
• 1998

본 논문은 David Harel이 제안한 Statechart based Formalism과 Statemate MAGNUM toolset을 이용하여 월성 원전 2/3/4호기 증기발생기 수위로 인한 원자로 정지를 activity chart 및 Statechart로 모델링하고 K&R C 코드를 자동으로 생산하였다. 이는 종전의 몇몇 소프트웨어 전문가에 의해서 개발될 수 밖에 없었던 원전 필수만전(Safety-critical) 소프트웨어를 정형화된 Computer Aided Software Engineering 도구를 활용하여 소프트웨어 생명주기중 요구사양명세 및 설계까지만 수행하고 그 이하는 모두 자동으로 생산하는 소프트웨어 공학의 핵심기술을 연구한 것이다. 자동으로 생산된 K&R C 코드는 품질이 우수하고 생산성이 높으며 이식성이 뛰어남을 확인할 수 있었다.

• Journal of the Korea Society for Simulation
• /
• v.2 no.1
• /
• pp.31-44
• /
• 1993

Zeigler's DEVS(Discrete Event Systems Specification) formalism supports formal specification of discrete event systems in a hierarchical , modular manner. Associated are hierarchical, distributed simulation algorithms, called abstract simulators, which interpret dynamics of DEVS models. This paper deals with performance evaluation of P-DEVSIM ++, a parallel simulation environment which implements the DEVS formalism and associated simulation algorithms in a parallel environment. Performance simulator has been developed and used to experiment models of parallel simulation executions in different conditions. The experimental result shows that simulation time depends on both the number of processors in the parallel system and the communication overheads among such processors.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.24-29
• /
• 1999

Proposed in this paper is a modeling and simulation methodology for a virtual manufacturing environment. Based on DEVS formalism[Zeigler 76], the proposed model, so called GKDEVS, is designed to descript the geometrical knematic structure as well as event-driven and continuous state dynamics. In terms of abstract simulation algorithm[Zeigler 84], the simulation method of GKDEVS is proposed for combined discrete-continuous simulation. Using the GKDEVS, and FMS model consisting of a turing machine, a 3-axis machine and a RGV-mounted robot is constructed and simulated.

• Bulletin of the Korean Chemical Society
• /
• v.12 no.6
• /
• pp.692-698
• /
• 1991

The reaction path Smoluchowski equation approach developed in a recent work to calculate the rate constant for a diffusive multidimensional barrier crossing process is extended to incorporate the configuration-dependent diffusion matrix. The resulting formalism is then applied to the investigation of stilbene photoisomerization dynamics. Adapting a model two-dimensional potential and a model diffusion matrix proposed by Agmon and Kosloff [J. Phys. Chem.,91 (1987) 1988], we derive an eigenvalue equlation for the relaxation rate constant of the stilbene photoisomerization. This eigenvalue equation is solved numerically by using the finite element method. The advantages and limitations of the present method are discussed.

• Korean Architects
• /
• no.4 s.110
• /
• pp.34-46
• /
• 1978