Auswahl der wissenschaftlichen Literatur zum Thema „Spécification technique“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Spécification technique" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Spécification technique":
Dagenais, Marcel G. „Estimation et spécification“. Articles 54, Nr. 4 (06.07.2009): 427–30. http://dx.doi.org/10.7202/800790ar.
-FAISANDIER, Alain. „Elaboration des spécifications techniques de systèmes complexes“. Revue de l'Electricité et de l'Electronique -, Nr. 01 (1995): 30. http://dx.doi.org/10.3845/ree.1995.006.
Vias Franck, S. G., Eric Vall, Y. Ibrahim und 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, Nr. 3-4 (01.03.2004): 177. http://dx.doi.org/10.19182/remvt.9888.
Dinsenmeyer, Isabelle, Olivier Louvet und Roland Groz. „Utilisation de techniques de description formelle (TDF) pour la spécification de logiciels de commutation“. Annales des Télécommunications 42, Nr. 7-8 (Juli 1987): 448–60. http://dx.doi.org/10.1007/bf02995612.
Fouqueré, Christophe, und Fabrice Issac. „Corpus issus du Web : constitution et analyse informationnelle“. Revue québécoise de linguistique 32, Nr. 1 (20.02.2006): 111–34. http://dx.doi.org/10.7202/012246ar.
Graz, Jean-Christophe. „Quand les normes font loi : Topologie intégrée et processus différenciés de la normalisation internationale“. Études internationales 35, Nr. 2 (16.09.2004): 233–60. http://dx.doi.org/10.7202/009036ar.
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 (Mai 2014): e15. http://dx.doi.org/10.1016/j.rehab.2014.03.048.
Pistre, Pierre, Hadrien Commenges, David Guerrero und 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, Nr. 2 (11.05.2015): 199–236. http://dx.doi.org/10.7202/1030268ar.
Dufour, Jean-Marie. „Logique et tests d’hypothèses“. Articles 77, Nr. 2 (05.02.2009): 171–90. http://dx.doi.org/10.7202/602348ar.
Hangouët, Jean-François, Michel Pausader und 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, Nr. 208 (05.09.2014): 27–32. http://dx.doi.org/10.52638/rfpt.2014.127.
Dissertationen zum Thema "Spécification technique":
Fofana, Fangafossé Michel. „Spécification et prototypage d'un système de conduite technique d'atelier“. Paris 13, 1997. http://www.theses.fr/1997PA132003.
In 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
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.
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.
The 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
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.
Lopez, Nestor. „Spécification formelle de systèmes complexes : méthodes et techniques“. Paris, CNAM, 2002. http://www.theses.fr/2001CNAM0410.
Sab, Guillaume-Alexandre. „Étude de faisabilité d’un dispositif TDEM aéroporté sur avion léger dans une perspective multi-capteurs“. Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066654.
Time 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
Thierry-Mieg, Yann. „Techniques pour le Model-Checking de spécifications de Haut Niveau“. Paris 6, 2004. http://www.theses.fr/2004PA066500.
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.
The 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
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.
EB-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
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.
Bücher zum Thema "Spécification technique":
Diaconescu, Razvan, und Kokichi Futatsugi. 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.
Buchteile zum Thema "Spécification technique":
„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.
„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.
„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.
„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.
„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.
„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.