Computer program for calculation of ideal gas thermodynamic data

Computer program calculates ideal gas thermodynamic properties for any species for which molecular constant data is available. Partial functions and derivatives from formulas based on statistical mechanics are provided by the program which is written in FORTRAN 4 and MAP

Exploring in aerospace rocketry. 6 - Solid-propellant rocket systems

Solid propellant rocket systems design and combustion efficiency and burning rate of solid propellant

Calorimeter measures high nuclear heating rates and their gradients across a reactor test hole

Pedestal-type calorimeter measures gamma-ray heating rates from 0.5 to 7.0 watts per gram of aluminum. Nuclear heating rate is a function of cylinder temperature change, measured by four chromel-alumel thermocouples attached to the calorimeter, and known thermoconductivity of the tested material

Verifying Modal Workflow Specifications Using Constraint Solving

International audienceNowadaysworkflowsareextensivelyusedbycompaniestoimproveorganizationalefficiencyandproductivity.Thispaperfocusesontheverificationofmodalworkflowspecificationsusingconstraintsolvingasacomputationaltool.ItsmaincontributionconsistsindevelopinganinnovativeformalframeworkbasedonconstraintsystemstomodelexecutionsofworkflowPetrinetsandtheirstructuralproperties,aswellastoverifytheirmodalspecifications.Finally,animplementationandpromisingexperimentalresultsconstituteapracticalcontribution

THERMODYNAMIC PROPERTIES TO 6000 DEG K FOR 210 SUBSTANCES INVOLVING THE FIRST 18 ELEMENTS

Thermodynamic properties to 6000-deg kelvin for substances involving first 18 elements in their natural stat

Computing Semicommutation Closures: a Machine Learning Approach

Semicommutation relations are simple rewriting relation on finite words using rules of the form ab → ba. In this paper we present how to use Angluin style machine learning algorithms to compute the image of regular language by the transitive closure of a semicommutation relation