• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.4
• /
• pp.251-257
• /
• 2022

We formulated the convex optimization based minimum energy soft landing problem for reusable launch vehicles, and obtained the minimum time trajectory via the bisection search. In order to implement the the optimal guidance command and complete the flight control architectures on the soft landing stage, we designed the classical attitude control loops, and formulated and solved the optimal actuator allocation problem. The obtained soft landing guidance performance was analyzed via nonlinear 6-DOF simulation.

• Journal of Industrial Convergence
• /
• v.18 no.3
• /
• pp.19-25
• /
• 2020

In the software development process, software reliability evaluation is a very important issue. In particular, finding the optimal development model that satisfies high reliability is the more important task for software developers. For this, in this study, Pareto and Erlang life distributions were applied to the finite failure NHPP model to evaluate the reliability attributes. For this purpose, parametric estimation is applied to the maximum likelihood estimation method, and nonlinear equations are calculated using the bisection method. As a result, the Erlang model showed better performance than the Pareto model in the evaluation of the strength function and the mean value function. Also, as a result of inputting future mission time and evaluating reliability, the Erlang model showed an effectively high trend together with the Pareto model, while the Goel-Okumoto basic model showed a decreasing trend. In conclusion, the Erlang model is the best model among the proposed models. Through this study, it is expected that software developers will be able to use it as a basic guideline for exploring and evaluating the optimal software reliability model.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.12
• /
• pp.8654-8664
• /
• 2015

Beam-type structures with non-uniform cross sections are widely used in mechanical, architectural, and civil engineering fields. This paper deals with dynamic characteristics and vibration problems. Governing equations are first derived by using local coordinates. Their solutions are then assumed by using Galerkin's mode summation method. Bisection method is also applied in solving the determinant of the matrix which can provide natural frequencies. Whereas finite element methods adopt admissible functions satisfying only geometric boundary condition, in this study we apply Galerkin's mode summation method which uses eigen-functions satisfying both governing equations and boundary conditions. Modal analysis and experimental tests are finally performed using simply-supported beams with four different non-uniform cross-sections. Our analytical results then show good agreement with experimental ones.

• Journal of Korean Society of Transportation
• /
• v.23 no.8 s.86
• /
• pp.181-191
• /
• 2005

This study developed an algorithm for real-time signal control based on the detection system that can collect sectional travel time. The signal control variable is maximum queue length per cycle and this variable has a sectional meaning. When a individual vehicle pass through the detector, we can gather the vehicle ID and the detected time. Therefor we can compute the travel time of an individual vehicle between consecutive detectors. This travel time informations were bisected including the delay and not. We can compute queue withdrawing time using this bisection and the max queue length is computed using the deterministic delay model. The objective function of the real-time signal control aims equalization of queue length for all direction. The distribution of the cycle is made by queue length ratios.

• The Journal of the Society of Korean Medicine Diagnostics
• /
• v.11 no.1
• /
• pp.25-47
• /
• 2007

Background and Purpose: There was seldom study about method that diagnose 8 Constitution beside method of pulse diagnosis in 8 Constitution Medicine. Objectives: This study is to make out check list for 8 Constitution Medicine Diagnosis Expert System Development used CBR(Case based Reasoning). Methods: Review of literatures about special quality element of 8 Constitution and supplement learning advice of 8 Constitution Medicine Experts constructed knowledge base. And then, knowledge base divided through AHP(Analytic Hierarchy Process), and made out check list with this. Results: Knowledge base based on special quality element of 8 Constitution was divided by 5 greate classification and 25 bisection kind, and check list consisted of 251 item was made out through this. Conclusion: Based on this research, cases necessary to make 8 Constitution Medicine Diagnosis Expert System can be gathered through check list, and further study for 8 Constitution Medicine Diagnosis Expert System Development used CBR(Case based Reasoning) is needed to supplement this research.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.10 no.8
• /
• pp.883-890
• /
• 2015

As the semiconductor processing technology has been developing, multiple cores or NoC(network on chip) can be contained in recent chips. GALS(globally asychronous locally synchronous) clocking scheme that has multi-clock domains with different frequencies or phase differences is widely used to solve power consumption and clock skew in a large chip with a single clock. A synchronizer is needed to avoid a synchronization problem between sender and receiver in GALS. In this paper, the setup and hold time of DFF required to design the synchronizer are measured using 180nm CMOS processing parameters depending on temperature, supply voltage, and the size of inverter in DFF. The simulation results based on the bisection method in HSPICE show that the setup and hold time are proportional to temperature, however they are inversely proportional to supply voltage, and negative values are measured for the hold time.

• The KIPS Transactions:PartD
• /
• v.8D no.4
• /
• pp.393-400
• /
• 2001

This paper presents a stochastic model for the software failure phenomenon based on a nonhomogeneous Poisson process (NHPP). The failure process is analyzed to develop a suitable mean value function for the NHPP ; expressions are given for several performance measure. Actual software failure data are compared with generalized model by Goel dependent on the constant reflecting the quality of testing. The performance measures and parametric inferences of the new models, Rayleigh and Gumbel distributions, are discussed. The results of the new models are applied to real software failure data and compared with Goel-Okumoto and Yamada, Ohba and Osaki models. Tools of parameter inference was used method of the maximun likelihood estimate and the bisection algorithm for the computing nonlinear root. In this paper, using the sum of the squared errors, model selection was employed. The numerical example by NTDS data was illustrated.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.422-431
• /
• 2000

This paper proposes a new codebook generation method, called a PCA-Based VQ, that incorporates the PCA (Principal Component Analysis) technique into VQ (Vector Quantization) codebook design. The PCA technique reduces the data dimensions by transforming input image vectors into the feature vectors. The cluster of feature vectors in the transformed domain is bisectioned into two subclusters by an optimally chosen partitioning hyperplane. We expedite the searching of the optimal partitioning hyperplane that is the most time consuming process by considering that (1) the optimal partitioning hyperplane is perpendicular to the first principal axis of the feature vectors, (2) it is located on the equilibrium point of the left and right cluster's distortions, and (3) the left and right cluster's distortions can be adjusted incrementally. This principal axis bisectioning is successively performed on the cluster whose difference of distortion between before and after bisection is the maximum among the existing clusters until the total distortion of clusters becomes as small as the desired level. Simulation results show that the proposed PCA-based VQ method is promising because its reconstruction performance is as good as that of the SOFM (Self-Organizing Feature Maps) method and its codebook generation is as fast as that of the K-means method.

• Journal of the Korea Computer Industry Society
• /
• v.6 no.5
• /
• pp.689-696
• /
• 2005

Finite failure NHPP models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, Goel-Okumoto and Yamada-Ohba-Osaki model was reviewed, proposes the Kappa(2) reliability model, which can capture the nomotonic decreasing nature of the failure occurrence rate per fault. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on sum of the squared errors and Kolmogorov distance, for the sake of efficient model, was employed. Analysis of failure using real data set, SYS2(Allen P.Nikora and Michael R.Lyu), for the sake of proposing two parameter of the Kappa distribution, was employed. This analysis of failure data compared with the Kappa model and the existing model using arithmetic and Laplace trend tests, bias tests is presented.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.18 no.5
• /
• pp.187-195
• /
• 2018

In this study, using real-time gaze tracking and head tracking method, we intended to quantitatively evaluate the deviation between the patient's head and gaze direction while minimizing inspection errors due to apraxia of conventional paper-based examination respectively. As a result, we developed a software that can quantitatively measure gaze and head movement information, and computerized the line bisection and star cancelation test, which are generally used as conventional paper test. In addition, for the rehabilitation training, contents corresponding to the visual technology of Warren's visual hierarchical model lower level are implemented and can be performed repetitively and independently. This allows the patient to actively participate in rehabilitation and quantitatively compare the degree of improvement.