• Transactions of the Korean Society of Automotive Engineers
• /
• v.20 no.5
• /
• pp.130-137
• /
• 2012

Automotive engines need strategies to satisfy with the emission regulations in terms of PM and NOx. HC-LNT (Hydrocarbon-Lean NOx Trap) with secondary injection system is considered as more practical technology in order to cope with emission regulations. The HC-LNT system, which is using diesel fuel itself as a reducing agent, absorbs NOx in lean exhaust gas condition and releases NOx in rich exhaust gas conditions. In this system, inappropriate amounts of reducing agent will slip through the LNT without the profits of conversion and cause additional emission problems. Therefore, the suitable amount of reducing agent should be supplied into the catalytic converter. In this research, engine emission test was conducted to optimize injection quantity at the various engine test conditions. Different exhaust layouts and catalyst shapes have been studied and extension unit which makes better uniformity of exhaust gas was used for HC-LNT system. From this results, the effect of secondary injection conditions on NOx conversion characteristics of HC-LNT was clarified.

• Korean Journal of Mathematics
• /
• v.18 no.2
• /
• pp.161-166
• /
• 2010

For an abelian extension K of ${\mathbb{Q}}$, let $C_W(K)$ be the group of Washington units of K, and $C_S(K)$ the group of Sinnott units of K. A lot of results about $C_S(K)$ have been found while very few is known about $C_W(K)$. This is mainly because elements in $C_S(K)$ are more explicitly defined than those in $C_W(K)$. The aim of this paper is to find a basis of $C_W(K)$ and use it to compare $C_W(K)$ and $C_S(K)$ when K is a subfield of ${\mathbb{Q}}({\zeta}_{p^e})$, where p is a prime.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.907-910
• /
• 2005

Although several artificial disc designs have been developed for the treatment of discogenic low back pain, biomechanical change with its implantation was rarely studied. To evaluate the effect of artificial disc implantation on the biomechanics of functional spinal unit, nonlinear three-dimensional finite element model of L4-L5 was developed with 1-mm CT scan data. Two models implanted with artificial discs, SB $Charit\acute{e}$ or Prodisc, via anterior approach were also developed. The implanted model predictions were compared with that of intact model. Angular motion of vertebral body, force on spinal ligaments and facet joint, and the stress distribution of vertebral endplate for flexion-extension, lateral bending, and axial rotation with a compressive preload of 400 N were compared. The implanted model showed increased flexion-extension range of motion and increased force in the vertically oriented ligaments, such as ligamentum flavum, supraspinous ligament and interspinous ligament. The increase of facet contact force on extension were greater in implanted models. The incresed stress distribution on vertebral endplate for implanted cases indicated that additinal bone growth around vertebral body and this is matched well with clinical observation. With axial rotation moment, relatively less axial rotation were observed in SB $Charit\acute{e}$ model than in ProDisc model.

• The Korean Journal of Food And Nutrition
• /
• v.31 no.5
• /
• pp.689-695
• /
• 2018

This study was carried out to select apple cultivars suited for the fresh cutting or minimal processing as investigating correlation between total phenol and ascorbic acid as browning factors and the enzymatic browning degree. In soluble solid-acid ratio, 'Gamhong' and 'Arisoo' were highest value of 71.69 and 71.52 compared with other cultivars. And the change of lightness (${\Delta}L$) and color (${\Delta}E$) in 'Gamhong' and 'Arisoo' showed lower than other cultivars while 'Arkansas black' was highest change of lightness and color as ${\Delta}L$ 8.27, ${\Delta}E$ 13.86 respectively. Total phenol and ascorbic acid contents in 'Arkansas black' were highest such as 334.3 mg GAE/100 g and 9.22 mg/100 g, respectively. And polyphenol oxidase (PPO) activity also was the highest such as 14.43unit in 'Arkansas black'. The correlation test showed browning of apple was significantly dependent on ${\Delta}L$, ${\Delta}E$, total phenol, ascorbic acid contents and PPO activity (p<0.01). On the contrary, no significant correlation had been determined between the browning and ascorbic acid oxidase (AAO) activity. Thus, it seemed that the browning of apple was not only due to oxidation of ascorbic acid but also total phenol. It was suggested that 'Gamhong' and 'Arisoo' were suitable for fresh cutting or minimal processing.

• Kyungpook Mathematical Journal
• /
• v.45 no.4
• /
• pp.481-489
• /
• 2005

We first show that any complete MV-algebra whose Boolean subalgebra of idempotent elements is atomic, called a complete MV-algebra with atomic center, is isomorphic to a product of unit interval MV-algebra 1's and finite linearly ordered MV-algebras of A(m)-type $(m{\in}{\mathbb{Z}}^+)$. Secondly, for a semi-simple MV-algebra A, we introduce a completion ${\delta}(A)$ of A which is a complete, MV-algebra with atomic center. Under their intrinsic topologies $(see\;{\S}3)$ A is densely embedded into ${\delta}(A)$. Moreover, ${\delta}(A)$ has the extension universal property so that complete MV-algebras with atomic centers are epireflective in semi-simple MV-algebras

• Journal of the Korean Mathematical Society
• /
• v.49 no.3
• /
• pp.659-670
• /
• 2012

For any $K$ > $2/{\pi}$ we determine the optimal constant $L(K)$ for which the following holds. If $u$, $tilde{u}$ are conjugate harmonic functions on the unit disc with $\tilde{u}(0)=0$, then $$ {\int}_{-\pi}^{\pi}{\mid}\tilde{u}(e^{i\phi}){\mid}\frac{d{\phi}}{2{\pi}}{\leq}K{\int}_{-\pi}^{\pi}{\mid}u(e^{i{\phi}}){\mid}{\log}^+{\mid}u(e^{i{\phi}}){\mid}\frac{d{\phi}}{2{\pi}}+L(K).$$ We also establish a related estimate for orthogonal harmonic functions given on Euclidean domains as well as an extension concerning orthogonal martingales under differential subordination.

• Proceedings of the CALSEC Conference
• /
• 1997.11a
• /
• pp.263-268
• /
• 1997

Functional Modeling methodology, IDEF0 is widely used for modeling, analysis and description of enterprise system. The limitation of modeling components restricts applicability and give rise to confusion about model. In this paper, we propose new method to extend IDEF0. 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. 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 because an unit function is similar to ‘lego block’. To reach the integrated system, the main problem to be solved is the integration of information produced by different functional subsystem. This can be resolved when the creation of data must be dependent on only one function. Through view integration of function output, we can guarantee the integrity of data.

• Journal of Korean Society on Water Environment
• /
• v.25 no.4
• /
• pp.481-493
• /
• 2009

This study was conducted to performance appraisal of Total Maximum Daily Loads (TMDLs), especially in terms of performance on development & reduction plan and water quality status of unit watershed. Because load allocations for pollution sources were predicted redundantly by uncertainty of prediction, TMDLs master plan has been frequently changed to acquire load allocation for local development. Therefore, It need to be developed more resonable prediction techniques of water pollution sources to preventing the frequent change. It is suggested that the reduction amount have to be distributed properly during the planning period. In other words, it has not to be concentrated on the specific year (especially final year of the planning period). The reason why, if the reduction amount concentrate on the final year of the planning period, allotment loading amount could not be achieved in some cases (e.g., insufficiency of budget, extension of construction duration). If the development plan was developed including uncertain developments, it is necessary to be developed reduction plan considered with them. However, some of the plans in the reduction plan could not be accomplished in some case. Because, it is not considered financial abilities of local governments. Consequently, development plan must be accomplished to avoid uncertain developments, and to consider financial assistance to support the implementation of effective plan. Water quality has been improved in many unit watersheds due to the TMDLs, especially in geum river and yeongsang/seomjin river.

• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.115-139
• /
• 2009

This paper investigates an extension of the uninorm (based) logic UL, which is obtained by adding (t-weakening, $W_t$) (($\phi$ & $\psi$) ${\wedge}$ t) $\rightarrow$ $\phi$ to UL introduced by Metcalfe and Montagna in [8]. First, the t-weakening uninorm logic $UL_{Wt}$ (the UL with $W_t$) is introduced. The algebraic structures corresponding to $UL_{Wt}$ is then defined, and its algebraic completeness is established. Next standard completeness (i.e. completeness on the real unit interval [0, 1]) is established for this logic by using Jenei and Montagna-style approach for proving standard completeness in [3, 6].

• Journal of KIISE:Databases
• /
• v.29 no.1
• /
• pp.34-43
• /
• 2002

Since traditional static metadata set like Dublin Core has static metadata attributes about bibliography information, integration of metadata for various metadata, problems about standard and extension of metadata must be considered for applying it to new environment. Specially, as event-driven metadata write method included the notion of e-commerce come out for interoperability in digital libraries, traditional metadata management which cannot distinguish between different kinds of update operations to new extension of metadata set occurs unsuitable waiting of update operation. So, improvement is needed about it. In this paper, we show whether alleviative transaction consistency can be applied to digital library or not. Also it would divide newer metadata into static metadata attribute connected in read operation within user read-only transaction and dynamic metadata attribute in update operation within dynamic(e-commerce) update transactions. We propose newer metadata management algorithm considered in classfication of metadata attributes and dynamic update transaction. Using two version for minimal maintenance cost and ARU(Appended Refresh Unit) for dynamic update transaction, to minimize conflict between read and write operations shows fast response time and high recency ratio. As a result of the performance evaluation, we show our algorithm is proved to be better than other algorithms in newer metadata environments.