Application of adaptive weights to intelligent information systems: An intelligent transportation system as a case study

2011 ◽  
Vol 181 (22) ◽  
pp. 5042-5052 ◽  
Author(s):  
Chuanfei Dong ◽  
Carol S. Paty
Keyword(s):  
Information Systems ◽  
Intelligent Transportation System ◽  
Intelligent Transportation ◽  
Transportation System ◽  
Adaptive Weights ◽  
Intelligent Information Systems ◽  
Intelligent Information

An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems

2011 ◽  
pp. 287-302
Author(s):  
Leandro Dias da Silva ◽  
Elthon Allex da Silva Oliveiro ◽  
Hyggo Almeida ◽  
Angelo Perkusich
Keyword(s):  
Information Systems ◽  
Formal Method ◽  
Information Control ◽  
System Behavior ◽  
Formal Approach ◽  
Agent Based ◽  
Intelligent Information Systems ◽  
Intelligent Information ◽  
Automatic Simulation

In this chapter a formal agent based approach for the modeling and verification of intelligent information systems using Coloured Petri Nets is presented. The use of a formal method allows analysis techniques such as automatic simulation and verification, increasing the confidence on the system behavior. The agent based modelling allows separating distribution, integration and intelligent features of the system, improving model reuse, flexibility and maintenance. As a case study an intelligent information control system for parking meters price is presented.

An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems

2010 ◽  
pp. 254-268
Author(s):  
Leandro Dias da Silva ◽  
Elthon Allex da Silva Oliveira ◽  
Hyggo Almeida ◽  
Angelo Perkusich
Keyword(s):  
Information Systems ◽  
Formal Method ◽  
Information Control ◽  
System Behavior ◽  
Formal Approach ◽  
Agent Based ◽  
Intelligent Information Systems ◽  
Intelligent Information ◽  
Automatic Simulation

In this chapter a formal agent based approach for the modeling and verification of intelligent information systems using Coloured Petri Nets is presented. The use of a formal method allows analysis techniques such as automatic simulation and verification, increasing the confidence on the system behavior. The agent based modelling allows separating distribution, integration and intelligent features of the system, improving model reuse, flexibility and maintenance. As a case study an intelligent information control system for parking meters price is presented.

scholarly journals A conceptual approach to assessing the cluster potential of regions based on the use of intelligent information systems

2021 ◽  
Vol 19 (4) ◽  
pp. 693-717
Author(s):  
Irina R. RUIGA ◽  
Evgeniya S. KOVZUNOVA
Keyword(s):  
Information Systems ◽  
Policy Development ◽  
Federal District ◽  
Expert Assessment ◽  
Cluster Policy ◽  
Conceptual Approach ◽  
Intelligent Information Systems ◽  
Intelligent Information

Subject. This article discusses the role of intelligent information systems in assessing the cluster potential of regions. Objectives. The article aims to develop methodological tools to assess the cluster potential of regions applying intelligent information systems, and test them using the Siberian Federal District regions as a case study. Methods. For the study, we used econometric and expert assessment methods. Results. The article proposes a stepwise algorithm for assessing the cluster potential of regions, taking into account the appropriate methodological and mathematical apparatus. It presents a cumulative indicator of the development potential of cluster groups. Conclusions. The proposed methodological, and information and analysis tools can serve as a basis for decision-making on cluster policy development at the regional level.

Sign in / Sign up

Export Citation Format

Share Document