• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.687-700
• /
• 1994

Throughout this paper we will let H denote the complete Heyting algebra ($H, \vee, \wedge, *$) with order reversing involution *. 0 and 1 denote the supermum and the infimum of $\emptyset$, respectively. Given any set X, any element of $H^X$ is called H-fuzzy set (or, simply f.set) in X and will be denoted by small Greek letters, such as $\mu, \nu, \rho, \sigma$. $H^X$ inherits a structure of H with order reversing involution in natural way, by definding $\vee, \wedge, *$ pointwise (sam notations of H are usual). If $f$ is a map from a set X to a set Y and $\mu \in H^Y$, then $f^{-1}(\mu)$ is the f.set in X defined by f^{-1}(\mu)(x) = \mu(f(x))$. Also for $\sigma \in H^X, f(\sigma)$ is the f.set in Y defined by $f(\sigma)(y) = sup{\sigma(x) : f(x) = y}$ ([4]). A preorder R on a set X is reflexive and transitive relation on X, the pair (X,R) is called preordered set. A map $f$ from a preordered set (X, R) to another one (Y,T) is said to be preorder preserving (inverting) if for $x,y \in X, xRy$ implies $f(x)T f(y) (resp. f(y)Tf(x))$. For the terminology and notation, we refer to [10, 11, 13] for category theory and [7] for H-fuzzy semitopogenous spaces.

• Current Optics and Photonics
• /
• v.6 no.1
• /
• pp.44-50
• /
• 2022

An off-axis zone plate is able to focus on a single order while neglecting the zeroth order in a visible imaging system. This allows one to enhance the contrast quality in diffractive images, which is the major advantage of this type of zone plate. However, most previous reflection zone plates are used in focusing X-rays with a small grazing incident angle and are intricately designed with the use of a local grating period. In this study, we suggest the design of an off-axis elliptical zone plate (EZP) that is used to focus a monochromatic light beam with separation between the first and unfocused orders under a large grazing incident angle of 45°. An assumption using the total grating period, which depends on the average and constant grating period, is proposed to calculate the desired distance between the first and zeroth order and to simplify the construction of a novel model off-center EZP. Four diffractive optical elements (DOEs) with different parameters were subsequently fabricated by direct laser lithography and then verified using a performance evaluation system to compare the results from the assumption with the experimental results.

• Journal of Institute of Control, Robotics and Systems
• /
• v.3 no.1
• /
• pp.52-60
• /
• 1997

In genetic algorithms(GA), a crossover is performed only at one or two places of a chromosome, and the fixed probabilities of crossover and mutation have been used during the entire generation. A GA with dynamic mutation is known to be superior to GAs with static mutation in performance, but so far no efficient dynamic mutation method has been presented. Accordingly in this paper, a GA is proposed to perform a uniform crossover based on the nucleotide(NU) concept, where DNA and RNA consist of NUs and also a concrete way to vary the probabilities of crossover and mutation dynamically for every generation is proposed. The efficacy of the proposed GA is demonstrated by its application to the unimodal, multimodal and nonlinear control problems, respectively. Simulation results show that in the convergence speed to the optimal value, the proposed GA was superior to existing ones, and the performance of GAs with varying probabilities of the crossover and the mutation improved as compared to GAs with fixed probabilities of the crossover and mutation. And it also shows that the NUs function as the building blocks and so the improvement of the proposed algorithm is supported by the building block hypothesis.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.22 no.3
• /
• pp.267-279
• /
• 1998

A numerical study was made of flow behind a circular cylinder in a uniform flow, where the cylinder was rotationally oscillated in time. The temporal behavior of vortex formation was scrutinized over broad ranges of the two externally specified parameters, i.e., the dimensionless rotary oscillating frequency (.110.leq. $S_{f}$.leq..220) and the maximum angular amplitude of rotation (.theta.$_{max}$=15 deg., 30 deg. and 60 deg.). The Reynolds number (Re= $U_{{\inf}D}$.nu.) was fixed at Re=110. A fractional-step method was utilized to solve the Navier-Stokes equations with a generalized coordinate system. The main emphasis was placed on the initial vortex formations by varying $S_{f}$ and .theta.$_{max}$. Instantaneous streamlines and pressure distributions were displayed to show the vortex formation patterns. The vortex formation modes and relevant phase changes were characterized by measuring the lift coefficient ( $C_{L}$) and the time of negative maximum $C_{L}$( $t_{-C}$$_{Lmax}$) with variable forcing conditions.s.tions.s.s.s.

• Proceedings of the KSME Conference
• /
• 2000.04b
• /
• pp.311-315
• /
• 2000

A numerical investigation is made of time-dependent buoyant convection in a square of a non-Boussinesq fluid. The density-temperature$({\rho}-T)$ relation is modeled by a quadratic function, with the maximum density ${\rho}_M$ at temperature $T_M$. The horizontal walls of the square are insulated, and a pulsating temperature $T_H=T_M+{\Delta}T'\;sin({\omega}{\tau})$ is imposed on the hot vertical sidewall. The temperature at the cold wall $T_c$ is constant. Extensive numerical solutions to the governing Navier-Stokes equations are portrayed. Resonance is identified by monitoring the amplitude of the mid-plane Nusselt number, $A(Nu^*)$. The primary resonance frequency is found by matching ${\omega}$ to the nondimensional basic mode $N_1$ of internal gravity oscillations. Due to the quadratic$({\rho}-T)$ relationship, the effective pulsation frequency for density, $2{\omega}$, is meaningful, which brings forth the secondary resonance frequency, i.e., $2{\omega}=N_1$

• The Journal of the Korea Contents Association
• /
• v.3 no.4
• /
• pp.55-62
• /
• 2003

In this paper, a call admission contro(cac) technique is proposed to reduce the dropping probabilities of handoff calls in wireless networks while guaranteeing QoS to the users. The proposed technique is based on the estimated effective load for the target eel if a call is accepted. When the estimated effective load is higher than a predetermined threshold, a nu call is blocked and a handoff call is queued irrespective of the availability channels. The SRN, an extended Stochastic Petri Net, modes are constructed to compare the performance of the techniques. The SRN uses rewards concepts instead of the complicate numerical analysis required for the Markov chain modes. As a result, the SRN modeling techniques provide an easier way to carry out performance analysis for call admission control and channel allocation.

• KSBB Journal
• /
• v.26 no.4
• /
• pp.352-356
• /
• 2011

The detection of biomarkers is an important issue for disease diagnosis. However, many systems are not suitable to detect the biomarker itself directly. For direct detection of biomarker proteins in human serum, a new affinity-capture method using aptamers combined with the mass spectrometry was suggested. Since signals from protein samples cannot be amplified, modified chromatin immunoprecipitation (ChIP) and subsequent cross-linking with formaldehyde between aptamers and target proteins were used not to lose the captured target proteins, which allowed us to perform a harsh washing step to remove the non-specifically bound proteins. As a model system, a thrombin aptamer was used as a bait and thrombin as a target protein. Using our modified ChIP and affinity-capture method, non-specific binding proteins on the beads decreased significantly, suggesting that our new method is efficient and can be applied to developing diagnosis systems for various biomarkers.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.19 no.10
• /
• pp.703-709
• /
• 2007

Much energy is used in occupying stage of the Building Life Cycle. Electric charge is one of the various factors that influence on energy use of residents. This study focused on electric charge and searched that whether electric charge affects residents' behavior of operating air conditioner and their controlled indoor climate. We surveyed three groups for field study ; A group is residents who live in a studio apartment, B group is residents who live in a university dormitory and C group is residents who live in a apartment with their family. The A and C groups are charged for electric as energy consumption they used. And the B group is students who live in a university dormitory and they are not charged for their energy consumption. We measured the time to use the air conditioner for cooling, on/off temperature of air conditioner, and room air temperature for these three groups. The result shows that consideration for electric charge affects to the residents' behavior of operating air conditioner and their acceptable thermal range.

• Proceedings of the KSME Conference
• /
• 2002.08a
• /
• pp.341-344
• /
• 2002

A matched asymptotic analysis is conducted for a compressible rotating flow in a cylindrical container when a mechanical and/or a thermal disturbance is imposed on the wall. The system Ekman number is assumed to be very small. The conditions for the Taylor-Proudman column in the interior, which were also given in the companion paper Park & Hyun, 2002) by means of the energy balancing analysis, have been re-derived. The concept of the variable, the energy content $e[{\equiv}T+2 {\alpha}^2 {\gamma}{\nu}]$, is reformulated, and its effectiveness in characterizing the energy transport mechanism is delineated. It is seen that, under the condition of the Taylor-Proudman column, numerous admissible theoretical solutions for interior flow exist with an associated wail boundary condition. Some canonical examples are illustrated with comprehensive physical descriptions. The differential heating problem on the top and bottom endwall disks is revisited by using the concept of the energy content. The results are shown to be in line with the previous findings.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.19 no.3
• /
• pp.771-783
• /
• 1995

A simplified model for the so-called ACRT(accelerated crucible rotation technique) Bridgman crystal growth was considered in order to investigate the principal effects of the periodic variation of angular velocity. Numerical solutions were obtained for Ro=0.5, Ra=4.236*10$_{6}$ and E=2.176*10$^{-3}$ . The effects of spin-up process combined with natural convection was investigated as a preliminary study. The spin-up time scale for the present problem was a little larger than that observed for homogeneous spin-up problems. Numerical results reveal that over a time scale of (H$^{2}$/.nu..omega.$_{f}$)$^{1}$2/ the forced convection due to the formation of Ekman layer predominates. When the state of rigid body rotation is attained, natural convection due to buoyancy emerges as the main driving force and them the steady-state is approached asymptotically. Based on our preliminary results with simple spin-up, several fundamental features associated with variation of rotation speed are successfully identified. When a periodic variation of angular velocity was imposed, the system response was also periodic. Due to effect of mixing, the heat transfer was enlarged. From the analysis of time-averaged Nusselt number along the bottom surface the effect of a periodic variation of angular velocity on the interface location could be indirectly identified.d.