• The KIPS Transactions:PartA
• /
• v.19A no.1
• /
• pp.69-72
• /
• 2012

Logic programming based on classical or linear logic has traditionally lacked devices for expressing sequential tasks and sequential iterative tasks. Expressing sequential goal tasks has been addressed by a recent proposal of sequential goals of the form $G_1{\cap}G_2$ which is based on the game semantics of Japaridze. This paper proposes sequential iterative goal formulas of the form ${\cap}_x^LG$ where $G$ is a goal, $x$ is a variable, and $L$ is a list. ${\cap}_x^L$ is called a sequential bounded quantier. These goals allow us to specify the following task: sequentially iterate $G$ with $x$ ranging over all the elements of $L$.

• Journal of Naturopathy
• /
• v.7 no.2
• /
• pp.63-69
• /
• 2018

Purpose: The purpose of this study was to investigate the effects of Bacillus fermentation broth (ENM) on the human NK cell activity, and bone matrix density, matrix content and area of hamsters fed ENM. Methods: NK cell activity was tested, and bone mineral density were measured by x-ray. Results: NK cell activity was significantly higher in the control group (644.71 pg/ml) and in the test group (1796.37 pg/ml) (p<.004). Test groups were significantly increased by 1110.37 pg/ml in the pre-test and 1796.37 pg/ml in the post-test(p<.001). Behavioral observations after feeding ENM to hamsters showed normal behavior with no difference between control and test groups. The hamster body weight of the control was 106 g at the initial and final 27 days. In the test group, the initial weight was 96.6 g and the final 27 days was 114 g. No morphological changes were observed in the X-ray photographs of the hamster hind legs. The bone matrix density was 0.059 g/cm³ in control and 0.062 g/cm³ in the test, which was increased by 0.003 g/cm³. The bone matrix content was 0.175 g in the control and 0.196 g in the test. The bone area was 2.95 cm² in the control and 3.19 cm² in the test, which was increased by 0.19 cm². In the autopsy, neither the control nor the test group showed any remarkable abnormality, and each organ was normal. Conclusions: It is thought that ingestion of ENM is useful for immunity enhancement.

• Journal of Magnetics
• /
• v.21 no.4
• /
• pp.496-502
• /
• 2016

Doped and undoped barium hexaferrite powders ($BaFe_{12}O_{19}$, $Ba_{0.7}Ti_{0.3}Fe_{12}O_{19}$ and $Ba_{0.7}La_{0.3}Fe_{12}O_{19}$) were produced by the sol-gel method. The effects of substituting elements were studied in terms of the magnetic properties of barium hexaferrite powders. The magnetic properties were remarkably changed by the substitution of $La^{3+}$ and $Ti^{4+}$ ions for the $Ba^{2+}$ ion and were accompanied by oxygen deficiency in the $BaFe_{12}O_{19}$. Coercivities ($H_C$) from 4200 to 5100 Oe, remanences ($M_R$) from 22 to 49 emu/g and saturation magnetizations ($M_S$) from 41 to 73 emu/g were obtained for different samples. The obtained results were discussed in detail.

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.153-156
• /
• 2000

본 논문에서는 멀티미디어 서비스들 중에서 음성 또는 오디오 신호를 저속으로 압축할 때 사용되는 G.723.1 부호화기의 line spectral frequency(LSF) 계수 양자화 방식을 고속으로 처리하는 알고리즘을 제안하였다. 제안된 고속탐색 방법은 LSF 계수의 순서성질을 이용하여 코드북의 탐색 범위를 줄임으로써 계산량을 크게 감소시킨다. 제안된 고속탐색 방법을 predictive split VQ(PSVQ) 구조를 갖는 G.723.1 에 적용한 결과 spectral distortion(SD) 성능 감쇄 및 추가적인 메모리 증가 없이 최적 코드벡터를 찾기 위한 코드북 탐색 과정에서 코드북의 평균 탐색 범위가 $20.1\%$ 감소했으며, 이는 additions, subtractions, multiplies 및 comparisons 수가 각각 $19.1\%$, $20.1\%$, $19.4\%$ 및 $12.2\% 감소하는 결과를 얻었다.

• The Korean Journal of Zoology
• /
• v.17 no.1
• /
• pp.17-22
• /
• 1974

The G-6-PD (glucose-6-phosphate dehydrogenase) activity, the first step in the pentose phosphate shunt, of rat livers during prenatal and pstnatal development in different sexes was studied. The enzyme activity is very high (54.2 units) at 16 days of embryo ad then decreases to a low level (17.6 units) at 13days after birth. There are significant increase between 13 and 15 days of age and continuously increases to the level of 53.2 units at 19days of age. The G-6-PD activity in female rat livers was slightly higher than in males.

• Electronics and Telecommunications Trends
• /
• v.35 no.4
• /
• pp.42-52
• /
• 2020

The world's first 5G commercial service started in Korea in April 2019. This makes us proud of our status as an ICT powerhouse, and of the domestic optical network industry ecosystem that has served as a lever to make this significant leap forward in technological and industrial competitiveness. Above all, Japan's trade regulations on core parts and the COVID-19 pandemic have led to new changes across cultures, societies, and economies, and 5G networks have become important. The relevant technology for core material parts is a major concern not only of a few industries, but an entire section of society in terms of national competitiveness. In this article, we discuss the role of industries through the analysis of prospects of optical component technology with regard to the changes in the economic and social paradigm caused by the COVID-19 pandemic and Japan's export regulations.

• Korean Journal of Pharmacognosy
• /
• v.20 no.1
• /
• pp.6-9
• /
• 1989

A new aromatic amide, methyl-N-(3-carbamoylpropionyl) anthranilate was isolated for the first time as a natural compound and one known $C_{19}-diterpene\;alkaloid$, avadharidine was also obtained from the root of Aconitum pseudolaeve var. erectum. The\;LD_{50}$ values of water extract and MeOH extract of the root of Aconitum pseudolaeve var. erectum in mice were 1. 23 g (13. 6 g crude drug) and 0. 77 g(5. 13 g crude drug)/kg, p.o., respectively.

• Communications of the Korean Mathematical Society
• /
• v.19 no.4
• /
• pp.701-713
• /
• 2004

We obtain the Hyers-Ulam-Rassias stability of a betatype functional equation $f(\varphi(x),\phi(y))$ = $ \psi(x,y)f(x,y)+ \lambda(x,y)$ with a restricted domain and the stability in the sense of R. Ger of the equation $f(\varphi(x),\phi(y))$ = $ \psi(x,y)f(x,y)$ with a restricted domain in the following settings: $g(\varphi(x),\phi(y))-\psi(x,y)g(s,y)-\lambda(x,y)$\mid$\leq\varepsilon(x,y)$ and $\frac{g(\varphi(x),\phi(y))}{\psi(x,y),g(x,y)}-1 $\mid$ \leq\epsilon(x,y)$.

• Bulletin of the Korean Chemical Society
• /
• v.19 no.10
• /
• pp.1068-1072
• /
• 1998

We present results of molecular dynamic (MD) simulations for the segmental motion of liquid n-butane as the base case for a consistent study for conformational transition from one rotational isomeric state to another in long chains of liquid n-alkanes. The behavior of the hazard plots for n-butane obtained from our MD simulations are compared with that for n-butane of Brownian dynamics study. The MD results for the conformational transition of n-butane by a Poisson process form the total first passage times are different from those from the separate t-g and g-t first passage times. This poor agreement is probably due to the failure of the detailed balance between the fractions of trans and gauche. The enhancement of the transitions t-g and g-t at short time regions are also discussed.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.11
• /
• pp.1672-1678
• /
• 2022

In this paper, the relay antenna was designed in consideration of the performance of the 28GHz band 5G mobile communication relay horn antenna, such as radiation pattern and return loss. A horn array for 5G mobile communication repeater was designed by arranging the antenna elements in phase, and the performance was analyzed. Unlike conventional WCDMA (3G) and LTE (4G), in millimeter wave band communication, high path loss occurs between transmission and reception. In the design of a 5G millimeter wave horn antenna, antenna performance such as isolation and gain between antenna elements as well as gain and bandwidth of the antenna must be additionally considered. The antenna gain of the single horn antenna (1×1) and the array horn antenna (2×4) in the 28GHz band is about 10.44d Bi and 19.58dBi, respectively, and the return loss is designed to be less than -18dB. It has proven its validity and has been shown to be suitable for application to 5G mobile communication relay system.