• 미생물학회지
• /
• 제34권3호
• /
• pp.87-90
• /
• 1998

우리 나라의 전통 대두발효식품인 된장으로부터 혈전용해능을 가진 미생물을 분리하였다. 그 중 5종류의 균주를 Bergey's manual of systematic bacteriology에 의거하여 동정한 결과 Bacillus sp. 균주로 밝혀졌다. 분리된 Bacillus 속 미생물을 효소 유도배지에서 배양한 결과 B. amyloliquefaciens는 2.46 plasmin unit/ml, B pantothenticus는 3.82 plasmin unit/ml 의 혈전용해능을 가지고 있었고, B. subtilis는 4.94 plasmin unti/ml의 높은 혈전용해효소 생산능을 보여주었다. 분리 균주에 의하여 생산된 세포외 단백질을 SDS-PAGE와 reverse fibrin zymogram 활성측정법에 의해 확인한 결과 각 균주별로 서로 다른 혈전용해효소가 생산되었음을 확인하였다.

• 대한수학회논문집
• /
• 제12권3호
• /
• pp.553-560
• /
• 1997

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

• 대한수학회논문집
• /
• 제38권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
• /
• 제4권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.

• 한국식품과학회지
• /
• 제31권1호
• /
• pp.219-223
• /
• 1999

우리나라의 전통 발효식품인 김치에서 혈전용해 효소를 생산하는 미생물을 분리하고 그 중 Bacillus amyloliquefaciens, Bacillus brevis, Micrococcus luteus의 세 종을 Bergey's manual of systematic bacteriology등에 의하여 동정하였다. 분리된 미생물을 효소 유도 배지에서 배양한 결과 B. amyloliquefaciens는 2.58 plasmin unit/mL, B. brevis는 1.48 plasmin unit/mL, 그리고 M. luteus는 2.03 plasmin unit/mL의 혈전용해효소 생산능을 보여 주였다. 각 균주에서 생산된 세포의 단백질을 SDS-PAGE와 fibrin zymography assay에 의해 분석한 결과 B. brevis와 M. luteus에서는 서로 다른 분자량을 가진 $3{\sim}4$개의 혈전용해 효소가 존재하였으며 B. amyloliquefaciens에서는 분자량이 약 29 kDa인 단일 band의 혈전용해 효소가 생산되었음을 확인하였다.

• International journal of advanced smart convergence
• /
• 제3권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.

• 대한수학회논문집
• /
• 제35권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
• /
• 제48권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.

• 정보과학회 논문지
• /
• 제44권2호
• /
• pp.171-178
• /
• 2017

본 논문에서는 안드로이드 커널 모듈의 취약점을 탐지하기 위한 자동 유닛 테스트 생성 기법을 제안한다. 안드로이드 커널 모듈의 각 함수를 대상으로 테스트 드라이버/스텁 함수를 자동 생성하고 동적 기호 실행 기법을 사용하여 테스트 입력 값을 자동으로 생성한다. 또한 안드로이드 커널 모듈의 함수 포인터와 함수 선행 조건을 고려하지 않은 테스트 생성으로 인한 거짓 경보를 줄이기 위해 정적 분석을 통한 함수 포인터 매칭 기법과 def-use 분석을 사용한 함수 선행 조건 생성 기법을 개발하였다. 자동 유닛 테스트 생성 기법을 안드로이드 커널 3.4 버전의 세 모듈에 적용한 결과 기존에 존재하던 취약점을 모두 탐지할 수 있었으며 제안한 거짓 경보 감소 기법으로 평균 44.9%의 거짓 경보를 제거할 수 있었다.

• Journal of the Korean Data and Information Science Society
• /
• 제14권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.