• Journal of Microbiology
• /
• v.40 no.3
• /
• pp.193-198
• /
• 2002

Several 2,4,6-trinitrotoluene (TNT) degrading bacteria were isolated from an activated sludge by an enrichment culture technique, and their TNT removal activities were examined. Among the isolates, strain C1 showed the highest degrading capability, and completely removed 100 or 200 mg I$\^$-1/ of TNT within 6 hours of incubation. This bacterium was identified as Klebsiella sp. The effects of different carbon sources on the removal of the parent TNT by Klebsiella sp. C1 were negligible, but the transformation rates of TNT metabolites such as amino-dinitrotoluenes and diamino-nitrotoluenes were higher with fructose addition compared to glucose addition. When nitrate was used as the nitrogen source, the degradation rates of TNT and hydroxylamino-dinitrotoluenes were higher than those with the ammonium addition. Although the TNT removal rate of Klebsiella sp. C1 was slightly higher in anaerobic conditions, the further transformations of TNT metabolites were more favorable in aerobic conditions.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.9
• /
• pp.3611-3634
• /
• 2015

In this paper, we build a theoretical framework for quantitatively measuring and graphically representing the degrees of closeness centralization among performers assigned to enact a workflow procedure. The degree of closeness centralization of a workflow-performer reflects how near the performer is to the other performers in enacting a corresponding workflow model designed for workflow-supported organizational operations. The proposed framework comprises three procedural phases and four functional transformations, such as discovery, analysis, and quantitation phases, which carry out ICN-to-WsoN, WsoN-to-SocioMatrix, SocioMatrix-to-DistanceMatrix, and DistanceMatrix-to-CCV transformations. We develop a series of algorithmic formalisms for the procedural phases and their transformative functionalities, and verify the proposed framework through an operational example. Finally, we expatiate on the functional expansion of the closeness centralization formulas so as for the theoretical framework to handle a group of workflow procedures (or a workflow package) with organization-wide workflow-performers.

• The Pure and Applied Mathematics
• /
• v.25 no.1
• /
• pp.49-57
• /
• 2018

We have introduced two new notions of convexity and closedness in functional analysis. Let X be a real normed space, then $C({\subseteq}X)$ is functionally convex (briefly, F-convex), if $T(C){\subseteq}{\mathbb{R}}$ is convex for all bounded linear transformations $T{\in}B$(X, R); and $K({\subseteq}X)$ is functionally closed (briefly, F-closed), if $T(K){\subseteq}{\mathbb{R}}$ is closed for all bounded linear transformations $T{\in}B$(X, R). By using these new notions, the Alaoglu-Bourbaki-Eberlein-${\check{S}}muljan$ theorem has been generalized. Moreover, we show that X is reflexive if and only if the closed unit ball of X is F-closed. James showed that for every closed convex subset C of a Banach space X, C is weakly compact if and only if every $f{\in}X^{\ast}$ attains its supremum over C at some point of C. Now, we show that if A is an F-convex subset of a Banach space X, then A is bounded and F-closed if and only if every element of $X^{\ast}$ attains its supremum over A at some point of A.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.10 no.4
• /
• pp.174-186
• /
• 1998

A Galerkin's finite element model incorporating infinite elements for modeling of radiation condition at infinity has been developed, which is based on an extended mild-slope equation. To illustrate the validity and applicability of the present model, the example analyses were carried out for a resonance problem in the rectangular harbor of Ippen and Goda (1963) and for wave transformations over circular shoals of Sharp (1968) and Chandrasekera and Cheung (1997). Comparisons with the results obtained by hydraulic experiments and hybrid element method showed that the present model gives very good results in spite of the rapidly varying topography. Numerical experiments were also performed for wave transformations over a circular concave well which may be an alternative to conventional wave barriers.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2009.05a
• /
• pp.334-336
• /
• 2009

An elastic-plasticity model during the austenitic decomposition was derived and implemented to incorporate the two important deformation behaviors observed during the phase transformations: the volumetric strain and transformation induced plasticity due to the temperature change and phase transformation. To obtain transformed phase volume fractions during cooling, the fourth order Runge-Kutta method was used to solve the Kirkaldy's phase kinetics model which is function of temperature, austenitic grain size and chemical composition. The volumetric strain was calculated by considering the densities of constituent phases, while the transformation induced plasticity was based on the micro-plasticity due to the volume mismatch between soft austenitic phase and other harder phases. The constitutive equations were implemented into the implicit finite element software and a simple boundary value problem was chosen as a model problem to validate the effect of transformation plasticity on the deformation behavior of steel under cooling from high temperature. It was preliminary concluded that the transformation plasticity plays a critical role in relaxing the developed stress during forming and thus reducing the magnitude of springback.

• Land and Housing Review
• /
• v.4 no.1
• /
• pp.1-13
• /
• 2013

In the post-war period, the mass provision of social rental housing units represented the primary means for resolving housing welfare issues across much of Western Europe. In contrast to North America, large swathes of state subsidized rental housing where built and let-out at submarket rents, both to needy as well as regular working households. By the 1980s social housing accounted for as many as four in ten homes in some contexts. Since then however, these important welfare sectors have been under attack. On the one hand, privatization policies have continued to undermine the basis of social renting with home ownership and private rental sectors advanced by policy as preferable alternatives. On the other hand, social housing providers have been restructured in order to play a more residual role in the housing market and serve more targeted groups of socially vulnerable people. This paper assesses key differences in the development of West European social housing sectors as well as recent transformations in their status that represent a challenge their sustainability. It also looks to what insights this provides for the South Korean housing context where public housing has proliferated and been increasingly diversified in recent years.

• Korean Journal of Optics and Photonics
• /
• v.6 no.3
• /
• pp.178-187
• /
• 1995

The method that determines the appropriate damping factor is studied for a lens design. When suitable damping factor is applied to the additive damped least-squares (DLS) method, the convergence and the stability of the optimization process are examined in a triplet-type photographic lens design. We calculate eigenvalues of the product of the Jacobian matrix of error functions by using the singular value decomposition (SVD) method. We adopt the median of eigenvalues as an appropriate damping factor. The convergence and the stability of the optimization process are improved by choosing the adequate damping factor for the optimization of a photographic lens. It is known that the numerical inaccuracy in the calculation of normal equation is overcome by using the orthogonal transformations of the Jacobian matrix. Therefore, a combination of the method for setting a proper damping factor and the orthogonal transformations of the Jacobian matrix is good for application to the design of an aspheric lens with high-order terms. terms.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2027-2040
• /
• 1998

In this paper, we present efficient reconfigurable mesh algorithms for transforming between a binary image and its corresponding boundary code. These algorithms use $n\timesn\timesn$ processors when the size of the binary image is $n\timesn$. Recent published results show that these transformations can be done in O(1) time using $O(n^4)$ processors. The number of processors used by these algorithms is very large compared to the number of pixels in the image. Here, we present fast transformation algorithms which use $n^3 processors only. the transformation from a houndary code to a binary image takes O(1) time, and the converse transformation takes O(log n) time.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.1
• /
• pp.109-126
• /
• 2012

In 2003, Marques-Smith and Sullivan described the join ${\Omega}$ of the 'natural order' $\leq$ and the 'containment order' $\subseteq$ on P(X), the semigroup under composition of all partial transformations of a set X. And, in 2004, Pinto and Sullivan described all automorphisms of PS(q), the partial Baer-Levi semigroup consisting of all injective ${\alpha}{\in}P(X)$ such that ${\mid}X{\backslash}X{\alpha}\mid=q$, where $N_0{\leq}q{\leq}{\mid}X{\mid}$. In this paper, we describe the group of automorphisms of R(q), the largest regular subsemigroup of PS(q). In 2010, we studied some properties of $\leq$ and $\subseteq$ on PS(q). Here, we characterize the meet and join under those orders for elements of R(q) and PS(q). In addition, since $\leq$ does not equal ${\Omega}$ on I(X), the symmetric inverse semigroup on X, we formulate an algebraic version of ${\Omega}$ on arbitrary inverse semigroups and discuss some of its properties in an algebraic setting.

• Advances in nano research
• /
• v.10 no.3
• /
• pp.263-270
• /
• 2021

The present manuscript focuses the effects of suction on the flow of the dusty fluid along permeable exponentially stretching cylinder. Derived PDEs for this work are changed into ODEs by adopting right transformations. Numerical procedure is carried out for the obtained resultant equations by Shooting Technique in accordance with Runge-Kutta (RK-6) technique. Obtained results for the parameters namely, particle interaction parameter, suction parameter and Reynold number parameters are probed thoroughly. Some salient points are: (a) Fluid velocity decreases and the dust phase velocity rises for the higher values of particle interaction parameter; (b) more suction produces retarding velocities for both the phases; (c) high Reynold number slows down the fluid velocity while the speed of dust phase and (d) skin friction coefficient goes high for all these parameters.