Facultatea de Matematică şi Informatică / Faculty of Methematics and Informatics
Permanent URI for this communityhttps://msuir.usm.md/handle/123456789/12
Browse
75 results
Search Results
Item MACHINE GUESSING, PIGEON SUPERSTITION AND TRUST IN AI(CEP USM, 2020) Alvarado, RamónIn this paper I argue that the predictive prowess of artificial intelligence methods, such as machine learning, is not sufficient as an epistemic warrant for us to allocate trust in them. This is because of two reasons: 1) they are opaque in ways that other methodology is not and 2) they fail in ways that other methodology does not. In order to motivate my analysis, I compare the prowess of some machine learning methodology in image recognition to the ability for pattern identification by some animals, such as pigeons, and suggest that while useful in certain practical circumstances, their success does not constitute the kinds of epistemic warrants that we should aim for in more epistemically demanding contexts such as science, medicine, and/or policy-making.Item MEDITATIONS ABOUT THE MYSTIC OF MATHEMATICAL LANGUAGE(CEP USM, 2020) Pagliacci, Mario G.R.Mathematics is the science of measurement of greatness and form. It is fundamental for trying to understand, describe and explain phenomena, especially when they are chaotic and complex. Mathematical language is not true or false for itself. It is neutral in respect of truth or falsity of the described phenomena. However, it can give a distorted representation of reality when it is utilized in not correct way, by doing conceptual forcing or large approximations. Quantitative language can suggest in inexpert minds that anything is expressed in quantitative statement is more credible than qualitative one. The mystic conception that mathematical language is synonym of truth is confuted.Item SISTEME SUPORT PENTRU DECIZII APLICATE ÎN GESTIONAREA SIGURANŢEI RUTIERE(CEP USM, 2021) Bulmaga, ViorelOdată cu utilizarea sistemelor suport pentru decizii (SSD) întru susţinerea deciziilor manageriale în cadrul organizării proceselor de producere, un rol important revine aplicării SSD în abordarea problemei privind managementul siguranţei publice sau al situaţiilor de urgenţă. A fost studiată aplicabilitatea SSD în domeniul managementului siguranţei rutiere pentru a fundamenta deciziile manageriale, în vederea optimizării raportului cost-eficienţă pe următoarele segmente: (1) Identificarea şi clasificarea sectoarelor periculoase pe arterele rutiere, determinând modul şi termenele de intervenţie în proiectarea infrastructurii rutiere pentru a reduce pericolul acestor sectoare; (2) Sprijinirea în timp real a deciziilor conducătorului de vehicul, în baza informaţiilor interne (parametrii vehiculului) şi externe (mesaje privind infrastructura rutieră), pentru a oferi avertismente sau recomandări utile cu privire la pericolele potenţiale ale mediului de conducere; (3) Evaluarea amplorii şi clasificarea situaţiilor de urgenţă în cazul accidentelor de circulaţie, pentru implicarea forţei de muncă şi a resurselor serviciilor de salvare. Urmând exemplele studiate, a fost dedusă posibilitatea aplicării unei reţele neuronale artificiale în scopul de comparare, uniformizare şi de export de date din/în tabele de date cu seturi de variabile şi valori de format diferit (definite diferit). Acest instrument permite realizarea practică a unui Sistem suport pentru decizii aplicat întru soluţionarea unei astfel de probleme nestructurate, precum exportul datelor din Sistemul informaţional automatizat „Registrul de stat al accidentelor rutiere” în formatul CADaS al Uniunii Europene.Item PARALLEL ALGORITHM TO SOLVING 2D BLOCK-CYCLIC PARTITIONED BIMATRIX GAMES(CEP USM, 2021) Hâncu, Boris; Cataranciuc, EmilThe article presents a theoretical and practical study of the ways of determining solutions in bimatrix games divided into blocks of submatrices using 2D block-cyclic matrix dividing and distribution algorithm. The proved theorems represent the foundation on which the bimatrix game solution can be built using the sub-games solutions generated by the 2D-cyclic matrix distribution algorithm.Item IDENTITIES AND GENERALIZED DERIVATIVES OF QUASIGROUPS(2022) Horosh, Grigorii; Malyutina, Nadeghda; Scerbacova, Alexandra; Shcherbacov, VictorWe associate a partial (autostrophical) identity with every generalized derivative. We research when a quasigroup that satisfies an autostrophic identity has a unit (left or/and right or/and middle).Item SOLVING THE NON-LINEAR MULTI-INDEX TRANSPORTATION PROBLEMS WITH GENETIC ALGORITHMS(2022) Pașa, TatianaIn this paper we study the non-linear multi-index transportation problem with concave cost functions. We solved thnon-linear transportation problem on a network with 5 in- dices (NTPN5I) described by sources, destinations, intermediate nodes, types of products, and types of transport, that is formulated as a non-linear transportation problem on a network with 3 indices (NTPN3I) described by arcs, types of products, and types of transport. We propose a genetic algorithm for solving the large-scale problems in reasonable amount of time, which was proven by the various tests shown in this paper. The convergence theorem of the algorithm is formulated and proved. The algorithm was implemented in Wolfram Language and tested in Wolfram Mathematica.Item MIDDLE BRUCK LOOPS AND THE TOTAL MULTIPLICATION GROUP(Springer, 2022) Drapal, Ales; Syrbu, ParascoviaLet Q be a loop. The mappings x↦ ax, x↦ xa and x↦ a/ x are denoted by La, Ra and Da, respectively. The loop is said to be middle Bruck if for all a, b∈ Q there exists c∈ Q such that DaDbDa= Dc. The right inverse of Q is the loop with operation x/ (y\ 1). It is proved that Q is middle Bruck if and only if the right inverse of Q is left Bruck (i.e., a left Bol loop in which (xy) - 1= x- 1y- 1). Middle Bruck loops are characterized in group theoretic language as transversals T to H≤ G such that ⟨ T⟩ = G, TG= T and t2= 1 for each t∈ T. Other results include the fact that if Q is a finite loop, then the total multiplication group⟨ La, Ra, Da; a∈ Q⟩ is nilpotent if and only if Q is a centrally nilpotent 2-loop, and the fact that total multiplication groups of paratopic loops are isomorphic.Item TEHNOLOGII INFORMAŢIONALE DE COMUNICARE: ÎNDRUMAR PENTRU LUCRĂRI DE LABORATOR(CEP USM, 2020) Calmîş, Elena; Braguţa, Galina; Buzatu, Radu; Leonte, Stanislav; Ţurcanu, CălinSetul de lucrări de laborator acoperă integral competenţele şi obiectivele generale prevăzute în curriculumul disciplinei TIC, elaborat în cadrul Departamentului Matematică, Facultatea de Matematică şi Informatică (USM) şi destinată studenţilor anului I, Ciclul I Licenţă, ai facultăţilor de Drept, Istorie şi Filosofie, Psihologie şi Ştiinţe ale Educaţiei, Litere, precum şi tuturor celor care doresc să se iniţieze în utilizarea TIC.Item POISSON STABLE MOTIONS AND GLOBAL ATTRACTORS OF SYMMETRIC MONOTONE NONAUTONOMOUS DYNAMICAL SYSTEMS(2022) Ceban, DavidThis paper is dedicated to the study of the problem of existence of Poisson stable (Bohr/Levitan almost periodic, almost automorphic, almost recurrent, recurrent, pseudo-periodic, pseudo-recurrent and Poisson stable) motions of symmetric monotone non-autonomous dynamical systems (NDS). It is proved that every precompact motion of such system is asymptotically Poisson stable. We give also the description of the structure of compact global attractor for monotone NDS with symmetry. We establish the main results in the framework of general non-autonomous (cocycle) dynamical systems. We apply our general results to the study of the problem of existence of different classes of Poisson stable solutions and global attractors for a chemical reaction network and nonautonomous translation-invariant difference equations.Item LIMITS OF SOLUTIONS TO THE SEMILINEAR PLATE EQUATION WITH SMALL PARAMETER(2022) Perjan, Andrei; Rusu, GalinaWe study the existence of the limits of solutions to the semilinear plate equation with boundary Dirichlet condition with a small parameter coefficient of the second order derivative in time. We establish the convergence of solutions to the perturbed problem and their derivatives in spacial variables to the corresponding solutions to the unperturbed problem as the small parameter tends to zero.