• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.4
• /
• pp.816-823
• /
• 2005

Non-Horn logic programs are extended from Horn logic programs to the level of 1st order predicate logic. Even though they are more expressive than Horn logic programs, They are not practically used because we do not have efficient implementations. Currently to execute non-Horn logic programs, we translate them to equivalent Horn logic programs using the proof procedure InH-Prolog and compile the Horn logic programs to WAM(Warren Abstract Machine) instructions. In this paper, we propose EWAM(Extended Warren Machine) that executes non-Horn logic programs more efficiently and a compilation scheme that compiles non-Horn logic programs to the EWAM instruction. We implement an EWAM emulator and a compiler and measured the performance of the EWAM emulator and the compiler and found that they are very efficient.

• Journal of Digital Convergence
• /
• v.13 no.5
• /
• pp.61-67
• /
• 2015

In order to ensure the housing stability of homeless people who living in the information society, the Korean Housing Lease Protection Act was enacted as a special law of Civil Code in March 5, 1981, Law No. 3379. And until January 6, 2015 there were 15 times revisions. In the meantime, many issues have been resolved by legal revisions through several times however, it is true that many problems are exposed after enforcement because processing without sufficient review of legislation. Among them, at the 1st revision in 1983 the purpose of Article 9 for lease succession was admitting succession to a spouse who has no inheritance rights. Then it can protect common-law relationship and on the other hand protect the residential life of a spouse. But many questions have been raised. Therefore, in this paper, analyze the problem of lease succession carefully, proposes an improvement to contribute to the residential stable livelihood.

• Journal of IKEEE
• /
• v.16 no.4
• /
• pp.297-303
• /
• 2012

This paper proposes the effective design procedure for a broadband, double-ridged horn antenna for evaluating the performance of the RF energy harvesting system with a multi-band rectenna. Using multi-mode network analysis, the higher-mode scattering parameters of the transition and horn were acquired and applied to the antenna design, respectively. As a result, the computing time could be reduced and the calculated VSWR(voltage standing wave ratio) of the antenna was very similar to the analyzed result using fully electromagnetic simulation. And there was also good agreement between the simulated and measured results. The designed broadband antenna has a bandwidth of 660~6360 MHz and 6~13.7 dBi peak radiation gain.

• Journal of IKEEE
• /
• v.26 no.1
• /
• pp.137-140
• /
• 2022

In this paper, we proposed a new W-band monopulse tracking system based on reflectarray antenna structure. The proposed reflectarray antenna monopulse tracking system consists of four feed horn antennas and a planar reflector using a microstrip reflectarray. The four feed horn antennas have a gain of 10 dBi and a half-power beam-width of 56 degrees symmetrically in the E/H plane. It was confirmed that the reflectarray antenna using one feed horn antenna has a size of 41.8 × 41.8 mm², a gain of 26.8 dBi, and a half-power beam-width of about 5.6 degrees. The reflectarray monopulse tracking system using 4 feeding horn antennas is well matched from 75 GHz to 90 GHz, and the isolation is secured by more than 10 dB. Finally, the proposed system shows the tracking range of 5.98 degrees and the tracking error range was 0.02 degrees.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.11 no.6
• /
• pp.135-141
• /
• 2008

In this paper, a design method of broadband horn antenna having 3:1 bandwidth and multiple polarization characteristics is proposed. The feeding section of the antenna adopts quadruple-ridged waveguide type for broadband and multiple polarization characteristics of the antenna. By inserting a shorting bar in the cavity structure with a semi-sphere type back short, the return loss at the feeding section was minimized. A corrugated dielectric lens is designed for phase compensation and lens-surface matching at the antenna aperture, which improves the antenna beam pattern. The validity of the design method is verified by indicating the measured data of the antenna.

• Journal of Korean Library and Information Science Society
• /
• v.47 no.4
• /
• pp.43-68
• /
• 2016

Uncovering ideological trends and varieties embedded in contemporary progressive librarianship, the depth and breath of the librarians' thoughts should be more expandable than before. That is the purpose of the study. To accomplish the purpose, this study analyzed key ideologies of American progressive librarian Zoia M. Horn(1918-2014) as reviewing carefully her biography with the inductive approach for qualitative data analysis. As a result, author suggests that the core values of Z.M. Horn's library freedom ideologies have identified as equality, intellectual freedom, and pacifism. In addition, the ingredients of these core ideologies also were identified.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.2
• /
• pp.195-202
• /
• 2015

As satellite communications services are showing gradual growth, so are the needs for dual or tri-band antennas greater than performance of conventional single-band antennas. In this paper, a simultaneously operable tri-band antenna for SATCOM(Satellite Communications) is proposed. It is different from conventional methods of implementing tri-band through replaceable horns, while it is designed with a tri-band feed assembly composed of corrugated and dielectric horns and reflectors of gregorian type to transmit and receive tri-band of X, Ku and Ka band simultaneously. And simulated and measured values were compared and analyzed for characteristics of the proposed antenna. In the results, radiation patterns of the proposed tri-band antenna were close to the simulated ones and also met specifications.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.13 no.10
• /
• pp.998-1004
• /
• 2002

This paper reports a design of feedforward linear power amplifier using pilot tone for IMT-2000 band repeaters accepting multi-carrier. As this time pilot tone is applied to the circuit differently from the existing method. Only one pilot tone is used in both 1-st loop(IMD abstraction loop) and 2-nd loop(IMD cancellation loop) to cancell IMD signals automatically according to variation of frequency or power level of input signals. As an experiment, in range of 2110 MHz - 2170 MHz at LPA output power of $20 W_{avg}$, IMD characteristics of over 20 dB was improved maintaining below -60 dBc considering respective 20 MHz. Therefore the supposed feedforward linear power amplifier can be used for linear power amplifier in IMT-2000 band repeaters.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.21 no.7
• /
• pp.823-830
• /
• 2010

This paper deals with a coaxial-to-waveguide transition generating circularly polarized wave to be connected with horn antennas. By combining vertical coaxial fed structure, back-short and the polarization twisting structure, the circular polarization is successfully generated in the waveguide. The designed and implemented transition shows that the present structure can significantly reduce the size of the antenna part at X-band.

• Journal of Advanced Navigation Technology
• /
• v.27 no.6
• /
• pp.828-834
• /
• 2023

In this paper, we studied an antenna that forms a wide beam width by applying a horn-shaped reflector to a patch array antenna. To implement a wide beam width, three patches were arranged in each of the four directions on a square microstrip substrate, and a horn-shaped reflector was applied to the rear of the array antenna. Through this structure, the vertical beam pattern formed from the patch was converted to a diagonal direction, and as a result, the beam widths formed in each of the four sectors were added to create a wide beam width close to a hemisphere. The proposed antenna was studied for application to UAV(unmanned aerial vehicle), and the simulation test results confirmed that the 4.5 dBi beam width was 146.8°.