Maison / Accès / Modèles spatiaux de terrain. Classification des types de modélisation. modèles dynamiques. Exemples de construction de modèles dynamiques Modèles spatiaux et dynamiques

Modèles spatiaux de terrain. Classification des types de modélisation. modèles dynamiques. Exemples de construction de modèles dynamiques Modèles spatiaux et dynamiques

Jusqu'à récemment, les facteurs géographiques qui ont un impact significatif sur la propagation des maladies ont été relativement peu étudiés. La validité de l'hypothèse d'un mélange homogène de la population dans une petite ville ou un village a longtemps été remise en question, bien qu'il soit tout à fait acceptable en première approximation d'admettre que les mouvements des sources d'infection sont aléatoires et ressemblent à bien des égards au mouvement des particules dans une solution colloïdale. Néanmoins, il est nécessaire, bien sûr, d'avoir une idée de l'effet qu'aurait la présence d'un grand nombre d'individus sensibles sur des sites assez éloignés d'une source d'infection donnée.

Le modèle déterministe, dû à D. Kendall, suppose l'existence d'un continuum bidimensionnel infini de la population, dans lequel il y a environ 0 individu par unité de surface. Considérez la zone entourant le point P et supposez que les nombres d'individus sensibles, infectés et retirés du collectif sont égaux, respectivement. Les valeurs x, y et z peuvent être des fonctions du temps et de la position, mais leur somme doit être égale à un. Les équations de base du mouvement, similaires au système (9.18), ont la forme

où est la moyenne pondérée spatialement

Soient et des constantes, un élément d'aire entourant le point Q et un facteur de pondération non négatif.

Supposons que la concentration initiale de maladies soit uniformément répartie dans une petite zone entourant le foyer initial. Notons également que le facteur o est explicitement introduit dans le produit Rohu afin que le taux d'infection reste indépendant de la densité de population. Si y restait constant sur le plan, alors l'intégrale (9.53) convergerait sûrement. Dans ce cas, il serait commode d'exiger que

Le modèle décrit permet de faire avancer assez loin la recherche mathématique. On peut montrer (avec une ou deux mises en garde) qu'une pandémie couvrira tout le plan si et seulement si la densité de population dépasse une valeur seuil . Si une pandémie s'est produite, son intensité est déterminée par la racine positive unique de l'équation

Le sens de cette expression est que la proportion d'individus qui finissent par tomber malades dans n'importe quelle zone, quelle que soit la distance qui la sépare du foyer épidémique d'origine, ne sera pas inférieure. Évidemment, ce théorème de seuil pandémique de Kendall est similaire au théorème de seuil de Kermack et McKendrick, dans lequel le facteur spatial n'a pas été pris en compte.

Il est également possible de construire un modèle pour le cas particulier suivant. Soient x et y les densités spatiales des individus sensibles et infectés, respectivement. Si l'on suppose que l'infection est locale et isotrope, alors il est facile de montrer que les équations correspondant aux deux premières équations du système (9.18) peuvent s'écrire

où ne sont pas des coordonnées spatiales] et

Pour la période initiale, lorsqu'elle peut être approximativement considérée comme une valeur constante, la deuxième équation du système (9.56) prend la forme

C'est l'équation de diffusion standard, dont la solution est

où la constante C dépend des conditions initiales.

Le nombre total d'individus infectés en dehors du cercle de rayon R est

Ainsi,

et si , alors . Le rayon correspondant à toute valeur sélectionnée augmente à un taux de . Cette valeur peut être considérée comme le taux de propagation de l'épidémie, et sa valeur limite pour un grand t est égale à . Dans un cas d'épidémie de rougeole à Glasgow pendant près de six mois, le taux de propagation était d'environ 135 m par semaine.

Les équations (9.56) peuvent facilement être modifiées pour tenir compte de la migration des individus sensibles et infectés, ainsi que de l'émergence de nouveaux individus sensibles. Comme dans le cas des épidémies récurrentes discutées dans la Sect. 9.4, une solution d'équilibre est possible ici, mais les petites oscillations décroissent aussi rapidement ou même plus rapidement que dans le modèle non spatial. Ainsi, il est clair que dans ce cas l'approche déterministe a certaines limites. En principe, il faut bien sûr préférer les modèles stochastiques, mais généralement leur analyse est associée à d'énormes difficultés, du moins si elle est effectuée de manière purement mathématique.

Plusieurs travaux ont été réalisés pour modéliser ces processus. Ainsi, Bartlett a utilisé des ordinateurs pour étudier plusieurs épidémies artificielles successives. Le facteur spatial a été pris en compte par l'introduction de la grille de cellules. Dans chaque cellule, des modèles non spatiaux typiques ont été utilisés pour un temps continu ou discret, et une migration aléatoire d'individus infectés entre des cellules partageant une frontière commune a été autorisée. Des informations ont été obtenues sur le volume critique de la population, en dessous duquel le processus épidémique s'atténue. Les principaux paramètres du modèle ont été dérivés de données épidémiologiques et démographiques réelles.

Récemment, l'auteur de ce livre a entrepris un certain nombre d'études similaires dans lesquelles une tentative a été faite pour construire une généralisation spatiale des modèles stochastiques pour les cas simples et généraux considérés dans Sec. 9.2 et 9.3. Supposons que nous ayons un réseau carré dont chaque nœud est occupé par un individu réceptif. La source d'infection est placée au centre du carré et un tel processus de type binomial en chaîne pour un temps discret est considéré, dans lequel seuls les individus directement adjacents à toute source d'infection sont exposés au risque d'infection. Ceux-ci peuvent être soit seulement quatre plus proches voisins (Schéma 1), soit également des individus situés en diagonale (Schéma 2) ; dans le second cas, il y aura au total huit individus couchés sur les côtés du carré dont le centre est occupé par la source d'infection.

Il est évident que le choix du schéma est arbitraire, cependant, dans notre travail, ce dernier schéma a été utilisé.

Dans un premier temps, une simple épidémie sans cas de guérison a été envisagée. Pour plus de commodité, une grille de taille limitée a été utilisée et les informations sur l'état de chaque individu (c'est-à-dire s'il est susceptible ou source d'infection) ont été stockées sur un ordinateur. Le processus de modélisation a conservé un enregistrement continu des changements de statut de tous les individus et a compté le nombre total de nouveaux cas dans tous les carrés avec la source d'origine de l'infection au centre. La mémoire de la machine a également enregistré les valeurs actuelles de la somme et de la somme des carrés du nombre de cas. Cela a rendu assez facile le calcul des valeurs moyennes et des erreurs standard. Les détails de cette étude seront publiés dans un article séparé, mais nous ne relèverons ici qu'une ou deux particularités de ce travail. Par exemple, il est clair qu'avec une probabilité très élevée de contact suffisant, une propagation quasi déterministe de l'épidémie aura lieu, dans laquelle à chaque nouvelle étape du développement de l'épidémie un nouveau carré avec des sources d'infection sera ajouté.

À des probabilités plus faibles, il y aura une propagation véritablement stochastique de l'épidémie. Étant donné que chaque source d'infection ne peut infecter que huit de ses voisins les plus proches, et non l'ensemble de la population, on pourrait s'attendre à ce que la courbe épidémique pour l'ensemble du réseau n'augmente pas aussi fortement que si l'ensemble de la population était mélangé de manière homogène. Cette prédiction se réalise en effet, et le nombre de nouveaux cas augmente plus ou moins linéairement au fil du temps jusqu'à ce que les effets de bord commencent à se faire sentir (car le réseau a une étendue limitée).

Tableau 9. Modèle spatial stochastique d'une épidémie simple construit sur un treillis 21x21

En tableau. La figure 9 montre les résultats obtenus pour un réseau avec une source initiale d'infection et une probabilité de contact suffisant égale à 0,6. On constate qu'entre le premier et le dixième stade de l'épidémie, le nombre moyen de nouveaux cas augmente d'environ 7,5 à chaque fois. Après cela, l'effet de bord commence à dominer et la courbe épidémique chute fortement.

On peut également déterminer le nombre moyen de nouveaux cas pour un point de grille donné et ainsi trouver la courbe épidémique pour ce point. Il convient de faire la moyenne de tous les points situés à la limite du carré au centre duquel se trouve la source d'infection, bien que la symétrie dans ce cas ne soit pas complète. La comparaison des résultats pour des carrés de tailles différentes donne une image d'une vague épidémique s'éloignant de la source d'infection d'origine.

On a ici une suite de distributions dont les modes augmentent selon une progression linéaire et dont la variance augmente continûment.

Une étude plus détaillée de l'épidémie a également été menée type général avec l'élimination des personnes infectées. Bien sûr, ce sont tous des modèles très simplifiés. Cependant, il est important de comprendre qu'ils peuvent être considérablement améliorés. Pour tenir compte de la mobilité de la population, il faut supposer que les individus sensibles sont également infectés par des sources d'infection qui ne sont pas leurs voisins immédiats. Vous devrez peut-être utiliser une sorte de facteur de pondération ici, en fonction de la distance. Les modifications qui devront être introduites dans le programme informatique dans ce cas sont relativement faibles. A l'étape suivante, il sera peut-être possible de décrire ainsi des populations réelles ou typiques avec la structure la plus diversifiée. Cela ouvrira la possibilité d'évaluer l'état épidémiologique de populations réelles en termes de risque de divers types d'épidémies.


SCIENCES NATURELLES ET DE L'INGÉNIERIE

UDC 519.673 : 004.9

INTERPRÉTATION DU MODÈLE CONCEPTUEL D'UN OBJET SPATIAL DYNAMIQUE DANS LA CLASSE DES SYSTÈMES FORMELS*

ET MOI. Friedmann

Institut d'informatique et de modélisation mathématique KSC RAS

annotation

Les enjeux de la modélisation d'objets dynamiques complexes (DLS) dans des domaines peu formalisés sont abordés. Pour le modèle conceptuel situationnel proposé précédemment de tels objets, une interprétation a été développée dans la classe des systèmes formels sémiotiques, qui permet d'intégrer divers moyens d'étudier le LMS, de fournir un traitement de données logique-analytique conjoint et une analyse situationnelle de l'état de l'objet sous étude par expertise et prise en compte des dépendances spatio-temporelles des caractéristiques des LMS réalisée à partir des informations cartographiques.

Mots clés:

modèle conceptuel, objet spatial dynamique, système formel sémiotique.

Introduction

Dans cet article, nous considérons les problèmes de modélisation LMS dans des domaines peu formalisés. Outre la complexité structurelle, une caractéristique des LMS est que les résultats de leur fonctionnement dépendent fortement des caractéristiques spatiales des éléments constitutifs et du temps.

Lors de la modélisation d'un LMS, il est nécessaire de prendre en compte une variété de flux d'informations, financiers, matériels, énergétiques, de prévoir une analyse des conséquences d'une modification de la structure d'un objet, d'éventuelles situations critiques, etc. L'incomplétude fondamentale des connaissances sur ces objets limite l'applicabilité des modèles analytiques classiques et détermine l'orientation vers l'utilisation de l'expérience des experts, qui, à son tour, est associée à la création d'outils appropriés pour formaliser les connaissances expertes et leur intégration dans le système de modélisation. . Par conséquent, dans la modélisation moderne, le rôle d'un tel concept en tant que modèle de domaine conceptuel (KMPO) a considérablement augmenté. La base de CMPO n'est pas un modèle algorithmique de transfert et de transformation de données, comme dans les modèles analytiques, mais une description déclarative de la structure d'un objet et de l'interaction de ses parties constituantes. Ainsi, KMPO est initialement focalisé sur la formalisation des savoirs experts. CMPO définit les éléments du domaine à l'étude et décrit les relations entre eux qui définissent la structure et les relations de cause à effet qui sont essentielles dans une étude particulière.

Le système de modélisation situationnelle (SSM) présenté dans cet article basé sur un modèle conceptuel situationnel (SCM) arborescent est l'une des options

* Le travail a été partiellement soutenu par des subventions de la Fondation russe pour la recherche fondamentale (projets n° 13-07-00318-a, n° 14-07-00256-a,

n° 14-07-00257-a, n° 14-07-00205-a, n° 15-07-04760-a, n° 15-07-02757-a).

mise en œuvre de technologies telles que CASE (Computer Aided Software Engineering) et RAD (Rapid Application Development).

Systèmes formels sémiotiques

Le principal avantage du calcul logique en tant que modèle de représentation et de traitement des connaissances est la présence d'une procédure formelle uniforme pour prouver les théorèmes. Cependant, cela implique également le principal inconvénient de cette approche - la difficulté d'utiliser des heuristiques dans la preuve, reflétant les spécificités d'un environnement de problème particulier. Ceci est particulièrement important lors de la construction de systèmes experts, dont la puissance de calcul est principalement déterminée par les connaissances qui caractérisent les spécificités du domaine. D'autres inconvénients des systèmes formels incluent leur monotonie (impossibilité d'abandonner les conclusions si un fait supplémentaire devient vrai, et en ce sens ils diffèrent du raisonnement fondé sur le bon sens), le manque de moyens pour structurer les éléments utilisés et l'inadmissibilité des contradictions .

La volonté de combler les lacunes des systèmes formels lorsqu'ils sont utilisés en intelligence artificielle a conduit à l'émergence de systèmes sémiotiques formalisés par le chiffre huit :

S ::= (B, F, A, R, Q(B), Q(F), Q(A), Q(R)). (1)

Dans (1), les quatre premiers composants sont les mêmes que dans la définition d'un système formel, et les composants restants sont les règles de modification des quatre premiers composants sous l'influence de l'expérience accumulée dans la base de connaissances sur la structure et le fonctionnement de entités dans un environnement problématique donné. La théorie de tels systèmes est à un stade précoce de développement, mais il existe de nombreux exemples de résolution de problèmes spécifiques dans ce paradigme. Un tel exemple est décrit ci-dessous.

Bases de la modélisation situationnelle

Lors de la définition de la tâche et de la préparation du processus de modélisation, KMPO est conçu pour représenter les connaissances sur la structure du domaine à l'étude. Pour les éléments CMPO, il existe une correspondance entre l'objet réel du monde réel et sa représentation modèle. Pour assurer la possibilité d'automatiser les étapes ultérieures de la modélisation, le modèle de domaine est mappé sur un système formel qui lui est adéquat. Cette transition est mise en œuvre au cours de la construction du CMPO en attribuant une description formelle à chacun de ses éléments. En conséquence, l'achèvement de la construction de KMPO correspondra au passage des connaissances informelles sur le domaine étudié à leur représentation formelle, qui ne permet qu'une interprétation procédurale non ambiguë. Le modèle formel qui en résulte est de nature déclarative, car il décrit principalement la composition, la structure et les relations entre les objets et les processus, quelle que soit la manière spécifique dont ils sont implémentés dans un ordinateur.

Le langage déclaratif de description du SCM est composé de deux parties : la partie correspondant aux objets du monde décrit, et la partie correspondant aux relations et attributs des objets représentés dans le modèle. La théorie axiomatique des ensembles est utilisée comme base mathématique du langage déclaratif.

SCM décrit trois types d'éléments (entités) du monde réel - objets, processus et données (ou ressources). Les objets reflètent la structure organisationnelle et spatiale de l'objet d'étude, chacun d'eux pouvant être associé à un ensemble de processus. Un processus est compris comme une action (procédure) qui transforme un sous-ensemble de données, appelé entrée par rapport au processus considéré, en un autre sous-ensemble d'entre elles,

BULLETIN du Centre scientifique de Kola RAS 4/2015(23)

ET MOI. Friedmann

appelé un jour férié. Les données caractérisent l'état du système. Ils sont utilisés dans la mise en œuvre des processus, servent de résultats de leur mise en œuvre. L'exécution de tout processus modifie les données et correspond au passage du système d'un état à un autre. Les relations et les interactions des objets du monde réel sont décrites dans le modèle à l'aide de relations définies sur des ensembles d'objets, de processus et de données. Chaque relation lie un élément de modèle à un ensemble d'autres éléments.

Les noms des éléments SCM sont donnés en termes de domaine. Un exécuteur est affecté à chaque élément du modèle, ce qui assure sa mise en œuvre lors de la simulation. Le type d'exécuteur détermine les caractéristiques de l'implémentation, telles que le langage de programmation dans lequel l'exécuteur de processus correspondant est écrit, et le type d'exécuteur dans le langage algorithmique.

Les attributs décrivant le type de relation de la hiérarchie spécifient la représentation des objets de modèle au niveau inférieur suivant de la hiérarchie. Le type de relation "composition" (&) spécifie qu'un objet est construit en agrégeant ses sous-objets. Le type "classification" (v) indique que l'objet de niveau supérieur est une généralisation d'un groupe d'objets de niveau inférieur. La relation de type "classification" dans SCM est utilisée pour représenter différentes variantes d'un élément de niveau supérieur. Le type "itération" (*) permet de définir des processus itératifs dans le GDS et de décrire des structures de données régulières.

Selon le type de relation hiérarchique, une donnée de contrôle est affectée à l'objet. Les données de contrôle sont utilisées pour redéfinir la structure des processus qui ont un type de relation hiérarchique "classification" ou "itération", et des données qui ont un type de relation hiérarchique "itération".

La représentation formelle du SCM permet d'automatiser considérablement l'analyse de l'exactitude de la structure et de la solvabilité du SCM.

Un aspect important de l'efficacité du SCM est la commodité de présenter les résultats de la simulation. Actuellement, le système d'information géographique (SIG) est considéré comme l'environnement le plus prometteur pour la recherche informatisée d'objets de classe LMS. En plus de la visualisation avancée et du traitement graphique des données, les outils SIG permettent en principe de définir des tâches pour des calculs spatialement coordonnés dans un environnement graphique convivial, bien que cela nécessite un développement logiciel supplémentaire. De plus, les progiciels SIG ne sont pas conçus pour analyser la dynamique d'un objet et traiter des données mathématiques sérieuses.

Un autre avantage du SIG dans le cadre du problème considéré est que chaque élément graphique peut être associé à des champs supplémentaires de la base de données modifiables par des modules informatiques externes, contrairement aux attributs graphiques. En particulier, ces champs peuvent stocker des attributs du modèle conceptuel liés à un élément donné, et d'autres paramètres nécessaires à l'organisation et à la conduite de la modélisation.

Ainsi, chaque cycle de calculs au cours de la simulation comprend trois étapes : la définition des conditions de calcul, le calcul lui-même et la sortie des résultats. L'objectif informel du développement SCM est d'automatiser toutes ces étapes tout en offrant un service maximal à un utilisateur non programmeur, c'est-à-dire en utilisant la terminologie du domaine et une interface utilisateur conviviale avec un ordinateur. Pour les mêmes raisons, le SMS doit être fonctionnellement complet, c'est-à-dire fournir à l'utilisateur tous les outils dont il a besoin sans accès explicite à d'autres environnements logiciels. La création de bibliothèques graphiques spécialisées et d'outils de reporting nécessiterait des coûts de programmation injustifiés et allongerait considérablement le temps de développement. Dès lors, il semble opportun d'apporter une solution de compromis : confier les tâches de sortie des données à des progiciels standards ou à des modules de programme spécialisés, mais automatiser au maximum leur travail, excluant le dialogue avec l'utilisateur dans son environnement.

BULLETIN du Centre scientifique de Kola RAS 4/2015(23)

Interprétation du modèle conceptuel...

Description formelle du SCM

Le SCM est basé sur la représentation de l'objet de modélisation sous la forme d'un graphe ET-OU arborescent qui affiche une décomposition hiérarchique des éléments structurels du LMS en fonction de leurs relations organisationnelles.

Pour éviter les problèmes de calcul associés à de petites modifications de données et pour fournir un support pour le traitement de données logique-informatique conjoint, dans SCM, les données de sortie des procédures de traitement (à l'exception des données calculées par SIG) ne peuvent être que des données avec un ensemble fini discret de valeurs (comme des listes). Si les valeurs de certaines données sont des constantes de chaîne, alors ces données sont appelées un paramètre (catégorie PAR), et avoir des valeurs numériques est appelée une variable (catégorie VAR), et certaines opérations mathématiques peuvent être effectuées dessus. Si le résultat du calcul est la valeur d'une variable, celle-ci est arrondie à la valeur la plus proche dans la liste des valeurs valides. Dans ce qui suit, si ce qui a été dit fait référence à des données de tout type autorisées dans le SCM, le terme "donné" est utilisé. Ainsi, l'ensemble des noms de données est divisé en ensembles de noms de variables et de paramètres :

D ::=< Var, Par >, Var ::= (var ), je = 1, N ;

7 7 à l 7 v 7 (2)

Par::=(parj), j = 1, Np, où Nv et Np sont les cardinalités de ces ensembles.

Ressources du modèle de données (caractéristiques quantitatives) d'objets ou de processus (catégorie RES), les variables peuvent également être utilisées comme paramètres de réglage de fonctions (critères) de la qualité de fonctionnement d'éléments du SCM (catégorie ADJ). Ainsi, l'ensemble des noms de variables est divisé en un sous-ensemble des noms des ressources des éléments du GDS et un sous-ensemble des noms des paramètres de réglage des critères de qualité de ces éléments :

Var ::=< Res, Adj > (3)

Une catégorie à part (catégorie SIG) est constituée des caractéristiques graphiques des objets du GDS directement calculées dans le SIG. Toutes sont des variables, mais ne sont pas considérées comme des listes, car elles ne sont utilisées que comme ressources d'entrée des éléments du modèle et ne changent pas pendant la simulation.

Les objets SKM ont trois caractéristiques principales : un nom, un type fonctionnel qui définit la structure et les fonctions de l'objet et est utilisé dans le processus d'analyse de l'exactitude du SKM, et le nom du superobjet qui domine cet objet dans le SKM ( absent pour l'objet de niveau supérieur). Selon la position dans l'arbre d'objets et sur la carte, on distingue trois catégories d'objets SCM : les primitives (catégorie LEAF), structurellement indivisibles du point de vue de l'objectif global de modélisation, les objets élémentaires (catégorie GISC), associés géographiquement à un élément SIG (polygone, arc ou point dont ou revêtements), et des objets composés (catégorie COMP) constitués d'objets élémentaires et/ou composés. La structure des objets de la catégorie GISC dans le SCM peut être assez complexe, mais tous leurs sous-objets ont la même référence géographique. Un ensemble d'objets forme une hiérarchie :

O \u003d (a 0Ya): : \u003d 2 °a, (4)

où a = 1, Nl est le numéro du niveau de l'arbre d'objets auquel appartient cet objet (L est le nombre total de niveaux de décomposition) ;

wb = 1, Nb - numéro de série de l'objet à son niveau de décomposition ;

r = 1, N6_ est le nombre ordinal du superobjet dominant l'élément donné au niveau sus-jacent ;

Ob est l'ensemble des objets appartenant au niveau de numéro a.

BULLETIN du Centre scientifique de Kola RAS 4/2015(23)

ET MOI. Friedmann

Pour assurer la connectivité du SCM, on suppose qu'il existe un seul superobjet qui domine tous les objets du premier niveau de décomposition, c'est-à-dire que la relation est vraie :

O. -i0.”) 0, = (5)

Les processus dans SCM représentent des transformations de données et sont mis en œuvre de différentes manières selon l'une des trois catégories suivantes attribuées au processus : processus internes (catégorie INNER), toutes leurs données d'entrée et de sortie se réfèrent à un objet ; les processus intra-niveaux (catégorie INTRA) reliant des objets SCM non subordonnés les uns aux autres ; les processus interniveaux (catégorie INTER) qui décrivent le transfert de données entre un objet et des sous-objets ou entre un objet et un superobjet. La catégorisation introduite des processus complique quelque peu le processus de création du SCM (dans certains cas, il peut être nécessaire de créer des processus fictifs qui fournissent une telle typification), mais elle permet de rendre les procédures de contrôle formelles du SCM beaucoup plus complètes et détaillées.

Les principales caractéristiques des processus : un nom unique, une caractéristique de l'exécuteur du processus et le type fonctionnel du processus, qui détermine le type de transformations effectuées par celui-ci, et est utilisé dans le processus d'analyse de l'exactitude du SCM ; en outre, une liste de données d'entrée et de sortie et leurs valeurs limites admissibles sont utilisées. L'exécuteur du processus spécifie ses propriétés dynamiques et comment il est implémenté dans l'ordinateur. L'exécuteur peut être spécifié soit directement (sous la forme d'une équation aux différences), soit indirectement - en se référant au nom du module logiciel qui implémente ce processus.

Le schéma du modèle conceptuel est formé par un tuple :

^SCM ::=<о,P,DCM,H,OP,PO,U >, (6)

où O est un ensemble d'objets CMPO (9);

P ::= (pn I n = 1, Np - ensemble de processus CMPO ;

DCM avec D - ensemble de données du modèle conceptuel, où D est défini dans (4), (5);

H - la relation de la hiérarchie des objets, qui, compte tenu de (4) et (5), prendra la forme :

où Hb avec O6x B, (O6) sont les relations de hiérarchie pour chacun des niveaux de l'arbre d'objets, et b" (o6) est une partition de l'ensemble Oa ;

OP avec O x B (P) - la relation "objet - générant ses processus de sortie", et B (P) est une partition de l'ensemble P ;

PO avec P x B(O) - la relation "processus - création de ses objets de données d'entrée" ;

U::= Up et U0 - la relation qui formalise le contrôle du processus de calcul basé sur le SCM, a les composants suivants :

U avec P x B(Res) - relation "process - control data" ;

Uo avec O x B(Res) - la relation "objet - données de contrôle".

La relation « objet (processus) - données de contrôle » associe un objet (processus) du modèle à des données qui définissent cet objet dans le passage à l'interprétation algorithmique. Le transfert de données entre objets s'effectue uniquement à travers des listes de données d'entrée et de sortie de ces objets, ce qui est cohérent avec les principes d'encapsulation de données adoptés dans la programmation orientée objet moderne. Tous les processus affectés à un objet sont décrits par la relation OA avec O x B(P) "objet - processus qui lui sont affectés". Cette relation n'est pas incluse dans le schéma

BULLETIN du Centre scientifique de Kola RAS 4/2015(23)

Interprétation du modèle conceptuel...

SCM, car, contrairement aux relations H, OR et RO, il n'est pas défini par l'utilisateur lors de la construction du modèle, mais est formé automatiquement.

Les relations définies dans le modèle peuvent être commodément représentées sous la forme de fonctions (7), partiellement définies sur les ensembles O et P, avec les plages B(P), B(O) ou B"(Ob).

les fonctions sont désignées par des caractères minuscules correspondant aux caractères majuscules dans les noms de relation :

h :°b_1 ^B"(Oa),(Vo ;. e06,Vo ! e°b_Hoj = hb(o))oojHbog) ; op. O ^ B(p^ (Vo e O, Vp e p)(( p ; = opio)) "■ o,Opp]);

Po.p ^ b(0), (vo e O, VP] e p)((o = po(P])) "P]OPot);

oa : O ^ B(P),(VOi e O, Vp) e P)((p) = oa(ot))otOAp));

: p ^ B(Res\(vPi e p, Vres] e Res)((res] = up (pi)) ptUpres]);

: O ⩽ B(Res), (Vo1 e O, VreSj e Res)((resj = uo (o1)) o1Uo resj).

Les ensembles de valeurs des fonctions (7), qui forment des sections des plages de valeurs des relations introduites pour certains éléments des plages de leur définition, sont indiqués en gras :

h6 (oi)::= \P] : o] = ha(oi)); oP(oi) ::= \P] : P] = oP(oi));

po(P]) ::= (o: oi = po(p])); oci(pi) ::= ^ . p) = oa(oi)); (8)

haut (Pi) ::= \res]: res] = haut (Pi)); uo (o) ::= \res] : res] = uo (o)).

De manière similaire à (8), les sections des relations introduites sont écrites sur des sous-ensembles de leurs domaines de définition, qui sont construits comme des unions de toutes les sections sur les éléments de ces sous-ensembles. Par exemple, h (Oi), où Oi avec O6_x, est l'ensemble des objets de niveau a dominé par un sous-ensemble donné d'objets oj e O t qui sont au niveau a - 1.

L'ensemble de subordination de l'objet oi h '(oi)::= U h(oi) est également utilisé ci-dessous.

Les algorithmes développés pour attribuer des catégories aux éléments du SCM utilisent les relations ci-dessus et identifient tous erreurs possibles catégorisation des éléments du modèle. Les procédures de contrôle de l'exactitude des nominations des exécuteurs testamentaires des éléments SCM utilisent les restrictions suivantes (des preuves sont fournies).

Théorème 1. Dans le SCM final, une décomposition récursive des types d'exécuteurs d'objets ne peut pas avoir lieu, c'est-à-dire qu'aucun objet inclus dans l'ensemble de subordination d'un objet ne peut avoir un exécuteur du même type que l'objet d'origine.

Théorème 2. Dans un SCM fini, il ne peut y avoir d'inversion de la subordination des exécuteurs d'objets, c'est-à-dire qu'aucun objet inclus dans l'ensemble de subordination d'un objet avec un exécuteur de type e1 ne peut avoir un exécuteur du même type. type comme tout autre objet dans l'ensemble de subordination dont contient un objet avec un exécuteur de type e1.

Principes du contrôle de solvabilité SCM

La construction d'un modèle correct, réalisée conformément aux règles adoptées dans le CCM, ne garantit pas encore que ce modèle soit résoluble, c'est-à-dire qu'il soit possible de résoudre tous les problèmes qui y sont déclarés. La résolvabilité est généralement comprise comme l'accessibilité d'un certain sous-ensemble d'objets de modèle, qui sont définis comme cible, à partir d'un autre sous-ensemble d'objets, qui sont définis comme source. La solvabilité peut être considérée sous deux aspects principaux : lors de l'analyse de l'ensemble du modèle dans son ensemble (avant le début des calculs), elle implique la cohérence et l'absence d'ambiguïté de la description de toutes les options réalisables pour atteindre l'objectif global à différents niveaux de la hiérarchie, et dans le processus

BULLETIN du Centre scientifique de Kola RAS 4/2015(23)

ET MOI. Friedmann

Dans la mise en œuvre de la modélisation, la résolvabilité consiste à s'assurer du choix du bon fragment du modèle qui décrit la situation étudiée. La différence fonctionnelle entre ces aspects est que lors de l'analyse de l'ensemble du modèle, seule la possibilité potentielle de modéliser tous les objets décrits dans le modèle est évaluée, et lors de l'analyse d'une situation spécifique, les tâches consistant à choisir le fragment minimum décrivant cette situation et à comparer quantitativement les alternatives possibles qu'il contient sont en outre posées. Le deuxième aspect de la résolvabilité est étudié dans , voici les caractéristiques de l'analyse de la résolvabilité du SCM dans son ensemble, qui est automatiquement effectuée après l'achèvement du contrôle de son exactitude, et peut être effectuée à la demande de l'utilisateur à à tout moment. Dans le cas général, le problème de l'analyse de solvabilité peut être formulé comme suit: deux ensembles d'éléments de modèle sont indiqués - la source et la cible, tandis que le modèle est résoluble s'il existe une séquence d'étapes qui vous permet d'obtenir l'ensemble cible à partir de la source. Des algorithmes d'ondes simples conviennent à cela.

Dans l'analyse des deux aspects de la résolvabilité, le modèle conceptuel est considéré comme un système formel. Son alphabet comprend :

symboles désignant les éléments du modèle (pi, on, resj, ...);

symboles fonctionnels décrivant les relations et les connexions entre les éléments du modèle (ha, op, ...);

symboles spéciaux et syntaxiques (=, (,), ^,...).

L'ensemble des formules du système formel considéré est formé par : les symboles proprement dits désignant les éléments de KMPO :

(Pi e P) u (Oj eO] u (resk e DCM); (9)

les expressions (7), (8) et autres formules de calcul de fonctions et d'ensembles définis à l'aide de relations introduites sur les ensembles (5) ;

expressions de calculabilité pour chaque processus du modèle conceptuel :

list_in(pi) \ list out(pi), Up(pi) [, sp)] ^ p„ list_out(p,), (10)

où, du fait de l'hypothèse retenue dans le CCM sur l'autonomie de la structure de chaque objet, l'ensemble s(p) des processus précédant pi ne peut comprendre que des processus affectés au même objet :

s (pi) avec oa (oa "1 (p1)); (11)

expressions de calculabilité pour chaque objet du modèle conceptuel : list_in(oi), up(Oj), oa(o,), h(o,) ^ oi, list_out(oi) ; (12)

expressions pour la calculabilité des données d'entrée de chaque objet du modèle conceptuel qui reçoit des ressources matérielles d'autres objets (ou : oo(o) Ф 0) :

00(0,) ^ list_in(oi). (13)

Les expressions (9) à (13) incluent uniquement les ressources matérielles, c'est-à-dire qu'elles n'analysent pas les données de sortie des processus de réglage et de rétroaction liés aux ressources d'informations SCM. De plus, la calculabilité des ensembles définis dans les prémisses de ces expressions est énoncée sous la condition que tous les éléments des ensembles indiqués soient calculables.

Une justification supplémentaire est requise par la première prémisse de la proposition (10). Comme on le sait, en présence de cycles de ressources dans le domaine, des données peuvent apparaître qui, lors de la construction d'un modèle conceptuel, doivent être déclarées en entrée et en sortie pour certains processus KMPO en même temps. Selon l'hypothèse adoptée dans le SCM, de tels cycles sont introduits à l'intérieur des objets du CMPO, c'est-à-dire qu'ils doivent être pris en compte lors de l'analyse de la solvabilité au niveau du processus.

Si, lors de l'analyse de la solvabilité du SCM, on utilise l'expression de calculabilité proposée dans et prenant la forme pour le SCM :

list_in(p,) & up(p,) [& s(p,)] ^ p, & list_out(p,), (14)

BULLETIN du Centre scientifique de Kola RAS 4/2015(23)

Interprétation du modèle conceptuel...

il sera alors impossible d'inclure dans le modèle des ressources servant simultanément de données d'entrée et de sortie d'un même processus, c'est-à-dire de décrire des processus de calcul récurrents souvent rencontrés en pratique. La sortie est donnée par le théorème ci-dessous, prouvé dans le travail.

Théorème 3. Une ressource qui est à la fois une entrée et une sortie pour le même processus SCM et qui n'est une sortie pour aucun des processus qui le précèdent, liée au processus spécifié par la relation de génération de processus (13), peut être exclue de la côté gauche de la proposition de calculabilité sans violer l'exactitude de la solvabilité du modèle d'analyse.

L'ensemble des axiomes du système formel considéré comprend :

axiomes de calculabilité de toutes les ressources liées aux données externes (ayant des exécuteurs de type DB, GISE ou GEN)

|- resj : (ter(resj) = DB) v (ter(resj) = GISE) v (tS[(resJ) = GEN); (15)

axiomes de calculabilité de tous les éléments SIG de SKM (dont les types commencent par des symboles point, pol ou arc)

|-0J :<х>point) v (to(o/) 10 pol) V (to(oj) 10 arcX (16)

où symbole l'entrée de types SIG standards dans le type fonctionnel d'un objet est classiquement indiquée.

Le système formel considéré a deux règles d'inférence :

règle de succession immédiate -

Fi, Fi^F2 |-F2 ; (17)

règle de suite avec égalité -

Fi, Fi = F2, F2 ^ F3 |- F3, (18)

où F, sont des formules de (9)-(13).

La structure du système formel décrit est similaire à la structure du système proposé dans . La différence essentielle est la forme des expressions de calculabilité (10), (12), (13) et la composition des axiomes, sur la base desquels l'analyse de la solvabilité du modèle conceptuel est effectuée.

La totalité des connaissances sur le domaine présenté dans le SCM peut être reconnue comme correcte si, à différents niveaux de la hiérarchie, le modèle conceptuel présente réellement des spécifications mutuellement convenues d'objets et de processus qui garantissent la génération correcte de ressources pour le fonctionnement des objets. de niveaux supérieurs. Le respect des spécifications à tous les niveaux conduit au fait que le modèle conceptuel caractérise pleinement l'objet racine correspondant à la tâche globale que le système dans son ensemble résout. Un modèle conceptuel est décidable si, dans le système formel correspondant, il existe une dérivation de chaque théorème de calculabilité à partir d'un ensemble d'axiomes et d'autres théorèmes.

Définition 1. SCM est décidable si et seulement si pour chaque élément du modèle qui n'est pas inclus dans l'ensemble d'axiomes, l'application d'expressions de calculabilité de la forme (10), (12), (13) aux axiomes et déjà les formules prouvées (l'ensemble des théorèmes T) permettent de construire la dérivation à l'aide des règles (17), (18) à partir de l'ensemble des axiomes (A) du système formel (9)-(13).

Dans l'analyse de la solvabilité, qui, selon la définition 1, est une sorte de méthodes automatiques de démonstration de théorèmes, le concept de «mécanisme d'inférence» est utilisé, dans ce cas, il est compris comme une méthode, un algorithme d'application des règles d'inférence ( 17), (18), fournissant une preuve effective de tous les ensembles de formules requis à partir de l'ensemble T de théorèmes (c'est-à-dire de formules syntaxiquement bien formées) du système formel considéré. La manière la plus simple d'organiser l'inférence est le mécanisme de «flux», dans lequel l'ensemble des formules A ", considérées comme prouvées, est initialement égal à l'ensemble des axiomes (A1 = A), se développe à la suite de l'application les règles d'inférence. Si après un certain temps T avec A", alors le modèle est résoluble, si c'est faux et qu'aucune des règles ne peut être appliquée, alors le SCM est indécidable.

BULLETIN du Centre scientifique de Kola RAS 4/2015(23)

ET MOI. Friedmann

Comme stratégie de preuve utilisée dans l'analyse d'un modèle conceptuel général, une stratégie ascendante est proposée, consistant en l'exécution cyclique des étapes suivantes.

Étape I. La règle (17) est appliquée pour obtenir toutes les conséquences possibles des formules et des axiomes.

Stade II. Les règles (17), (18) sont appliquées pour obtenir toutes les conséquences possibles des axiomes et formules obtenus à l'étape précédente de la preuve.

Stade III. La règle (13) est appliquée pour élargir la liste des objets considérés comme calculables.

Il est prouvé que pour les modèles conceptuels corrects construits selon les règles décrites ci-dessus, l'analyse de la solvabilité du modèle dans son ensemble est réduite à l'analyse de la solvabilité des modèles individuels des processus de la catégorie INTRA qui y sont inclus et les processus d'agrégation.

Gestion des situations

Dans la théorie de la gestion situationnelle, on note l'importance fondamentale de développer des procédures de généralisation des descriptions de situation basées sur leur classification à l'aide d'un ensemble de caractéristiques pragmatiquement importantes, lui-même sujet à synthèse. Les caractéristiques fondamentales de la formation des concepts et de la classification dans la gestion de la situation comprennent:

Disponibilité de procédures de généralisation basées sur la structure des relations entre éléments de situations ;

Capacité à travailler avec les noms de concepts et de situations individuels ;

La nécessité d'harmoniser la classification des situations sur certaines bases avec la classification sur un ensemble d'influences (contrôles).

Pour mettre en œuvre les principes ci-dessus de classification et de généralisation des situations, le SMS fournit un certain nombre d'outils logiciels :

Appareil de synthèse et d'analyse de types de situations, en particulier de situations suffisantes optimales, axé sur la résolution de problèmes de coordination et de coordination des actions de contrôle à différents niveaux du SCM ;

Des outils pour générer et tester des hypothèses sur les caractéristiques comparatives de situations suffisantes dans le cadre de l'interprétation probabiliste de ces hypothèses, en tenant compte de l'influence des erreurs instrumentales dans les données initiales sur les résultats de simulation ;

Procédures de généralisation des descriptions de situations, prenant en compte les relations spatio-temporelles entre les éléments de situations, à l'aide de la bibliothèque de fonctions spatio-temporelles (STF).

Synthèse et analyse de types de situations. Suite à la classification des situations selon les algorithmes développés pour le SCM, un un grand nombre de classes de situations obtenues pour divers objets décisionnels (DE) et divers objets feuilles de fragments. Afin d'accumuler des connaissances sur les résultats de la classification dans le SMS, il est proposé d'utiliser les moyens de généralisation des descriptions de situations selon les types synthétisés de ces situations. Cette méthode concrétise les recommandations générales pour la construction d'une description hiérarchique des situations dans les systèmes de contrôle situationnel. Semblable à la description de la situation complète, une description généralisée de chaque situation suffisante est construite sur la base de l'énumération des objets feuilles qui y sont inclus et de l'OPD, qui la détermine de manière unique en raison de la décomposition arborescente des objets SCM. . Pour synthétiser une description généralisée de la situation au premier niveau de la hiérarchie des descriptions, on utilise la même procédure qui assure la génération des types d'exécuteurs d'objets en fonction des types de processus qui leur sont affectés. Les données initiales qu'il contient sont les types d'objets feuilles et l'OPD des situations suffisantes étudiées, et le résultat du travail est

BULLETIN du Centre scientifique de Kola RAS 4/2015(23)

Interprétation du modèle conceptuel...

un type unique de situation suffisante, complété par le numéro ordinal de sa classe et son numéro dans cette classe. Contrairement à l'ordre lexicographique, qui est utilisé lors de la génération des types d'exécuteurs d'objets, ici les types d'objets inclus dans la situation sont ordonnés par leur position dans l'arbre d'objets (4). Le numéro d'ordre d'une classe est déterminé par le numéro de la ressource qui domine cette classe, selon la liste des ressources de sortie de l'ODP, et le numéro d'ordre de la situation au sein de la classe est donné par sa préférence. La situation suffisante optimale de cette classe obtient le numéro 1. Il est naturel de considérer comme échelle absolue de classement des situations leur classement selon le critère de qualité globale, c'est-à-dire selon l'appartenance à l'une ou l'autre classe de situations qui assure la prédominance de l'un des paramètres de sortie de l'objet SCM global par les coûts généralisés, qui sont calculés par le critère la qualité de l'APD de cette situation suffisante. La première clé dans la construction du type de situation est son numéro de série dans la classe, puis vient le numéro de l'ODP, puis les index des types de la liste des objets feuille, et à la fin - le numéro de classe. L'ordre d'indexation décrit est utilisé par commodité pour générer des requêtes du type : « Trouver parmi les situations suffisantes optimales d'un certain niveau donné une situation constituant un sous-graphe de telle ou telle situation optimale globale », typiques de la résolution de la coordination de contrôle problèmes à différents niveaux de décision.

La tâche de généralisation des descriptions de situations dans le SCM en fonction des types de situations comprend deux étapes principales : la recherche de caractéristiques communes de situations qui relèvent d'une classe pour chaque fragment étudié du CMOS, et la recherche d'occurrences de situations dans situations de niveaux supérieurs (la hauteur de niveau est ici donnée par le niveau de l'OPD). Le schéma général du raisonnement en généralisation s'inscrit bien dans l'idéologie de la méthode JSM. Cependant, l'implémentation logicielle de la méthode JSM dans le SSM nécessiterait une programmation très importante, c'est pourquoi le mécanisme d'inférence probabiliste implémenté dans le shell de l'OES SSM a été utilisé, c'est-à-dire au lieu d'évaluer la validité de certaines hypothèses calculées selon la méthode JSM, des fonctions spéciales pour recalculer les probabilités conditionnelles ont été utilisées relations de cause à effet entre les configurations de situations suffisantes et les résultats de leur classification.

Comme il ressort de la méthode ci-dessus de typage des situations dans le SCM, les descriptions de situations suffisantes classées selon un fragment CMPO diffèrent qualitativement dans les listes de leurs objets feuille, qui forment ensemble une partition de l'ensemble des objets feuille de la situation complète utilisée dans la construction. le fragment. Par conséquent, lors de la généralisation de leurs descriptions, la méthode de similarité et la méthode de différence sont principalement utilisées, et les sous-chaînes de la concaténation des types d'objet feuille sont utilisées comme prérequis. Les résultats de la généralisation sont formés sous la forme de deux ensembles de règles, le premier comprend des exemples positifs, le second des exemples négatifs. Selon des formules similaires au recalcul des probabilités a priori en probabilités a posteriori, la présence d'exemples positifs conduit à une augmentation de la probabilité conditionnelle de la règle correspondante, et le degré d'augmentation est proportionnel aux nombres ordinaux des situations utilisées dans cet exemple , et la présence d'exemples négatifs réduit la probabilité conditionnelle de la règle dans la même mesure. Après la fin de la première étape de généralisation, les règles sont rejetées avec une probabilité inférieure à 0,5.

Au deuxième stade de généralisation, des similitudes sont trouvées entre des situations de niveaux différents. Le même mécanisme de généralisation est utilisé, mais les règles synthétisées traduisent les probabilités conditionnelles d'occurrence de situations suffisantes de niveaux inférieurs de décomposition dans le cadre de situations suffisantes de niveaux supérieurs et, en particulier, de situations suffisantes globales en estimant la fréquence d'occurrence des types de situations sous-jacentes en types de situations sus-jacentes. Ainsi, on tente de comparer les classes de situations compilées pour l'ODP de différents niveaux, ce qui, avec un nombre suffisant d'exemples d'apprentissage, permet de compiler

BULLETIN du Centre scientifique de Kola RAS 4/2015(23)

ET MOI. Friedmann

une classification hiérarchique des situations suffisantes indiquant les situations optimales pour faire passer un objet dans un certain état à partir d'une classe donnée.

Un autre groupe de règles se concentre sur l'évaluation de l'efficacité des alternatives incluses dans le KMPO. L'idée de la recherche est la suivante: le degré d'efficacité de l'une ou l'autre alternative (à la fois pour les processus et pour les objets) est d'autant plus élevé que l'ensemble des classes de situations dans lesquelles suffisamment de situations avec différentes variantes de cette alternative sont larges tombé dans. Et inversement : si aucun des choix disponibles ne change la classe d'une situation suffisante, alors cette alternative n'est pas proposée à l'utilisateur lors de l'élargissement des situations minimales complètes, du moins pour le même ODP, ce qui permet d'accélérer le processus de classement situations. D'autre part, il est souhaitable de pouvoir déterminer à l'avance l'ensemble des propriétés que possèdent les alternatives les plus "radicales", ou plutôt plusieurs ensembles - pour chaque variante potentiellement souhaitable d'évolution des zones de dominance.

Toutes les règles obtenues lors de la généralisation (dans la terminologie de la gestion situationnelle, elles font référence à des règles logiques-transformationnelles) sont stockées dans l'ES SCM et sont utilisées comme formules de contrôle dans le processus de classification des situations. Il convient de noter une autre caractéristique du mécanisme d'inférence probabiliste développé - la capacité de réduire l'impact des erreurs dans les données initiales sur les résultats de la généralisation des situations en tenant compte de la probabilité d'attribuer à tort une situation à une classe particulière. Considérons l'idée principale de son application pour augmenter la fiabilité de la généralisation des situations.

Lors de la classification de situations suffisantes d'un certain fragment du SCM, des erreurs peuvent survenir en raison de l'instabilité structurelle du processus de calcul des coûts lors de leur transfert entre les éléments du modèle. Par exemple, si les cycles sur les ressources sont autorisés dans KMPO, alors lorsque la valeur actuelle de toute ressource participant au cycle change, la classe d'une situation suffisante dans laquelle les coûts de cette ressource sont calculés peut changer de manière significative, ce qui, de l'avis de l'auteur , viole la stabilité des procédures de classification et de généralisation. De telles situations sont proposées pour être rejetées des procédures de généralisation, pour lesquelles il est recommandé d'appliquer dans les procédures SCM de vérification de la dépendance des résultats à d'éventuelles erreurs de modélisation. Si, lors de l'analyse de l'influence des erreurs de modélisation pour une certaine ressource SCM, il s'avère que la part de la variation des coûts à la sortie du projet pilote dépasse la part de la variation du test dans la valeur actuelle de la ressource, une telle ressource est considérée comme non fiable, la probabilité de défaillance lors de son utilisation pour la classification est prise proportionnelle au degré de l'excès mentionné. Si la probabilité de défaillance dépasse la valeur de seuil spécifiée (la probabilité de seuil par défaut est de 0,3), alors cette ressource est exclue des procédures de classification. Dans le cas contraire, la classification des situations est toujours effectuée, mais en tenant compte de la probabilité d'échecs, ce qui conduit en principe à une diminution du contraste des procédures de classification et, par conséquent, à une diminution de la probabilité d'inclure des situations impliquant un ressource peu fiable dans la catégorie optimale ou hautement préférable.

Analyse des dépendances spatio-temporelles. Le travail avec les dépendances spatio-temporelles est effectué à l'aide d'une bibliothèque de fonctions spatio-temporelles (SPF) - modules logiciels qui fournissent une sélection d'informations pertinentes pour la demande en cours à partir des bases de données sources correspondantes (BID), saisissant ces informations dans la base de données principale et les traitant pour prendre une décision sur la véracité ou la fausseté de la condition qui forme la requête. Ainsi, dans le cas général, le programme de chaque PVF comprend trois parties : un pilote BID qui organise l'interface entre la base de données principale et le BID, un programme d'écriture des résultats de la requête dans la base de données principale et un programme d'interprétation des résultats de la requête. . Dans ce cas, le changement de domaine entraîne la nécessité de modifier uniquement les pilotes BID.

Tous les PVF ont une sortie booléenne, c'est-à-dire qu'ils renvoient une réponse oui ou non à la suite de l'analyse de la condition logique qu'ils contiennent. Deux types de fonctions temporelles et trois types de fonctions spatiales ont été développés.

BULLETIN du Centre scientifique de Kola RAS 4/2015(23)

Interprétation du modèle conceptuel...

La fonction de temps INTERVAL prend en charge l'échantillonnage des données historiques sur une période de temps, sa syntaxe est la suivante :

pendant (<условие>,<начало>,<конец>,<доля>), (19)

Où<условие>peut ressembler à :

<имя> <знак> <подсписок_значений (n)>, (20)

il définit la caractéristique contrôlée de l'élément de tableau ;

<начало>Et<конец>définir, respectivement, les instants de début et de fin de l'intervalle de vérification (leur distance au passé par rapport à l'heure actuelle);

<доля>définit le pourcentage minimum autorisé (nombre) d'éléments parmi tous les éléments analysés qui doivent satisfaire<условию>de sorte que la fonction (19) donne une réponse affirmative à la requête.

Si une valeur de paramètre nulle est entrée<начало>, toutes les informations disponibles sont analysées jusqu'au moment<конец>. De même, avec une valeur nulle du paramètre<конец>, les données sont analysées à partir du moment<начало>jusqu'au point actuel dans le temps. Quand les valeurs correspondent<начало>Et<конец>un seul point dans le passé est pris en compte.

La fonction suivante vous permet de lier temporairement les données stockées

à l'heure indiquée dans la demande :

moment (<условие>,<время>,<доля>), (21)

Où<условие>Et<доля>sont formés de manière similaire à la fonction (19), et<время>- un instant fixe pour lequel l'opération est effectuée.

Les fonctions spatiales s'écrivent sous la forme :

voisin (<условие>,<доля>) (22)

similaire (<условие>,<доля>,<параметры_сходства>). (23)

Choix<условие>Et<доля>sont réglés comme dans les fonctions (19), (21); la différence entre les types de fonctions spatiales réside dans les critères de sélection des éléments pour l'analyse conjointe : dans la fonction (22), les éléments qui sont géométriquement adjacents à l'élément courant sont analysés, dans la fonction (23), les éléments qui ont les mêmes valeurs ​​lorsque l'élément actuel est sélectionné<параметров_сходства>, sélectionnés dans une liste de noms de paramètres et de variables existants. Par exemple, dans l'application du CCM au problème de la prévision des coups de toit<параметр_сходства>portait le nom de "faille" et servait à l'analyse conjointe des caractéristiques des éléments de l'objet appartenant à la faille tectonique.

La fonction NEAREST est conçue pour déterminer l'objet qui a les coordonnées spatiales les plus proches de celles données. La fonction renvoie une réponse affirmative si les coordonnées de l'objet se situent dans le voisinage spécifié. La fonction ressemble à ceci :

le plus proche (<условие>,<координаты>,<допуск>), (24)

où paramètre<условие>a la signification déjà décrite, le paramètre<координаты>décrit les caractéristiques spatiales du point d'ancrage, le paramètre<допуск>spécifie la distance autorisée en coordonnées spatiales à partir du point spécifié.

PVF ne peut être utilisé que dans les parties IF des règles ES et des formules de contrôle. Étant donné que tous les PVF ont une sortie booléenne, différents PVF peuvent être imbriqués une fois les uns dans les autres, c'est-à-dire des requêtes de la forme

voisin (similaire (<условие>,<доля1>,<параметры_сходства>),<доля2>). (25)

En même temps, le pilote BID génère une requête, selon laquelle, d'abord, les éléments qui satisfont le PVF le plus interne sont sélectionnés, puis ceux qui satisfont le PVF externe sont sélectionnés parmi eux, et ainsi de suite. Les caractéristiques des éléments sélectionnés sont réécrites dans la base de données (cette information est utilisée dans le mode explication), l'interpréteur calcule la valeur de sortie du PVF, qui est entrée dans la base de règles. Les sous-requêtes sont les plus intéressantes car

BULLETIN du Centre scientifique de Kola RAS 4/2015(23)

ET MOI. Friedmann

permettent, en combinant les PVF, d'évaluer conjointement les caractéristiques spatiales et temporelles de l'objet étudié.

Les PVF décrites ci-dessus permettent d'analyser une classe assez large

relations spatio-temporelles entre les caractéristiques des éléments de l'objet d'examen, cependant, en fonction des spécificités du domaine disciplinaire, il est possible de développer d'autres PVF.

Contrairement aux règles générées lors de la généralisation des situations par leurs types, les règles de généralisation du groupe considéré ici ne s'appliquent pas à la situation dans son ensemble, mais à des objets individuels, des processus ou même des ressources SCM. Dans les fentes PVF<условие>

Et<параметры_сходства>vous pouvez inclure des conditions logiques et diverses caractéristiques des éléments du SKM, y compris les types et les catégories de ces éléments. Le CCM ne prévoit pas de procédures automatiques pour générer de telles règles, elles sont conçues par l'utilisateur et les probabilités qu'elles contiennent sont recalculées lors de la classification de la même manière que celle décrite ci-dessus.

Conclusion

Sur la base des définitions formelles introduites des différents types de situations qui surviennent lors de la modélisation du LMS, son modèle hiérarchique a été développé, comprenant : un système formel - SCM et un ES intégré avec lui - avec un ensemble d'éléments de base (7) - ( 10), un ensemble de règles syntaxiques pour générer certains éléments du SCM d'autres sous la forme de relations de type (7), (8), le système d'axiomes (15), (16) et les règles d'inférence (17 ), (18), ainsi que les règles de modification des composants de ce système formel en fonction des objectifs de la modélisation et de la prédominance sur l'objet d'étude de la situation, fixées en sélectionnant les fragments appropriés du SCM et en contrôlant la sortie à le ES SCM. SCM fait référence aux modèles sémiotiques (signes), car il a développé trois groupes de règles logiques de transformation - reconstitution, classification et généralisation des situations.

Les différences du modèle proposé résident dans l'intégration d'outils axés sur l'étude de LMS, qui fournit un traitement de données logique-analytique conjoint et une analyse situationnelle de l'état de l'objet à l'étude en utilisant des connaissances expertes et en tenant compte des dépendances spatio-temporelles dans les caractéristiques du LMS réalisé à partir des informations cartographiques.

LITTÉRATURE

1. Kuzmin I.A., Putilov V.A., Filchakov V.V. Traitement distribué de l'information dans la recherche scientifique. L. : Nauka, 1991. 304 p. 2. Tsikritzis D., Lochowski F. Modèles de données. M. : Finances et statistiques, 1985. 420 p. 3. Samarsky A.A. Introduction aux méthodes numériques. M. : Nauka, 1987. 288 p. 4. Brzhezovsky A.V., Filchakov V.V. Analyse conceptuelle des systèmes informatiques. Saint-Pétersbourg : LIAP, 1991. 78 p. 5. Fridman A.Ya. Gestion situationnelle de la structure des systèmes industriels-naturels. Méthodes et modèles. Sarrebruck, Allemagne : LAP LAMBERT Academic Publishing, 2015. 530 p. 6. Pospelov D.A. Gestion situationnelle : théorie et pratique. M. : Nauka, 1986. 288 p. 7. Mitchell E. Esri Guide d'analyse SIG. 1999. Volume 1. 190 pages.

8. Modélisation conceptuelle des systèmes d'information / éd. V.V. Filchakov. Saint-Pétersbourg : SPVURE PVO, 1998. 356 p. 9. Génération automatique d'hypothèses dans les systèmes intelligents / comp. E.S. Pankratova, V.K. Finlandais. M. : LIBROKOM, 2009. 528 p. 10. Darwiche A. Modélisation et raisonnement avec les réseaux bayésiens. Cambridge University Press, 2009. 526 p.

Fridman Alexander Yakovlevich - Docteur en sciences techniques, professeur, chercheur principal à l'Institut d'informatique et de modélisation mathématique du KSC RAS ; e-mail: [courriel protégé] kolasc.net.ru

BULLETIN du Centre scientifique de Kola RAS 4/2015(23)

Images cartographiques 3D sont des cartes électroniques de niveau supérieur et représentent des images spatiales des principaux éléments et objets du terrain visualisés au moyen de systèmes de modélisation informatique. Ils sont destinés à être utilisés dans les systèmes de contrôle et de navigation (sol et air) dans l'analyse du terrain, la résolution de problèmes de calcul et la modélisation, la conception de structures d'ingénierie et la surveillance de l'environnement.

Technologie de simulation Le terrain vous permet de créer des images en perspective visuelles et mesurables très similaires au terrain réel. Leur inclusion selon un certain scénario dans un film informatique permet, lors de sa visualisation, de "voir" la zone depuis différents points de prise de vue, dans différentes conditions d'éclairage, pour différentes saisons et jours (modèle statique) ou de "survoler" celle-ci le long trajectoires de mouvement et de vitesse de vol données ou arbitraires - (modèle dynamique).

L'utilisation d'outils informatiques, qui comprennent des afficheurs vectoriels ou tramés, qui permettent de convertir des informations numériques d'entrée en une trame donnée dans leurs dispositifs tampons, nécessite la création préalable d'informations numériques en tant que telles. modèles spatiaux relief (PMM).

Les PMM numériques de par leur nature même sont un ensemble de données sémantiques, syntaxiques et structurelles numériques enregistrées sur un support machine, destinées à reproduire (visualiser) des images tridimensionnelles du terrain et des objets topographiques conformément aux conditions spécifiées pour observer (revoir) la surface de la terre.

Données initiales pour créer un PMM numérique peuvent servir de photographies, de documents cartographiques, de cartes topographiques et numériques, de plans de ville et d'informations de référence, fournissant des données sur la position, la forme, la taille, la couleur et la fonction des objets. Dans ce cas, l'exhaustivité du PMM sera déterminée par le contenu informatif des photographies utilisées et l'exactitude - par l'exactitude des documents cartographiques originaux.

Moyens techniques et méthodes de création de PMM

Développement moyens techniques et méthodes de création de PMM numérique est un problème scientifique et technique difficile. La solution à ce problème implique :

Développement d'outils matériels et logiciels pour l'obtention d'informations numériques tridimensionnelles primaires sur des objets de terrain à partir de photographies et de documents cartographiques;
- création d'un système de symboles cartographiques tridimensionnels ;
- développement de méthodes pour la formation de PMM numériques à partir d'informations cartographiques numériques primaires et de photographies ;
- développement d'un système expert pour la formation du contenu du PMM;
- développement des méthodes d'organisation des données numériques dans la banque PMM et des principes de construction de la banque PMM.



Développement matériel et logiciel l'obtention d'informations numériques tridimensionnelles primaires sur les objets du terrain à partir de photographies et de documents cartographiques est due aux caractéristiques fondamentales suivantes :

Des exigences plus élevées, par rapport au DSM traditionnel, pour le PMM numérique en termes d'exhaustivité et de précision ;
- utiliser comme décodage initial des photographies obtenues par des systèmes d'imagerie cadre, panoramique, à fente et CCD et non destinées à obtenir des informations de mesure précises sur des objets du terrain.

Création d'un système de symboles cartographiques en trois dimensions est une tâche fondamentalement nouvelle de la cartographie numérique moderne. Son essence réside dans la création d'une bibliothèque de signes conventionnels proches de l'image réelle des objets du terrain.

Méthodes de formation de PMM numérique l'utilisation d'informations cartographiques numériques primaires et de photographies doit garantir, d'une part, l'efficacité de leur visualisation dans les dispositifs de mémoire tampon des systèmes informatiques et, d'autre part, l'exhaustivité, la précision et la clarté requises de l'image tridimensionnelle.

Les études actuellement menées ont montré que, selon la composition des données initiales, des méthodes utilisant les méthodes suivantes peuvent être appliquées pour obtenir des PMM numériques :

informations cartographiques numériques;
- des informations cartographiques numériques et des photographies ;
- photographies.

Les méthodes les plus prometteuses sontà l'aide d'informations cartographiques numériques et de photographies. Les principaux peuvent être des méthodes de création de PMM numériques d'exhaustivité et de précision diverses: à partir de photographies et de DEM; basé sur des photographies et TsKM; à partir de photographies et DTM.

Le développement d'un système expert pour la formation du contenu du PMM devrait fournir une solution aux problèmes de conception d'images spatiales en sélectionnant la composition de l'objet, sa généralisation et sa symbolisation, et en l'affichant sur l'écran d'affichage dans la projection cartographique requise. Dans ce cas, il sera nécessaire de développer une méthodologie pour décrire non seulement les signes conventionnels, mais aussi les relations spatio-logiques entre eux.

La solution au problème de développement des méthodes d'organisation des données numériques dans la banque PMM et des principes de construction de la banque PMM est déterminée par les spécificités des images spatiales, les formats de présentation des données. Il est fort possible qu'il soit nécessaire de créer une banque spatio-temporelle avec une modélisation à quatre dimensions (X, Y, H, t), où les PMM seront générés en temps réel.

Outils matériels et logiciels pour l'affichage et l'analyse de PMM

Le deuxième problème est développement matériel et logiciel affichage et analyse des PMM numériques. La solution à ce problème implique :

Développement de moyens techniques d'affichage et d'analyse de PMM ;
- développement de méthodes de résolution de problèmes informatiques.

Développement matériel et logiciel l'affichage et l'analyse des PMM numériques nécessiteront l'utilisation de stations de travail graphiques existantes, pour lesquelles un logiciel spécial (SW) doit être créé.

Développement de méthodes de résolution de problèmes informatiques est un problème appliqué qui se pose dans le processus d'utilisation du PMM numérique à des fins pratiques. La composition et le contenu de ces tâches seront déterminés par des consommateurs PMM spécifiques.

CHAPITRE 1 ANALYSE DES METHODES ET SYSTEMES EXISTANTS DE TRAITEMENT ET DE RECONNAISSANCE D'OBJETS DYNAMIQUES A PARTIR DE SEQUENCES D'IMAGES.

1.1 L'image comme support d'informations hétérogènes.

1.2 Classification des problèmes de reconnaissance d'images.

1.3 Classification des méthodes d'estimation de mouvement.

1.3.1 Analyse des méthodes comparatives d'évaluation du mouvement.

1.3.2 Analyse des méthodes de gradient pour l'estimation de mouvement.

1.4 Classification des groupes de signes.

1.5 Analyse des méthodes de segmentation des objets en mouvement.

1.6 Méthodes d'interprétation des événements et de détermination du genre d'une scène.

1.7 Systèmes de traitement et de reconnaissance d'objets dynamiques.

1.7.1 Systèmes matériels et logiciels commerciaux.

1.7.2 Systèmes logiciels expérimentaux et de recherche.

1.8 Énoncé du problème de traitement spatio-temporel de séquences d'images.

1.9 Conclusions sur le chapitre.

CHAPITRE 2 MODÈLES DE TRAITEMENT ET DE RECONNAISSANCE D'IMAGES STATIQUES ET DYNAMIQUES.

2.1 Modèle de traitement et de reconnaissance d'images statiques.

2.2 Modèle de traitement et de reconnaissance d'images dynamiques.

2.3 Théorie descriptive de la reconnaissance d'images.

2.4 Extension de la théorie descriptive de la reconnaissance d'images.

2.5 Modèles généralisés pour la recherche de caractéristiques cibles dans le traitement et la reconnaissance d'objets dynamiques dans des scènes complexes.

2.6 Conclusions sur le chapitre.

CHAPITRE 3 RECHERCHE ET ÉVALUATION DES CARACTÉRISTIQUES LOCALES DE MOUVEMENT5 DES RÉGIONS DYNAMIQUES.119

3.1 Conditions et limites de la méthode améliorée de traitement des séquences d'images.

3.2 Évaluation des signes locaux de mouvement.

3.2.1 Phase d'initialisation.

3.2.2 Estimation du volume spatio-temporel de données.

3.2.3 Classification des régions dynamiques.

3.3 Méthodes pour trouver les mouvements locaux des régions.

3.3.1 Trouver et suivre les points clés de la scène.

3.3.2 Estimation du mouvement basée sur le tenseur de flux 3D.

3.4 Raffinement des limites des régions en mouvement.

3.5 Conclusions sur le chapitre.

CHAPITRE 4 SEGMENTATION D'OBJETS DYNAMIQUES DANS DES SCÈNES COMPLEXES.

4.1 Modèle de mouvement à plusieurs niveaux dans des scènes complexes.

4.2 Modèles d'estimation de mouvement sur un plan.

4.3 Étude des propriétés du groupe de Lie.

4.4 Isomorphismes et homomorphismes d'un groupe.

4.5 Modèle de la préhistoire du mouvement des objets dans des séquences d'images.

4.6 Segmentation d'une scène complexe en objets spatiaux.

4.6.1 Présegmentation.

4.6.2 Segmentation.

4.6.3 Post-segmentation.

4.7 Affichage ST du mouvement des points sur les séquences vidéo.

4.8 Conclusions sur le chapitre.

CHAPITRE 5 RECONNAISSANCE DES OBJETS DYNAMIQUES, DES ACTIONS ACTIVES ET DES ÉVÉNEMENTS D'UNE SCÈNE COMPLEXE.

5.1 Construction de la grammaire contextuelle :.

5.1.1 Formation d'arbres d'analyse.

5.1.2 Analyse syntaxique d'une séquence d'images.

5.1.3 Analyse syntaxique de la scène.

5.2 Construire un vidéaste pour une scène complexe.

5.3 Reconnaissance de modèles dynamiques.

5.4 Reconnaissance d'événements de scène.

5.4.1 Manière de détecter les actions actives.

5.4.2 Construire un vidéaste événementiel.

5.5 Reconnaissance des événements et du genre de scène.

5.5.1 Reconnaissance d'événement de scène.

5.5.2 Reconnaissance du genre de scène.

5.6 Conclusions sur le chapitre.

CHAPITRE 6 CONSTRUCTION DE SYSTEMES DE TRAITEMENT ET DE RECONNAISSANCE DE SEQUENCES D'IMAGES ET ETUDES EXPERIMENTALES.

6.1 Complexe logiciel expérimental "ZROEYA".

6.2 Fonctionnement des modules du système expérimental "EROEI.".

6.2.1 Module de prétraitement.".

6.2.2 Module d'estimation de mouvement.

6.2.3 Module Segmentation.

6.2.4 Module de reconnaissance d'objets.

6.2.5 Module de reconnaissance des actions actives.

6.3 Résultats des études expérimentales.

6.4 Projet d'application "Enregistrement visuel des plaques d'immatriculation nationales des véhicules en circulation multiflux."

6.5 Projet d'application "Système d'identification de modèles de caisses frigorifiques par images".

6.6 Système logiciel « Algorithmes de traitement et de segmentation d'images de paysage. Reconnaissance d'objets".

6.7 Conclusions sur le chapitre.

Liste recommandée de thèses

  • Reconstruction d'images basée sur l'analyse spatio-temporelle de séquences vidéo 2011, candidat des sciences techniques Damov, Mikhail Vitalievich

  • Méthode informatique de localisation de visage dans des images sous des conditions d'éclairage difficiles 2011, candidat des sciences techniques Pakhirka, Andrey Ivanovich

  • Une méthode de traitement spatio-temporel des séquences vidéo non synchronisées dans les systèmes de vision stéréo 2013, Ph.D. Pyankov, Dmitry Igorevich

  • Théorie et méthodes d'analyse d'images morphologiques 2008, docteur en sciences physiques et mathématiques Vizilter, Yuri Valentinovich

  • Reconnaissance de gestes dynamiques dans un système de vision par ordinateur basé sur la représentation médiale de la forme des images 2012, Ph.D. Kurakin, Alexey Vladimirovitch

Introduction à la thèse (partie du résumé) sur le thème "Modèles et méthodes de reconnaissance d'images dynamiques basés sur l'analyse spatio-temporelle de séquences d'images"

Il existe une classe de tâches dans lesquelles les informations sur la structure et le mouvement des objets d'une scène complexe revêtent une importance particulière (vidéosurveillance dans des espaces clos, dans des lieux bondés, contrôle du mouvement de complexes robotiques, surveillance du mouvement de véhicules, etc.). Les séquences d'images sont une ressource d'information complexe qui est structurée dans l'espace et dans le temps et combine des informations initiales sous la forme de signaux multidimensionnels, la forme de sa représentation dans un ordinateur et des modèles physiques d'objets, de phénomènes et de processus dynamiques. De nouvelles capacités techniques de traitement d'images numériques permettent de prendre en compte partiellement ces spécificités d'images, tout en utilisant simultanément les acquis de la théorie cognitive de la perception humaine des images visuelles.

L'analyse du volume spatio-temporel de données permet d'identifier non seulement les caractéristiques statiques, mais aussi dynamiques des objets d'observation. Dans ce cas, le problème de reconnaissance peut être défini comme une classification d'ensembles d'états ou comme une classification de trajectoires, dont la solution ne peut être trouvée par les méthodes de reconnaissance classiques, car les transitions temporelles peuvent générer des transformations d'image qui ne sont pas décrites par des dépendances analytiques connues ; Outre la tâche de reconnaissance d'objets dynamiques, il existe également des tâches de reconnaissance d'actions et d'événements actifs, par exemple pour détecter des actions non autorisées dans des endroits bondés ou pour déterminer le genre d'une scène à indexer dans des bases de données multimédia. Si nous considérons la tâche de reconnaissance d'objets et d'événements à partir de séquences d'images comme un processus unique, alors la plus appropriée est une approche hiérarchique avec des éléments de traitement parallèle à chaque niveau.

L'amélioration des moyens techniques de collecte et de restitution d'informations sous forme d'images statiques (photos) et de séquences vidéo nécessite le développement de méthodes et d'algorithmes pour leur traitement, l'analyse des situations et la reconnaissance des objets représentés. La formulation théorique initiale du problème de la reconnaissance d'images remonte aux années 1960-1970. et se reflète dans un certain nombre d'œuvres d'auteurs bien connus. La formulation d'un problème de reconnaissance d'image peut varier du problème de reconnaissance d'objet lui-même, des problèmes d'analyse de scène aux problèmes de compréhension d'image et aux problèmes de vision artificielle. Dans le même temps, les systèmes décisionnels intelligents basés sur des méthodes de reconnaissance de formes et d'images utilisent des informations d'entrée de type complexe. Il comprend à la fois des images obtenues dans une large gamme d'ondes du spectre électromagnétique (ultraviolet, visible, infrarouge, etc.), ainsi que des informations sous forme d'images sonores et de données de localisation. Malgré la nature physique différente, ces informations peuvent être représentées sous la forme d'images réelles d'objets et d'images spécifiques. Les données radiométriques sont des images plates d'une scène présentées en perspective ou en projection orthogonale. Ils sont formés en mesurant l'intensité des ondes électromagnétiques d'une certaine gamme spectrale, réfléchies ou émises par les objets de la scène. Habituellement, des données photométriques mesurées dans le domaine spectral visible sont utilisées - images monochromatiques (luminosité) * ou en couleur : les données de localisation sont les coordonnées spatiales des points observés de la scène. Si les coordonnées sont mesurées pour tous les points de la scène, alors un tel tableau de données de localisation peut être appelé une image de la profondeur de la scène. Il existe des modèles d'image simplifiés (par exemple, des modèles de projection affine, représentés par des projections à faible perspective, para-perspective, orthogonales et parallèles), dans lesquels la profondeur de la scène est considérée comme une valeur constante, et l'image de localisation de la scène ne ne contiennent pas d'informations utiles. Dans ce cas, l'information sonore a un caractère d'événement auxiliaire.

Les données photométriques sont mesurées le plus rapidement. Les informations de localisation sont généralement calculées à partir des données reçues de dispositifs spéciaux(par exemple, un télémètre laser, un radar) ou en utilisant une méthode stéréoscopique pour analyser les images de luminosité. En raison des difficultés à obtenir rapidement des données de localisation (en particulier pour les scènes avec une forme d'objets visuels en évolution rapide), les tâches de description d'une scène à partir d'une seule image visuelle prévalent, c'est-à-dire tâches de perception visuelle monoculaire de la scène. Dans le cas général, il est impossible de déterminer complètement la géométrie de la scène à partir d'une seule image. Ce n'est que sous certaines restrictions pour des scènes modèles assez simples et la disponibilité d'informations a priori sur la disposition spatiale des objets, qu'il est possible de construire une description tridimensionnelle complète à partir d'une seule image. L'un des moyens de sortir de cette situation est le traitement et l'analyse de séquences vidéo reçues d'une ou plusieurs caméras vidéo installées immobiles ou en mouvement dans l'espace.

Ainsi, les images sont la principale forme de représentation des informations sur le monde réel, et un développement ultérieur des méthodes de transformation et d'analyse sémantique des images individuelles et des séquences vidéo est nécessaire. L'une des directions les plus importantes dans le développement de tels systèmes intelligents est l'automatisation du choix des méthodes de description et de transformation des images, en tenant compte de leur nature informationnelle et des objectifs de reconnaissance dès les premières étapes du traitement des images.

Les premiers travaux de chercheurs américains (Louisiana State University, Carnegie Mellon University, Pittsburgh), suédois ("Computational Vision and Active Perception Laboratory (CVAP), Department of Numerical Analysis and Computer Science), français (INRIA), britannique ( Université de Leeds), Allemagne (Université de Karlsruhe), Autriche (Université du Queensland), Japon, Chine (School of Computer Science, Fudan University) sur le traitement de séquences d'images et la reconnaissance dynamique d'objets ont été publiés à la fin des années 1980 Plus tard, des travaux similaires ont commencé à comparaître et en Russie: à Moscou (MGU, MAI (STU), MIPT, GosNII AS), Saint-Pétersbourg (SPbSU, GUAP, FSUE GOI, LOMO), Ryazan (RGRTU), Samara (SSAU), Voronej (VSU) , Yaroslavl (YarSU), Kirov (VSU), Taganrog (TTI SFU), Novosibirsk (NSU), Tomsk (TSPU), Irkutsk (IrSU), Ulan-Ude (ESTU) et d'autres villes de cette région, en tant qu'académicien Académie russe des sciences, docteur en sciences techniques Yu. I. Zhuravlev, Membre correspondant de l'Académie russe des sciences, docteur en sciences techniques V. A. Soifer, docteur en sciences techniques N. G. Zagoruiko, docteur en sciences techniques L. M. Mestetsky, docteur en sciences techniques B. A. Alpatov et autres À ce jour, des progrès significatifs ont été réalisés dans la construction de systèmes de vidéosurveillance, de systèmes d'authentification d'identité basés sur des images, etc. Cependant, il existe des problèmes non résolus dans la reconnaissance des images dynamiques en raison de la complexité et de la diversité du comportement des objets dans le monde réel. Ainsi, cette direction doit améliorer les modèles, les méthodes et les algorithmes de reconnaissance d'objets et d'événements dynamiques à partir de séquences d'images dans différentes gammes de rayonnement électromagnétique, ce qui permettra de développer des systèmes de vidéosurveillance à un niveau qualitativement nouveau.

L'objectif du travail de thèse est d'augmenter l'efficacité de la reconnaissance d'objets dynamiques, de leurs actions et événements actifs dans des scènes complexes par des séquences d'images pour des systèmes de vidéosurveillance extérieurs et intérieurs.

L'objectif fixé a déterminé la nécessité de résoudre les tâches suivantes :

Analyser des méthodes d'estimation de mouvement et de recherche de signes de mouvement d'objets à partir d'un ensemble d'images séquentielles, des méthodes de segmentation d'objets dynamiques et d'analyse sémantique de scènes complexes, ainsi que des approches de construction de systèmes de reconnaissance et de suivi d'objets dynamiques de divers but désigné.

Développer des modèles de reconnaissance d'images statiques et dynamiques basés sur une procédure hiérarchique de traitement de séries temporelles, en particulier de séquences d'images.

Développer une méthode d'estimation du mouvement de structures dynamiques basée sur des informations spatio-temporelles obtenues dans différentes gammes de rayonnement électromagnétique, qui permet de choisir des méthodes de segmentation en fonction de la nature du mouvement et, ainsi, d'effectuer une reconnaissance adaptative d'images dynamiques.

Créer un modèle de mouvement à plusieurs niveaux de structures dynamiques dans une scène complexe, qui permet, sur la base des données odométriques obtenues, de construire des trajectoires de mouvement de structures dynamiques et d'émettre des hypothèses sur l'existence d'objets visuels basés sur l'analyse de la préhistoire de mouvements.

Développer un algorithme de segmentation complexe qui prend en compte l'ensemble des caractéristiques identifiées des structures dynamiques pour les directions arbitraires de mouvement et le chevauchement des projections d'objets, basé sur un modèle de mouvement à plusieurs niveaux dans des scènes complexes.

Développer une méthode de reconnaissance d'images dynamiques présentées en termes de grammaire formelle et de vidéographie de scène basée sur la méthode de prise de décision collective, ainsi que des méthodes de reconnaissance d'actions et d'événements actifs dans une scène complexe à l'aide de graphes d'actions et d'événements actifs (extension le vidéographe d'une scène complexe), et un réseau bayésien .

Sur la base des méthodes et modèles développés, concevoir des systèmes expérimentaux à diverses fins ; conçu pour le traitement de séquences d'images d'objets caractérisés par un ensemble fixe et arbitraire de 2£>-projections, et -reconnaissance d'images dynamiques c. scènes difficiles.

Méthodes, recherche. Lors de l'exécution des travaux de thèse, des méthodes de théorie de la reconnaissance des formes, de la théorie descriptive de la reconnaissance d'images, de la théorie du traitement du signal, des méthodes d'analyse vectorielle et de calcul tensoriel, ainsi que de la théorie des groupes, de la théorie des grammaires formelles ont été utilisées.

La nouveauté scientifique du travail de thèse est la suivante :

1. Un nouveau modèle de transformation d'image dynamique a été construit, qui se distingue par des niveaux hiérarchiques étendus de segmentation (selon les vecteurs de mouvement locaux et globaux) et de reconnaissance (des objets et de leurs actions actives), ce qui permet de trouver des caractéristiques cibles pour les scènes statiques avec objets en mouvement et scènes dynamiques basés sur le concept d'invariant dynamique maximal.

2. La théorie descriptive de la reconnaissance d'images a été élargie en introduisant quatre nouveaux principes : la prise en compte de l'objectif de reconnaissance aux stades initiaux de l'analyse, la reconnaissance du comportement des objets dynamiques, l'estimation de la préhistoire, un nombre variable d'objets d'observation, qui améliore la qualité de la reconnaissance des objets en mouvement en augmentant le contenu informatif des données initiales.

3. Pour la première fois, une méthode spatio-temporelle adaptative d'estimation de mouvement dans des séquences synchrones des gammes visible et infrarouge de rayonnement électromagnétique a été développée, qui permet d'extraire des signes de mouvement à différents niveaux hiérarchiques, combinant les avantages des deux types de séquences d'images.

4. Un nouveau modèle de mouvement à plusieurs niveaux a été développé ; permettant de décomposer la scène en niveaux séparés ; non > limité ; division généralement acceptée en premier plan et arrière-plan, qui permet une segmentation plus fiable des images d'objets dans ; scènes de perspective complexes.

5 : Justifié ? et construit ; nouveau; algorithme généralisé de segmentation d'objets dynamiques ; avec, en appliquant, un ensemble de caractéristiques, y compris des histoires de comportement ; et vous permet de suivre à la fois la dynamique des objets visuels individuels et l'interaction des objets dans la scène (projections qui se chevauchent ; l'apparition/la disparition d'objets du champ de vision du capteur vidéo) en fonction des transformations de groupe ; et la première analyse proposée de la partie commune des projections d'objets (à partir de deux images adjacentes) en utilisant des estimations intégrales et invariantes.

6. La méthode de prise de décision collective est modifiée, ce qui diffère dans la recherche de signes de projections inter-images d'un objet et permet de prendre en compte l'historique des observations pour reconnaître les actions et événements actifs basés sur le réseau bayésien, ainsi que quatre types de pseudo-distances sont proposées pour trouver une mesure de similarité v des images dynamiques avec des images dynamiques de référence en fonction de la représentation des caractéristiques dynamiques.

Importance pratique. Les méthodes et algorithmes proposés dans le travail de thèse sont destinés à une utilisation pratique dans la surveillance des véhicules en circulation à plusieurs voies dans le cadre du projet d'État Safe City, dans les systèmes de contrôle automatisés pour divers processus de production technologiques par séquences vidéo, dans les systèmes de vidéosurveillance extérieurs et la vidéosurveillance intérieure, ainsi que dans les systèmes d'identification d'objets sur photographies aériennes et de reconnaissance d'images de paysage.Sur la base des recherches de la thèse, des systèmes logiciels de traitement et de reconnaissance d'objets dynamiques utilisés dans divers domaines d'activité ont été développés.

Mise en œuvre des résultats du travail. Les programmes développés sont inscrits au registre russe des programmes informatiques: le programme «Segmentation d'images de texte manuscrit (SegPic)» (certificat n ° 2008614243, Moscou, 5 septembre 2008); Programme d'estimation de mouvement (certificat n° 2009611014, Moscou, 16 février 2009) ; programme "Localisation du visage (FaceDetection)" (certificat n° 2009611010, Moscou, 16 février 2009); le programme "Système d'imposition d'effets naturels visuels sur une image statique (imitation d'effets naturels)" (certificat n° 2009612794, Moscou, 30 juillet 2009) ; programme "Détection visuelle de fumée (SmokeDetection)" (certificat n° 2009612795, Moscou, 30 juillet 2009) ; "Programme d'enregistrement visuel des plaques d'immatriculation nationales des véhicules pendant le trafic multithread (FNX CTRAnalyzer)" (certificat n° 2010612795, Moscou, 23 mars 2010), programme "Amélioration d'image non linéaire" (certificat n° 2010610658, g. Moscou , 31 mars 2010

Des actes ont été reçus sur le transfert et l'utilisation d'algorithmes et de logiciels pour la reconnaissance de boîtiers de réfrigérateurs sur une chaîne de montage (OJSC KZH Biryusa, Krasnoïarsk), pour l'identification d'images d'objets sur des images de paysage (Concern of Radio Engineering Vega, OJSC KB Luch, Rybinsk, Yaroslavl région), pour segmenter la végétation forestière par un ensemble de photographies aériennes consécutives (LLC Altex Geomatica, Moscou), pour détecter les plaques d'immatriculation des véhicules dans des séquences vidéo lors d'un trafic multiflux et améliorer la qualité de leur affichage ^ (UGIBDD GUVD pour Territoire de Krasnoïarsk, Krasnoïarsk).

Les algorithmes et logiciels développés sont utilisés dans le processus éducatif lors de la conduite de cours dans les disciplines "Traitement intelligent des données", "Technologies informatiques dans les sciences et l'éducation", "Fondements théoriques du traitement d'images numériques", "Reconnaissance de formes", "Réseaux de neurones" , « Algorithmes de traitement d'images », « Algorithmes de traitement de séquences vidéo », « Analyse de scène et vision artificielle » à l'Université aérospatiale d'État de Sibérie du nom de l'académicien M.F. Reshetnev (SibGAU).

La fiabilité des résultats obtenus dans le travail de thèse est assurée par l'exactitude des méthodes de recherche utilisées, la rigueur mathématique des transformations effectuées, ainsi que la correspondance des dispositions et conclusions formulées avec les résultats de leur vérification expérimentale.

Les principales dispositions pour la défense:

1. Un modèle de traitement et de reconnaissance d'images dynamiques dans des scènes complexes, considérablement étendu par des niveaux hiérarchiques de segmentation et de reconnaissance non seulement des objets, mais également de leurs actions actives.

2. Extension de la théorie descriptive de la reconnaissance d'images pour les séries temporelles (séquences d'images) en augmentant le contenu informationnel des données analysées non seulement dans le domaine spatial, mais aussi dans la composante temporelle.

3. Méthode spatio-temporelle adaptative pour estimer le mouvement sur. sur la base de représentations tensorielles des volumes IS locaux dans des séquences synchrones des domaines visible et infrarouge du rayonnement électromagnétique.

4. Un modèle de mouvement à plusieurs niveaux dans des scènes complexes, qui étend la décomposition des scènes de perspective en niveaux séparés pour une analyse plus fiable des trajectoires de mouvement des objets.

5. Un algorithme de segmentation généralisé pour les objets dynamiques qui permet, sur la base des transformations de groupe et des estimations intégrales et invariantes proposées, d'identifier les projections d'objets qui se chevauchent, l'apparition / la disparition d'objets du champ de vision du capteur vidéo.

6. Méthodes de reconnaissance d'images dynamiques basées sur une méthode modifiée de prise de décision collective et de recherche de pseudo-distances dans des espaces métriques, ainsi que d'actions et d'événements actifs dans des scènes complexes.

Approbation du travail. Les principales dispositions et résultats de la recherche de thèse ont été rapportés et discutés lors de la 10e conférence internationale "Pattern Recognition and Image Analysis: Modern Information Technologies", (S.-Petersburg, 2010), le congrès international "Ultra Modern Telecommunications and Control Systems ICUMT2010" (Moscou, 2010) ; XII Symposium international sur les méthodes non paramétriques en cybernétique et analyse de système (Krasnoyarsk, 2010), II Symposium international "Intelligent Decision-Technologies - IDT 2010" (Baltimore, 2010), III Conférence internationale. « Automatisation, contrôle ? et technologies de l'information - AOIT-ICT"2010" (Novossibirsk, 2010), 10ème, 11ème et 12ème conférences et expositions internationales "Traitement du signal numérique et ses applications" (Moscou, 2008 - 2010), Xème conférence scientifique et technique internationale "Théorie et questions appliquées des technologies de l'information modernes" (Ulan-Ude, 2009), IXe conférence scientifique et technique internationale "Cybernétique et hautes technologies du XXIe siècle" (Voronezh, 2008), conférence panrusse "Modèles et méthodes de traitement d'images" (Krasnoyarsk , 2007), aux X, XI et XIII conférences scientifiques internationales « Reshetnev readings » (Krasnoïarsk, 2006, 2007, 2009), ainsi qu'à des séminaires scientifiques Université d'État Instrumentation aérospatiale (Saint-Pétersbourg, 2009), Institut de modélisation informatique du CO

RAS (Krasnoïarsk, 2009), Institut des systèmes de traitement d'images RAS (Samara, 2010).

Publications. Selon les résultats de la recherche de thèse, 53 travail imprimé, dont 1 monographie, 26 articles (dont 14 articles - dans des publications incluses dans la liste des VAK, 2 articles - dans des publications répertoriées dans le "Thomson Reuters : Science Citation Index Expanded / Conference Proceedings Citation Index"), 19 abstracts, 7 certificats inscrits au registre russe des programmes informatiques, ainsi que 3 rapports de recherche.

Contribution personnelle. Tous les principaux résultats présentés dans la thèse, y compris la formulation des problèmes et leurs solutions mathématiques et algorithmiques, ont été obtenus par l'auteur personnellement ou réalisés sous sa direction scientifique et avec une participation directe. Sur la base des matériaux du travail, deux mémoires ont été soutenus pour le diplôme de candidat en sciences techniques, au cours desquels l'auteur était le directeur officiel.

Structure de travail. L'ouvrage comprend une introduction, six chapitres, une conclusion, une bibliographie. Le texte principal du mémoire contient 326 pages, la présentation est illustrée par 63 figures et 23 tableaux. La liste bibliographique comprend 232 titres.

Thèses similaires dans la spécialité "Fondements théoriques de l'informatique", 05.13.17 code HAC

  • Algorithmes combinés pour la sélection opérationnelle d'objets en mouvement dans une séquence d'images vidéo basés sur la méthode différentielle locale pour le calcul du flux optique 2010, candidat des sciences techniques Kazakov, Boris Borisovich

  • Méthodes de stabilisation de séquences vidéo de scènes statiques et dynamiques complexes dans des systèmes de vidéosurveillance 2014, candidat des sciences techniques Buryachenko, Vladimir Viktorovich

  • Procédé et système de traitement d'images médicales dynamiques 2012, candidat des sciences techniques Maryaskin, Evgeny Leonidovich

  • Reconnaissance sous tous les aspects d'images radar d'objets au sol (de surface) avec segmentation de l'espace des caractéristiques en zones de quasi-invariance 2006, candidat des sciences techniques Matveev, Alexey Mikhailovich

  • Méthodes et algorithmes pour détecter des caractères de texte superposés dans des systèmes de reconnaissance d'images avec une structure d'arrière-plan complexe 2007, candidat des sciences techniques Zotin, Alexander Gennadievich

Conclusion de la thèse sur le thème "Fondements théoriques de l'informatique", Favorskaya, Margarita Nikolaevna

6.7 Conclusions du chapitre

Dans ce chapitre, la structure et les principales fonctions du complexe logiciel expérimental "ZROEL", v.1.02, qui effectue un traitement hiérarchique systémique des séquences d'images jusqu'aux plus hauts niveaux de reconnaissance d'objets et d'événements, sont examinées en détail. Système automatisé, qui nécessite une participation humaine pour la formation et le réglage des graphes, des réseaux et des classificateurs. Un certain nombre de modules système de bas niveau fonctionnent automatiquement. La structure du progiciel est telle qu'il est possible de modifier des modules sans affecter les autres modules du système. Représentée schémas fonctionnels les principaux modules du système : module, prétraitement, module d'estimation de mouvement, module de segmentation, module de reconnaissance d'objets et module de reconnaissance d'actions actives.

Des études expérimentales basées sur ce progiciel ont été menées sur plusieurs séquences vidéo et séquences infrarouges de la base de données de test OTCBVS^07, sur les séquences vidéo de test du taxi de Hambourg, Rubik cube. "Silent", ainsi que sur leur propre matériel vidéo. Cinq méthodes d'estimation de mouvement ont été testées. Il a été démontré expérimentalement que la méthode d'appariement de blocs et la méthode de séquence infrarouge proposée montrent des valeurs similaires et sont les moins précises. La méthode proposée pour la séquence vidéo et la méthode de suivi des caractéristiques ponctuelles montrent des résultats similaires. Dans le même temps, l'approche tensorielle développée nécessite une plus petite quantité de calculs informatiques par rapport à la méthode de suivi des caractéristiques ponctuelles. Il convient d'utiliser l'utilisation conjointe de séquences vidéo synchronisées et de séquences infrarouges pour trouver le module du vecteur vitesse dans des conditions d'éclairement réduit de la scène.

Pour reconnaître les objets visuels, quatre types de pseudo-distances ont été utilisées (pseudo-distances de Hausdorff, Gromov-Hausdorff, Fréchet, pseudo-distance naturelle) pour trouver une mesure de similarité des images dynamiques d'entrée avec les images dynamiques de référence (selon la présentation de une caractéristique dynamique - un ensemble de caractéristiques numériques, des ensembles de vecteurs, des ensembles de fonctions). Ils ont montré leur validité pour des images avec des transformations morphologiques admissibles. Nous avons utilisé des estimations normalisées intégrées de la forme du contour Kc de la partie commune de la projection de l'objet entre des cadres conditionnellement adjacents et l'aire de la partie commune 5e et une estimation invariante - la fonction de corrélation des parties communes du projections Fcor. L'utilisation d'une méthode modifiée de prise de décision collective permet de "rejeter" les observations infructueuses des images d'entrée (cas de projections d'objets qui se chevauchent, distorsion de la scène des sources d'éclairage, etc.) et de sélectionner les observations les plus appropriées. Des expériences ont montré que l'utilisation d'une méthode modifiée de prise de décision collective augmente la précision de la reconnaissance de 2,4 à 2,9 % en moyenne.

Des résultats expérimentaux d'évaluation de mouvement, de segmentation et de reconnaissance d'objets ont été obtenus sur des séquences test d'images ("Taxi de Hambourg", "Rubik cube". "Silencieux", séquences vidéo et séquences infrarouges de la base de données de test "OTSVVS" 07). bases de données de test "PETS", "CAVIAR", "VACE". La nature de la séquence visuelle de test affecte les performances. Les objets qui effectuent un mouvement de rotation sont reconnus moins bien ("cube Rubik"), mieux - objets fabriqués par l'homme de petites tailles ("Taxi de Hambourg", "Vidéo 1"). Les meilleurs résultats sont montrés par la reconnaissance par deux séquences. De plus, les meilleurs résultats expérimentaux ont été obtenus lors de la reconnaissance d'actions actives périodiques de personnes qui ne sont pas en groupe (marcher, courir, lever les mains). Les faux positifs sont dus à la présence d'ombres à plusieurs endroits de la scène.

À la fin * du sixième chapitre, des "projets appliqués tels que" Enregistrement visuel des plaques d'immatriculation nationales des véhicules en trafic multi-thread "," Système d'identification des modèles de boîtiers de réfrigérateur par des images "," Algorithmes de traitement de la segmentation i, images de paysage. Identification des objets ". Algorithmique et. Le logiciel a été transféré aux organisations intéressées : les résultats de l'opération de test ont montré l'opérabilité du logiciel développé sur la base des modèles et des méthodes proposés dans le travail de thèse.

CONCLUSION

Dans le travail de thèse, un problème scientifique et technique important de traitement de données spatio-temporelles obtenues à partir de séquences des gammes visible et infrarouge de rayonnement électromagnétique et de reconnaissance d'images dynamiques dans des scènes complexes a été posé et résolu. Le système de méthodes hiérarchiques de traitement et d'extraction de caractéristiques à partir de données spatio-temporelles est une base méthodologique pour résoudre des problèmes appliqués dans le domaine de la vidéosurveillance.

L'introduction justifie la pertinence du travail de thèse, formule le but et fixe les objectifs de la recherche, montre la nouveauté scientifique et la valeur pratique de la recherche effectuée, et présente les principales dispositions soumises à la soutenance.

Le premier chapitre montre que les objets visuels dans les séquences vidéo sont caractérisés par un vecteur de caractéristiques plus multidimensionnel que les images dans la formulation classique du problème de reconnaissance d'images statiques.

Une classification des principaux types de problèmes de reconnaissance pour les images statiques, les scènes statiques avec des éléments de mouvement et les séquences d'images est construite, ce qui reflète la nature historique du développement des méthodes mathématiques dans ce domaine. Une analyse détaillée des méthodes d'estimation de mouvement, des algorithmes de segmentation pour les objets en mouvement et des méthodes d'interprétation des événements dans des scènes complexes a été réalisée.

Les systèmes matériels et logiciels commerciaux existants dans des domaines tels que la surveillance des véhicules à des fins diverses, le traitement des vidéos sportives, la sécurité (reconnaissance faciale, entrée non autorisée de personnes dans une zone protégée) sont examinés.Les développements de la recherche pour les systèmes de vidéosurveillance sont également analysés.

A la fin du chapitre 1, l'énoncé du problème de traitement spatio-temporel des séquences d'images est présenté, présenté sous la forme de trois niveaux et cinq étapes de traitement et de reconnaissance des informations visuelles des séquences d'images.

Dans le deuxième chapitre de la thèse, des modèles formels de traitement et de reconnaissance d'objets par leurs images statiques et leurs séquences d'images sont développés. Les applications admissibles sont construites dans l'espace des images et dans l'espace des caractéristiques pour le problème direct et le problème inverse. Des règles pour construire des fonctions de décision invariantes et un invariant dynamique maximal généralisé sont données. Lors de la reconnaissance, les trajectoires de différentes images dans l'espace multidimensionnel des caractéristiques peuvent se croiser. Lorsque les projections d'objets se croisent, trouver un invariant dynamique maximal généralisé devient encore plus difficile, voire impossible dans certains cas.

Les principes de base de la théorie descriptive de la reconnaissance d'images sont considérés, qui est basée sur des méthodes régulières pour sélectionner et synthétiser des procédures algorithmiques pour le traitement de l'information dans la reconnaissance d'images. Des principes supplémentaires sont proposés qui élargissent la théorie descriptive des images dynamiques : prise en compte de l'objectif de reconnaissance aux étapes initiales du traitement des séquences d'images, reconnaissance des situations comportementales des objets dynamiques, estimation de la préhistoire des objets dynamiques, un nombre variable d'objets d'observation dans des scènes complexes.

Le problème de la recherche de caractéristiques cibles pour l'analyse des séquences d'images en fonction du type de prise de vue (dans le cas d'une prise de vue à angle unique), du mouvement du capteur vidéo et de la présence d'objets en mouvement dans la zone de visibilité est examiné en détail. Les descriptions de quatre situations dans l'espace des caractéristiques sont données au fur et à mesure que la tâche devient plus complexe.

Le troisième chapitre formule les étapes de traitement des séquences d'images et de reconnaissance des objets, des actions actives, des événements et du genre de scène. Les étapes reflètent la nature hiérarchique séquentielle du traitement de l'information visuelle. Les conditions et limites des méthodes hiérarchiques de traitement spatio-temporel des séquences d'images sont également présentées.

La classification des régions dynamiques image est réalisée en analysant les valeurs propres 31) du tenseur structurel, dont les vecteurs propres sont déterminés à partir des déplacements locaux des intensités image des trames voisines et servent à estimer les orientations locales des régions dynamiques. Une nouvelle méthode pour estimer le mouvement dans le volume spatio-temporel de données dans les gammes de rayonnement visible et infrarouge basée sur l'approche tensorielle est étayée. La possibilité d'utiliser un noyau spatialement variable, adaptatif à la taille et à l'orientation de l'environnement ponctuel, est envisagée. L'adaptation de l'environnement, qui a initialement la forme d'un cercle, puis se transforme en forme d'ellipse orientée après 2-3 itérations, améliore l'évaluation des structures orientées dans l'image. Une telle stratégie améliore les estimations de gradient dans l'ensemble de données spatio-temporelles.

L'estimation des paramètres de mouvement locaux est effectuée en calculant les primitives géométriques et les points singuliers de la région locale. Ainsi, l'évaluation des signes locaux du mouvement des régions est la base pour émettre des hypothèses ultérieures selon lesquelles les objets visuels appartiennent à l'une ou l'autre classe. L'utilisation de séquences vidéo synchrones et de séquences infrarouges améliore les résultats de la segmentation des régions mobiles dans l'image et la recherche de vecteurs de mouvement locaux.

Il est montré que les frontières dans les images couleur peuvent être estimées sur la base de méthodes de gradients multidimensionnels construits dans toutes les directions en chaque point de la frontière, de méthodes vectorielles utilisant des statistiques d'ordre sur une image couleur, ainsi que d'une approche tensorielle dans le cadre d'une analyse multidimensionnelle. méthodes de gradient. Les moyens d'affiner les informations de contour sont essentiels pour les régions montant arbitraire projections autorisées.

Dans le quatrième chapitre, un modèle de mouvement à plusieurs niveaux est construit sur la base de structures de mouvement, qui reflète la dynamique des objets dans des scènes réelles et élargit la représentation à deux niveaux de la scène, divisée en objets d'intérêt et en arrière-plan stationnaire.

Des modèles de mouvement d'objets sur un plan basés sur la théorie des groupes de Lie compacts sont étudiés. Des modèles de transformation projective et des variétés de modèles de transformation affine sont présentés. De telles transformations décrivent bien des structures de mouvement avec un nombre limité de projections (objets technogéniques). La représentation de structures avec un nombre illimité de projections (objets anthropiques) par des transformations affines ou projectives s'accompagne d'un certain nombre de conditions supplémentaires (notamment exigence d'éloignement des objets du capteur vidéo, objets de petite taille, etc.) . Des définitions et un théorème prouvés par L. S. Pontryagin sont donnés, sur la base desquels il a été possible de trouver un automorphisme interne de coordonnées de groupe décrivant un objet jusqu'à des décalages entre cadres voisins. L'amplitude des décalages est déterminée par la méthode d'estimation du mouvement de la différence intertrame développée au chapitre 3.

Une extension des transitions admissibles entre groupes de transformations dues à la dualité de nature des 2£)-images (affichage des changements dans la projection d'un objet individuel et intersection visuelle de plusieurs objets : (interaction d'objet)) est construite. On trouve des critères qui, lors du changement de groupes de transformations, fixent des actions et des événements actifs dans la scène, à savoir des estimations intégrées de la forme du contour Kc de la partie commune de la projection entre des cadres conditionnellement voisins et la zone du commun partie 5e et estimations invariantes - la fonction de corrélation des parties communes des projections Pcog et les constantes structurelles du groupe de Lie c "g, qui nous permettent d'estimer le degré de variabilité et de révéler la nature du mouvement des objets observés.

Un modèle de la préhistoire du mouvement des objets dans des séquences d'images a également été construit, comprenant des séries temporelles de trajectoires de mouvement, les changements de forme d'un objet lorsqu'il se déplace dans l'espace 3L>, ainsi que les changements de forme d'un objet. associé à l'interaction des objets dans la scène et à l'apparition/disparition d'un objet du champ de vision du capteur (utilisé pour reconnaître les actions et événements actifs dans la scène). 1

Un algorithme généralisé de segmentation d'objets dans des scènes complexes a été développé qui prend en compte des cas complexes de segmentation (superposition d'images, apparition et disparition d'objets du champ de vision de la caméra, mouvement vers la caméra), qui comprend trois sous-étapes : pré-segmentation, segmentation et post-segmentation. Pour chaque sous-étape, des tâches, des données initiales et de sortie sont formulées, des organigrammes d'algorithmes sont développés qui permettent la segmentation de scènes complexes en utilisant les avantages des séquences synchrones de différentes plages de rayonnement.

Le cinquième chapitre traite du processus de reconnaissance dynamique des formes à l'aide d'une grammaire formelle, d'un vidéaste de scène et d'une méthode modifiée de prise de décision collective. Une scène dynamique avec un mouvement à plusieurs niveaux a une structure variable dans le temps, il est donc conseillé d'utiliser des méthodes de reconnaissance structurelle. La grammaire contextuelle à trois niveaux proposée pour reconnaître des scènes complexes avec des mouvements d'objets à plusieurs niveaux met en œuvre deux tâches : la tâche d'analyse d'une séquence d'images et la tâche d'analyse d'une scène.

Un moyen plus visuel de description sémantique d'une scène est un vidéographe construit à l'aide de la méthode de regroupement hiérarchique. Basé sur des fonctionnalités complexes niveau inférieur des structures spatiales locales, stables dans le temps, des objets spatiaux locaux sont formés et un vidéographe de la scène est construit, comprenant des objets spatiaux reconnus, un ensemble d'actions qui leur sont inhérentes, ainsi que des connexions spatio-temporelles entre eux.

La méthode modifiée de prise de décision collective repose sur une procédure de reconnaissance à deux niveaux. Au premier niveau, la reconnaissance de l'appartenance d'une image à un domaine de compétence particulier est effectuée. Au deuxième niveau entre en vigueur la règle de décision dont la compétence est maximale dans un domaine donné. Des expressions pour les pseudo-distances sont construites lors de la recherche d'une mesure de similarité des images dynamiques d'entrée avec des images dynamiques de référence, en fonction de la représentation des caractéristiques dynamiques - un ensemble de caractéristiques numériques, un ensemble de vecteurs, un ensemble de fonctions.

Lors de la reconnaissance d'événements, le vidéaste de scène complexe est étendu au vidéaste d'événement : un modèle dépendant de l'objet d'un objet dynamique est construit. En tant que fonction de mise en correspondance, les classificateurs les plus simples dans l'espace des caractéristiques sont utilisés (par exemple, par la méthode ^-means), puisque la mise en correspondance est effectuée selon un ensemble limité de modèles associés à un objet préalablement identifié. Les manières de former des modèles de projections d'objets visuels sont considérées.

Le vidéographe des événements est construit sur la base des réseaux de Markov. Des procédés de détection d'actions actives d'agents, ainsi que la procédure de construction et de découpage d'un vidéographe d'événement pour reconnaître des événements dans une scène, sont considérés. En même temps, pour chaque événement, son propre modèle est construit, qui est formé sur des exemples de test. La détection d'événements est réduite au regroupement d'actions actives exécutées séquentiellement sur la base d'une approche bayésienne. Une découpe récursive est effectuée - la matrice des coefficients de pondération dans la séquence vidéo d'entrée et la comparaison avec les événements de référence obtenus à l'étape d'apprentissage. Ces informations sont* la source pour déterminer le genre de la scène et, si nécessaire, indexer la séquence vidéo dans la base de données. Un système de compréhension et d'interprétation d'images et de matériel vidéo pour l'indexation dans des bases de données Internet multimédia a été développé.

Le sixième chapitre présente une description du complexe logiciel expérimental "SPOER", v.l.02 pour le traitement de séquences d'images et la reconnaissance d'objets et d'événements en mouvement. Il effectue un traitement hiérarchique systémique des séquences d'images jusqu'aux plus hauts niveaux de reconnaissance d'objets et d'événements. Il s'agit d'un système automatisé qui nécessite une intervention humaine pour former et ajuster les graphes, les réseaux et les classificateurs. Un certain nombre de modules système de bas niveau fonctionnent automatiquement.

Dans des études expérimentales menées à l'aide du progiciel SPOER, v.l.02, des séquences vidéo et des séquences d'images infrarouges de la "base de test 07" de l'OTCBVS, des séquences vidéo de test "Hamburg taxi", "Rubik cube", "Silent" et nos propres supports vidéo ont été Cinq méthodes d'estimation de mouvement ont été testées.La méthode proposée pour la séquence vidéo montre les résultats les plus précis et nécessite moins de calculs informatiques par rapport aux autres méthodes.L'utilisation combinée de séquences vidéo synchronisées et de séquences infrarouges est utile pour trouver des modules de vecteur de vitesse à faible -conditions de la scène lumineuse.

Pour reconnaître les objets visuels avec des transformations morphologiques acceptables des projections, nous avons utilisé des estimations normalisées intégrées de la forme du contour Kc de la partie commune de la projection de l'objet entre des cadres conditionnellement adjacents et la zone de la partie commune 5e et une estimation invariante - la fonction de corrélation des parties communes des projections Fcor. L'utilisation d'une méthode modifiée de prise de décision collective permet de "rejeter" les observations infructueuses des images d'entrée (cas de projections d'objets qui se chevauchent, distorsions visuelles de la scène à partir de sources lumineuses, etc.) et de sélectionner les observations les plus appropriées. Des expériences ont montré que l'utilisation d'une méthode modifiée de prise de décision collective augmente la précision de la reconnaissance de 2,4 à 2,9 % en moyenne.

Résultats expérimentaux de score-mouvement ; la segmentation et la reconnaissance d'objets ont été obtenues sur des séquences test d'images ("Hamburg taxi", "Rubik cube", "Silent", séquences vidéo et séquences infrarouges de la base de test "OTCBVS*07"). Pour reconnaître les actions actives des personnes, des exemples des bases de données de test "PETS", "CAVIAR", "VACE" ont été utilisés. Les meilleurs résultats sont montrés par la reconnaissance par deux séquences. De plus, les meilleurs résultats expérimentaux ont été obtenus lors de la reconnaissance d'actions actives périodiques de personnes n'appartenant pas à des groupes (marcher, courir, lever la main). Les faux positifs sont causés par le contre-jour et la présence d'ombres à plusieurs endroits de la scène.

Sur la base du complexe expérimental "ZROEYA", V. 1.02, des systèmes de traitement d'informations vidéo à des fins diverses ont été développés: "Enregistrement visuel des plaques d'immatriculation nationales des véhicules en circulation multiflux", "Système d'identification des modèles de caisses de réfrigérateur par images", "Algorithmes de traitement et de segmentation d'images de paysage . Reconnaissance d'objets". Algorithmique et logiciel ont été transférés aux organisations intéressées. Les résultats de l'opération de test ont montré l'opérabilité du logiciel développé sur la base des modèles et méthodes proposés dans le travail de thèse.

Ainsi, les résultats suivants ont été obtenus dans le travail de thèse :

1. Des modèles formels de traitement et de reconnaissance de structures spatio-temporelles sont construits selon une procédure hiérarchique adaptative. traitement de séquences d'images, qui diffèrent en ce qu'ils prennent en compte des transformations isomorphes et homomorphes et dérivent des fonctions généralisées d'invariants statiques et dynamiques. Des modèles de recherche de caractéristiques statiques et dynamiques d'objets ont également été construits pour quatre tâches d'analyse de séquences d'images, en fonction de la présence d'un capteur vidéo en mouvement1 et d'objets en mouvement dans la scène.

2. Les principales dispositions de l'approche descriptive de la reconnaissance des séquences d'images ont été élargies, permettant de prendre en compte les objectifs de reconnaissance aux étapes initiales du traitement des séquences d'images avec segmentation ultérieure des zones d'intérêt, de construire des trajectoires de mouvement et de reconnaître le comportement de objets dynamiques, tenir compte de l'historique du mouvement des objets lors du franchissement de leurs projections, accompagner un nombre variable d'objets d'observation.

3. Une méthode hiérarchique de traitement et de reconnaissance des structures spatio-temporelles a été développée, composée de trois niveaux et cinq étapes et impliquant la normalisation des projections d'objets, ce qui permet de réduire le nombre de normes pour une classe lors de la reconnaissance d'objets dynamiques complexes .

4. Une méthode d'estimation de mouvement pour des séquences d'images dans les domaines visible et infrarouge du rayonnement électromagnétique a été développée, qui diffère par l'utilisation de jeux de données spatio-temporelles, présentés sous la forme de tenseurs structuraux 3£> et de tenseurs bB. flux, respectivement. L'estimation de mouvement résultante vous permet de choisir la méthode la plus efficace pour segmenter les objets visuels dynamiques qui diffèrent par le nombre de projections valides.

5. Un modèle de mouvement multiniveau des régions d'image basé sur des vecteurs de vitesse locaux a été construit, qui diffère en ce qu'il permet de diviser la scène non seulement en objets de premier plan et d'arrière-plan, mais aussi en niveaux de mouvement d'objets éloignés de l'observateur. Cela est particulièrement vrai pour les scènes complexes enregistrées par un capteur vidéo en mouvement, lorsque tous les objets de la scène sont en mouvement relatif.

6. Un algorithme de segmentation adaptative pour les objets dynamiques a été développé : a) pour les objets avec un nombre limité de projections, basé sur l'analyse de la préhistoire du mouvement des régions dynamiques locales, caractérisé en ce que lorsque les images se chevauchent, la forme des la région est complétée selon le gabarit courant et, sous réserve de l'application du filtre de Kalman, on prédit la trajectoire courante ; b) pour des objets avec un nombre arbitraire de projections basées sur des caractéristiques complexes d'analyse, de couleur, de texture, statistiques, topologiques et de mouvement, caractérisé en ce que lorsque les images se chevauchent, la forme de la région est complétée en utilisant la méthode des contours actifs.

7. Une méthode est proposée pour construire un vidéographe dynamique d'une scène complexe en utilisant la méthode de regroupement hiérarchique d'éléments complexes de niveau inférieur en structures spatiales locales stables dans le temps, puis en objets spatiaux locaux. Le vidéaste généré établit des relations temporelles entre les objets et conserve toutes les caractéristiques généralisées pour reconnaître les événements de la scène. La grammaire bidimensionnelle de M.I. Schlesinger dans le cadre de la méthode de reconnaissance structurelle à une grammaire contextuelle à trois niveaux.

8 : Pour la reconnaissance d'objets dynamiques, la méthode de prise de décision collective est modifiée, qui reconnaît d'abord que l'image appartient au domaine de compétence, puis choisit la règle de décision dont la compétence est maximale dans le domaine donné. Quatre types de pseudo-distances sont construits pour trouver une mesure de similarité entre les images dynamiques d'entrée et les normes, en fonction de la représentation des caractéristiques dynamiques.

9. Une méthode de reconnaissance d'événements basée sur le réseau bayésien a été développée, qui effectue un découpage récursif de la matrice de coefficients de pondération dans la séquence vidéo d'entrée et une comparaison avec des événements de référence obtenus à l'étape d'apprentissage. Ces informations sont à l'origine de la détermination du genre de la scène et de l'indexation des séquences vidéo dans des bases de données Internet multimédia.

10. Les problèmes pratiques de traitement et de reconnaissance de séquences d'images sont résolus à l'aide de la méthode adaptative-hiérarchique de traitement spatio-temporel, l'efficacité de la méthode est démontrée, l'efficacité du système de méthodes de traitement hiérarchique est démontrée, etc. reconnaissance d'informations visuelles avec possibilité de sélection adaptative de caractéristiques c. processus de résolution de problèmes. Les résultats obtenus sous la forme de systèmes expérimentaux conçus ont été transférés aux organisations intéressées.

Ainsi, dans ce travail de thèse, un problème scientifique et technique important de support d'information pour les systèmes de vidéosurveillance a été résolu et une nouvelle direction a été développée dans le domaine du traitement spatio-temporel et de la reconnaissance d'images dynamiques.

Liste de références pour la recherche de thèse Docteur en sciences techniques Favorskaya, Margarita Nikolaevna, 2011

1. Analyse automatique d'images complexes / Ed. EM. Bra-vermana. M. : Mir, 1969. - 309 p. Bongard M.M. Problèmes de reconnaissance. - M. : Nauka, 1967.-320 p.

2. Alpatov, B.A., Détection d'un objet en mouvement dans une séquence d'images en présence de restrictions sur la surface et la vitesse de l'objet / B.A. Alpatov, A.A. Kitaev // Traitement numérique des images, n° 1, 2007. p. 11-16.

3. Alpatov, B.A., Sélection d'objets en mouvement dans des conditions de distorsions géométriques de l'image / B.A. Alpatov, P.V. Babayan // Traitement numérique du signal, n° 45 2004. p. 9-14.

4. Alpatov, B.A., Babayan P.V. Méthodes de traitement et d'analyse d'images" dans les systèmes embarqués de détection et de suivi d'objets / B.A. Alpatov, P.V. Babayan // Traitement numérique du signal, n° 2, 2006. 45-51 p.

5. Bolshakov, A.A., Méthodes de traitement des données multivariées et des séries chronologiques : Manuel pour les universités / A.A. Bolchakov, R.I. Karimov/M. : Hotline-Telecom, 2007. 522 p.6 : Bongard, M.M. Problèmes de reconnaissance / M.M. Bongard / M. : Nauka, 1967.-320 p.

6. Bulinsky, A.B. Théorie des processus aléatoires1 / A.B. Bulinsky, A.N. Shiriaev / M. : FIZMATLIT, 2005. 408 p.

7. Weinzweig, M.N. Architecture du système de représentation de scène dynamique visuelle en termes de concepts / M.N. Vaintsvaig, M.N. Polyakov // sam. tr. 11e panrusse. conf. "Méthodes mathématiques de reconnaissance de formes (MMRO-11)", M., 2003. pp. 261-263.

8. Vapnik, V.N. La tâche d'apprentissage de la reconnaissance des formes / V.N. Vapnik/M. : Connaissance, 1970. - 384 p.

9. P.Vapnik, V.N. Théorie de la reconnaissance des formes (problèmes statistiques d'apprentissage) / V.N. Vapnik, A.Ya. Chervonenkis / M. : Nauka, 1974. 416 p.

10. Vasiliev, V.I. Reconnaissance des corps en mouvement / V.I. Vasiliev, A.G. Ivakhnenko, V.E. Reutsky et autres // Automation, 1967, n° 6, p. 47-52.

11. Vasiliev, V.I. Systèmes de reconnaissance / V.I. Vasiliev / Kyiv : Nauk. Dumka, 1969. 292 p.

12. Vasiliev, V.I. Reconnaître les systèmes. Répertoire / V.I. Vasiliev / Kiev, Nauk, Dumka, 1983. 422 p.

13. Vizilter, Yu.V. Application de la méthode d'analyse des preuves morphologiques dans les problèmes de vision artificielle>/ Yu.V. Vizilter // Bulletin de l'informatique et des technologies de l'information, n° 9, 2007 p. 11-18.

14. Vizilter, Yu.V. Morphologies projectives basées sur l'interpolation / Yu.V. Vizilter // Bulletin de l'informatique et des technologies de l'information, n° 4, 2008.-p. 11-18.

15. Vizilter, Yu.V., Les morphologies projectives et leur application à l'analyse structurale des images numériques / Yu.V. Vizilter, S.Yu. Jeltov // Izv. COURU. TiSU, n° 6, 2008. p. 113-128.

16. Vizilter, Yu.V. Étude du comportement des filtres autorégressifs dans le problème de détection et d'analyse de mouvement sur des séquences vidéo numériques / Yu.V. Vizilter, B.V. Vishnyakov // Bulletin des technologies informatiques et de l'information, n ° 8, 2008. - p. 2-8.

17. Vizilter, Yu.V. Morphologies d'images projectives basées sur des modèles décrits par des fonctionnelles structurantes /Yu.V. Vizilter, S.Yu. Jeltov // Bulletin des technologies informatiques et de l'information, n ° 11, 2009.-p. 12-21.

18. Vishnyakov, B.V. Utilisation de la méthode modifiée des flux optiques dans le problème de la détection de mouvement et du suivi interimage.

19. Ganebnykh, S.N. Analyse de scène basée sur l'utilisation de représentations arborescentes d'images / S.N. Ganebnykh, M.M. Lange // sam. tr. 11e panrusse. conf. "Méthodes mathématiques de reconnaissance de formes (MMRO-11)", M., 2003.-p. 271-275.

20. Glushkov, V.M. Introduction à la cybernétique / V.M. Glushkov / Kyiv: Maison d'édition de l'Académie des sciences de la RSS d'Ukraine, 1964. 324 p.

21. Gonzalez, R., Woods R. Traitement d'image numérique. Traduction de l'anglais. éd. P.A. Chochia / R. Gonzalez, R. Woods / M. : Technosfera, 2006. 1072 p.

22. Goroshkin, A.N., Segmentation d'images textuelles manuscrites (SegPic) / A.N. Goroshkin, M.N. Favorskaya // Certificat n° 2008614243. Inscrit au registre des programmes informatiques, Moscou, 5 septembre 2008.

23. Grenander, W. Conférences sur la théorie des images / W. Grenander / En 3 volumes / Traduit de l'anglais. Éd. Yu.I. Zhuravleva. Moscou : Mir, 1979-1983. 130 s.

24. Gruzman, I.S. Traitement d'image numérique dans les systèmes d'information : manuel. Allocation / I.S. Gruzman, C.-B. Kirichuk, V.P. Kosykh, G.I. Peretyagin, A.A. Spektor / Novosibirsk, maison d'édition NSTU, 2003. p. 352.

25. Inférence fiable et plausible dans les systèmes intelligents, Ed. V.N. Vagin, D.A. Pospelov. 2e éd., rév. et supplémentaire - M. : FIZMATLIT, 2008. - 712 p.

26. Duda, R. Reconnaissance de formes et analyse de scène / R. Duda, P. Hart / M. : Maison d'édition Mir, 1978. 512 p.

27. Zhuravlev Yu.I. Sur l'approche algébrique pour résoudre les problèmes de reconnaissance et de classification / Yu.I. Zhuravlev // Problèmes de cybernétique : sam. st., question. 33, M. : Nauka, 1978. p. 5-68.

28. Zhuravlev Yu.I. Sur la correction algébrique des procédures de traitement (transformation) de l'information / Yu.I. Zhuravlev, K.V. Rudakov // Problèmes de mathématiques appliquées et d'informatique, M.: Nauka, 1987. p. 187-198.

29. Zhuravlev Yu.I. Reconnaissance de formes et reconnaissance d'images / Yu.I. Zhuravlev, I.B. Gurevich // Annuaire « Reconnaissance. Classification. Prévision. Les méthodes mathématiques et leur application », vol. 2, M. : Nauka, 1989.-72 p.

30. Zhuravlev Yu.I. Reconnaissance de formes et analyse d'images / Yu.I. Zhuravlev, I.B. Gurevich / L'intelligence artificielle en 3 livres. Livre. 2. Modèles et méthodes : Handbook / Ed. OUI. Pospelova, M.: maison d'édition "Radio et Communication", 1990. - pp. 149-190.

31. Zagoruiko, N. G. Les méthodes de reconnaissance et leur application / N.G. Za-goruiko / M. : Sov. Radio, 1972. 206 p.

32. Zagoruiko, N. G. Intelligence artificielle et prédiction empirique / N.G. Zagoruiko / Novossibirsk : éd. NSU, ​​1975. 82 p.

33. Ivakhnenko AG De l'application de la théorie de l'invariance et du contrôle combiné à la synthèse et à l'analyse des systèmes d'apprentissage / A.G. Ivakhnenko // Automatisation, 1961, n° 5, p. 11-19.

34. Ivakhnenko, G.I. Systèmes de reconnaissance et de contrôle automatique à apprentissage automatique / A.G. Ivakhnenko / Kiev : Tekhnika, 1969. 302 p.

35. Kashkin, V.B. Télédétection de la Terre depuis l'espace. Traitement d'image numérique : Manuel / V.B. Kashkin, A.I. Su-hinin / Moscou : Logos, 2001. 264 p.

36. Kobzar, A.I. Statistiques mathématiques appliquées. Pour ingénieurs et scientifiques / A.I. Kobzar / M. : FIZMATLIT, 2006. 816 p.

37. Kovalevsky, V.A. Méthode de corrélation de reconnaissance d'image / V.A. Kovalevsky // Zhurn. Calcul. Mathématiques et physique mathématique, 1962, 2, n° 4, p. 684-690.

38. Kolmogorov, A.N. : Epsilon-entropie et epsilon-capacité des ensembles dans les espaces fonctionnels / A.N. Kolmogorov, V.M. Tikhomirov // Théorie de l'information et théorie des algorithmes. M. : Nauka, 1987. p. 119-198.

39. Korn, G. Manuel de mathématiques pour scientifiques et ingénieurs / G.Korn, T. Korn // M. : Nauka, Ch. éd. Phys.-Math. lit., 1984. 832 p.

40. Kronover, R. Fractales et chaos dans les systèmes dynamiques / R. Kronover // M. : Tekhnosfera, 2006. 488 p.

41. Lapko, A.B. Systèmes de classification non paramétriques* et hybrides pour données hétérogènes / A.V. Lapko, BlA. Lapko // Tr. 12e panrusse. conf. "Méthodes mathématiques et modèles de reconnaissance de formes" (MMRO-12), M., 2005.-p. 159-162.

42. Levtin, K.E. Détection visuelle de fumée (SmokeDetection) / K.E. Levtin, M.N. Favorskaya // Certificat n° 2009612795. Inscrit au registre des programmes informatiques, Moscou, 3 juillet 2009.

43. Lutsiv, V.R. Principes d'unification des systèmes optiques des robots / V.R. Lutsiv, M.N. Favorskaya // V-livre. "Unification et standardisation des robots industriels", Tachkent, 1984. p. 93-94.

44. Lutsiv, V.R. Système optique universel pour HAP / V.R. Lutsiv, M.N. Favorskaya // Dans le livre. "Expérience dans la création, la mise en œuvre et l'utilisation de systèmes de contrôle de processus dans les associations et les entreprises", L., LDNTP, 1984. p. 44-47.

45. Medvedeva, E.V. Méthode d'estimation des vecteurs de mouvement dans les images vidéo / E.V. Medvedeva, B.O. Timofeev // Dans les documents de la 12e conférence et exposition internationale "Le traitement du signal numérique et son application", M. : V 2 vol. T. 2, 2010. p. 158-161.

46. ​​​​Méthodes de traitement d'images par ordinateur / Éd. V.A. Soifer. 2e éd., espagnol. - M. : FIZMATLIT, 2003. - 784 p.

47. Méthodes de détection et de suivi automatiques d'objets. Traitement et contrôle d'images / B.A. Alpatov, P.V. Babayan, O.E. Balachov, A.I. Stepashkine. -M. : Ingénierie radio, 2008. - 176 p.

48. Méthodes d'optique informatique / Ed. V.A. Soifer. M. : FIZMATLIT, 2003. - 688 p.

49. Mudrov, A.E. Méthodes numériques pour PC en BASIC, Fortran et Pascal / A.E. Mudrov / Tomsk: MP "RASKO", 1991. 272 ​​​​p.

50. Pakhirka, A.I. Localisation du visage (FaceDetection) / A.I. Pakhirka, M.N. Favorskaya // Certificat n° 2009611010. Inscrit au registre des programmes informatiques, Moscou, 16 février 2009.

51. Pakhirka, A.I. Amélioration d'image non linéaire / A.I. Pakhirka, M.N. Favorskaya // Certificat n° 2010610658. Inscrit au registre des programmes informatiques, Moscou, 31 mars 2010.

52. Pontryagin L. S. Groupes continus J L. S. Pontryagin // 4e éd., M. : Nauka, 1984.-520 p.

53. Potapov, A.A. Fractales en radiophysique et radar : topologie d'échantillonnage / A.A. Potapov // éd. 2e, révisé. et supplémentaire - M. : Universitetskaya kniga, 2005. 848 p.

54. Radchenko Yu.S. Enquête sur l'algorithme spectral de détection des "changements dans la séquence vidéo" / Yu.S. Radchenko, A.V. Bulygin, T.A. Radchenko // Izv.

55. Salnikov, II. Signaux spatio-temporels raster dans les systèmes d'analyse d'images / I.I. Salnikov // M. : FIZMATLIT, 2009. -248 p.

56. Sergunin, S.Yu. Schéma de construction dynamique d'une description multiniveau d'images / S.Yu.Sergunin, K.M.Kvashnin, M.I. Kumskov // sam. tr. 11e panrusse. conf: "Méthodes mathématiques de reconnaissance de formes (MMRO-11)", M., 2003. p. 436-439 :

57. Slynko Yu.V. Résoudre le problème du suivi et du contournement simultanés par la méthode du maximum de vraisemblance / Yu.V. Slynko // Traitement numérique du signal, n° 4, 2008. p. 7-10

58. Solso, R. Psychologie cognitive / R. Solso / Saint-Pétersbourg : Peter, 6e éd., 2006. 590 p.

59. Tarasov, I.E. Développement d'appareils numériques basés sur le FPGA Xi-linx utilisant le langage VHDL / I.E. Tarasov / M.: Hotline-Telecom, 2005. - 252 p.

60. Favorskaya, M.N. Développement d'algorithmes de reconnaissance d'images numériques dans des systèmes robotiques adaptatifs / M.N*. Favorskaya // L!, Institut d'aviation de Leningrad. Instrumentation, 1985. Dépôt du manuscrit : chez VINITI le 23.01.85. N° 659-85 Dép.

61. Favorskaïa ; M.N. Application de méthodes spectrales pour la normalisation et la reconnaissance d'images dans des complexes robotiques adaptatifs / M.N. * Favorskaya // L., Leningradsky, in-t aviation. priborostr., 1985. Manuscrit dép. chez VINITI le 23 janvier 1985. N° 660-85 Dép.

62. Favorskaya, M.N. Expérience dans le développement d'algorithmes de reconnaissance d'objets pour la production d'emboutissages / M.N. Favorskaya // Dans le livre. "État, expérience et directions de travail sur l'automatisation intégrée basée sur GPS, RTK et PR", Penza, 1985. p. 64-66.

63. Favorskaya, M.N. Etude des propriétés projectives des groupes d'objets / M.N. Favorskaya, Yu.B. Kozlova // Bulletin de l'Université aérospatiale d'État de Sibérie. Problème. 3, Krasnoïarsk, 2002. - p. 99-105.

64. Favorskaya, M.N. Détermination de la structure affine d'un objet par mouvement / M.N. Favorskaya // Bulletin de l'Université aérospatiale d'État de Sibérie, Vol. 6, Krasnoïarsk, 2005. - p. 86-89.

65. Favorskaya-M.N. Classification générale des approches de reconnaissance d'images / M-.N. Favorskaïa // V< материалах X междунар. научн. конф. «Решетневские чтения» СибГАУ, Красноярск, 2006. с. 54-55.

66. Favorskaya M.N. Fonctions de décision invariantes dans les problèmes de reconnaissance d'images statiques / M.N. Favorskaya // Bulletin de l'Université aérospatiale d'État de Sibérie. Problème. 1 (14), Krasnoïarsk, 2007. p. 65-70.

67. Favorskaya, M.N. Méthodes probabilistes de segmentation de flux vidéo en tant que problème de données manquantes / M.N. Favorskaya // Bulletin de l'Université aérospatiale d'État de Sibérie. Problème. 3 (16), Krasnoïarsk, 2007. p. 4-8.

68. Favorskaya, M.N. Sélection de caractéristiques informatives cibles dans les systèmes de reconnaissance d'images / M.N. Favorskaya // Dans les matériaux du XI Inter-Dunar. scientifique conf. "Lectures Reshetnev" SibGAU, Krasnoïarsk, 2007 p. 306-307.

69. Favorskaya, M.N. Stratégies de segmentation d'images bidimensionnelles / M.N. Favorskaya // Dans les documents de la conférence scientifique panrusse "Modèles et méthodes de traitement d'image MMOI-2007", Krasnoïarsk, 2007. p. 136-140.

70. Favorskaya, M.N. Segmentation des images de paysage selon l'approche fractale / M.N. Favorskaya // Dans les documents de la 10e conférence et exposition internationale "Le traitement du signal numérique et son application", M., 2008. p. 498-501.

71. Favorskaya, M.N. Modèle de reconnaissance d'image de texte manuscrit / M.N. Favorskaya, A.N. Goroshkin // Bulletin de l'Université aérospatiale d'État de Sibérie. Problème. 2" (19), Krasnoïarsk, 2008. pp. 52-58.

72. Favorskaya, M.N. Algorithmes pour la mise en œuvre de l'estimation de mouvement dans les systèmes de vidéosurveillance / M.N. Favorskaya, A.S. Shilov // Systèmes de gestion et technologies de l'information. Recherche avancée / IPU RAS ; VSTU, n° 3.3(33), M.-Voronej, 2008. p. 408^12.

73. Favorskaya, M.N. Sur la question de l'utilisation des grammaires formelles dans la reconnaissance d'objets dans des scènes complexes // M.N. Favorskaya / Dans les documents de la XIIIe conférence scientifique internationale. "Lectures de Reshetnev". A 2 h 4.2, Krasnoïarsk, 2009. p. 540-541.

74. Favorskaya, M.N. Reconnaissance dynamique de formes basée sur des filtres prédictifs / M.N. Favorskaya // Bulletin de l'Université aérospatiale d'État de Sibérie. Problème. 1(22) à 2 heures 4f. 1, Krasnoïarsk, 20091 p. 64-68.

75. Favorskaya, M.N., Methods, motion search in video sequences / M.N. Favorskaya, A.I. Pahirka, AC Chilov; M.V. Damov // Bulletin. Université aérospatiale d'État de Sibérie. Problème. 1 (22) à 2 h Partie 2, Krasnoïarsk, 2009. p. 69-74.

76. Favorskaya, M.N. Recherche d'objets vidéo en mouvement à l'aide de tenseurs structurels 3D locaux / M.N. Favorskaya // Bulletin de l'Université aérospatiale d'État de Sibérie. Problème. 2 (23), Krasnoïarsk, 2009. p. 141-146.

77. Favorskaya, M.N. Évaluation du mouvement des objets dans des scènes complexes basée sur l'approche tensorielle / M.N. Favorskaya // Traitement numérique du signal, n° 1, 2010.-p. 2-9.

78. Favorskaya, M.N. Calcul complexe des caractéristiques des images de paysage / M.N. Favorskaya, N.Yu. Petoukhov // Optical Journal, 77, 8, 2010.-p. 54-60.

79. Bien, C.-B. Reconnaissance d'image / B.C. Fin // M. : Nauka, 1970.-284 p.

80. Forsythe, DA Vision par ordinateur. Approche moderne / D.A. Forsyth, J. Pons // M. : Williams Publishing House, 2004. 928 p.

81. Fu, K. Méthodes séquentielles en reconnaissance de formes et apprentissage automatique / K. Fu / M. : Nauka, 1971. 320 p.

82. Fu, K. Méthodes structurelles en reconnaissance de formes / K. Fu / M. : Mir, 1977.-320 p.

83. Fukunaga, K. Introduction à la théorie statistique de la reconnaissance des formes / K. Fukunaga / M. : Nauka, 1979. 368 p.

84. Shelukhin, O.I. Auto-similarité et fractales. Applications de télécommunication / O.I. Shelukhin, A.V. Osin, S.M. Smolsky / Éd. O.I. Chelukhine. M. : FIZMATLIT, 2008. 368 p.

85. Shilov, AS Définition du mouvement (MotionEstimation) / A.S. Shilov, M.N. Favorskaya // Certificat n° 2009611014. Inscrit au registre des programmes informatiques, Moscou, 16 février 2009.

86. Sh.Shlezinger, M.I. Méthode de corrélation pour la reconnaissance de séquences d'images / M.I. Schlesinger / Dans le livre : Machines à lire. Kiev : Nauk.dumka, 1965. p. 62-70.

87. Schlesinger, MI. Analyse syntaxique de signaux visuels bidimensionnels sous interférence / M.I. Schlesinger // Cybernetics, n° 4, 1976. - pp. 76-82.

88. Stark, G.-G. Application des ondelettes pour DSP / G.-G. Shtark/Ml : Technosphère, 2007. 192 p.

89. Shup, T. Méthodes numériques appliquées en physique et technologie : Per. de l'anglais. / T. Shup / Éd. S.P. Merkuriev ; M. : Plus haut. École, 19901 - 255 p.11 "5. Electr, ressource : http://www.cse.ohio-state.edu/otcbvs-bench

90. Electr, ressource : http://www.textures.forrest.cz/ ressource électronique (base de texture images textures library forrest).

91. Electr, ressource : http://www.ux.uis.no/~tranden/brodatz.html ressource électronique (base de données d'images de texture Brodatz).

92. Allili M.S., Ziou D. Contours actifs pour le suivi d'objets vidéo à l'aide d'informations de région, de frontière et de forme // SIViP, Vol. 1, non. 2, 2007.pp. 101-117.

93. Almeida J., Minetto R., Almeida T.A., Da S. Torres R., Leite N.J. Estimation robuste du mouvement de la caméra à l'aide de modèles de flux optiques // Lecture Notes in

94. Computer Science (y compris les sous-séries Lecture Notes in Artificial Intelligence et Lecture Notes in Bioinformatics) 5875 LNCS (PART 1), 2009. pp. 435-446.

95. Ballan L., Bertini M., Bimbo A. D., Serra G. Classification des événements vidéo à l'aide de noyaux de chaînes // Multimed. Outils Appl., Vol. 48, non. 1, 2009.pp. 6987.

96. Ballan L. Bertini M. Del Bimbo A., Serra G. Catégorisation des actions dans les vidéos de football à l'aide de noyaux de cordes // Dans : Proc. of IEEE Int "l Workshop on Content-Based Multimedia Indexing (CBMI). La Canée, Crète, 2009. pp. 13-18.

97. Barnard K., Fan Q. F., Swaminathan R., Hoogs A., Collins R, Rondot P. et Kaufhold J. Évaluation de la sémantique localisée : données, méthodologie et expériences // International Journal of Computer Vision, IJCV 2008, Vol. 77, non. 1-3,2008.-pp. 199-217.

98. Bertini M., Del Bimbo A., Serra G. Règles d'apprentissage pour l'annotation sémantique d'événements vidéo // Notes de cours en informatique ; Dans : Proc. of Int "l Conference on Visual Information Systems (VISUAL), Vol. 5188, 2008. pp. 192-203.

99. Bobick A.F., Davis J.W. La reconnaissance du mouvement humain à l'aide de modèles temporels // IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 23, non. 3, 2001.pp. 257-267.

100. Boiman O., Irani M. Détection des irrégularités dans les images et dans la vidéo // International Journal of Computer Vision, Vol. 74, non. 1, 2007.pp. 17-31.

101. Bresson X., Vandergheynst P., Thiran J.-P. Un modèle variationnel pour la segmentation d'objets à l'aide d'informations sur les limites et d'un a priori de forme4 par le Mumford-Shah Functional // International Journal of Computer Vision, vol. 68, non. 2, 2006.-pp. 145-162.

102. Cavallaro A., Salvador E., Ebrahimi T. Traitement vidéo basé sur les objets sensible aux ombres // IEEE Vision ; Traitement d'image et de signal, Vol. 152, non. 4, 2005.-pp. 14-22.

103. Chen J., Ye J. Entraînement SVM avec des noyaux indéfinis // Dans : Proc. de la 25e conférence internationale sur l'apprentissage automatique (ICML), Vol. 307, 2008.pp. 136-143.

104. Cheung S.-M., Moon Y.-S. Détection des piétons en approche à distance à l'aide de modèles d'intensité temporelle // MVA2009, Vol. 10, non. 5, 2009.-pp. 354-357.

105. Dalai N., Triggs B. et Schmid G. Détection humaine à l'aide d'histogrammes orientés de flux et d'apparence // Dans ECCV, vol. II, 2006. p. 428^141.

106. Dalai N., Triggs B. Histogrammes de gradients orientés pour la détection humaine // Conférence IEEE sur la vision par ordinateur et la reconnaissance de formes (CVPR), vol. II, 2005-pp. 886-893.

107. Dani A.P., Dixon W.E. Structure de caméra unique et estimation de mouvement // Lecture Notes in Control and Information Sciences, 401, 2010. pp. 209-229.

108. Datta Ri, Joshi D;, Li J. et Wang J. Z1 Récupération d'images : Idées, influences et tendances de la nouvelle ère // ACM"-Computing Surveys, Vol. 40 :, no : 2, 2008. ■ -pp. 1-60.

109. Dikbas S., Arici T., Altunbasak Y. Estimation de mouvement rapide avec précision de sous-échantillon sans interpolation // IEEE Transactions on Circuits and Systems for Video Technology 20(7), 2010. -pp. 1047-1051.

110. Dollar P., Rabaud V., Cottrell G., Belongie S. Reconnaissance du comportement via des traits spatio-temporels clairsemés // Dans : Proc. 2nd Joint IEEE International Workshop on Evaluation of Tracking and Surveillance, VS-PETS, 2005. pp. 65-72.

111. Donatini P. et Frosini P. Pseudodistances naturelles entre surfaces fermées // Journal of the European Mathematical Society, Vol. 9, non. 2, 2007pp. 231-253.

112. Donatini P. et Frosini P. Pseudodistances naturelles entre courbes fermées // Forum Mathematicum, Vol. 21, non. 6, 2009.pp. 981-999.

113. Ebadollahi S., L., X., Chang S.F., Smith J.R. Détection d'événements visuels à l'aide de dynamiques de concepts multidimensionnels // In : Proc. of IEEE Int "l Conference on Multimedia and Expo (ICME), 2006. pp. 239-248.

114. Favorskaya M., Zotin A., Danilin I., Smolentcheva S. Modélisation 3D réaliste de la croissance forestière avec effet naturel // Actes du deuxième symposium international KES IDT 2010, Baltimore. ETATS-UNIS. Springer-Verlag, Berlin, Heidelberg. 2010.-pp. 191-199.

115. François A.R.J., Nevatia R., Hobbs J.R., Bolles R.C. VERL : Un cadre d'ontologie pour représenter et annoter des événements vidéo // IEEE Multimedia, Vol : 12 ; Non. 4, 2005.pp. 76-86.

116. Gao J., Kosaka A., Kak A.C. Une approche de filtrage multi-Kalman pour le suivi vidéo d'objets délimités par l'homme dans des environnements encombrés // IEEE Computer Vision and Image Understanding, 2005, V. 1, n° 1. pp. 1-57.

117 Gui L., Thiran J.-P., Paragios N. Joint Object Segmentation and Behaviour Classification in Image Sequences // IEEE Conf. on Computer Vision and Pattern Recognition, 17-22 juin 2007. pp. 1-8.

118. Haasdonk B. Interprétation de l'espace des caractéristiques des SVM avec des noyaux indéfinis // IEEE Transactions on Pattern Analysis and Machine Intelligence. Vol. 27, non. 4, 2005.pp. 482-492.

119. Harris C. et Stephens M. Un détecteur combiné de coins et de bords // In Fourth Alvey Vision Conference, Manchester, UK, 1988. pp. 147-151.

120. Haubold A., Naphade M. Classification des événements vidéo à l'aide de fonctions de mouvement compressées dans le temps en 4 dimensions // Dans CIVR "07 : Actes de la 6e conférence internationale ACM sur la récupération d'images et de vidéos, NY, États-Unis, 2007. -pp 178-185.

121. Haykin S. Réseaux de neurones : une introduction complète. / N.Y. : Prentice-Hall, 1999 ; .- 658 pi.

122. Hoynck M., Unger M., Wellhausen J. et Ohm J.-R. Une approche robuste de l'estimation du mouvement global pour l'analyse vidéo basée sur le contenu // Actes de SPIE Vol. 5601, Bellingham, WA, 2004. pp. 36-45.

123. Huang Q., Zhao D., Ma S., Gao W., Sun H. Désentrelacement à l'aide d'une analyse de mouvement hiérarchique // IEEE Transactions on Circuits and Systems for Video Technology 20(5), 2010. pp. 673-686.

124. Jackins C.L., Tanimoto S.L. Quad-trees, Oct-trees et K-trees : une approche généralisée de la décomposition récursive de l'espace euclidien // IEEE Transactions onPAMI, Vol. 5, non. 5, 1983.-pp. 533-539.

125. Ke Y., Sukthankar R., Hebert Mi. Détection efficace d'événements visuels à l'aide de fonctions volumétriques // In : Proc. of Int "l Conference on Computer Vision (ICCV), vol. 1, 2005.-pp. 166-173.

126. Klaser A., ​​​​Marszalek M. et Schmid C.A Spatio-Temporal Descriptor Based on 3D-Gradients // Dans BMVC, British Machine Vision, Conference, 2008. -pp. 995-1004.

127. Kovashka, A., Grauman, K. Apprendre une hiérarchie des caractéristiques de voisinage spatio-temporelles discriminantes pour la reconnaissance de l'action humaine // Actes de la conférence IEEE Computer Society sur la vision par ordinateur et la reconnaissance de formes, 2010. pp.2046-2053.

128. Kumskov M.I. Schéma de calcul de l'analyse d'image contrôlée par les modèles des objets à reconnaître // Pattern Recognition and Image Analysis, Vol. 11, non. 2, 2001.p. 446-449 :

129. Kwang-Kyu S. Récupération d'images basée sur le contenu en combinant un algorithme génétique et une machine à vecteurs de support // Dans ICANN (2), 2007. pp. 537-545.

130. Lai C.-L., Tsai S.-T., Hung Y.-P. Une étude sur l'étalonnage tridimensionnel des coordonnées à l'aide d'un système flou // Symposium international sur l'informatique, la communication, le contrôle et l'automatisation 1, 2010. - pp. 358-362.

131. Laptev I. Sur les points d'intérêt spatio-temporels // International Journal of Computer Vision, Vol. 64, non. 23, 2005.pp. 107-123.

132. Leibe B., Seemann E., Schiele B. Détection de piétons dans des scènes bondées* // Conférence IEEE sur la vision par ordinateur et "Pattern Recognition, Vol. 1, 2005.-pp. 878-885.

133. Lew M. S., Sebe N., Djeraba C. et Jain R. Récupération d'informations multimédias basées sur le contenu1 : État de l'art et défis // ACM Transactions on Multimedia Computing, Communications, and Applications, Vol. 2, non. 1, 2006.pp. 1-19.

134. Li J. et Wang J. Z. Annotation informatisée en temps réel des images // IEEE Trans. PAMI, Vol. 30, 2008.pp. 985-1002.

135. Li L., Luo R., Ma R., Huang W. et Leman K. Évaluation d'un système IVS pour la détection d'objets abandonnés sur les ensembles de données PETS 2006 // Proc. 9 Stagiaire IEEE. Atelier sur les PETS, New York, 2006. pp. 91-98.

136. Li L., Socher R. et Fei-Fei L. Towards Total Scene Understanding: Classification, Annotation and Segmentation in an Automatic Framework // IEEE Conference on Computer Vision and Pattern Recognition, CVPR, 2009. pp. 2036-2043.

137. Li Q., ​​​​Wang G., Zhang G.) Chen S. Estimation précise du mouvement global basée sur une pyramide avec masque // Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, Vol: 21 , non. 6, 2009.pp. 758-762.

138. Lindeberg T., Akbarzadeh A. et Laptev I. Opérateurs d'intérêt spatio-temporel galiléen-diagonalisés // Actes de la 17e Conférence internationale sur la reconnaissance de formes (ICPR"04), 2004. pp. 1051-1057.

139. Lim J., Barnes, N. Estimation de l'épipole à l'aide du flux optique aux points antipodaux // Computer Vision and Image Understanding 114, no. 2, 2010.pp. 245-253.

140. Lowe D. G. Caractéristiques d'image distinctives à partir de points clés invariants à l'échelle // International Journal of Computer Vision, Vol. 60, non. 2, 2004.pp. 91-110.

141. Lucas B.D., Kanade T. An Iterative Image Registration Technique with an Application to Stereo Vision // International Joint Conference on Artificial Intelligence, 1981. pp. 674-679.

142. Mandelbrot B;B. La géométrie fractale de la nature / N.Y. : Freeman^ 1982. 468 p. ; russ, trans. : Mandelbrot B. Fractale, géométrie de la nature : Per. de l'anglais. / M. : Institut de Recherche Informatique, 202. - 658 p.

143. Mandelbrot V.V., Frame M.L. Fractales, graphisme et enseignement des mathématiques/N. Y. : Springer-Verlag, 2002. 654 p.

144. Mandelbrot B.B. Fractals and Chaos: The Mandelbrot Set. and Beyond / N.Y.: Springer-Verlag, 2004. 308 p.

145. Memoli F. Sur l'utilisation des distances de Gromov-Hausdorff pour la comparaison de formes // Actes du Symposium Eurographics sur les graphiques basés sur des points. Prague, République tchèque, 2007. pp. 81-90.

146. Mercer J. Fonctions de type positif et négatif et leur lien avec la théorie des équations intégrales // Transactions of the London Philosophical Society (A), vol. 209, 1909. p. 415-446.

147. Mikolajczyk K. Détection de caractéristiques locales invariantes aux transformations affines, thèse de doctorat, Institut National Polytechnique de Grenoble, France. 2002.171 p.

148. Mikolajczyk K. et Schmid G. An Affine Invariant Interest Point Detector // Actes de l'ECCV. Vol. 1. 2002. pp. 128-142.

149. Minhas R., Baradarani A., Seifzadeh S., Jonathan Wu, Q.M. Reconnaissance d'actions humaines à l'aide d'une machine d'apprentissage extrême basée sur des vocabulaires visuels // Neurocomputing, Vol. 73 (10-12), 2010. p. 1906-1917.

150. Mladenic D., Skowron A., éd. : CELV. Vol. 4701 de Lecture Notes in Computer Science, Springer, 2007. pp. 164-175.

151. Moshe Y., Hel-Or H. Estimation de mouvement de bloc vidéo basée sur des noyaux de code gris // IEEE Transactions on Image Processing 18(10), 2009. pp. 22432254.

152. Nakada T., Kagami S;, Mizoguchi H. Détection des piétons à l'aide de séquences de flux optiques 3D pour le robot afMobile // Capteurs IEEE, 2008. pp : 116-119 :

153. Needleman, S. B :,. Wunsch C.D. ; Une méthode générale applicable à la recherche de similitudes dans la* séquence d'acides aminés de deux protéines // Journal" of Molecular Biology Vol. 48, n° : 3, 1970. pp. 443-453.

154. Neuhaus M., Bunke H. Modifier les fonctions du noyau basées sur la distance - pour la classification des modèles structurels // Reconnaissance des modèles. Vol. 39, non. 10, 2006. pages : 1852-1863.

155. Nevatia R., Hobbs J. et Bolles B. Une ontologie pour la représentation d'événements vidéo // In Workshop on Event Detection and Recognition. IEEE, Vol.12, no. 4, 2004.pp. 76-86.

156. Nguyen.N.-T., Laurendeau D:, Branzan-Albu A. Une méthode robuste d'estimation du mouvement de la caméra dans les films basée sur le flux optique // The 6th International

Veuillez noter que les textes scientifiques présentés ci-dessus sont affichés pour examen et obtenus par reconnaissance du texte de la thèse originale (OCR). A ce titre, ils peuvent contenir des erreurs liées à l'imperfection des algorithmes de reconnaissance. Il n'y a pas de telles erreurs dans les fichiers PDF des mémoires et des résumés que nous livrons.