• Journal of Korea Society of Industrial Information Systems
• /
• v.9 no.2
• /
• pp.9-16
• /
• 2004

Recently, lattice conditional independence models(LCIMs) have been introduced for the analysis of non-monotone missing data patterns and of non-nested dependent regression models. This approach has been successfully applied to solve various problems in data pattern analysis, however, it suffers from computational burden to search LCIMs. In order to cope with this drawback, we propose a new scheme for finding LCIMs based on the essential graph. Also, we show that the class of LCIMs coincides with the class of all transitive acyclic directed graph(TADG) models which are Markov equivalent to a specific acyclic directed graph(ADG) models.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.905-908
• /
• 2009

In the management of groundwater in coastal areas, saltwater intrusion associated with extensive groundwater pumping, is an important problem. The groundwater optimization model is an advanced method to study the aquifer and decide the optimal pumping rates or optimal well locations. Cheng and Park gave the analytical solutions to the optimization problems basing on Strack's analytical solution. However, the analytical solutions have some limitations of the property of aquifer, boundary conditions, and so on. A simulation-optimization numerical method presented in this study can deal with non-homogenous aquifers and various complex boundary conditions. This simulation-optimization model includes the sharp interface solution which solves the same governing equation with Strack's analytical solution, therefore, the freshwater head and saltwater thickness should be in the same conditions, that can lead to the comparable results in optimal pumping rates and optimal well locations for both of the solutions. It is noticed that the analytical solutions can only be applied on the infinite domain aquifer, while it is impossible to get a numerical model with infinite domain. To compare the numerical model with the analytical solutions, calculation of the equivalent boundary flux was planted into the numerical model so that the numerical model can have the same conditions in steady state with analytical solutions.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.27 no.4
• /
• pp.244-249
• /
• 2014

In this research, it have developed a sensor that could diagnose inner deterioration of covered wires. With this sensor it observed results from simulation, and the attribute required for realization. For simulation it have used FLUX, it have considered all of geometric and electromagnetic information from coil and base metal that influences eddy current sensor's property in order to predict the final result. It assumed there is no mutual inductance in the coil with N number of turns, because equivalent current flows in coil that is continuously connected in eddy current sensor. It assumed circular coil loop draws a circle, always have self inductance, and they are connected in series and overlapped according number of turns (N) in coil, and bobbin configuration. Actual sensor was produced with consideration of inductance and number of turns (N). In conclusion, it were able to test the dependency through results from simulation, actual measurement, and modeling of simulation. It is considered that attributes of respective base metal and structure can be predicted by simulating in advance.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1913-1925
• /
• 2017

Let R be a ring with identity. An ideal N of R is called ideal-symmetric (resp., ideal-reversible) if $ABC{\subseteq}N$ implies $ACB{\subseteq}N$ (resp., $AB{\subseteq}N$ implies $BA{\subseteq}N$) for any ideals A, B, C in R. A ring R is called ideal-symmetric if zero ideal of R is ideal-symmetric. Let S(R) (called the ideal-symmetric radical of R) be the intersection of all ideal-symmetric ideals of R. In this paper, the following are investigated: (1) Some equivalent conditions on an ideal-symmetric ideal of a ring are obtained; (2) Ideal-symmetric property is Morita invariant; (3) For any ring R, we have $S(M_n(R))=M_n(S(R))$ where $M_n(R)$ is the ring of all n by n matrices over R; (4) For a quasi-Baer ring R, R is semiprime if and only if R is ideal-symmetric if and only if R is ideal-reversible.

• Tunnel and Underground Space
• /
• v.7 no.3
• /
• pp.238-245
• /
• 1997

A transient pulse methos has been used to measure the permeability of Pocheon granite pre-heated from $25^{\circ}C$ to $600^{\circ}C$ at effective pressure up to 32MPa. The permeability of whole rock ranged from 0.72 $\mu$d at 10MPa to 0.20 $\mu$d at 32MPa. The permeability of rock heated to $600^{\circ}C$ ranged from 18.07$\mu$d at 10MPa to 6.39$\mu$d at 32MPa. Confining pressure has greater effects on the rocks thermally treated to lower thermal-cycle temperatures than on the higher thermally treated rocks. The increase of permeability is most pronounced between 40$0^{\circ}C$ and $600^{\circ}C$. Below 40$0^{\circ}C$, permeability increase is expected to be associated with the formation of new cracks and widening of preexisting cracks, whereas above 40$0^{\circ}C$, permeability increase is expected to reflect widening of cracks. Using the equivalent channel model, author shows that the exponent n in the relationship relating the permebility(k) to porosity($\phi$) by k∝$$\phi$^n$ falls in the range 2.7$\leq$n$\leq$3.0.

• Structural Engineering and Mechanics
• /
• v.43 no.4
• /
• pp.545-560
• /
• 2012

Design codes provide the minimum requirements for the design of code-compliant structures to ensure the safety of the life and property. As for code-exceeding buildings, the requirements for design are not sufficient and the approval of such structures is vague. In mainland China in recent years, a large number of code-exceeding tall buildings, whether their heights exceed the limit for the respective structure type or the extent of irregularity is violated, have been constructed. Performance-based seismic design (PBSD) approach has been highly recommended and become necessary to demonstrate the performance of code-exceeding tall buildings at least equivalent to code intent of safety. This paper proposes the general methodologies of performance-based seismic analysis and design of code-exceeding tall buildings in Mainland China. The PBSD approach proposed here includes selection of performance objectives, determination of design philosophy, establishment of design criteria for structural components and systems consistent with the desirable and transparent performance objectives, and seismic performance analysis and evaluation through extensive numerical analysis or further experimental study if necessary. The seismic analysis and design of 101-story Shanghai World Financial Center Tower is introduced as a typical engineering example where the PBSD approach is followed. The example demonstrates that the PBSD approach is an appropriate way to control efficiently the seismic damage on the structure and ensure the predictable and safe performance.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.12
• /
• pp.6022-6026
• /
• 2012

This article presents a band-stop filter (BSF) by using a periodic structure property of frequency selective surfaces (FSSs) embedded in a microstrip transmission line. The proposed BSF is designed with FSS unit cells modifying the cross-loop slots. The BSF is interpreted with an equivalent circuit model and a dispersion diagram. The center frequency (fo) of the BSF is 6.6GHz. Proposed filter increases the number of unit cell. As a result, 3dB bandwidth is wider and insertion loss is reduced. Also, Facbricated BSF exhibits uniplanar geometry, simple fabrication.

• Journal of the Korean Applied Science and Technology
• /
• v.9 no.2
• /
• pp.107-117
• /
• 1992

The synthesis and solution properties of polyglycerol alkyl ether($R_{12}Gn$) are described. The phase behavior, surface tension, cloud point and HLB value of polyglycerol dodecyl ether in aqueous solution and in mixed solution of surfactant /water /oil have been investigated and compared with values of polyoxyethylene dodecyl ether. The surface tension showed that $R_{12}Gn$ have sufficiently low values of surface tension and cmc to serve as useful polyoxyethylene alkyl ether. The mesophases appearing in the $R_{12}Gn$ systems were more stable in a high temperature range than the mesophases of polyoxyethylene alkyl ether systems. The cloud point and HLB data indicated that addition of one glycerol group was equivalent to the addition of three oxyethylene group units, as far as the hydrophilic property was concerned. The phase diagrams of the polyglycerol alkyl ether /dodecane /water systems showed that the solubilizing and emulsifying powers of $R_{12}Gn$ were greater than those of polyoxyethylene alkyl ether. It is concluded that the polyglycerol chain can be even more useful as hydrophilic group of nonionic surfactants than the polyoxyethylene chain.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

• Journal of the Microelectronics and Packaging Society
• /
• v.12 no.1 s.34
• /
• pp.59-63
• /
• 2005

A simulation method combined with the simulation program with integrated circuit emphasis (SPICE) and the technology computer-aided design (TCAD) has been proposed to estimate the electrical characteristics of the metal-ferroelectric-semiconductor field effect transistor (MFS/MFISFET). The complex behavior of the ferroelectric property was analyzed and surface potential of the channel region in the MFS gate structure was calculated with the numerical TCAD method. Since the calculated surface potential is equivalent with the surface potential obtained with the SPICE model of the conventional MOSFET, we can obtain the current-voltage characteristics of MFS/MFISFET corresponding to the applied gate bias. Therefore, the proposed method will be very useful for the design of the integrated circuits with MFS/MFISFET memory cell devices.