• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권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.

• 한국음향학회지
• /
• 제13권2호
• /
• pp.60-67
• /
• 1994

본 논문은 두 편으로 연결된 논문의 첫 논문으로 무한음향 매질내의 축대칭음향 변환기 음향특성 해석을 위한 유한요소법과 하이브리드형 무한요소법의 결합 알고리즘을 제시하고 이를 이용한 음향변환기의 방사 임피던스, 지향성 및 압전자간의 결합 효과에 대한 수치해석 결과를 제시하였다. 두번째 논문에서는 첫논문의 결과를 기초로 광대역 배역 변환기를 설계하고 설계된 변환가의 음향특성을 해석하였다.

• Structural Engineering and Mechanics
• /
• 제35권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
• /
• 제7권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.

• 디지털산업정보학회논문지
• /
• 제10권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.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2005년도 춘계 학술발표회 논문집
• /
• 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.

• 한국정보전자통신기술학회논문지
• /
• 제8권6호
• /
• pp.483-490
• /
• 2015

소프트웨어의 디버깅과정에서 오류 발생의 시간을 기반으로 하는 많은 소프트웨어 신뢰성 모델이 제안되어 왔다. 무한고장 모형과 비동질적인 포아송 과정에 의존한 소프트웨어 신뢰성 모형을 이용하면 모수 추정이 가능하다. 소프트웨어를 시장에 인도하는 결정을 내리기 위해서는 조건부 고장률이 중요한 변수가 된다. 무한 고장 모형은 실제 상황에서 다양한 분야에 사용된다. 특성화 문제, 특이점의 감지, 선형 추정, 시스템의 안정성 연구, 수명을 테스트, 생존 분석, 데이터 압축 및 기타 여러 분야에서의 사용이 점점 많아지고 있다. 통계적 공정 관리 (SPC)는 소프트웨어 고장의 예측을 모니터링 함으로써 소프트웨어 신뢰성의 향상에 크게 기여 할 수 있다. 컨트롤 차트는 널리 소프트웨어 산업의 소프트웨어 공정 관리에 사용되는 도구이다. 본 논문에서 NHPP에 근원을 둔 로그 포아송 실행시간 모형, 즉,Musa-Okumo 모형과 파우어 로우(Power-law) 모형의 평균값 함수를 이용한 통계적 공정관리 차트를 이용한 제어 메커니즘을 제안하였다.

• 대한기계학회논문집
• /
• 제12권3호
• /
• pp.497-504
• /
• 1988

본 연구에서는 트랙션이 없는 커스프 균열에 적용한 방법을 확장하여 무한대 에서 균일열유동을 받는 무한체내에 하이포사이클로이드형(hypocycloid type), 대칭이 기형(symmetric airfoil type), 대칭입술형(symmetric lip type) 강체 함유물이 존재 하고 그 표면은 단열되거나 상대온도가 영으로 주어지는 경우에 대해서 열응력세기계 수(thermal stress intensity factor이하에서 TSIF로 표기함)를 유도하고자 한다.

• 대한수학회지
• /
• 제56권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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2005년도 추계종합학술대회
• /
• 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.