• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.2
• /
• pp.211-215
• /
• 2006

In this paper, design and applications of a generalized, versatile and customizable IF signal generator that can model the modernized GPS and Galileo signal is given. It generates IF sampled data that can be directly used by a software receiver. Entire constellation of satellites which is independent of satellite-user geometry is easily determined using a real or simulated ephemeris data. Since the IF center frequency, sampling frequency and quantization bit number are user location dependent parameters, their effects are also considered in IF signal generator. The generalized IF signal generator will be very well suited for the development phase of a software receiver due to its versatility. The full access to the sampling frequency, front-end filter definition and ADC parameters also offers a great opportunity for cost-effective analysis of tracking loops and error mitigation techniques at the receiver level. Interference sources can be easily added to the generator to simulate specific environments. This software IF signal generator can also be used to feed a multi-frequency multi-system software receiver for the prototyping of a combined GPS/Galileo receiver. The test result using the generated signals and a real software receiver shows the effectiveness of the implemented IF signal generator.

• Communications of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.221-229
• /
• 2005

In this paper we consider the decompositions of subdirect sums and direct sums in bounded BCK-algebras. The main results are as follows. Given a bounded BCK-algebra X, if X can be decomposed as the subdirect sum $\bar{\bigoplus}_{i{\in}I}A_i$ of a nonzero ideal family $\{A_i\;{\mid}\;i{\in}I\}$ of X, then I is finite, every $A_i$ is bounded, and X is embeddable in the direct sum $\bar{\bigoplus}_{i{\in}I}A_i$ ; if X is with condition (S), then it can be decomposed as the subdirect sum $\bar{\bigoplus}_{i{\in}I}A_i$ if and only if it can be decomposed as the direct sum $\bar{\bigoplus}_{i{\in}I}A_i$ ; if X can be decomposed as the direct sum $\bar{\bigoplus}_{i{\in}I}A_i$, then it is isomorphic to the direct product $\prod_{i{\in}I}A_i$.

• Corrosion Science and Technology
• /
• v.5 no.3
• /
• pp.106-111
• /
• 2006

Painting has protected metallic stack but the paint films may be degraded and corrosion problem can be arisen. To protect the painted metal stack, cathodic protection can be applied. If cathodic protection is applied to bare metal, only small area may be protected. However, if cathodic protection is applied to painted metal surface, large area can be protected and the lifetime of paint films can be extended. High corrosion resistant alloys were corroded at a Flue Gas Desulfurization (FGD) facility of power plant within a short period and thus cathodic protection can be used to protect these metals. On the base of computer simulation, if cathodic protection is applied to bare metal in a FGD environment, it was estimated that applied current could almost be spent to protect area near the anode. However, if cathodic protection is applied to high resistant-coated metal, the much larger area from the anode could be effectively protected.

• Language and Information
• /
• v.18 no.2
• /
• pp.123-140
• /
• 2014

The aim of this paper is twofold: to identify two types of even if concessive conditionals, standing-ifs and introduced-ifs (Bennett 1982) in terms of whether the truth of the consequent is 'entailed' (the consequent-entailment problem in terms of Lycan 2001); and to analyze these two types of concessive conditionals in a compositional way. Here we argue that, following Guerzoni and Lim (2007), even if conditionals can be analyzed as the cases where even gets its focus in conditionals. We also argue that the consequent-entailment problem can be accounted for in a compositional way if we identify the focus as well as the scope of even in conditionals correctly. We further argue that the analysis presented in this paper supports the scope theory of even, among two theories of even previously proposed in various works. We also consider the possibility where concessive conditionals without even can be analyzed as an extension of the analysis proposed in this paper.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.20 no.2
• /
• pp.320-327
• /
• 2006

This study was written in order to help understanding of listening diagnosis to vocal sound and speech. The purpose of listening diagnosis is that we know states of essence(精), Qi(氣) and spirit(神). Vocal sound and speech are made by Qi and spirit. Vocal sound originates from the center of the abdominal region(丹田) and comes out through vocal organs, for example lung, larynx, nose, tongue, tooth, lip and so on. Speech is expressed by vocal sound and spirit. They are controled by the Five Vital organs(五臟). Various changes of vocal sound and speech observe the rules of yinyang. For example, if we consider patient likes to say or not, we can diagnose heat and coldness of illness. If we consider he speaks loudly or quietly, we can diagnose weak and severe of illness. If we consider he speaks clearly or thick, we can diagnose inside and outside of illness. If we consider he speaks damp or dry, we can diagnose yin and yang of illness. If we consider change of voice, we can diagnose new and old illness. Symptoms of changes of five voices, five sounds, dumbness and huskiness are due to abnormal vocal sound, and symptoms of changes of mad talk, mumble, sleep talking and so on are due to abnormal speech.

• Journal of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.407-464
• /
• 2023

Let R be a commutative ring with identity. The structure theorem says that R is a PIR (resp., UFR, general ZPI-ring, π-ring) if and only if R is a finite direct product of PIDs (resp., UFDs, Dedekind domains, π-domains) and special primary rings. All of these four types of integral domains are Krull domains, so motivated by the structure theorem, we study the prime factorization of ideals in a ring that is a finite direct product of Krull domains and special primary rings. Such a ring will be called a general Krull ring. It is known that Krull domains can be characterized by the star operations v or t as follows: An integral domain R is a Krull domain if and only if every nonzero proper principal ideal of R can be written as a finite v- or t-product of prime ideals. However, this is not true for general Krull rings. In this paper, we introduce a new star operation u on R, so that R is a general Krull ring if and only if every proper principal ideal of R can be written as a finite u-product of prime ideals. We also study several ring-theoretic properties of general Krull rings including Kaplansky-type theorem, Mori-Nagata theorem, Nagata rings, and Noetherian property.

• Journal of Dental Rehabilitation and Applied Science
• /
• v.21 no.2
• /
• pp.183-189
• /
• 2005

There is no single or simple answer for effective communication between laboratory technician and clinical dentist. Love-hate could be used to describe the relationship between dentists and their labs. Great lab work can make a dentists life much easier and can result in getting many referrals. However, if the lab work is not up to par and/or late, it can add stress and agony to a dentists practice. Also the opposition is right. If the preparations are calibrated, the impressions clear, and the bite registrations accurate, most labs can do their work reasonably well. Unfortunately, many cases received by labs are barely adequate, especially when it comes to reading margins, which are frequently created by the imagination of the person trimming the dies. In other words, both dentists and lab technicians need to be able to understand how each party operates so that solutions to problems can be found. Effective communication with the laboratory is critical if any degree of success is desired.

• 한국기계연구소 소보
• /
• s.19
• /
• pp.23-30
• /
• 1989

Heat transfer phenomena of solidification process of the phase change material within cylindrical can is studied experimentally. N-Eicosane paraffin wax is used for phase change material and its melting temperature is 309.8 K. In order to achieve higher heat transfer rate of latent heat storage apparatus, fins in made of copper are used in the cylindrical can. If there are fins in cylindrical can, we can know that the inward latent heat energy in paraffin can be effectively transfered to cooling water than if finless.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.4 no.1
• /
• pp.219-226
• /
• 2000

In this paper, we design and implement a IF(intermediate frequency) module for WLL(wireless local loop) CDMA(code division multiple access) basestation. The implemented IF transceiver is consists of transmitter, receiver and local oscillator. The considered signal bandwidth is 10 MHz and the local carrier frequency is 40 MHz. As test results, the If transmitter output power is -5dBm $\pm3dB$when the baseband input is -10dBm $\pm3dB$, and the IF receiver output power is -10dBm $\pm3dB$when the IF input is -5dBm $\pm3dB$. Also the AGC(automatic gain control) circuit has dynamic range of 9 dB from -7dBm to +2dBm with output power 2dBm. And the group delay characteristic is analyzed by comparing the phase delay from 1 MHz to 5 MHz and the phase distortion is very low. We can conclude that this IF system can be applied to high speed data rate communication system.

• Kyungpook Mathematical Journal
• /
• v.48 no.1
• /
• pp.143-154
• /
• 2008

Lomp [9] has studied finitely generated projective modules over semilocal rings. He obtained the following: finitely generated projective modules over semilocal rings are semilocal. We shall give necessary and sufficient conditions for finitely generated modules to be semilocal modules. By using a lifting property, we also give characterizations of right perfect (semiperfect) rings. Our main results can be summarized as follows: (1) Let M be a finitely generated module. Then M has finite hollow dimension if and only if M is weakly supplemented if and only if M is semilocal. (2) A ring R is right perfect if and only if every flat right R-module is lifting and every right R-module has a flat cover if and only if every quasi-projective right R-module is lifting. (3) A ring R is semiperfect if and only if every finitely generated flat right R-module is lifting if and only if RR satisfies the lifting property for simple factor modules.