• Title/Summary/Keyword: alternative proof

Search Result 77, Processing Time 0.027 seconds

A novel wafer-level-packaging scheme using solder (쏠더를 이용한 웨이퍼 레벨 실장 기술)

  • 이은성;김운배;송인상;문창렬;김현철;전국진
    • Journal of the Semiconductor & Display Technology
    • /
    • v.3 no.3
    • /
    • pp.5-9
    • /
    • 2004
  • A new wafer level packaging scheme is presented as an alternative to MEMS package. The proof-of-concept structure is fabricated and evaluated to confirm the feasibility of the idea for MEMS wafer level packaging. The scheme of this work is developed using an electroplated tin (Sn) solder. The critical difference over conventional ones is that wafers are laterally bonded by solder reflow after LEGO-like assembly. This lateral bonding scheme has merits basically in morphological insensitivity and its better bonding strength over conventional ones and also enables not only the hermetic sealing but also its electrical interconnection solving an open-circuit problem by notching through via-hole. The bonding strength of the lateral bonding is over 30 Mpa as evaluated under shear and the hermeticity of the encapsulation is 2.0$\times10^{-9}$mbar.$l$/sec as examined by pressurized Helium leak rate. Results show that the new scheme is feasible and could be an alternative method for high yield wafer level packaging.

  • PDF

A Review of Plugging Limit for Steam Generator Tubes in Nuclear Power Plants (원전 증기발생기 전열관 관막음 한계 고찰)

  • Kang, Yong Seok;Lee, Kuk Hee
    • Transactions of the Korean Society of Pressure Vessels and Piping
    • /
    • v.16 no.2
    • /
    • pp.10-17
    • /
    • 2020
  • Securing the integrity of steam generator tubes is an essential requirement for safe operation of nuclear power plants. Therefore, tubes that do not satisfy integrity requirements are no longer usable and must be repaired according to the related requirements. In general, the repair criterion is that the damage depth is more than 40% of the tube wall thickness. However, the plugging limit can be changed and be applied, provided a technical proof is given that integrity can be secured against specific degradation at a specific plants and that approval can be obtained from a regulatory agency. A typical example is alternative repair criteria for defects within the tube sheet or tube support plates. In this paper, a background of establishing the plugging limit for steam generator tubes and changes in maintenance criteria are reviewed as examples.

ALGORITHMIC PROOF OF MaxMult(T) = p(T)

  • Kim, In-Jae
    • Communications of the Korean Mathematical Society
    • /
    • v.27 no.4
    • /
    • pp.665-668
    • /
    • 2012
  • For a given graph G we consider a set S(G) of all symmetric matrices A = [$a_{ij}$] whose nonzero entries are placed according to the location of the edges of the graph, i.e., for $i{\neq}j$, $a_{ij}{\neq}0$ if and only if vertex $i$ is adjacent to vertex $j$. The minimum rank mr(G) of the graph G is defined to be the smallest rank of a matrix in S(G). In general the computation of mr(G) is complicated, and so is that of the maximum multiplicity MaxMult(G) of an eigenvalue of a matrix in S(G) which is equal to $n$ - mr(G) where n is the number of vertices in G. However, for trees T, there is a recursive formula to compute MaxMult(T). In this note we show that this recursive formula for MaxMult(T) also computes the path cover number $p$(T) of the tree T. This gives an alternative proof of the interesting result, MaxMult(T) = $p$(T).

A Study on the Achievement of Required Safety Integrity Level to Reduce Risk for SMR On-Site Hydrogen Refueling Stations (개질형 On-Site 수소충전소의 리스크 감소를 위해 요구되는 SIL 등급 달성 방안에 관한 연구)

  • Lee, Jin Ho;Lim, Jae-Yong
    • Journal of the Korean Society of Safety
    • /
    • v.35 no.6
    • /
    • pp.1-8
    • /
    • 2020
  • In recent years, hydrogen has received much attention as an alternative energy source to fossil fuels. In order to ensure safety from the increasing number of hydrogen refueling stations, prevention methods have been required. In this regard, this study suggested an approach to reduce the risk of hydrogen refueling station by increasing Safety Integrity Level (SIL) for a Steam Methane Reformer (SMR) in On-Site Hydrogen Refueling Station. The worst scenario in the SMR was selected by HAZOP and the required SIL for the worst scenario was identified by LOPA. To verify the required SIL, the PFDavg.(1/RRF) of Safety Instrumented System (SIS) in SMR was calculated by using realistic failure rate data of SIS. Next, several conditions were tested by varying the sensor redundancy and proof test interval reduction and their effects on risk reduction factor were investigated. Consequently, an improved condition, which were the redundancy of two-out-of-three and the proof test interval of twelve months, achieved the tolerable risk resulting in the magnitude of risk reduction factor ten times greater than that of the baseline condition.

A Study on Quality Characteristic and Stability Improvement of Vibration-Proof Polyurethane Mat (방진용 폴리우레탄 매트의 물리적 특성과 안정성 향상에 관한 연구)

  • Woo, Kyung-Ha;Lee, Chang-Ho
    • Journal of the Korea Safety Management & Science
    • /
    • v.21 no.1
    • /
    • pp.1-7
    • /
    • 2019
  • Along with industrial development, various architectural structures have become bigger and higher, leading to an expansion in the size and capacity of construction equipment. And with the development of public transportation, the use of subways as a means of transportation in the city center is increasing, so that vibrations and structural noises are emerging as a new environmental issue. Considering that architectural structures may be used from several decades to hundreds of years after the time of construction, they can be seen as semi-permanent. Due to changes in the vibration-proof polyurethane mats installed in the foundation of these structures, settling may occur and vibration reduction may become inadequate. Therefore, in view of service life, it is necessary to have a high-level standard of reliability and stability. In accordance with this, the Floating Floor System, which uses soft polyurethane foam and can be constructed within a relatively short period of time, has excellent vibration resistant characteristics. It is presented as a great alternative solution to the issue of vibrations caused by subways, railways and building structures. At present, vibration-proof polyurethane mats have been developed up to the same product level as in other advanced countries. However, in the construction of structure foundations, the physical properties of this product and its shape incur changes. If they are installed as such in the structure of a building, it may cause significant impact on stability, requiring that this cause be urgently identified and improved.

Secure De-identification and Data Sovereignty Management of Decentralized SSI using Restructured ZKP (재구성된 영지식 증명을 활용한 탈중앙형 자기 주권 신원의 안전한 비식별화 및 데이터 주권 관리)

  • Cho, Kang-Woo;Jeon, Mi-Hyeon;Shin, Sang Uk
    • Journal of Digital Convergence
    • /
    • v.19 no.8
    • /
    • pp.205-217
    • /
    • 2021
  • Decentralized SSI(Self Sovereign Identity) has become an alternative to a new digital identity solution, but an efficient de-identification technique has not been proposed due to the unique algorithmic characteristics of data transactions. In this study, to ensure the decentralized operation of SSI, we propose a de-identification technique that does not remove identifiers by restructuring the verification results of ZKP (Zero Knowledge Proof) into a form that can be provided to the outside by the verifier. In addition, it is possible to provide restructured de-identification data without the consent of data subject by proposing the concept of differential sovereignty management for each entity participating in verification. As a result, the proposed model satisfies the domestic personal information protection law in a decnetralized SSI, in addition provides secure and efficient de-identification processing and sovereignty management.

SPATIAL BEHAVIOR OF SOLUTION FOR THE STOKES FLOW EQUATION

  • Liu, Yan;Liao, Wenhui;Lin, Changhao
    • Bulletin of the Korean Mathematical Society
    • /
    • v.48 no.2
    • /
    • pp.397-412
    • /
    • 2011
  • In this paper, the equation of the transient Stokes flow of an incompressible viscous fluid is studied. Growth and decay estimates are established associating some appropriate cross sectional line and area integral measures. The method of the proof is based on a first-order differential inequality leading to an alternative of Phragm$\'{e}$n-Lindell$\"{o} $f type in terms of an area measure of the amplitude in question. In the case of decay, we also indicate how to bound the total energy.

Collocated Wearable Interaction for Audio Book Application on Smartwatch and Hearables

  • Yoon, Hyoseok;Son, Jangmi
    • Journal of Multimedia Information System
    • /
    • v.7 no.2
    • /
    • pp.107-114
    • /
    • 2020
  • This paper proposes a wearable audio book application using two wearable devices, a smartwatch and a hearables. We review requirements of what could be a killer wearable application and design our application based on these elicited requirements. To distinguish our application, we present 7 scenarios and introduce several wearable interaction modalities. To show feasibility of our approach, we design and implement our proof-of-concept prototype on Android emulator as well as on a commercial smartwatch. We thoroughly address how different interaction modalities are designed and implemented in the Android platform. Lastly, we show latency of the multi-modal and alternative interaction modalities that can be gracefully handled in wearable audio application use cases.

Reconceptualization of Histo-Genetic Principle (역사발생적 원리의 재개념화)

  • Yoo, Yoon Jae
    • Journal for History of Mathematics
    • /
    • v.26 no.5_6
    • /
    • pp.389-400
    • /
    • 2013
  • The article makes a discussion to conceptualize a histo-genetic principle in the real historical view point. The classical histo-genetic principle appeared in 19th century was founded by the recapitulation law suggested by biologist Haeckel, but recently it was shown that the theory on it is no longer true. To establish the alternative rationale, several metaphoric characterizations from the history of mathematics are suggested: among them, problem solving, transition of conceptual knowledge to procedural knowledge, generalization, abstraction, circulation from phenomenon to substance, encapsulation to algebraic representation, change of epistemological view, formation of algorithm, conjecture-proof-refutation, swing between theory and application, and so on.

UNIMODULAR ROOTS OF RECIPROCAL LITTLEWOOD POLYNOMIALS

  • Drungilas, Paulius
    • Journal of the Korean Mathematical Society
    • /
    • v.45 no.3
    • /
    • pp.835-840
    • /
    • 2008
  • The main result of this paper shows that every reciprocal Littlewood polynomial, one with {-1, 1} coefficients, of odd degree at least 7 has at least five unimodular roots, and every reciprocal Little-wood polynomial of even degree at least 14 has at least four unimodular roots, thus improving the result of Mukunda. We also give a sketch of alternative proof of the well-known theorem characterizing Pisot numbers whose minimal polynomials are in $$A_N=\{[{X^d+ \sum\limits^{d-1}_{k=0} a_k\;X^k{\in} \mathbb{Z}[X]\;:\;a_k={\pm}N,\;0{\leqslant}k{\leqslant}d-1}\}$$ for positive integer $N{\geqslant}2$.