• 한국멀티미디어학회논문지
• /
• 제9권12호
• /
• pp.1607-1616
• /
• 2006

The growing market of multimedia and digital signal processing requires significant data-path portions of SoCs. However, the common models for verification are not suitable for SoCs. A novel model--WGL (Weighted Generalized List) is proposed, which is based on the general-list decomposition of polynomials, with three different weights and manipulation rules introduced to effect node sharing and the canonicity. Timing parameters and operations on them are also considered. Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits. The model is proved to be a uniform and efficient model for both bit-level and word-level functions. Then Based on the WGL model, a backward-construction logic-verification approach is presented, which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than $O(n^{3.6})$ and space complexity is less than $O(n^{1.5})$) without hierarchical partitioning. Finally, a construction methodology of word-level polynomials is also presented in order to implement complex high-level verification, which combines order computation and coefficient solving, and adopts an efficient backward approach. The construction complexity is much less than the existing ones, e.g. the construction time for multipliers grows at the power of less than 1.6 in the size of the input word without increasing the maximal space required. The WGL model and the verification methods based on WGL show their theoretical and applicable significance in SoC design.

• The Korean Journal of Physiology
• /
• 제21권2호
• /
• pp.305-311
• /
• 1987

To evaluate training effect, the step exercise was loaded to three mem for nine weeks. Step score, cardiopulmonary functions and blood constituents were measured before, during and after the test exercise (50 cm-step exercise and treadmill running), and were compared with the pre-tranining values. The results were as follows: 1) By the training, Harvard step score increased remarkably, expecially in the early stage of training. 2) The post-training values of maximal oxygen uptake increased very significantly and it seemed to be due to increases of stroke volume and tissue oxygen extraction. 3) After the training, the degree of increase in expired volume was small during the treadmill exercise. 4) By the training, increasing rate of respiratory quotient lessened during the exercise and it was considered to be caused by the decreases of carbohydrate consumption and anaerobic metabolism. 5) The blood cholesterol concentrations were harldy changed with this degree of training. 6) The blood lactate level decreased during the recovery periods and the values of the recovery 0 and 5 minutes decreased remarkably, in comparison with the pre-trained values. The above results suggest that the 9 week-training of the step exercise brings about the enhancement of circulatory functions and tissue oxygen utilization, and changes of food-stuffs used during the exercise.

• 비파괴검사학회지
• /
• 제29권3호
• /
• pp.224-229
• /
• 2009

An experimental study was conducted to investigate the effects of turtle neck syndrome, so called, on muscular fatigue and muscle activity. Six subjects (males) participated and performed the prolonged casual computer work in the study. EMG signals from six muscles of the dominant neck-back region were acquired and recorded for 10 seconds at the beginning and the end of three hours computer work. EMG was recorded from six muscles by using a computerized data recording and analysis system. Power spectrum function of EMG was calculated off-line by means of a signal processing software package. Power spectrum functions were smoothed with a moving average filter of 21 points and normalized with respect to the maximal value achieved during the trials. Muscle activity and median frequencies of Sternocleidomastoid(SCM) in turtle neck posture was approximately 51%, which were less than those in normal neck posture. SCM also showed the biggest decrease in median frequency. Results will provide the insight into the neck-back injury mechanism of turtle neck patients. Furthermore, they will be helpful in developing rehabilitation programs for restoring patients' neck-back functions.

• The Korean Journal of Physiology
• /
• 제11권2호
• /
• pp.41-43
• /
• 1977

In pulmonary function which is important place which national physical power, in maximal grade of physical power, and end growth and development whom aged 20 years old that whole members 74 students, and taken pulmonary functions examination records, and took as the following results. 1) Frequency of breathing: Pertaining of the frequency of breathing are about form 15, to 16 times per minute at male and female students. 2) Vital capacity: Measures of vital capacity are in case of male students, whom was about 4.3 liter, and female students was about 3.6, liter which different between male and female students was more low quantity at female students with comparison male students. 3) Tidal volume: Pertaining of the volume are in case of male students, whom was 521ml, and female students was 497m1, and was slightly low quantity at female students with comparison male students, 4) Breathing holding time: Breathing holding time are in case of male students, whom was 64 sec, and female students was 55 sec, and was sbout 10 sec more high quantity at male students than female students.

• ETRI Journal
• /
• 제10권3호
• /
• pp.125-140
• /
• 1988

Computational geometry has wide applications in pattern recognition, image processing, VLSI design, and computer graphics. Voronoi diagrams in computational geometry possess many important properites which are related to other geometric structures of a set of point. In this pater the design of systolic algorithms for the static and the dynamic Voronoi diagrams is considered. The major motivation for developing the systolic architecture is for VLSI implementation. A new systematic transform technique for designing systolic arrays, in particular, for the problem in computational geometry has been proposed. Following this procedure, a type T systolic array architecture and associated systolic algorithms have been designed for constructing Voronoi diagrams. The functions of the cells in the array are also specified. The resulting systolic array achieves the maximal throughput with O(n) computational complexity.

• Journal of Microbiology and Biotechnology
• /
• 제8권6호
• /
• pp.601-605
• /
• 1998

For the resolution of L-carnitine from DL-carnitine, resting cells of Enterobacter sp. NH-104, which had a higher capacity of D-carnitine decomposition, were harvested at maximal specific activity of D-carnitine decomposition of 47.05 unit/mg cell. The cells were frozen at $-80^{\circ}C$ to assess functions as enzyme sources. Optimal concentration of cells and DL-carnitine were 17 g/$\ell \; and \; 20 g/\ell$, respectively, and reaction buffer was best at 75 mM of Tris. HCl. Optimal temperature and pH were $36^{\circ}C$ and 8.2, respectively. When the reaction at optimal conditions was carried out for 14 h, the optical purity was 98.21 %, and the quantity and yield of remaining L-carnitine were 4.432 g/$\ell$ and 44.32%, respectively.

• 대한수학회논문집
• /
• 제35권3호
• /
• pp.953-966
• /
• 2020

In this article we study the evolution and monotonicity of the first non-zero eigenvalue of weighted p-Laplacian operator which it acting on the space of functions on closed oriented Riemannian n-manifolds along the extended Ricci flow and normalized extended Ricci flow. We show that the first eigenvalue of weighted p-Laplacian operator diverges as t approaches to maximal existence time. Also, we obtain evolution formulas of the first eigenvalue of weighted p-Laplacian operator along the normalized extended Ricci flow and using it we find some monotone quantities along the normalized extended Ricci flow under the certain geometric conditions.

• 대한수학회보
• /
• 제49권6호
• /
• pp.1147-1161
• /
• 2012

In this paper, a coincidence theorem for a compact ${\Re}\mathfrak{C}$-map is proved in an abstract convex space. Several more general coincidence theorems for noncompact ${\Re}\mathfrak{C}$-maps are derived in abstract convex spaces. Some examples are given to illustrate our coincidence theorems. As applications, an alternative theorem concerning the existence of maximal elements, an alternative theorem concerning equilibrium problems and a minimax inequality for three functions are proved in abstract convex spaces.

• 전자공학회논문지B
• /
• 제31B권2호
• /
• pp.80-87
• /
• 1994

Fetal monitoring is a routine procedure to obtain a record of physiologic functions during pregnancy and labor. It is required to determine fetal heart frequency accurately. There are various types of fetal heart rate(FHR) determination and the most frequently applied method is transabdominal Doppler ultrasound. However, in the case of weak or noise corrupted Doppler ultrasound signals, conventional peak detections and the autocorrelation function method have many difficulties to determine FHR precisely. Also the autocorrelation function is effected by threshold level and window size. To solve these problems, the high resolution pitch determination algorinthm is introduced to detect FHR from Doppler ultrasound signals. This scheme digitally processes Doppler ultrasound signal for digital rectification, envelope detection, decimation and correlation calculation of two interconnected segments and then FHR is determined by its maximal value. Even in the case of a greatly smeared noise signal, this algorithm is able to search FHR more accurately than autocorrelation function by means of compensating FHR with a constant correlation threshold. This algorithm is simulated by 386-MATLAB on PC 486/DX and verified that it is superior to the autocorrelation function method.

• Journal of applied mathematics & informatics
• /
• 제27권5_6호
• /
• pp.1411-1427
• /
• 2009

We propose a model based on Lotka-Volterra dynamics with two competing spices which are affected not only by harvesting but also by the presence of a predator, the third species. Hyperbolic and linear response functions are considered. We derive the conditions for global stability of the system using Lyapunov function. The optimal harvest policy is studied and the solution is derived in the interior equilibrium case using Pontryagin's maximal principle. Finally, some numerical examples are discussed. The nature of variations in the two prey species and one predator species is studied extensively through graphical illustrations.