Global ETD Search

451	Fonctions spline cardinales tronquées Kulkarni, Rekha Panditra 29 November 1985 (has links) (PDF) On propose des conditions de bout pour les fonctions spines polynomiales d'interpolation de degré p (p≥2) associées aux abscisses équidistantes qui économisent le calcul et entraînent un ordre de convergence optimal. Cette fonction spline peut être interprétée comme une fonction spline cardinale tronquée avec une correction convenable. La technique utilisée pour les fonctions splines polynomiales est applicable dans le cas des fonctions splines sous tension. On donne aussi quelques résultats pour les fonctions splines cubiques de lissage Approximation Approximation spline Interpolation Matrice Toeplitz Spline Fonction polynomiale
452	Progiciel INDA pour l'analyse des données : INtelligent Data Analysis Belaid, Djamel 28 October 1985 (has links) (PDF) On présente dans ce travail un logiciel interactif sur micro-ordinateur, des méthodes factorielles d'Analyse de Données. Ce logiciel est composé des modules: INDA-CM: module d'aide au choix à l'utilisateur d'une des méthodes proposées. INDA-AD: module d'acquisition des données nécessaires à l'exécution de la méthode choisie. INDA-EM: module d'exécution des méthodes proposées. INDA-GR: module de visualisation à l'écran graphique d'un nuage de points. INDA: programme de gestion des modules précités Produit programme Logiciel Microordinateur Analyse donnée Inversion Programme interactif Méthode factorielle
453	Une perspective relationnelle de la programmation Mili, Ali 28 October 1985 (has links) (PDF) Cette thèse présente une perspective relationnelle à plusieurs aspects de la programmation. L'algèbre relationnelle de Tarski est utilisée pour formuler, et parfois résoudre, des problèmes pertinents à la programmation tels que: la spécification de programmes, l'analyse fonctionnellle de programmes, la vérification de programmes, la conception de programmes et le traitement d'erreurs dans les programmes. La perspective que nous adoptons dans cette thèse est caractérisée par les prémisses suivantes: les programmes sont spécifiés à l'aide de relations; l'analyse fonctionnellle de programmes se fait par composition de fonctions; la conception de programmes se fait par décomposition de relations Sémantique formelle Programmation Spécification programme Analyse fonctionnelle Algèbre relationnelle
454	Fonctions splines avec conditions de forme Medina, Julio 09 October 1985 (has links) (PDF) On étudie le problème de l'interpolation et du lissage de données avec conditions de forme (positivité, monotonie, convexité) dans le plan réel. Pour sa résolution on utilise cinq classes de méthodes :1) splines polynomiales, 2) splines rationnelles, 3) splines sous tension, 4) programmation mathématique, 5) splines avec repoussoir Approximation Approximation spline Interpolation rationnelle Interpolation polynomiale
455	Difficultés conceptuelles dans l'écriture d'algorithmes itératifs chez des élèves de collège Mejias-Dayoub, Béatriz 17 December 1985 (has links) (PDF) . boucle connaissance didactique élève informatique itération langage ordinateur situation problème
456	Implantation automatique de logiques en bandes Paillotin, Jean-François 19 December 1984 (has links) (PDF) Des réalisations hiérarchisées et systématiques de logiques en bandes sont proposées dans différentes technologies (découpage en cellules fonctionnelles, assemblages en bandes de cellules fonctionnelles puis en blocs). Un système d'implantation automatisé, OASIS II, permet de placer, d'améliorer le placement et de connecter de tels circuits. On propose une application de ces méthodes à l'optimisation topologique des PLA Circuit logique Implantation Méthode itérative Optimisation Logique bande
457	Expérimentation d'automates à seuil pour la connaissance de caractères Pan, Xin An 14 June 1985 (has links) (PDF) Ce travail concerne l'expérimentation numérique de trois modèles de mathématiques appliquées : le premier chapitre est consacré à la localisation des minima de Pareto relatifs à plusieurs formes quadratiques ; le second chapitre concerne l'expérimentation numérique d'un modèle itératif de la respiration; le troisième chapitre, le plus développé, est consacré à la reconnaissance de caractères par un réseau d'automates à seuil. De nouveaux algorithmes sont proposés, dont on montre l'efficacité accrue. L'expérimentation est conduite sur la reconnaissance de caractères chinois Automate Minimisation Reconnaissance caractère Automate à seuil
458	Comportement dynamique de réseaux d'automates Goles Chacc, Eric 06 February 1985 (has links) (PDF) Cette thèse rassemble plusieurs articles ayant pour sujet l'étude de la dynamique d'une large classe de réseaux d'automates. Deux outils sont introduits: les invariants algébriques associés à l'évolution temporelle; la fonction d'énergie permettant de déterminer l'évolution du réseau, tant en régime transitoire qu'en régime stationnaire. Finalement, nous étudions des réseaux unidimensionnels, la dynamique d'un automate à mémoire et les réseaux des fonctions booléennes à deux variables Automate Réseau automate Itération Fonction booléenne Dynamique Fonction seuil
459	Une méthodologie du calcul des fonctions élémentaires Muller, Jean-Michel 13 September 1985 (has links) (PDF) On approfondit la notion de bases discrètes présentée dans un rapport précédent, en montrant en particulier son extension possible à d'autres bases de numérotation que la base 2. On élabore des algorithmes de calcul des fonctions mathématiques usuelles dans n'importe quelle base de numérotation. On établit un résultat de complexité Analyse numérique Algorithme Complexité calcul Fonction mathématique Système numération
460	Champs aléatoires de renouvellement Fricot, Jean 12 February 1985 (has links) (PDF) On étudie des modèles de champs aléatoires binaires, respectant une propriété de renouvellement spatial, en vue de la modélisation de phénomènes épidémiologiques Processus renouvellement Théorie renouvellement Champ aléatoire Automate Processus ponctuel

Search results