• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.12
• /
• pp.974-980
• /
• 2000

Luby-Rackoff의 논문 이후로 유사 랜덤 순열 생성기에 관한 많은 연구가 있었다. 하지만 대부분의 연구는 대칭 피스텔 네트웍 구조를 이용한 유사 랜덤 순열 생성기에 관한 것이었다. 이 논문에서는 비대칭 피스텔 네트웍 구조를 사용하는 순열 생성기가 유사 랜덤 순열 생성기가 되기 위한 조건을 분석한다. 비대칭 피스텔 네트웍 순열 생성기의 입출력의 크기가 (k+1)n 비트인 경우 논문의 결과는 다음과 같다. 비대칭 피스텔 네트웍이 입력 크기가 kn 비트이고 출력 크기가 n 비트인 유사 랜덤 함수 생성기를 사용하는 경우, 전체 라운드 수가 k+2 이상이면 유사 랜덤 순열 생성기이다. 비대칭 피스텔 네트웍이 입력 크기가 n 비트이고 출력 크기가 kn 비트인 유사 랜덤 함수 생성기를 사용하는 경우, 전체 라운드 수가 k+2 이상이면 유사 랜덤 순열 생성기이다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.1_2
• /
• pp.45-51
• /
• 2001

정보 처리량이 증가함에 따라 한번에 많은 양의 평문을 암호화 할 수 있는 입출력이 큰 블록 암호기의 필요성이 대두되고 있다. 하지만 입출력이 큰 블록 암호기를 직접 구현하는 것은 많은 비용이 든다. 따라서 이 논문에서는 기존에 존재하는 블록 암호기를 이용해서 입출력이 큰 블록 암호기를 구현할 수 있는 방법을 제안한다. 그런 뒤 새로 제안된 비대칭 피스텔 네트웍 구조가 안전한 블록 암호기가 되기 위한 조건을 분석한다. 논문의 결과는 다음과 같다. 확장 가능한 비대칭 피스텔 네트웍이 입력과 출력의 크기가 모두 n 비트인 유사 랜덤 함수 생성기를 사용하는 경우, k가 홀수이고 전체 라운드 수가 2k+1이상이면 유사 랜덤 순열 생성기이다.

• Proceedings of the KIEE Conference
• /
• 2001.07b
• /
• pp.1251-1253
• /
• 2001

This paper presents on capacity design of DC-fed-traction system. The system is introduced including a characteristics of train, feeding network configuration, and design method of substation arrangements. Optimal design procedures is described, and program for capacity computation of the system is presented using the nodal equation, K.C.L, K.V.L, Ohm's law and superposition theory. For the proof of the proposed algorithm, we accomplished the simulation of DC traction system for HA-Nam LRT. By considering whole component in DC traction system the conclusion will be much precise.

• Asia pacific journal of information systems
• /
• v.16 no.4
• /
• pp.151-178
• /
• 2006

The objective of this research is to develop a formal framework and methodology to facilitate real-time data integration, thus enabling semantic interoperability among distributed and heterogeneous information systems. The proposed approach is based on the concepts of "ontology" and "semantic mediators." An ontology is developed and used to capture the intension (including structure, integrity rules and meta-properties) of the database schema. We also develop the agent communication protocol for semantic reconciliation, which is based on the theory of speech acts and agent communication language. This protocol is used by a set of semantic mediators, which automatically detect and resolve various semantic conflicts at the data- and schema-levels by referring to the ontology. A mediation-based query processing technique is developed to provide uniform and integrated access to the multiple heterogeneous information sources. Prototype tools are being implemented to provide proof of concept for this work.

• 한국초전도학회:학술대회논문집
• /
• v.10
• /
• pp.21-21
• /
• 2000

The Josephson Plasma resonance in single crystalling Bi2Sr2CaCu2O8 has been investigated at a microwave frequency of 35 GHz in a cavity resonator. A sharp resonance is observed in a perpendicular oscillating magnetic field. The former is independent of the sample dimension, shile the latter shift to higher field as the sample size L is reduced, and it disappears when L becomes smaller than the critical length. The longitudinal plasma mode is a Nambu-Goldston mode in a superconductor, the experimental distinction between the longitudinal and the transverse mode leads to the conclusion that the existence of the Nambu-Goldston mod as predicted by Anderson was experimentally confirmed by direct observation of the Josephson plasma resonance with longitudinal excitations. The finite gap found in Josephson plasma resonance also provides a direct proof of the Anderson-Higgs mechanism within the context of the spontaneously broken phase symmetry of the Gauge-field theory in a superconductor.

• Communications of the Korean Mathematical Society
• /
• v.25 no.4
• /
• pp.583-607
• /
• 2010

The purpose of this paper is to prove strong convergence theorems for common fixed points of two families of weak relatively nonexpansive mappings and a family of equilibrium problems by a new monotone hybrid method in Banach spaces. Because the hybrid method presented in this paper is monotone, so that the method of the proof is different from the original one. We shall give an example which is weak relatively nonexpansive mapping but not relatively nonexpansive mapping in Banach space $l^2$. Our results improve and extend the corresponding results announced in [W. Takahashi and K. Zembayashi, Strong convergence theorem by a new hybrid method for equilibrium problems and relatively nonexpansive mappings, Fixed Point Theory Appl. (2008), Article ID 528476, 11 pages; doi:10.1155/2008/528476] and [Y. Su, Z. Wang, and H. Xu, Strong convergence theorems for a common fixed point of two hemi-relatively nonexpansive mappings, Nonlinear Anal. 71 (2009), no. 11, 5616?5628] and some other papers.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1367-1376
• /
• 2018

In practice, the density function of a random variable X is always unknown. Even its smoothness parameter is unknown to us. In this paper, we will consider a density smoothness parameter estimation problem via wavelet theory. The smoothness parameter is defined in the sense of equivalent Besov norms. It is well-known that it is almost impossible to estimate this kind of parameter in general case. But it becomes possible when we add some conditions (to our proof, we can not remove them) to the density function. Besides, the density function contains impurities. It is covered by some additive noises, which is the key point we want to show in this paper.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.12 no.6
• /
• pp.563-570
• /
• 1987

In this paper a new RSA public-key cryptosystem which expands conventional RSA pubilc-key cryptosystem is suggested. The number of multiplication times is increased by expanding the modulus parameters p, q which are the foundation of ciphering. As a result tha amount of calculation which required in cryptoanalysis is increased, and we could improve strength of RSA public-key cryptography through a proof based on integral number theory.

• Journal for History of Mathematics
• /
• v.28 no.4
• /
• pp.167-179
• /
• 2015

We study the solution of truncated series of Lee Sang-hyeog with the aspect of visualization. Lee Sang-hyeog solved a problem of truncated series by 4 ways: Shen Kuo' series method, splitting method, difference sequence method, and Ban Chu Cha method. As the structure and solution of truncated series in tertiary number is already clarified with algebraic symbols in some previous research, we express and explain it by visual representation. The explanation and proof of algebraic symbols about truncated series is clear in mathematical aspects; however, it has a lot of difficulties in the aspects of understanding. In other words, it is more effective in the educational situations to provide algebraic symbols after the intuitive understanding of structure and solution of truncated series with visual representation.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.12
• /
• pp.6175-6189
• /
• 2019

To slove the security and efficiency problem of anonymous authentication in vehicular ad-hoc network (VANET), we adopt the bilinear pairing theory to propose an identity-based batch anonymous authentication scheme for VANET. The tamper-proof device in the on-board unit and the trusted authority jointly realize the anonymity of vehicle identity and the signature of messages, which further enhances the security of this scheme, as well as reduces the overhead of trusted authority. Batch authentication can improve the efficiency of anonymous authentication for VANET. Security and efficiency analyses demonstrate that this scheme not only satisfies such security properties as anonymity, non-forgeability and non-repudiation, but also has advantage in time and space complexity. Simulation results show that this scheme can achieve good performance in real-time VANET communication.