when dealing with electron transfer surface reactions. This way specifies an exchange current density reaction rate coefficient in units of amps / m2. This is slightly more informative for electrode reactions. The new also preserves the correct treatment of activity coefficients for these reactions. A memo describing this new capability is in the works.
1204 lines
37 KiB
C++
1204 lines
37 KiB
C++
/**
|
|
* @file importKinetics.cpp
|
|
* Declarations of global routines for the importing
|
|
* of kinetics data from XML files (see \ref inputfiles).
|
|
*
|
|
* This file contains routines which are global routines, i.e.,
|
|
* not part of any object. These routine take as input, ctml
|
|
* pointers to data, and pointers to %Cantera objects. The purpose
|
|
* of these routines is to intialize the %Cantera objects with data
|
|
* from the ctml tree structures.
|
|
*/
|
|
|
|
/* $Author$
|
|
* $Revision$
|
|
* $Date$
|
|
*/
|
|
|
|
// Copyright 2002 California Institute of Technology
|
|
|
|
#ifdef WIN32
|
|
#pragma warning(disable:4786)
|
|
#pragma warning(disable:4503)
|
|
#endif
|
|
|
|
#include "importKinetics.h"
|
|
#include "mix_defs.h"
|
|
#include <time.h>
|
|
#include <memory>
|
|
|
|
// Cantera includes
|
|
#include "speciesThermoTypes.h"
|
|
#include "ThermoPhase.h"
|
|
#include "SurfPhase.h"
|
|
#include "EdgePhase.h"
|
|
#include "ThermoFactory.h"
|
|
#include "SpeciesThermoFactory.h"
|
|
#include "KineticsFactory.h"
|
|
#include "reaction_defs.h"
|
|
#include "ReactionData.h"
|
|
#include "global.h"
|
|
#include "stringUtils.h"
|
|
|
|
#include "xml.h"
|
|
#include "ctml.h"
|
|
|
|
#include <cstdlib>
|
|
|
|
using namespace ctml;
|
|
using namespace std;
|
|
|
|
namespace Cantera {
|
|
|
|
//! these are all used to check for duplicate reactions
|
|
class rxninfo {
|
|
public:
|
|
//! rdata
|
|
std::vector< std::map<int, doublereal> > m_rdata;
|
|
//! string name
|
|
std::vector<std::string> m_eqn;
|
|
//! string vector of ints
|
|
std::vector<int> m_dup;
|
|
//! string vector of ints
|
|
std::vector<int> m_nr;
|
|
//! string vector of ints
|
|
std::vector<int> m_typ;
|
|
//! vector of bools.
|
|
std::vector<bool> m_rev;
|
|
~rxninfo() {
|
|
m_eqn.clear();
|
|
m_dup.clear();
|
|
m_nr.clear();
|
|
m_typ.clear();
|
|
m_rdata.clear();
|
|
}
|
|
bool installReaction(int i, const XML_Node& r, Kinetics* k,
|
|
std::string default_phase, int rule,
|
|
bool validate_rxn) ;
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
* First we define a couple of typedefs that will
|
|
* be used throught this file
|
|
*/
|
|
//! typedef for a pointer to an XML_Node
|
|
typedef const vector<XML_Node*> nodeset_t;
|
|
//! typedef for an XML_Node
|
|
typedef XML_Node node_t;
|
|
|
|
|
|
|
|
/*
|
|
* Check a reaction to see if the elements balance.
|
|
*/
|
|
void checkRxnElementBalance(Kinetics& kin,
|
|
const ReactionData &rdata, doublereal errorTolerance) {
|
|
int index, klocal, n, kp, kr, m, nel;
|
|
doublereal kstoich;
|
|
|
|
map<string, double> bal, balr, balp;
|
|
bal.clear();
|
|
balp.clear();
|
|
balr.clear();
|
|
//cout << "checking " << rdata.equation << endl;
|
|
int np = rdata.products.size();
|
|
|
|
// iterate over the products
|
|
for (index = 0; index < np; index++) {
|
|
kp = rdata.products[index]; // index of the product in 'kin'
|
|
n = kin.speciesPhaseIndex(kp); // phase this product belongs to
|
|
klocal = kp - kin.kineticsSpeciesIndex(0,n); // index within this phase
|
|
kstoich = rdata.pstoich[index]; // product stoichiometric coeff
|
|
const ThermoPhase& ph = kin.speciesPhase(kp);
|
|
nel = ph.nElements();
|
|
for (m = 0; m < nel; m++) {
|
|
bal[ph.elementName(m)] += kstoich*ph.nAtoms(klocal,m);
|
|
balp[ph.elementName(m)] += kstoich*ph.nAtoms(klocal,m);
|
|
//cout << "product species " << ph.speciesName(klocal) << " has " << ph.nAtoms(klocal,m)
|
|
// << " atoms of " << ph.elementName(m) << " and kstoich = " << kstoich << endl;
|
|
}
|
|
}
|
|
int nr = rdata.reactants.size();
|
|
for (index = 0; index < nr; index++) {
|
|
kr = rdata.reactants[index];
|
|
n = kin.speciesPhaseIndex(kr);
|
|
//klocal = kr - kin.start(n);
|
|
klocal = kr - kin.kineticsSpeciesIndex(0,n);
|
|
kstoich = rdata.rstoich[index];
|
|
const ThermoPhase& ph = kin.speciesPhase(kr);
|
|
nel = ph.nElements();
|
|
for (m = 0; m < nel; m++) {
|
|
bal[ph.elementName(m)] -= kstoich*ph.nAtoms(klocal,m);
|
|
balr[ph.elementName(m)] += kstoich*ph.nAtoms(klocal,m);
|
|
//cout << "reactant species " << ph.speciesName(klocal) << " has " << ph.nAtoms(klocal,m)
|
|
// << " atoms of " << ph.elementName(m) << " and kstoich = " << kstoich << endl;
|
|
}
|
|
}
|
|
|
|
map<string, double>::iterator b = bal.begin();
|
|
string msg = "\n\tElement Reactants Products";
|
|
bool ok = true;
|
|
doublereal err, elemsum;
|
|
for (; b != bal.end(); ++b) {
|
|
elemsum = fabs(balr[b->first]) + fabs(balp[b->first]);
|
|
if (elemsum > 0.0) {
|
|
err = fabs(b->second/elemsum);
|
|
if (err > errorTolerance) {
|
|
ok = false;
|
|
msg += "\n\t"+b->first+" "+ fp2str(balr[b->first])
|
|
+" "+ fp2str(balp[b->first]);
|
|
}
|
|
}
|
|
}
|
|
if (!ok) {
|
|
msg = "The following reaction is unbalanced:\n\t"
|
|
+ rdata.equation + "\n" + msg + "\n";
|
|
throw CanteraError("checkRxnElementBalance",msg);
|
|
}
|
|
}
|
|
|
|
|
|
/**
|
|
* Get the reactants or products of a reaction. The information
|
|
* is returned in the spnum, stoich, and order vectors. The
|
|
* length of the vectors is the number of different types of
|
|
* reactants or products found for the reaction.
|
|
*
|
|
* Input
|
|
* --------
|
|
* rxn -> xml node pointing to the reaction element
|
|
* in the xml tree.
|
|
* kin -> Reference to the kinetics object to install
|
|
* the information into.
|
|
* rp = 1 -> Go get the reactants for a reaction
|
|
* -1 -> Go get the products for a reaction
|
|
* default_phase = String name for the default phase
|
|
* to loop up species in.
|
|
* Output
|
|
* -----------
|
|
* spnum = vector of species numbers found.
|
|
* Length is number of reactants or products.
|
|
* stoich = stoichiometric coefficient of the reactant or product
|
|
* Length is number of reactants or products.
|
|
* order = Order of the reactant and product in the reaction
|
|
* rate expression
|
|
* rule = If we fail to find a species, we will throw an error
|
|
* if rule != 1. If rule = 1, we simply return false,
|
|
* allowing the calling routine to skip this reaction
|
|
* and continue.
|
|
*/
|
|
bool getReagents(const XML_Node& rxn, kinetics_t& kin, int rp,
|
|
std::string default_phase,
|
|
vector_int& spnum, vector_fp& stoich, vector_fp& order,
|
|
int rule) {
|
|
|
|
string rptype;
|
|
|
|
/*
|
|
* The id of reactants and products are kept in child elements
|
|
* of reaction, named "reactants" and "products". We search
|
|
* the xml tree for these children based on the value of rp,
|
|
* and store the xml element pointer here.
|
|
*/
|
|
if (rp == 1) rptype = "reactants";
|
|
else rptype = "products";
|
|
const XML_Node& rg = rxn.child(rptype);
|
|
|
|
/*
|
|
* The species and stoichiometric coefficient for the species
|
|
* are stored as a colon seperated pair. Get all of these
|
|
* pairs in the reactions/products object.
|
|
*/
|
|
vector<string> key, val;
|
|
getPairs(rg, key, val);
|
|
|
|
int ns = static_cast<int>(key.size());
|
|
|
|
/*
|
|
* Loop over each of the pairs and process them
|
|
*/
|
|
int isp;
|
|
doublereal ord, stch;
|
|
string ph, sp;
|
|
map<string, int> speciesMap;
|
|
for (int n = 0; n < ns; n++) {
|
|
sp = key[n]; // sp is the string name for species
|
|
ph = "";
|
|
/*
|
|
* Search for the species in the kinetics object using the
|
|
* member function kineticsSpeciesIndex(). We will search
|
|
* for the species in all phases defined in the kinetics operator.
|
|
*/
|
|
isp = kin.kineticsSpeciesIndex(sp,"<any>");
|
|
if (isp < 0) {
|
|
if (rule == 1)
|
|
return false;
|
|
else {
|
|
throw CanteraError("getReagents",
|
|
"Undeclared reactant or product species "+sp);
|
|
return false;
|
|
}
|
|
}
|
|
|
|
/*
|
|
* For each reagent, we store the the species number, isp
|
|
* the stoichiometric coefficient, val[n], and the order
|
|
* species in the reaction rate expression. We assume mass
|
|
* action kinetics here, but will modify this below for
|
|
* specified species.
|
|
*/
|
|
spnum.push_back(isp);
|
|
stch = atof(val[n].c_str());
|
|
stoich.push_back(stch);
|
|
ord = doublereal(stch);
|
|
order.push_back(ord);
|
|
//cout << key[n] << " " << isp << " " << stch << endl;
|
|
|
|
/*
|
|
* Needed to process reaction orders below.
|
|
*/
|
|
speciesMap[sp] = order.size();
|
|
}
|
|
|
|
/*
|
|
* Check to see if reaction orders have been specified.
|
|
*/
|
|
if (rp == 1 && rxn.hasChild("order")) {
|
|
vector<XML_Node*> ord;
|
|
rxn.getChildren("order",ord);
|
|
int norder = static_cast<int>(ord.size());
|
|
int loc;
|
|
doublereal forder;
|
|
for (int nn = 0; nn < norder; nn++) {
|
|
const XML_Node& oo = *ord[nn];
|
|
string sp = oo["species"];
|
|
loc = speciesMap[sp];
|
|
if (loc == 0)
|
|
throw CanteraError("getReagents",
|
|
"reaction order specified for non-reactantt: "
|
|
+sp);
|
|
forder = fpValue(oo());
|
|
if (forder < 0.0) {
|
|
throw CanteraError("getReagents",
|
|
"reaction order must be non-negative");
|
|
}
|
|
// replace the stoichiometric coefficient
|
|
// stored above in 'order' with the specified
|
|
// reaction order
|
|
order[loc-1] = forder;
|
|
}
|
|
}
|
|
return true;
|
|
}
|
|
|
|
|
|
/**
|
|
* getArrhenius() parses the xml element called Arrhenius.
|
|
* The Arrhenius expression is
|
|
* \f[ k = A T^(b) exp (-E_a / RT). \f]
|
|
*/
|
|
static void getArrhenius(const XML_Node& node, int& highlow,
|
|
doublereal& A, doublereal& b, doublereal& E) {
|
|
|
|
if (node["name"] == "k0")
|
|
highlow = 0;
|
|
else highlow = 1;
|
|
/*
|
|
* We parse the children for the A, b, and E conponents.
|
|
*/
|
|
A = getFloat(node, "A", "toSI");
|
|
b = getFloat(node, "b");
|
|
E = getFloat(node, "E", "actEnergy");
|
|
E /= GasConstant;
|
|
}
|
|
|
|
/**
|
|
* getStick() processes the XML element called Stick that specifies
|
|
* the sticking coefficient reaction. This routine will
|
|
* translate the sticking coefficient value into a "normal"
|
|
* rate constant for the surface reaction.
|
|
*
|
|
* Output
|
|
* -----------
|
|
* Output is the normal Arrhenius expressions for a surface
|
|
* reaction rate constant.
|
|
*
|
|
* A - units such that rate of rxn has kmol/m^2/s when
|
|
* A is multiplied by activity concentrations of
|
|
* reactants in the normal manner.
|
|
* n - unitless
|
|
* E - Units 1/Kelvin
|
|
*/
|
|
static void getStick(const XML_Node& node, Kinetics& kin,
|
|
ReactionData& r, doublereal& A, doublereal& b, doublereal& E) {
|
|
int nr = r.reactants.size();
|
|
int k, klocal, not_surf = 0;
|
|
int np = 0;
|
|
doublereal f = 1.0;
|
|
doublereal order;
|
|
/*
|
|
* species is the name of the special reactant whose surface
|
|
* flux rate will be calculated.
|
|
* isp = species # in the local phase
|
|
* ispKinetics = species # in the kinetics object
|
|
* ispPhaseIndex = phase # of the special species
|
|
*/
|
|
string spname = node["species"];
|
|
ThermoPhase& th = kin.speciesPhase(spname);
|
|
int isp = th.speciesIndex(spname);
|
|
int ispKinetics = kin.kineticsSpeciesIndex(spname);
|
|
int ispPhaseIndex = kin.speciesPhaseIndex(ispKinetics);
|
|
|
|
doublereal ispMW = th.molecularWeights()[isp];
|
|
doublereal sc;
|
|
|
|
// loop over the reactants
|
|
for (int n = 0; n < nr; n++) {
|
|
k = r.reactants[n];
|
|
order = r.rorder[n]; // stoich coeff
|
|
|
|
// get the phase species k belongs to
|
|
np = kin.speciesPhaseIndex(k);
|
|
const ThermoPhase& p = kin.thermo(np);
|
|
|
|
// get the local index of species k in this phase
|
|
klocal = p.speciesIndex(kin.kineticsSpeciesName(k));
|
|
|
|
// if it is a surface species, divide f by the standard
|
|
// concentration for this species, in order to convert
|
|
// from concentration units used in the law of mass action
|
|
// to coverages used in the sticking probability
|
|
// expression
|
|
if (p.eosType() == cSurf || p.eosType() == cEdge) {
|
|
sc = p.standardConcentration(klocal);
|
|
f /= pow(sc, order);
|
|
}
|
|
// Otherwise:
|
|
else {
|
|
// We only allow one species to be in the phase
|
|
// containing the special sticking coefficient
|
|
// species.
|
|
if (ispPhaseIndex == np) {
|
|
not_surf++;
|
|
}
|
|
// Other bulk phase species on the other side
|
|
// of ther interface are treated like surface
|
|
// species.
|
|
else {
|
|
sc = p.standardConcentration(klocal);
|
|
f /= pow(sc, order);
|
|
}
|
|
}
|
|
}
|
|
if (not_surf != 1) {
|
|
throw CanteraError("getStick",
|
|
"reaction probabilities can only be used in "
|
|
"reactions with exactly 1 gas/liquid species.");
|
|
}
|
|
|
|
doublereal cbar = sqrt(8.0*GasConstant/(Pi*ispMW));
|
|
A = 0.25 * getFloat(node, "A", "toSI") * cbar * f;
|
|
b = getFloat(node, "b") + 0.5;
|
|
E = getFloat(node, "E", "actEnergy");
|
|
E /= GasConstant;
|
|
}
|
|
|
|
static void getCoverageDependence(const node_t& node,
|
|
thermo_t& surfphase, ReactionData& rdata) {
|
|
vector<XML_Node*> cov;
|
|
node.getChildren("coverage", cov);
|
|
int k, nc = static_cast<int>(cov.size());
|
|
doublereal e;
|
|
string spname;
|
|
if (nc > 0) {
|
|
for (int n = 0; n < nc; n++) {
|
|
const XML_Node& cnode = *cov[n];
|
|
spname = cnode["species"];
|
|
k = surfphase.speciesIndex(spname);
|
|
rdata.cov.push_back(doublereal(k));
|
|
rdata.cov.push_back(getFloat(cnode, "a"));
|
|
rdata.cov.push_back(getFloat(cnode, "m"));
|
|
e = getFloat(cnode, "e", "actEnergy");
|
|
rdata.cov.push_back(e/GasConstant);
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
//! Get falloff parameters for a reaction.
|
|
/*!
|
|
* This routine reads the falloff XML node and extracts parameters into a
|
|
* vector of doubles
|
|
*
|
|
*
|
|
* @verbatim
|
|
<falloff type="Troe"> 0.5 73.2 5000. 9999. </falloff>
|
|
@endverbatim
|
|
*/
|
|
static void getFalloff(const node_t& f, ReactionData& rdata) {
|
|
string type = f["type"];
|
|
vector<string> p;
|
|
getStringArray(f,p);
|
|
vector_fp c;
|
|
int np = static_cast<int>(p.size());
|
|
for (int n = 0; n < np; n++) {
|
|
c.push_back(fpValue(p[n]));
|
|
}
|
|
if (type == "Troe") {
|
|
if (np == 4) {
|
|
rdata.falloffType = TROE4_FALLOFF;
|
|
if (c[1] < 0.0) {
|
|
throw CanteraError("getFalloff()", "Troe4 T3 parameter is less than zero: " + fp2str(c[1]));
|
|
}
|
|
if (c[2] < 0.0) {
|
|
throw CanteraError("getFalloff()", "Troe4 T1 parameter is less than zero: " + fp2str(c[2]));
|
|
}
|
|
if (c[3] < 0.0) {
|
|
throw CanteraError("getFalloff()", "Troe4 T2 parameter is less than zero: " + fp2str(c[3]));
|
|
}
|
|
} else if (np == 3) {
|
|
rdata.falloffType = TROE3_FALLOFF;
|
|
if (c[1] < 0.0) {
|
|
throw CanteraError("getFalloff()", "Troe3 T3 parameter is less than zero: " + fp2str(c[1]));
|
|
}
|
|
if (c[2] < 0.0) {
|
|
throw CanteraError("getFalloff()", "Troe3 T1 parameter is less than zero: " + fp2str(c[2]));
|
|
}
|
|
}
|
|
else {
|
|
throw CanteraError("getFalloff()", "Troe parameterization is specified by number of pararameters, "
|
|
+ int2str(np) + ", is not equal to 3 or 4");
|
|
}
|
|
} else if (type == "SRI") {
|
|
if (np == 5) {
|
|
rdata.falloffType = SRI5_FALLOFF;
|
|
if (c[2] < 0.0) {
|
|
throw CanteraError("getFalloff()", "SRI5 m_c parameter is less than zero: " + fp2str(c[2]));
|
|
}
|
|
if (c[3] < 0.0) {
|
|
throw CanteraError("getFalloff()", "SRI5 m_d parameter is less than zero: " + fp2str(c[3]));
|
|
}
|
|
} else if (np == 3) {
|
|
rdata.falloffType = SRI3_FALLOFF;
|
|
if (c[2] < 0.0) {
|
|
throw CanteraError("getFalloff()", "SRI3 m_c parameter is less than zero: " + fp2str(c[2]));
|
|
}
|
|
} else {
|
|
throw CanteraError("getFalloff()", "SRI parameterization is specified by number of pararameters, "
|
|
+ int2str(np) + ", is not equal to 3 or 5");
|
|
}
|
|
}
|
|
rdata.falloffParameters = c;
|
|
}
|
|
|
|
/**
|
|
* Get the enhanced collision efficiencies. It is assumed that the
|
|
* reaction mechanism is homogeneous, so that all species belong
|
|
* to phase(0) of 'kin'.
|
|
*/
|
|
static void getEfficiencies(const node_t& eff, kinetics_t& kin, ReactionData& rdata) {
|
|
|
|
// set the default collision efficiency
|
|
rdata.default_3b_eff = fpValue(eff["default"]);
|
|
|
|
vector<string> key, val;
|
|
getPairs(eff, key, val);
|
|
int ne = static_cast<int>(key.size());
|
|
string nm;
|
|
string phse = kin.thermo(0).id();
|
|
int n, k;
|
|
for (n = 0; n < ne; n++) { // ; bb != ee; ++bb) {
|
|
nm = key[n];// bb->first;
|
|
k = kin.kineticsSpeciesIndex(nm, phse);
|
|
rdata.thirdBodyEfficiencies[k] = fpValue(val[n]); // bb->second;
|
|
}
|
|
}
|
|
|
|
/*
|
|
* Extract the rate coefficient for a reaction from the xml node, kf.
|
|
* kf should point to a XML element named "rateCoeff".
|
|
* rdata is the partially filled ReactionData object for the reaction.
|
|
* This function will fill in more fields in the ReactionData object.
|
|
*
|
|
* @param kf Reference to the XML Node named rateCoeff
|
|
*/
|
|
void getRateCoefficient(const node_t& kf, kinetics_t& kin,
|
|
ReactionData& rdata, int negA) {
|
|
string type = kf.attrib("type");
|
|
if (type == "") {
|
|
type = "Arrhenius";
|
|
rdata.rateCoeffType = ARRHENIUS_REACTION_RATECOEFF_TYPE;
|
|
}
|
|
if (type == "ExchangeCurrentDensity") {
|
|
rdata.rateCoeffType = EXCHANGE_CURRENT_REACTION_RATECOEFF_TYPE;
|
|
} else if (type == "Arrhenius") {
|
|
|
|
} else {
|
|
throw CanteraError("getRateCoefficient",
|
|
"Unknown type: " + type);
|
|
}
|
|
|
|
int nc = kf.nChildren();
|
|
nodeset_t& kf_children = kf.children();
|
|
vector_fp clow(3,0.0), chigh(3,0.0);
|
|
// int nr = nReacMolecules(rdata);
|
|
for (int m = 0; m < nc; m++) {
|
|
const node_t& c = *kf_children[m];
|
|
string nm = c.name();
|
|
int highlow=0;
|
|
|
|
if (nm == "Arrhenius") {
|
|
vector_fp coeff(3);
|
|
if (c["type"] == "stick") {
|
|
getStick(c, kin, rdata, coeff[0], coeff[1], coeff[2]);
|
|
chigh = coeff;
|
|
}
|
|
else {
|
|
getArrhenius(c, highlow, coeff[0], coeff[1], coeff[2]);
|
|
if (highlow == 1 || rdata.reactionType == THREE_BODY_RXN
|
|
|| rdata.reactionType == ELEMENTARY_RXN)
|
|
chigh = coeff;
|
|
else clow = coeff;
|
|
}
|
|
if (rdata.reactionType == SURFACE_RXN) {
|
|
getCoverageDependence(c,
|
|
kin.thermo(kin.surfacePhaseIndex()), rdata);
|
|
}
|
|
|
|
if (coeff[0] <= 0.0 && negA == 0) {
|
|
throw CanteraError("getRateCoefficient",
|
|
"negative or zero A coefficient for reaction "+int2str(rdata.number));
|
|
}
|
|
}
|
|
else if (nm == "Arrhenius_ExchangeCurrentDensity") {
|
|
vector_fp coeff(3);
|
|
getArrhenius(c, highlow, coeff[0], coeff[1], coeff[2]);
|
|
chigh = coeff;
|
|
rdata.rateCoeffType = EXCHANGE_CURRENT_REACTION_RATECOEFF_TYPE;
|
|
}
|
|
else if (nm == "falloff") {
|
|
getFalloff(c, rdata);
|
|
}
|
|
else if (nm == "efficiencies") {
|
|
getEfficiencies(c, kin, rdata);
|
|
}
|
|
else if (nm == "electrochem") {
|
|
rdata.beta = fpValue(c["beta"]);
|
|
}
|
|
}
|
|
/*
|
|
* Store the coefficients in the ReactionData object for return
|
|
* from this function.
|
|
*/
|
|
if (rdata.reactionType == CHEMACT_RXN)
|
|
rdata.rateCoeffParameters = clow;
|
|
else
|
|
rdata.rateCoeffParameters = chigh;
|
|
|
|
if (rdata.reactionType == FALLOFF_RXN)
|
|
rdata.auxRateCoeffParameters = clow;
|
|
else if (rdata.reactionType == CHEMACT_RXN)
|
|
rdata.auxRateCoeffParameters = chigh;
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/*
|
|
* This function returns true if two reactions are duplicates of
|
|
* one another, and false otherwise. The input arguments are two
|
|
* maps from species number to stoichiometric coefficient, one for
|
|
* each reaction. The reactions are considered duplicates if their
|
|
* stoichiometric coefficients have the same ratio for all
|
|
* species.
|
|
*/
|
|
doublereal isDuplicateReaction(std::map<int, doublereal>& r1,
|
|
std::map<int, doublereal>& r2) {
|
|
|
|
map<int, doublereal>::const_iterator b = r1.begin(), e = r1.end();
|
|
int k1 = b->first;
|
|
doublereal ratio = 0.0;
|
|
if (r1[k1] == 0.0 || r2[k1] == 0.0) goto next;
|
|
ratio = r2[k1]/r1[k1];
|
|
++b;
|
|
for (; b != e; ++b) {
|
|
k1 = b->first;
|
|
if (r1[k1] == 0.0 || r2[k1] == 0.0) goto next;
|
|
if (fabs(r2[k1]/r1[k1] - ratio) > 1.e-8)
|
|
goto next;
|
|
}
|
|
return ratio;
|
|
next:
|
|
ratio = 0.0;
|
|
b = r1.begin();
|
|
k1 = b->first;
|
|
if (r1[k1] == 0.0 || r2[-k1] == 0.0) return 0.0;
|
|
ratio = r2[-k1]/r1[k1];
|
|
++b;
|
|
for (; b != e; ++b) {
|
|
k1 = b->first;
|
|
if (r1[k1] == 0.0 || r2[-k1] == 0.0) return 0.0;
|
|
if (fabs(r2[-k1]/r1[k1] - ratio) > 1.e-8)
|
|
return 0.0;
|
|
}
|
|
return ratio;
|
|
}
|
|
|
|
|
|
/**
|
|
* Install an individual reaction into a kinetics manager. The
|
|
* data for the reaction is in the xml_node r. In other words, r
|
|
* points directly to a ctml element named "reaction". i refers
|
|
* to the number id of the reaction in the kinetics object.
|
|
*
|
|
* @param i Reaction number.
|
|
* @param r XML_Node containing reaction data.
|
|
* @param k Kinetics manager to which reaction will be added.
|
|
* @param default_phase Default phase for locating a species
|
|
* @param rule Rule for handling reactions with missing species
|
|
* (skip or flag as error)
|
|
* @param validate_rxn If true, check that this reaction is not a
|
|
* duplicate of one already entered, and check that the reaction
|
|
* balances.
|
|
*
|
|
* @ingroup kineticsmgr
|
|
*/
|
|
bool rxninfo::installReaction(int i, const XML_Node& r, Kinetics* k,
|
|
string default_phase, int rule,
|
|
bool validate_rxn) {
|
|
|
|
Kinetics& kin = *k;
|
|
|
|
/* Check to see that we are in fact at a reaction node */
|
|
if (r.name() != "reaction") {
|
|
throw CanteraError(" rxninfo::installReaction",
|
|
" expected xml node reaction, got " + r.name());
|
|
}
|
|
/*
|
|
* We use the ReactionData object to store initial values read
|
|
* in from the xml data. Then, when we have collected everything
|
|
* we add the reaction to the kinetics object, k, at the end
|
|
* of the routine. (Someday this may be rewritten to skip building
|
|
* the ReactionData object).
|
|
*/
|
|
ReactionData rdata;
|
|
|
|
// Check to see if the reaction is specified to be a duplicate
|
|
// of another reaction. It's an error if the reaction is a
|
|
// duplicate and this is not set.
|
|
int dup = 0;
|
|
if (r.hasAttrib("duplicate")) dup = 1;
|
|
|
|
// Check to see if the reaction rate constant can be negative
|
|
// It's an error if a negative rate constant is found and
|
|
// this is not set.
|
|
int negA = 0;
|
|
if (r.hasAttrib("negative_A")) negA = 1;
|
|
|
|
/*
|
|
* This seemingly simple expression goes and finds the child element,
|
|
* "equation". Then it treats all of the contents of the "equation"
|
|
* as a string, and returns it the variable eqn. We post process
|
|
* the string to convert [ and ] characters into < and >, which
|
|
* cannot be stored in an XML file.
|
|
* The string eqn is just used for IO purposes. It isn't parsed
|
|
* for the identities of reactants or products.
|
|
*/
|
|
string eqn = "<no equation>";
|
|
if (r.hasChild("equation")) {
|
|
eqn = r("equation");
|
|
}
|
|
int eqlen = static_cast<int>(eqn.size());
|
|
int nn;
|
|
for (nn = 0; nn < eqlen; nn++) {
|
|
if (eqn[nn] == '[') eqn[nn] = '<';
|
|
if (eqn[nn] == ']') eqn[nn] = '>';
|
|
}
|
|
|
|
|
|
|
|
// get the reactants
|
|
|
|
bool ok = getReagents(r, kin, 1, default_phase, rdata.reactants,
|
|
rdata.rstoich, rdata.rorder, rule);
|
|
//cout << "Reactants: " << endl;
|
|
//int npp = rdata.reactants.size();
|
|
//int nj;
|
|
//for (nj = 0; nj < npp; nj++) {
|
|
// cout << rdata.reactants[nj] << " " << rdata.rstoich[nj] << endl;
|
|
//}
|
|
|
|
/*
|
|
* Get the products. We store the id of products in rdata.products
|
|
*/
|
|
ok = ok && getReagents(r, kin, -1, default_phase, rdata.products,
|
|
rdata.pstoich, rdata.porder, rule);
|
|
//cout << "Products: " << endl;npp = rdata.products.size();
|
|
//for (nj = 0; nj < npp; nj++) {
|
|
// cout << rdata.products[nj] << " " << rdata.pstoich[nj] << endl;
|
|
//}
|
|
|
|
// if there was a problem getting either the reactants or the products,
|
|
// then abort.
|
|
if (!ok) return false;
|
|
|
|
// check whether the reaction is specified to be
|
|
// reversible. Default is irreversible.
|
|
rdata.reversible = false;
|
|
string isrev = r["reversible"];
|
|
if (isrev == "yes" || isrev == "true") {
|
|
rdata.reversible = true;
|
|
}
|
|
|
|
/*
|
|
* If reaction orders are specified, then this reaction
|
|
* does not follow mass-action kinetics, and is not
|
|
* an elementary reaction. So check that it is not reversible,
|
|
* since computing the reverse rate from thermochemistry only
|
|
* works for elementary reactions. Set the type to global,
|
|
* so that kinetics managers will know to process the reaction
|
|
* orders.
|
|
*/
|
|
if (r.hasChild("order")) {
|
|
if (rdata.reversible == true)
|
|
throw CanteraError("installReaction",
|
|
"reaction orders may only be given for "
|
|
"irreversible reactions");
|
|
rdata.global = true;
|
|
}
|
|
|
|
/*
|
|
* Some reactions can be elementary reactions but have fractional
|
|
* stoichiometries wrt to some products and reactants. An
|
|
* example of these are solid reactions involving phase transformations.
|
|
* Species with fractional stoichiometries must be from single-species
|
|
* phases with unity activities. For these reactions set
|
|
* the bool isReversibleWithFrac to true.
|
|
*/
|
|
if (rdata.reversible == true) {
|
|
int np = rdata.products.size();
|
|
for (int i = 0; i < np; i++) {
|
|
int k = rdata.products[i];
|
|
doublereal po = rdata.porder[i];
|
|
AssertTrace(po == rdata.pstoich[i]);
|
|
doublereal chk = po - 1.0 * int(po);
|
|
if (chk != 0.0) {
|
|
/*
|
|
* put in a check here that k is a single species phase.
|
|
*/
|
|
thermo_t &thref = kin.speciesPhase(k);
|
|
if (thref.nSpecies() == 1) {
|
|
rdata.porder[i] = 0.0;
|
|
}
|
|
|
|
rdata.isReversibleWithFrac = true;
|
|
|
|
}
|
|
}
|
|
int nr = rdata.reactants.size();
|
|
for (int i = 0; i < nr; i++) {
|
|
int k = rdata.reactants[i];
|
|
doublereal ro = rdata.rorder[i];
|
|
AssertTrace(ro == rdata.rstoich[i]);
|
|
doublereal chk = ro - 1.0 * int(ro);
|
|
if (chk != 0.0) {
|
|
/*
|
|
* put in a check here that k is a single species phase.
|
|
*/
|
|
thermo_t &thref = kin.speciesPhase(k);
|
|
if (thref.nSpecies() == 1) {
|
|
rdata.rorder[i] = 0.0;
|
|
}
|
|
|
|
rdata.isReversibleWithFrac = true;
|
|
|
|
}
|
|
}
|
|
}
|
|
|
|
/*
|
|
* Search the reaction element for the attribute "type".
|
|
* If found, then branch on the type, to fill in appropriate
|
|
* fields in rdata.
|
|
*/
|
|
rdata.reactionType = ELEMENTARY_RXN;
|
|
string typ = r["type"];
|
|
if (typ == "falloff") {
|
|
rdata.reactionType = FALLOFF_RXN;
|
|
rdata.falloffType = SIMPLE_FALLOFF;
|
|
}
|
|
else if (typ == "chemAct") {
|
|
rdata.reactionType = CHEMACT_RXN;
|
|
rdata.falloffType = SIMPLE_FALLOFF;
|
|
}
|
|
else if (typ == "threeBody") {
|
|
rdata.reactionType = THREE_BODY_RXN;
|
|
}
|
|
else if (typ == "surface") {
|
|
rdata.reactionType = SURFACE_RXN;
|
|
}
|
|
else if (typ == "edge") {
|
|
rdata.reactionType = EDGE_RXN;
|
|
}
|
|
else if (typ != "") {
|
|
throw CanteraError("installReaction",
|
|
"Unknown reaction type: " + typ);
|
|
}
|
|
/*
|
|
* Look for undeclared duplicate reactions.
|
|
*/
|
|
if (validate_rxn) {
|
|
doublereal c = 0.0;
|
|
|
|
map<int, doublereal> rxnstoich;
|
|
rxnstoich.clear();
|
|
int nr = rdata.reactants.size();
|
|
for (nn = 0; nn < nr; nn++) {
|
|
rxnstoich[-1 - rdata.reactants[nn]] -= rdata.rstoich[nn];
|
|
}
|
|
int np = rdata.products.size();
|
|
for (nn = 0; nn < np; nn++) {
|
|
rxnstoich[rdata.products[nn]+1] += rdata.pstoich[nn];
|
|
}
|
|
int nrxns = static_cast<int>(m_rdata.size());
|
|
for (nn = 0; nn < nrxns; nn++) {
|
|
if ((int(rdata.reactants.size()) == m_nr[nn])
|
|
&& (rdata.reactionType == m_typ[nn])) {
|
|
c = isDuplicateReaction(rxnstoich, m_rdata[nn]);
|
|
if (c > 0.0
|
|
|| (c < 0.0 && rdata.reversible)
|
|
|| (c < 0.0 && m_rev[nn])) {
|
|
if ((!dup || !m_dup[nn])) {
|
|
string msg = string("Undeclared duplicate reactions detected: \n")
|
|
+"Reaction "+int2str(nn+1)+": "+m_eqn[nn]
|
|
+"\nReaction "+int2str(i+1)+": "+eqn+"\n";
|
|
throw CanteraError("installReaction", msg);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
m_dup.push_back(dup);
|
|
m_rev.push_back(rdata.reversible);
|
|
m_eqn.push_back(eqn);
|
|
m_nr.push_back(rdata.reactants.size());
|
|
m_typ.push_back(rdata.reactionType);
|
|
m_rdata.push_back(rxnstoich);
|
|
}
|
|
|
|
rdata.equation = eqn;
|
|
rdata.number = i;
|
|
rdata.rxn_number = i;
|
|
|
|
/*
|
|
* Read the rate coefficient data from the XML file. Trigger an
|
|
* exception for negative A unless specifically authorized.
|
|
*/
|
|
getRateCoefficient(r.child("rateCoeff"), kin, rdata, negA);
|
|
|
|
/*
|
|
* Check to see that the elements balance in the reaction.
|
|
* Throw an error if they don't
|
|
*/
|
|
if (validate_rxn) {
|
|
checkRxnElementBalance(kin, rdata);
|
|
}
|
|
|
|
/*
|
|
* Ok we have read everything in about the reaction. Add it
|
|
* to the kinetics object by calling the Kinetics member function,
|
|
* addReaction()
|
|
*/
|
|
kin.addReaction(rdata);
|
|
return true;
|
|
}
|
|
|
|
/*
|
|
* Take information from the XML tree, p, about reactions
|
|
* and install them into the kinetics object, kin.
|
|
* default_phase is the default phase to assume when
|
|
* looking up species.
|
|
*
|
|
* At this point, p usually refers to the phase xml element.
|
|
* One of the children of this element is reactionArray,
|
|
* the element which determines where in the xml file to
|
|
* look up the reaction rate data pertaining to the phase.
|
|
*
|
|
* On return, if reaction instantiation goes correctly, return true.
|
|
* If there is a problem, return false.
|
|
*/
|
|
bool installReactionArrays(const XML_Node& p, Kinetics& kin,
|
|
std::string default_phase, bool check_for_duplicates) {
|
|
|
|
const std::auto_ptr< rxninfo > _rxns( new rxninfo ) ;
|
|
//_eqn.clear();
|
|
//_dup.clear();
|
|
//_nr.clear();
|
|
//_typ.clear();
|
|
//_reactiondata.clear();
|
|
//_rev.clear();
|
|
|
|
vector<XML_Node*> rarrays;
|
|
int itot = 0;
|
|
/*
|
|
* Search the children of the phase element for the
|
|
* xml element named reactionArray. If we can't find it,
|
|
* then return signaling having not found any reactions.
|
|
* Apparently, we allow multiple reactionArray elements here
|
|
* Each one will be processed sequentially, with the
|
|
* end result being purely additive.
|
|
*/
|
|
p.getChildren("reactionArray",rarrays);
|
|
int na = static_cast<int>(rarrays.size());
|
|
if (na == 0) return false;
|
|
for (int n = 0; n < na; n++) {
|
|
/*
|
|
* Go get a reference to the current xml element,
|
|
* reactionArray. We will process this element now.
|
|
*/
|
|
const XML_Node& rxns = *rarrays[n];
|
|
/*
|
|
* The reactionArray element has an attribute called,
|
|
* datasrc. The value of the attribute is the xml
|
|
* element comprising the top of the
|
|
* tree of reactions for the phase.
|
|
* Find this datasrc element starting with the root
|
|
* of the current xml node.
|
|
*/
|
|
const XML_Node* rdata = get_XML_Node(rxns["datasrc"], &rxns.root());
|
|
/*
|
|
* If the reactionArray element has a child element named
|
|
* "skip", and if the attribute of skip called "species" has
|
|
* a value of "undeclared", we will set rxnrule = 1.
|
|
* rxnrule is passed to the routine that parses each individual
|
|
* reaction. I believe what this means is that the parser will
|
|
* skip all reactions containing an undefined species without
|
|
* throwing an error condition.
|
|
*/
|
|
int rxnrule = 0;
|
|
if (rxns.hasChild("skip")) {
|
|
const XML_Node& sk = rxns.child("skip");
|
|
string sskip = sk["species"];
|
|
if (sskip == "undeclared") {
|
|
rxnrule = 1;
|
|
}
|
|
}
|
|
int i, nrxns = 0;
|
|
/*
|
|
* Search for child elements called include. We only include
|
|
* a reaction if it's tagged by one of the include fields.
|
|
* Or, we include all reactions if there are no include fields.
|
|
*/
|
|
vector<XML_Node*> incl;
|
|
rxns.getChildren("include",incl);
|
|
int ninc = static_cast<int>(incl.size());
|
|
|
|
vector<XML_Node*> allrxns;
|
|
rdata->getChildren("reaction",allrxns);
|
|
nrxns = static_cast<int>(allrxns.size());
|
|
// if no 'include' directive, then include all reactions
|
|
if (ninc == 0) {
|
|
for (i = 0; i < nrxns; i++) {
|
|
const XML_Node* r = allrxns[i];
|
|
if (r) {
|
|
if (_rxns->installReaction(itot, *r, &kin,
|
|
default_phase, rxnrule, check_for_duplicates)) ++itot;
|
|
}
|
|
}
|
|
}
|
|
else {
|
|
for (int nii = 0; nii < ninc; nii++) {
|
|
const XML_Node& ii = *incl[nii];
|
|
string imin = ii["min"];
|
|
string imax = ii["max"];
|
|
|
|
string::size_type iwild = string::npos;
|
|
if (imax == imin) {
|
|
iwild = imin.find("*");
|
|
if (iwild != string::npos) {
|
|
imin = imin.substr(0,iwild);
|
|
imax = imin;
|
|
}
|
|
}
|
|
|
|
for (i = 0; i < nrxns; i++) {
|
|
const XML_Node* r = allrxns[i];
|
|
string rxid;
|
|
if (r) {
|
|
rxid = (*r)["id"];
|
|
if (iwild != string::npos) {
|
|
rxid = rxid.substr(0,iwild);
|
|
}
|
|
/*
|
|
* To decide whether the reaction is included or not
|
|
* we do a lexical min max and operation. This
|
|
* sometimes has surprising results.
|
|
*/
|
|
if ((rxid >= imin) && (rxid <= imax)) {
|
|
if (_rxns->installReaction(itot, *r, &kin,
|
|
default_phase, rxnrule, check_for_duplicates)) ++itot;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
/*
|
|
* Finalize the installation of the kinetics, now that we know
|
|
* the true number of reactions in the mechanism, itot.
|
|
*/
|
|
kin.finalize();
|
|
|
|
return true;
|
|
}
|
|
|
|
|
|
/*
|
|
* Import a reaction mechanism for a phase or an interface.
|
|
*
|
|
* @param phase This is an xml node containing a description
|
|
* of a phase. Within the phase is a XML element
|
|
* called reactionArray containing the location
|
|
* of the description of the reactions that make
|
|
* up the kinetics object.
|
|
* Also within the phase is an XML element called
|
|
* phaseArray containing a listing of other phases
|
|
* that participate in the kinetics mechanism.
|
|
*
|
|
* @param th This is a list of ThermoPhase pointers which must
|
|
* include all of
|
|
* the phases that participate in the kinetics
|
|
* operator. All of the phases must have already
|
|
* been initialized and formed within Cantera.
|
|
* However, their pointers should not have been
|
|
* added to the Kinetics object; this addition
|
|
* is carried out here. Additional phases may
|
|
* be include; these have no effect.
|
|
*
|
|
* @param k This is a pointer to the kinetics manager class
|
|
* that will be initialized with a kinetics
|
|
* mechanism.
|
|
*/
|
|
bool importKinetics(const XML_Node& phase, std::vector<ThermoPhase*> th,
|
|
Kinetics* k) {
|
|
|
|
if (k == 0) return false;
|
|
|
|
Kinetics& kin = *k;
|
|
|
|
// This phase will be the owning phase for the kinetics operator
|
|
// For interfaces, it is the surface phase between two volumes.
|
|
// For homogeneous kinetics, it's the current volumetric phase.
|
|
string owning_phase = phase["id"];
|
|
|
|
bool check_for_duplicates = false;
|
|
if (phase.parent()->hasChild("validate")) {
|
|
const XML_Node& d = phase.parent()->child("validate");
|
|
if (d["reactions"] == "yes") check_for_duplicates = true;
|
|
}
|
|
|
|
// if other phases are involved in the reaction mechanism,
|
|
// they must be listed in a 'phaseArray' child
|
|
// element. Homogeneous mechanisms do not need to include a
|
|
// phaseArray element.
|
|
|
|
vector<string> phase_ids;
|
|
if (phase.hasChild("phaseArray")) {
|
|
const XML_Node& pa = phase.child("phaseArray");
|
|
getStringArray(pa, phase_ids);
|
|
}
|
|
phase_ids.push_back(owning_phase);
|
|
|
|
int np = static_cast<int>(phase_ids.size());
|
|
int nt = static_cast<int>(th.size());
|
|
|
|
// for each referenced phase, attempt to find its id among those
|
|
// phases specified.
|
|
bool phase_ok;
|
|
|
|
string phase_id;
|
|
string msg = "";
|
|
for (int n = 0; n < np; n++) {
|
|
phase_id = phase_ids[n];
|
|
phase_ok = false;
|
|
|
|
// loop over the supplied 'ThermoPhase' objects representing
|
|
// phases, to find an object with the same id.
|
|
for (int m = 0; m < nt; m++) {
|
|
if (th[m]->id() == phase_id) {
|
|
phase_ok = true;
|
|
|
|
// if no phase with this id has been added to
|
|
//the kinetics manager yet, then add this one
|
|
if (kin.phaseIndex(phase_id) < 0) {
|
|
kin.addPhase(*th[m]);
|
|
}
|
|
}
|
|
msg += " "+th[m]->id();
|
|
}
|
|
if (!phase_ok) {
|
|
throw CanteraError("importKinetics",
|
|
"phase "+phase_id+" not found. Supplied phases are:"+msg);
|
|
}
|
|
}
|
|
|
|
// allocates arrays, etc. Must be called after the phases have
|
|
// been added to 'kin', so that the number of species in each
|
|
// phase is known.
|
|
kin.init();
|
|
|
|
// Install the reactions.
|
|
return installReactionArrays(phase, kin, owning_phase, check_for_duplicates);
|
|
}
|
|
|
|
/*
|
|
* Build a single-phase ThermoPhase object with associated kinetics
|
|
* mechanism.
|
|
*/
|
|
bool buildSolutionFromXML(XML_Node& root, std::string id, std::string nm,
|
|
ThermoPhase* th, Kinetics* k) {
|
|
XML_Node* x;
|
|
try {
|
|
|
|
x = get_XML_NameID(nm, string("#")+id, &root);
|
|
// x = get_XML_Node(string("#")+id, &root);
|
|
if (!x) {
|
|
return false;
|
|
}
|
|
|
|
/*
|
|
* Fill in the ThermoPhase object by querying the
|
|
* const XML_Node tree located at x.
|
|
*/
|
|
importPhase(*x, th);
|
|
/*
|
|
* Create a vector of ThermoPhase pointers of length 1
|
|
* having the current th ThermoPhase as the entry.
|
|
*/
|
|
vector<ThermoPhase*> phases(1);
|
|
phases[0] = th;
|
|
/*
|
|
* Fill in the kinetics object k, by querying the
|
|
* const XML_Node tree located by x. The source terms and
|
|
* eventually the source term vector will be constructed
|
|
* from the list of ThermoPhases in the vector, phases.
|
|
*/
|
|
importKinetics(*x, phases, k);
|
|
|
|
return true;
|
|
}
|
|
catch (CanteraError) {
|
|
throw CanteraError("buildSolutionFromXML","error encountered");
|
|
return false;
|
|
}
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|