• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.326-328
• /
• 2000

본 논문에서는 지연계산기반 함수형 언어 프로그램을 받아 Java 프로그램을 목적 코드로 생성하는 컴파일러를 설계하고 구현한다. 이 컴파일러는 제한된 형태의 함수형 언어 Shared Term Graph(STG)를 입력언어로 하는 추상기계 Spineless Tagiess G-Machine (STGM)을 수행 모델로 한다. 본 논문에서는 명령형 언어 L-code를 제안하고 이를 입력언어로 하는 새로운 형태의 STGM인 L-Machine을 제안한다. STG 언어를 L-code로 변환하는 컴파일러와 L-code를 Java로 변환하는 컴파일러를 설계하고 구현함으로써 원하는 컴파일러를 구성한다. 그리고 Glasgow Haskell 컴파일러를 전단부로 하여 지연계산 기반 함수형 언어 Haskell로 작성된 프로그램들을 컴파일하여 STG 프로그램으로 변환한 다음 본 논문에서 구현한 컴파일러로 이를 Java 프로그램으로 변환한다. 변환된 Java 프로그램을 Sun JIT 컴파일러로 컴파일하여 수행한 성능 평가 결과를 제시한다.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.887-890
• /
• 1998

We present a method for initialization of asynchronous circuits using binary decision space representation. From state transition graph(STG) which is given as a specification a circuit, the BDD is generated to solve the state space explosion problem which is caused by concurrecy of STG. We first step, we construct the necessary informaton as a form of K-map from BDD, then find an initial state on the K-map by assignment of don't care assignment.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.10
• /
• pp.47-55
• /
• 1999

In this paper, a new function hazard elimination algorithm is proposed for asynchronous circuit synthesis. In previous approach, function hazard is eliminated by using state graph which is obtained from the state assignment on STG(signal transition graph) representing transition relationship among signals. These algorithms can use conventional hazard removal and synthesis method applied in synchronous system, but it has much computational complexity and takes much time to handle the state graph. Although some hazard elimination algorithm from STG were proposed, it could not reduce the area overhead due to the addition of new signals. The proposed algorithm eliminate function hazard directly on STG and also control the number of minterms and product-term of added signal in order to minimize the area overhead. Experimental results on benchmark data shows that overall circuit area after hazard elimination is decreased about 15% on the average than that of previous method.

• IMMUNE NETWORK
• /
• v.5 no.4
• /
• pp.232-236
• /
• 2005

Background: A physically active lifestyle and regular exercise training incurs many health benefits. One recently recognized benefit of regular moderate exercise is stress reduction and immune enhancement. Thus, a physical stress such as exercise may act at any number of points in the complex sequence of events collectively termed the immune response. Although exercise causes many propound changes in parameters of immune function, the nature and magnitude of such changes rely on several factors including the immune parameters of interest; type, intensity, and duration of exercise; fitness level or exercise history of the subject; environmental factors such as ambient temperature and humidity. Methods: This study was undertaken to investigate the effect of different type of exercise on superoxide dismutase (SOD), neutrophils, and T lymphocytes of Sprague-Dawley rats. Sprague-Dawley rats were randomly divided into three groups; a non-Trained group (NTG, n=6), a swim-Trained group (STG), and a treadmill-Trained group (TTG). The exercise regimen was designed in a treadmill (5 times/5 days/week) during 8-weeks for TTG, and swim training (5 times/5 days/week) during 8-weeks for STG, and the volume of exercise training was the same in both groups. Results: 8 weeks of regular swim and treadmill training significantly increased liver SOD concentration however, muscle SOD concentration was not statistically significant. In the level of neutrophils, TTG and STG showed significant difference, compared to NTG. TTG was the highest level of neutrophils. In the level of immune cell counts, there was significant difference among TTG, STG, and NTG both in the spleen and thymus. Conculsion: In conclusion, it can be stated that eight weeks swim and treadmill exercise training has beneficial effect in improving immune response and antioxidant defence capacity by augmenting immune cells and SOD activities of SD rats.

• The KIPS Transactions:PartA
• /
• v.9A no.1
• /
• pp.61-74
• /
• 2002

This paper presents a method which synthesizes asynchronous circuits from free-choice Signal Transition Graphs (STGs) with timing constraints. The proposed method synthesizes asynchronous circuits by analyzing: the relations between signal transitions directly from the STGs without generating state graphs. The synthesis procedure decomposes a free-choice STG into deterministic STGs which do not have choice behavior. Then, a timing analysis extracts the timed concurrency and tamed causality relations between any two signal transitions for each deterministic STG. The synthesis procedure synthesizes circuits for each deterministic STG and synthesizes the final circuit by merging the circuits for each deterministic STG. The experimental results show that our method achieves significant reductions in synthesis time for the circuits which have a large state space, and generates circuits that have nearly the same area as compared to previous methods.

• Journal of the Korean Society of Physical Medicine
• /
• v.14 no.2
• /
• pp.29-40
• /
• 2019

PURPOSE: Despite the widespread occurrence in the general population, few studies have directly evaluated the effects of shingles on non-specific neck pain (NSNP). This study investigated whether sensory training or therapeutic stretching exercises are more effective in increasing neck mobility and reducing neck pain in chronic NSNP patients. METHODS: Eighty-one subjects aged between 20 and 32 years with chronic neck pain (> six months), were allocated randomly to three groups: sensorimotor training group (STG), therapeutic stretching group (TSG), and home exercise group (HEG). All participants received a half-hour training session, three times weekly for six weeks. The outcomes were evaluated using the neck disability index for measuring neck pain, and a universal goniometer to measure the cervical passive range of motion before and after the six-week intervention. RESULTS: The post-test neck disability index scores in the STG (t = 4.86) and TSG (t = 3.24) were decreased significantly (p < .05). The passive range of motion changes in all cervical movements in the STG was increased significantly (p < .05) after intervention compared to those in the other two groups. CONCLUSION: Sensorimotor training using chin tuck exercises may improve neck pain and mobility in subjects with chronic NSNP.

• Food Science and Preservation
• /
• v.21 no.4
• /
• pp.549-559
• /
• 2014

This study investigated the hypoglycemic effects of mulberry leaf (M), green tea (G), and a mixture of mulberry leaf and green tea (MG) in rats with streptozotocin-induced diabetes. Male Sprague-Dawley rats were divided into the non-diabetic (N) and diabetic groups. The experimental animals were divided into four groups and fed the following for four weeks: a normal diet (N), the STZ+normal diet (STZ), the STZ+5% mulberry leaf (STZ-M), STZ+5% green tea (STZ-G), and the STZ+5% mixture of mulberry leaf and green tea (STZ-MG). The whole blood glucose level of the STZ-M, STZ-G and STZ-MG groups significantly decreased compared to the STZ group two weeks later. The serum glucose and fructosamine, and urine glucose levels in the STZ-M, STZ-G and STZ-MG groups were lower than in the STZ group. The levels of serum insulin were higher in the STZ-M, STZ-G and STZ-MG groups than in the STZ group. However, serum glucose, fructosamine and insulin levels, and urine glucose levels were not significantly different among the STZ-M, STZ-G and STZ-MG groups. These results indicate that mulberry leaf, green tea, and their mixture help prevent or attenuate the progression of diabetes in rats with STZ-induced diabetes.

• Magazine of korean Tunnelling and Underground Space Association
• /
• v.24 no.4
• /
• pp.19-25
• /
• 2022

• Geotechnical Engineering
• /
• v.37 no.1
• /
• pp.13-20
• /
• 2021

• Journal of the Korean Society of Physical Medicine
• /
• v.15 no.2
• /
• pp.23-30
• /
• 2020

PURPOSE: The purpose of this study was to examine the effects of dual-task training with cognitive tasks on cognitive functions and β-amyloid levels in the elderly with mild dementia. METHODS: The subjects were 36 elderly inpatients diagnosed with mild dementia at S Hospital located in Gyeongsangbuk-do, South Korea. The patients were randomly divided into a dual-task training group (DTG; n = 18) or a single-task training group (STG; n = 18). DTG performed dual-task training with cognitive tasks while STG performed only exercise tasks. These groups performed their respective exercises during a 30-minute session occurring three times a week over an 8-week period. MMSE-K and GDS were used to measure the subjects' cognitive function. To assess the subjects' dementia-related factors, their β-amyloid levels were measured by blood analysis. RESULTS: The results of the experiment were as follows: DTG showed statistically significant differences between their MMSE-K scores and β-amyloid levels before and after training (p < .05), whereas they exhibited no statistically significant differences in their GDS scores. MMSE-K scores and β-amyloid levels were significantly different between DTG and STG after training. CONCLUSION: The present study's overall results indicate that dual-task training with cognitive tasks is more effective than single-task training in improving cognitive functions and β-amyloid levels in the elderly with mild dementia. In other words, regular dual-task training can be considered as effective in improving cognitive function and dementia-related factors in the elderly with mild dementia and thus may be suggested as an effective exercise method for the treatment and early prevention of dementia.