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 notion of general backlash is introduced where instead of the straight lines determining the upward and downward parts of backlash characteristic general curves are considered. An analytic form of general backlash characteristic description is proposed, which is based on appropriate switching and internal functions. Consequently, this multi-valued mapping is represented by one difference equation. All the parameters in the equation describing this hard nonlinearity are separated; hence the general backlash identification can be solved as a quasi-linear problem using an iterative parameter estimation method with internal variable estimation. Also the identification of cascaded systems consisting of a general input backlash followed by a linear dynamic system is presented. Simulation studies of general backlash identification and that of cascaded systems with general input backlash are included.

The concentration of a substrate in a solution can be measured using amperometric signals of biosensors: in fact the maximum (steady state) current is measured which is calibrated in the units of concentration. Such a simple method is not applicable in the case of several substrates. In the present paper, the problem of evaluation of concentrations of several substrates is tackled by minimizing the discrepancy between the observed and modeled transition processes of the amperometric signal.

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.