Academic literature on the topic 'Spécification technique'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Spécification technique.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Spécification technique"
1
Dagenais, Marcel G. "Estimation et spécification." Articles 54, no. 4 (July 6, 2009): 427–30. http://dx.doi.org/10.7202/800790ar.
Full textAbstract:
In his presidential address to the Société Canadienne de Science Economique, at the 1978 meeting, the author had chosen to talk about the organizational problems of the Société because of the pressing nature of the situation. Should the author have decided to discuss issues related to the science of economics, as is usuall done in such occasions, he would have taken this opportunity to point out that one of the major problems of econometric research is that of specifying correctly the structural models utilized. Econometric textbooks discuss thoroughly the methods of estimations under the assumption that the structure of the econometric model is given. However, it is well known that in practice, trial and error procedures are extensively used to find "acceptable" functional forms for the equations of the models. Efforts have been made to develop systematic techniques of choice between functional forms, but the results available until now are very limited in scope. Much greater research efforts should be devoted to this fundamental topic.
2
-FAISANDIER, Alain. "Elaboration des spécifications techniques de systèmes complexes." Revue de l'Electricité et de l'Electronique -, no. 01 (1995): 30. http://dx.doi.org/10.3845/ree.1995.006.
Full text
3
Vias Franck, S. G., Eric Vall, Y. Ibrahim, and Bernard Faye. "La traction cameline, un apport important dans l’évolution des pratiques de traction animale au Niger." Revue d’élevage et de médecine vétérinaire des pays tropicaux 57, no. 3-4 (March 1, 2004): 177. http://dx.doi.org/10.19182/remvt.9888.
Full textAbstract:
L’utilisation du dromadaire pour la culture attelée et le transport au moyen de la charrette a été une évolution des pratiques de traction animale observée en zone agricole subsaharienne. Le dromadaire représente le stade ultime de l’intensification agricole. Son utilisation pour la traction a été promue car elle répond à la demande d’un développement durable adapté aux ressources disponibles au Niger. Cette communication présente les outils à traction cameline mis au point par le projet de Renforcement institutionnel et technique de la filière cameline, les spécifications techniques de chaque matériel fabriqué, et la stratégie adoptée pour vulgariser la traction cameline au Niger.
4
Dinsenmeyer, Isabelle, Olivier Louvet, and Roland Groz. "Utilisation de techniques de description formelle (TDF) pour la spécification de logiciels de commutation." Annales des Télécommunications 42, no. 7-8 (July 1987): 448–60. http://dx.doi.org/10.1007/bf02995612.
Full text
5
Fouqueré, Christophe, and Fabrice Issac. "Corpus issus du Web : constitution et analyse informationnelle." Revue québécoise de linguistique 32, no. 1 (February 20, 2006): 111–34. http://dx.doi.org/10.7202/012246ar.
Full textAbstract:
Résumé Comparé à d’autres sources d’informations (documents techniques, articles de journaux, ...), le Web est une source quasi infinie d’informations de toute nature. Cet avantage peut s’avérer contreproductif si une information pertinente se trouve noyée dans une masse d’informations diverses. Notre travail tente donc d’évaluer dans quelle mesure des techniques de traitement automatique du langage naturel peuvent aider dans la recherche d’informations lorsque la base de données textuelles est non organisée. Plus concrètement, notre étude vise la spécification de mécanismes de reformulation de requêtes. Nous tentons ici de décrire la méthodologie de constitution de corpus suivie, puis nous analysons la pertinence informationnelle des pages récupérables sur le web lorsqu’on fait varier la requête initiale.
6
Graz, Jean-Christophe. "Quand les normes font loi : Topologie intégrée et processus différenciés de la normalisation internationale." Études internationales 35, no. 2 (September 16, 2004): 233–60. http://dx.doi.org/10.7202/009036ar.
Full textAbstract:
Résumé La normalisation internationale désigne ici les spécifications techniques volontaires intervenant dans la production et les échanges internationaux. L’article développe un cadre théorique qui prolonge l’hypothèse de l’irruption de formes hybrides d’autorité non étatique à l’échelle mondiale. À partir du cas du projet de norme iso de système de gestion de la responsabilité sociale des entreprises, il montre que la normalisation internationale est sujette à un antagonisme profond. Celui-ci oppose les partisans d’une socialisation des normes internationales (transfert de la compétence universelle de la loi dans le cadre formel de la normalisation internationale) à ceux d’une mondialisation des normes marchandes (reconnaissance universelle de normes sectorielles minimales, définies principalement par le marché).
7
Egault, J., K. Denis, O. Bigot, P. Coignard, K. Rinfray, M. L. Peuziat, A. Gautier, et al. "Le projet ROBO-K : une méthodologie centrée sur les usagers pour définir les spécifications fonctionnelles et techniques." Annals of Physical and Rehabilitation Medicine 57 (May 2014): e15. http://dx.doi.org/10.1016/j.rehab.2014.03.048.
Full text
8
Pistre, Pierre, Hadrien Commenges, David Guerrero, and Laurent Proulhac. "Définitions opérationnelles du temps pour l’analyse des données longitudinales : illustration dans le champ des mobilités spatiales." Nouvelles perspectives en sciences sociales 10, no. 2 (May 11, 2015): 199–236. http://dx.doi.org/10.7202/1030268ar.
Full textAbstract:
La temporalité des phénomènes étudiés en sciences humaines et sociales pose des problèmes théoriques complexes et des problèmes techniques spécifiques, notamment d’analyse et de visualisation de l’information temporelle. Cet article propose une typologie opérationnelle distinguant trois types de temps – calendrier, processus et succession – puis il illustre l’intérêt de cette typologie à travers trois cas d’étude qui traitent des mobilités spatiales (parcours résidentiels, programmes d’activités et de déplacements quotidiens, itinéraires d’acheminement de marchandises). Ces exemples sont analysés à partir de données longitudinales et de plusieurs modes de représentation graphique (en chronogramme, en tapis, en coulées). Nous cherchons ainsi à enrichir et clarifier l’appréhension du temps comme attribut dans un système d’information statistique. Notre démarche de recherche a été largement inductive et pragmatique. Nous sommes partis de préoccupations thématiques et techniques particulières, concernant l’analyse et la représentation graphique des données longitudinales, pour aller vers des spécifications théoriques plus générales du temps. Nous avons cherché, en somme, à modeler un temps à la mesure de nos objets de recherche. Cette démarche est restituée en sens inverse dans l’article : de la réflexion théorique à la mise en pratique dans le champ des mobilités spatiales.
9
Dufour, Jean-Marie. "Logique et tests d’hypothèses." Articles 77, no. 2 (February 5, 2009): 171–90. http://dx.doi.org/10.7202/602348ar.
Full textAbstract:
RÉSUMÉ Dans ce texte, nous analysons les développements récents de l’économétrie à la lumière de la théorie des tests statistiques. Nous revoyons d’abord quelques principes fondamentaux de philosophie des sciences et de théorie statistique, en mettant l’accent sur la parcimonie et la falsifiabilité comme critères d’évaluation des modèles, sur le rôle de la théorie des tests comme formalisation du principe de falsification de modèles probabilistes, ainsi que sur la justification logique des notions de base de la théorie des tests (telles que le niveau d’un test). Nous montrons ensuite que certaines des méthodes statistiques et économétriques les plus utilisées sont fondamentalement inappropriées pour les problèmes et modèles considérés, tandis que de nombreuses hypothèses, pour lesquelles des procédures de test sont communément proposées, ne sont en fait pas du tout testables. De telles situations conduisent à des problèmes statistiques mal posés. Nous analysons quelques cas particuliers de tels problèmes : (1) la construction d’intervalles de confiance dans le cadre de modèles structurels qui posent des problèmes d’identification; (2) la construction de tests pour des hypothèses non paramétriques, incluant la construction de procédures robustes à l’hétéroscédasticité, à la non-normalité ou à la spécification dynamique. Nous indiquons que ces difficultés proviennent souvent de l’ambition d’affaiblir les conditions de régularité nécessaires à toute analyse statistique ainsi que d’une utilisation inappropriée de résultats de théorie distributionnelle asymptotique. Enfin, nous soulignons l’importance de formuler des hypothèses et modèles testables, et de proposer des techniques économétriques dont les propriétés sont démontrables dans les échantillons finis.
10
Hangouët, Jean-François, Michel Pausader, and Jean-Philippe Cantou. "L'orthomosaïque à échelle départementale : les performances de l'imagerie Pléiades comparées au produit BD ORTHO®." Revue Française de Photogrammétrie et de Télédétection, no. 208 (September 5, 2014): 27–32. http://dx.doi.org/10.52638/rfpt.2014.127.
Full textAbstract:
Les performances de l'imagerie des satellites Pléiades permettent-elles d'envisager de l'utiliser pour la production d'orthomosaïques d'emprises départementales qui soient conformes aux spécifications de la BD ORTHO® de l'IGN? Tel est l'enjeu technique des tests de faisabilité que rapporte cet article. Quatre orthomosaïques départementales ont été constituées à partir de scènes fournies par le CNES et Airbus Defence and Space dans le cadre de la Recette Thématique Utilisateurs des données Pléiades. Les deux premiers prototypes, réalisés à partir de premières images de 2012 du satellite 1A, souffraient principalement de défauts d'exhaustivité (du fait de la combinaison des contraintes de programmation et des aléas climatiques) et de défauts planimétriques (du fait de la combinaison de trop forts angles d'incidence et d'inexactitudes dans le modèle numérique de terrain utilisé pour l'orthorectification). L'aspect, qui reste inhabituel pour les familiers de l'imagerie aérienne, n'était pas encore optimal (du fait de la version utilisée à l'époque de l'algorithme de fusion radiométrique des images). L'amélioration de l'algorithme de fusion, le travail sur la programmation de l'acquisition, facilitée par le lancement du satellite 1B, et le renforcement des contraintes sur les angles d'incidence et le taux de nébulosité ont permis de produire les deux prototypes suivants (sur des acquisitions de 2013) à un meilleur niveau de conformité à ce qui est attendu de la BD ORTHO®. L'imagerie Pléiades se montre ainsi potentiellement complémentaire de l'imagerie aérienne dans le cycle de renouvellement des couvertures nationales, ce qu'illustre notamment un autre test que nous avons mené, consistant à incruster l'orthorectification du massif du Mont-Blanc, vu par Pléiades, dans l'orthomosaïque BD ORTHO® d'origine aérienne du département de la Haute-Savoie (74).
Dissertations / Theses on the topic "Spécification technique"
1
Fofana, Fangafossé Michel. "Spécification et prototypage d'un système de conduite technique d'atelier." Paris 13, 1997. http://www.theses.fr/1997PA132003.
Full textAbstract:
Dans l'environnement concurrentiel actuel, l'innovation, la qualité et la maîtrise des coûts constituent des éléments indispensables à la compétitivité des entreprises mais ne représentent plus les véritables facteurs de différenciation et de positionnement avantageux par rapport aux clients ou aux donneurs d'ordres. Les industriels cherchent aujourd'hui principalement à raccourcir les délais de conception, de planification et de fabrication et à augmenter leurs capacités de réaction et d'anticipation pour améliorer leur productivité. Ces nouveaux défis ont permis de prendre conscience du rôle essentiel du système d'information de l'entreprise comme un élément stratégique offrant un potentiel d'amélioration des performances inespéré. Les entreprises veulent désormais investir dans les outils d'intégration et maîtriser l'échange de données techniques dans leur environnement de production. Le present travail de doctorat a pour but de specifier et de creer un prototype d'un systeme de conduite technique d'atelier. Quatre parties vont constituer ce rapport: une première partie est destinée à définir et situer par rapport aux systèmes existants, la conduite technique d'un atelier de fabrication de pièces mécaniques en petites séries, une seconde partie définit la méthode de spécification du système, dans la troisième partie, une spécification objet du système est faite, la quatrième partie est consacrée au prototypage du système de conduite téchniqueIn the current competitive environment, innovation, quality and costs control are necessary element for companies competitiveness. However, theses element no longer represent effective factors of differentiation and advantageous positioning with regard to clients. Today, companies urgently need to reduce conception, planning and manufacturing delays. They also need to increase they response and anticipation ability in order to improve productivity. Theses new challenges give prominence to the role of the company information system as strategic element which brings potential improvement of performances. Compnies will want to invest in integration tools and control technical data exchange in the production environment tio increase reactivity. The goal of the present work is to specify and make a prototype of a workshop technical monitorin system. Four parts are included in the report: first part compares workshop technical monitoring system with existing systems, second part defines the system specification method, third part gives an object oriented specification of a workshop technical monitoring system, fourth part gives prominence to the technical monitoring system software prototype
2
Constant, Damien. "Contribution à la spécification d'un modèle fonctionnel de produits pour la conception intégrée de systèmes mécaniques." Université Joseph Fourier (Grenoble), 1996. http://www.theses.fr/1996GRE10158.
Full textAbstract:
Cette thèse est relative au domaine de la conception de systèmes mécaniques et plus particulièrement à la modélisation fonctionnelle du produit en cours de conception. Actuellement, les systèmes informatiques de Conception Assistée par Ordinateur (CAO) ne sont pas conçus pour fournir une assistance dans la recherche et le maintien de la cohérence entre les données fonctionnelles et la définition structurelle du produit. La mise en œuvre de telles fonctionnalités nécessite une formalisation de la description fonctionnelle du produit et l'explicitation des liens entre fonctions et éléments structurels du produit en cours de définition. Ce travail est centré sur la proposition d'un modèle «produit» basé sur la notion de flux physique et sur un concept d'association de surfaces reposant sur les SATT (Surfaces Associées Technologiquement et Topologiquement). A partir d'un graphe minimal d'associations de surfaces, décrivant les flux de quantité de mouvement entre le produit et son environnement, il est possible, à l'aide d'opérateurs de décomposition, de générer des niveaux de définition du produit de plus en plus précis. La gestion de la cohérence entre les différents niveaux porte essentiellement sur les paramètres de position relative entre surfaces fonctionnelles: les chaînes de cotation fonctionnelle peuvent alors être créées automatiquement par les opérateurs de décomposition. Cette thèse s'inscrit dans le cadre d'une réflexion plus générale sur le modèle produit pour la conception intégrée. Un développement informatique a permis de spécifier la structure de données et la gestion des contraintes du modèle
3
Kibamba, Yannick Privat. "Spécification et développement d'un environnement collaboratif de gestion du cycle de vie des données de simulation numérique." Compiègne, 2011. http://www.theses.fr/2011COMP1997.
Full textAbstract:
Les travaux de recherche présentés dans ce manuscrit s’intéressent à la gestion du cycle de vie des données de simulation numérique. La simulation numérique occupe de nos jours une place majeure dans le processus de développement de produit. Permettant de minimiser le recours aux prototypes physiques et assurant une analyse réaliste du comportement physique d’un système, la simulation numérique constitue un levier majeur d’amélioration du processus de développement. Face à une concurrence accrue, les entreprises manufacturières recourent intensivement à la simulation numérique pour améliorer les performances techniques de leurs produits. En regard de cet accroissement du recours à la simulation numérique, des enjeux forts de gestion et de partage de données entre les disciplines impliquées dans la simulation numérique et celles intervenants dans les autres phases du processus de développement se sont faits jour. Cette thèse présente une étude d’amélioration des activités de simulation numérique via la mise en œuvre d’une approche PLM. Cette étude propose deux voies principales d’amélioration. La Première concerne la définition d’une structure du produit intégrant au mieux les besoins de la simulation numérique, en rapport notamment à la définition des domaines fluide et structure ainsi qu’aux interactions associées. Le deuxième axe se rapporte la gestion des dépendances entre données de simulation pour une meilleure traçabilité et une capitalisation plus aisées. Cette étude a abouti au développement d’un prototype de système SLM autour de la solution Smar’Team de Dassault Systèmes couplée à des applications métier tels que CATIA de Dassault Systèmes et Workbench d’AnsysThe proposed research work deals with the issues of Simulation Lifecycle Management (SLM). Nowadays numerical simulation plays a major role in the product development process. Indeed, reducing the need for physical prototypes and providing a relevant analysis of system behavior, numerical simulation has became a major lever for improving the development process. Faced to an increased competition, manufacturing companies rely heavily on numerical simulation to improve the technical performances of their products. According to this increasing use of numerical simulation, some issues related to data management and information sharing between simulation disciplines and with other phases of the development process has emerged. This PhD thesis presents a study of improvement of simulation activities based on an application of PLM approach. This study suggests two main areas of improvement. The first one concerns the definition of product structure for better integration of the needs of the numerical simulation, specifically in relation to the definition of fluid and structure domains and also related interactions. The second area is related to the management of dependencies between simulation data for a better traceability and an easier capitalization. This research work finally resulted in the implementation of a SLM prototype based on the solution Smar Team of Dassault Systèmes and coupled with two expert applications : CATIA, a CAD solution of Dassault Systèmes, and Workbench, a Pre/Post-processing solution of Ansys
4
Garnier, Gérard. "Modélisation de protocoles : application à la couche liaison de données de F.I.P." Nancy 1, 1992. http://www.theses.fr/1992NAN10308.
Full textAbstract:
Les architectures multicouches de protocoles et de services, basées sur le modèle de référence de l'O. S. I. (open systems interconnection) font appel à de nombreux et complexes mécanismes dont il est absolument nécessaire de spécifier le comportement de manière complète et non ambigüe. Seule une approche fondée sur une technique de description formelle permet de satisfaire à cet objectif. L'utilisation d'une telle approche permet en outre d'effectuer une majorité des vérifications et validations, au cours de l'élaboration même d'un cahier des charges ou de la conception d'un système. En conséquence, le premier chapitre de ce mémoire, après un bref rappel de la terminologie définie dans le modèle O. S. I. , expose une synthèse des techniques de description formelle, applicables aux protocoles et services I. S. O. (international standard organization). Le deuxième chapitre est consacré à la définition d'un outil de spécification, pour la modélisation des protocoles, à partir du grafcet et de concepts et possibilités d'expression provenant des langages informatiques. L'objectif du troisième chapitre est d'illustrer l'utilisation de l'outil proposé dans le chapitre précédent, de manière à montrer son applicabilité à la description formelle de protocoles. L'exemple choisi est la couche liaison de données du bus de terrain F. I. P. (flux information processus). La conclusion de ce mémoire porte sur l'avenir de l'outil proposé ainsi que sur les extensions dont il doit bénéficier
5
Lopez, Nestor. "Spécification formelle de systèmes complexes : méthodes et techniques." Paris, CNAM, 2002. http://www.theses.fr/2001CNAM0410.
Full textAbstract:
Nous proposons une methodologie de specification et de construction de systemes qui transforme la specification evenementielle d'un systeme en une specification pre-post, ce qui permet d'effectuer le processus de developpement a l'aide de techniques connues de derivation de programmes par raffinements et sans rompre le processus de raisonnement formel. Le role de la specification evenementielle est de decrire les interactions du systeme avec son environnement. Le resultat de la transformation est un module qui fournit les moyens de communication du systeme. Pour prendre en compte les aspects concurrents et distribues d'un systeme, nous proposons la notion de module partage. Nous utilisons des variables auxiliaires, non implantees, pour exprimer des proprietes abstraites et pour faire la preuve de correction des implantations effectuees. Pour repondre au besoin de reutilisation de modules existants, nous proposons une technique pour completer une specification a l'aide de variables auxiliaires afin de l'adapter a la solution de problemes particuliers, tout en preservant l'implantation fournie initialement.
6
Sab, Guillaume-Alexandre. "Étude de faisabilité d’un dispositif TDEM aéroporté sur avion léger dans une perspective multi-capteurs." Electronic Thesis or Diss., Paris 6, 2017. http://www.theses.fr/2017PA066654.
Full textAbstract:
L’électromagnétisme en domaine de temporel (TDEM) permet de déterminer la variation de la résistivité du sous-sol en fonction de la profondeur. Cette méthode possède aujourd’hui deux variantes aéroportées, héliportée ou fixée sur de gros avions, qui ont l’inconvénient d’être coûteuses et de manquer pour l’une d’autonomie de vol, pour l’autre de résolution. Cette thèse CIFRE accompagne le projet TEMas (Transient ElectroMagnetic airborne system) dédié à la mise au point d’un système ultraléger tracté par petit avion avec pour objectif de disposer d’une solution peu couteuse apportant autonomie et résolution. Le cœur du travail porte sur une analyse de la sensibilité du dispositif envisagé aux principaux paramètres (géométrie, caractéristiques du signal d’émission,…) pour établir ses principales spécifications avant fabrication par les partenaires du consortium du projet TEMas. Les simulations ont porté sur différents contextes géologiques et hydrogéologiques, favorables ou non à leur caractérisation par la méthode TDEM en 1D ou en 3D (par une formulation semi analytique et par la méthode des moments). Une originalité de ce travail a été de traiter le cas de la configuration VCP (Vertical CoPlanar) dans un dispositif aéroporté TDEM. Un intérêt particulier a été porté aux contextes rencontrés sur les sites de stockage et sur le bassin de l’Orgeval (Seine et Marne). Parallèlement à ces simulations numériques, une partie de ce travail de thèse est consacrée aux aspects technologiques concernant la fabrication du dispositif, sa géométrie, le type de câble, les éléments rayonnant (boucles d’émission et réception), les matériaux utilisés et les adaptations d’impédanceTime domain electromagnetism (TDEM) allows geophysicists to probe the resistivity of the subsurface as a function of depth. Today the airborne versions of this method can be brought into operation either by helicopter or by large airplanes (fixed wings), both are expensive and the first has the disadvantage of a low autonomy (distance available after take-off), the second of a low resolution. This thesis defends the development of a light system towed by a small airplane allowing both autonomy and resolution while being more affordable. It presents numerical simulations to determine the optimal acquisition parameters (emission waveform, altitude) of the future system. Using these parameters, simulations are also performed to assess the sensitivity of the system in various geological contexts (karst and alluvial deposits) with 1D (tabular) and 3D structure. Both HCP (standard) and VCP configurations are considered. The VCP configuration greatly increases the sensitivity to 3D bodies. A special consideration is afforded to underground storage cases and to the Orgeval (subsidiary of the Seine) hydrologic basin. We also detail the (sometimes problematic) choice of the mechanical and electronic characteristics of the system, such as antenna materials selection, antenna geometries, adaptation of impedance of the transmitting and receiving coils or cable lengths and weights. This approach results in the definition of a complete TDEM system ready for future flight tests
7
Thierry-Mieg, Yann. "Techniques pour le Model-Checking de spécifications de Haut Niveau." Paris 6, 2004. http://www.theses.fr/2004PA066500.
Full text
8
Dufaure, Jérome. "Intégration et traçabilité du transfert de spécifications géométriques dans le cycle de conception d'un produit." Bordeaux 1, 2005. http://www.theses.fr/2005BOR12984.
Full textAbstract:
L'expertise " tolérancement géométrique " d'un produit est souvent rejetée en phase de conception détaillée. La principale cause est que la plupart des outils du commerce dédiés à cette expertise reposent sur une définition du produit fournie par un modeleur géométrique d'un système de CAO (Conception Assistée par Ordinateur). Pour palier à ce problème, nous proposons un environnement de conception où l'expertise " tolérancement géométrique " s'appuie sur un modèle produit. Cela marque une rupture avec l'architecture classique d'un système de CAO où les expertises métiers gravitent autour d'un modeleur géométrique. Le modèle produit proposé est issu des travaux du consortium IPPOP (Intégration Produit Processus et Organisation pour l'amélioration de la Performance en ingénierie). Il repose sur une structure qui garantit la traçabilité des données au cours du cycle de conception et qui permet de décrire des alternatives de conception. Dans ce travail nous montrons l'apport du modèle produit au travers de l'expertise " tolérancement géométrique " vis à vis de l'architecture classique des systèmes de CAO. Deux points sont développés : l'intégration des données manipulées en " tolérancement géométrique " dans les données produit et la traçabilité des spécifications géométriques. L'intégration a pour but d'enrichir la description d'un produit avec un point de vue " tolérancement géométrique " dans une perspective de conception collaborative. La traçabilité permet d'une part de garantir le lien entre les conditions fonctionnelles et les spécifications géométriques, et permet d'autre part, de distinguer les spécifications géométriques induites par l'intégration d'un composant standardThe geometric tolerancing activity is often postponed until the detailed design stage. The main cause is that most tolerancing tools used in tolerancing activity are based on CAD (Computer Aided Design) modeler representations. To answer to this problem, we purpose a design framework where geometric tolerancing activity is based on a product model. This is in opposition with CAD system architecture where expertises share data with the geometric representation. The presented product model is the result of the IPPOP (Integration Product Process and Organisation for engineering Performance improvement) consortium. It is based on a structure which ensures data traceability during the design process and allows to describe design alternatives. In this work we put the stress on the benefit of the product model use with a tolerancing point of view in opposition with current CAD system use. Two main points are presented: the integration of the tolerancing data in the product data and the traceability of the geometric specifications. The aim of the integration is to enhance the product description with a tolerancing point of view in collaborative design. The traceability allows on the one hand to keep the link between the functional requirements and the geometric specifications and on the other hand to distinguish the geometric specifications induced by a standard component integration
9
Vekris, Dimitrios. "Vérification de spécifications EB-3 à l'aide de techniques de model-checking." Thesis, Paris Est, 2014. http://www.theses.fr/2014PEST1117/document.
Full textAbstract:
EB-3 est un langage de spécification développé pour la spécification des systèmes d'information. Le noyau du langage EB-3comprend des spécifications d'algèbre de processus afin de décrire le comportement des entités du système et des fonctions d'attributs qui sont des fonctions récursives dont l'évaluation se fait sur la trace d'exécution du système décrivant les attributs des entités. La vérification de propriétés temporelles en EB-3 est un sujet de grande importance pour des utilisateurs de EB-3. Dans cette thèse, on se focalise sur les propriétés de vivacité concernant des systèmes d'information exprimant l'éventualité que certaines actions puissent s'exécuter. La vérification des propriétés de vivacité se fait à l'aide de model checking. Dans un premier temps, on présente une sémantique opérationnelle deEB-3, selon laquelle les fonctions d'attributs sont évaluées pendant l'exécution du programme puis stockées. Cette sémantique nous permet de définir une traduction automatique de EB-3 vers LNT, qui est un langage simultané enrichi d'une algèbre de processus. Notre traduction assure la correspondance un à un entre les états et les transitions des systèmes étiquetés de transition correspondent respectivement à des spécifications EB-3 et LNT. Ensuite, on automatise la traduction grâce à l'outil EB3toLNT fournissant aux utilisateurs de EB-3 une tous les outils de vérification fonctionnelle disponible dans CADP. Dans le but d'améliorer les résultats de notre approche concernant le model checking, on explore des techniques d'abstraction dédiées aux systèmes d'information spécifiées en EB-3. En particulier, on se focalise sur une famille spécifique de systèmes qui s'appellent paramétriques dont le comportement varie en fonction de la valeur prédéfinie d'un paramètre du système. Enfin, on applique cette méthode dans le contexte de EB-3EB-3 is a specification language for information systems. The core of the EB-3 language consists of process algebraic specifications describing the behaviour of entities in a system, and attribute functions that are recursive functions evaluated on the system execution trace describing entity attributes. The verification ofEB-3 specifications against temporal properties is of great interest to users of EB-3. In this thesis, we focus on liveness properties of information systems, which express the eventuality that certain actions take place. The verification of liveness properties can beachieved with model checking. First, we present an operational semantics for EB-3 programs, in which attribute functions are computed during program evolution and their values are stored into program memory. This semantics permits us to define an automatic translation from EB-3 to LNT, a value-passing concurrent language with classical process algebra features. Our translation ensures the one-to-one correspondence between states and transitions of the labelled transition systems corresponding to theEB-3 and LNT specifications. Then, we automate this translation with the EB-3toLNT tool, thus equipping the EB-3 method with the functional verification features available in the model checking toolbox CADP. With the aim of improving the model checking results of this approach, we explore abstraction techniques for information systems specified inEB-3. In particular, we concentrate on a specific family of systems called parametric, whose behaviour is scaled in keeping with the predefined value of a system parameter. Finally, we apply this method on the EB-3 context
10
Rouillard, Davy. "Application de techniques de preuve assistée pour la spécification, la vérification et le test." Bordeaux 1, 2002. http://www.theses.fr/2002BOR12573.
Full textAbstract:
Les méthodes formelles ont pour objectif d'augmenter le niveau de confiance que l'on peut avoir en un système informatique, en proposant des techniques d'analyse dont les fondements sont mathématiques. Traditionnellement, ces méthodes sont classées en trois grandes familles : le model-checking, la preuve interactive et le test. Ce mémoire décrit le développement d'un environnement formel qui autorise à la fois une activité de vérification et dont l'objectif est permettre l'étude de systèmes complexes modélisés sous la forme d'automates. Cet environnement prend la forme d'un ensemble de théories Isabelle/HOL dont la racine est formée par la formalisation des systèmes de transitions et leur comportements. Plusieurs mécanismes de preuve sont présentés et il est mit en évidence l'importance du mécanisme de réécritures. Nous nous intéressons également à une nouvelle approche du test qui consiste à envisager la création d'un test comme la démonstration d'un énoncé.
Books on the topic "Spécification technique"
1
Cafe Obj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification (Amast Series in Computing, Vol 6). World Scientific Publishing Company, 1998.
Find full textBook chapters on the topic "Spécification technique"
1
"Crédits et spécifications techniques." In Manuel d aménagement des espaces de conférence et de communication, 6. Birkhäuser, 2008. http://dx.doi.org/10.1515/9783034609647.6.
Full text
2
"Chapitre 4 : Spécifications techniques d’exploitation." In Exploitation des coeurs REP, 57–76. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0327-9-007.
Full text
3
"Chapitre 4 : Spécifications techniques d’exploitation." In Exploitation des coeurs REP, 57–76. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0327-9.c007.
Full text
4
"Spécifications techniques générales applicables à l’équipement radar." In CEVNI Code Européen des Voies de Navigation Intérieure, 181. Nations Unies, 2009. http://dx.doi.org/10.18356/83c78071-fr.
Full text
5
"Prescriptions applicables aux feux et à la couleur des feux de signalisation sur les bateaux, ainsi qu’à l’intensité et à la portée des feux de signalisation des bateaux, et spécifications techniques générales applicables à l’équipement radar." In Recommandations Relatives à des Prescriptions Techniques Harmonisées à l'Echelle Européenne Applicables aux Bateaux de Navigation Intérieure, 267–75. Nations Unies, 2011. http://dx.doi.org/10.18356/bce1872c-fr.
Full text
6
"Prescriptions applicables aux feux et à la couleur des feux de signalisation sur les bateaux, ainsi qu’à l’intensité et à la portée des feux de signalisation des bateaux, et spécifications techniques générales applicables à l’équipement radar." In Recommandations relatives à des prescriptions techniques harmonisées à l’échelle européenne applicables aux bateaux de navigation intérieure, 264–70. UN, 2020. http://dx.doi.org/10.18356/9acd6445-fr.
Full text