• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2923-2930
• /
• 1997

This paper describes two algorithms for technology mapping of multiple output functions into interesting and popular FPGAs (Field Programmable Gate Arrays) that lise look-up table memories. For improvement of technology mapping for FPGA, we use the functional decomposition method for multiple output functions. Two algorithms are proposed. The one is the Roth-Karp algorithm extended for multiple output functions. The other is the novel and efficient algorithm which looks for common decomposition functions through the decomposition procedure. The cost function is used to minimize the number of CLBs and nets and to improve performance of the network. Finally we compare our new algorithm with previous logic design technique. Experimental results show significant reduction in the number of CLBs and nets.

• Bulletin of the Korean Chemical Society
• /
• v.21 no.1
• /
• pp.101-104
• /
• 2000

Li-graphite intercalation compounds (GICs), synthesized at elevated temperature and pressure, were allowed to decompose spontaneously in the atmosphere. The decomposition processes were analyzed by of X-ray diffraction, DSC analysis, FT-IR measurements, UV/VIS spectrophotometry. The deintercalation reaction of the Li-GICs ceased after 6 weeks and only the residual compounds could be observed. A strong exothermic reaction was observed at 300 $^{\circ}C$ in thermal decomposition, and relatively stable decomposition curves were formed. A few endothermic curves have been observed at 1000 $^{\circ}C.$ After 6 weeks deintercalation reaction time of GICs, many exothermic and endothermic reactions were accompanied at the same time. In addition the reactions of the functional groups such as aromatic rings, nitrogen, $-CH_3$, $-CH_2$ etc. of GDIC obtained by the above reaction were confirmed by FT-IR spectrum. UV/VIS spectrophotometric measurement clearly shows the formation of a minimum energy value ($R_{min}$) for the compounds between Li-GICs as a starting material and Li-GDICs obtained until after 3 weeks of the deintercalation reaction, while they were no clear energy curves from 4 weeks of reaction time, because of the formation of the graphite structure, of high stages and of the Li compounds surrounding the graphite in the deintercalation reaction.

• Journal of the Korean Ceramic Society
• /
• v.49 no.1
• /
• pp.48-55
• /
• 2012

Degradation of performance and life time of a functional material or device thereof is induced, to a great extent, by mass transfer in the material that is driven by various thermodynamic forces imposed intentionally or accidentally during its operation or service. The forces are any gradient of intensive thermodynamic variables, component chemical potentials, electrical potential, temperature, stresses, and the like. This paper reviews electric-field induced degradation phenomena in ionic solid compounds including insulation resistance degradation, crystal shift, microstructural alterations, compositional unmixing, and compound decomposition. Their inner workings are also discussed qualitatively.

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.1
• /
• pp.189-201
• /
• 2022

The aim of the current work is to investigate the numerical study of a nonlinear Volterra-Fredholm integro-differential equation with initial conditions. Our approximation techniques modified adomian decomposition method (MADM) and variational iteration method (VIM) are based on the product integration methods in conjunction with iterative schemes. The convergence of the proposed methods have been proved. We conclude the paper with numerical examples to illustrate the effectiveness of our methods.

• Nonlinear Functional Analysis and Applications
• /
• v.28 no.2
• /
• pp.449-471
• /
• 2023

In this paper, we study a linear system of homogeneous commensurate /incommensurate fractional-order differential equations by developing a new semi-analytical scheme. In particular, by decoupling the system into two fractional-order differential equations, so that the first equation of order (δ + γ), while the second equation depends on the solution for the first equation, we have solved the under consideration system, where 0 < δ, γ ≤ 1. With the help of using the Adomian decomposition method (ADM), we obtain the general solution. The efficiency of this method is verified by solving several numerical examples.

• The Journal of Society for e-Business Studies
• /
• v.2 no.2
• /
• pp.89-113
• /
• 1997

Modeling methodology has been widely used for analysis and design of a information system. Specially, under the CALS environments, modeling approach is more important because the enterprise functions are inter-related and information sharing speeds up the business. In this paper, we suggest functional requirements about modeling methodology for CALS by surveying the IDEF0 and ARIS. The former is FIPS 183 and the latter is basic methodology of SAP/R3 which is world-wide ERP system. The proposed functional requirements include all semantics of IDEF0 and adds some features. The first is adding modeling components which are semantic representations. In addition to ICOMs, we add the time and cost component which is required to execute the function. The second is tracing mechanism. When we need some information, we drive the functions related with the information by reverse tracing of the function which produces the information as a output and input. Through the tracing, we find out the bottleneck process or high cost process. This approach guarantees the integrity of data by designating the data ownership. Finally, we suggest the final decomposition level. We call the final decomposed function into unit function which has only one output data. We can combine and reconstruct some of functions such as 'lego block' combination.

• Bulletin of the Korean Chemical Society
• /
• v.29 no.6
• /
• pp.1141-1148
• /
• 2008

Geometry optimizations and electronic structure calculations are reported for meso-tetraphenyl porphyrin (TPP) and a series of meso-substituted catecholic porphyrins (KP99150, KP99151, KP99152, KP99153, and KP99090) using density functional theory (DFT). The calculated B3LYP//RHF bond lengths are slightly longer than those of LSDA//RHF. The calculated electronic structures clearly show that TPP and meso-catecholic group contribute to π-electron conjugation along porphyrin ring for HOMO and LUMO, significantly reduced the HOMO-LUMO gap. The wavelength due to B3LYP energy gaps is favored with experimental value in Soret (B), and LSDA energy gaps are favored with experimental value in visible bands (Q). The electronic effect of the catecholic groups is to reduced energies of both the HOMOs and LUMOs. However, the distortion of porphyrin predominantly raises the energies of the HOMOs, so the net result is a large drop in HOMO and smaller drop in LUMO energies upon meso-substituted catecholic group of the porphyrin macrocycle as shown in KP99151 and KP99152 of Figure 5(a). These results are in reasonable agreement with normal-coordinate structural decomposition (NSD) results. The HOMO-LUMO gap is an important factor to consider in the development of photodynamic therapy (PDT).

• ETRI Journal
• /
• v.9 no.3
• /
• pp.43-54
• /
• 1987

주어진 릴레이션 스킴(relation scheme)을 이에 관련된 함수적 종속(functional dependency)들을 가지고 분해하여 Boyce-Codd 정규형(Boyce-Codd normal form)에 속하는 릴레이션 스키머(schema)로 정규화(normalization)시키는 기존의 분해 알고리즘(decomposition algorithm)은 구현해서 사용하기에 적합하지 못하다. 본 고에서는 기존의 알고리즘 구현시 발생하는 문제점을 분석하고 이런 문제점을 해결하는 방법을 제시하며, 이를 토대로 Boyce-Codd 정규형 릴레이션 스킴을 생성하는 새로운 알고리즘을 제시하고, 이 알고리즘을 UNIX 환경하에 C 언어로 구현한 후 임의의 자료를 수행하여 얻어진 릴레이션 스키머와 기존의 알고리즘에 의해 얻어진 릴레이션 스키머를 비교분석하였다.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.885-895
• /
• 2021

In this paper, we study a kind of self-inversive polynomials in bicomplex algebra. For a bicomplex polynomial, this is the study of a relation between a kind of symmetry of its coefficients and a kind of symmetry of zeros. For our deep study, we define several new levels of self-inversivity. We prove some functional equations for standard ones, a decomposition theorem for generalized ones and a comparison theorem. Although we focus the j-conjugation in our study, our argument can be applied for other conjugations.

• Journal of Applied and Pure Mathematics
• /
• v.5 no.3_4
• /
• pp.129-164
• /
• 2023

The aim of this work is to present some interesting results on weighted ergodic functions and prove the existence and uniqueness of Stepanov-like pseudo almost automorphic solutions using the spectral decomposition of the phase space developed by Adimy and co-authors. We also give the next challenge of this work.