• Journal of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.977-991
• /
• 2012

Let (M,F) and (M',F') be two foliated Riemannian manifolds with M compact. If the transversal Ricci curvature of F is nonnegative and the transversal sectional curvature of F' is nonpositive, then any transversally harmonic map ${\phi}:(M,F){\rightarrow}(M^{\prime},F^{\prime})$ is transversally totally geodesic. In addition, if the transversal Ricci curvature is positive at some point, then ${\phi}$ is transversally constant.

• Proceedings of the IEEK Conference
• /
• 1999.06a
• /
• pp.627-630
• /
• 1999

For depth extraction from the focus and recovery the shape, determination of criterion function for focus measure and size of the criterion window are very important. However, Texture, illumination, and magnification have an effect on focus measure. For that reason, depth map has a partial high and low peak. In this paper, we propose a depth extraction method from focused images using the error interpolation. This method is modified the error depth into mean value between two normal depth in order to improve the depth map.

• Journal of the Korean Mathematical Society
• /
• v.44 no.3
• /
• pp.585-603
• /
• 2007

The author studies the local $H\ddot{o}lder$ convergence of the solution to an evolution equation of p-Ginzburg-Landau type, to the heat flow of the p-harmonic map, when the parameter tends to zero. The convergence is derived by establishing a uniform gradient estimation for the solution of the regularized equation.

• Journal of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.669-688
• /
• 2019

In this paper, we introduce the notion of the generalized symphonic map with respect to the functional ${\Phi}_{\varepsilon}$. Then we use the stress-energy tensor to obtain some monotonicity formulas and some Liouville results for these maps. We also obtain some Liouville type results by assuming some conditions on the asymptotic behavior of the maps at infinity.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.837-848
• /
• 2024

It is shown in [1] that the Cauchy problem for the Fornberg-Whitham equation is well-posed in C¹(ℝ) and the data-to-solution map is Hölder continuous from C^α to C([0, T]; C^α) with α ∈ [0, 1). In this short paper, we further show that the data-to-solution map of the Fornberg-Whitham equation is not uniformly continuous on the initial data in C¹(ℝ).

• Nuclear Engineering and Technology
• /
• v.37 no.6
• /
• pp.575-586
• /
• 2005

In a CANDU (CANada Deuterium Uranium) reactor, fuel channel integrity depends on the coolability of the moderator as an ultimate heat sink under transient conditions such as a loss of coolant accident (LOCA) with coincident loss of emergency core cooling (LOECC), as well as normal operating conditions. This study presents assessments of moderator thermal-hydraulic characteristics in the normal operating conditions and one transient condition for CANDU-6 reactors, using a general purpose three-dimensional computational fluid dynamics code. First, an optimized calculation scheme is obtained by many-sided comparisons of the predicted results with the related experimental data, and by evaluating the fluid flow and temperature distributions. Then, using the optimized scheme, analyses of real CANDU-6 in normal operating conditions and the transition condition have been performed. The present model successfully predicted the experimental results and also reasonably assessed the thermal-hydraulic characteristics of a real CANDU-6 with 380 fuel channels. A flow regime map with major parameters representing the flow pattern inside a calandria vessel has also proposed to be used as operational and/or regulatory guidelines.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.17 no.1
• /
• pp.165-184
• /
• 2023

The ARX-based lightweight block cipher is widely used in resource-constrained IoT devices due to fast and simple operation of software and hardware platforms. However, there are three weaknesses to ARX-based lightweight block ciphers. Firstly, only half of the data can be changed in one round. Secondly, traditional ARX-based lightweight block ciphers are static structures, which provide limited security. Thirdly, it has poor diffusion when the initial plaintext and key are all 0 or all 1. This paper proposes a new dynamic ARX-based lightweight block cipher to overcome these weaknesses, called DABC. DABC can change all data in one round, which overcomes the first weakness. This paper combines the key and the generalized two-dimensional cat map to construct a dynamic permutation layer P1, which improves the uncertainty between different rounds of DABC. The non-linear component of the round function alternately uses NAND gate and AND gate to increase the complexity of the attack, which overcomes the third weakness. Meanwhile, this paper proposes the round-based architecture of DABC and conducted ASIC and FPGA implementation. The hardware results show that DABC has less hardware resource and high throughput. Finally, the safety evaluation results show that DABC has a good avalanche effect and security.

• The Korean Journal of Physiology and Pharmacology
• /
• v.14 no.5
• /
• pp.265-272
• /
• 2010

Follicular cystic ovary (FCO) is one of the most frequently diagnosed ovarian diseases and is a major cause of reproductive failure in mammalian species. However, the mechanism by which FCO is induced remains unclear. Genetic alterations which affect the functioning of many kinds of cells and/or tissues could be present in cystic ovaries. In this study, we performed a comparison analysis of gene expression in order to identify new molecules useful in discrimination of bovine FCO with follicular cystic follicles (FCFs). Normal follicles and FCFs were classified based on their sizes (5 to 10 mm and $\geq25mm$). These follicles had granulosa cell layer and theca interna and the hormone $17{\beta}$-estradiol ($E_2$)/ progesterone ($P_4$) ratio in follicles was greater than one. Perifollicular regions including follicles were used for the preparation of RNA or protein. Differentially expressed genes (DEG) that showed greater than a 2-fold change in expression were screened by the annealing control primer (ACP)-based PCR method using $GeneFishing^{TM}$ DEG kits in bovine normal follicles and FCFs. We identified two DEGs in the FCFs: ribosomal protein L15 (RPL15) and microtubule-associated protein 1B (MAP1B) based on BLAST searches of the NCBI GenBank. Consistent with the ACP analysis, semi-quantitative PCR data and Western blot analyses revealed an up-regulation of RPL15 and a down-regulation of MAP1B in FCFs. These results suggest that RPL15 and MAP1B may be involved in the regulation of pathological processes in bovine FCOs and may help to establish a bovine gene data-base for the discrimination of FCOs from normal ovaries.

• Journal of the Korean Society of Combustion
• /
• v.17 no.1
• /
• pp.48-57
• /
• 2012

Laminar lifted propane coflow-jet flames diluted with nitrogen were experimentally investigated to determine heat-loss-related self-excitation regimes in the flame stability map and elucidate the individual flame characteristics. There exists a critical lift-off height over which flame-stabilizing effect becomes minor, thereby causing a normal heat-loss-induced self-excitation with O(0.01 Hz). Air-coflowing can suppress the normal heat-loss-induced self-excitation through increase of a Peclet number; meanwhile it can enhance the normal heat-lossinduced self-excitation through reducing fuel concentration gradient and thereby decreasing the reaction rate of trailing diffusion flame. Below the critical lift-off height. the effect of flame stabilization is superior, leading to a coflow-modulated heat-loss-induced self-excitation with O(0.001 Hz). Over the critical lift-off height, the effect of reducing fuel concentration gradient is pronounced, so that the normal heat-loss-induced self-excitation is restored. A newly found prompt self-excitation, observed prior to a heat-loss-induced flame blowout, is discussed. Heat-loss-related self-excitations, obtained laminar lifted propane coflow-jet flames diluted with nitrogen, were characterized by the functional dependency of Strouhal number on related parameters. The critical lift-off height was also reasonably characterized by Peclet number and fuel mole fraction.

• Journal of the Korea Computer Graphics Society
• /
• v.21 no.3
• /
• pp.55-61
• /
• 2015

In this paper, we introduce a method to synthesize realistic make-up effects on input images efficiently. In particular, we focus on shading on the make-up effects due to the lighting and face curvature. By doing this, we can synthesize a wider range of effects realistically than the previous methods. To do this, the information about lighting information together with the normal vectors on all pixels over the face region in the input image. Since the previous methods that compute lighting information and normal vectors require relatively heavy computation cost, we introduce an approach to approximate lighting information using cascade pose regression process and normal vectors by transforming, rendering, and warping a standard 3D face model. The proposed method consumes much less computation time than the previous methods. In our experiment, we show the proposed approximation technique can produce naturally looking virtual make-up effects.