• Title/Summary/Keyword: Fact Verification

Search Result 138, Processing Time 0.023 seconds

An Evaluation of Selective Grounding Fault Protective Relaying Technique Performance on the Ungrounded DC Traction Power Supply System (도시철도 직류 비접지 급전계통에서의 선택 지락보호시스템의 성능평가)

  • Jung, Hosung;Kim, Joouk;Shin, Seongkuen;Kim, Hyungchul;An, Taepung;Yun, Junseok
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.61 no.12
    • /
    • pp.1964-1969
    • /
    • 2012
  • This paper presents to verify the selective grounding fault protective relaying technique for the ungrounded DC traction power supply system. This system selectively blocks fault section when grounding fault occurred. In order to perform this verification, field test facilities have been installed on Oesam substation and Worldcup-Stadium substation, and field test process has been suggested. Also, selective grounding fault protective relaying components and rail voltage reduction device have been tested with the various trial examinations. In order to compare and evaluate performance of the selective grounding fault protective relaying function, field test system was modeled and the system fault simulation results were compared and evaluated with the field test result. Performance of selective grounding fault protective relaying function was evaluated with the above-mentioned process, and the fact that the system recognizes fault section irrespective of insulation between rail and ground and fault resistance from grounding fault.

Exploiting Thread-Level Parallelism in Lockstep Execution by Partially Duplicating a Single Pipeline

  • Oh, Jaeg-Eun;Hwang, Seok-Joong;Nguyen, Huong Giang;Kim, A-Reum;Kim, Seon-Wook;Kim, Chul-Woo;Kim, Jong-Kook
    • ETRI Journal
    • /
    • v.30 no.4
    • /
    • pp.576-586
    • /
    • 2008
  • In most parallel loops of embedded applications, every iteration executes the exact same sequence of instructions while manipulating different data. This fact motivates a new compiler-hardware orchestrated execution framework in which all parallel threads share one fetch unit and one decode unit but have their own execution, memory, and write-back units. This resource sharing enables parallel threads to execute in lockstep with minimal hardware extension and compiler support. Our proposed architecture, called multithreaded lockstep execution processor (MLEP), is a compromise between the single-instruction multiple-data (SIMD) and symmetric multithreading/chip multiprocessor (SMT/CMP) solutions. The proposed approach is more favorable than a typical SIMD execution in terms of degree of parallelism, range of applicability, and code generation, and can save more power and chip area than the SMT/CMP approach without significant performance degradation. For the architecture verification, we extend a commercial 32-bit embedded core AE32000C and synthesize it on Xilinx FPGA. Compared to the original architecture, our approach is 13.5% faster with a 2-way MLEP and 33.7% faster with a 4-way MLEP in EEMBC benchmarks which are automatically parallelized by the Intel compiler.

  • PDF

The perception and wearing attitude toward school uniform by group according to clothing attitude - Focusing on high school students -

  • Kim, Ju Ae
    • The Research Journal of the Costume Culture
    • /
    • v.22 no.6
    • /
    • pp.899-910
    • /
    • 2014
  • The purpose of this study was to analyze high school students' school uniform wearing attitude by group according to clothing attitude targeting Gyeongnam area. This study aims to provide preliminary data in the field of school uniform and marketing that clothing propensity by groups is considered. This study conducted a survey targeting 762 high school students in Gyeongnam. For statistical analysis, SPSS for Window 14.0 was used for frequency analysis, factor analysis, reliability analysis, multiple sponse analysis, cluster analysis, ANOVA analysis and Duncan's ex-post analysis method. As a result of cluster analysis on the clothing attitude, students were divided into 4 segmentation of fashion seeking group, fashion indifference group, conformity group and modesty group. As a result of verification on the difference in perception toward wearing school uniform by groups which were classified according to the propensity of clothing attitude, activity, stability, and practicality were all varied according to the propensity of clothing attitude. 4 groups were significant differences in the degree of consent to wearing school uniform, price of school uniforms, tendency to prefer famous brand when purchasing school uniform, experience of transforming school uniform, opinion about school uniform modification and reason for school uniform modification. While low graders were many in 'modesty group', upper graders were many in 'fashion seeking group', which means that more segmentalized satisfaction of clothing by group may be raised if such a fact is considered when planning clothing for high school students segmentalized by age.

Analysis of the Impact on Changes in Residential Communities through Urban Regeneration with Art Programs - Focused on Cheong-ju Sajik 2-dong - (예술매개 도시재생 프로그램이 주거공동체 의식 변화에 미치는 영향력 분석 - 청주시 사직2동을 중심으로 -)

  • Choi, Min-Gyeong;Hwang, Hee-Yun;Kwon, Jeong-Ju
    • Journal of the Korean housing association
    • /
    • v.23 no.4
    • /
    • pp.69-76
    • /
    • 2012
  • This study conducted an analysis of importance levels and also an AHP analysis based on the results of the monitoring (from Aug 2011 through Feb 2012) carried out in the Sajik 2-dong in the City of Cheong-ju. By quantitatively eliciting the effects that the urban regeneration projects that use art programs have on the changes in the perception of community housings and by analyzing the results of objective verification, this study was able to ascertain that local resident festivals had the greatest impacts on the change in the perception of community housings in the Sajik 2-dong in the City of Cheong-ju. This is deemed to be attributable to the fact that programs such as local resident festivals, in which various age groups participated, - amidst the unmitigated circumstance of Sajik 2-dong in the City of Cheong-ju (conflicts among the residents on account of redevelopment project) - exerted significant influences in the perceptional change of the community and in the resolution of conflicts.

Studying the effects of CFRP and GFRP sheets on the strengthening of self-compacting RC girders

  • Mazloom, Moosa;Mehrvand, Morteza;Pourhaji, Pardis;Savaripour, Azim
    • Structural Monitoring and Maintenance
    • /
    • v.6 no.1
    • /
    • pp.47-66
    • /
    • 2019
  • One method of retrofitting concrete structures is to use fiber reinforced polymers (FRP). In this research, the shear, torsional and flexural strengthening of self-compacting reinforced concrete (RC) girders are fulfilled with glass fiber reinforced polymer (GFRP) and carbon fiber reinforced polymer (CFRP) materials. At first, for verification, the experimental results were compared with numerical modeling results obtained from ABAQUS software version 6.10. Then the reinforcing sheets were attached to concrete girders in one and two layers. Studying numerical results obtained from ABAQUS software showed that the girders stiffness decreased with the propagations of cracks in them, and then the extra stresses were tolerated by adhesive layers and GFRP and CFRP sheets, which resulted in increasing the bearing capacity of the studied girders. In fact, shear, torsion and bending strengths of the girders increased by reinforcing girders with adding GFRP and CFRP sheets. The samples including two layers of CFRP had the maximum efficiencies that were 90, 76 and 60 percent of improvement in shear, torsion and bending strengths, respectively. It is worth noting that the bearing capacity of concrete girders with adding one layer of CFRP was slightly higher than the ones having two layers of GFRP in all circumstances; therefore, despite the lower initial cost of GFRP, using CFRP can be more economical in some conditions.

ON CHOWLA'S HYPOTHESIS IMPLYING THAT L(s, χ) > 0 FOR s > 0 FOR REAL CHARACTERS χ

  • Stephane R., Louboutin
    • Bulletin of the Korean Mathematical Society
    • /
    • v.60 no.1
    • /
    • pp.1-22
    • /
    • 2023
  • Let L(s, χ) be the Dirichlet L-series associated with an f-periodic complex function χ. Let P(X) ∈ ℂ[X]. We give an expression for ∑fn=1 χ(n)P(n) as a linear combination of the L(-n, χ)'s for 0 ≤ n < deg P(X). We deduce some consequences pertaining to the Chowla hypothesis implying that L(s, χ) > 0 for s > 0 for real Dirichlet characters χ. To date no extended numerical computation on this hypothesis is available. In fact by a result of R. C. Baker and H. L. Montgomery we know that it does not hold for almost all fundamental discriminants. Our present numerical computation shows that surprisingly it holds true for at least 65% of the real, even and primitive Dirichlet characters of conductors less than 106. We also show that a generalized Chowla hypothesis holds true for at least 72% of the real, even and primitive Dirichlet characters of conductors less than 106. Since checking this generalized Chowla's hypothesis is easy to program and relies only on exact computation with rational integers, we do think that it should be part of any numerical computation verifying that L(s, χ) > 0 for s > 0 for real Dirichlet characters χ. To date, this verification for real, even and primitive Dirichlet characters has been done only for conductors less than 2·105.

Propagation behaviors of guided waves in graphene platelet reinforced metal foam plates

  • Wubin Shan;Hao Zhong;Nannan Zhang;Guilin She
    • Geomechanics and Engineering
    • /
    • v.35 no.6
    • /
    • pp.637-646
    • /
    • 2023
  • At present, the research on wave propagation in graphene platelet reinforced composite plates focuses on the propagation behavior of bulk waves, in which the effect of boundary condition is ignored, there is no literature report on propagation behaviors of guided waves in graphene platelet reinforced metal foams (GPLRMF) plates. In fact, wave propagation is affected by boundary conditions, so it is necessary to study the propagation characteristics of guided waves. The aim of this paper is to solve this problem. The effective performance of the material was calculated using the mixing law. Equations of motion of GPLRMF plate is derived by using Hamilton's principle. Then, the eigenvalue method is used to obtain the expressions of bending wave, shear wave and longitudinal wave, and the degradation verification is carried out. Finally, the effects of graphene platelets (GPLs) volume fraction, elastic foundation, porosity coefficient, GPLs distribution types and porosity distribution types on the dispersion relations are studied. We find that these factors play an important role in the propagation characteristics and phase velocity of guided waves.

Analysis of the History of the Game Based on the Historical Facts - Focusing on the game "The Mythology of a Thousand Years" - (역사 사실을 기반으로 한 게임의 역사 사실성 분석 -게임 천년의 신화를 중심으로-)

  • Choi, Min-Seok;Lee, Dong-Yeop
    • Journal of Digital Convergence
    • /
    • v.15 no.6
    • /
    • pp.361-368
    • /
    • 2017
  • Recently, the historical displeasure of celebrities caused a problem that the people were scolded by the people. On the other hand, people's historical consciousness is rising for a series of broadcasts organized by a famous entertainment program. We are now in the idea of our country people like this in history when history will not be left unsaid thing about realism. Inmates because there is a powerful force that is, that media is the 'immersion' players are interested more in the game, it is important to do it. Therefore, the history of games are made based on players to attract attention and interest or historical fact and to make a feature of the game and character.Does not occur to production. So correct history can have a sense of history the players are in fact this study, based on the development called an 'the mythology of the millennium' in 'hq team', manufactured. Choose the game. Scenario is based on thorough historical facts of the game 'the mythology of the millennium' authority order to conduct verification of the historians made it. These production process to appear in the game 'King Gwanggaeto,', 'Geunchogo of Baekje' and 'muyeorwang' design and comparative analysis to the historical facts.

A Study on Follow-up Survey Methodology to Verify the Effectiveness of (<인생나눔교실> 사업의 효과 검증을 위한 추적 조사 방법론 연구 - 2017~2018년도 영상추적조사를 중심으로 -)

  • Lee, Dong Eun
    • Korean Association of Arts Management
    • /
    • no.53
    • /
    • pp.207-247
    • /
    • 2020
  • is a project for the senior generation with humanistic knowledge to become a mentor and communicate with them to present the wisdom and direction of life to the new generations of mentees based on various life experiences. has been expanding since 2015, starting with the pilot operation in 2014. In general, projects such as these are assessed to establish effectiveness indicators to verify effectiveness and to establish project management and development strategies. However, most of the evaluations have been conducted quantitatively and qualitatively based on the short-term duration of the project. Therefore, in the case of continuous projects such as , especially in the field of culture and arts where long-term effectiveness verification is required, the short-term evaluation is difficult to predict and judge the actual meaningful effects. In this regard, tried to examine the qualitative change of key participants in this project through the 2017 and 2018 image tracking survey. For this purpose, we adopted qualitative research methodology through interview video shooting, field shooting, and value coding as a research method suitable for the research subject. To analyze the results, first, the interview images were transcribed, keywords were extracted, value encoding works were matched with human psychological values, and the theoretical method was used to identify changes and to derive the meaning. In fact, despite the fact that the study conducted in this study was a follow-up survey, it remained a limitation that it analyzed the changed pattern in a rather short time of 2 years. However, this study systemized the specific methodology that researchers should conduct for follow-up and provided the flow of research at the present time when there is hardly a model for follow-up in the field of culture and arts education business in Korea as well as abroad. Significance can be derived from this point. In addition, it can be said that it has great significance in preparing the detailed system and case of comparative analysis methodology through value coding.

The Effects of the Export Insurance on the Exports of Big and Small-Medium Businesses (수출보험의 대기업 및 중소기업 수출지원에 대한 효과분석)

  • Lee, Seo-Young
    • International Commerce and Information Review
    • /
    • v.13 no.3
    • /
    • pp.377-401
    • /
    • 2011
  • Under the WTO system, direct export support system that provides financial and tax related support is altogether prohibited. This presented an obstacle in strengthening competitiveness of Korean export business and in increasing exports continuously. One of the methods used to solve this problem was to actively leverage export insurance. In Korea, export insurance services have been conducted by the Korea Trade Insurance Corporation (k-sure) to promote export. Korea has been among the world's active users of the export insurance system. Given this situation, this paper examines the effectiveness of the Korea export insurance system in the promotion of export. In particular, this study analyzed about discriminating effects of the export insurance on the export of big and small-medium business. In order to analyze, We introduce a Export Supply Function model. In this paper, We construct two model. The one is about big business, the other is small-medium business. For empirical analysis, unit-root test was conducted to understand the safety of time series. The results show that all variables are not I(0) time series. Instead, they are I(1) time series. To this, cointegration verification was conducted based on the use of Johansen verification method to define the existence (or non-existence) of long-term balance relationship among variables. The results come out as follows. The export insurance of big business has a stronger effect on export than that of small-medium business. The cause of these results is due to the distinct structure of Korea industries. In view of the fact that the insurance can make the risk decreased. We can say that the export insurance affects the export of a high-risk country.

  • PDF