مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Version

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

View:

269
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Download:

87
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Cites:

1

Information Journal Paper

Title

APPLICATIONS OF FUZZY PROGRAM GRAPH IN SYMBOLIC CHECKING OF FUZZY FLIP-FLOPS

Pages

  27-36

Abstract

 All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore FUZZY FLIP-FLOPs are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimate fuzzy computer then fuzzy circuitry is inevitable. In this research field, hardware realization of fuzzy negation, t-norms and t-conorms have been well studied in details meanwhile no formal model is introduced for more complex fuzzy circuitry such as combinational circuits, sequential circuits or memory modules. The lack of a formal model checker indicates flaws and design deficiencies are usually remain out of sight therefore validating fuzzy logic circuits was impossible to this date. In this paper we are elaborating the application of FUZZY PROGRAM GRAPH in symbolic checking of FUZZY FLIP-FLOPs, thus, the content is mainly focused on formal modelling of FUZZY FLIP-FLOPs and investigating their correctness. To this purpose we investigated design deficiencies of a multivalued D flip-flop and found a dynamic hazard then we proposed a formal model toward fuzzy J-K flip-flops to further elaborate applications of proposed formal model and model checking approach in detecting design phase deficiencies.

Cites

References

  • No record.

    • Cite

    APA: Copy

    SOTOODEH, GHOLAMREZA, & MOVAGHAR, ALI. (2014). APPLICATIONS OF FUZZY PROGRAM GRAPH IN SYMBOLIC CHECKING OF FUZZY FLIP-FLOPS. JOURNAL OF COMPUTER AND ROBOTICS, 7(1), 27-36. SID. https://sid.ir/paper/698305/en

    Vancouver: Copy

    SOTOODEH GHOLAMREZA, MOVAGHAR ALI. APPLICATIONS OF FUZZY PROGRAM GRAPH IN SYMBOLIC CHECKING OF FUZZY FLIP-FLOPS. JOURNAL OF COMPUTER AND ROBOTICS[Internet]. 2014;7(1):27-36. Available from: https://sid.ir/paper/698305/en

    IEEE: Copy

    GHOLAMREZA SOTOODEH, and ALI MOVAGHAR, “APPLICATIONS OF FUZZY PROGRAM GRAPH IN SYMBOLIC CHECKING OF FUZZY FLIP-FLOPS,” JOURNAL OF COMPUTER AND ROBOTICS, vol. 7, no. 1, pp. 27–36, 2014, [Online]. Available: https://sid.ir/paper/698305/en

    Related Journal Papers

  • No record.

    • Related Seminar Papers

  • No record.

    • Related Plans

  • No record.

    • Recommended Workshops






    Move to top
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button