• International Journal of Computer Science & Network Security
• /
• v.21 no.8
• /
• pp.17-27
• /
• 2021

Non-abelian group based cryptosystems are a latest research inspiration, since they offer better security due to their non-abelian properties. In this paper, we propose a novel approach to non-abelian group based public-key cryptographic protocols using semidirect products of finite groups. An intractable problem of determining automorphisms and generating elements of a group is introduced as the underlying mathematical problem for the suggested protocols. Then, we show that the difficult problem of determining paths and cycles of Cayley graphs including Hamiltonian paths and cycles could be reduced to this intractable problem. The applicability of Hamiltonian paths, and in fact any random path in Cayley graphs in the above cryptographic schemes and an application of the same concept to two previous cryptographic protocols based on a Generalized Discrete Logarithm Problem is discussed. Moreover, an alternative method of improving the security is also presented.

• Journal of Power System Engineering
• /
• v.12 no.6
• /
• pp.42-49
• /
• 2008

The most important job in the container terminal area is to handle the cargo effectively in the limited time. To achieve this object, many strategies have been introduced and applied to. If we consider the automated container terminal, it is necessary that the cargo handling equipments are equipped with more intelligent control systems. From the middle of the 1990's, an automated rail-mounted gantry crane(RMGC) and rubber-tired gantry crane(RTG) have been developed and widely used to handle containers in the yards. Recently, in these cranes, the many equipments like CCD cameras and sensors are mounted to cope with the automated terminal environment. In this paper, we try to support the development of more intelligent automated cranes which make the cargo handling be performed effectively in the yards. For this plant, the modelling, tracking control, anti-sway system design, skew motion suppressing and complicated motion control and suppressing problems must be considered. Especially, in this paper, the system modelling and tracking control approach are discussed. And, we design the tracking control system incorporating an observer based on the 2DOF servo system design approach to obtain the desired state informations. In the case of observer design, a weighted $H_{\infty}$ error bound approach for a state estimator is considered. Based on an algebraic Riccati equation(inequality) approach, a necessary and sufficient condition for the existence of a full-order estimator which satisfies the weighted $H_{\infty}$ error bound is introduced. Where, the condition for existence of the estimator is denoted by a Linear Matrix Inequality(LMI) which gives an optimized solution and observer gain. Based on this result, we apply it to the tracking control system design for the transfer crane.

• Advances in Computational Design
• /
• v.5 no.1
• /
• pp.55-89
• /
• 2020

For the first time, an accurate analytical solution, based on coupled three-dimensional (3D) piezoelasticity equations, is presented for free vibration analysis of the angle-ply elastic and piezoelectric flat laminated panels under arbitrary boundary conditions. The present analytical solution is applicable to composite, sandwich and hybrid panels having arbitrary angle-ply lay-up, material properties, and boundary conditions. The modified Hamiltons principle approach has been applied to derive the weak form of governing equations where stresses, displacements, electric potential, and electric displacement field variables are considered as primary variables. Thereafter, multi-term multi-field extended Kantorovich approach (MMEKM) is employed to transform the governing equation into two sets of algebraic-ordinary differential equations (ODEs), one along in-plane (x) and other along the thickness (z) direction, respectively. These ODEs are solved in closed-form manner, which ensures the same order of accuracy for all the variables (stresses, displacements, and electric variables) by satisfying the boundary and continuity equations in exact manners. A robust algorithm is developed for extracting the natural frequencies and mode shapes. The numerical results are reported for various configurations such as elastic panels, sandwich panels and piezoelectric panels under different sets of boundary conditions. The effect of ply-angle and thickness to span ratio (s) on the dynamic behavior of the panels are also investigated. The presented 3D analytical solution will be helpful in the assessment of various 1D theories and numerical methods.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.36 no.10
• /
• pp.1171-1179
• /
• 2012

In this study, we consider a dynamic positioning system (DPS) design problem that can be extended to many application fields. Toward this end, tracking and positioning control problems are discussed. In particular, we design a tracking control system that incorporates an observer based on the 2-DOF servo system design approach in order to obtain the desired state information. In the case of observer design, a weighted $H_{\infty}$ error bound approach for a state estimator is considered. Based on an algebraic Riccati equation (inequality) approach, a necessary and sufficient condition for the existence of a full-order estimator that satisfies the weighted $H_{\infty}$ error bound is introduced. The condition for the existence of the estimator is denoted by a linear matrix inequality (LMI) that yields an optimized solution and the observer gain.

• Journal of computational fluids engineering
• /
• v.2 no.2
• /
• pp.51-58
• /
• 1997

A reliable computational solver has been developed for the analysis of three-dimensional inviscid compressible flows around a nacelle of a high bypass ratio turbofan engine, The numerical algorithm is based on the modified Godunov scheme to allow the second order accuracy for space variables, while keeping the monotone features. Two step time integration is used not only to remove time step limitation but also to provide the second order accuracy in a time variable. The multi-block approach is employed to calculate the complex flow field, using an algebraic, conformal, and elliptic method. The exact solution of Riemann problem is used to define boundary conditions. The accuracy of the developed solver is validated by comparing its results around the isolated nacelle in the cruise flight regime with the solution obtained using a commercial code "RAMPANT. "

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.33A no.6
• /
• pp.206-219
• /
• 1996

This paper describes a data structure and evaluation algorithm to improve the perofmrances MOS logic-with-timing simulation in computation and accuracy. In order to efficiently simulate the logic and timing of driver-load networks, (1) a tree data structure to represent the mutual interconnection topology of switches and nodes in the driver-lod network, and (2) an algebraic modeling to efficiently deal with the new represetnation, (3) an evaluation algorithm to compute the linear resistive and capacitive behavior with the new modeling of driver-load networks are developed. The higher modeling presented here supports the structural and functional compatibility with the linear switch-level to simulate the logic-with-timing of digital MOS circuits at a mixed-level. This research attempts to integrate the new approach into the existing simulator RSIM, which yield a mixed-klevel logic-with-timing simulator MIXIM. The experimental results show that (1) MIXIM is a far superior to RSIM in computation speed and timing accuracy; and notably (2) th etiming simulation for driver-load netowrks produces the accuracy ranged within 17% with respect ot the analog simulator SPICE.

• Journal of applied mathematics & informatics
• /
• v.16 no.1_2
• /
• pp.251-263
• /
• 2004

In this paper, algorithms for computing the minimal polynomial and the common minimal polynomial of resultant matrices over any field are presented by means of the approach for the Grobner basis of the ideal in the polynomial ring, respectively, and two algorithms for finding the inverses of such matrices are also presented. Finally, an algorithm for the inverse of partitioned matrix with resultant blocks over any field is given, which can be realized by CoCoA 4.0, an algebraic system over the field of rational numbers or the field of residue classes of modulo prime number. We get examples showing the effectiveness of the algorithms.

• Journal of Electrical Engineering and information Science
• /
• v.2 no.5
• /
• pp.51-59
• /
• 1997

This paper presets a methodology of improving a conventional model in power systems using Genetic Algorithms(GAs) and suggests a GAs-based model which can directly solve the real-valued optimum in an optimization procedure. In applying GAs to the power flow, a new fitness mapping method is proposed using the proposed using the probability distribution function for all the payoffs in the population pool. In this approach, both the notions on a way of the genetic representation, and a realization of the genetic operators are fully discussed to evaluate he GAs' effectiveness. The proposed method is applied to IEEE 5-bus, 14-bus and 25-bus systems and, the results of computational experiments suggest a direct applicability of GAs to more complicated power system problems even if they contain nonlinear algebraic equations.

• Coupled systems mechanics
• /
• v.12 no.6
• /
• pp.519-530
• /
• 2023

This paper presents a mathematical model suitable for the calculation of laminated glass, i.e. glass plates combined with an interlayer material. The model is based on a beam differential equation for each glass plate and a separate differential equation for the slip in the interlayer. In addition to slip, the model takes into account prestressing force in the interlayer. It is possible to combine the two contributions arbitrarily, which is important because the glass sheet fabrication process changes the stiffness of the interlayer in ways that are not easily predictable and could introduce prestressing of varying magnitude. The model is suitable for reformulation into an inverse procedure for calculation of the relevant parameters. Model consisting of a system of differential-algebraic equations, proved too stiff for cases with the thin interlayer. This novel approach covers the full range of possible stiffnesses of layered glass sheets, i.e., from zero to infinite stiffness of the interlayer. The comparison of numerical and experimental results contributes to the validation of the model.

• Advances in aircraft and spacecraft science
• /
• v.10 no.6
• /
• pp.521-543
• /
• 2023

Reynolds-averaged Navier-Stokes (RANS) models are extensively employed in industrial settings for the purpose of simulating intricate fluid flows. However, these models are subject to certain limitations. Notably, disparities persist in the Reynolds stresses when comparing the RANS model with high-fidelity data obtained from Direct Numerical Simulation (DNS) or experimental measurements. In this work we propose an approach to mitigate these discrepancies while retaining the favorable attributes of the Menter Shear Stress Transport (SST) model, such as its significantly lower computational expense compared to DNS simulations. This strategy entails incorporating an explicit algebraic model and employing a neural network to correct the turbulent characteristic time. The imposition of realizability constraints is investigated through the introduction of penalization terms. The assimilated Reynolds stress model demonstrates good predictive performance in both in-sample and out-of-sample flow configurations. This suggests that the model can effectively capture the turbulent characteristics of the flow and produce physically realistic predictions.