• Korean Journal of Mathematics
• /
• v.23 no.1
• /
• pp.129-151
• /
• 2015

In this paper, we prove an $L^p$ version of Donoho-Stark's uncertainty principle for the inverse of the hypergeometric Fourier transform on $\mathbb{R}^d$. Next, using the ultracontractive properties of the semigroups generated by the Heckman-Opdam Laplacian operator, we obtain an $L^p$ Heisenberg-Pauli-Weyl uncertainty principle for the inverse of the hypergeometric Fourier transform on $\mathbb{R}^d$.

• ALGAE
• /
• v.33 no.2
• /
• pp.167-180
• /
• 2018

Benthic diatoms are ubiquitous in tidal flats and play major roles in maintaining coastal ecosystems. Spatio-temporal variations in diatom diversity have not been well-studied, mainly because of difficulties in morphological identification and the lack of appropriate genetic tools. To overcome these problems, we used the gene encoding the ribulose bisphosphate carboxylase large-subunit (rbcL) as a molecular marker, and sequenced these genes with the aid of the MiSeq platform. In this manner, we explored the genetic diversity of benthic diatoms in tidal flats of Guenso Bay on the west coast of Korea; differences in the spatial distributions of benthic diatoms were evident. The diatom communities were dominated by Nitzschia, Navicula, and Amphora; their relative distributions were affected by the sand proportion, grain size, and air exposure time. Our results suggest that meta-barcoding of the rbcL gene and next-generation sequencing can be used to explore the diversity of benthic diatoms.

• Genomics & Informatics
• /
• v.18 no.1
• /
• pp.10.1-10.9
• /
• 2020

Advancements in next generation sequencing (NGS) technologies have significantly increased the translational use of genomics data in the medical field as well as the demand for computational infrastructure capable processing that data. To enhance the current understanding of software and hardware used to compute large scale human genomic datasets (NGS), the performance and accuracy of optimized versions of GATK algorithms, including Parabricks and Sentieon, were compared to the results of the original application (GATK V4.1.0, Intel x86 CPUs). Parabricks was able to process a 50× whole-genome sequencing library in under 3 h and Sentieon finished in under 8 h, whereas GATK v4.1.0 needed nearly 24 h. These results were achieved while maintaining greater than 99% accuracy and precision compared to stock GATK. Sentieon's somatic pipeline achieved similar results greater than 99%. Additionally, the IBM POWER9 CPU performed well on bioinformatic workloads when tested with 10 different tools for alignment/mapping.

• Bulletin of the Korean Space Science Society
• /
• 2004.10b
• /
• pp.223-226
• /
• 2004

This paper presents a feasibility study of an advanced IO board design for the next generation of low-earth orbit satellites. Advanced IO board design includes sensor interface, NO, D/A, Digital Module, Serial Module etc, and allows to process increasing data rates between IO board and CPU board. The higher data rate involved in modem IO board additionally introduce issues such as noise, fault tolerance, command and data handling, limited pin count and power consumption problems. The experience in KOMPSAT-l and 2 program with this kind of problems resulted in using SMCS chip set, a high speed serial link technology based on IEEE-1355 (Space Wire Protocol) (ESA-ESTEC 2003, Parkes 1999), as a standard for next generation of satellite IO board design.

• Journal of the Korean GEO-environmental Society
• /
• v.12 no.1
• /
• pp.41-50
• /
• 2011

Three-dimensional(3D) numerical analyses have been conducted to study the behaviour of a single pile to adjacent tunnelling conducted in the lateral direction of the pile. In the numerical analyses, the interaction between the tunnel, the pile and the soil next to the pile has been analysed. The study includes the pile settlement, the relative shear displacement between the pile and the soil, the shear stresses at the soil next to the pile and the axial force on the pile. In particular, the shear stress transfer mechanism along the pile related to the tunnel advancement has been rigorously analysed. Due to changes in the relative shear displacement between the pile and the soil next to the pile during the tunnel advancement, the shear stress and the axial force distributions along the pile have been changed. Downward shear stress developed above the tunnel springline (Z/L=0.0-0.7~0.8), while upward shear stress is mobilised below the tunnel springline (Z/L=0.7~0.8-1.0) resulting in compressive force on the pile, where Z is the pile location and L is the pile length. Maximum compressive force of about $0.475P_a$ was developed on the pile after completion of tunnel advancement, where $P_a$ is the allowable pile capacity. Some insights into the pile behaviour to tunnelling obtained from the numerical analyses will be reported and discussed.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.4
• /
• pp.779-789
• /
• 2011

In this paper we study the Banach space $L^1$(G) of real valued measurable functions which are integrable with respect to a vector measure G in the sense of D. R. Lewis. First, we investigate conditions for a scalarly integrable function f which guarantee $f{\in}L^1$(G). Next, we give a sufficient condition for a sequence to converge in $L^1$(G). Moreover, for two vector measures F and G with values in the same Banach space, when F can be written as the integral of a function $f{\in}L^1$(G), we show that certain properties of G are inherited to F; for instance, relative compactness or convexity of the range of vector measure. Finally, we give some examples of $L^1$(G) related to the approximation property.

• Animal Bioscience
• /
• v.35 no.9
• /
• pp.1351-1359
• /
• 2022

Objective: The objective of this study was to analyse the differentially abundant proteins caused by freeze-thawing of ram sperm and explore candidate proteins of interest for their ability to improve ram sperm cryopreservation outcomes in vitro. Methods: Sperm were from three mature Dorper. Fresh and frozen sperm proteins were extracted, and the differentially abundant proteins were analysed by mass spectrometry. Among these proteins, lactoferrin (LTF) was selected to be added before cryopreservation. Next, sperm samples were diluted in Tris extender, with the addition of 0, 10, 100, 500, and 1,000 ㎍/mL of LTF. After thawing, sperm quality was evaluated by motility, plasma membrane integrity, mitochondrial activity and reactive oxygen species (ROS). Results: Cryopreservation significantly altered the abundance of 40 proteins; the abundance of 16 proteins was increased, while that of 24 proteins was decreased. Next, LTF was added to Tris extender applied to ram sperm. The results showed that sperm motility and plasma membrane integrity were significantly improved (p<0.05) by supplementation with 10 ㎍/mL LTF compared to those in the control group. There was no significant difference in mitochondrial activity between the 0 ㎍/mL group and other groups (p>0.05). Supplementation of the cryoprotective extender with 10 ㎍/mL LTF led to decreased ROS levels compared with those in the control and other groups (p<0.05). Conclusion: The LTF is an important protein during cryopreservation, and the addition of 10 ㎍/mL LTF to a cryoprotective extender can significantly improve the function of frozen ram sperm.

• Honam Mathematical Journal
• /
• v.20 no.1
• /
• pp.31-43
• /
• 1998

Exact definitions of four kinds of points shall be defined associated to Lie algebras L over an algebraically closed field F of prime characteristic p > 0. Next, rough bound of dimensions for L-irreducible modules associated to subregular points shall be established by taking advantage of Premet's result.

• Korean Journal of Logic
• /
• v.10 no.2
• /
• pp.125-146
• /
• 2007

This paper investigates the relevance system R-mingle (RM) as a a fuzzy-relevance logic. It shows that RM is fuzzy in Cintula's sense, i.e., RM is complete with respect to linearly ordered L-matrices (or L-algebras). More exactly, we first introduce RM and its weak versions wwRM and wRM. We next provide algebraic and matrix completeness results for them.

• The Pure and Applied Mathematics
• /
• v.28 no.2
• /
• pp.119-142
• /
• 2021

In this paper, we first introduce a new L_p analytic Fourier-Feynman transform with respect to subordinate Brownian motion (AFFTSB), which extends the Fourier-Feynman transform in the Wiener space. We next examine several relationships involving the L_p-AFFTSB, the convolution product, and the gradient operator for several types of functionals.