Informatica

This study proposes a novel method called the “Integrative Reference Point Approach (IRPA)” as an alternative method to existing MCDM methods. The basis of the newly proposed method is the satisfaction function and the reference set approach. Three different applications are performed to verify the validity of the proposed method from the perspective of optimal alternative rankings and sensitivity to changes in criteria weights. All results of comparative and sensitivity analyses show that the novel method is moderately sensitive to changes in criteria weights and compatible with other methods.

Conventional parking lots struggle to meet demand, prompting the rise of Fully Automated Parking Systems (FAPS), offering eco-friendly alternatives with advanced technology. However, operational challenges persist, especially in planning and scheduling. Real-time responsiveness necessitates dispatching rules and heuristics. This study comprehensively explores FAPS operational dynamics, assessing various rule combinations’ impact on customer wait times and system utilization. Utilizing a six-month MATLAB simulation, results favour the Nearest-Available-Slot (NAS) allocation rule coupled with First-Come-First-Served (FCFS) sequencing, emphasizing allocation’s pivotal role in system efficiency. Future research will refine allocation strategies to further optimize FAPS operational performance.

The aim of this paper is to make a proposal for a new extension of the MULTIMOORA method extended to deal with bipolar fuzzy sets. Bipolar fuzzy sets are proposed as an extension of classical fuzzy sets in order to enable solving a particular class of decision-making problems. Unlike other extensions of the fuzzy set of theory, bipolar fuzzy sets introduce a positive membership function, which denotes the satisfaction degree of the element x to the property corresponding to the bipolar-valued fuzzy set, and the negative membership function, which denotes the degree of the satisfaction of the element x to some implicit counter-property corresponding to the bipolar-valued fuzzy set. By using single-valued bipolar fuzzy numbers, the MULTIMOORA method can be more efficient for solving some specific problems whose solving requires assessment and prediction. The suitability of the proposed approach is presented through an example.

The paper deals with a simple model of the competition of two queuing systems, providing the same service. Each system may vary its service price and its service rate. The customers choose the system with less total service price, that depends on the waiting time and on the service price. The possibility for the existence of equilibrium is investigated. Simple cases are investigated analytically. It is shown that the Nash equilibrium exists in special cases only. A modification of the Stakelberg equilibrium is proposed as a model of competition with a prognosis. This prognosis helps form more stable prices and more stable strategies of competitors. The case of social economics is investigated, too. The dynamics of the competition of more realistic stochastic queuing systems is investigated by Monte Carlo simulation. The simulative analysis is realized by means of a rule-based simulation system.

The aggregate approach to the formal description, verification and simulation of computer network protocols is considered in the paper. With this approach, the offered design stages can be performed using a single mathematical scheme. The reachability analysis method and the program proof technique are viewed as methods for correctness analysis. The proposed approach for correctness analysis and model construction was used in creating the protocol analysis system PRANAS.