Literatura académica sobre el tema "Adéquation de la communication"

La définition du principe de contradiction apparaît comme fondamentalement problématique car, qu'elle soit psychologique, logique ou ontologique, elle manifeste d'elle-même un écart entre ses prétentions théoriques et sa mise en pratique effective. La définition métaphysique pèche par une transcendance excessive, la définition logique par une insatisfaction d'ordre conceptuel. Il s'agit par conséquent d'envisager le principe de contradiction comme un principe éthique et intentionnel de la communication. Il stipule en effet, d'une manière rigoureuse et essentielle, l'engagement intentionnel de tout locuteur dans une communauté de communication comme fondement d'une pratique effective du langage, et impose ainsi la reconnaissance par tout locuteur des normes éthiques de la discussion comme condition de possibilité de l'expression et de la compréhension d'un sens communicable<br>Principle of contradiction's definition appears fundamentally problematical because considered under psychological, logical or ontological acception, the trouble that principle of contradiction's definition lays down consists in a gap between theoretical ambition and practical uses. So, we have to consider principle of contradiction as an ethical and intentional principle of communication. In fact it reveals in a rigorous and essential way how the intentional pledging of everybody in a communication's society is the base of language's uses and then how every speaker accepts discussion's ethical norms as condition of possibility of expressible and understanding of communicable sens

Les chercheurs en communication reconnaissent la nécessité d'élargir et d’approfondir les connaissances dans ce domaine, particulièrement dans les organisations. Une question reste d'actualité : comment la communication organisationnelle impacte-t-elle les attitudes et comportements de travail des salariés ? En plus de cette communication organisationnelle, les chercheurs ont peu exploré les mécanismes sous-jacents et les facteurs contextuels qui pourraient conduire à des comportements déviants. Cette thèse vise à répondre à ces questions. Elle comporte une étude qualitative et une étude quantitative d'employés travaillant dans les industries manufacturières du Pakistan. Pour ce faire, nous avons conclu notre recherche en deux parties. Dans un premier temps, nous avons interrogé des professionnels travaillant dans les industries manufacturières pour comprendre à quel point la communication est essentielle et affecte le comportement au travail des employés. Nous avons réussi à développer une base solide selon laquelle la communication organisationnelle a trois dimensions, à savoir l'adéquation de la communication, le canal de communication et la relation de communication, qui influencent à leur tour l'attitude au travail de l'employé, et plus particulièrement l'engagement et l'identification avec l'organisation. Cette relation est influencée par la culture d’un environnement de travail favorable au sein de l'organisation. S'il y a un déséquilibre dans ces relations, cela peut créer une attitude de travail hostile parmi les employés. Dans une deuxième étape, et dans le but de généraliser nos résultats issus de l’étude qualitative, nous avons développé un modèle de recherche<br>Communication researchers increasingly recognize the need to expand the field of organizational communication. One question is still valid: how does organizational communication impact employees' working attitudes and behavior? In addition to that organizational communication, researchers have neglected the underlying mechanism and contextual factors that might lead to one’s deviant behavior. This dissertation aims to answer these questions with qualitative and quantitative studies of employees working in the manufacturing industries of Pakistan. To do so, we have concluded our research in two parts. First, we interviewed professionals working in manufacturing industries to understand how much communication is essential and affects employees' working behavior. We succeeded in developing a strong ground that organizational communication has three dimensions, i.e., Adequacy of communication, communication channel, and communication relationship, which are responsible for influencing the employee’s working attitude, i.e., commitment and identification with the organization. This relationship can be supported moderately by the supportive work environment culture in the organization. If there is a misbalance in these relationships, it can create a hostile working attitude among employees. In the second stage, to generalize our qualitative findings, we have developed a hypothesized research model to test the relationship between organizational communication and employees’ deviant behavior by mediating the role of organizational commitment and organizational identification. We have also tested the moderating role of a supportive work environment in the relationship between

Offrir un ensemble materiel-logiciel puissant, convivial, et complet pour la simulation de reseaux connexionnistes de grande taille et le traitement du signal, tel est le but du projet smart. La puissance de calcul est assuree par un coprocesseur vectoriel fortement inspire des architectures systoliques et particulierement adapte au calcul neuromimetique. En fait, c'est un anneau simd de cellules a controle pipeline disposant d'une puissance crete de 300 mflops. La convivialite provient d'un langage descriptif de haut niveau ouvrant le domaine du connexionnisme a l'ensemble de la communaute scientifique. Allier puissance de calcul et convivialite de programmation necessite un couplage harmonieux entre le materiel et le logiciel. Ceci implique un bon equilibre entre calcul et communication afin de garder une efficacite globale maximale. En particulier, un partage equilibre des taches entre la machine hote et smart et un debit de donnees suffisant sont indispensables. L'une des originalites de smart est de proposer un support materiel pour le traitement de matrices diluees (contenant un grand nombre de connexions nulles) et de supporter une gestion dynamique de ces connexions (ajout et suppression). Ainsi, les operations vectorielles de base sont generalisees au traitement creux d'une facon transparente. Le simulateur architectural de la machine smart, decrit dans ce travail, est un outil precieux d'analyse et d'optimisation des applications sur smart et par consequent de validation de l'architecture. Dans ce travail, nous avons traite des problemes de partitionnement de donnees, de gestion des structures creuses et de communication. Nous avons montre, sur des exemples concrets, la puissance et l'interet de l'approche smart. La methodologie utilisee peut servir de base pour le developpement d'outils automatiques qui seront eventuellement integres dans un generateur de code

Dans le domaine spatial, les architectures de systèmes embarqués de nouvelle génération devront répondre à des critères encore plus contraignants de masse, coût et performance. Pour répondre à ces critères contradictoires, il est nécessaire d'analyser la possibilité de faire appel aux composants commerciaux (cots). Cela répond également à un besoin d'adaptation à la réduction de l'offre en composants haute fiabilité. L'objectif principal de cette étude est d'analyser les différentes solutions de détection et de recouvrement d'erreur de type SEU, puis de développer une méthodologie qui, partant d'un algorithme de traitement de signal et d'image TDSI (compression multirésolution d'images satellitaires pour notre application), permet la définition d'une architecture tolérante aux fautes transitoires (TFT) optimisée à base d'un DSP commercial. Nous proposons dans cette thèse une nouvelle approche pour réaliser la surveillance du flux d'information. Il s'agit de la vérification du flot d'adresses de données (détection de S. E. U. ) dans l'unité de mémorisation). L'approche s'appuie sur le principe de l'analyse de signature et cherche à adapter le polynome générateur de signatures pour rendre uniques les signatures des blocs linéaires d'adresses (BLA) associés au traitement en boucle d'un BLI (Bloc linéaire d'instructions) ; Cas représentatif des algorithmes TDSI. Nous avons ainsi proposé trois modes de compaction possibles où chacun cherche à réduire la complexité du matériel et de calcul tout en essayant d'augmenter le taux de couverture. D'autre part, nous avons montré l'invariance temporelle de la séquence d'adresses générée par chaque itération de l'algorithme utilisé. Ainsi, la méthode proposée permet de couvrir tous les accès à la mémoire de données externes crées en cours de fonctionnement

Nous décrivons l'environnement et la méthode Symsched dédiée à la conception conjointe dite AAA (adéquation algorithme architecture) prenant en compte les différents compromis performance énergie admissibles pour un système embarqué. Nous traduisons les descriptions des différents composants (exigences de l'application et capacités de l'architecture) en un système d'équations et inéquations composé de variables entières qui modélisent les aspects temporels et de variables booléennes qui modélisent les différentes alternatives de placement des tâches. Ce problème est ensuite soumis à un outil de résolution automatique de type SMT (SAT Modulo Theories). Notre objectif est d'étudier le passage à l'échelle de telles méthodes et donc le compromis entre le niveau de description et l'expressivité portant sur les différents aspects nécessaires à la modélisation. Nous appliquons ensuite cette technique à des problèmes d'ordonnancement abstraits, réalistes et réels<br>We describe the Symsched methodology and environment for AAA design (Application Architecture Adequation). It allows to evaluate the energy/performance balance for a given embedded system. We translate the different components of the problem (application requirements et architecture provisions) in a system of equations and inequations made of integer variables for the modeling of temporal aspects and boolean variables for the modeling of admissible task mapping and resource states. We then submit this problem to an automatic search engine SMT solver (SAT Modulo Theories). We study the scalability of this methodology and its compromises with models expressiveness. We then study synthetic, realistic and real scheduling problems using this approach

Les travaux présentés dans le cadre de cette Habilitation à Diriger des Recherches s'inscrivent principalement dans la problématique dite d'" Adéquation Algorithme Architecture ". Ils ont pour objectif commun la mise en œuvre de systèmes matériels et logiciels dédiés à la vision artificielle à fortes contraintes temporelles. Ils se focalisent sur différents aspects cruciaux tels que l'acquisition d'images par des capteurs dédiés, le développement et la programmation d'architectures optimisées de traitement des images et l'implantation d'algorithmes de traitement du signal et d'images en temps réel sur ces architectures.

Les machines actuelles offrent de plus en plus de fonctionnalités arithmétiques au niveau matériel. Les générations actuelles de processeurs proposent des opérateurs matériels rapides pour le calcul des divisions, des racines carrées, des sinus, des cosinus, des logarithmes... La littérature du domaine montre qu'en changeant notre façon de représenter les nombres et/ou en utilisant des algorithmes spécifiques de calcul, il est possible de réaliser des opérateurs matériels particulièrement efficaces. Le but de cette thèse est d'étudier et d'illustrer les liens profonds existants entre l'arithmétique et l'architecture des ordinateurs à travers quatre problèmes. Les Opérateurs Arithmétiques Asynchrones permettent de calculer les fonctions arithmétiques (addition, multiplication, division) avec un délai variable. En particulier, nous avons développé un additionneur asynchrone dont le temps moyen de calcul est O(sqrt(\log n)). L'Arithmétique En-Ligne permet de réaliser des architectures où les nombres circulent en série, chiffre par chiffre, les poids forts en tête. L'intérêt de cette arithmétique est de pouvoir calculer toutes les fonctions (en arithmétique série poids faibles en tête, il n'est pas possible de calculer les divisions et les maximums) et d'obtenir des opérateurs de petite taille avec un nombre d'entrées/sorties plus faible que leur équivalents parallèles. L'Arrondi Exact des Fonctions Elémentaires consiste à déterminer la précision intermédiaire permettant de toujours pouvoir arrondir "exactement" les résultats du calcul des fonctions élémentaires (sinus, cosinus, exponentielle...). Nous proposons dans cette thèse une méthode qui permet d'arrondir exactement les fonctions élémentaires assez rapidement. Le Système Semi-Logarithmique de Représentation des Nombres est un système permettant d'effectuer rapidement les calculs de problèmes dont le nombre de multiplications/divisions est grand devant le nombre d'additions/soustractions.

Cette thèse traite de la faisabilité de l'intégration d'un service de visiophonie sur les terminaux mobiles de prochaine génération au travers d'une méthodologie de conception des systèmes multimédia embarqués. Nous commençons par situer le contexe de l'étude, les réseaux 3G, les terminaux mobiles, les processus pour le codage vidéo, ainsi que les normes de codage des groupes ISO/MPEG et UIT-T. Puis, nous proposons une méthodologie de conception au niveau système prenant en compte les contraintes de l'embarqué en particulier, l'autonomie du terminal que nous appliquons au codeur vidéo H. 263 (recommandation UIT-T). Cette méthodologie s'articule autour de deux axes: algorithmique (spécification système et analyse de performance) et architectural (partitionnement matériel/logiciel et analyse de l'efficacité de l'implémentation). Face aux contraintes de la visiophonie embarquée, nous proposons un nouveau schéma de compression vidéo exploitant l'information sémantique de l'image vidéo, dans l'esprit de la orme MPEG-4 (codage objet). Nous proposons ainsi, à la fois un algorithme adaptatif pour l'extraction du visage, et un nouveau schéma de codage pour la compression vidéo à très bas débit.

Cette thèse porte sur l'optimisation et l'implémentation efficace d'algorithmes d'estimation du mouvement des pixels (flot optique) sur des processeurs graphiques (GPU) embarqués. Deux algorithmes itératifs ont été étudiés : la méthode de Variation Totale - L1 (TV-L1) et la méthode de Horn-Schunck. L’objectif est d’obtenir un traitement temps réel (moins de 40 ms par images) sur des plateformes embarquées à faible consommation énergétique, tout en gardant une résolution image et une qualité d’estimation du flot acceptable pour les applications visées. Différents niveaux de stratégies d'optimisation ont été explorés. Des transformations algorithmiques de haut niveau, telles que la fusion d'opérateurs et le pipeline d'opérateurs, ont été mises en œuvre pour maximiser la réutilisation des données et améliorer la localité spatiale/temporelle. De plus, des optimisations bas niveau spécifiques aux GPU, notamment l'utilisation d'instructions et de nombres vectoriels, ainsi qu'une gestion efficace de l'accès à la mémoire, ont été intégrées. L'impact de la représentation des nombres en virgule flottante (simple précision par rapport à demi-précision) a également été étudié. Les implémentations ont été évaluées sur les plateformes embarquées Nvidia Jetson Xavier, TX2 et Nano en termes de temps d'exécution, de consommation énergétique et de précision du flot optique. Notamment, la méthode TV-L1 présente une complexité et une intensité de calcul plus élevées par rapport à Horn-Schunck. Les versions les plus rapides de ces algorithmes atteignent ainsi un temps de traitement de 0,21 nanosecondes par pixel par itération en demi-précision sur la plate-forme Xavier. Cela représente une réduction du temps d'exécution de 22x par rapport aux versions CPU efficaces et parallèles. De plus, la consommation d'énergie est réduite d'un facteur x5,3. Parmi les cartes testées, la plate-forme embarquée Xavier, à la fois la plus puissante et la plus récente, offre systématiquement les meilleurs résultats en termes de vitesse et d'efficacité énergétique. La fusion d'opérateurs et le pipelining se sont avérés essentiels pour améliorer les performances sur GPU en favorisant la réutilisation des données. Cette réutilisation des données est rendue possible grâce à la mémoire Shared des GPU, une petite mémoire d'accès rapide permettant le partage de données entre les threads du même bloc de threads GPU. Bien que la fusion de plusieurs itérations apporte des gains de performance, elle est limitée par la taille de la mémoire Shared, nécessitant des compromis entre l'utilisation des ressources et la vitesse. L'utilisation de nombres en demi-précision accélère les algorithmes itératifs et permet d'obtenir une meilleure précision du flot optique dans le même laps de temps par rapport aux versions en simple-précision. Les implémentations en demi-précision convergent plus rapidement en raison de l'augmentation du nombre d'itérations réalisables dans un délai donné. Plus précisément, l'utilisation de nombres en demi-précision sur la meilleure architecture GPU accélère l'exécution jusqu'à 2,2x pour TV-L1 et 3,7x pour Horn-Schunck. Ces travaux soulignent l'importance des optimisations spécifiques aux GPU pour les algorithmes de vision par ordinateur, ainsi que l'utilisation et l'étude des nombres à virgule flottante de précision réduite. Ils ouvrent la voie à des améliorations futures grâce à des différentes transformations algorithmiques, à des formats numériques différents et à des architectures matérielles nouvelles. Cette approche peut également être étendue à d'autres familles d'algorithmes itératifs<br>This thesis focus on the optimization and efficient implementation of pixel motion (optical flow) estimation algorithms on embedded graphics processing units (GPUs). Two iterative algorithms have been studied: the Total Variation - L1 (TV-L1) method and the Horn-Schunck method. The primary objective of this work is to achieve real-time processing, with a target frame processing time of less than 40 milliseconds, on low-power platforms, while maintaining acceptable image resolution and flow estimation quality for the intended applications. Various levels of optimization strategies have been explored. High-level algorithmic transformations, such as operator fusion and operator pipelining, have been implemented to maximize data reuse and enhance spatial/temporal locality. Additionally, GPU-specific low-level optimizations, including the utilization of vector instructions and numbers, as well as efficient memory access management, have been incorporated. The impact of floating-point number representation (single-precision versus half-precision) has also been investigated. The implementations have been assessed on Nvidia's Jetson Xavier, TX2, and Nano embedded platforms in terms of execution time, power consumption, and optical flow accuracy. Notably, the TV-L1 method exhibits higher complexity and computational intensity compared to Horn-Schunck. The fastest versions of these algorithms achieve a processing rate of 0.21 nanoseconds per pixel per iteration in half-precision on the Xavier platform, representing a 22x time reduction over efficient and parallel CPU versions. Furthermore, energy consumption is reduced by a factor of x5.3. Among the tested boards, the Xavier embedded platform, being both the most powerful and the most recent, consistently delivers the best results in terms of speed and energy efficiency. Operator merging and pipelining have proven to be instrumental in improving GPU performance by enhancing data reuse. This data reuse is made possible through GPU Shared memory, which is a small, high-speed memory that enables data sharing among threads within the same GPU thread block. While merging multiple iterations yields performance gains, it is constrained by the size of the Shared memory, necessitating trade-offs between resource utilization and speed. The adoption of half-precision numbers accelerates iterative algorithms and achieves superior optical flow accuracy within the same time frame compared to single-precision counterparts. Half-precision implementations converge more rapidly due to the increased number of iterations possible within a given time window. Specifically, the use of half-precision numbers on the best GPU architecture accelerates execution by up to x2.2 for TV-L1 and x3.7 for Horn-Schunck. This work underscores the significance of both GPU-specific optimizations for computer vision algorithms, along with the use and study of reduced floating point numbers. They pave the way for future enhancements through new algorithmic transformations, alternative numerical formats, and hardware architectures. This approach can potentially be extended to other families of iterative algorithms