• Journal of the Korean Operations Research and Management Science Society
• /
• v.36 no.2
• /
• pp.43-50
• /
• 2011

We consider the separation problem of the rank-1 Chvatal-Gomory (C-G) inequalities for the 0-1 knapsack problem with the knapsack capacity defined by an additional binary variable, which we call the fixed-charge 0-1 knapsack problem. We analyze the structural properties of the optimal solutions to the separation problem and show that the separation problem can be solved in pseudo-polynomial time. By using the result, we also show that the existence of a pseudo-polynomial time algorithm for the separation problem of the rank-1 C-G inequalities of the ordinary 0-1 knapsack problem.

• Journal of Korean Institute of Industrial Engineers
• /
• v.27 no.4
• /
• pp.379-383
• /
• 2001

The restricted shortest path problem is known to be weakly NP-hard and solvable in pseudo-polynomial time. Four fully polynomial approximation schemes (FPAS) are available in the literature, and most of these are based on pseudo-polynomial algorithms. In this paper, we propose a new FPAS that can be easily derived from a combination of a set of standard techniques. Although the complexity of the suggested algorithm is not as good as the fastest one available in the literature, it is practical in the sense that it does not rely on the bound tightening phase based on approximate binary search as in Hassin's fastest algorithm. In addition, we provide a review of standard techniques of existing works as a useful reference.

• Kyungpook Mathematical Journal
• /
• v.55 no.4
• /
• pp.859-870
• /
• 2015

The notion of quasi-valuation maps based on a subalgebra and an ideal in BCK/BCI-algebras is introduced, and then several properties are investigated. Relations between a quasi-valuation map based on a subalgebra and a quasi-valuation map based on an ideal is established. In a BCI-algebra, a condition for a quasi-valuation map based on an ideal to be a quasi-valuation map based on a subalgebra is provided, and conditions for a real-valued function on a BCK/BCI-algebra to be a quasi-valuation map based on an ideal are discussed. Using the notion of a quasi-valuation map based on an ideal, (pseudo) metric spaces are constructed, and we show that the binary operation * in BCK-algebras is uniformly continuous.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.34C no.8
• /
• pp.39-48
• /
• 1997

The fast redundancy identification is required to perform an efficient test pattern genration. Due to the reconvergent fanouts which make the dependency among objectives and the fault propagation blocking, there may exist redundnat faults in the cirucit. This paper presents the isomorphism identification and the pseudo dominator algorithms which are useful to identify redundant faults in combinational circuits. The isomorphism identification algorithm determines whether mandatory objectives required for fault detection cannot be simultaneously satisfied from primary input assignments or not using binary decision diagrma. The pseudo dominator algorithm determines whether faults propagation is possible or not by considering all paths at a given fanout node. Several experiments using ISCAS 85 benchmark circuits demonstrate the efficiency and practicability of the algorithms.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.5C
• /
• pp.313-319
• /
• 2005

In this paper, we propose a class of polyphase signature sequences, whose general odd correlation properties are useful for 4-phase signaling systems. The performance of the direct sequence code division multiple access (DS/CDMA) systems using the proposed sequences is compared with that using binary pseudo-noise sequences. The performance of the system using the proposed sequence is shown to be better than that using other conventional sequences both from the worst-case analysis and bit error rate simulations.

• Journal of Positioning, Navigation, and Timing
• /
• v.4 no.3
• /
• pp.107-114
• /
• 2015

Binary Offset Carrier (BOC) signal planned for future Global Navigation Satellite System (GNSS) provided better positioning accuracy and smaller multipath error than GPS C/A signal. However, due to the multiple side peaks in the auto-correlation function (ACF) of the BOC modulated signals, a receiver may false lock onto one of the side peaks in the tracking mode. This false lock would then result in a fatal tracking error. In this paper, we propose an unambiguous tracking method for composite BOC (CBOC) signals to mitigate this problem. It aims to reduce the side peaks of the ACF of CBOC modulated signals. It is based on the combination of traditional CBOC correlation function (CF) and reference CF of unmodulated pseudo- random noise code (PRN code). First, we present that cross-correlation function (CCF) with unmodulated PRN code is close to the secondary peaks of the traditional CBOC. Then, we obtain an unambiguous correlation function by subtracting traditional CBOC ACF from these CFs. Finally, the tracking performance for the CBOC signals is examined, and it is shown that the proposed method has better performance than the traditional unambiguous tracking method in additive white Gaussian noise (AWGN) channel.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.18 no.4
• /
• pp.12-20
• /
• 1981

In this paper, Band-limlted Gaussian Random Noise and PRBS(pseudo random hinary sequence) are used as a test signals to estimate the dynamic characteristics of the ocuiomotor system. Eye movements of the human subject are measured by E.O.G(electro-oculography) and the control characteristics of the oculomotor system are studied by random signal an-alysis based on the statistical communication theory. The conclusions are summerized as follows. (1) From the frequency response, the gain curve rises slightly at the regions of 0.7~0.9 Hz and 1.8~2 Hz due to the saccades which are occurred during usual tracking. (2) The average rate of information transfer by the oculomotor control system is 1.24 bits/sec, being calculated from the power spectral density and the cross spectral density for the Gaussian random input.

• Journal of information and communication convergence engineering
• /
• v.16 no.3
• /
• pp.166-172
• /
• 2018

A pseudo-random sequence generated by using a primitive polynomial, trace function, and Legendre symbol has been researched in our previous work. Our previous sequence has some interesting features such as period, autocorrelation, and linear complexity. A pseudo-random sequence widely used in cryptography. However, from the aspect of the practical use in cryptographic systems sequence needs to generate swiftly. Our previous sequence generated by utilizing a primitive polynomial, however, finding a primitive polynomial requires high calculating cost when the degree or the characteristic is large. It’s a shortcoming of our previous work. The main contribution of this work is to find some relation between the generated sequence and irreducible polynomials. The purpose of this relationship is to generate the same sequence without utilizing a primitive polynomial. From the experimental observation, it is found that there are (p - 1)/2 kinds of polynomial, which generates the same sequence. In addition, some of these polynomials are non-primitive polynomial. In this paper, these relationships between the sequence and the polynomials are shown by some examples. Furthermore, these relationships are proven theoretically also.

• Journal of the Speleological Society of Korea
• /
• no.66
• /
• pp.45-57
• /
• 2005

This Paper is a study on the duality of speleothem that appeared in 'Hyeob Jae Cave' which is designated as the natural monumen. No.236. It is located at Hyeob Jae Ri, Hanrim Eub, Bug Je-ju Gun, Je-judo. The findings are as follows. 1. The distribution range of the shelly sand which has maximum thickness of $10m{\pm}$ and average of $3m{\pm}$ was $3.2m^2$. 2. The desert hollow acted to promote the speleothem deposits in the lava tunnel with lava mound formed by lavapilz and artificial breaksand wall. 3. The main component of the pseudo limestone cavern was carbonate Calcium from shelly sand. And the deposition of speleothem in the Cave was accelerated after the volcanic erupsion of Biyang island in 1002. A.D. 4. The secondary depositions of Calcite recognized as speleothem up to now it can be used for the pseudo karst in general. 5. It seems that the variety of the cave deposits is decided depending upon the geology, land form, climate, vegetations and the structural environmental factors. 6. It seems that the wondering development of accretionary deposits caused by encrusting has a close relation with intermittent seepage of ground water. 7. Finally, we can acknowledge the coexistent duality of speleothem by shelly sand along with the joint and the lava stalactites formed at the same time with the lava tunnel on the ceiling where there was no seepage.

• Journal of Astronomy and Space Sciences
• /
• v.38 no.3
• /
• pp.165-173
• /
• 2021

Apophis is a near-Earth object with a diameter of approximately 340 m, which will come closer to the Earth than a geostationary orbit in 2029, offering a unique opportunity for characterizing the object during the upcoming encounter. Therefore, Korea Astronomy and Space Science Institute has a plan to propose a space mission to explore the Apophis asteroid using scientific instruments such as a laser altimeter. In this study, we evaluate the performance metrics of a laser altimeter using a pseudorandom noise modulation technique for the Apophis mission, in terms of detection probability and ranging accuracy. The closed-form expression of detection probability is provided using the cross correlation between the received pulse trains and pseudo-random binary sequence. And the new ranging accuracy model using Gaussian error propagation is also derived by considering the sampling rate. The operation range is significantly limited by thermal noise rather than background noise, owing to not only the low power laser but also the avalanche photodiode in the analog mode operation. However, it is demonstrated from the numerical simulation that the laser altimeter can achieve the ranging performance required for a proximity operation mode, which employs commercially available components onboard CubeSat-scale satellites for optical communications.