• Title/Summary/Keyword: Check-in

Search Result 9,479, Processing Time 0.036 seconds

Array bounds check elimination using Inequality Graphs in Just-in-time compiler (대소관계 그래프를 이용한 Just-in-time 컴파일 환경에서의 array bounds check elimination)

  • 최선일;문수묵
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2004.10a
    • /
    • pp.529-531
    • /
    • 2004
  • Just-Just-in-Time 컴파일러를 이용하여 자바의 성능을 향상시키려면 여러 문제들을 극복하여야 한다. 이 문제 중 중요한 부분을 차지하는 것이 null check 코드와 array bound check코드를 어떻게 최적화하느냐는 것이다. Static한 컴파일 환경에서는 이미 많은 연구가 진행되어 매우 강력한 성능을 가지는 알고리즘이 알려져 있으나 이를 컴파일 시간이 수행시간의 일부인 Just-in-Time 컴파일 환경에 적응하기에는 컴파일 오버헤드가 너무 커서 적절하지 않다. 현재 Just-in-Time 컴파일러들은 가볍고 단순한 알고리즘을 적용하지만 중복된 array bounds check를 충분히 제거하지 못하거나 아니면 강력하지만 flow-insensitive한 SSA form을 기반으로 해야 하는 알고리즘을 사용하고 있다. SSA form의 적용은 SSA form으로의 변환과 되돌림에 의한 overhead로 가볍고 빠른 컴파일러를 지향하는 Just-in-Time 컴파일러에 부합되지 않는다. 본 논문은 변수간의 대소관계를 표현하는 그래프를 array bounds check 알고리즘에 적용해 충분한 power를 내면서도 flow-sensitive한 환경에서 동작하는 알고리즘을 제안한다.

  • PDF

A Good Puncturing Scheme for Rate Compatible Low-Density Parity-Check Codes

  • Choi, Sung-Hoon;Yoon, Sung-Roh;Sung, Won-Jin;Kwon, Hong-Kyu;Heo, Jun
    • Journal of Communications and Networks
    • /
    • v.11 no.5
    • /
    • pp.455-463
    • /
    • 2009
  • We consider the challenges of finding good puncturing patterns for rate-compatible low-density parity-check code (LDPC) codes over additive white Gaussian noise (AWGN) channels. Puncturing is a scheme to obtain a series of higher rate codes from a lower rate mother code. It is widely used in channel coding but it causes performance is lost compared to non-punctured LDPC codes at the same rate. Previous work, considered the role of survived check nodes in puncturing patterns. Limitations, such as single survived check node assumption and simulation-based verification, were examined. This paper analyzes the performance according to the role of multiple survived check nodes and multiple dead check nodes. Based on these analyses, we propose new algorithm to find a good puncturing pattern for LDPC codes over AWGN channels.

A New Lighting System for the Inspection of Check Defect of CRT Panel (CRT 판넬의 첵 불량 검출을 위한 새로운 조명 시스템)

  • 차준혁;권인소;하종은
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.10 no.6
    • /
    • pp.487-493
    • /
    • 2004
  • In this Paper, we propose a lighting system for the stable detection of check defects of the CRT panel through the analysis of the lighting interaction between the lighting unit and the CRT panel. The check defect is very difficult to detect reliably because of its high sensitivity according to the direction of incident light. At first, we model the physical shape of check defects using SEM image. And then we apply physics based illumination model to investigate the optical characteristics of the check defect. Finally, we propose a lighting system for the stable detection of check defect. Experimental results show the feasibility of the proposed lighting system for check inspection.

A Study on the Marking Efficiency of Check-Patterned Shirts (체크무늬 Shirts의 Marking 효율성에 관한 연구)

  • Hong, Eun-Hee;Suh, Mi-A
    • The Research Journal of the Costume Culture
    • /
    • v.17 no.5
    • /
    • pp.746-757
    • /
    • 2009
  • This study is focused on the elucidation of efficient and correct marking methods by comparing and analyzing marker efficiency depending on the marking job condition such as interval of checking-pattern, width of materials, and marker orientation using man's shirts. To compare the marking efficiency of shirts, plain and check-patterned materials with the intervals of $1.5{\times}1.5cm$, $3{\times}3cm$, and $5{\times}5cm$ were selected. First, in the comparison of marking efficiency depending on materials width, the highest efficiency was obtained with nap-either-way position of 150cm, plain materials and lowest efficiency with nap-one-way position of 150cm, $5{\times}5cm$ check-pattern materials. Regardless of the direction of marker position, the marking efficiency of 150cm width was higher than 110cm width in the plain, $1.5{\times}1.5cm$ and $3{\times}3cm$ check-pattern interval, but the marking efficiency of 110cm width was higher than 150cm width in the $1.5{\times}1.5cm$ check-pattern interval. Second, in the comparison of marking efficiency depending on the direction of marker position, regardless of check-pattern interval and material width, the highest efficiency was obtained with nap-either-way position. And nap-up-and-down and nap-one-way follows next. Third, in the comparison of marking efficiency depending on check-pattern interval, the efficiency of plain materials was higher than those of check-patterned materials. And increasing the intervals decreased marking efficiency and vice versa. So the lowest efficiency was obtained with $5{\times}5cm$ check patterned materials.

  • PDF

Oriental and Western Medical Study on the cause and treatment of Obesity (비만의 원인과 치료에 대한 동서의학적 고찰)

  • Lee, Sang-Bong;Keum, Dong-Ho;Lee, Myeong-Jong
    • The Journal of Dong Guk Oriental Medicine
    • /
    • v.5
    • /
    • pp.33-52
    • /
    • 1996
  • The purpose of this study was to investigate efficient treatment in obesity. In order to help clinical application in obesity treatment, this study was performed to investigate the cause and treatment in obesity. The main finding of this study were as follows. 1. In the cause of oriental medicine in obesity, that were moisture(濕), phlegm(痰), gore(瘀), the productive heat(積熱), overeating, supemutrition, underaction, heredity and habitude, psychologic factor(stress) etc. 2. In the western medicine, the cause of obesity were genetic cause, endocrine disorder, hypothalamic extraodinary and secondary effect of drug. But simple obesity is the greater part. Also there were psychologicai and environmental causes. 3. Ear acupuncture of wide application were Naebunbi, Sinmun, Taejang, $ij{\check{o}}m$, $Pyej{\check{o}}m$, $Bij{\check{o}}m$ etc. 4. Body acupuncture of application were $Naej{\check{o}}ng$, $Sangg{\check{o}}h{\check{o}}$, Pungnyung, Kokchi, $Sam{\check{o}}mgyo$, $Umn{\check{o}}ngch{\check{o}}n$ etc. 5. In oriental medical treatment of obesity, Bangpungtongs ngsan(防風通聖散), Daesihotang(大柴胡湯), Seungkitang(承氣湯), Bangkihwangkitang(防己黃?湯), Richulsaryeungtang(二朮四笭湯), Taeksatang(澤瀉湯), Opieum(五皮飮), Gongyundan(控涎丹) etc were wide applicated. 6. The western medical treatment in obesity encourage the dietary cure, exercise cure and behavior adjustment than medical therapy or operation. In treatment of obesity, the dietary cure and herb-drug therapy, ear acupuncture and body acupuncture are effective. But weight maintenance after treating is more important. After all the continuous dietary cure, behavior adjusting cure and exercise cure are necessary.

  • PDF

Effects of Yoohyangheukho-dan ($R{\check{u}}xi{\bar{a}}ngh{\bar{e}}ih{\check{u}}-d{\bar{a}}n$) on Osteoporosis Induced by Ovariectomy in Rats (유향흑호단(乳香黑虎丹)이 난소적출로 유발된 흰쥐의 골다공증 모델에 미치는 영향)

  • Kum, Chang-Jun;Cho, Chang-Young;Lim, Jeong-Min;Song, Dea-Uk;Kim, Jae-Hyun;Lee, Bina;Jung, Hyuk-Sang
    • Journal of Korean Medicine Rehabilitation
    • /
    • v.24 no.3
    • /
    • pp.29-37
    • /
    • 2014
  • Objectives Osteoporosis is an impending problem in the rapidly aging society. The purpose of this study is to identify the effects of Yoohyangheukho-dan ($R{\check{u}}xi{\bar{a}}ngh{\bar{e}}ih{\check{u}}-d{\bar{a}}n$) on osteoporosis induced by ovariectomy in rats. Methods 24 rats were randomly assigned to a SHAM group, a control group, and a Yoohyangheukho-dan ($R{\check{u}}xi{\bar{a}}ngh{\bar{e}}ih{\check{u}}-d{\bar{a}}n$) group (n=8). Ovaries were extracted and for 8 weeks, the rats were given dry feeds and Yoohyangheukho-dan ($R{\check{u}}xi{\bar{a}}ngh{\bar{e}}ih{\check{u}}-d{\bar{a}}n$) group were given a mixture of dry feeds and Yoohyangheukho-dan ($R{\check{u}}xi{\bar{a}}ngh{\bar{e}}ih{\check{u}}-d{\bar{a}}n$). At 8 weeks, their body weight, femur mass, tibia ash per body ratio, overall surface area and thickness of the trabeculae, overall surface area of the osteoblasts, and the number of osteoclasts were measured and levels of albumin, aspartate transaminase (AST), alanine transaminase (ALT), alkaline phosphatase (ALP), total-cholesterol, calcium and estradiol were recorded. Results There was no significant difference in the weight of the femur and the tibia ash per body ratio. The Yoohyangheukho-dan ($R{\check{u}}xi{\bar{a}}ngh{\bar{e}}ih{\check{u}}-d{\bar{a}}n$) group had significantly thicker trabeculae than the control group and showed a minimal increase of overall surface area of the trabeculae. The overall surface area of the osteoblasts and the number of osteoclasts decreased in the Yoohyangheukho-dan ($R{\check{u}}xi{\bar{a}}ngh{\bar{e}}ih{\check{u}}-d{\bar{a}}n$) group. There were no statistically significant differences in AST, ALT, ALP, total cholesterol, phosphorus, and estradiol levels. On the contrary the Yoohyangheukho-dan ($R{\check{u}}xi{\bar{a}}ngh{\bar{e}}ih{\check{u}}-d{\bar{a}}n$) group had significantly higher levels of Albumin, triglyceride, and calcium. Conclusions It can be concluded that oral intake of Yoohyangheukho-dan ($R{\check{u}}xi{\bar{a}}ngh{\bar{e}}ih{\check{u}}-d{\bar{a}}n$) prevents the thinning process of the trabeculae. Thus, it may have positive effects on the treatment and prevention of osteoporosis in postmenopausal women.

A Study on Improvement of the Air Carrier Pilot's Qualification Check in Korea (조종사 운항자격 심사제도 개선방안에 관한 연구)

  • Hwang, Sasik;Choi, Sungho
    • Journal of the Korean Society for Aviation and Aeronautics
    • /
    • v.22 no.1
    • /
    • pp.32-43
    • /
    • 2014
  • Worldwide, air transport demand of this century is expanding rapidly, and each countries' demand is also increasing. Thus a number of low-cost carriers emerged in existing air transportation business sector and airman qualification check work regarding aviation safety management is increasing too. As the remedy for the result of aviation safety audit by ICAO and FAA in 2001 that governmental activity for aviation safety had been performed by a small number of aviation safety inspectors, airman qualification inspection system implemented by airlines was improved and the government has established the system that authorized airman qualification inspectors check airmen qualification with airlines according to the international trend. This study suggests the need of improvement of airman qualification inspection system that existing inspection system as the means of safety management can be transferred to Operations Safety Inspection(OSI) activity which is compliant with international standards.

A study on dynamic characteristics of sheet type check valves in PZT pump for small liquid delivery (미소유체 이송용 압전펌프를 위한 시트형 체크밸브의 동특성에 관한 연구)

  • Ham Y.B.;Noh J.H.;Shin D.S.;Park J.H.;Kim H.S.
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 2005.06a
    • /
    • pp.1087-1090
    • /
    • 2005
  • In precision machinery systems for medical and chemical applications, micropumps with a low pulsation have been demanded and investigated for accurate delivery of a small amount of liquid. This study proposes sheet type check valves instead of ball type check valves for PZT pumps and performs some tests on dynamics characteristics of check valves having different design parameter with variable frequency. The selected materials of check valves is NBR, PP film, Polyimide and Stainless steel(SUS304). In the experiment, dynamic characteristics of stainless steel thin plate have better performance than others.

  • PDF

A Study on the Adiective Check List for Rural Stream Landscape Evaluation (농촌 소하천 경관의 평가를 위한 형용사 목록 개발에 관한 연구)

  • Kim, Seong-Geun;Jo, U-Hyeon;Im, Seung-Bin
    • Proceedings of the Korean Society of Rural Planning Conference
    • /
    • 1998.10a
    • /
    • pp.28-30
    • /
    • 1998
  • The purpose of this study is to find the adjective check list for rural stream landscape evaluation. The methods used in this study were to make the adjective check list suitable for stream landscape, to measure the adjective check list by the method of semantic differential scale, and to find the adjective check list suitable for evaluation of stream landscape. The adjective check list suggested in this study can guarantee objectivity of evaluation in improving or restoring stream landscape.

  • PDF

Neural Network Approach to Automated Condition Classification of a Check Valve by Acoustic Emission Signals

  • Lee, Min-Rae;Lee, Joon-Hyun;Song, Bong-Min
    • Journal of the Korean Society for Nondestructive Testing
    • /
    • v.27 no.6
    • /
    • pp.509-519
    • /
    • 2007
  • This paper presents new techniques under development for monitoring the health and vibration of the active components in nuclear power plants, The purpose of this study is to develop an automated system for condition classification of a check valve one of the components being used extensively in a safety system of a nuclear power plant. Acoustic emission testing for a check valve under controlled flow loop conditions was performed to detect and evaluate disc movement for valve failure such as wear and leakage due to foreign object interference in a check valve, It is clearly demonstrated that the evaluation of different types of failure types such as disc wear and check valve leakage were successful by systematically analyzing the characteristics of various AE parameters, It is also shown that the leak size can be determined with an artificial neural network.