• Journal of Electrical Engineering and information Science
• /
• 제2권5호
• /
• pp.1-8
• /
• 1997

The main purpose of the Boolean equivalence problem is to verify that two Boolean expressions have the same functionality. Simulation has been extensively used as the standard method for the equivalence problem. Obviously, the number of tests required to perform a satisfactory coverage grows exponentially with the number of input variables. However, formal methods as opposed to simulation are getting more attention from the community. We propose a new algorithm called the Cover-Merge Algorithm based on a derivational method using the concept of cover and merge for the equivalence problem and investigate its theoretical aspects. Because of the difficulty of the problem, we emphasize simplification techniques in order to reduce the search space or problem size. Heuristics based on types of merges are developed to speed up the derivation process by allowing simplifications. In comparison with widely used technique called Binary Decision Diagram or BDD, the algorithm proposed outperforms BDD in nearly all cases of input including standard benchmark problems.

• 한국자동차공학회논문집
• /
• 제6권6호
• /
• pp.31-39
• /
• 1998

The role of bushing elements linked between suspension parts is to enhance ride quality and handling stability by the spring and damping effect from the elastic deformation. In this paper, a theoretical derivation and computer implementation off a bushing element are proposed. Three different vehicle models are generated to test the developed bushing module. The developed bushing module is implemented as a bushing module in the vehicle dynamic analysis program AUTODYN7.

• 한국정밀공학회지
• /
• 제18권1호
• /
• pp.171-179
• /
• 2001

The purpose of this paper is the derivation and development of the new definitions and methods for the new estimation of robustness for the systems having structured uncertainties. This proposition adopts the theoretical analysis of the Lyapunov direct methods, that is, the sign properties of the Lyapunov function derivative integrated along finite intervals of time, in place of the original method of the sign properties of the time derivative of the Lyapunov function itself. This is the new sufficient criteria to relax the stability condition and is used to generate techniques for the robust design of control systems with structured perturbations. The systems considered are assumed to be nominally linear, with time-variant, nonlinear bounded perturbations. This new techniques demonstrate the improvement of robustness bounds from the numerical results.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2000년도 추계학술대회논문집
• /
• pp.563-567
• /
• 2000

This research is concerned with the dynamic modeling of solar arrays equipped with strain energy hinges(SEH). It is found from experiments that the SEH has nonlinear dynamic characteristics and complex buckling behavior, which is difficult to explain theoretically. In this paper, we use an equivalent one-dimensional nonlinear torsional spring for the SEH. Assuming that solar panels are rigid, we developed the systematic approach for the derivation of the theoretical model for the solar arrays equipped with the multitudes of the SEH. To this end, the kinematic relation of the displacement vector of each body is derived and then applied to the equations of motion. Lagrangian equations of motion are used for the derivations.

• Earthquakes and Structures
• /
• 제3권3_4호
• /
• pp.473-494
• /
• 2012

The capacity of pipelines to resist collapse under external pressure and bending moment is a major aspect of deepwater pipeline design. Existing design codes present interaction equations that quantify pipeline capacities under such loadings, although reasonably accurate, are based on empirical data fitting of the bending strain, and assumed simplistic interaction with external pressure collapse. The rational model for collapse of deepwater pipelines, which are relatively thick with a diameter-to-thickness ratio less than 40, provides a unique theoretical basis since it is derived from first principles such as force equilibrium and compatibility equations. This paper presents the rational model methodology and compares predicted results and recently published full scale experimental data on the subject. Predictive capabilities of the rational model are shown to be excellent. The methodology is extended for the problem of pipeline collapse under point load, longitudinal bending and external pressure. Due to its rational derivation and excellent prediction capabilities, it is recommended that design codes adopt the rational model methodology.

• Journal of Electrochemical Science and Technology
• /
• 제13권1호
• /
• pp.19-31
• /
• 2022

Lithium-ion battery development is one of the most active contemporary research areas, gaining more attention in recent times, following the increasing importance of energy storage technology. The galvanostatic intermittent titration technique (GITT) has become a crucial method among various electrochemical analyses for battery research. During one titration step in GITT, which consists of a constant current pulse followed by a relaxation period, transient and steady-state voltage changes were measured. It draws both thermodynamic and kinetic parameters. The diffusion coefficients of the lithium ion, open-circuit voltages, and overpotentials at various states of charge can be deduced by a series of titration steps. This mini-review details the theoretical and practical aspects of GITT analysis, from the measurement method to the derivation of the diffusivity equation for research cases according to the specific experimental purpose. This will shed light on a better understanding of electrochemical reactions and provide insight into the methods for improving lithium-ion battery performance.

• Nuclear Engineering and Technology
• /
• 제54권9호
• /
• pp.3181-3204
• /
• 2022

The variational nodal method for solving the neutron transport equation has evolved over 40 years. Based on a functional form of the Boltzmann neutron transport equation, the method now comprises a complete set of variants that can be employed for different problems. This paper presents an extensive review of the development of the variational nodal method. The emphasis is on summarizing the whole theoretical system rather than validating the methodologies. The paper covers the variational nodal formulation of the Boltzmann neutron transport equation, the Ritz procedure for various application purposes, the derivation of boundary conditions, the extension for adjoint and perturbation calculations, and treatments for anisotropic scattering sources. Acceleration approaches for constructing response matrices and solving the resulting system of algebraic equations are also presented.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권8호
• /
• pp.2900-2922
• /
• 2021

In this paper, the power spectral density(PSD) for Multilevel Minimum Shift Keyed signal with modulation index h = 1/2 (M-ary MSK) are derived using the mathematical method of the Markov Chain model. At first, according to an essential requirement of the phase continuity characteristics of MSK signals, a complete model of the whole process of signal generation is built. Then, the derivations for autocorrelation functions are carried out precisely. After that, we verified the correctness and accuracy of the theoretical derivation by comparing the derived results with numerical simulations using MATLAB. We also divided the spectrum into four components according to the derivation. By analyzing these figures in the graphic, each component determines the characteristics of the spectrum. It is vital for enhanced spectral characteristics. To more visually represent the energy concentration of the main flap and the roll-down speed of the side flap, the specific out-of-band power of M-ary MSK is given. OMLCD(Optimum Maximum Likelihood Coherent Detection) of M-ary MSK is adopted to compare the signal received with prepared in advance in a code element T to go for the best. And M-ary MSK BER(Bit Error Rate) is compared with the same ary PSK (Phase Shift Keying) with M=2,4,6,8. The results show the detection method could improve performance by increasing the length of L(memory inherent) in the phase continuity.

• 대한조선학회논문집
• /
• 제56권2호
• /
• pp.175-186
• /
• 2019

Number of studies on the buckling of thin cylindrical pressure vessels, such as submarine pressure hull and pipe with a large ratio of diameter/thickness, have been carried out in the naval and ocean engineering. However, research about thick cylinder pressure vessel has not been active except for the specific application in nuclear area. There are not many papers for the estimation of buckling and ultimate load capacity of thick cylinders for the deep sea usage. Thus, it is important to understand the theoretical bases of the buckling and collapse process and the derivation process of such loads for the proper design and structural analysis. The objective of this study is to survey the collapse behavior, to analyse and clarify the derivation procedure and to estimate the ultimate collapse load for thick cylinder by analyzing relevant books and papers. It is found that the yielding begins at the internal surface of the thick cylinder and plasticity develops from the internal surface to the external surface to generate collapse. Also the initial imperfection of cylinder develops flattening and consequently accelerates buckling and finally ultimate collapse. By comparing the collapse loads of aluminum thick cylinder by applying equations herein, it is shown that the equations analyzed are appropriate to obtain collapse load for thick cylinder.

• 국제강구조저널
• /
• 제18권4호
• /
• pp.1440-1463
• /
• 2018

The Wagner coefficient is a key parameter used to describe the inelastic lateral-torsional buckling (LTB) behaviour of the I-beam, since even for a doubly-symmetric I-section with residual stress, it becomes a monosymmetric I-section due to the characteristics of the non-symmetrical distribution of plastic regions. However, so far no theoretical derivation on the energy equation and Wagner's coefficient have been presented due to the limitation of Vlasov's buckling theory. In order to simplify the nonlinear analysis and calculation, this paper presents a simplified mechanical model and an analytical solution for doubly-symmetric I-beams under pure bending, in which residual stresses and yielding are taken into account. According to the plate-beam theory proposed by the lead author, the energy equation for the inelastic LTB of an I-beam is derived in detail, using only the Euler-Bernoulli beam model and the Kirchhoff-plate model. In this derivation, the concept of the instantaneous shear centre is used and its position can be determined naturally by the condition that the coefficient of the cross-term in the strain energy should be zero; formulae for both the critical moment and the corresponding critical beam length are proposed based upon the analytical buckling equation. An analytical formula of the Wagner coefficient is obtained and the validity of Wagner hypothesis is reconfirmed. Finally, the accuracy of the analytical solution is verified by a FEM solution based upon a bi-modulus model of I-beams. It is found that the critical moments given by the analytical solution almost is identical to those given by Trahair's formulae, and hence the analytical solution can be used as a benchmark to verify the results obtained by other numerical algorithms for inelastic LTB behaviour.