• 한국시뮬레이션학회논문지
• /
• 제10권1호
• /
• pp.13-24
• /
• 2001

We propose a divide-conquer method of Petri nets under the condition of one-boundedness for all the Petri nets. We introduce the P-invariant transitive matrix of Petri nets and relationship between them. The feature of the P-invariant transitive matrix is that each element stands for the transitive relationship between input place and output place through the firing of the enable transition.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2012년도 춘계학술대회 논문집
• /
• pp.439-440
• /
• 2012

New analysis methods complement classical approaches in the vehicle NVH development by reducing and accelerating iteration steps to obtain a target sound. Therefore, tools are required that allow an integrative approach of sound engineering and structural analysis and enable a precise simulation and modification based on measured data. The Response Modification Analysis (RMA) is such a hybrid solution, which provides indications of relevant transfer paths taking into account the sensitivity of response channels to modifications of reference channels.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 1999년도 춘계학술대회논문집
• /
• pp.53.1-56
• /
• 1999

Using a new dynamic-explicity program SAIT_STAMP the analysis of forming a front door panel is presented. The analysis consists of 7 processes including drawing trimming flanging and springback. From the analysis results it is shown that adaptive refinement scheme and robust trimming algorithm enable SAIT_STAMP to simulate the multi-stage forming of automotive parts with large and complex geometry.

• Journal of the Korean Statistical Society
• /
• 제36권3호
• /
• pp.357-365
• /
• 2007

In this paper we present characterizations of the Pareto, Lomax, exponential and beta models by some properties of their $r^{th}$ partial moment defined as ${\alpha}_r(t)=E[(X-t)^+]^r$, where $(X-t)^+ = max(X-t,0)$. Given the partial moments at a few truncation points, these results enable us to calculate the moments at many other points.

• 천문학회보
• /
• 제42권1호
• /
• pp.39.1-39.1
• /
• 2017

Protoplanetary disks (PPDs) are a natural consequence of star formation and play crucial roles in planet formation. Atacama Large Millimeter/submillimeter Array (ALMA) has provided sub-mm data for the PPDs with a high angular resolution and sensitivity, and it makes us enable to study PPDs in detail. We have developed Packages of Unified modeling for Radiative transfer, gas Energetics, and Chemistry (PUREC), which consists of a self-consistent thermo-chemical model and line and continuum radiative transfer models, in order to interpret and predict the ALMA observations for PPDs. In this talk, we introduce capabilities of PUREC.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 Ⅳ
• /
• pp.1899-1902
• /
• 2003

Recently several methods have been developed for the virtual space construction. Generally, most of the methods are geometric-based rendering technic, but they are difficult to construct real-time rendering because of large data. In this paper, we present a three dimension image-based rendering method that enable a constant speed of real-time rendering regardless of object complexity in virtual space. The Proposed method shows good performance for the virtual space construction with high complexity.

• Wind and Structures
• /
• 제30권2호
• /
• pp.155-163
• /
• 2020

Previous research has shown that wind acceleration components produce a signal that can vibrate single-degree of-freedom oscillators, whose dynamic responses enable to configure design spectra for structures subject to wind. These wind design spectra present an alternative method for evaluating the dynamic response of structures and are a suitable tool for running modal analyses. Here, a generalised method for producing wind design spectra is proposed. The method consists of scaling existing spectra to adjust to a wider range of building properties and terrain conditions. The modelling technique is tested on a benchmark building to prove that its results are consistent with experimental evidence reported in the past.

• 대한관절경학회지
• /
• 제1권1호
• /
• pp.31-35
• /
• 1997

MRI(magnetic resonance imaging) is very useful to visualize the anterior cruciate ligament (ACL) injury of the knee. Differential features of ACL injury at MRI according to acute and chronic stage should be evaluated to enable accurate assessment of the integrity or ACL. Distinguishing features of normal anatomy. acute and chronic injuries or ACL at MRI will be reviewed.

• 한국경영과학회지
• /
• 제4권1호
• /
• pp.87-102
• /
• 1979

In Korea, the traditional main food is rice There is a shortage of food, though the land is uesd intensively. The Koreans produce mainly rice its yield is very much higher than other crops. This leads to the comsumption of one type of food and, hence, to an unbalanced diet. Since 1962, Korean income has been going up rapidly, and the demand for animal protein has also increased. In order to solve the probem, the government decided to develop the dairy industry, because this would enable the population to consume more animal protein, and there is weak competion between rice and milk production.

• Asian-Australasian Journal of Animal Sciences
• /
• 제5권1호
• /
• pp.1-5
• /
• 1992

A computer program called LAMPRO has been developed for use by the Australian meat industry to assist with the pricing of lamb carcasses. Based on a series of prediction equations and accounting for the cost structure of a meat processor the program allows the real value of a carcass to be established. The concept has also been extended to cater for mutton carcasses destined for either domestic or export markets incorporated in a program called MUTONPRO.