• Title/Summary/Keyword: Consistency Verification

Search Result 147, Processing Time 0.028 seconds

Implementation of Integrated CPU-GPU for Efficient Uniform Memory Access Method and Verification System (CPU-GPU간 긴밀성을 위한 효율적인 공유메모리 접근 방법과 검증 시스템 구현)

  • Park, Hyun-moon;Kwon, Jinsan;Hwang, Tae-ho;Kim, Dong-Sun
    • IEMEK Journal of Embedded Systems and Applications
    • /
    • v.11 no.2
    • /
    • pp.57-65
    • /
    • 2016
  • In this paper, we propose a system for efficient use of shared memory between CPU and GPU. The system, called Fusion Architecture, assures consistency of the shared memory and minimizes cache misses that frequently occurs on Heterogeneous System Architecture or Unified Virtual Memory based systems. It also maximizes the performance for memory intensive jobs by efficient allocation of GPU cores. To test between architectures on various scenarios, we introduce the Fusion Architecture Analyzer, which compares OpenMP, OpenCL, CUDA, and the proposed architecture in terms of memory overhead and process time. As a result, Proposed fusion architectures show that the Fusion Architecture runs benchmarks 55% faster and reduces memory overheads by 220% in average.

Discharge Coefficient of flow through Gate piers (수문을 통한 흐름의 유량계수 분석)

  • 김채수;남선우
    • Water for future
    • /
    • v.22 no.1
    • /
    • pp.91-98
    • /
    • 1989
  • This study was aimed to determine a discharge coefficient of flow through gate piers. The coefficient was Calbrated with water stage data observed during 1984 to 1987 at the Young San Estuary Dam. The coefficient is the function of the dimensionless parameters combined with the difference between up and down stream water level to down stream water depth ratio and water surface draw down ratio. From the verification with existing methods and actual drainages, drainages predicted by the relationship have the most consistency with the actual drainages, also Matthai's method can be used within the proposed condition originally.

  • PDF

Verification on the Relationship of Sport Commitment and re-participation intension in Marine Sports Participant (해양스포츠 동호인의 운동몰입과 재참여의도의 관계 검증)

  • BAE, Sung-Woo
    • Journal of Fisheries and Marine Sciences Education
    • /
    • v.28 no.2
    • /
    • pp.603-610
    • /
    • 2016
  • The purpose of this research is to define the relationship of sport commitment and re-participation intension in marine sports participant. For the purposes of this study, yachting, windsurfing, scuba diving, and mariner sports canoe total of 200 targets the participants involved in the survey. The results of exploratory factor analysis and reliability analysis to analyze the construct validity and internal consistency were found to comply with the standard. Therefore, as a result of the correlation and regression analysis to analyze the relationship between the sport commitment and re-participation intension, the correlation between each variable and showed a positive correlation. Also, cognitive behavioral commitment and engagement of the sport commitment of marine sports enthusiasts was found on both the positive effect on the re-participation intension. As a result, the sport commitment turned out to be an important factor immersed in marine sports participation. In addition, it is believed to be on ways to increase positive emotions in empirical terms.

Successful ERP Operations: Process Integration Perspectives and an Agent-Based Support System

  • Park, Kwangho
    • Proceedings of the KAIS Fall Conference
    • /
    • 2003.11a
    • /
    • pp.19-27
    • /
    • 2003
  • Any ERP system pushes a company toward full process integration and solves the fragmentation of information. However, the tight process integration can propagate and magnify mistakes made in one department into the other departments in real time. Thus, it can be posited that a central support system for the coordination can help ERP users and administrators dig out problems, take care of tedious validation and verification, and maintain process integration of ERP with great consistency. This paper ,proposes an agent-based ERP operations support system (EOSS) that aims at achieving and maintaining process integration of ERP at the highest level possible. With EOSS, the process integrity is monitored, with anomalies prevented as early as possible and repaired as precisely as possible.

  • PDF

A Document-Driven Method for Certifying Scientific Computing Software for Use in Nuclear Safety Analysis

  • Smith, W. Spencer;Koothoor, Nirmitha
    • Nuclear Engineering and Technology
    • /
    • v.48 no.2
    • /
    • pp.404-418
    • /
    • 2016
  • This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

Study of Validity and Reliability of the Korean Translation Version of the Sensory Processing and Self-Regulation Checklist (SPSRC) (한글판 감각처리 및 자기조절 체크리스트(SPSRC)의 타당도와 신뢰도 연구)

  • Kim, Ye-Eun;Lee, Hye-Rim;Lee, Sun-Min
    • The Journal of Korean Academy of Sensory Integration
    • /
    • v.21 no.3
    • /
    • pp.27-38
    • /
    • 2023
  • Objective : This study aims to verify the validity and reliability of the Korean version of the Sensory Processing and Self-Regulation Checklist (SPSRC) for children with and without autism spectrum disorder. Methods : The Pearson product-moment correlation coefficient was calculated using Short Sensory Profile (SSP) to verify concurrent validity. Construct validity was verified by comparing the sensory processing ability and self-regulation ability of the two groups. Cronbach's α was calculated in the case of internal consistency for reliability verification, and the test-retest reliability was verified through the Pearson correlation coefficient. Results : Based on the verification of the concurrent validity, the Korean version of SPSRC and SSP showed a statistically significant correlation (p < 0.01). The construct validity was found to have a statistically significant difference between the two groups in the area and sub-items of the Korean version of SPSRC (p < 0.001). For the internal consistency, Cronbach's α ranged from 0.700 to 0.975. The test-retest reliability showed that the correlation coefficient ranged from 0.937 to 0.997. Conclusion : The Korean version of SPSRC was confirmed to be an evaluation tool with high validity and reliability. It is expected to be used as an evaluation tool for planning treatment goals in clinical trials and as a meaningful basis for future research.

Verification on Validity of Teacher Efficacy Scale in Home Economics Teachers (가정과교사의 교사 효능감 측정도구 타당도 검증)

  • Kim Yu-Jeong
    • Journal of Korean Home Economics Education Association
    • /
    • v.17 no.2
    • /
    • pp.129-143
    • /
    • 2005
  • The purpose of this study was to verify the validity of Ohio State Teacher Efficacy Scale(OSTES: Tschannen-Moran, 2000) when used with Korean home economics teachers. To achieve this purposes, the surveys with 263 secondary school home economics teachers was conducted by the prime investigator. Statistical procedures included descriptive statistics, factor analysis, internal consistency. Cronbach's a was calculated to test the reliability of items and their internal consistency and Exploratory Factor Analysis(EFA) was conducted to test the structure of each factors with principal analysis and varimax rotation. Confirmatory Factor Analysis(CFA) was conducted to test the factor validity of this scale with AMOS program. The reliability test result of 20 items appeared Cronbach's a=.86. The factor analysis on teacher efficacy with 263 survey of secondary school home economics teachers produced 5 factors including efficacy in classroom management. efficacy in needs assistance, efficacy in instructional strategies, efficacy in environmental assistance and efficacy in teaming assistance. The validity of teacher efficacy scale was moderately verified by the confirmatory factor analyses(GFI=.87, AGFI=.84. CFI=.86. PNFI=.72, RMR=.05. RMSEA=.07). The results lend a support to the teacher efficacy scale as a valid instrument.

  • PDF

Ground-Motion Prediction Equations based on refined data for dynamic time-history analysis

  • Moghaddam, Salar Arian;Ghafory-Ashtiany, Mohsen;Soghrat, Mohammadreza
    • Earthquakes and Structures
    • /
    • v.11 no.5
    • /
    • pp.779-807
    • /
    • 2016
  • Ground Motion Prediction Equations (GMPEs) are essential tools in seismic hazard analysis. With the introduction of probabilistic approaches for the estimation of seismic response of structures, also known as, performance based earthquake engineering framework; new tasks are defined for response spectrum such as the reference criterion for effective structure-specific selection of ground motions for nonlinear time history analysis. One of the recent efforts to introduce a high quality databank of ground motions besides the corresponding selection scheme based on the broadband spectral consistency is the development of SIMBAD (Selected Input Motions for displacement-Based Assessment and Design), which is designed to improve the reliability of spectral values at all natural periods by removing noise with modern proposed approaches. In this paper, a new global GMPE is proposed by using selected ground motions from SIMBAD to improve the reliability of computed spectral shape indicators. To determine regression coefficients, 204 pairs of horizontal components from 35 earthquakes with magnitude ranging from Mw 5 to Mw 7.1 and epicentral distances lower than 40 km selected from SIMBAD are used. The proposed equation is compared with similar models both qualitatively and quantitatively. After the verification of model by several goodness-of-fit measures, the epsilon values as the spectral shape indicator are computed and the validity of available prediction equations for correlation of the pairs of epsilon values is examined. General consistency between predictions by new model and others, especially, in short periods is confirmed, while, at longer periods, there are meaningful differences between normalized residuals and correlation coefficients between pairs of them estimated by new model and those are computed by other empirical equations. A simple collapse assessment example indicate possible improvement in the correlation between collapse capacity and spectral shape indicators (${\varepsilon}$) up to 20% by selection of a more applicable GMPE for calculation of ${\varepsilon}$.

Verification of the Reliability and Validity of the Short Form 36 Scale in Indonesian Middle-aged and Older Adults

  • Arovah, Novita Intan;Heesch, Kristiann C.
    • Journal of Preventive Medicine and Public Health
    • /
    • v.53 no.3
    • /
    • pp.180-188
    • /
    • 2020
  • Objectives: The Short Form 36 (SF-36) questionnaire is increasingly being used to measure health-related quality of life (HRQoL) in Indonesia. However, evidence that it is valid for use in Indonesian adults is lacking. This study assessed the validity and reliability of the SF-36 in Indonesian middle-aged and older adults. Methods: Adults aged 46-81 years (n=206) in Yogyakarta, Indonesia completed the SF-36, another measure of HRQoL (the EuroQoL visual analogue scale [EQ-VAS]), and measures assessing their demographic characteristics. Fifty-four percent (n=121) completed the SF-36 measure again 1 week later. Confirmatory factor analysis was conducted to confirm the factor structure of the SF-36. Internal consistency reliability was estimated using Cronbach's alpha, and test-retest reliability was assessed using intraclass correlations. Convergent and discriminant validity were assessed by computing correlations among SF-36 subscales, between subscales and the 2 component scores, and between component scores and EQ-VAS scores. Results: Most scaling assumptions were met. The hypothetical factor structure fit the data poorly (root mean square error of approximation [RMSEA]=0.108) and modification was required for a good fit (RMSEA=0.060). Scores on all subscales demonstrated acceptable internal consistency (α>0.70) and test-retest reliability (r>0.70). Divergent validity was supported by weak to moderate interscale correlations (r=0.19 to 0.64). As expected, the 2 summary scores were moderately to strongly correlated with the EQ-VAS (r>0.60). Conclusions: The findings adequately support the use of SF-36 in Indonesian middle-aged and older adults, although the optimal algorithm for computing component scores in Indonesia warrants further investigation.

Human Error Probability Determination in Blasting Process of Ore Mine Using a Hybrid of HEART and Best-Worst Methods

  • Aliabadi, Mostafa Mirzaei;Mohammadfam, Iraj;Soltanian, Ali Reza;Najafi, Kamran
    • Safety and Health at Work
    • /
    • v.13 no.3
    • /
    • pp.326-335
    • /
    • 2022
  • Background: One of the important actions for enhancing human reliability in any industry is assessing human error probability (HEP). The HEART technique is a robust tool for calculating HEP in various industries. The traditional HEART has some weaknesses due to expert judgment. For these reasons, a hybrid model is presented in this study to integrate HEART with Best-Worst Method. Materials Method: In this study, the blasting process in an iron ore mine was investigated as a case study. The proposed HEART-BWM was used to increase the sensitivity of APOA calculation. Then the HEP was calculated using conventional HEART formula. A consistency ratio was calculated using BWM. Finally, for verification of the HEART-BWM, HEP calculation was done by traditional HEART and HEART-BWM. Results: In the view of determined HEPs, the results showed that the mean of HEP in the blasting of the iron ore process was 2.57E-01. Checking the full blast of all the holes after the blasting sub-task was the most dangerous task due to the highest HEP value, and it was found 9.646E-01. On the other side, obtaining a permit to receive and transport materials was the most reliable task, and the HEP was 8.54E-04. Conclusion: The results showed a good consistency for the proposed technique. Comparing the two techniques confirmed that the BWM makes the traditional HEART faster and more reliable by performing the basic comparisons.