• Journal of applied mathematics & informatics
• /
• v.26 no.5_6
• /
• pp.1139-1147
• /
• 2008

A. Saxena et al. first proposed a two-flow blind identification protocol in 2005. But it has a weakness of the active-intruder attack and uses the pairing operation that causes slow implementation in smart cards. In this paper, we give a method of the active-intruder attack on their identification scheme and propose a new zero- knowledge blind identification protocol for Smart cards. Our protocol consists of only two message flows and does not rely on any underlying signature or encryption scheme. The prover using computationally limited devices such as smart cards has no need of computing the bilinear pairings. It needs only for the verifier. Our protocol is secure assuming the hardness of the Discrete-Logarithm Problem in bilinear groups.

• Journal of Korea Technical Association of The Pulp and Paper Industry
• /
• v.37 no.1 s.109
• /
• pp.61-66
• /
• 2005

The grade change operations In paper mills exhibit inherent nonlinear dynamic characteristics. For this reason, the conventional model predictive control techniques based on linear process models are not adequate for the grade change operations. In this paper, a bilinear model for the nonlinear grade change processes was presented first and optimal input variables were calculated by using one-step-ahead predictive control method. Numerical simulations showed that the control performance lied within acceptable range and that the bilinear model predictive control scheme was highly promising control strategy for the grade change operations.

• Structural Engineering and Mechanics
• /
• v.23 no.1
• /
• pp.1-13
• /
• 2006

Structural cracks may cause variations in structural stiffness and thus produce bilinear vibrations to structures. This study examines the dynamic behavior of structures with breathing cracks. A generalized algorithm based on the finite element method and bilinear theory was developed to study the influence of a breathing crack on the vibration characteristic. All the formulae derived in the time domain were applied to estimate the period of the overall bilinear motion cycle, and the contact effect was considered in the calculations by introducing the penetration of the crack surface. Changes in the dynamic characteristics of cracked structures are investigated by assessing the variation of natural frequencies under different crack status in either the open or closed modes. Results in estimation with vibrational behavior variation are significant compared with the experimental results available in the literature as well as other numerical calculations.

• Advances in aircraft and spacecraft science
• /
• v.1 no.2
• /
• pp.177-196
• /
• 2014

A theoretical exploration for determining the characteristic length of the cohesive zone for a double cantilever beam (DCB) specimen under mode I loading was conducted. Two traction-separation laws were studied: (i) a law with only a linear elastic stage from zero to full traction strength; and (ii) a bilinear traction law illustrating a progressive softening stage. Two analytical solutions were derived for the first law, which fit well into two existing solution groups. A transcendental equation was derived for the bilinear traction law, and a graphical method was presented to identify the resultant cohesive zone length. The study using the bilinear traction law enabled the theoretical investigation of the individual effects of cohesive law parameters (i.e., strength, stiffness, and fracture energy) on the cohesive zone length. Correlations between the theoretical and finite element (FE) results were assessed. Effects of traction law parameters on the cohesive zone length were discussed.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.12
• /
• pp.4987-5014
• /
• 2015

The bilinear pairing, also known as Weil pairing or Tate pairing, is widely used in cryptography and its properties help to construct cryptographic schemes for different applications in which the security of the transmitted data is a major concern. In remote login authentication schemes, there are two major requirements: i) proving the identity of a user and the server for legitimacy without exposing their private keys and ii) freedom for a user to choose and change his password (private key) efficiently. Most of the existing methods based on the bilinear property have some security breaches due to the lack of features and the design issues. In this paper, we develop a new scheme using the bilinear property of an elliptic point and the biometric characteristics. Our method provides many features along with three major goals. a) Checking the correctness of the password before sending the authentication message, which prevents the wastage of communication cost; b) Efficient password change phase in which the user is asked to give a new password after checking the correctness of the current password without involving the server; c) User anonymity - enforcing the suitability of our scheme for applications in which a user does not want to disclose his identity. We use BAN logic to ensure the mutual authentication and session key agreement properties. The paper provides informal security analysis to illustrate that our scheme resists all the security attacks. Furthermore, we use the AVISPA tool for formal security verification of our scheme.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.6 no.2
• /
• pp.127-137
• /
• 2006

This paper presents an $H_{\infty}$ controller synthesis method for discrete time fuzzy dynamic systems based on a piecewise smooth Lyapunov function. The basic idea of the proposed approach is to construct controllers for the fuzzy dynamic systems in such a way that a Piecewise smooth Lyapunov function can be used to establish the global stability with $H_{\infty}$ performance of the resulting closed loop fuzzy control systems. It is shown that the control laws can be obtained by solving a set of Bilinear Matrix Inequalities (BMIs). An example is given to illustrate the application of the proposed method.

• Journal of the Korean Society of Industry Convergence
• /
• v.9 no.3
• /
• pp.179-181
• /
• 2006

In this paper, we present a method of fuzzy controller design for the power plant superheater in the form of bilinear system. For the steam temperature control, the input variables are constructed by the area of difference between the profiles estimated from bilinear observer and reference profiles, and the time rate of change. We estimate the control rules by T. Takagi and M. Sugeno's fuzzy model. The feasibilities of the suggested method are illustrated via the computer simulation result.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.29B no.1
• /
• pp.34-42
• /
• 1992

This paper presents two fast least-squares lattice algorithms for adaptive nonlinear filters equipped with bilinear system models. The lattice filters perform a Gram-Schmidt orthogonalization of the input data and have very good numerical properties. Furthermore, the computational complexity of the algorithms is an order of magnitude snaller than previously algorithm is an order of magnitude smaller than previously available methods. The first of the two approaches is an equation error algorithm that uses the measured desired response signal directly to comprte the adaptive filter outputs. This method is conceptually very simple`however, it will result in biased system models in the presence of measurement noise. The second approach is an approximate least-squares output error solution. In this case, the past samples of the output of the adaptive system itself are used to produce the filter output at the current time. Results of several experiments that demonstrate and compare the properties of the adaptive bilinear filters are also presented in this paper. These results indicate that the output error algorithm is less sensitive to output measurement noise than the squation error method.

• Proceedings of the KIEE Conference
• /
• 1999.11c
• /
• pp.591-593
• /
• 1999

The finite time optimum regulation problem of a discrete time bilinear system with a quadratic performance criterion is obtained in terms of a sequence discrete algebraic Lyapunov equations. Our new method is based on the successive approximations. This algorithm saves the computation time to solve the optimal problem, and the design procedure is illustrated for an example.

• Journal of applied mathematics & informatics
• /
• v.29 no.3_4
• /
• pp.847-858
• /
• 2011

We make use of the simplified Hirota's bilinear method with computer symbolic computation to study a variety of coupled potential KdV (pKdV) equations. Each coupled equation is completely integrable and gives multiple soliton solutions and multiple singular soliton solutions. The phase shifts for all coupled pKdV equations are identical whereas the coefficients of the obtained solitons are not identical. The four coupled pKdV equations are resonance free.