The purpose of this paper is to introduce the notion of fuzzy iterated contraction maps in fuzzy metric spaces and establish some new fixed point theorems for fuzzy iterated contraction maps in fuzzy metric spaces.
In 1975, Kramosil and Michalek [1] first introduced the concept of a fuzzy metric space. In 1994, George and Veeramani [2] slightly modified the concept of fuzzy metric space introduced by Kramosil and Michalek, defin...In 1975, Kramosil and Michalek [1] first introduced the concept of a fuzzy metric space. In 1994, George and Veeramani [2] slightly modified the concept of fuzzy metric space introduced by Kramosil and Michalek, defined a Hausdorff topology and proved some known results. In 1969, Rheinboldt [3] initiated the study of iterated contraction. The concept of iterated contraction proves to be very useful in the study of certain iterative process and has wide applicability in metric spaces. In this paper we introduce the notion of fuzzy iterated contraction maps in fuzzy metric spaces and establish some fixed point theorems for fuzzy iterated contraction maps in fuzzy metric spaces.展开更多
In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A Systematic Introduction” (Sp...In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A Systematic Introduction” (Springer-Verlag, New York, 1998) in the framework of fuzziness. In order to define fuzzy operations, i.e., fuzzy logic connectives, we take into account implicator → and its associated based on residuated lattice theory. Based on these basic fuzzy operations, we introduce the angelic and demonic updates of fuzzy relations. They are the basis of fuzzy predicate transformers in the sense of that any strongly monotone fuzzy predicate transformer can be represented as the sequential composition of the angelic and demonic updates. Together with the standard strong negation , we set up the duality between the angel and demon. The fuzzy predicate transformers semantics of contract statements is established and a simple example of contract statements is given.展开更多
Life Cycle Tracking(LCT)involves continuous monitoring and analy-sis of various activities associated with a vehicle.The crucial factor in the LCT is to ensure the validity of gathered data as numerous supply chain ph...Life Cycle Tracking(LCT)involves continuous monitoring and analy-sis of various activities associated with a vehicle.The crucial factor in the LCT is to ensure the validity of gathered data as numerous supply chain phases are involved and the data is assessed by multiple stakeholders.Frauds and swindling activities can be prevented if the history of the vehicles is made available to the interested parties.Blockchain provides a way of enforcing trustworthiness to the supply chain participants and the data associated with the various actions per-formed.Machine learning techniques when combined decentralized nature of blockchains can be used to develop a robust Vehicle LCT model.In the proposed work,Harmonic Optimized Gradient Descent andŁukasiewicz Fuzzy(HOGD-LF)Vehicle Life Cycle Tracking in Cloud Environment is proposed and it involves three stages.First,the Progressive Harmonic Optimized User Registra-tion and Authentication model is designed for computationally efficient registra-tion and authentication.Next,for the authentic user,the Gradient Descent Blockchain-based SVM Data Encryption model is designed with minimum CPU utilization.Finally,Łukasiewicz Fuzzy Smart Contract Verification is per-formed with encrypted data to ensure accurate and precise fraudulent activity deduction.The experimental analysis shows that the proposed method achieves significant performance in terms of life cycle’s prediction time,overhead,and accuracy for a different number of users.展开更多
文摘The purpose of this paper is to introduce the notion of fuzzy iterated contraction maps in fuzzy metric spaces and establish some new fixed point theorems for fuzzy iterated contraction maps in fuzzy metric spaces.
文摘In 1975, Kramosil and Michalek [1] first introduced the concept of a fuzzy metric space. In 1994, George and Veeramani [2] slightly modified the concept of fuzzy metric space introduced by Kramosil and Michalek, defined a Hausdorff topology and proved some known results. In 1969, Rheinboldt [3] initiated the study of iterated contraction. The concept of iterated contraction proves to be very useful in the study of certain iterative process and has wide applicability in metric spaces. In this paper we introduce the notion of fuzzy iterated contraction maps in fuzzy metric spaces and establish some fixed point theorems for fuzzy iterated contraction maps in fuzzy metric spaces.
文摘In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A Systematic Introduction” (Springer-Verlag, New York, 1998) in the framework of fuzziness. In order to define fuzzy operations, i.e., fuzzy logic connectives, we take into account implicator → and its associated based on residuated lattice theory. Based on these basic fuzzy operations, we introduce the angelic and demonic updates of fuzzy relations. They are the basis of fuzzy predicate transformers in the sense of that any strongly monotone fuzzy predicate transformer can be represented as the sequential composition of the angelic and demonic updates. Together with the standard strong negation , we set up the duality between the angel and demon. The fuzzy predicate transformers semantics of contract statements is established and a simple example of contract statements is given.
基金The authors wish to express their sincere thanks to the Department of Science&Technology,New Delhi,India(Project ID:SR/FST/ETI-371/2014)express their sincere thanks to the INSPIRE fellowship(DST/INSPIRE Fellowship/2016/IF160837)for their financial support.The authors also thank SASTRA Deemed to be University,Thanjavur,India for extending the infrastructural support to carry out this work.
文摘Life Cycle Tracking(LCT)involves continuous monitoring and analy-sis of various activities associated with a vehicle.The crucial factor in the LCT is to ensure the validity of gathered data as numerous supply chain phases are involved and the data is assessed by multiple stakeholders.Frauds and swindling activities can be prevented if the history of the vehicles is made available to the interested parties.Blockchain provides a way of enforcing trustworthiness to the supply chain participants and the data associated with the various actions per-formed.Machine learning techniques when combined decentralized nature of blockchains can be used to develop a robust Vehicle LCT model.In the proposed work,Harmonic Optimized Gradient Descent andŁukasiewicz Fuzzy(HOGD-LF)Vehicle Life Cycle Tracking in Cloud Environment is proposed and it involves three stages.First,the Progressive Harmonic Optimized User Registra-tion and Authentication model is designed for computationally efficient registra-tion and authentication.Next,for the authentic user,the Gradient Descent Blockchain-based SVM Data Encryption model is designed with minimum CPU utilization.Finally,Łukasiewicz Fuzzy Smart Contract Verification is per-formed with encrypted data to ensure accurate and precise fraudulent activity deduction.The experimental analysis shows that the proposed method achieves significant performance in terms of life cycle’s prediction time,overhead,and accuracy for a different number of users.
