• Journal of Information Processing Systems
• /
• v.15 no.3
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.21 no.2
• /
• pp.252-263
• /
• 1997

Steady-state two-dimensional natural convective heat transfer in horizontal cylindrical annuli was studied by solving the governing equations based on the primitive variables. Emphasis was put on the occurrence of the multiple solutions at a given set of parameter values, and on the determination of the bifurcation points at which those multiple solutions begin to branch out. The multicellular flow pattern from the results of melting process in an isothermally heated horizontal cylinder for high Rayleigh numbers, was used as initial guesses for the field variables. This was succeeded in new bifurcation point to tetracellular solutions for an identical set of parameter variables of previous works. The close examination of flow pattern transition around bifurcation point was also conducted. It was found that the mechanisms of flow transition are different depending on the critical Rayleigh number of bifurcation point.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.27 no.2
• /
• pp.69-79
• /
• 1999

This study identifies the features of landscape elements on the fifteen districts with the idea of land use area and visual quantity of pictures by analyzing the air photo. Therefore, the sensibility of observer is comprehended through simulating the landscape evaluation and the landscape preference with using slide film. The study is divided into three periods to understand the transition of rural landscape as the social and cultural environments have been changed. The first period is the New Community Movement which affected the rapid change of social and cultural environments. The second and third periods are the prior and post time at the rearrangement of administration district in the Tae-Jeon Broad City. The result of this study is explained below part; 1. The transition of rural landscape has been occurred as the land use pattern has been altered. The change of pattern has affected an increase of the natural space and the structure change of agricultural productive space. 2. In the regression analysis, the regression model of landscape preference and land use ratio show; Landscape preference = 3.632 - 11.618 (Residential Area) - 4.227 (Equipped Farm). The explanation variables defined as Residential Area and Equipped Farm, and the relationship of those factors shows negative. Therefore, the increase of other building will make the rural landscape lower and worse.

• Korea journal of population studies
• /
• v.29 no.2
• /
• pp.89-113
• /
• 2006

Over the past four decades reproductive behavior has changed rapidly in much of the developing countries. The average total fertility rate has fallen by half from six or more to near three today. Between 1960 and 2000 the largest fertility decline occurred in Asia and Latin America. The mortality rate has also decreased in most developing countries. The purpose of this study is to review the pattern and characteristic of demographic transition in developing countries. At first, this study focuses on the regional fertility and mortality transition. Africa, the total fertility rate is still high, can be match to the second stage of demographic transition. Similar case is found in Southern West Asia areas. However, the fertility rate has therd stage of demographic transition. The same pattern is found in Latin America. The mortality rate has also decreased in most of developing countries. It is interesting to find that there is a clear difference among developing countries. In terms of crude death rate, Latin American countries show the lowest rate. while African countries remain still high rate. About mortality, African countries show a high level in terms of both crude death rate and infant mortality rate. African countries also show the lowest level of life expectancy in the world. One of the reasons for low level of life expectancy in Africa is the widespread of AIDS in this areas. This study suggests that we should include 'AIDS' in the study of mortality in African countries.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.24 no.2
• /
• pp.169-176
• /
• 2000

Natural convection in a wide-gap horizontal annulus is considered, and the transition of flows and the bifurcation phenomenon are investigated for the fluids with Pr=0.2 and 0.3. At Pr=0.2, a bicellular flow pattern is observed at high Rayleigh number, and the solution is unique. At Pr=0.3, both the steady unicellular and bicellular flows exist above a certain critical Rayleigh number. For the fluids of Pr=0.2, the bicellular flow can be obtained by the impulsive heating of the inner cylinder, but it is not obtained from the zero initial condition for Pr=0.3. Hysteresis phenomena have not been observed. A transition from a bicellular flow to a unicellular flow occurs for Pr=0.3.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.25 no.6
• /
• pp.804-810
• /
• 2001

Transition of flows in natural convection in a horizontal cylindrical annulus is investigated for the fluid with Pr=0.2. The unsteady streamfunction-vorticity equation is solved with finite difference method. As Rayleigh number is increased, the steady crescent-shaped eddy flow bifurcates to a time-periodic flow with like-rotating eddies. After the first Hopf bifurcation, however, a reverse transition from oscillatory to a steady flow occurs by the flow pattern variation. Hysteresis phenomenon occurs between the solution branches of up-scan and down-scan stages, and dual solutions with one steady and one oscillatory flow are found. Overall Nusselt of the flows at the flows at the down-scan stage is greater than that at the up-scan stage.

• Journal of Microbiology and Biotechnology
• /
• v.8 no.3
• /
• pp.291-294
• /
• 1998

Transfer of Candida albicans grown in Sabouraud medium to the RPMI medium induces the transition from a nonpathogenic yeast form to a pathogenic hyphal form. This transition was severely inhibited in a dose-dependent manner when deer antler extract was added to the RPMI medium in a nontoxic range (up to $500{\mu}g$). In that range, deer antler extract inhibited the hyphal transition and cell growth, whereas no effect was observed on the yeast growth. When hydrophobic or hydrophilic fractions were prepared by detergent-solubilization of deer antler extract, the hydrophobic fraction showed a large degree of inhibition of the hyphal growth in Candida albicans. Neither fraction affected the growth in the yeast form. The pattern of chitin localization in the culture of the yeast form grown in RPMI in the presence of deer antler extract was confirmed by calcofluor staining and this exhibited strongly the suppression of hyphal transition.

• The Research Journal of the Costume Culture
• /
• v.7 no.5
• /
• pp.46-55
• /
• 1999

This research, as a study of the documentary records, examined the process of men\`s wear development year by year, looking into the newspapers which show objectively social phenomena in those days. The outcomes therefrom were classified according to the important factors of dress and ornaments\` modeling i. e. style, color, pattern, material, ornamentation method. And then, the process of men\`s wear transition was analyzed based on the aforesaid examination with its classification. The above analyses revealed that a transition of a dress and ornaments closely correlates with a social and cultural change and also meant that the dress and ornaments symbolizes the social phenomena in those days. Thanks to the holding of Seoul Olympic Games in 1988, Korean society had tremendously grown with rapid changes in its politics, economy and culture. Also, men\`s wear type became innovative, breaking from the existing orthodox one due to the transition of men\`s viewpoints on value and their lives\` style.

• Journal of Ocean Engineering and Technology
• /
• v.1 no.2
• /
• pp.101-112
• /
• 1987

Fracture toughness characterization in the transition region is examined for heat-treated and ionnitrided Ni-Cr-Mo steel. After heat treatment for the specimens of Ni-Cr-Mo steel, organizations of specimens-specimens which are heat-treated and ion-nitrided for 4 hours at 500 .deg. C and 5 torr in 25%N/dub 2/-75%H/sub 2/mixed gas-, hardness variety, and X-ray diffraction pattern of the ion-nitriding compound layer are observed. Fracture toughenss test of unloading compliance method were conducted over the regions from room trmperature to -70.deg. C. The compound layer was consisted of r'=Fe/sub 4/N phase and ion-nitrided layer's depth was 200mm from surface. The transition regions of heat-treated and ion-nitrided specimens were about -30.deg. C and -50.deg. C, respectively. The transition region of ion-nitrided specimens is estimated less than that of heat-treated one, and this is the effect of ion-nitriding.

• Transactions of Materials Processing
• /
• v.23 no.8
• /
• pp.507-512
• /
• 2014

The objective of the current investigation is to establish techniques in micro pattern forming operations of polymeric circular tubes by using hydrostatic pressing. This method was developed and successfully applied to the micro pattern forming on polymeric plates. The key idea of the new technique is to pressurize multiple vacuum-packed substrate-mold stacks above the glass transition temperature of the polymeric substrates. The new process is thought to be a promising micro-pattern fabrication technique for two reasons; first, (hydro-) isostatic pressing ensures a uniform micro-pattern replicating condition regardless of the substrate area and thickness. Second, multiple curved substrates can be patterned at the same time. With the prototype forming machine for the new process, micro prismatic array patterns, 25um in height and 90 degrees in apex angle, were successfully made on the PMMA circular tubes with diameters of 5~40mm. These results show that this process can be also used in the micro pattern forming process on curved plates such as circular tube.