• Korean Journal of Microbiology
• /
• v.34 no.3
• /
• pp.87-90
• /
• 1998

Various bacterial strains that secret extracellular fibrinolytic enzyme were screened from Doen-Jang, a traditional soybean fermented food in Korea. Five microbes of them were identified to be Bacillus sp. strains according to Bergey's manual of systematic bacteriology. The culture filtrates of B. amyloliquefaciens (2.46 plasmin unit/ml) and B. pantothenticus (3.82 plasmin unit/ml) showed a level of fibrinolytic activity that was about three times higher than that of plasmin 1.0 unit and Bacillus subtilis showed the highest fibrinolytic activity (4.94 plasmin unit/ml). All of the extracellular proteases showing the fibrinolytic activity are confirmed by SDS-PAGE followed by reverse fibrin zymogram activity assay and we proposed that some of the fibrinolytic enzymes from this work are novel enzymes.

• Communications of the Korean Mathematical Society
• /
• v.12 no.3
• /
• pp.553-560
• /
• 1997

A class number formula over global function field, extending the formula obtained by Shu, is proved.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.163-178
• /
• 2023

We use the theory of differential subordination to explore various inequalities that are satisfied by an analytic function p defined on the unit disc so that the function p is subordinate to the function e^z. These results are applied to find sufficient conditions for the normalised analytic functions f defined on the unit disc to satisfy the subordination zf'(z)/f(z) ≺ e^z.

• International Journal of Advanced Culture Technology
• /
• v.4 no.3
• /
• pp.56-61
• /
• 2016

Central motion techniques are to mention the central-motion by the limpness motion function and limpness sensory unit function on the body. Central body motion is consisted of the limpness central function by the central body system. To evaluate the signal of central body motion, we are investigated a limpness value of the central function by the central body function on the static state. The concept of limpness motion function was checked the reference of limpness motion signal and limpness sensory signal by the central motion body. For assessment on the limpness sensory variation of the maximum and average in terms of central motion from the static function, and limpness value that was a limpness value of the vision condition of the Vi-${\lambda}_{MAX-AVG}$ with $8.71{\pm}-3.2units$, that was a limpness value of the vestibular condition of the Ve-${\lambda}_{MAX-AVG}$ with $3.05{\pm}-6.52units$, that was a limpness value of the somatosensory condition of the So-${\lambda}_{MAX-AVG}$ with $2.4{\pm}1.9units$. The static sensory motion was made mention of check out at the condition of the limpness sensory unit motion for the comparable values of limpness central motion that was expressed the analysis capacity by the limpness nerve system. Limpness sensory system will be to propose of the minute motion by static central motion situation and was to imply a limpness motion data of static body sensory function.

• Korean Journal of Food Science and Technology
• /
• v.31 no.1
• /
• pp.219-223
• /
• 1999

Various bacterial strains that secret extracellular fibrinolytic enzyme were screened from kimchi, a traditional vegetable fermented food in Korea. Three microbes of them were identified to be Bacillus amyloliquefaciens, Bacillus brevis and Micrococcus luteus strains according to Bergey's Manual of Systematic Bacteriology. It was found that B. amyloliquefaciens, B. brevis and M. luteus produced 2.58, 1.48 and 2.03 plasmin unit/mL of fibrinolytic enzyme, respectively. All extracellular proteases showing the fibrinolytic activity were confirmed by SDS-PAGE and fibrin zymography assay and we propose that some of the fibrinolytic enzymes from this work are novel enzymes.

• International journal of advanced smart convergence
• /
• v.3 no.1
• /
• pp.20-24
• /
• 2014

To compare body signal, was designed the F-B function system on the body movement for the comfortable state. To detect subject of the normal state, was decided on the base of physical signal in the body movement. There are to detect the condition of Vision, Vestibular, Somatosensory and CNS. Vision condition was verified a variation of greater average (Vi-${\Phi}_{AVG-AVG}$) was presented slightly greater at $17.424{\pm}9.65$ unit. Vestibular condition was identified a variation of slightly greater average (Ve-${\Phi}_{AVG-AVG}$) was presented at $9.068{\pm}1.478$ unit. Somatosensory condition was checked a variation of smaller average (So-${\Phi}_{AVG-AVG}$) was presented slightly smaller at $2.79{\pm}0.419$ unit. CNS condition was confirmed a variation of diminutive smaller average (C-${\Phi}_{AVG-AVG}$) was presented slightly larger at $0.557{\pm}0.153$ unit. As the model depends on the F-B function system of body movement, average values of these perturbation were computed F-B function comparison data. These systems will be to infer a data algorithm and a data signal processing system for the evaluation of the stability.

• Communications of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.927-933
• /
• 2020

We characterize Möbius functions mapping the unit disc of the complex plane contractively into itself. We then give a procedure to produce Möbius iterated function systems on the unit disc.

• Kyungpook Mathematical Journal
• /
• v.48 no.1
• /
• pp.155-163
• /
• 2008

This is an extended version of the paper [K] of the author. The average formulas on the circles and disks around arbitrary points of Nevanlinna counting functions of holomorphic self-maps of the unit disk, given in terms of the boundary values of the selfmaps, are shown to give another characterization of the whole class or a special subclass of inner functions in terms of Nevanlinna counting function in addition to the previous applications to Rudin's orthogonal functions.

• Journal of KIISE
• /
• v.44 no.2
• /
• pp.171-178
• /
• 2017

In this study, we propose an automated unit test generation technique for detecting vulnerabilities of Android kernel modules. The technique automatically generates unit test drivers/stubs and unit test inputs for each function of Android kernel modules by utilizing dynamic symbolic execution. To reduce false alarms caused by function pointers and missing pre-conditions of automated unit test generation technique, we develop false alarm reduction techniques that match function pointers by utilizing static analysis and generate pre-conditions by utilizing def-use analysis. We showed that the proposed technique could detect all existing vulnerabilities in the three modules of Android kernel 3.4. Also, the false alarm reduction techniques removed 44.9% of false alarms on average.

• Journal of the Korean Data and Information Science Society
• /
• v.14 no.4
• /
• pp.889-901
• /
• 2003

In this paper, we consider the optimal replacement policies following the expiration of the combination warranty. The combination warranty can be divided into the renewing combination warranty and the non-renewing combination warranty. The criterion used to determine the optimal replacement period is the overall value function based on the expected cost and the expected downtime. Thus, we obtain the expected cost rate per unit time and the expected downtime per unit time for our model. And then the overall value function suggested by Jiagn and Ji(2002) is applied to obtain the optimal replacement period. The numerical examples are presented for illustrative purpose.