• Bulletin of the Korean Chemical Society
• /
• 제35권8호
• /
• pp.2257-2262
• /
• 2014

$C_{60}$ is widely investigated because of its unique structure. But its applications in solid propellant seem to be relatively neglected. $C_{60}$ has more outstanding features than carbon black which is widely used as a catalyst ingredient of solid propellant. To combine the advantages of fullerene and lead salts, another good composite in propellant catalysts, we synthesized a kind of fullerene phenylalanine lead salt (FPL) and explored its thermal performances by differential thermal analysis (DTA) and thermogravimetry analysis (TGA). The results show it undergoes four exothermic processes started from 408 K. Combined TGA and X-ray diffractometer (XRD), the decomposition mechanism of FPL was derived by TG-IR and comparing IR spectra of FPL and its residues after burned to $327^{\circ}C$, $376^{\circ}C$ and $424^{\circ}C$, respectively. Effect of FPL on the decomposition characteristic of hexogen (RDX), a type of explosive in propellant, has been investigated using DTA at different heating rate, which shows the decomposition temperatures of the explosive are all reduced by more than 20 K. The corresponding activation energy ($E_a$) is decreased by $30kJ{\cdot}mol^{-1}$. So FPL has potential application as a combustion catalyst in solid propellant.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• pp.899-904
• /
• 2003

Tight integration of product design and process planning in the early design stage would make bigger impact as wider spectrum of design and manufacturing alternatives can be pursued and evaluated. Thus the development of systematic computer-based support for this integration is desirable. For this integration and process planning in the early design stage. the systematic method to synthesize shape of part from functional requirements is crucial. This research presents the methods of functional decomposition from overall function or product and synthesizing shape of part based on functional relations extracted from functional decomposition using planetary gear transmission system as an example.

• 한국CDE학회논문집
• /
• 제5권4호
• /
• pp.359-372
• /
• 2000

Current CAD systems are good enough to be used as a tool to manipulate three-dimensional shapes. This is a very important capability to be owned by a design tool because a major portion of designers'activities is spent on the shape manipulation in the design detailing process. However, the whole design process involves a lot more than the, shape manipulation. Currently, these remaining tasks, mostly logical reasoning process for the function realization together with structure decomposition in the top-down manner, are processed in the designer's brain. To support the top-down functional design process of a mechanical product, a system integrating the functional, structural and geometrical aspects of a product design in a unified environment is presented. Using this system, a designer can perform function decomposition, structure decomposition, and geometry detailing, and function verification activities in parallel and the whole design process it modeled resultantly. Once the whole design process is modeled, any redesign task can be automatically performed with the verification of the desired functions.

• 한국정밀공학회지
• /
• 제21권11호
• /
• pp.140-148
• /
• 2004

Tight integration of product design and process planning in the early design stage would make bigger impact as wider spectrum of design and manufacturing alternatives can be pursued and evaluated. Thus the development of systematic computer-based supporting for this integration if desirable. For this integration and process planning in the early design stage, the systematic method to synthesize shape of part from functional requirements is crucial. This research presents the methods of functional decomposition from overall function of product and synthesizing shape of part based on functional relations extracted from functional decomposition using planetary gear transmission system as an example.

• 정보처리학회논문지A
• /
• 제9A권3호
• /
• pp.363-370
• /
• 2002

OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagram)는 각 노드에서 다양한 확장방법(decomposition)을 취할 수 있는 Ordered-DD(Decision Diagram)의 한 종류로서 각 노드마다 Shannon, positive Davio, 그리고 negative Davio 확장중의 하나를 사용하도록 하며 다른 종류의 DD와 비교해서 작은 수의 노드로 함수를 표현할 수 있다. 그러나 각 노드마다 각기 다른 확장 방법을 선택할 수 있는 특징 때문에 입력 노드에 대한 확장 방법의 결정에 의해서 OPKFDD의 크기가 좌우되며 최소의 노드 수를 갖는 OPKFDD의 구성은 매우 어려운 문제로 알려져 있다. 본 논문에서는 DD 크기의 기준을 노드 수로 하여 기존의 OBDD(Ordered Binary Decision Diagram) 자료구조에서 각 노드의 확장방법을 결정하는 직관적(heuristic)인 방법을 제시하고, 주어진 입력변수 순서에 대해서 각 노드의 확장 방법을 결정하는 알고리즘을 제안하고 실험 결과를 제시한다.

• 한국통신학회논문지
• /
• 제22권11호
• /
• pp.2365-2374
• /
• 1997

This paper describes two algorithms for technology mapping of multiple output functions into interesting and pupular FPGAs(Field Programmable Gate Array) that use look-yp table memories. For improvement of technology mapping for FPGA, we use the functional decompoition method for multiple output functions. Two algorithms are proposed. The one is the Roth-Karpalgorithm extended for multiple output functions. The other is the 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 resutls show sigificant reduction in the number of CLBs and nets.

• Bulletin of the Korean Chemical Society
• /
• 제25권11호
• /
• pp.1657-1660
• /
• 2004

Several critical geometries associated with the rearrangement of $CH_3SNO_2\;to\;CH_3SONO$ are calculated with the density functional theory (DFT) method and compared with those of the ab initio molecular orbital methods. There are two probable pathways for this rearrangement, one involving the transition state of an oxygen migration and the other through the homolytic decomposition to radicals. The reaction barrier via the transition state is about 60 kcal/mol and the decomposition energy into radicals about 35 kcal/mol, suggesting that the reaction pathway via the homolytic cleavage to radical species is energetically favorable. Since even the homolytic cleavage requires large energies, the rearrangement reaction is unlikely without the aid of catalysts.

• 대한산업공학회지
• /
• 제29권3호
• /
• pp.230-238
• /
• 2003

The configuration design of a mechanical product can be efficiently performed when it is based on the functional modeling. There are methodologies, which decompose function from the abstract level to the concrete level and match the functions to physical parts. But it is difficult to carry out an innovative design when the function is matched only to a pre-detined part. This paper describes the configuration design process of a mechanical product with a design expert system, which uses function taxonomy and TRIZ theory. The expert system can propose a functional modeling of a new part. which is not in the existing parts list. The abstraction levels of design knowledge are introduced, which describe the operation of mechanical product in the levels of abstraction. This is the theoretical background of using knowledge of function and TRIZ for configuration design. The expert system is adequate to control this design knowledge. which expresses knowledge of functional modeling, mapping rules between functions and parts, selection of parts, and TRIZ theory. The hierarchy of functions and machine parts are properly expressed by classes and objects in the expert system. A design expert system has been implemented for the configuration design of a train bogie, and a new brake system of the bogie is introduced with the aid of TRIZ's 30 function groups.

• Animal Bioscience
• /
• 제36권9호
• /
• pp.1453-1464
• /
• 2023

Objective: This study investigated the changes in bacterial communities within decomposing swine microcosms, comparing soil with or without intact microbial communities, and under aerobic and anaerobic conditions. Methods: The experimental microcosms consisted of four conditions: UA, unsterilized soil-aerobic condition; SA, sterilized soil-aerobic condition; UAn, unsterilized soil-anaerobic condition; and San, sterilized soil-anaerobic condition. The microcosms were prepared by mixing 112.5 g of soil and 37.5 g of ground carcass, which were then placed in sterile containers. The carcass-soil mixture was sampled at day 0, 5, 10, 30, and 60 of decomposition, and the bacterial communities that formed during carcass decomposition were assessed using Illumina MiSeq sequencing of the 16S rRNA gene. Results: A total of 1,687 amplicon sequence variants representing 22 phyla and 805 genera were identified in the microcosms. The Chao1 and Shannon diversity indices varied in between microcosms at each period (p<0.05). Metagenomic analysis showed variation in the taxa composition across the burial microcosms during decomposition, with Firmicutes being the dominant phylum, followed by Proteobacteria. At the genus level, Bacillus and Clostridium were the main genera within Firmicutes. Functional prediction revealed that the most abundant Kyoto encyclopedia of genes and genomes metabolic functions were carbohydrate and amino acid metabolisms. Conclusion: This study demonstrated a higher bacteria diversity in UA and UAn microcosms than in SA and SAn microcosms. In addition, the taxonomic composition of the microbial community also exhibited changes, highlighting the impact of soil sterilization and oxygen on carcass decomposition. Furthermore, this study provided insights into the microbial communities associated with decomposing swine carcasses in microcosm.

• Nonlinear Functional Analysis and Applications
• /
• 제27권2호
• /
• pp.433-448
• /
• 2022

The Cartan's second curvature tensor Pⁱ_jkh is a positively homogeneous of degree-1 in yⁱ, where yⁱ represent a directional coordinate for the line element in Finsler space. In this paper, we discuss the decomposition of Cartan's second curvature tensor Pⁱ_jkh in two spaces, a generalized 𝔅P-recurrent space and generalized 𝔅P-birecurrent space. We obtain different tensors which satisfy the recurrence and birecurrence property under the decomposition. Also, we prove the decomposition for different tensors are non-vanishing. As an illustration of the applicability of the obtained results, we finish this work with some illustrative examples.