• 제목/요약/키워드: case checking

검색결과 408건 처리시간 0.027초

UML 다이아그램간의 일관성과 완전성을 위한 검증 규칙 생성에 관한 연구 (The Study on the Generation of Verifying Rules for Consistency and Completeness of the Unified Modeling Language Diagrams)

  • 김재웅;김진수;김치수;황선명
    • 한국멀티미디어학회논문지
    • /
    • 제3권3호
    • /
    • pp.290-297
    • /
    • 2000
  • 객체지향 설계에 많이 사용되고 있는 UML의 일부 다이아그램들의 일관성과 완전성을 검증하기 위하여 UML다이아그램들을 분석하여 ER모델에 적용하고, 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 함수들의 의미에 따라 UML 다이아그램들의 일관성과 완전성을 보장하는 일련의 규칙들을 유도한다. 이러한 규칙들은 추후에 다이아그램을 생성하는 능력과 일관성과 완전성을 검사하는 능력을 함에 가진 CASE 도구에 포함될 수 있다.

  • PDF

한방치료(韓方治療)로 호전된 비만(肥滿)으로 인한 소아(小兒)의 지방간(脂肪肝) 치험(治驗) 2례(例) (Two Cases Reports of Chlid Fatty Liver with Obesity)

  • 최가혜;김하얀;송인선
    • 대한한방소아과학회지
    • /
    • 제22권3호
    • /
    • pp.95-103
    • /
    • 2008
  • Objectives : The purpose of these 2 case studies are to report the effects of fatty liver children treated by oriental medical treatment. Methods : These patient was treated by herbal medicine, acupuncture, moxa, consultation. We observed the improvement of his disease by checking GOT, GPT, GGT, TG, and BMI. Results : By use of oriental medical treatment, we could make a considerable improvement of Child fatty liver. Conclusions These 2 case studies shows that oriental medical treatment can be an effective treatment for Child fatty liver. And the further study is needed with more cases and longer duration.

  • PDF

급성 파종성 뇌척수염에 대한 한방적 치료 치험 1예 (A Clinical Case Report on a Patient of Acute Disseminated Encephalomyelitis Using Korean Medicine)

  • 박정하;오득주;장수희;허희수
    • 한방재활의학과학회지
    • /
    • 제24권2호
    • /
    • pp.141-153
    • /
    • 2014
  • The objective of this study is to report the improvement of the patient with Acute Disseminated Encephalomyelitis (ADEM) with Korean Medical intervention. The patient, diagnosed as ADEM, was treated by acupuncture, moxibustion and herb medicine and wild ginseng distilled herbal acupuncture. We evaluated the consequences by checking Manual Muscle Test (MMT), Korean Version of Barthel Index (K-MBI). As a result, the patient improved significantly MMT and K-MBI inclined. In ADEM, the initial diagnosis is important, and through a Korean medicine, we were able to achieve meaningful treatment result. There is a limit on this study due to sufficient number of case, thus, further studies will be needed.

燃料油 燃燒에 미치는 有機金屬鹽의 助燃效果 (Combustibility Improving Effect of Organometallic Salt for Fuel Oil)

  • 강용식
    • 대한화학회지
    • /
    • 제15권6호
    • /
    • pp.330-347
    • /
    • 1971
  • Catalytic effects of metallic salts on the combustion of diesel fuel oil have been studied. In the case of organometallic salt, the active species are the metallic oxides resulted from combustion of the salts. The oxides act only on the residual solid carbon produced from the fuel oil combustion. The catalytic activity can be explained with the semiconductor theory just as in the case of the gas phase reaction. The chemical rate constant of the combustion of carbon, the soot from diesel fuel oil, is found to be $k_c=1.1{\times}10^4\;exp$ (-16,600/T) below $800^{\circ}K$. By addition of metallic oxides, the rate constant increases remarkably. This work has substantiated the belief that the effect of the metallic salts on the fuel oil combustion can conveniently be studied by checking directly the effect of the corresponding metallic oxide on the soot carbon.

  • PDF

GPS RAIM에서의 2개 파라미터 고장진단에 대한 연구 (Study on Two-Failure GPS RAIM Problem)

  • 유창선;이상정
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2000년도 제15차 학술회의논문집
    • /
    • pp.194-194
    • /
    • 2000
  • In aviation navigation by GPS, requirements on availability and integrity must be absolutely satisfied for safety. Current study on accomplishing this integrity includes RAM(Receiver Autonomous Integrity Monitoring), checking integrity internally in GPS receiver itself. However RAIM techniques have be investigated and presented under assumption that there is included only one fault in measurements from GPS, In case of multiple fault, an interaction among bias errors sometimes results in decreasing the effect of multiple fault. This may make an exact fault detection and identification difficult, and study on mutiple fault RAIM focused on. This paper explains the reasons that techniques applied on single fault are not adequate to extend directly to two faults case and shows that RAIM solution on two fault may be given in revised parity space.

  • PDF

철근 콘크리트 축대칭 구조물 해석 모형의 개발 (Development of Model for the Analysis of Reinforced Concrete Axi-symmetric structures)

  • 조진구
    • 한국농공학회지
    • /
    • 제37권2호
    • /
    • pp.86-94
    • /
    • 1995
  • This study aimes at developing an analysis model for axisymmetric RC structures on an elastic foundation and also, at checking its practical adaptability through some case studies. The computer program developed in this study is general-purpose one, applicable not only to 8-noded isoparametric elements, but also to 3, 4, 6 and g-noded element cases. And for the economies of input data processing works, automatic system for data prepa- ration including division of elements is included in the computer program. Although these are not exemplified in the case studies, the program developed in this study can be easily applicable without any modification to axisymmetric structures with roof and PC structures.

  • PDF

미성년자의 신분증 위·변조 및 도용을 검출하기 위한 방법 연구 (A Study of the Detecting Method about the Identification Card's Counterfeit, Modification and Illegal Use by Minors)

  • 이영교;안정희
    • 디지털산업정보학회논문지
    • /
    • 제14권3호
    • /
    • pp.87-101
    • /
    • 2018
  • Minors' law evasion is getting serious. Some of them make a fake ID card or use a stolen ID card illegally. They are illegally used for buying alcohol, cigarette, bond or going to club, pub, motel and so on. On the latest News, there was a case that teens rented a car with a driver licence without checking and had severe car accident. Like this case, car rental service was fined and suspended from business because they did not figure out ID card's counterfeit or modification. Thus, this study investigates the detecting method about the ID card(including a driver license) counterfeit, modification or illegal use. The server has a database of 17~19's minors one fingerprint and services whether the visitor is adult true or not. The method will be usable and economical for business. Then, it was compared and analyzed with methods already in use in business.

Case Study on the Compatibility of Measurement Systems with Part-to-part Variations in Automobile Industry

  • Lee, Myung-Duk;Lim, Ik-Sung;Sung, Chun-Ja
    • International Journal of Reliability and Applications
    • /
    • 제9권1호
    • /
    • pp.17-30
    • /
    • 2008
  • Analysis of measurement systems is important to determine if the measurement process is adequate to measure the part-to-part variability in the process. Control chart techniques provide an effective, and easy-to-use method for performing this analysis. However, application with the real data for the evaluation procedure for multiple measurement systems have not been demonstrated. This research will provide a methodology for the evaluation of part-to-part variation and variation of different measurement systems step by step followed by number of case studies for each methodologies provided.

  • PDF

Bounding Worst-Case DRAM Performance on Multicore Processors

  • Ding, Yiqiang;Wu, Lan;Zhang, Wei
    • Journal of Computing Science and Engineering
    • /
    • 제7권1호
    • /
    • pp.53-66
    • /
    • 2013
  • Bounding the worst-case DRAM performance for a real-time application is a challenging problem that is critical for computing worst-case execution time (WCET), especially for multicore processors, where the DRAM memory is usually shared by all of the cores. Typically, DRAM commands from consecutive DRAM accesses can be pipelined on DRAM devices according to the spatial locality of the data fetched by them. By considering the effect of DRAM command pipelining, we propose a basic approach to bounding the worst-case DRAM performance. An enhanced approach is proposed to reduce the overestimation from the invalid DRAM access sequences by checking the timing order of the co-running applications on a dual-core processor. Compared with the conservative approach, which assumes that no DRAM command pipelining exists, our experimental results show that the basic approach can bound the WCET more tightly, by 15.73% on average. The experimental results also indicate that the enhanced approach can further improve the tightness of WCET by 4.23% on average as compared to the basic approach.

언어불안감에 대한 영어 교사와 학습자간의 인식 차이 (Differences in teachers' and learners' perspective on ELT learners' anxiety)

  • 김보민;김해동
    • 영어어문교육
    • /
    • 제16권3호
    • /
    • pp.161-182
    • /
    • 2010
  • The goals of this study were to identify differences in learners' and teachers' perspectives on EFL learners' language anxiety, to identify the differences among teachers coping with learners' language anxiety, and to find how learners cope with their language anxiety. The research was effectuated by means of a survey questionnaire and interviews. The data were collected from 92 teachers and 230 students in four different school settings. There were the $6^{th}$ grade 50 primary school learners, the $2^{nd}$ grade 60 middle school learners, the $11^{th}$ grade 60 high school learners of, and the $2^{nd}$ and $3^{rd}$ grade 60 university learners. There were also 26 primary school teachers, 22 middle school teachers, 21 high school teachers, and 23 university teachers. The findings reveal that there were differences in responses among the respondents. The findings suggest that teachers need to pay attention to their particular learners' anxiety sources: especially in the case of primary school setting, the activity of answering teachers' questions for teachers was the primary source of learner's anxiety, in the case of middle school settings, translating sentences in English into Korean, in the case of high school setting, checking unknown vocabulary, and in the case of university settings, university learners felt anxious when classmates spoke fluently. The implications of the study indicate that these aspects should be handled carefully to motivate certain group of learners.

  • PDF