• Title/Summary/Keyword: software testing

Search Result 1,291, Processing Time 0.025 seconds

Detecting Shared Resource Usage Errors with Global Predicates (광역조건식에 의한 공유자원 접근오류 검색)

  • Lee, Eun-Jeong;Yun, Gi-Jung
    • Journal of KIISE:Software and Applications
    • /
    • v.26 no.12
    • /
    • pp.1445-1454
    • /
    • 1999
  • 광역 조건식의 계산은 분산 프로그램의 수행을 테스트 또는 디버깅하기 위한 방법으로 활 발히 연구되고 있다. 이제까지 주로 연구된 광역조건식은 AND 또는 OR 광역 조건식 등이 있는데, 특히 AND 광역 조건식은 분산 프로그램의 동시적 조건을 표현하는데 유용하여 효율적인 검색 알고리즘이 활발히 연구되었다. 분산프로그램의 수행오류로서 공유자원의 배타적 접근조건은 가장 중요하고 일반적인 경우라 할 수 있다. 본 논문에서는 XOR 연산을 이용하여 공유자원 프로그램의 오류 검색을 위한 광역조건식을 기술하는 방식에 대해 제안하였다. XOR 연산을 이용한 광역 조건식은 연산자 중 많아야 하나의 지역조건식만이 참일 때 전체 조건식이 참이 되는데 이러한 성질은 여러 프로세스 중 한번에 하나만이 공유자원에 배타적으로 접근할 수 있는 조건을 표현하는데 매우 유용하다. n 개의 프로세스로 이루어진 분산프로그램에서 한개의 공유자원에 대한 배타적 접근 조건을 기술하기 위해서 AND로 연결된 광역조건식을 이용하면 O(n2)개의 광역 조건식이 필요한데 반해 XOR 연산으로는 하나의 조건식으로 나타낼 수 있다. 더구나 XOR 연산을 이용한 광역조건식은 최근 소개된 겹치는 구간의 개념을 활용하면 매우 간단하게 검색할 수 있다. 본 논문에서는 겹치는 구간을 찾는 검색 알고리즘을 소개하고 증명하였다.Abstract Detecting global predicates is an useful tool for debugging and testing a distributed program. Past research has considered several restricted forms of predicates, including conjunctive or disjunctive form of predicates. Especially, conjunctive predicates have attracted main attention not only because they are useful to describe simultaneous conditions in a distributed program, but also because it is possible to find algorithms to evaluate them within reasonable time bound. Detecting errors in accessing shared resources are the most popular and important constraints of distributed programs. In this paper, we introduced an exclusive OR predicates as a model of global predicates to describe shared resource conditions in distributed programs. An exclusive OR predicate holds only when at most one operand is true, which is useful to describe mutual exclusion conditions of distributed programs where only one process should be allowed to access the shared resource at a time. One exclusive OR predicate is enough to describe mutual exclusion condition of n processes with one shared resource, while it takes O(n2) conjunctive predicates. Moreover, exclusive OR condition is easily detectable using the concept of overlapping intervals introduced by Venkatesan and Dathan. An off-line algorithm for evaluating exclusive OR global predicates is presented with a correctness proof.

TML 방법에 의한 우주환경에서의 인공위성 부품 탈기체 특성에 관한 연구

  • 정성인;박홍영;유상문;오대수;이현우;임종태
    • Bulletin of the Korean Space Science Society
    • /
    • 2003.10a
    • /
    • pp.62-62
    • /
    • 2003
  • 과학위성 1호에는 위성의 임무를 수행하기 위하여 광학계, 구조부, 및 전자부 등 여러가지 부품들이 실장되는데, 그 중 전자부의 가장 중요한 부품 중의 하나인 인쇄회로기판(Printed Circuit Board, PCB)의 우주환경에서의 특성 대해서 논의하고자 한다. Solder Resistor(Solder Mask)의 화학성분이 위성체가 작동하는 우주환경에서 위성체 임무수행 시 발생할 수 있는 out-gassing으로 인해 위성체가 본연의 임무 실패라는 결과를 초래할 수 있다 NASA 및 ESA의 Out-gassing에 관한 규정과 TRW에 의한 KOMSAT에 사용된 재료의 진공상태의 Outgassing에 관한 내용에 의하면, 재료의 진공상태와 Out-gassing은 America Society for Testing and Materials에서 제시한 ASTM E959 기준에 따라 제작된다. 일반적으로 우주 환경에서 광학계나 전자부의 원활한 동작을 위해서는 인쇄 회로 기판의 총 질량손실(Total Mass Loss, TML)은 1.00%을 넘지 말아야 하며, 휘발성 응축 질량 (Collected Volatile Condensable Mass, CVCM)은 0.1% 미만이어야 한다. Total Mass Loss(TML) 방법은 대기중에서 측정한 질량과 진공 조건에서 변화되는 질량을 측정함으로써 진공조건에서의 탈기체 특성을 측정하는 방법이다. 본 연구에서는 Solder Resistor(Solder Mask)의 탈기체 측정을 위한 진공챔버의 측정방법 및 진공 형성 과정을 기술하고 실제 과학위성1호에 장착될 시료를 예로 들어 인쇄회로기판에 입힌 Solder Resistor(Solder Mask)가 우주환경인 진공상태에서 위성체 부품의 작동 시 발생할 수 있는 탈기체되는 정도를 질량의 변화분으로 측정하여 위성체가 우주 환경에서 본연의 임무를 안전하게 수행할 있는지를 검증하였다.부분이다.다.향을 해석하고 시뮬레이션 하였다.Device Controller)는 ECU로부터 명령어를 받아서 arm 및 safe 상태에 대한 텔리 메트리 데이터를 제공한다 그리고, SAR(Solar Array Regulator)는 ECU로부터 Bypass Relay 및 ARM Relay에 관한 명령어를 받아 수행되며 그에 따른 텔리 메트리 데이터를 제공한다. 마지막으로 EPS 소프트웨어를 검증하는 EPS Software Verification을 수행하였다 전력계 소프트웨어의 설계의 검증 부분은 현재 설계 제작된 전력계 .소프트웨어의 동작 특성 이 위성 의 전체 운용개념과 연계하여 전력계 소프트웨어가 전력계 및 위성체의 요구조건을 만족시키는지를 확인하는데 있다. 전력계 운용 소프트웨어는 배터리의 충ㆍ방전을 효율적으로 관리해 3년의 임무 기간동안 위성체에 전력을 공급할 수 있도록 설계되어 있다this hot-core has a mass of 10sR1 which i:s about an order of magnitude larger those obtained by previous studies.previous studies.업순서들의 상관관계를 고려하여 보다 개선된 해를 구하기 위한 연구가 요구된다. 또한, 준비작업비용을 발생시키는 작업장의 작업순서결정에 대해서도 연구를 행하여, 보완작업비용과 준비비용을 고려한 GMMAL 작업순서문제를 해결하기 위한 연구가 수행되어야 할 것이다.로 이루어 져야 할 것이다.태를 보다 효율적으로 증진시킬 수 있는 대안이 마련되어져야 한다고 사료된다.$\ulcorner$순응$\lrcorner$의 범위를 벗어나지 않는다. 그렇기 때문에도 $\ulcorner$순응$\lrcorner$$\ulcorner$표현$\lrcorner$의 성격과 형태를 외형상으로

  • PDF

Testing The Healing Environment Conditions for Nurses with two Independent Variables: Visibility Enhancement along with Shortening the Walking Distance of the Nurses to Patient - Focused on LogWare stop sequence and space syntax for U-Shape, L- Shape and I-Shape NS-

  • Shaikh, Javaria Manzoor;Park, Jae Seung
    • KIEAE Journal
    • /
    • v.15 no.2
    • /
    • pp.19-26
    • /
    • 2015
  • Purpose: Maximizing human comfort in design of medical environments depends immensely on specialized architects particularly critical care design; the study proposes Evidence-Based Design as an apparent analog to Evidence-Based Medicine. Healthcare facility designs are substantially based on the findings of study in an effort to design environments that augment care by improving patient safety and being therapeutic. On SPSS (Statistical Package for Social Science) t-test is applied to simulate two independent variables of PDR (Pre Design-Research) and POE (Post- Occupancy Evaluation). PDR is conducted on relatively new hospital Hallym University Dongtan Sacred Heart Hospital to analyse visibility from researchers' point of view, here the ICU is arranged in I-Shape. POE is applied on Dongguk University Ilsan Hospital to simulate walking on LogWare where two NS are designed based on L- Shape and Seoul St. Mary's Hospital, The Catholic University of Korea where five NS are functional for ICU Intensive Care Unit, Surgical Intensive Care Unit (SICU), Medical Intensive Care Unit (MICU), Critical Care Unit (CCU), Korean Oriental Medical Care Unit which are mostly arranged in U-Shape, and walking pattern is recognized to be in a zigzag path. Method: T-Test is applied on two dependent communication variables: walkability and visibility, with confidence interval of 95%. This study systematically analyses the Nurse Station (NS) typo-morphology, and simulates nurse horizontal circulation, by computing round route visits to patient's bed, then estimating minimum round route on LogWare stop sequence software. The visual connectivity is measured on depth map graphs. Hence the aim is to reduce staff stress and fatigue for better patients care by minimizing staff horizontal travel time and to facilitate nurse walk path and support space distribution by increasing effectiveness in delivering care. Result: Applying visibility graph and isovist field on space syntax on I- Shape, L- Shape and U- Shape ICU (SICU, MICU and CCU) configuration, I-shape facilitated 20% more patients in linear view as they stir to rise from their beds from nurse station compared to U-shape. In conclusion, it was proved that U-Shape supply minimum walking and maximum visibility; and L shape provides just visibility as the nurse is at pivot. I shape provides panoramic view from the Nurse Station but very rigorous walking.

A Red Ginseng Internal Measurement System Using Back-Projection (Back-Projection을 활용한 홍삼 내부 측정 시스템)

  • Park, Jaeyoung;Lee, Sangjoon
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.7 no.10
    • /
    • pp.377-382
    • /
    • 2018
  • This study deals with internal state and tissue density analysis methods for red ginseng grade determination. For internal measurement of red ginseng, there have been various studies on nondestructive testing methods since the 1990s, It was difficult to grasp the most important inner hole and inside whites in the grading. So in this study, we developed a closed capturing device for infra-red illumination environment, and developed an internal measurement system that can detect the presence and diameter of inner hole and inside whites. Made devices consisted of infrared lights with a high transmission rate of red ginseng in 920 nanometer wave band, a infra-red camera and a Y axis actuator with a red ginseng automatically controlled focus on the camera. The proposed algorithm performs an auto-focus system on the Y-axis actuator to automatically adjust the sharp focus of the object according to the size and thickness. Then red ginseng is rotated $360^{\circ}$ at $1^{\circ}$ intervals and 360 total images are acquired, and reconstructed as a sinogram through Radon transform and Back-projection algorithm was performed to acquire internal images of red ginseng. As a result of the algorithm, it was possible to acquire internal cross-sectional image regardless of the thickness and shape of red ginseng. In the future, if more than 10,000 different shapes and sizes of red ginseng internal cross-sectional image are acquired and the classification criterion is applied, it can be used as a reliable automated ginseng grade automatic measurement method.

Real-Time Hybrid Testing Using a Fixed Iteration Implicit HHT Time Integration Method for a Reinforced Concrete Frame (고정반복법에 의한 암시적 HHT 시간적분법을 이용한 철근콘크리트 골조구조물의 실시간 하이브리드실험)

  • Kang, Dae-Hung;Kim, Sung-Il
    • Journal of the Earthquake Engineering Society of Korea
    • /
    • v.15 no.5
    • /
    • pp.11-24
    • /
    • 2011
  • A real-time hybrid test of a 3 story-3 bay reinforced concrete frame which is divided into numerical and physical substructure models under uniaxial earthquake excitation was run using a fixed iteration implicit HHT time integration method. The first story inner non-ductile column was selected as the physical substructure model, and uniaxial earthquake excitation was applied to the numerical model until the specimen failed due to severe damage. A finite-element analysis program, Mercury, was newly developed and optimized for a real-time hybrid test. The drift ratio based on the top horizontal displacement of the physical substructure model was compared with the result of a numerical simulation by OpenSees and the result of a shaking table test. The experiment in this paper is one of the most complex real-time hybrid tests, and the description of the hardware, algorithm and models is presented in detail. If there is an improvement in the numerical model, the evaluation of the tangent stiffness matrix of the physical substructure model in the finite element analysis program and better software to reduce the computational time of the element state determination for the force-based beam-column element, then the comparison with the results of the real-time hybrid test and the shaking table test deserves to make a recommendation. In addition, for the goal of a "Numerical simulation of the complex structures under dynamic loading", the real time hybrid test has enough merit as an alternative to dynamic experiments of large and complex structures.

Isolated Activation of the Upper Trapezius in Three Manual Muscle Testing Position : Convergence Study (세 가지 도수근력 검사 자세에서 상부 승모근의 독립적 수축 : 융합적 연구)

  • Ha, Sungmin
    • Journal of the Korea Convergence Society
    • /
    • v.11 no.1
    • /
    • pp.83-88
    • /
    • 2020
  • The purpose of this study was to investigate the optimal position among three manual muscle tested positions for upper trapezius in which to obtain an isolated upper trapezius EMG signal for the normalization of upper trapezius muscle EMG activity. A total of 28 healthy adult men participated in the experiment. The UT (upper trapezius) and LS (levator scapulae) muscle activities were measured using the TeleMyo 2400T and analyzed using MyoResearch software. The muscle activity of the US and LS was measured by performing three manual muscle test positions for the upper trapezius. The UT/LS ratio during the S-MVIC was 80.25 and was significantly higher than that during the T-MVIC (76.50; p = 0.011) and the C-MVIC (60.95; p < 0.001). And, the UT/LS ratio during the T-MVIC and was significantly higher than that during the C-MVIC (p < 0.001). Based on the results of present study, we suggest a switch from T-MVIC to S-MVIC for the independent normalization reliability of upper trapezius EMG activity. The UT muscle strength or normalization test using S-MVIC will be able to measure muscle strength or activity of UT compared to previous measurement methods.

Development of OSL Dosimetry Reader (선량 판독용 OSL 측정장치의 개발)

  • Park, Chang-Young;Chung, Ki-Soo;Lee, Jong-Duk;Chang, In-Su;Lee, Jung-Il;Kim, Jang-Lyul
    • Journal of Radiation Protection and Research
    • /
    • v.37 no.1
    • /
    • pp.10-15
    • /
    • 2012
  • Design and performance test results of a newly developed optically stimulated luminescence (OSL) measurement system are presented in this paper. Generally, different types of optical filters are used in OSL reader system to minimize the interference of the stimulation light in the OSL signal. For optically stimulation of $Al_2O_3:C$, we have arrived at an optimal combination of the filters, i.e., GG420 filter for filtering the stimulating light source, and a combined UG11 and BG39 filter at the detecting window (PMT). By using a high luminance blue LED (Luxeon V), sufficient luminous intensity could be obtained for optically stimulation. By using various control boards, the OSL reader device was successfully interfaced with a personal computer. A software was developed to deliver required commands to operate the OSL reader by using the LabView program (National Instruments, Inc.). In order to evaluate the reliability and the reproducibility of newly designed-OSL reader. Performance testing of the OSL reader was carried out for OSL efficiency, OSL decay curve and signal to noise ratio of the standard $Al_2O_3:C$ OSL material. It was found to be comparable with that of commercial Riso reader system.

Score Based Risk Assessment of Lung Cancer and its Evaluation for Bangladeshi People

  • Mukti, Roushney Fatima;Samadder, Pratul Dipta;Emran, Abdullah Al;Ahmed, Farzana;Imran, Iqbal Bin;Malaker, Anyanna;Yeasmin, Sabina
    • Asian Pacific Journal of Cancer Prevention
    • /
    • v.15 no.17
    • /
    • pp.7021-7027
    • /
    • 2014
  • Background: The problem of cancer, especially lung cancer, is very acute in Bangladesh. The present study was conducted to evaluate the risk of lung cancer among Bangladeshi people based on hereditary, socio-economic and demographic factors. Materials and Methods: This study was carried out in 208 people (patients-104, controls-104) from January 2012 to September 2013 using a structured questionnaire containing details of lung cancer risk factors including smoking, secondhand smoke, tobacco leaf intake, age, gender, family history, chronic lung diseases, radiotherapy in the chest area, diet, obesity, physical activity, alcohol consumption, occupation, education, and income. Descriptive statistics and testing of hypotheses were used for the analysis using SPSS software (version 20). Results: According to this study, lung cancer was more prevalent in males than females. Smoking was the highest risk factor (OR=9.707; RR=3.924; sensitivity=0.8872 and P<0.0001) followed by previous lung disease (asthma, tuberculosis etc.) (OR=7.095; RR=1.508; sensitivity=0.316 and P<0.0001)) for male patients. Highly cooked food (OR=2.485; RR=1.126; sensitivity=0.418 and P=0.004)) and also genetic inheritance (OR=1.93; RR=1.335; sensitivity=0.163 and P=0.138) demonstrated significant correlation with lung cancer as risk factors after these two and alcohol consumption was not prevalent. On the other hand, for female patients, tobacco leaf intake represented the highest risk (OR=2.00; RR=1.429; sensitivity= 0.667 and P=0.5603) while genetic inheritance and highly cooked food also correlate with lung cancer but not so significantly. Socioeconomic status and education level also play important roles in causing lung cancer. Some 78.5% male and 83.3% of female cancer patients were rural residents, while 58.2% lived at the margin or below the poverty line. Most male (39.8%) and female (50.0%) patients had completed only primary level education, and 27.6% male and 33.3% female patients were illiterate. Smoking was found to be more prevalent among the less educated persons. Conclusions: The results obtained in this study indicate the importance of creating awareness about lung cancer risk factors among Bangladeshi people and making appropriate access to health services for the illiterate, poor, rural people.

A Study on the Automated Compatibility Standard Test System for eBook DRM (전자책 DRM을 위한 자동화된 표준정합성 검사 시스템에 관한 연구)

  • Kim, Tae-Hyun;Kang, Ho-Gap;Ahn, Chang-Ju;Cho, Seong-Hwan
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.13 no.2
    • /
    • pp.127-136
    • /
    • 2013
  • The study of the compatibility of EPUB DRM, granted by the Korea Copyright Commission, as a CT R & D project (Project Title: The Development of the standard reference software technology for International Standard EPUB-based eBook DRM) developed standards such as profile standards for encryption digital signature and authentication certificates and standards for technical terms of rights information. In 2012, these four standards have been established as the Korean Industrial Standards under the names of 'Encryption specification for EPUB DRM,' 'the Digital signature specification for EPUB DRM,' 'the Certificate specification for EPUB DRM,' and 'Definitions of Right Terms for EPUB DRM' through the ODPF(Open Digital Standardization Forum) and the TTA(Telecommunications Technology Association). The research project also proposed standards of ebook DRM license protocols in order for the four standards to practically apply to ebook DRM compatibility. It is necessary for technology standards to require a compatibility standard test process for testing whether implementations which were developed on the basis of the standard specification, comply with standards. This study suggests an automated compatible standard test method and a test model under the ebook DRM standard technical specification.

Artificial Intelligence to forecast new nurse turnover rates in hospital (인공지능을 이용한 신규간호사 이직률 예측)

  • Choi, Ju-Hee;Park, Hye-Kyung;Park, Ji-Eun;Lee, Chang-Min;Choi, Byung-Gwan
    • Journal of the Korea Convergence Society
    • /
    • v.9 no.9
    • /
    • pp.431-440
    • /
    • 2018
  • In this study, authors predicted probability of resignation of newly employed nurses using TensorFlow, an open source software library for numerical computation and machine learning developed by Google, and suggested strategic human resources management plan. Data of 1,018 nurses who resigned between 2010 and 2017 in single university hospital were collected. After the order of data were randomly shuffled, 80% of total data were used for machine leaning and the remaining data were used for testing purpose. We utilized multiple neural network with one input layer, one output layer and 3 hidden layers. The machine-learning algorithm correctly predicted for 88.7% of resignation of nursing staff with in one year of employment and 79.8% of that within 3 years of employment. Most of resigned nurses were in their late 20s and 30s. Leading causes of resignation were marriage, childbirth, childcare and personal affairs. However, the most common cause of resignation of nursing staff with in one year of employment were maladaptation to the work and problems in interpersonal relationship.