• 제목/요약/키워드: QuickCheck

검색결과 53건 처리시간 0.029초

SMS 부호화 복호화 모듈 검증 방법에 대한 연구 (A Study on the Verification Scheme of SMS Encoding and Decoding Module)

  • 최광훈
    • 한국컴퓨터정보학회논문지
    • /
    • 제15권6호
    • /
    • pp.1-9
    • /
    • 2010
  • 본 논문에서는 3GPP(3rd Generation Partnership Project)에서 정의한 SMS PDU (Protocol Data Unit) 포맷을 주어진 SMS 부호화 복호화 모듈에서 정확하게 구현했는지 검증하는 방법을 제안한다. 기존 SMS 관련 도구들은 SMS 게이트웨이를 통해 송수신하거나 또는 SMS PDU 해석을 목적으로 개발되어 3GPP에서 정의한 세부 SMS PDU 규격에 따라 정확히 구현했는지 테스트하는 용도로는 적합하지 않다. 본 논문에서 제안한 방법은 함수형 언어 Haskell로 작성된 QuickCheck 라이브러리를 활용해 3GPP에서 정의한 구조에 맞는 SMS PDU 테스트 데이터를 자동 생성하여 SMS 부호화 복호화 모듈을 테스트한다. C언어로 작성된 리눅스 모바일 플랫폼 SMS 모듈에 적용하여 이 모듈의 부호화 복호화 기능을 테스트한 결과 BCD 포맷 시간 정보를 잘못 해석하는 사례 등 중요한 오류들을 발견할 수 있었다. 제안한 방법은 3GPP에서 정의한 규격에 맞추어 SMS PDU를 생성하기 때문에 일반적인 SMS 모듈들에 모두 적용 가능한 장점을 지닌다. 본 논문에서 사용한 방법과 같이 QuickCheck 라이브러리를 통해 다른 네트워크 프로토콜 데이터 규격에 대한 부호화 복호화 검증에도 응용할 수 있을 것이다.

The Clinical Pathology Characteristics and Tetanus Quick Stick Evaluation for Tetanus Patients in Daegu Emergency Medical Center

  • Lee, Seung Jin;Lim, Soon Ok;Jeong, Jae Yeop;Park, Min Jeong;Park, Ju Eun
    • 대한임상검사과학회지
    • /
    • 제46권1호
    • /
    • pp.12-16
    • /
    • 2014
  • Tetanus has high lethality and can cause serious complication, so it is very important to have a quick and exact checkup and treatment. In this study, we conducted a study about clinical characteristics and types of tetanus patients in Daegu Emergency Medical Center and we studied possibility of Tetanos Quick Stick (TQS) as a selective check up to treat tentanus by comparing the results of local checkup kit measured from tetanus quick stick developed to check up tetanus antibody titer and results measured from ELISA (Enzyme-Linked Immunosorbent Assay). The result of the study showed that tetanus happens more to males, and by looking at season, tetanus happened most in summer (from June-August) as 19 cases (45.3%), and when patients come to the emergency medical center, the diagnosis name was electrolyte imbalance 14 cases (33.3%), peripheral nerve 11 cases (26.2%), Meningitis 8 cases (19.0%), drug addiction 7 cases (16.7%), and the patients who are diagnosed as tetanus at the beginning of hospitalization was 2 cases (4.8%). The result of TQS usefulness by comparing with ELISA, in TQS, 42 people was positive and 478 people was negative. it was positive when the result was over 0.1 IU/mL, 48 people was ELISA positive while 472 people was negative. TQS checkup has accuracy of 98%, sensitivity of 83.3%, specificity of 99.5%, positive predictability of 95.2% and negative predictability of 98.3%. The evaluation of current immunity statuses of tetanus patients is available for TQS checkup, and it has an advantage of preventing side effects coming from the injection of unnecessary vaccine and immunoglobulin, and it is thought that it can give help to emergency checkup and treatment at the beginning.

실내 공간 형상화를 위한 아이디어 표현 방법에 관한 연구 (A Study on Presentation Methods for Formation Ideas of Interior Spaces)

  • 이종란
    • 한국디지털건축인테리어학회논문집
    • /
    • 제6권2호
    • /
    • pp.17-23
    • /
    • 2006
  • The purpose of this study was to investigate how student felt the strengths and shortness of presentation methods for formation of interior spaces. For this study, the process of the interior architecture design class was divided into three stages: the programming. the design development, and the design completion. In the design development stage, students used presentation methods: hand sketch, scale model, computer modeling, and virtual realty. The strengths of hand sketch was that quick expression. Models provided three-dimensional feelings. Computer modelling provide realistic color and texture. Virtual reality provided three-dimensional immersion and real scale. It is effective that students collect brain storm images using quick hand sketch in the beginning of design development stage. After that, they compose interior spaces in study models with small scale. Watching the models, they design details of spaces by using hand sketch and computer modelling. Using virtual reality, they can check the scale and circulation. Finally, they complete computer modelling by texture mapping and check the final design in virtual reality.

  • PDF

조명 시뮬레이션을 위한 측광데이터의 생성과 적용 (A Study on the Generation and Application of Photometric Data for Lighting Simulation)

  • 홍승대
    • 한국디지털건축인테리어학회논문집
    • /
    • 제6권2호
    • /
    • pp.25-30
    • /
    • 2006
  • The purpose of this study was to investigate how student felt the strengths and shortness of presentation methods for formation of interior spaces. For this study, the process of the interior architecture design class was divided into three stages: the programming. the design development, and the design completion. In the design development stage, students used presentation methods: hand sketch, scale model, computer modeling, and virtual realty. The strengths of hand sketch was that quick expression. Models provided three-dimensional feelings. Computer modelling provide realistic color and texture. Virtual reality provided three-dimensional immersion and real scale. It is effective that students collect brain storm images using quick hand sketch in the beginning of design development stage. After that, they compose interior spaces in study models with small scale. Watching the models, they design details of spaces by using hand sketch and computer modelling. Using virtual reality, they can check the scale and circulation. Finally, they complete computer modelling by texture mapping and check the final design in virtual reality.

  • PDF

산업사진측량을 이용한 항공기 얼라인먼트 정밀측정 (Precision Measurement for Aircraft Alignment using Industrial Photogrammetry)

  • 정성혁;이재기
    • 한국항공우주학회지
    • /
    • 제33권6호
    • /
    • pp.57-63
    • /
    • 2005
  • 높은 정확도와 빠른 측정기술의 필요성 증가는 산업사진측량에 대한 관심을 갖게 되었다. 본 연구에서 산업사진측량기술을 O-2A항공기의 정밀 측정에 적용하였다. 항공기의 정확한 설계데이터 없이 항공기의 check point를 이용하여 얼라인먼트를 측정하였고, 동체의 변형상태 조사는 Pro-Spot 시스템으로 수행하였다.

Selection-based Low-cost Check Node Operation for Extended Min-Sum Algorithm

  • Park, Kyeongbin;Chung, Ki-Seok
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제15권2호
    • /
    • pp.485-499
    • /
    • 2021
  • Although non-binary low-density parity-check (NB-LDPC) codes have better error-correction capability than that of binary LDPC codes, their decoding complexity is significantly higher. Therefore, it is crucial to reduce the decoding complexity of NB-LDPC while maintaining their error-correction capability to adopt them for various applications. The extended min-sum (EMS) algorithm is widely used for decoding NB-LDPC codes, and it reduces the complexity of check node (CN) operations via message truncation. Herein, we propose a low-cost CN processing method to reduce the complexity of CN operations, which take most of the decoding time. Unlike existing studies on low complexity CN operations, the proposed method employs quick selection algorithm, thereby reducing the hardware complexity and CN operation time. The experimental results show that the proposed selection-based CN operation is more than three times faster and achieves better error-correction performance than the conventional EMS algorithm.

QUICK-LOOK TEST OF KOMPSAT-2 FOR IMAGE CHAIN VERIFICATION

  • Lee Eung-Shik;Jung Dae-Jun;Lee Seung-Hoon
    • 대한원격탐사학회:학술대회논문집
    • /
    • 대한원격탐사학회 2005년도 Proceedings of ISRS 2005
    • /
    • pp.509-511
    • /
    • 2005
  • KOMPSAT -2 equipped with an optical telescope(MSC) will be launched in this year. It can take images of the earth with push-broom scanning at altitude 685Km. Its resolution is 1m in panchromatic channel with a swath width of 15 km After the MSC is tested and the performance is measured at instrument level, it is installed on satellite. The image passes through the electro-optical system, compression and storage unit and fmally downlink sub-systems. This integration procedure necessitates the functional test of all subsystems participating in the image chain. The objective of functional test at satellite level(Quick Look test) is to check the functionality of image chain by real target image. Collimated moving image is input to the EOS in order to simulate the operational environments as if KOMPSAT -2 is being operated in orbit. The image chain from EOS to data downlink subsystem will be verified through Quick Look test. This paper explains the Quick Look test of KOMPSAT -2 and compares the taken images with collimated input ones.

  • PDF

Characterization of one Time-Sequential Stereoscopic 3D Display - Part II: Quick Characterization Using Homogeneity Measurements -

  • Pierre, Boher;Thierry, Leroux;Collomb-Patton, Veronique
    • Journal of Information Display
    • /
    • 제11권2호
    • /
    • pp.63-67
    • /
    • 2010
  • In these authors’ previous paper, it was shown that grey-level stability is one of the main drawbacks of the time-sequential stereoscopic 3D display. In the present study, it was demonstrated that a videoluminance meter can be used to rapidly and easily check the quality of such display. A dedicated pattern was applied to simultaneously check the effect of the grey level on the other eye and the effect of the temporal synchronization. The results were compared with those provided by a temporal model of the display, which was obtained by measuring its temporal behavior. The visual impact of the grey-level instabilities was precisely quantified, and they were found to be a major source of imperfections for the aforementioned display.

Hydroxyapatite Cement(MimixTM)와 격자틀을 이용한 전두부 재건술 (Forehead Reconstruction with Hydroxyapatite Cement(MimixTM) and the Check Framework)

  • 조현우;박병윤
    • Archives of Plastic Surgery
    • /
    • 제35권2호
    • /
    • pp.219-222
    • /
    • 2008
  • Purpose: The purpose of this study is to develop hydroxyapatite cement simplified procedures for reconstruction of craniofacial deformities. Due to its expense and characteristics of quick hardening time, it may be inappropriate for forehead reconstruction or augmentation. Therefore we hear by introduce a more precise, easy and cheap method. The authors report forehead reconstruction with hydroxyapatite cement for a patient who suffered from craniofacial deformity. Methods: Case report and literature review. Results: A 35 year old man came to us with forehead and temporal area depression. He had a history of brain operations due to traumatic epidural hematoma. A physical exam showed an evidence of right side forehead weakness sign. Authors made RP model of his skull and applied check framework with Kirschner's wires for measuring accurate volume and contour on the depressed right side forehead area on the RP model. After complete exposure of defect area by bicoronary insicion, absorbable plate which applied on skull area was removed. Using three Kirschner's wires, authors made check framework on the right forehead lively and fixed with 2-hole miniplates on the boundary of the defect. After checking asymmetry, hydroxyapatite was applied on check shape framework just above Kirschner's wire. After removing Kirschner's wire, we corrected minimal unbalance and contour with bur. Conclusion: Check framework with Kirschner's wire was very convenient and cost saving methods for forehead reconstruction with hydroxyapatite cement.

재무지표를 이용한 병원경영성과 유형화 방안 (The applicability of financial indices as a measure of managerial performance of general hospitals)

  • 류규수
    • 보건행정학회지
    • /
    • 제6권1호
    • /
    • pp.191-210
    • /
    • 1996
  • This study purported to acquire information necessary to improve the operational efficiency of general hospitals. It tried to determine major indices which represent managerial performance of general hospitals and to identify the managerial characteristics of general hospital which affect the major financial indices. 201 hospitals which were subject to standardization audit by the Korean Hospital Association were investigated and 80 hospitals were finally chosen for this study. Their financial and managerial data during the period between January 1991 and December 1991 were collected. Considering financial indices in this study were the ration of net income to total asset, income growth rate, and quick ration. The results of study are summarized as followings. First. The ration of net income to total assets and quick ration were highly related to managerial characteristics of general hospitals. Therefore, the standardization of three financial indices should be needed to systematically check the operational efficiency of general hospitals. Second, the sample hospitals can be classified as four groups on the basis of their financial indices' level. 4 of those hospitals(5.0%) showed high level of performance in terms of three financial indices and 27 of them(33.7%) showed that they are highly related to only two financial indices. 34 hospitals(42.5%) showed they have high level of relationship with only one indices and 15 hospitals(18.8%) showed very weak performance level with three indices. In addition, there is no hospitals to show mid-range level of managerial performance in relation to all three financial indices. Third, there is no significant relationship between three financial indices and the managerial characteristics of hospitals such as the number of beds, type of operation, location of hospitals, and etc. However, in the case of hospitals which have high level of managerial performance, they have more specialists and medical support personnel in comparison to low performance hospitals. They also have high level of bed occupancy rate and average length of stay(ALOS). In conclusion, the study showed the standardization of 3 financial indices are necessary to systematically evaluate the managerial performance of general hospitals and provide more accurate operational information for each hospital. To do so, it is necessary to focus on management side of hospital such as the effective human resource management and quality enhancement of medical treatment.

  • PDF