Добірка наукової літератури з теми "Internet des objets – Programmation"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Internet des objets – Programmation".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Internet des objets – Programmation":
1
Caron, Olivier, Bernard Carré, and Alexis Muller. "Programmation par objets structurée en contextes." L'objet 13, no. 2-3 (September 7, 2007): 11–42. http://dx.doi.org/10.3166/obj.13.2-3.11-42.
2
Chemla, Jean-Paul, Matthieu Lescieux, Bernard Riera, and Fabien Emprin. "Une expérience d'enseignement de l'IoT." J3eA 21 (2022): 2025. http://dx.doi.org/10.1051/j3ea/20222025.
Анотація:
L'Internet des objets est en constante croissance aussi bien dans le grand public que dans l'industrie. Cela regroupe beaucoup de disciplines et de thématiques, de la propagation d'onde aux tableaux de bords en passant par les réseaux, les protocoles, la programmation de micro-contrôleurs et la gestion d'énergie. La formation proposée ici se concentre sur la mise en oeuvre de communication wifi à l'aide de micro-contrôleurs et du protocole MQTT ainsi que sur la programmation orientée événements avec le logiciel Node-RED.
3
Cointe, Pierre, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Gilles Muller, and Mario Südholt. "Programmation post-objets. Des langages d'aspects aux langages de composants." L'objet 10, no. 4 (December 30, 2004): 119–43. http://dx.doi.org/10.3166/objet.10.4.119-143.
4
Le Gal, Bertrand, Lilian Bossuet, and Michael Grand. "Enseignement ludique de la programmation objets à l’aide des applications de traitement de l’image." J3eA 9 (2010): 0009. http://dx.doi.org/10.1051/j3ea/2010012.
5
Sandri, Eva. "Quelles utilisations des images de l’exposition sur les sites Internet de musées ? Congruence et incohérence entre objets et images numériques." Article cinq 7, no. 2 (May 7, 2015): 95–109. http://dx.doi.org/10.7202/1030252ar.
Анотація:
Dans cet article, l’auteure observe la relation entre les objets d’une collection muséale tels qu’ils sont disposés dans l’exposition et tels qu’ils sont valorisés sur les sites Internet des institutions muséales. L’objectif étant d’évaluer le degré de congruence entre ces deux lieux, il s’agira de comparer les deux médias que sont l’exposition et le site Internet afin de mettre au jour la relation qui les unit et de comprendre s’il y a un rapport de subordination ou de complémentarité entre les deux. Cette analyse sera menée à l’aide des outils descriptifs du webdesign avec les exemples de trois institutions muséales visitées en mai 2013 : Boréalis Centre d’histoire de l’industrie papetière de Trois-Rivières, le Centre d’histoire de Montréal et le musée Grévin de Montréal. À travers l’analyse de la place des substituts numériques de ces objets sur les sites Internet de ces institutions se dessine une typologie de ces sites : ceux qui expliquent l’image et ceux qui donnent simplement à voir le lieu d’exposition. On observera que la majorité des sites Internet étudiés n’accordent pas une place centrale à leurs objets de collection. Le contenu des sites semble davantage focalisé sur l’évocation du lieu et les informations pratiques. Il y aurait donc un décalage dans la façon dont les objets de musée (notamment des musées d’histoire et d’ethnographie) sont exposés dans les deux médias. En outre, cette circulation de l’objet de collection entre le statut d’expôt, de document, de source et d’oeuvre, complexifie la mise en place d’un site Internet qui distingue clairement ce qui relève de la collection et ce qui relève de la description de la collection. À l’heure où le document et l’archive tendent à faire partie des collections, les sites Internet observés rendent compte de cette indécision. En observant le parti pris de ces sites, on remarque que les images numériques montrent les lieux de l’exposition (notamment l’organisation spatiale de l’espace) plus que leurs objets.
6
Le Roch, Yann, and Éric Ballot. "Internet(s) des objets logistiques et modèles d'affaires." Annales des Mines - Réalités industrielles Mai 2013, no. 2 (2013): 97. http://dx.doi.org/10.3917/rindu.132.0097.
7
Ardourel, Gilles, Pierre Crescenzo, and Philippe Lahire. "LAMP : vers un langage de définition de mécanismes de protection pour les langages de programmation à objets." L'objet 9, no. 1-2 (June 30, 2003): 151–63. http://dx.doi.org/10.3166/objet.9.1-2.151-163.
8
Vivien, Laurent, Delphine Marris-Morini, Eric Cassan, Carlos Alonso-Ramos, Charles Baudot, Frédéric Bœuf, and Bertrand Szelag. "Circuits intégrés photoniques silicium." Photoniques, no. 93 (September 2018): 18–22. http://dx.doi.org/10.1051/photon/20189318.
Анотація:
La photonique silicium suit la devise : « plus petit, moins cher, plus rapide », comme la microélectronique plusieurs années auparavant, en exploitant une intégration à très grande échelle des composants et circuits intégrés de plus en plus complexes. L’incroyable évolution des systèmes communicants avec en particulier le déploiement des réseaux Internet et mobiles, des objets connectés et des capteurs a fait émerger la photonique silicium pour répondre à ces nouveaux enjeux majeurs.
9
Meiller, Yannick. "La sécurité de l’information devrait être plus présente dans les programmes des écoles de management." Sécurité et stratégie 32, no. 4 (March 19, 2024): 12–16. http://dx.doi.org/10.3917/sestr.032.0012.
Анотація:
Titulaire d’un doctorat en Informatique et Intelligence artificielle (systèmes industriels), obtenu à ISAE-Supaéro, Yannick Meiller est professeur à ESCP Europe . Ses travaux de recherche et ses enseignements portent pour l’essentiel sur le numérique et les domaines associés (traitements de l’information, Internet des objets, protection des données à caractère personnel, sécurité, systèmes d’information…), ainsi que sur le management de projets innovants . Il nous explique ici pourquoi la sécurité de l’information est un sujet à enseigner dans les écoles de management .
10
Lacroix, Jean-Guy. "Sociologie et transition millénariste : entre l’irraison totalitaire du capitalisme et la possibilité-nécessité de la conscientivité." I. Contexte social et institutionnel, no. 30 (May 2, 2011): 79–152. http://dx.doi.org/10.7202/1002658ar.
Анотація:
L’objectif de cet article est de tracer un portrait du contexte social de l’actuelle transition et de ce qui est en voie d’émergence et qui lance un défi tant à la sociologie présente qu’à celle des prochaines décennies. Le but est de montrer qu’il y a un changement qualitatif, un passage de la modernité à non pas la postmodernité, mais à une autre forme sociohistorique de rapports sociaux, la « conscientivité ». Pour ce faire, l’auteur analyse quatre tendances sociohistoriques : l’évolution du rapport objectivation-subjectivation; l’évolution du rapport capital-sujet; la transformation du rapport identité-solidarité; et, finalement, le changement du système de valeurs. La thèse que soutient l’auteur est que l’actuelle transition concerne simultanément la possibilité et la nécessité de passer à l’ère de la conscientivité, mais que la probabilité de ce passage est remise en question en raison de la possibilité d’une reproduction élargie du capitalisme qui, ainsi, pousserait ses caractéristiques structurales à un haut degré d’exacerbation, niant totalement la légitimité et la primauté du sujet. La première section est consacrée à la question de la structuration génétique de la situation de transition que l’auteur aborde à travers la dialectique de l’objectivation-subjectivation. Sont ensuite examinés trois modes d’objectivation (celui de la production des objets matériels, celui de la production des objets non matériels et celui de la production des objets intelligents) et leurs conséquences sur le développement des possibilités de subjectivation. Les deux sections suivantes s’intéressent à la problématique de la continuité capitaliste, de ses discontinuités (phases longues d’expansion) et de l’épuisement de la modernité. Après avoir indiqué comment la continuité est brisée par des causes endogènes dues à l’incessant affrontement entre les logiques du Capital et du sujet, l’auteur fait état du développement de la crise du mode de régulation fordien-keynésien, en s’attardant aux causes et aux conséquences de la guerre déclarée par le Capital au sujet, à l’incidence sur la forme de la crise de l’épuisement de la capacité d’absorption de la sphère de la consommation et, finalement, à la croissance des possibilités et moyens d’individuation à travers le déploiement des modes de vie fordien puis fordien-keynésien. La troisième section porte sur la possibilité de passer à un nouveau mode de régulation, la régulation discutée-programmée, qui faciliterait un passage à la conscientivité. Y sont abordées successivement les problématiques suivantes : le surgissement du nouveau paradigme technoéconomique, la programmation, et d’un nouveau mode d’aliénation; la transformation du rapport de concurrence; l’émergence de la forme discutée-programmée de régulation à l’échelle mondiale; la durée de la transition compte tenu de l’allure « irraisonnable » que prend la domination du Capital. Dans la quatrième partie du texte, il est question de la transformation des rapports identitaires et de la forme de la solidarité ainsi que du rôle de la volonté du sujet et de la conscience dans cette transformation. Dans la dernière partie, l’auteur s’emploie à montrer la nécessité de passer à un système de valeurs qui transcende les déterminismes des donnés originaux. En conclusion, l’auteur rassemble un certain nombre de remarques afin de définir la conscientivité.
Дисертації з теми "Internet des objets – Programmation":
1
Muroor, Nadumane Ajay Krishna. "Modèles et vérification pour la composition et la reconfiguration d'applications basées sur le web des objets." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALM067.
Анотація:
Les applications de l'Internet des objets (IoT) sont construites en interconnectant les objets du quotidien en réseau. Les objets connectés collaborent ensemble, afin d'observer l'environnement les entourant, et agir sur celui-ci. Pour le grand public, l'un des moyens de créer des applications IoT consiste à combiner différents objets à l'aide de règles d'action conditionnelle (ECA). Ces règles se présentent généralement sous la forme « SI quelque chose se produit, ALORS faire quelque chose ». Le web des objets (Web of Things ou WoT) est un ensemble de normes et de principes qui intègrent les capacités du web et les styles architecturaux à l'IoT. Bien que l'architecture WoT associée aux règles de la ECA simplifie dans une large mesure la construction d'applications IoT, il reste des défis à relever afin que les utilisateurs finaux puissent développer aisément des applications avancées et correctes, en raison de la nature dynamique, réactive et hétérogène des systèmes IoT.L'objectif général de ce travail est de tirer parti des méthodes formelles pour fournir un certain niveau de garantie aux utilisateurs finaux des applications IoT. Cela permet, au moment de la conception, d'assurer que l'application conçue se comportera comme prévu lorsque celle-ci sera déployée. Dans ce contexte, nous proposons un cadre de développement formel basé sur le WoT. Les objets sont décrits à l'aide d'un modèle dérivé de la spécification Thing Description du WoT. Ensuite, les applications sont conçues non seulement en spécifiant les règles individuelles ECA, mais aussi en associant ces règles à l'aide d'un langage de composition. Ce langage permet aux utilisateurs de construire des scénarios d'automatisation plus expressifs. La description des objets et leur composition sont traduites dans une spécification formelle à partir de laquelle le comportement complet de l'application est identifié. Afin de garantir une conception correcte de l'application avant le déploiement, cette thèse propose de valider un ensemble de propriétés génériques et spécifiques sur le comportement complet de l'application. En outre, les applications déployées peuvent être reconfigurées au cours de leur cycle de vie. Le travail supporte la reconfiguration en spécifiant des propriétés de reconfiguration qui permettent de comparer qualitativement le comportement de la nouvelle configuration avec la configuration d'origine. La mise en œuvre de toutes les propositions est réalisée en étendant la plate-forme Mozilla WebThings. Un nouvel ensemble d'interfaces utilisateur est construit pour prendre en charge la composition des règles et la reconfiguration de l’application. Un composant permettant de transformer automatiquement les modèles WoT en modèles formels, pleinement intégré au sein d’une boite à outils de vérification formelle a été développé. Enfin, un moteur de déploiement est construit en étendant les API de WebThings. Il dirige le déploiement des applications et des reconfigurations en respectant la sémantique de leur compositionThe Internet of Things (IoT) applications are built by interconnecting everyday objects over a network. These objects or devices sense the environment around them, and their network capabilities allow them to communicate with other objects to perform utilitarian tasks. One of the popular ways to build IoT applications in the consumer domain is by combining different objects using Event-Condition-Action (ECA) rules. These rules are typically in the form of IF something-happens THEN do-something. The Web of Things (WoT) are a set of standards and principles that integrate architectural styles and capabilities of web to the IoT. Even though WoT architecture coupled with ECA rules simplifies the building of IoT applications to a large extent, there are still challenges in making end-users develop advanced applications in a simple yet correct fashion due to dynamic, reactive and heterogeneous nature of IoT systems.The broad objective of this work is to leverage formal methods to provide end-users of IoT applications certain level of guarantee at design time that the designed application will behave as intended upon deployment. In this context, we propose a formal development framework based on the WoT. The objects are described using a behavioural model derived from the Thing Description specification of WoT. Then, the applications are designed not only by specifying individual ECA rules, but also by composing these rules using a composition language. The language enables users to build more expressive automation scenarios. The description of the objects and their composition are encoded in a formal specification from which the complete behaviour of the application is identified. In order to guarantee correct design of the application, this work proposes a set of generic and application-specific properties that can be validated on the complete behaviour before deployment. Further, the deployed applications may be reconfigured during their application lifecycle. The work supports reconfiguration by specifying reconfiguration properties that allow one to qualitatively compare the behaviour of the new configuration with the original configuration. The implementation of all the proposals is achieved by extending Mozilla WebThings platform. A new set of user interfaces are built to support the composition of rules and reconfiguration. A model transformation component which transforms WoT models to formal models and an integration with formal verification toolbox are implemented to enable automation. Finally, a deployment engine is built by extending WebThings APIs. It directs the deployment of applications and reconfigurations respecting their composition semantics
2
Rammal, Darine. "Memory safety for synchronous reactive programming." Electronic Thesis or Diss., Orléans, 2024. http://www.theses.fr/2024ORLE1002.
Анотація:
Les langages réactifs synchrones constituent un excellent choix pour la programmation de l'IoT en raison de leur sémantique claire pour l'interaction entre le système et l'environnement. Cependant, en ce qui concerne les systèmes critiques en termes de sécurité ou contraints en ressources, des propositions récentes telles que Fairthreads ou ReactiveML font face à un problème bien connu. La gestion manuelle de la mémoire de Fairthreads peut entraîner des erreurs, tandis que la collecte des déchets de ReactiveML assure la sécurité de la mémoire mais introduit une surcharge d'exécution. Cette thèse vise à résoudre le problème de la sécurité de la mémoire en développant un langage de programmation réactif spécifiquement conçu pour les systèmes en temps réel, intégrant des threads coopératifs et une exécution synchrone. En nous appuyant sur le solide système de types du langage de programmation Rust, nous proposons un système de types similaire à Rust pour un langage de programmation réactif de noyau appelé MSSL. MSSL offre un modèle de threads coopératifs et facilite le partage de données mutables entre les threads tout en préservant la sécurité des types et des emprunts. Pour y parvenir, nous introduisons une nouvelle abstraction appelée Trc (Thread Reference Counting), qui combine la sécurité de propriété des références de Rust avec le mécanisme de comptage de références des pointeurs intelligents de Rust. Nous présentons ensuite la sémantique et le système de types de MSSL pour démontrer ses capacités à maintenir la sécurité des types, la sécurité des emprunts et la sécurité de la concurrence. De plus, nous étendons MSSL en introduisant des extensions réactives, en intégrant le concept de signaux qui offrent des moyens de communication puissants, flexibles et fiables. Enfin, nous fournissons une implémentation en Java de l'ensemble complet de MSSL, en basant sur la sémantique et les règles de typage de son système de typesSynchronous Reactive Languages are an excellent choice for IoT programming due to their clear system-environment interaction semantics. However, when it comes to safety- critial or resource-constrained systems, recent proposals like Fairthreads or ReactiveML face a well-known issue. Fairthreads' manual memory management can lead to errors, while ReactiveML's garbage collection ensures memory safety but introduces execution overhead. This thesis aims to address the memory safety issue by developing a reactive programming language specifically designed for real-time systems, incorporating cooperative threads and synchronous execution. Drawing from the robust type system of the Rust programming language, we propose a Rust-like type system for a kernel reactive programming language named MSSL. MSSL features a cooperative threading model and facilitates mutable data sharing between threads while preserving type and borrowing safety. To achieve this, we introduce a novel abstraction called Trc (Thread Reference Counting), which combines the ownership safety of Rust references with the reference counting mechanism of Rust smart pointers. Then, we present the semantics and type system of MSSL to demonstrate its capabilities in maintaining type safety, borrowing safety, and concurrency safety. Furthermore, we extend MSSL by introducing reactive extensions, incorporating the concept of signals that offer powerful, flexible, and reliable means of communication. Finally, we provide a Java implementation of the complete MSSL set, based on the semantic and typing rules of its type system
3
Mansour, Elio. "Détection d’évènements dans des environnements connectés." Thesis, Pau, 2019. http://www.theses.fr/2019PAUU3017/document.
Анотація:
L’intérêt croissant pour les environnements connectés (bâtiments, villes, usines intelligents) etl’évolution des réseaux de capteurs, technologies de gestion/communication de données ont ouvertla voie à des applications intéressantes et utiles qui aident les utilisateurs dans leurs tâchesquotidiennes (augmenter la productivité dans une usine, réduire la consommation d’énergie).Cependant, diverses améliorations sont encore nécessaires. Par exemple, comment améliorer lareprésentation de ces environnements complexes, dynamiques et hétérogènes. En outre, commentfaciliter l’interaction entre les utilisateurs et leurs environnements connectés et comment fournir desoutils de surveillance et de gestion de tels environnements.Dans cette thèse, nous nous concentrons sur quatre défis principaux: (i) représenter un ensemblediversifié de composants et d’éléments liés à l’environnement et à son réseau de capteurs; (ii) fournirun langage de requête qui gère les interactions utilisateur/environnement connecté (pour la définitionde l’environnement, la gestion de données, la définition d’événements); (iii) faire face à la dynamiquede l’environnement et à son évolution dans le temps; et (iv) proposer un mécanisme générique dedétection d’événements pour mieux surveiller l’environnement.Pour ce faire, nous présentons d’abord un modèle de données basé sur une ontologie qui représentedes environnements et réseaux de capteurs hybrides. Couvrant ainsi divers capteurs (statique, mobile),environnements (infrastructures, équipements) et données (scalaires, multimédia). Ensuite, nousintroduisons un langage de requête que l’on pourrait utiliser pour diverses tâches (définirl’environnement connecté, la recherche d’informations, la définition d’événements, la gestion dedonnées). De plus, afin de suivre les changements d’environnement, nous fournissons un optimiseurde requêtes qui permet aux requêtes soumises de gérer la dynamique de l’environnement avant leurexécution. Enfin, nous proposons un noyau de détection d’événement qui prend en entrée lesdéfinitions d’événement et détecte les événements ciblés.Nous regroupons les modules susmentionnés dans un framework global pour la détectiond’événements dans des environnements connectés. Notre proposition est générique, extensible, etpourrait être utilisée avec différents environnements connectés tels que des bâtiments, des villes. .The rising interest in smart connected environments (e.g., smart buildings, cities, factories) and theevolution of sensors, data management/communication technologies have paved the way forinteresting and useful applications that help users in their every day tasks (e.g. increasing comfort,reducing energy consumption). However, various improvements are still required. For instance, howto enhance the representation of such complex, dynamic, and heterogeneous environments.Moreover, how to facilitate the interaction between users and their connected environments, and howto provide tools for environment monitoring and management.In this thesis, we focus on four main challenges: (i) representing a diverse set of components andelements related to the environment and its sensor network; (ii) providing a query language thathandles user/connected environment interactions (e.g., environment definition, data management,event definition); (iii) coping with the dynamicity of the environment and its evolution over time; and(iv) proposing a generic event detection mechanism for improved environment monitoring.To do so, we first present an ontology-based data model that represents hybrid environments/sensornetworks. Thus covering diverse sensors (e.g., static, mobile), environments (e.g., infrastructures,devices), and data (e.g., scalar, multimedia). Then, we introduce a query language that one might usefor various tasks (e.g., defining the connected environment, information retrieval, event definition,data management). Furthermore, to keep up with the environment changes we provide a queryoptimizer that allows the submitted queries to cope with the dynamicity of the environment prior totheir execution. Finally, we propose an event detection core that takes event definitions as input anddetects the targeted events.We group the aforementioned modules in one global framework for event detection in connectedenvironments. Our proposal is generic, extensible, and could be used with different connectedenvironments such as buildings, cities. .
4
Pelenc, Stéphane. "Objets et contraintes." Montpellier 2, 1998. http://www.theses.fr/1998MON20099.
Анотація:
La programmation par objets et la programmation par contraintes connaissent depuis quelques annees, un vif succes dans l'informatique. Si les atouts du paradigme objet s'expriment en termes de modularite, de reutilisabilite et de representation, la notion de contrainte apporte quant a elle, une grande declarativite dans le domaine de la resolution de problemes. Associer ces deux paradigmes semble naturel et a deja fait l'objet de nombreuses etudes. Cette association permet d'une part, d'utiliser la programmation par objet pour representer et gerer des contraintes en beneficiant ainsi pour les contraintes, des qualites logicielles des objets, d'autre part, de contraindre des objets afin d'etendre le pouvoir expressif des objets. Apres une presentation generale des contraintes, notamment des csp bases sur une enumeration des domaines couplee avec des techniques de reduction et des contraintes fonctionnelles basees sur une propagation locale de valeurs, quelques rappels sur les objets en programmation et en representation des connaissances, ce memoire propose une modelisation exhaustive des diverses manieres naturelles d'associer ces deux paradigmes en soulignant les apports specifiques de chacun. Nos contributions portent sur l'extension de l'algorithme de propagation locale (planifiee) deltablue et l'integration des deux types de contraintes (csp et fonctionnelles). Nous proposons egalement une interpretation par des operations de reecriture des contraintes sur des chemins d'attributs, et introduisons la notion de contrainte generique, basee sur une transposition aux contraintes des fonctions generiques de certains langages de programmation par objets comme clos ou dylan. Enfin, le modele objet yacos (yet another constraints objects system), ecrit au dessus du systeme y3, fournit quelques elements de reponses pour l'implementation d'un systeme alliant objets et contraintes.
5
DOUIN, JEAN-MICHEL. "Objets, programmation en logique et implantation parallele." Paris, CNAM, 1993. http://www.theses.fr/1993CNAM0165.
Анотація:
La premiere partie de cette these integre dans le langage modulog certains resultats recents de la recherche sur les langages a objets et propose une nouvelle definition des objets en programmation logique. La deuxieme partie porte sur la parallelisation de l'interpreteur modulog. Un modele ensembliste est retenu comme support rigoureux de l'heritage. Le langage modulog#o autorise la definition de classe et de l'heritage multiple. Modulog#o definit la notion d'objet mutable en programmation logique. Les classes peuvent declarer un invariant utilisant l'unification retardee sur les variables libres. Outre la selection classique des methodes, modulog#o utilise le principe de retraction. L'unification est etendue et repose sur le calcul de la borne inferieure de deux classes d'objets. Les extensions sont decrites par une semantique operationnelle en regles inductives. L'interpretation de ces regles transcrites en prolog fournit un prototype de l'interpreteur modulog#o. Une premiere implantation en langage imperatif est egalement developpee. La parallelisation utilise les modeles en et-restreint et ou appliques aux buts des queues de clauses du programme modulog. L'architecture parallele utilisee est de type mimd a memoire locale. Les etudes menees montrent un gain notable en performance si l'on adopte un parallelisme explicite. La comparaison est faite avec le parallelisme implicite
6
ROY, PIERRE. "Satisfaction de contraintes et programmation par objets." Paris 6, 1998. http://www.theses.fr/1998PA066742.
Анотація:
La satisfaction de contraintes est un est un formalisme et un ensemble de techniques pour la resolution de problemes combinatoires. L'integration de ce paradigme dans un langage de programmation par objets vise deux objectifs. D'une part, la programmation par objets permet une implementation efficace et interessante des techniques de satisfaction de contraintes. D'autre part, les objets peuvent etre utilises pour definir et resoudre des problemes structures plus facilement. Traditionnellement, les systemes de contraintes implementes dans un langage a objets sont des extensions du langage sous forme de bibliotheques de classes. Nous montrons, a l'aide du systeme backtalk, les interets d'une approche de type framework. Backtalk est illustre sur plusieurs exemples et nous comparons ces performances avec certains des meilleurs systemes existants actuellement. Nous illustrons cette partie avec une application a la creation de grilles de mots croises. Nous nous interessons d'autre part a la resolution de problemes structures, c'est-a-dire dont les inconnues sont des objets complexes et non pas des nombres. L'approche traditionnelle consiste a utiliser une representation numerique de tels problemes, ce qui permet d'employer les techniques de resolution de contraintes numeriques, qui sont les mieux maitrisees. Cependant, cette demarche souleve trois difficultes majeures : elle complique sensiblement la definition des contraintes, elle empeche la reutilisation de classes predefinies et elle conduit dans certains cas a une resolution inefficace. Nous proposons une approche differente, fondee sur une representation explicite des structures du probleme par des objets du langage hote. Cette approche permet d'apporter une solution aux trois difficultes precedentes. Cette partie est illustree par une application a l'harmonisation musicale automatique.
7
GUERRAOUT, RACHID. "Programmation repartie par objets : etudes et propositions." Paris 11, 1992. http://www.theses.fr/1992PA112336.
Анотація:
Cette these contribue a l'etude du concept d'objet dans la programmation repartie. Desormais devenue une realite du monde informatique, cette forme de programmation permet d'augmenter la disponibilite des applications et de diminuer leur temps d'execution. Cependant, concevoir une application repartie demeure une entreprise delicate: les differents niveaux d'abstraction mis en jeu entravent la maintenabilite et la reutilisabilite des programmes, tandis que les acces concurrents et les erreurs constituent autant de sources d'incoherence des executions. Le concept d'objet favorise la modularite des programmes et permet d'aborder la repartition avec un niveau d'abstraction superieur a celui d'entites plus frustes telles que les processus, les canaux de communication, les fichiers etc. L'integration dans un modele d'objets des aspects relatifs a la programmation repartie souleve les problemes de l'expression de la concurrence et du maintien de la coherence. L'etude de ces problemes a ete guidee par les soucis de preserver les proprietes intrinseques du concept d'objet, et de rendre les solutions proposees, aussi orthogonales que possible. Les contributions apportees sont pour l'essentiel: (i) la classification, au regard de la modularite, des differentes alternatives de conception d'un langage a objets concurrents; (ii) l'evaluation des mecanismes transactionnels dans les langages a objets concurrents, et la conception d'un protocole d'invocation atomique asynchrone, baptise acs; (iii) la definition d'un langage a objets concurrents transactionnel, baptise karos; (iv) la realisation d'une plate-forme modulaire, qui permet de combiner dans une meme application, differents mecanismes de controle de concurrence et de recouvrement aux erreurs; (v) la mise en evidence d'une propriete formelle, appelee atomicite generale, qui constitue une mesure de validite de la specification des objets atomiques
8
Codani, Jean-Jacques. "Microprogrammation, architectures, langages à objets : NAS /." [Le-Chesnay] : Institut national de recherche en informatique et en automatique, 1988. http://catalogue.bnf.fr/ark:/12148/cb35000251h.
9
Fouquier, Gilles. "Programmation temps reel a objets : etudes et proportions." Evry-Val d'Essonne, 1996. http://www.theses.fr/1996EVRY0030.
Анотація:
Cette these contribue a l'introduction de la programmation a objets dans le domaine du temps reel. La programmation a objets est reconnue pour favoriser la modularite et la reutilisabilite des logiciels. Cependant son utilisation pour le temps reel pour de nombreux problemes theniques et conceptuels. Pour repondre a ces problemes, un nouveau modele de programmation temps reel a objets est propose. Ce modele a base d'objets actifs permet d'introduire la concurrence en conservant les proprietes d'encapsulation du modele objet. L'aspect temps reel est traite en remplacant le concept de tache par celui de methode en execution, et en associant a chaque envoi de message une contrainte temps reel (priorite ou echeance). L'ordonnancement se fait sur l'ensemble des methodes en execution. Ce modele, nomme atome, se decline en plusieurs sous-modele permettant de traiter les types de controle de concurrence les plus repandues en y integrant le traitement des priorites et des echeances. Les strategies et ordonnancement classiques du temps reel hpf et edf sont integres au modele de maniere a garantir un fonctionnement coherent et a eviter les inversions de priorite ou d'echeance. Ce modele et ses variantes se presentent donc comme de nouvelles proportions pour programmer des applications temps reel a l'aide d'un modele tant objet facilitant a la fois la reutilisation et l'ecriture du code. La faisabilite de cette approche au niveau systeme est demontree au niveau systeme en etendant un langage a objets actifs existant a partir des regles definies dans le modele atome
10
Fouquier, Gilles. "Programmation temps réel à objets : études et proposition /." Gif-sur-Yvette : Direction de l'information scientifique et technique, CEA Saclay, 1996. http://catalogue.bnf.fr/ark:/12148/cb361642829.
Книги з теми "Internet des objets – Programmation":
1
Campione, Mary. The Java tutorial: Object-oriented programming for the Internet. 2nd ed. Reading, Mass: Addison-Wesley, 1998.
2
Campione, Mary. The Java tutorial: Object-oriented programming for the Internet. Reading, Mass: Addison Wesley, 1996.
3
Campione, Mary. The Java tutorial: Object-oriented programming for the Internet. Reading, Mass: Addison Wesley, 1996.
4
Naughton, Patrick. Programmation en Java, version 1.2: Concepts et applications. Montréal: Chenelière/McGraw-Hill, 1998.
5
Campione, Mary. The Java tutorial: A short course on the basics. 3rd ed. Boston: Addison-Wesley, 2001.
6
Clavel, Gilles, and Eric-Marc Mahé. Java la synthèse: Des concepts objets aux architectures Web. 3rd ed. Paris: Dunod, 2000.
7
Clark, Richard. Formation à-- ASP.net. Les Ulis, France: Microsoft Press, 2001.
8
Wainwright, Peter. Pro Perl. Berkeley, CA: Apress, 2005.
9
Dugerdil, Philippe. Smalltalk-80: Programmation par objets. Lausanne: Presses polytechniques et universitaires romandes, 1990.
10
Ferber, Jacques. Conception et programmation par objets. 2nd ed. Paris: Hermès, 1991.
Частини книг з теми "Internet des objets – Programmation":
1
Beringer, Lennart. "Verified Software Units." In Programming Languages and Systems, 118–47. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_5.
Анотація:
AbstractModularity - the partitioning of software into units of functionality that interact with each other via interfaces - has been the mainstay of software development for half a century. In case of the C language, the main mechanism for modularity is the compilation unit / header file abstraction. This paper complements programmatic modularity for C with modularity idioms for specification and verification in the context of Verifiable C, an expressive separation logic for CompCert . Technical innovations include (i) abstract predicate declarations – existential packages that combine Parkinson & Bierman’s abstract predicates with their client-visible reasoning principles; (ii) residual predicates, which help enforcing data abstraction in callback-rich code; and (iii) an application to pure (Smalltalk-style) objects that connects code verification to model-level reasoning about features such as subtyping, self, inheritance, and late binding. We introduce our techniques using concrete example modules that have all been verified using the Coq proof assistant and combine to fully linked verified programs using a novel, abstraction-respecting component composition rule for Verifiable C.
2
HONBA HONBA, Cédric. "Sémiotique et archive d’images." In Corpus audiovisuels, 125–46. Editions des archives contemporaines, 2022. http://dx.doi.org/10.17184/eac.5705.
Анотація:
L’archivage photographique est une pratique dont l’enjeu est de mobiliser la photographie en tant que dispositif technique, comprenant autant une phase d’inscription que d’expression, afin de produire des ressources documentaires. Bien que le problème de la conservation et de la classification des supports photographiques soit déjà considérée par l’archivistique et les sciences de la documentation, celui de la médiation ou de l’énonciation des archives d’images est, selon nous, trop peu explorée, et mérite davantage de problématisation. Par ailleurs, le développement ainsi que la part de plus en plus importante des techniques informatiques dans les processus de communication transforment les modalités de l’inscription et de l’énonciation des documents, des images, voire des médias, à travers la technologie numérique. Dispositifs multimédias et langages de programmation sont désormais largement utilisés pour manipuler et transmettre des contenus à travers des écrans, des logiciels, des applications, des interfaces, etc., qui deviennent progressivement les nouveaux intermédiaires de la communication. Il est nécessaire de prendre acte de ces nouvelles possibilités de médiatisation des archives d’images, notamment parce que de nombreux projets et institutions patrimoniales visent plus récemment à rendre accessibles des archives d’images sur le réseau internet. Parmi les nombreux usages de la photographie, nous proposons ainsi non seulement de nous intéresser à ses usages documentaires, mais surtout à l’établissement progressif de l’archive photographique à travers des réseaux, plus précisément : des réseaux de communication. En effet, l’interpénétration du dispositif photographique et de la technologie numérique aboutit sur des objets techniques et des processus complexes, qui ne sont pas aisément interprétables, et dont le fonctionnement n’est pas toujours très limpide. Sans doute, parce que l’analyse de ces objets et processus relève de plusieurs dimensions techniques, mais aussi énonciatives et stratégiques. C’est en examinant l’environnement technologique où sont intégrés différents supports photographiques, ainsi que les modalités de leurs valorisations en tant qu’objets documentaires que nous remarquerons la portée communicationnelle de l’archive photographique.
3
Benghozi, Pierre-Jean, Sylvain Bureau, and Françoise Massit-Folléa. "Defining the Internet of Things." In L’Internet des objets, 91–99. Éditions de la Maison des sciences de l’homme, 2009. http://dx.doi.org/10.4000/books.editionsmsh.97.
4
Benghozi, Pierre-Jean, Sylvain Bureau, and Françoise Massit-Folléa. "Technical evolution of the Internet of Things." In L’Internet des objets, 111–20. Éditions de la Maison des sciences de l’homme, 2009. http://dx.doi.org/10.4000/books.editionsmsh.99.
5
Benghozi, Pierre-Jean, Sylvain Bureau, and Françoise Massit-Folléa. "The prominence and challenges of the Internet of Things." In L’Internet des objets, 101–10. Éditions de la Maison des sciences de l’homme, 2009. http://dx.doi.org/10.4000/books.editionsmsh.98.
6
ERTZ, Myriam, Shouheng SUN, Émilie BOILY, Gautier Georges Yao QUENUM, Kubiat PATRICK, Yassine LAGHRIB, Damien HALLEGATTE, Julien BOUSQUET, and Imen LATROUS. "Les produits augmentés : la contribution de l’industrie 4.0 à la consommation durable." In Le marketing au service du développement durable, 277–300. ISTE Group, 2021. http://dx.doi.org/10.51926/iste.9036.ch14.
Анотація:
L’industrie 4.0 (mégadonnées, Internet-des-Objets, fabrication additive, et intelligence artificielle) offre des perspectives prometteuses pour un développement plus durable. Toutefois, malgré certains liens perceptibles entre technologie et durabilité, peu d’études examinent les opportunités de croisement entre ces deux champs. Ce chapitre établit ce lien en identifiant le potentiel des nouvelles technologies de contribuer à un nouveau marketing de produits plus durable.
7
KHALIL, Ahmad, Nader MBAREK, and Olivier TOGNI. "Adaptation du contrôle d’accès pour la sécurité de l’IoT." In La gestion et le contrôle intelligents des performances et de la sécurité dans l’IoT, 169–204. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9053.ch7.
Анотація:
Ce chapitre décrit différents mécanismes de contrôle d’accès adaptés aux différentes couches de l’architecture IoT. Dans ce contexte, la méthode IoT-MAAC (Internet of Things-Multiple Attribute Access Control) est spécifiée grâce à différents attributs de sécurité. Elle s’adapte à la couche dispositifs de l’IoT et permet une collecte intelligente des données à partir des objets IoT les plus fiables et sécurisés.
Тези доповідей конференцій з теми "Internet des objets – Programmation":
1
Haboyan, Razmik. "La Grande Réinitialisation : projet, symptôme ou promesse ? La transition comme une arme de guérilla sémiotique." In Actes du congrès de l’Association Française de Sémiotique. Limoges: Université de Limoges, 2024. http://dx.doi.org/10.25965/as.8487.
Анотація:
La grande réinitialisation est une des formules les plus discutées sur internet depuis l’avènement de la Covid-19. C’est le nom de la cinquantième réunion annuelle du Forum Économique Mondial mais c’est également le titre d’un ouvrage-manifeste rédigé par le fondateur du Forum Klaus Schwab et par l’économiste Thierry Malleret, traduit et diffusé en plusieurs langues. C’est en outre le nom d’un grand projet de transformation in progress, qui trouve un espace de déploiement sur le site de l’organisation, dont la dernière série des conférences portait sur l’impératif d’élaborer un nouveau Great Narrative. Au-delà des enjeux politiques et économiques ambitieux et des critiques excessives et démesurées dont cette expression est la cible, par cet article, nous proposons une lecture sémiotique de cette formule médiatique, à la fois pluridiscursive, stratifiée et intégrant plusieurs supports, déclinée en plusieurs objets, portée par un éthos protéiforme générant une polyphonie objectale, et dont la notion de transition s’avère être l’une des clés interprétatives indispensables à sa description.
2
Soh, Chien Lin, Jay Kamdar, Khushi Shah, Martine Irog, Nitya Jagadam, Pablo Arriazu, Paras Adlakha, et al. "Domi Inter Astra (DIA) Moon Base: an interdisciplinary approach for cooperation to build a near-future Moonbase and how to use it as an educational tool." In Symposium on Space Educational Activities (SSAE). Universitat Politècnica de Catalunya, 2022. http://dx.doi.org/10.5821/conference-9788419184405.088.
Анотація:
Permanent human settlements outside of low-earth orbit face technical and psycho-social challenges for the crew members and programmatic risks around funding and operating these missions, without clear public support and international involvement. A concept for the construction and operation of a lunar settlement named "Domi Inter Astra" (DIA), near the Shackleton Crater, was developed to understand the feasibility of a near-term permanent settlement crewed by international researchers and tourists. This project was created by a team under the Space Generation Advisory Council's auspices and a follow-on to our First Place design in the Moon Base Design Contest by The Moon Society. Technologies for
infrastructure, life-support, environment control, and robotics were selected using high-level trade studies to balance resource requirements, safety, reliability, operability, and maintainability of the base over a long (20+ year) operating life with 10-30 inhabitants. Technology roadmaps were developed for gaps in existing technologies, considering opportunities with ISRU and methods of closing the environment control and life support system loops. A wider range of human factors pertaining to the social environment onboard the base is discussed to ensure long-term stability. Architectural design choices were made, keeping these factors in mind while also considering technical and economic viability.
Large-scale space exploration projects must mitigate both public interest and funding risks throughout their life cycle. Economic roadmaps are introduced to diversify revenue streams throughout the settlement's design, deployment, and operation. Funding opportunities that evolve with the base design and functionality over time are identified for long-term economic sustainability. A polycentric model for international collaboration is explored to promote interest from current space-leading countries while providing opportunities for emerging space nations. The DIA lunar settlement case study showcases the interrelation between engineering, economics, architecture, science, social and management scopes. It highlights the interdisciplinary approach and inclusivity in the field of space sciences. This case study can help international and public-private partnerships to develop human space exploration capabilities further. The current DIA base plan could be used in many ways for educational
activities, for any level of students and professionals. Two types of activities could be design and analysis based and mini analogue missions. Students could devise and perform small experiments that relate to the base’s day-to-day activities as well as resources required, for example growing microgreens and plants in different conditions, geology surveys, 3D printing different objects and many such mini-projects. Graduate students and professionals could work on CAD modelling for structures, improving the architectural plan and the statistical analysis for the economical model.
Звіти організацій з теми "Internet des objets – Programmation":
1
Aubry, Philippe, Nicolas Boileau, Marie Briandy, Marie-Christine Chauvat, Sandrine Conin, and Éric Min-Tung. Rapport sur le chantier IdRef en Normandie. Normandie Université, December 2023. http://dx.doi.org/10.51203/rapport.nu.000003.
Анотація:
Suivant le développement des systèmes d’information et des plateformes, ouverts ou fermés, les identifiants pour la recherche se sont multipliés. Leur usage ainsi que leur amélioration est un enjeu pour le développement de l’écosystème de la science ouverte, comme l’indique la note d’orientation du Comité pour la science ouverte de 2019. Qu’ils concernent les structures de recherche, les auteurs ou les objets de la recherche, ils sont indispensables pour identifier et être facilement retrouvés sur internet, répondant ainsi au F des principes FAIR. Ces identifiants, nationaux et internationaux, ont été développés pour les besoins d’outils (ex. IdHAL, IdRef), de gestion de la recherche (RNSR) ou pour l’édition scientifique (ex. ORCID, ROR). Certains de ces identifiants sont des prérequis nécessaires pour activer des fonctionnalités associées (création de CV avec HAL et ORCID). Ce foisonnement d’identifiants peut être difficile à suivre et la réalisation d’alignements devient un véritable enjeu pour faire concorder tel auteur ou telle structure à travers plateformes et outils. En Normandie, ces enjeux sont centraux dans les activités liées à la documentation mais aussi à la science ouverte. Ce présent rapport fait état du travail mené par les équipes des services documentaires sur un chantier de nettoyage, d’enrichissement et d’alignements des structures et chercheurs des établissements membres de Normandie Université.