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

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

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

  • Choi, Kwang-Hoon
    • Journal of the Korea Society of Computer and Information
    • /
    • 제15권6호
    • /
    • pp.1-9
    • /
    • 2010
  • This paper proposes a test method for compliance of SMS encoder and decoder modules with 3GPP (3rd Generation Partnership Project) specification on SMS PDU (Protocol Data Unit). The existing tools have focused on providing an SMS gateway and on helping to view and edit a single SMS PDU, which rarely help to resolve the compliance test problem. The proposed compliance test method is based on an automatic generation of SMS PDUs fully compliant with the 3GPP specification by using QuickCheck library written in Haskell. By applying the proposed method to a C-based SMS encoder and decoder in Linux Mobile platform, we have found out several critical bugs such as wrong interpretation of time stamps in BCD format. The automatic SMS PDU generator is reusable in that it only depends on the 3GPP SMS specification. The QuickCheck library is also applicable for testing other network protocol data encoders and decoders, as used in this paper.

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
    • Korean Journal of Clinical Laboratory Science
    • /
    • 제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 (실내 공간 형상화를 위한 아이디어 표현 방법에 관한 연구)

  • Lee, Jong-Ran
    • Journal of The Korean Digital Architecture Interior Association
    • /
    • 제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 (조명 시뮬레이션을 위한 측광데이터의 생성과 적용)

  • Hong, Sung-De
    • Journal of The Korean Digital Architecture Interior Association
    • /
    • 제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 (산업사진측량을 이용한 항공기 얼라인먼트 정밀측정)

  • Jung, Sung-Heuk;Lee, Jae-Kee
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • 제33권6호
    • /
    • pp.57-63
    • /
    • 2005
  • According to increasing of demand for high accurate and quick measuring technology, they became to interest in industrial photogrammetry that can satisfy with this needs. This study is examined O-2A aircraft to check the application of Industrial Photogrammetry technology. To measure the aircraft alignment, the check points marked on it were used without exact aircraft design data. And to check any deformation of its external original feature, Pro-spot system has been used.

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
    • Proceedings of the KSRS Conference
    • /
    • 대한원격탐사학회 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.

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

  • Cho, Hyun Woo;Park, Beyoung Yun
    • 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 (재무지표를 이용한 병원경영성과 유형화 방안)

  • 류규수
    • Health Policy and Management
    • /
    • 제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