• 전기의세계
• /
• 제28권8호
• /
• pp.57-65
• /
• 1979

This paper is concerned with not only the transformation of the logic diagrams to the NAND and the NOR forms but also the inverse transformation deriving the simple Boolean function from a logic diagram. The conversions of the algebraic expression from the AND, OR and NOT operations to the NAND and the NOR operations are usually quite complicated, because they involve a large number of repeated applications of De Morgan's Theorem and the other logic relations. For the derivation of the Boolean function, it becomes difficult because the Boolean function is determined from the De Morgan's theorem in consecutive order until the output is expressed in terms of input variables (9). But, these difficulties are avoided by the use of new techniques, called the TWO-NOTs method and the MOVING-NOT method, that are presented in this paper.

• 한국수학사학회지
• /
• 제15권3호
• /
• pp.17-24
• /
• 2002

It will be described the discovery of fundamental algebras such as complex numbers and the quaternions. Cardano(1539) was the first to introduce special types of complex numbers such as 5$\pm$$\sqrt{-15}$. Girald called the number a$\pm$$\sqrt{-b}$ solutions impossible. The term imaginary numbers was introduced by Descartes(1629) in “Discours la methode, La geometrie.” Euler knew the geometrical representation of complex numbers by points in a plane. Geometrical definitions of the addition and multiplication of complex numbers conceiving as directed line segments in a plane were given by Gauss in 1831. The expression “complex numbers” seems to be Gauss. Hamilton(1843) defined the complex numbers as paire of real numbers subject to conventional rules of addition and multiplication. Cauchy(1874) interpreted the complex numbers as residue classes of polynomials in R[x] modulo $x^2$＋1. Sophus Lie(1880) introduced commutators [a, b] by the way expressing infinitesimal transformation as differential operations. In this paper, it will be studied general quaternion algebras to finding of algebraic structure in Algebras.

• Advances in environmental research
• /
• 제7권1호
• /
• pp.29-37
• /
• 2018

A simple mathematical model for predicting fixed bed adsorption dynamics is described. The model is characterized by a linear adsorption isotherm and a linear driving force expression for mass transfer. Its analytic solution can be approximated with an algebraic equation in closed form which is easily evaluated by spreadsheet computation. To demonstrate one application of the fixed bed model, a previously published adsorption system is used as a case study in this work. The adsorption system examined here describes chromium breakthrough in a fixed bed adsorber packed with imidazole functionalized adsorbent particles and is characterized by a nonlinear adsorption isotherm. However, the equilibrium behavior of the fixed bed adsorber is in essence governed by a linear adsorption isotherm due to the use of a low influent chromium concentration. It is shown that chromium breakthrough is predicted reasonably well by the fixed bed model. The model's parameters can be easily extracted from independent batch experiments. The proposed modeling approach is very simple and rapid, and only Excel is used for computation.

• 대한기계학회논문집
• /
• 제16권11호
• /
• pp.2111-2118
• /
• 1992

본 연구에서는 원관 내 및 평판 위의 흐름에 있어서 잘 확립된 벽면의 법칙을 적용하여 봉다발의 열전달계수를 예측하여 보고자 한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1987년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 16-17 Oct. 1987
• /
• pp.19-22
• /
• 1987

A program is developed for generations the dynamic equations for robotic manipulators using the symbolic language muSIMP/MATH. The muSIMP/MATH is a LISP-based computer algebra package, devoted to the manipulation of algebraic expressions including number, variables, functions, and matrix. The muSIMP/MATH can operate on IBM-PC compatibles with MS-DOS. The program is developed, on the e formalism. This is program is applicable to the manipulators of any number of degrees of freedom, maximum six degree of freedom in this program. To control robotic manipulators by using dynamic equation is required a symbolic equations. The generated dynamic equation can be applied directly to the robotic manipulators, for the generated dynamic equation is a reduced form of symbolic expression.

• International Journal of Control, Automation, and Systems
• /
• 제6권4호
• /
• pp.515-525
• /
• 2008

In this paper, the problem of delay-dependent stabilization for singular systems with multiple internal and external incommensurate constant point delays is investigated. The condition when a singular system subject to point delays is regular independent of time delays is given and it can be easily test with numerical or algebraic methods. Based on Lyapunov-Krasovskii functional approach and the descriptor integral-inequality lemma, a sufficient condition for delay-dependent stability is obtained. The main idea is to design multiple memoryless state feedback control laws such that the resulting closed-loop system is regular independent of time delays, impulse free, and asymptotically stable via solving a strict linear matrix inequality (LMI) problem. An explicit expression for the desired memoryless state feedback control laws is also given. Finally, a numerical example illustrates the effectiveness and the availability for the proposed method.

• 대한화학회지
• /
• 제57권2호
• /
• pp.176-203
• /
• 2013

In this work is induced a new topology of solutions of chemical equations by virtue of point-set topology in an abstract stoichiometrical space. Subgenerators of this topology are the coefficients of chemical reaction. Complex chemical reactions, as those of direct reduction of hematite with a carbon, often exhibit distinct properties which can be interpreted as higher level mathematical structures. Here we used a mathematical model that exploits the stoichiometric structure, which can be seen as a topology too, to derive an algebraic picture of chemical equations. This abstract expression suggests exploring the chemical meaning of topological concept. Topological models at different levels of realism can be used to generate a large number of reaction modifications, with a particular aim to determine their general properties. The more abstract the theory is, the stronger the cognitive power is.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2000년도 가을 학술발표회논문집
• /
• pp.238-245
• /
• 2000

A general formulation for shape design sensitivity analysis over a plane arch structure is developed based on a variational formulation of curved beam in linear elasticity. Sensitivity formula is derived using the material derivative concept and adjoint variable method for the stress defined at a local segment. Obtained sensitivity expression, which can be computed by simple algebraic manipulation of the solution variables, is well suited for numerical implementation since it does not involve numerical differentiation. Due to the complete description for the shape and its variation of the arch, the formulation can manage more complex design problems with ease and gives better optimum design than before. Several examples are taken to show the advantage of the method, in which the accuracy of the sensitivity is evaluated. Shape optimization is also conducted with two design problems to illustrate the excellent applicability.

• Coupled systems mechanics
• /
• 제12권3호
• /
• pp.199-220
• /
• 2023

This article presents a new analytical model to study the effect of porosity on the shear correction factors (SCFs) of functionally graded porous beams (FGPB). For this analysis, uneven and logarithmic-uneven porosity functions are adopted to be distributed through the thickness of the FGP beams. Critical to the application of this theory is a determination of the correction factor, which appears as a coefficient in the expression for the transverse shear stress resultant; to compensate for the assumption that the shear strain is uniform through the depth of the cross-section. Using the energy equivalence principle, a general expression is derived from the static SCFs in FGPB. The resulting expression is consistent with the variationally derived results of Reissner's analysis when the latter are reduced from the two-dimensional case (plate) to the one-dimensional one (beam). A convenient algebraic form of the solution is presented and new study cases are given to illustrate the applicability of the present formulation. Numerical results are presented to illustrate the effect of the porosity distribution on the (SCFs) for various FGPBs. Further, the law of changing the mechanical properties of FG beams without porosity and the SCFare numerically validated by comparison with some available results.

• Structural Engineering and Mechanics
• /
• 제89권1호
• /
• pp.1-11
• /
• 2024

This article introduces a novel analytical model for examining the impact of porosity on shear correction factors (SCFs) in functionally graded porous beams (FGPB). The study employs uneven and logarithmic-uneven modified porosity-dependent power-law functions, which are distributed throughout the thickness of the FGP beams. Additionally, a modified exponential-power law function is used to estimate the effective mechanical properties of functionally graded porous beams. The correction factor plays a crucial role in this analysis as it appears as a coefficient in the expression for the transverse shear stress resultant. It compensatesfor the assumption that the shear strain is uniform across the depth of the cross-section. By applying the energy equivalence principle, a general expression for static SCFs in FGPBs is derived. The resulting expression aligns with the findings obtained from Reissner's analysis, particularly when transitioning from the two-dimensional case (plate) to the one-dimensional case (beam). The article presents a convenient algebraic form of the solution and provides new case studies to demonstrate the practicality of the proposed formulation. Numerical results are also presented to illustrate the influence of porosity distribution on SCFs for different types of FGPBs. Furthermore, the article validates the numerical consistency of the mechanical property changesin FG beams without porosity and the SCF by comparing them with available results.