Matches in SemOpenAlex for { <https://semopenalex.org/work/W2956883802> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2956883802 abstract "The high computational complexity of qualitative analysis problems requires the development of software and tools for its solution using parallel computations and service-oriented access to the resources of high-performance computing environments. We offer a new implementation technology of Boolean constraints method for the qualitative research of binary dynamic system functioning on a finite time interval. According to this method, the satisfiability verification of dynamic system properties is reduced to solving the Boolean satisfiability problem or quantified Boolean formula problem. Offered technology is based on a decentralized multi-agent approach to managing the construction and study of Boolean models of dynamic properties in a distributed computational network. Microservices-based software for models constructing and studying are installed on dedicated computational nodes. The agents associated with installation nodes, run these microservices. Local agent's knowledge base stores information about their neighborhoods. The discrete event-driven agent's behavior model provides decentralized control based on direct peer-to-peer interactions of agents. Using this approach, we developed a multiagent system automating the constructing a dynamic property model and parallel solving the Boolean satisfiability problem and quantified Boolean formula problem. The results of computational experiments confirmed the effectiveness of the developed software based on the proposed technology." @default.
- W2956883802 created "2019-07-23" @default.
- W2956883802 creator A5013452416 @default.
- W2956883802 creator A5048472412 @default.
- W2956883802 date "2019-05-01" @default.
- W2956883802 modified "2023-09-26" @default.
- W2956883802 title "Multiagent Technology for Parallel Implementation of Boolean Constraint Method for Qualitative Analysis of Binary Dynamic Systems" @default.
- W2956883802 cites W1574947639 @default.
- W2956883802 cites W1833452641 @default.
- W2956883802 cites W2103454055 @default.
- W2956883802 cites W2103723044 @default.
- W2956883802 cites W2117523590 @default.
- W2956883802 cites W2127316022 @default.
- W2956883802 cites W2166214692 @default.
- W2956883802 cites W2189084874 @default.
- W2956883802 cites W2566415304 @default.
- W2956883802 cites W2809849443 @default.
- W2956883802 cites W2810168957 @default.
- W2956883802 cites W2896204969 @default.
- W2956883802 cites W2066636176 @default.
- W2956883802 doi "https://doi.org/10.23919/mipro.2019.8757154" @default.
- W2956883802 hasPublicationYear "2019" @default.
- W2956883802 type Work @default.
- W2956883802 sameAs 2956883802 @default.
- W2956883802 citedByCount "4" @default.
- W2956883802 countsByYear W29568838022020 @default.
- W2956883802 countsByYear W29568838022021 @default.
- W2956883802 crossrefType "proceedings-article" @default.
- W2956883802 hasAuthorship W2956883802A5013452416 @default.
- W2956883802 hasAuthorship W2956883802A5048472412 @default.
- W2956883802 hasConcept C120314980 @default.
- W2956883802 hasConcept C154945302 @default.
- W2956883802 hasConcept C168773769 @default.
- W2956883802 hasConcept C199622910 @default.
- W2956883802 hasConcept C41008148 @default.
- W2956883802 hasConcept C49937458 @default.
- W2956883802 hasConcept C6943359 @default.
- W2956883802 hasConcept C80444323 @default.
- W2956883802 hasConceptScore W2956883802C120314980 @default.
- W2956883802 hasConceptScore W2956883802C154945302 @default.
- W2956883802 hasConceptScore W2956883802C168773769 @default.
- W2956883802 hasConceptScore W2956883802C199622910 @default.
- W2956883802 hasConceptScore W2956883802C41008148 @default.
- W2956883802 hasConceptScore W2956883802C49937458 @default.
- W2956883802 hasConceptScore W2956883802C6943359 @default.
- W2956883802 hasConceptScore W2956883802C80444323 @default.
- W2956883802 hasLocation W29568838021 @default.
- W2956883802 hasOpenAccess W2956883802 @default.
- W2956883802 hasPrimaryLocation W29568838021 @default.
- W2956883802 hasRelatedWork W107769611 @default.
- W2956883802 hasRelatedWork W1574821669 @default.
- W2956883802 hasRelatedWork W1829552092 @default.
- W2956883802 hasRelatedWork W1995511639 @default.
- W2956883802 hasRelatedWork W2031853804 @default.
- W2956883802 hasRelatedWork W2039930599 @default.
- W2956883802 hasRelatedWork W2061590884 @default.
- W2956883802 hasRelatedWork W2109768059 @default.
- W2956883802 hasRelatedWork W2111935954 @default.
- W2956883802 hasRelatedWork W2114079627 @default.
- W2956883802 hasRelatedWork W2131176046 @default.
- W2956883802 hasRelatedWork W2137277749 @default.
- W2956883802 hasRelatedWork W2137313863 @default.
- W2956883802 hasRelatedWork W2169586608 @default.
- W2956883802 hasRelatedWork W2170701417 @default.
- W2956883802 hasRelatedWork W2295527795 @default.
- W2956883802 hasRelatedWork W2398663978 @default.
- W2956883802 hasRelatedWork W2534810200 @default.
- W2956883802 hasRelatedWork W2885070057 @default.
- W2956883802 hasRelatedWork W2981684209 @default.
- W2956883802 isParatext "false" @default.
- W2956883802 isRetracted "false" @default.
- W2956883802 magId "2956883802" @default.
- W2956883802 workType "article" @default.