Publication
Optimization of cascade stilling basins using GA and PSO approaches
Concepts associés (30)
Méthode formelle (informatique)
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Sciences numériques
Les sciences numériques (traduction de l'anglais computational sciences), autrement dénommées calcul scientifique ou informatique scientifique, ont pour objet la construction de modèles mathématiques et de méthodes d'analyse quantitative, en se basant sur l'utilisation des sciences du numérique, pour analyser et résoudre des problèmes scientifiques. Cette approche scientifique basée sur un recours massif aux modélisations informatiques et mathématiques et à la simulation se décline en : médecine numérique, biologie numérique, archéologie numérique, mécanique numérique, par exemple.
Langage de programmation dynamique
Cet article traite d'une classe des langages de programmation. Pour la méthode consistant en la réduction du temps d'exécution d'un algorithme, voir programmation dynamique On utilise le terme langage de programmation dynamique en informatique pour décrire une classe de langages de haut niveau qui exécutent au moment de l'exécution des actions que d'autres langages ne peuvent exécuter que durant la compilation.
Procédure civile
La procédure civile est l'ensemble des règles relatives à l'organisation d'une action en justice devant une juridiction civile. Elle s'entend aussi de toutes les démarches à entreprendre pour saisir une juridiction civile. La procédure civile est en général régie par un . Il existe différents principes procéduraux s'opposant : Maxime des débats : chaque partie est obligée de prouver les faits qu'elle avance et les parties maîtrisent l'objet du litige ; Maxime inquisitoire : les faits et les preuves sont établis par le juge, qui a ainsi une certaine maîtrise sur la définition du litige.
Dynamic loading
Dynamic loading is a mechanism by which a computer program can, at run time, load a library (or other ) into memory, retrieve the addresses of functions and variables contained in the library, execute those functions or access those variables, and unload the library from memory. It is one of the 3 mechanisms by which a computer program can use some other software; the other two are static linking and dynamic linking.
Procès en droit français
En droit français, un procès est un litige soumis à une juridiction, laquelle peut être par exemple une cour ou un tribunal. À l'issue du procès, une décision est rendue. En France, la décision est généralement appelée jugement, lorsque la juridiction qui l'a rendue est appelée tribunal, ou arrêt, lorsque cette juridiction est appelée « cour ». Avant toute action, la compétence juridique doit être définie de manière à savoir auprès de quel type de tribunal l'action en justice doit être portée et à quel endroit elle le sera.
Construction estimating software
Construction cost estimating software is computer software designed for contractors to estimate construction costs for a specific project. A cost estimator will typically use estimating software to estimate their bid price for a project, which will ultimately become part of a resulting construction contract. Some architects, engineers, construction managers, and others may also use cost estimating software to prepare cost estimates for purposes other than bidding such as budgeting and insurance claims.
Cost engineering
Cost engineering is "the engineering practice devoted to the management of project cost, involving such activities as estimating, cost control, cost forecasting, investment appraisal and risk analysis". "Cost Engineers budget, plan and monitor investment projects. They seek the optimum balance between cost, quality and time requirements." Skills and knowledge of cost engineers are similar to those of quantity surveyors. In many industries, cost engineering is synonymous with project controls.
Dynamic linker
In computing, a dynamic linker is the part of an operating system that loads and links the shared libraries needed by an executable when it is executed (at "run time"), by copying the content of libraries from persistent storage to RAM, filling jump tables and relocating pointers. The specific operating system and executable format determine how the dynamic linker functions and how it is implemented.
Type system
In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.