• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.5
• /
• pp.1817-1827
• /
• 2014

As a new type of wireless network, Ad hoc network does not depend on any pre-founded infrastructure, and it has no centralized control unit. The computation and transmission capability of each node are limited. In this paper, a self-updating one-time password mutual authentication protocol for Ad hoc network is proposed. The most significant feature is that a hash chain can update by itself smoothly and securely through capturing the secure bit of the tip. The updating process does not need any additional protocol or re-initialization process and can be continued indefinitely to give rise to an infinite length hash chain, that is, the times of authentication is unlimited without reconstructing a new hash chain. Besides, two random variable are added into the messages interacted during the mutual authentication, enabling the protocol to resist man-in-the-middle attack. Also, the user's identity information is introduced into the seed of hash chain, so the scheme achieves anonymity and traceability at the same time.

• The Journal of the Acoustical Society of Korea
• /
• v.13 no.2
• /
• pp.60-67
• /
• 1994

This is the first of two companion papers which suggests the algorithm of the combined Finite Element Method and Infinite Element Method for the analysis of the axi-symmetric acoustic transducer in the open boundary. Using the algorithm, the numerical analysis for the transducer radiation impedance, directivity, and coupling effect between transducer elements are also conducted. In the second paper, the wideband array transducer is designed and its acoustic characteristics are examined on the basis of the results of the first paper.

• Structural Engineering and Mechanics
• /
• v.35 no.5
• /
• pp.555-570
• /
• 2010

Shallow fixed arches have a nonlinear primary equilibrium path with limit points and an unstable postbuckling equilibrium path, and they may also have bifurcation points at which equilibrium bifurcates from the nonlinear primary path to an unstable secondary equilibrium path. When a shallow fixed arch is subjected to a central step load, the load imparts kinetic energy to the arch and causes the arch to oscillate. When the load is sufficiently large, the oscillation of the arch may reach its unstable equilibrium path and the arch experiences an escaping-motion type of dynamic buckling. Nonlinear dynamic buckling of a two degree-of-freedom arch model is used to establish energy criteria for dynamic buckling of the conservative systems that have unstable primary and/or secondary equilibrium paths and then the energy criteria are applied to the dynamic buckling analysis of shallow fixed arches. The energy approach allows the dynamic buckling load to be determined without needing to solve the equations of motion.

• Journal of Electrical Engineering and Technology
• /
• v.7 no.5
• /
• pp.664-671
• /
• 2012

This paper presents the application of Unified Power Flow Controller (UPFC) in order to simultaneous control of power flow and voltage and also damping of Low Frequency Oscillations (LFO) at a Single-Machine Infinite-Bus (SMIB) power system installed with UPFC. PI type controllers are commonly used controllers for UPFC control. But for the sake of some drawbacks of PI type controllers, the scope for finding a better control scheme still remains. In this regard, in this paper the new IP type controllers are considered as UPFC controllers. The parameters of these IP type controllers are tuned using Genetic Algorithms (GA). Also a stabilizer supplementary controller based UPFC is considered for increasing power system damping. To show the ability of IP controllers, this controller is compared with classical PI type controllers. Simulation results emphasis on the better performance of IP controller in comparison with PI controller.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.10 no.4
• /
• pp.19-27
• /
• 2014

Software reliability in the software development process is an important issue. Software process improvement helps in finishing with reliable software product. Infinite failure NHPP software reliability models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, proposes the reliability model with log type mean value function (Musa-Okumoto and log power model), which made out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on mean square error (MSE) and coefficient of determination($R^2$), for the sake of efficient model, was employed. Analysis of failure using real data set for the sake of proposing log type mean value function was employed. This analysis of failure data compared with log type mean value function. In order to insurance for the reliability of data, Laplace trend test was employed. In this study, the log type model is also efficient in terms of reliability because it (the coefficient of determination is 70% or more) in the field of the conventional model can be used as an alternative could be confirmed. From this paper, software developers have to consider the growth model by prior knowledge of the software to identify failure modes which can be able to help.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2005.03a
• /
• pp.384-391
• /
• 2005

Three dimensional finite difference elastic wave model was developed to estimate the feasibility of surface wave applications in geotechnical problems. The wave motions calculated by the developed program in this study shows good agreement with well known analytic solutions. The surface wave motions calculated from layered dam type structure can be interpreted as a infinite layer structure using dispersion curve but it is need a special source of which high energy in frequency band lower than 10 Hz to get information of physical properties in few tens meter deep. The source which has high energy in the low frequency band, however, can give defect on dam and this will make some limitation in real field applications. The dispersion curves calculated from the surface wave motion of homogeneous and center core type dam models will give rise to fatal errors if the conventional infinite layer structure used in their interpretation because the surrounding materials and boundaries of dam make some distortion in dispersion curve of surface wave. So it is strongly recommended to use three dimensional inversion model for correct interpretation and estimation of physical properties of dam materials.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.6
• /
• pp.483-490
• /
• 2015

There are many software reliability models that are based on the times of occurrences of errors in the debugging of software. It is shown that it is possible to do likelihood inference for software reliability models based on finite failure model and non-homogeneous Poisson Processes (NHPP). For someone making a decision about when to market software, the conditional failure rate is an important variables. The infinite failure model are used in a wide variety of practical situations. Their use in characterization problems, detection of outlier, linear estimation, study of system reliability, life-testing, survival analysis, data compression and many other fields can be seen from the many study. Statistical process control (SPC) can monitor the forecasting of software failure and thereby contribute significantly to the improvement of software reliability. Control charts are widely used for software process control in the software industry. In this paper, proposed a control mechanism based on NHPP using mean value function of Musa-Okumo and Power law type property.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.12 no.3
• /
• pp.497-504
• /
• 1988

The steady state thermal stress intensity factors (TSIF's) are analyzed for hypocycloid, symmetric airfoil and symmetric lip type rigid inclusions embedded in infinite elastic solids, using Boganoff's complex variable approach in plane thermoplasticity. Two thermal conditions are considered, one with an uniform heat flow disturbed by an insulated rigid inclusion of cusp crack shape and the other with an uniform heat flow disturbed by a rigid inclusion of cusp crack shape with fixed boundary temperature. The tendencies of TSIF's for rigid inclusions of cusp crack shape are somewhat different from those of traction free cusp cracks. However, if k=-1, the non-dimensionalized TSIF's for rigid inclusions of cusp crack shape become those of traction free cusp cracks like the tendencies of the SIF's under mechanical loading conditions. The thermal stress and displacement components for a rigid circular inclusion of radius Ro are drived from the results of a hypocycloid crack type rigid inclusion.

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.265-284
• /
• 2019

The main purpose of this paper is to investigate the q-Apostol type Frobenius-Euler numbers and polynomials. By using generating functions for these numbers and polynomials, we derive some alternative summation formulas including powers of consecutive q-integers. By using infinite series representation for q-Apostol type Frobenius-Euler numbers and polynomials including their interpolation functions, we not only give some identities and relations for these numbers and polynomials, but also define generating functions for new numbers and polynomials. Further we give remarks and observations on generating functions for these new numbers and polynomials. By using these generating functions, we derive recurrence relations and finite sums related to these numbers and polynomials. Moreover, by applying higher-order derivative to these generating functions, we derive some new formulas including the Hurwitz-Lerch zeta function, the Apostol-Bernoulli numbers and the Apostol-Euler numbers. Finally, for an application of the generating functions, we derive a multiplication formula, which is very important property in the theories of normalized polynomials and Dedekind type sums.

• Proceedings of the IEEK Conference
• /
• 2005.11a
• /
• pp.1193-1196
• /
• 2005

In this paper, we presents a new multimedia service transmit method using IPv6. The IPv6 provides the address system of 128 bit and the address space which is infinite it provides. But it will not become the IPv4 and interchange not to be, it uses the DSTM Transition mechanism which will reach and the IPv4 center in the packet header the service type it will be able to support the service class of multi type (TOS) it secures the weak point of data transfer delay it puts a base in the IPv6. The efficiency of this proposed technique have been proven by MPEG-4 streaming video streaming of the IPv6 namely, 6Xtream embodied a order form/live streaming server and the client which it uses to be possible in base and real-time decoding method.