Search results
Results from the WOW.Com Content Network
Then, the output is translated into the "language" of common use: molar and mass concentrations, alkalinity, buffer capacities, water hardness, conductivity and others. History. Version 1.0 was released in January 2012 (after a half-year test run in 2011).
CO2SYS is a family of software programs that calculate chemical equilibria for aquatic inorganic carbon species and parameters. Their core function is to use any two of the four central inorganic carbon system parameters (pH, alkalinity, dissolved inorganic carbon, and partial pressure of carbon dioxide) to calculate various chemical properties of the system.
MOOSE (Multiphysics Object Oriented Simulation Environment) is an object-oriented C++ finite element framework for the development of tightly coupled multiphysics solvers from Idaho National Laboratory. [1] MOOSE makes use of the PETSc non-linear solver package and libmesh to provide the finite element discretization.
In computer science and formal methods, a SAT solver is a computer program which aims to solve the Boolean satisfiability problem.On input a formula over Boolean variables, such as "(x or y) and (x or not y)", a SAT solver outputs whether the formula is satisfiable, meaning that there are possible values of x and y which make the formula true, or unsatisfiable, meaning that there are no such ...
The Library of Efficient Data types and Algorithms (LEDA) is a proprietarily-licensed software library providing C++ implementations of a broad variety of algorithms for graph theory and computational geometry. [1] It was originally developed by the Max Planck Institute for Informatics Saarbrücken. [2]
High-level synthesis (HLS), sometimes referred to as C synthesis, electronic system-level (ESL) synthesis, algorithmic synthesis, or behavioral synthesis, is an automated design process that takes an abstract behavioral specification of a digital system and finds a register-transfer level structure that realizes the given behavior.
This is a list of software used to simulate the material and energy balances of chemical process plants. Applications for this include design studies, engineering studies, design audits, debottlenecking studies, control system check-out, process simulation, dynamic simulation, operator training simulators, pipeline management systems, production management systems, digital twins.
A buffer solution is a solution where the pH does not change significantly on dilution or if an acid or base is added at constant temperature. [1] Its pH changes very little when a small amount of strong acid or base is added to it. Buffer solutions are used as a means of keeping pH at a nearly constant value in a wide variety of chemical ...