Slack-Decode Simultaneously and Redundantly Threaded （SD-SRT） is proposed for detecting transient faults in processors. SD-SRT boosts the previously proposed SRT performance via definitely eliminating redundant inst...Slack-Decode Simultaneously and Redundantly Threaded （SD-SRT） is proposed for detecting transient faults in processors. SD-SRT boosts the previously proposed SRT performance via definitely eliminating redundant instructiou fetches. First, the fetch stage is moved out of the Spheres of Replication （SoR）, and a unified instruction-fetch-queue （IFQ） is exploited by both the leading and trailing threads. Second, a scheme called slack-decode cooperates with the unified IFQ to harmonize proceeding of the two threads. The simulations show that SD-SRT outperforms original SRT in terms of IPC by 15%, and decreases I-cache access by 42%. Meanwhile, SD-SRT leads to a lessened size and complexity for hardware structures such as load-value-queue and store-buffer.展开更多
In the quotient space theory of granular computing,the universe structure is assumed to be a topology,therefore,its application is still limited.In this study,based on the quotient space model,the universe structure i...In the quotient space theory of granular computing,the universe structure is assumed to be a topology,therefore,its application is still limited.In this study,based on the quotient space model,the universe structure is assumed as an algebra instead of a topology.As to obtain the algebraic quotient operator,the granulation must be uniquely determined by a congruence relation,and all the congruence relations form a complete semi-order lattice,which is the theoretical basis of granularities ' completeness.When the given equivalence relation is not a congruence relation,it defines the concepts of upper quotient and lower quotient,and discusses some of their properties which demonstrate that falsity preserving principle and truth preserving principle are still valid.Finally,it presents the algorithms and example of upper quotient and lower quotient.The work extends the quotient space theory from structure,and provides theoretical basis for the combination of the quotient space theory and the algebra theory.展开更多
A normal orthodox semigroup is an orthodox semigroup whose idempotent elements form a normal band. We deal with congruences on a normal orthodox semigroup with an inverse transversal. A structure theorem for such semi...A normal orthodox semigroup is an orthodox semigroup whose idempotent elements form a normal band. We deal with congruences on a normal orthodox semigroup with an inverse transversal. A structure theorem for such semigroup is obtained. Munn(1966) gave a fundamental inverse semigroup. Following Munn's idea, we give a fundamental normal orthodox semigroup with an inverse transversal.展开更多
文摘Slack-Decode Simultaneously and Redundantly Threaded （SD-SRT） is proposed for detecting transient faults in processors. SD-SRT boosts the previously proposed SRT performance via definitely eliminating redundant instructiou fetches. First, the fetch stage is moved out of the Spheres of Replication （SoR）, and a unified instruction-fetch-queue （IFQ） is exploited by both the leading and trailing threads. Second, a scheme called slack-decode cooperates with the unified IFQ to harmonize proceeding of the two threads. The simulations show that SD-SRT outperforms original SRT in terms of IPC by 15%, and decreases I-cache access by 42%. Meanwhile, SD-SRT leads to a lessened size and complexity for hardware structures such as load-value-queue and store-buffer.
基金Supported by the National Natural Science Foundation of China(No.61173052)the Natural Science Foundation of Hunan Province(No.14JJ4007)
文摘In the quotient space theory of granular computing,the universe structure is assumed to be a topology,therefore,its application is still limited.In this study,based on the quotient space model,the universe structure is assumed as an algebra instead of a topology.As to obtain the algebraic quotient operator,the granulation must be uniquely determined by a congruence relation,and all the congruence relations form a complete semi-order lattice,which is the theoretical basis of granularities ' completeness.When the given equivalence relation is not a congruence relation,it defines the concepts of upper quotient and lower quotient,and discusses some of their properties which demonstrate that falsity preserving principle and truth preserving principle are still valid.Finally,it presents the algorithms and example of upper quotient and lower quotient.The work extends the quotient space theory from structure,and provides theoretical basis for the combination of the quotient space theory and the algebra theory.
文摘A normal orthodox semigroup is an orthodox semigroup whose idempotent elements form a normal band. We deal with congruences on a normal orthodox semigroup with an inverse transversal. A structure theorem for such semigroup is obtained. Munn(1966) gave a fundamental inverse semigroup. Following Munn's idea, we give a fundamental normal orthodox semigroup with an inverse transversal.
