• Kyungpook Mathematical Journal
• /
• v.64 no.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.

• Journal of Advanced Navigation Technology
• /
• v.24 no.4
• /
• pp.314-321
• /
• 2020

Logic automated stimulus and response (LASAR) software is an automatic test program development tool for logic function test and fault detection of avionics components digital circuit cards. LASAR software needs to the information for the logic circuit function and input and output of the device. If there is no component information, normal component modeling is impossible. In this paper, component modeling is carried out through reverse design of programmable logic device (PLD) device without element information. The developed LASAR program identified failure detection rates through fault simulation results and single-seated fault insertion methods. Fault detection rates have risen by 3% to 91% for existing limited modeling and 94% for modeling through the reverse design. Also, the 22 case of stuck fault with the I/O pin of EP310 PLD were detected 100% to confirm the good performance.