• Kyungpook Mathematical Journal
• /
• 제64권1호
• /
• pp.15-30
• /
• 2024

In this paper, we focus on partial isometry elements and strongly EP elements on a ring. We construct characterizing equations such that an element which is both group invertible and MP-invertible, is a partial isometry element, or is strongly EP, exactly when these equations have a solution in a given set. In particular, an element a ∈ R^# ∩ R^† is a partial isometry element if and only if the equation x = x(a^†)^*a^† has at least one solution in {a, a#, a^†, a^*, (a^#)^*, (a^†)^*}. An element a ∈ R^#∩R^† is a strongly EP element if and only if the equation (a^†)^*xa^† = xa^†a has at least one solution in {a, a^#, a^†, a^*, (a^#)^*, (a^†)^*}. These characterizations extend many well-known results.

• 한국항행학회논문지
• /
• 제24권4호
• /
• pp.314-321
• /
• 2020

LASAR (logic automated stimulus and response) 소프트웨어는 디지털 전자 회로 카드에 대한 로직 기능시험 및 고장검출을 위한 자동점검프로그램 개발도구이다. LASAR 소프트웨어는 소자의 논리회로 기능 및 입·출력 정의된 정보가 필요하다. 소자 정보가 없으면 정상적인 부품 모델링이 불가능하다. 따라서 본 논문에서는 소자 정보가 없는 PLD (programmable logic device) 소자를 역설계 방법을 통하여 부품 모델링을 수행한다. 개발된 LASAR 프로그램은 고장 시뮬레이션 결과와 단일 고착 고장삽입 방법을 통해 고장 검출율을 확인하였다. 고장 검출율은 기존의 제한적인 모델링은 91%, 역설계를 통한 모델링은 94%로 3% 상승하였다. 또한, EP 310 PLD 소자에 대한 입·출력핀에 대한 22가지 고착결함의 경우 100% 검출하여 양호한 성능을 확인하였다.