• Proceedings of the IEEK Conference
• /
• 2000.06b
• /
• pp.137-140
• /
• 2000

In this paper, we have proposed an efficient test generation method for asynchronous circuits. The test generation is based on specification level, especially on Signal Transition Graph(STG)〔1〕 which is a kind of specification method for asynchronous circuits. To conduct a high-level test generation, we have defined a high-level fault model, called single State Transition Fault(STF) model on STG and proposed a test generation algorithm for STF model. The effectiveness of the proposed fault model and its test generation algorithm is shown by experimental results on a set of benchmarks given in the form of STG. Experimental results show that the generated test for the proposed fault model achieves high fault coverage over single input stuck-at fault model with low cost. We have also proposed extended STF model with additional gate-level information to achieve higher fault coverage in cost of longer execution time.

• International Journal of Concrete Structures and Materials
• /
• v.3 no.2
• /
• pp.81-90
• /
• 2009

This paper proposes a semi analytical model to describe the pore structure of concrete by a set of simple equations. The relationship between the porosity and the microstructure of concrete has been considered when constructing the analytical model. The microstructure includes the interface transition zone (ITZ) between aggregates and cement paste. The predicting model of porosity was developed with considering the ITZ for various mixing of mortar and concrete. The proposed model is validated by the rapid experimental programs. Although the proposed model is semi-analytical and relatively simple, this model could be reasonably utilized for the durability design and adapted for predicting the service life of concrete structures.

• Atmosphere
• /
• v.15 no.1
• /
• pp.17-25
• /
• 2005

A significant number of tropical cyclones move into the midlatitudes and go through transformation procedure into extratropical cyclones. This process is generally referred to as extratropical transition of the tropical cyclone. In this study, MIDULLE(0407) case is selected. A thorough analysis is made using the GDAPS analysis data and MTM (Moving-nest Typhoon Model) model output. It is found that during the extratropical transition an important dynamics in the environmetal flow field occurs in which colder, drier (warm, moist) air penetrates in the western (eastern) quadrant of MINDULLE's outer circulation, which in turn initiates an asymmetry in the distribution of wind and temperature of the tropical cyclone. Simulated MTM result also reveals similar properties as in GDAPS analysis data. MTM result shows the gradual transition to the asymmetric distribution of wind and thickness as the extratropical transition proceeds. It is also found that the warm core disappears during the extratropical transition stage. Also, vortex tube is shown tilting towards the west during the transition. And the precipitation expands poleward of the center and the maximum precipitation appears to the left of MINDULLE which is consistent to the observations.

• Proceedings of the KSME Conference
• /
• 2000.11b
• /
• pp.136-141
• /
• 2000

A study of counter-current two-phase flow in narrow rectangular channels has been performed. Two-phase flow regimes were experimentally studied in 760 mm long and 100 mm wide test sections with 2.0 and 3.0mm gaps. The resulting data have been compared to previous transition models. For the transition from bubbly to slug flow the superficial velocity of gas increased as the gap width increased. The comparison of experimental data to the transition model developed by Taitel and Barnea showed relatively good agreement for the bubbly-to-slug transition in the case of 2mm gap width. For the criteria of Mishima and Ishii to be applicable to the slug-to-churn transition the distribution parameter should be well defined for narrow channels. Even though the gap width of narrow channels increased the superficial gas velocity did not change for the transition form chum to annular flow regime. For the chum-to-annular transition the model of Taitel and Barnea showed discrepancies with experimental data, especially in the channel with larger gap.

• Journal of the Korean Chemical Society
• /
• v.42 no.6
• /
• pp.599-606
• /
• 1998

Since the discovery of ceramic superconductor the various theoretical developments has progressed but there are no definitive description about the superconducting transition mechanism. In special, both the double transition and the various magnetic phase transition add to the complication of the understanding of HTSC. In this paper, we presented the idea of the two-step mechanism for the superconducting transition in view of the condensation model of electron fluid for superconductivity. And these concepts are successfully applied to the double transition and the magnetic phase diagram of various types of superconductivity. Therefore, both the double transition and magnetic phase transition should be the touchstone of general theory for superconductivity.

• Journal of Environmental Impact Assessment
• /
• v.8 no.2
• /
• pp.73-82
• /
• 1999

This study analyzed the relationship between NDVI(Normalized Difference Vegetation Index) and urban heat island in three cities: Daegu, Kyungju, and Pohang for understanding the degree of nature conservation concentrating in the transition zone of them. Daegu city is the third city in Korea which has a dense population. Kyungju is a traditional city which has good nature. Pohang is an industrial city which has those of characters of Daegu and Kyungju. Landsat 1M data in May 17, 1997 were used for the analysis of heat island. There were about four theoretical models to estimate the surface temperature from TM data: Two-point linear model, Linear regression model, Quadratic regression model, and Cubic regression model. In this study, Linear regression model had been utilized to analyze the urban heat island. On the resultant images, the transition zone of Daegu was urbanized more extremely than those of other two cities. It is thought that the analysis of relationship between NDVI and surface temperature, used in this study, is regarded as one of effective methodologies for urban-environmental detection from satellite imageries.

• Journal of The Korean Astronomical Society
• /
• v.33 no.3
• /
• pp.159-163
• /
• 2000

We have investigated one dimensional steady flow model of a typical magnetic flux tube in the solar transition region constrained to observed Differential Emission Measure (DEM) for the average quiet-Sun deduced by Raymond & Doyle (1981) with a flux tube geometry conforming to Doppler shifts of UV lines measured by Chae, Yun & Poland (1998). Because local heating and filling factor in the transition region are not well known, we considered two extreme cases, one characterized by the filling factor= 1 ('filled-up model') and the other set by local heating=0 ('not-heated model'). We examined how much the heating is required for the flux tube by recomputing a model through adjustment of the filling factor in such a way that 'not-heated model' accounts for the observed DEM.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.4
• /
• pp.1004-1012
• /
• 1997

This paper proposes a new TRF(Transition Rise\Fall)delay model for the effcient hazard analysis in a 5-valued logic sumulation enviroment.For the hazzard for a given logic circuit, the timing analysis is first performed by means of a 5-valued logic simulator which uses the TRF delay model which incorporates the response delay for a reponse state with the transition delay for a transition state of an elment, and then hazards are detected through investigating timing relations.Simulation examples and experimental results are also given to demostrate the pradticability of the proposed methods.

• The KIPS Transactions:PartC
• /
• v.11C no.5
• /
• pp.633-644
• /
• 2004

For a smooth transition from IPv4 to IPv6 network, the research of transition mechanisms have been processing according to the various network situations. Therefore, we calculate the cost based on the VPN applicable model. Also, we present that conformance between the end point of VPN, the If encapsulation tunneling, applying position of translation mechanism and VPN applicable model are the factors which affect Costs.

• Transactions of Materials Processing
• /
• v.8 no.3
• /
• pp.271-271
• /
• 1999

A concentration change during grade transition operation in thin slab casting is investigated through computer simulation and the results are compared with experimental measurements. Fluid flow and mixing patterns in various tundish levers and flow rates were analysed by a three-dimensional mathematical model. Based on the contained results, a simple, efficient and accurate computational model is suggested to predict the concentration profile at the outlet of the tundish. Based on the model, mixing in and below the mold was analyzed considering electromagnetic braking force. The predicted concentration profiles show good agreements with the measured values. It is found that the lower vortices in the mold are suppressed by the electromagnetic field and a plug-like flow region develops, which decreases the intermixing of two different grades of steel and shortens the length of transition region.