Effective communication among autonomous agents is crucial for coordination and solving complex tasks within multi-agent systems. To formalize interactions between agents, social accessibility relations are often util...
详细信息
Effective communication among autonomous agents is crucial for coordination and solving complex tasks within multi-agent systems. To formalize interactions between agents, social accessibility relations are often utilized. Current research employs model checking algorithms to verificate social commitment properties in multi-agent systems. In fuzzy multi-agent systems, direct quantification and computation of commitment attributes pose challenges. This paper introduces an indirect fuzzy model checking algorithm designed to convert social commitments in uncertain scenarios into quantifiable attributes for verification. Firstly, we propose a fuzzy communicative interpreted system model to represent multi-agent systems with uncertain communication. We then improve fuzzy computation tree logic by adding modalities for commitments and fulfillment, resulting in a fuzzy computation tree logic with commitments for describing system properties related to commitments. A fuzzy model checking algorithm is subsequently presented. This algorithm converts the task of model checking fuzzy computation tree logic with commitments based on fuzzy interpreted systems into model checking fuzzy computation tree logic based on fuzzy Kripke structures. We conclude by providing proofs of correctness and complexity analysis of our algorithm. Furthermore, we demonstrate the effectiveness of our approach for model checking social commitments under fuzzy conditions through simulation experiments on an online shopping system.
Background: There are significant number of tests used to determine the level of antibodies to SARS-CoV-2 which differ both in the methods underlying testing and in the antigenic targets used and classes of measured i...
详细信息
Background: There are significant number of tests used to determine the level of antibodies to SARS-CoV-2 which differ both in the methods underlying testing and in the antigenic targets used and classes of measured immunoglobulins. Comparison of the results obtained using various tests reveals their significant discrepancy when converted to the WHO recommended standard unit for measuring the level of specific immunoglobulins BAU/mL. The aim of this study is a comparison of anty-SARS-CoV-2 IgG levels, measured using test systems based on different methodological platforms - EuroImmun assay and Abbott assay. Method: Abbott uses the immunochemiluminescence method CLIA, EuroImmun uses the enzyme immunoassay method ELISA. The dependences of the measurement error on the level of antibodies for the two test systems were approximated by power functions using the least squares method. The nonlinear relation of antibody levels values measured by Abbott assay and Euroimmun assay was approximated by an asymptotic function. Results: The study involved 112 people. Our results confirm the fallacy of using a single conversion coefficient in BAU/mL for anti-SARS-CoV-2 IgG levels measured by Abbott and EuroImmun. To describe the interdependence of anti-SARS-CoV-2 IgG Abbott and EuroImmun levels, we offer the function y = 18/pi arctan(0.0009x) and a calculator that allows to easily recalculate the results obtained using these tests. Conclusion: The non-linear nature of the interdependence of the measured anti-SARS-CoV-2 antibodies levels on the levels magnitude is one of the main reasons for the discrepancy between the tests results when converted to BAU/mL using a single conversion coefficient.
The problem of giving an algorithmic specification of the semantics of identifier denotation and block structure in Algol 60 is investigated. To facilitate the statement of the algorithms, a set of “canonical identif...
详细信息
This paper describes Reconfigurable Routing and Switching Platform Management System by Unified Modeling Language model, and then gives the transformation description for the conversion from an UML model with fork and...
详细信息
This paper describes Reconfigurable Routing and Switching Platform Management System by Unified Modeling Language model, and then gives the transformation description for the conversion from an UML model with fork and joint nodes in UML Activity diagrams into a Queuing Network model. We can simplify the Queuing Network model by analyzing the system, from which we can get performance parameters of the model in the software design phases by solving the simplified model. Finally, we implement and test the actual system to validate the algorithm and model. The result proves that our algorithm and model are right.
暂无评论