Calcul des moments caractérisant la raie d'absorption en RMN de solides

Des expressions analytiques pour les deuxième, quatrième, sixième et huitième moments de la raie d'absorption de résonance magnétique nucléaire (RMN) ont été obtenues pour un réseau rigide de spins couples par l'interaction dipolaire. Les équations des moments furent dérivées en effectuant toutes les opérations algébriques nécessaires à l'aide des ressources informatiques disponibles. Les résultats sont identiques à ceux présentés dans la littérature, mais sont exprimés sous une forme différente, c'est-à-dire qu'aucune réduction de sommes ne fut appliquée. Sous cette forme non réduite, les expressions peuvent être analysées à l'aide d'une méthode graphique dans laquelle chacune des sommes est représentée par un diagramme illustrant les couplages dipolaires entre les spins. En plus de fournir un portrait physique simple des équations, ce modèle original permet, par l'utilisation de techniques de dénombrement des graphes, de prédire le nombre et la forme des termes apparaissant dans les moments. Les expressions analytiques ont été utilisées pour dériver des valeurs numériques des moments pour des réseaux cubiques simples de tailles variables. Les calculs se rapportent à des systèmes de spins identiques I = 1/2 avec un champ magnétique H[indice inférieur 0] appliqué le long de l'axe (100) du réseau. Les sommes furent évaluées de trois manières différentes afin de vérifier la cohérence des résultats et de comparer les méthodes de calcul. Ces études numériques ont démontré que seul un petit nombre de termes contribuent de façon significative à la valeur du moment. Elles ont également permis de comparer avec succès les valeurs théoriques des moments avec des mesures expérimentales sur le fluorure de calcium CaF[indice inférieur 2]

Environnement de programmation générique pour la recherche locale : Metalab

Analyse informatique de la recherche locale -- Méthodes de recherche locale -- Principes de la recherche locale -- Les formes heuristiques en recherche locale -- Quelques algorithmes représentatifs -- Portée et limites du paradigme -- Langages de recherche locale -- Les différents styles de programmation -- Réalisabilité d'un atelier de programmation -- Les bibliothèques -- Les cadres d'application -- Les langages déclaratifs -- Modélisation de la recherche locale -- Conception générique de la recherche locale -- Formalisme et méthodologie -- Principes de modélisation -- Découplage des parties logicielles -- Modulation des canaux de programme -- Composition des variables -- Interprétation dynamique du modèle -- Objectifs -- Usage des diagrammes de composition -- Phase d'initialisation -- Phase d'énumération -- Phase de transition -- Études expérimentales -- Présentation du logiciel METALAB -- Concept de problème -- Concept de solution -- Concept de caractéristique -- Concept de mouvement -- Concept d'attribut -- Concept de serveur -- Concept d'explorateur -- Finalisation de l'algorithme -- Revue de problèmes -- Le PVC avec coûts d'arêtes dépendant du temps -- Le problème de la p-médiane -- Le problème de coloration de graphe -- Le problème d'affectation quadratique -- Étude de cas, méthodes taboues pour le PVC -- Contexte -- Incrémentation du voisinage 2-opt -- Segmentation du voisinage 2-opt -- Techniques d'anticipation

Conception et prototypage de décodeurs à seuil itératif à haut débit

Codage de canal -- Système de communication numérique -- Principe du codage correcteur d'erreur -- Les codes LDPC -- Les codes Turbo -- Les codes CDO -- Notions matérielles -- La technologie FPGA -- Les FPGA de la famille Virtex-II pro de Xilinx -- Délai critique d'un circuit numérique -- Stratégie de resynchronisation d'un circuit numérique -- Environnement d'évaluation des performances d'erreur du DSI -- Décodeur à seuil itératif à haut débit des codes CDO -- Architecture du décodeur à seuil -- Le pondérateur -- Les registres à décalage -- Technique de pipelinage du décodeur -- Stratégie de resynchronisation du décodeur -- Emplacements des étages de pipeline -- Capacité de pipelinage d'un codeur CDO -- Implémentation des composants pipelinés -- Système de communication adapté aux codes perforés -- Gestionnaire d'horloge -- Endoceur perforé -- Décodeur à seuil itératif adapté aux codes perforés -- Recherche de générateurs des codes PCDO à taux compatibles et à haute capacité de pipelinage -- Codes convolutionnels doublement orthogonaux à multi-registres à décalage -- Définition des codes M-CDO -- Simplification des codes M-CDO -- Représentation vectorielle des différences simples et doubles -- Simplification des conditions de la définition des codes M-CDO -- Décodeur à seuil itératif à haut débit de codes M-CDO -- Les registres à décalage -- Le noyau de logique combinatoire -- Pipelinage du décodeur à seuil des codes M-CDO -- Nombre d'emplacements des étages de pipeline -- Capacité de pipelinage d'un générateur de codes M-CDO -- Recherche des meilleurs générateurs de codes M-CDO -- Notations utilisées -- Comparaison des délais des deux architectures du pondérateur -- Choix de la résolution interne du décodeur -- Pipelinage du décodeur à seuil -- Influence de l'architecture du registre à décalage élémentaire -- Exemple de pipelinage d'un décodeur à seuil des codes M-CPDO -- Prototypage du DSI des codes PCDO à taux compatibles -- Simulation du gestionnaire d'horloge -- Résultats expérimentaux du DSI des codes PCDO à taux compatibles -- Influence de la potection quasi-EEP sur les performances -- Comparaison des codes doublement orthogonaux

Analyse formelle des protocoles cryptographiques et flux d'information admissible

Requis des protocoles cyptographiques et méthodes formelles -- L'interférence admissible -- Validation des propriétés de sécurité -- Un modèle de calcul probabiliste polynomial -- Sémantique contextuelle du modèle prospa