• Journal of the Korean School Mathematics Society
• /
• v.17 no.4
• /
• pp.805-816
• /
• 2014

In this paper, we survey the development of material implication and we present an analysis of the students' understanding of formal implication. Most of high school students consider material implication $p{\rightarrow}q$ as ${\sim}p{\vee}q$ when they represent the pattern of a collected cards as material implication $p{\rightarrow}q$. But when they collect cards in which material implication $p{\rightarrow}q$ is true, Most of high school students consider $p{\rightarrow}q$ as $p{\wedge}q$.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.12 no.2
• /
• pp.11-20
• /
• 2002

In this paper, for many prime power q, it is shown that new cyclic relative difference sets with parameters (equation omitted) can be constructed by using d-homogeneous functions on $F_{q^{n}}${0} over $F_{q}$ with difference-balanced property, where $F_{q^{n} }$ is a finite field with $q^{n}$ elements. Several new cyclic relative difference sets with parameters (equation omitted) are constructed by using p-ary sequences of period $q^{n}$ -1 with ideal autocorrelation property introduced by Helleseth and Gong and d-form sequences.

• Journal of The Korean Astronomical Society
• /
• v.36 no.3
• /
• pp.89-95
• /
• 2003

Observations of dark matter dominated dwarf and low surface brightness disk galaxies favor density profiles with a flat-density core, while cold dark matter (CDM) N-body simulations form halos with central cusps, instead. This apparent discrepancy has motivated a re-examination of the microscopic nature of the dark matter in order to explain the observed halo profiles, including the suggestion that CDM has a non-gravitational self-interaction. We study the formation and evolution of self-interacting dark matter (SIDM) halos. We find analytical, fully cosmological similarity solutions for their dynamics, which take proper account of the collisional interaction of SIDM particles, based on a fluid approximation derived from the Boltzmann equation. The SIDM particles scatter each other elastically, which results in an effective thermal conductivity that heats the halo core and flattens its density profile. These similarity solutions are relevant to galactic and cluster halo formation in the CDM model. We assume that the local density maximum which serves as the progenitor of the halo has an initial mass profile ${\delta}M / M {\propto} M^{-{\epsilon}$, as in the familiar secondary infall model. If $\epsilon$ = 1/6, SIDM halos will evolve self-similarly, with a cold, supersonic infall which is terminated by a strong accretion shock. Different solutions arise for different values of the dimensionless collisionality parameter, $Q {\equiv}{\sigma}p_br_s$, where $\sigma$ is the SIDM particle scattering cross section per unit mass, $p_b$ is the cosmic mean density, and $r_s$ is the shock radius. For all these solutions, a flat-density, isothermal core is present which grows in size as a fixed fraction of $r_s$. We find two different regimes for these solutions: 1) for $Q < Q_{th}({\simeq} 7.35{\times} 10^{-4}$), the core density decreases and core size increases as Q increases; 2) for $Q > Q_{th}$, the core density increases and core size decreases as Q increases. Our similarity solutions are in good agreement with previous results of N-body simulation of SIDM halos, which correspond to the low-Q regime, for which SIDM halo profiles match the observed galactic rotation curves if $Q {\~} [8.4 {\times}10^{-4} - 4.9 {\times} 10^{-2}]Q_{th}$, or ${\sigma}{\~} [0.56 - 5.6] cm^2g{-1}$. These similarity solutions also show that, as $Q {\to}{\infty}$, the central density acquires a singular profile, in agreement with some earlier simulation results which approximated the effects of SIDM collisionality by considering an ordinary fluid without conductivity, i.e. the limit of mean free path ${\lambda}_{mfp}{\to} 0$. The intermediate regime where $Q {\~} [18.6 - 231]Q_{th}$ or ${\sigma}{\~} [1.2{\times}10^4 - 2.7{\times}10^4] cm^2g{-1}$, for which we find flat-density cores comparable to those of the low-Q solutions preferred to make SIDM halos match halo observations, has not previously been identified. Further study of this regime is warranted.

• Journal of the Korean earth science society
• /
• v.22 no.6
• /
• pp.500-511
• /
• 2001

For the southeastern Korea aound the Yangsan fault we measured Q$_P^{-1}$ and Q$_S^{-1}$ simultaneously by using the extended coda-normalization method for seismograms registered at 9 stations deployed by KIGAM. We analyzed 707 seismograms of local earthquakes that occurred between December 1994 and February 2000. From seismograms, bandpass filtered traces were made by applying Butterworth filter with frequency-bands of 1${\sim}$2, 2${\sim}$4, 4${\sim}$8, 8${\sim}$16 and 16${\sim}$32 Hz. Estimated Q$_P^{-1}$ and Q$_S^{-1}$ values decrease from (7${\pm}$2)${\times}$10$^{-3}$ and (5${\pm}$4)${\times}$10$^{-4}$ at 1.5 Hz to (5${\pm}$4)${\times}$10$^{-3}$ and (5${\pm}$2)${\times}$10$^{-4}$ at 24 Hz, respectively. By fitting a power-law frequency dependent to estimated values over the whole stations, we obtained 0.009 (${\pm}$0.003)f$^{-1.05({\pm}0.14)$ for Q$_P^{-1}$ and 0.004 (${\pm}$0.001)f$^{-0.75({\pm}0.14)$) for Q$_S^{-1}$, where f is frequency in Hz.

• Honam Mathematical Journal
• /
• v.35 no.4
• /
• pp.583-606
• /
• 2013

We generalize the idea of (${\in}$, ${\in}{\vee}q_k$)-fuzzy ordered semi-group and give the concept of (${\in}$, ${\in}{\vee}q_k$)-fuzzy ordered $\mathcal{LA}$-semigroup. We show that (${\in}$, ${\in}{\vee}q_k$)-fuzzy left (right, two-sided) ideals, (${\in}$, ${\in}{\vee}q_k$)-fuzzy (generalized) bi-ideals, (${\in}$, ${\in}{\vee}q_k$)-fuzzy interior ideals and (${\in}$, ${\in}{\vee}q_k$)-fuzzy (1, 2)-ideals need not to be coincide in an ordered $\mathcal{LA}$-semigroup but on the other hand, we prove that all these (${\in}$, ${\in}{\vee}q_k$)-fuzzy ideals coincide in a left regular class of an ordered $\mathcal{LA}$-semigroup. Further we investigate some useful conditions for an ordered $\mathcal{LA}$-semigroup to become a left regular ordered $\mathcal{LA}$-semigroup and characterize a left regular ordered $\mathcal{LA}$-semigroup in terms of (${\in}$, ${\in}{\vee}q_k$)-fuzzy one-sided ideals. Finally we connect an ideal theory with an (${\in}$, ${\in}{\vee}q_k$)-fuzzy ideal theory by using the notions of duo and (${\in}{\vee}q_k$)-fuzzy duo.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.19 no.3
• /
• pp.311-320
• /
• 2008

In this paper, a new variable active inductor using a conventional grounded active inductor with feedback variable LC-resonator is proposed. The grounded active inductor is realized by the gyrator-C topology and the variable LC-resonator is realized by the low-Q spiral inductor and varactor. This variable LC-resonator can compensate the degradation of Q-factor due to parasitic capacitance of a transistor, and the frequency range with high Q-factor is adjustable by resonance frequency adjustment of LC-resonator. The fabricated variable active inductor with Magnachip $0.18{\mu}m$ CMOS process shows that high-Q frequency range can be adjusted according to varactor control voltage from 4.66 GHz to 5.45 GHz and Q-factor is higher than 50 in the operating frequency ranges. The measured inductance at 4.9GHz can be controlled from 4.12 nH to 5.97 nH by control voltage.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.5
• /
• pp.1133-1138
• /
• 2010

In the anti-collision scheme proposed by EPCglobal Class-1 Gen-2 standard, the frame size for a query round is determined by Q-algorithm. In the Q-algorithm, the reader calculates a frame size without estimating the number of tags in it's identification range. It uses only the slot status. Therefore, Q-algorithm has advantage that the reader's algorithm is simpler than other algorithms. However, it cannot allocate an optimized frame size because it does not consider the number of tags. Also, the conventional Q-algorithm does not define an optimized parameter value C for adjusting the frame size. In this paper, we propose a modified Q-algorithm and evaluate the performance with computer simulations. The proposed Q-algorithm estimates the number of tags at every query round, and determines the parameter value C based on the estimated number of tags.

• The KIPS Transactions:PartB
• /
• v.18B no.3
• /
• pp.165-172
• /
• 2011

In this paper, we propose Ant-Q learning Algorithm[1], which uses the habits of biological ants, to find a new way to solve Stable Marriage Problem(SMP)[3] presented by Gale-Shapley[2]. The issue of SMP is to find optimum matching for a stable marriage based on their preference lists (PL). The problem of Gale-Shapley algorithm is to get a stable matching for only male (or female). We propose other way to satisfy various requirements for SMP. ACS(Ant colony system) is an swarm intelligence method to find optimal solution by using phermone of ants. We try to improve ACS technique by adding Q learning[9] concept. This Ant-Q method can solve SMP problem for various requirements. The experiment results shows the proposed method is good for the problem.

• Journal of Environmental Science International
• /
• v.20 no.12
• /
• pp.1561-1584
• /
• 2011

This study aims at classifying and interpreting on the vegetation structure and analyzing the correlationship between communities and environmental conditions in Mt. Wolchulsan. We also predicted the succession possibility and the vertical distribution change of vegetations according to the global warming, through the pioneer species of a forest change and dominant species of canopy vegetations. We also analyzed the Raunkiaer's life-form. The communities in this ecotone are distributed vertically in the order of a Quercus acuta community, a Q. serrata-Q. variabilis community and a Q. serrata community. A Pinus densiflora community appears on the most of altitudes. The distribution of communities correlates highly with an altitude. The Q. serrata-Q. variabilis community will be succession to the Q. acuta community, and the Q. variabilis will be under natural selection gradually or remain locally. The Q. serrata community will possibly maintain as it is, and the P. densiflora community will be also under natural selection gradually. The valuable quantitative and numerical life-forms are confirmed and the layer structure of present vegetation will not be changed.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.8
• /
• pp.1649-1655
• /
• 2005

For systems with coexisting cellular and hot-spot cells in broadband orhogonal frequency and code division multiplexing (OFCDM) systems, a suitable cell search algorithm is proposed fur the common pilot channel (CPICH) in the forward link using separated I/Q channel cell specific codes(CSSC), in which the cellular cell specific scrambling code (CCSSC) is assigned to the in-phase (Q) pilot channel of all cellular cells, and the exclusive hot-spot cell specific scrambling code (HSCSSC) group is assigned to the quadrature (Q) pilot channel of all hot-spot cells. Therefore, the proposed algorithm enables a mobile station (MS) to search quickly for the most desirable hot-spot cell due to reducing the effect of CCSSC, when a MS wants to use a mobile internet. The computer simulation results show that the proposed cell search algorithm can achieve faster cell search time performance, compared to conventional cell search methods.