C2H2::C2H2() : teplojomkost()
{
set_v_max( 13 );
v_t(1) = 0; v_Cp( 1 ) = 0.38447; v_Cv( 1 ) = 0.308; v_S( 1 ) = 0;
v_t(2) = 100; v_Cp( 2 ) = 0.44669; v_Cv( 2 ) = 0.3703; v_S( 2 ) = 0;
v_t(3) = 200; v_Cp( 3 ) = 0.48817; v_Cv( 3 ) = 0.4117; v_S( 3 ) = 0;
v_t(4) = 300; v_Cp( 4 ) = 0.51928; v_Cv( 4 ) = 0.4428; v_S( 4 ) = 0;
v_t(5) = 400; v_Cp( 5 ) = 0.54501; v_Cv( 5 ) = 0.4686; v_S( 5 ) = 0;
v_t(6) = 500; v_Cp( 6 ) = 0.56756; v_Cv( 6 ) = 0.49128; v_S( 6 ) = 0;
v_t(7) = 600; v_Cp( 7 ) = 0.58784; v_Cv( 7 ) = 0.51156; v_S( 7 ) = 0;
v_t(8) = 700; v_Cp( 8 ) = 0.60643; v_Cv( 8 ) = 0.53015; v_S( 8 ) = 0;
v_t(9) = 800; v_Cp( 9 ) = 0.62337; v_Cv( 9 ) = 0.54709; v_S( 9 ) = 0;
v_t(10) = 900; v_Cp( 10 ) = 0.63881; v_Cv( 10 ) = 0.56253; v_S( 10 ) = 0;
v_t(11) = 1000; v_Cp( 11 ) = 0.65279; v_Cv( 11 ) = 0.57651; v_S( 11 ) = 0;
v_t(12) = 1100; v_Cp( 12 ) = 0.66542; v_Cv( 12 ) = 0.58915; v_S( 12 ) = 0;
v_t(13) = 1200; v_Cp( 13 ) = 0.67672; v_Cv( 13 ) = 0.60044; v_S( 13 ) = 0;
v_t=v_t/1000.0;
reculc_polynoms();
cout
<< Name() << endl
<< Formula() << endl;
cout << p_t_Cp;
cout << p_t_Cv ;
cout << p_t_S ;
int i =0;
while (i<=1200) { cout << i <<" "<<Cp(i) <<" "<< Cv(i) <<" "<< S(i)<< endl; i+=100; }
}
C3H8::C3H8() : teplojomkost()
{
set_v_max( 13 );
v_t(1) = 0; v_Cp( 1 ) = 0.3701; v_Cv( 1 ) = 0.325; v_S( 1 ) = 0;
v_t(2) = 100; v_Cp( 2 ) = 0.4817; v_Cv( 2 ) = 0.4366; v_S( 2 ) = 0;
v_t(3) = 200; v_Cp( 3 ) = 0.5871; v_Cv( 3 ) = 0.512; v_S( 3 ) = 0;
v_t(4) = 300; v_Cp( 4 ) = 0.677; v_Cv( 4 ) = 0.6318; v_S( 4 ) = 0;
v_t(5) = 400; v_Cp( 5 ) = 0.755; v_Cv( 5 ) = 0.7098; v_S( 5 ) = 0;
v_t(6) = 500; v_Cp( 6 ) = 0.8237; v_Cv( 6 ) = 0.7786; v_S( 6 ) = 0;
v_t(7) = 600; v_Cp( 7 ) = 0.8831; v_Cv( 7 ) = 0.838; v_S( 7 ) = 0;
v_t(8) = 700; v_Cp( 8 ) = 0.9353; v_Cv( 8 ) = 0.8901; v_S( 8 ) = 0;
v_t(9) = 800; v_Cp( 9 ) = 0.9775; v_Cv( 9 ) = 0.9323; v_S( 9 ) = 0;
v_t(10) = 900; v_Cp( 10 ) = 1.0151; v_Cv( 10 ) = 0.97; v_S( 10 ) = 0;
v_t(11) = 1000; v_Cp( 11 ) = 1.0496; v_Cv( 11 ) = 1.0044; v_S( 11 ) = 0;
v_t(12) = 1100; v_Cp( 12 ) = 1.0811; v_Cv( 12 ) = 1.036; v_S( 12 ) = 0;
v_t(13) = 1200; v_Cp( 13 ) = 1.1094; v_Cv( 13 ) = 1.0643; v_S( 13 ) = 0;
v_t=v_t/1000.0;
reculc_polynoms();
cout
<< Name() << endl
<< Formula() << endl;
cout << p_t_Cp;
cout << p_t_Cv ;
cout << p_t_S ;
int i =0;
while (i<=1200) { cout << i <<" "<<Cp(i) <<" "<< Cv(i) <<" "<< S(i)<< endl; i+=100; }
}
/**
* ((succ(_Y,_Z) & s(_X,_Z)) | theta__(_X,_Y)) -> s(_X,_Y)
* @return
*/
Formula HengZhang::createSuccAndSOrTheta__ImplS(const Formula& _originalFml) {
//1 (succ(_Y,_Z)
_term* term_y_z = Utils::combineTerms(m_vTermsY, m_vTermsZ);
_formula* succ_y_z = Utils::compositeToAtom(m_nSymbolSucc, term_y_z);
//2 s(_X,_Z)
_term* term_x_z = Utils::combineTerms(m_vTermsX, m_vTermsZ);
_formula* s_x_z = Utils::compositeToAtom(m_nSymbolS, term_x_z);
//3 theta__(_X,_Y)
Formula copyOriginalFml = _originalFml;
map<int, string> mapPredicates = Vocabulary::instance().getAllIntensionPredicates();
copyOriginalFml.doubleNegationPredicates(mapPredicates);
_formula* theta__ = Utils::copyFormula(copyOriginalFml.getFormula());
//4 s(_X,_Y)
_term* term_x_y = Utils::combineTerms(m_vTermsX, m_vTermsY);
_formula* s_x_y = Utils::compositeToAtom(m_nSymbolS, term_x_y);
//create structure
_formula* ll = Utils::compositeByConnective(CONJ, succ_y_z, s_x_z);
_formula* l = Utils::compositeByConnective(DISJ, ll, theta__);
_formula* r = s_x_y;
_formula* f = Utils::compositeByConnective(IMPL, l, r);
Formula fml = Formula(f, false);
return fml;
}
C2H4::C2H4() : teplojomkost()
{
set_v_max( 13 );
v_t(1) = 0; v_Cp( 1 ) = 0.3486; v_Cv( 1 ) = 0.2777; v_S( 1 ) = 0;
v_t(2) = 100; v_Cp( 2 ) = 0.4363; v_Cv( 2 ) = 0.3654; v_S( 2 ) = 0;
v_t(3) = 200; v_Cp( 3 ) = 0.5197; v_Cv( 3 ) = 0.4488; v_S( 3 ) = 0;
v_t(4) = 300; v_Cp( 4 ) = 0.5918; v_Cv( 4 ) = 0.5208; v_S( 4 ) = 0;
v_t(5) = 400; v_Cp( 5 ) = 0.6534; v_Cv( 5 ) = 0.5825; v_S( 5 ) = 0;
v_t(6) = 500; v_Cp( 6 ) = 0.7065; v_Cv( 6 ) = 0.6356; v_S( 6 ) = 0;
v_t(7) = 600; v_Cp( 7 ) = 0.7532; v_Cv( 7 ) = 0.6823; v_S( 7 ) = 0;
v_t(8) = 700; v_Cp( 8 ) = 0.7942; v_Cv( 8 ) = 0.7233; v_S( 8 ) = 0;
v_t(9) = 800; v_Cp( 9 ) = 0.8295; v_Cv( 9 ) = 0.7586; v_S( 9 ) = 0;
v_t(10) = 900; v_Cp( 10 ) = 0.8609; v_Cv( 10 ) = 0.79; v_S( 10 ) = 0;
v_t(11) = 1000; v_Cp( 11 ) = 0.8887; v_Cv( 11 ) = 0.8178; v_S( 11 ) = 0;
v_t(12) = 1100; v_Cp( 12 ) = 0.9126; v_Cv( 12 ) = 0.8416; v_S( 12 ) = 0;
v_t(13) = 1200; v_Cp( 13 ) = 0.9336; v_Cv( 13 ) = 0.8627; v_S( 13 ) = 0;
v_t=v_t/1000.0;
reculc_polynoms();
cout
<< Name() << endl
<< Formula() << endl;
cout << p_t_Cp;
cout << p_t_Cv ;
cout << p_t_S ;
int i =0;
while (i<=1200) { cout << i <<" "<<Cp(i) <<" "<< Cv(i) <<" "<< S(i)<< endl; i+=100; }
}
/**
* 章衡量词消去公式五 2 succ(_Y,_Z) -> ((theta(_X,_Z) | t(_X,_Z)) -> t(_X,_Y))
* @param originalFml 一阶语句
* @return
*/
Formula HengZhang::createFormula_5_2(const Formula& _originalFml) {
//1 _succ(_Y,_Z)
_term* term_y_z = Utils::combineTerms(m_vTermsY, m_vTermsZ);
_formula* succ_y_z = Utils::compositeToAtom(m_nSymbolSucc, term_y_z);
//2 T(_X,_Y)
_term* term_x_y = Utils::combineTerms(m_vTermsX, m_vTermsY);
_formula* t_x_y = Utils::compositeToAtom(m_nSymbolT, term_x_y);
//3 theta(_X,_Z)
Formula copyOriginalFml = _originalFml;
copyOriginalFml.replaceTerms(m_vTermsY, m_vTermsZ);
_formula* theta_x_z = Utils::copyFormula(copyOriginalFml.getFormula());
//4 T(_X,_Z)
_term* term_x_z = Utils::combineTerms(m_vTermsX, m_vTermsZ);
_formula* t_x_z = Utils::compositeToAtom(m_nSymbolT, term_x_z);
//create structure
_formula* left = succ_y_z;
_formula* rl = Utils::compositeByConnective(DISJ, theta_x_z, t_x_z);
_formula* right = Utils::compositeByConnective(IMPL, rl, t_x_y);
_formula* F = Utils::compositeByConnective(IMPL, left, right);
Formula fml = Formula(F, false);
return fml;
}
C3H6::C3H6() : teplojomkost()
{
set_v_max( 13 );
v_t(1) = 0; v_Cp( 1 ) = 0.3406; v_Cv( 1 ) = 0.2933; v_S( 1 ) = 0;
v_t(2) = 100; v_Cp( 2 ) = 0.4299; v_Cv( 2 ) = 0.3826; v_S( 2 ) = 0;
v_t(3) = 200; v_Cp( 3 ) = 0.5159; v_Cv( 3 ) = 0.4686; v_S( 3 ) = 0;
v_t(4) = 300; v_Cp( 4 ) = 0.5915; v_Cv( 4 ) = 0.5442; v_S( 4 ) = 0;
v_t(5) = 400; v_Cp( 5 ) = 0.6576; v_Cv( 5 ) = 0.6103; v_S( 5 ) = 0;
v_t(6) = 500; v_Cp( 6 ) = 0.7146; v_Cv( 6 ) = 0.6673; v_S( 6 ) = 0;
v_t(7) = 600; v_Cp( 7 ) = 0.7643; v_Cv( 7 ) = 0.717; v_S( 7 ) = 0;
v_t(8) = 700; v_Cp( 8 ) = 0.8078; v_Cv( 8 ) = 0.7605; v_S( 8 ) = 0;
v_t(9) = 800; v_Cp( 9 ) = 0.8456; v_Cv( 9 ) = 0.7983; v_S( 9 ) = 0;
v_t(10) = 900; v_Cp( 10 ) = 0.8784; v_Cv( 10 ) = 0.8311; v_S( 10 ) = 0;
v_t(11) = 1000; v_Cp( 11 ) = 0.9071; v_Cv( 11 ) = 0.8598; v_S( 11 ) = 0;
v_t(12) = 1100; v_Cp( 12 ) = 0.9321; v_Cv( 12 ) = 0.8848; v_S( 12 ) = 0;
v_t(13) = 1200; v_Cp( 13 ) = 0.9535; v_Cv( 13 ) = 0.9062; v_S( 13 ) = 0;
v_t=v_t/1000.0;
reculc_polynoms();
cout
<< Name() << endl
<< Formula() << endl;
cout << p_t_Cp;
cout << p_t_Cv ;
cout << p_t_S ;
int i =0;
while (i<=1200) { cout << i <<" "<<Cp(i) <<" "<< Cv(i) <<" "<< S(i)<< endl; i+=100; }
}
/**
* 把量词保存到对应的vector
* @param originalFml 一阶语句
* @return
*/
Formula HengZhang::recordQuantifier(const Formula& _originalFml) {
m_vTermsX.clear();
m_vTermsY.clear();
m_vTermsZ.clear();
m_vTermsMIN.clear();
m_vTermsMAX.clear();
_formula* fml = _originalFml.getFormula();
while(fml->formula_type == UNIV) {
m_vTermsX.push_back(fml->variable_id);
fml = fml->subformula_l;
}
while (fml->formula_type == EXIS) {
m_vTermsY.push_back(fml->variable_id);
const char* sDomainName = Vocabulary::instance().getVariableDomain(fml->variable_id);
// MIN
int id = Vocabulary::instance().generateDomainMIN(sDomainName);
m_vTermsMIN.push_back(id);
// MAX
id = Vocabulary::instance().generateDomainMAX(sDomainName);
m_vTermsMAX.push_back(id);
// Z
id = Vocabulary::instance().generateNewVariable(fml->variable_id);
m_vTermsZ.push_back(id);
fml = fml->subformula_l;
}
Formula ret = Formula(fml, true);
return ret;
}
int Vocabulary::generatePredicateR(vector<int> _termsX, vector<int> _termsY) {
char name[32];
sprintf(name, "%s%d", R_PREFIX, m_nRPostfix ++);
int id = addSymbol(name, PREDICATE, _termsX.size() + _termsY.size());
_term* t = Utils::combineTerms(_termsX, _termsY);
addAtom(Formula(Utils::compositeToAtom(id, t), false));
return id;
}
/**
* ~~s(_X,_MIN)
* @return
*/
Formula HengZhang::create__S() {
_term* term_x_min = Utils::combineTerms(m_vTermsX, m_vTermsMIN);
_formula* s_x_min = Utils::compositeToAtom(m_nSymbolS, term_x_min);
_formula* f = Utils::compositeByConnective(NEGA, s_x_min, NULL);
f = Utils::compositeByConnective(NEGA, f, NULL);
Formula fml = Formula(f, false);
return fml;
}
Formula Vocabulary::getAtom(int _predicateId) const {
for (FORMULAS_CONST_ITERATOR it = m_fmlAtomList->begin();
it != m_fmlAtomList->end(); ++ it) {
if (it->getFormula()->predicate_id == _predicateId) {
return *it;
}
}
return Formula();
}
/**
* 拆分公式，把用&连接的公式拆分成多条公式
* @param _fml
* @param _parent
* @param _result
*/
void Utils::divideFormula(_formula* _fml, Formulas* _result) {
assert(_fml);
if(_fml->formula_type == CONJ) {
divideFormula(_fml->subformula_l, _result);
divideFormula(_fml->subformula_r, _result);
}
else {
Formula new_formula = Formula(_fml, true);
_result->pushBack(new_formula);
}
}
void LinearFilter::GenerateKernel()
{
double sum = 0.0;
for (int x = -radius_ / 2; x <= radius_ / 2; x++) {
for (int y = -radius_ / 2; y <= radius_ / 2; y++) {
kernel_[x + radius_ / 2][y + radius_ / 2] = Formula(x, y);
sum += kernel_[x + radius_ / 2][y + radius_ / 2];
}
}
Normalize(sum);
}
void MainWindow::notEClicked()
{
QList<QGraphicsItem *> selected_list = scene->selectedItems();
Node* selected = (Node*)(selected_list.at(0));
selected->setRule("notE");
selected->update();
bool ok;
QString tekst = QInputDialog::getText(this, tr("QInputDialog::getText()"),
tr("Unesite formulu:"), QLineEdit::Normal,
"", &ok);
if (ok && !tekst.isEmpty()){
qDebug() << "radi";
}
std::string formula = tekst.toUtf8().constData();
formula += " ;";
std::ostringstream stream;
qDebug() << QString::fromStdString(formula);
YY_BUFFER_STATE buffer = yy_scan_string(formula.c_str());
if(yyparse() == 1){
qDebug() << "Pa to ti ne radi";
}
std::ostringstream stream1;
parsed_formula->printFormula(stream1);
qreal rect_width = stream1.str().length()*PARAMETER;
qreal rect_height = 20;
int rect_x = selected->getx() -20 - depth/2;
int rect_y = selected->gety() - 20 - depth/2;
QVector<Formula> assumptions = selected->getAssumptions();
Node* item1 = new Node( parsed_formula, rect_width, rect_height, rect_x, rect_y, selected_list.at(0), assumptions);
scene->addNode(item1);
Formula f2 = Formula(new Not(parsed_formula));
rect_x = selected->getx() + 25 + depth/2;
rect_y = selected->gety() - 20 - depth/2;
f2->printFormula(stream1);
rect_width = stream1.str().length()*PARAMETER;
Node* item2 = new Node( f2, rect_width, rect_height, rect_x, rect_y, selected_list.at(0), assumptions);
scene->addNode(item2);
}
/**
* 章衡量词消去公式四_2 (s(_X,_Y) & ((~s(_X,_Z) & succ(_Y,_Z)) | _max(Y)))
* -> (theta(_X,_Y) -> t(_X,_MAX))
* @param originalFml 一阶语句
* @return
*/
Formula HengZhang::createFormula_4_2(const Formula& _originalFml) {
// 5 theta(_X,_Y)
_formula* theta_x_y = Utils::copyFormula(_originalFml.getFormula());
// 6 T(_X,_MAX)
_term* term_x_max = Utils::combineTerms(m_vTermsX, m_vTermsMAX);
_formula* t_x_max = Utils::compositeToAtom(m_nSymbolT, term_x_max);
_formula* left = generateFormulaLeft_4();
_formula* right = Utils::compositeByConnective(IMPL, theta_x_y, t_x_max);
_formula* F = Utils::compositeByConnective(IMPL, left, right);
Formula fml = Formula(F, false);
return fml;
}
/**
* 章衡量词消去公式三 t(_X,_MIN) | theta(_X,_MIN)
* @param originalFml 一阶语句
* @return
*/
Formula HengZhang::createFormula_3(const Formula& _originalFml) {
//create left sub-formula t(_X,_MIN)
_term* term_x_min = Utils::combineTerms(m_vTermsX, m_vTermsMIN);
_formula* t_x_min = Utils::compositeToAtom(m_nSymbolT, term_x_min);
//create right sub-formula theta(_X,_MIN)
Formula copyOriginalFml = _originalFml;
copyOriginalFml.replaceTerms(m_vTermsY, m_vTermsMIN);
_formula* theta_x_min = Utils::copyFormula(copyOriginalFml.getFormula());
//create structure
_formula* F = Utils::compositeByConnective(DISJ, t_x_min, theta_x_min);
Formula fml = Formula(F, false);
return fml;
}
NO::NO() : teplojomkost()
{
set_v_max( 31 );
v_t(1) = 0; v_Cp( 1 ) = 0.2386; v_Cv( 1 ) = 0.1724; v_S( 1 ) = 0;
v_t(2) = 100; v_Cp( 2 ) = 0.2381; v_Cv( 2 ) = 0.1719; v_S( 2 ) = 0;
v_t(3) = 200; v_Cp( 3 ) = 0.2414; v_Cv( 3 ) = 0.1752; v_S( 3 ) = 0;
v_t(4) = 300; v_Cp( 4 ) = 5.2472; v_Cv( 4 ) = 0.181; v_S( 4 ) = 0;
v_t(5) = 400; v_Cp( 5 ) = 0.2534; v_Cv( 5 ) = 0.1872; v_S( 5 ) = 0;
v_t(6) = 500; v_Cp( 6 ) = 0.2594; v_Cv( 6 ) = 0.1932; v_S( 6 ) = 0;
v_t(7) = 600; v_Cp( 7 ) = 0.2648; v_Cv( 7 ) = 0.1986; v_S( 7 ) = 0;
v_t(8) = 700; v_Cp( 8 ) = 0.2695; v_Cv( 8 ) = 0.2033; v_S( 8 ) = 0;
v_t(9) = 800; v_Cp( 9 ) = 0.2736; v_Cv( 9 ) = 0.2074; v_S( 9 ) = 0;
v_t(10) = 900; v_Cp( 10 ) = 0.277; v_Cv( 10 ) = 0.2108; v_S( 10 ) = 0;
v_t(11) = 1000; v_Cp( 11 ) = 0.2799; v_Cv( 11 ) = 0.2137; v_S( 11 ) = 0;
v_t(12) = 1100; v_Cp( 12 ) = 0.2824; v_Cv( 12 ) = 0.2165; v_S( 12 ) = 0;
v_t(13) = 1200; v_Cp( 13 ) = 0.2845; v_Cv( 13 ) = 0.2183; v_S( 13 ) = 0;
v_t(14) = 1300; v_Cp( 14 ) = 0.2864; v_Cv( 14 ) = 0.2202; v_S( 14 ) = 0;
v_t(15) = 1400; v_Cp( 15 ) = 0.2881; v_Cv( 15 ) = 0.2219; v_S( 15 ) = 0;
v_t(16) = 1500; v_Cp( 16 ) = 0.2895; v_Cv( 16 ) = 0.2233; v_S( 16 ) = 0;
v_t(17) = 1600; v_Cp( 17 ) = 0.2907; v_Cv( 17 ) = 0.2245; v_S( 17 ) = 0;
v_t(18) = 1700; v_Cp( 18 ) = 0.2918; v_Cv( 18 ) = 0.2256; v_S( 18 ) = 0;
v_t(19) = 1800; v_Cp( 19 ) = 0.2928; v_Cv( 19 ) = 0.2267; v_S( 19 ) = 0;
v_t(20) = 1900; v_Cp( 20 ) = 0.2938; v_Cv( 20 ) = 0.2276; v_S( 20 ) = 0;
v_t(21) = 2000; v_Cp( 21 ) = 0.2947; v_Cv( 21 ) = 0.2285; v_S( 21 ) = 0;
v_t(22) = 2100; v_Cp( 22 ) = 0.2954; v_Cv( 22 ) = 0.2292; v_S( 22 ) = 0;
v_t(23) = 2200; v_Cp( 23 ) = 0.296; v_Cv( 23 ) = 0.2299; v_S( 23 ) = 0;
v_t(24) = 2300; v_Cp( 24 ) = 0.2967; v_Cv( 24 ) = 0.2305; v_S( 24 ) = 0;
v_t(25) = 2400; v_Cp( 25 ) = 0.2973; v_Cv( 25 ) = 0.2311; v_S( 25 ) = 0;
v_t(26) = 2500; v_Cp( 26 ) = 0.2978; v_Cv( 26 ) = 0.2317; v_S( 26 ) = 0;
v_t(27) = 2600; v_Cp( 27 ) = 0.2984; v_Cv( 27 ) = 0.2322; v_S( 27 ) = 0;
v_t(28) = 2700; v_Cp( 28 ) = 0.2989; v_Cv( 28 ) = 0.2323; v_S( 28 ) = 0;
v_t(29) = 2800; v_Cp( 29 ) = 0.2994; v_Cv( 29 ) = 0.2333; v_S( 29 ) = 0;
v_t(30) = 2900; v_Cp( 30 ) = 0.2999; v_Cv( 30 ) = 0.2338; v_S( 30 ) = 0;
v_t(31) = 3000; v_Cp( 31 ) = 0.3004; v_Cv( 31 ) = 0.2342; v_S( 31 ) = 0;
v_t=v_t/1000.0;
reculc_polynoms();
cout
<< Name() << endl
<< Formula() << endl;
cout << p_t_Cp;
cout << p_t_Cv ;
cout << p_t_S ;
int i =0;
while (i<=3000) { cout << i <<" "<<Cp(i) <<" "<< Cv(i) <<" "<< S(i)<< endl; i+=100; }
}
void MainWindow::falseEClicked()
{
QList<QGraphicsItem *> selected_list = scene->selectedItems();
Node* selected = (Node*)(selected_list.at(0));
selected->setRule("false");
selected->update();
Formula false_f = Formula(new False());
std::ostringstream stream;
false_f->printFormula(stream);
qreal rect_width = stream.str().length()*PARAMETER;
qreal rect_height = 20;
int rect_x = selected->getx();
int rect_y = selected->gety() - 20 - depth/2;
QVector<Formula> assumptions = selected->getAssumptions();
Node* item = new Node( false_f, rect_width, rect_height, rect_x, rect_y, selected_list.at(0), assumptions);
scene->addNode(item);
}
CO::CO() : teplojomkost()
{
set_v_max( 26 );
v_t(1) = 0; v_Cp( 1 ) = 0.2483; v_Cv( 1 ) = 0.1774; v_S( 1 ) = 0;
v_t(2) = 100; v_Cp( 2 ) = 0.2495; v_Cv( 2 ) = 0.1786; v_S( 2 ) = 0;
v_t(3) = 200; v_Cp( 3 ) = 0.2528; v_Cv( 3 ) = 0.1819; v_S( 3 ) = 0;
v_t(4) = 300; v_Cp( 4 ) = 0.258; v_Cv( 4 ) = 0.1871; v_S( 4 ) = 0;
v_t(5) = 400; v_Cp( 5 ) = 0.2641; v_Cv( 5 ) = 0.1932; v_S( 5 ) = 0;
v_t(6) = 500; v_Cp( 6 ) = 0.2704; v_Cv( 6 ) = 0.1995; v_S( 6 ) = 0;
v_t(7) = 600; v_Cp( 7 ) = 0.2763; v_Cv( 7 ) = 0.2054; v_S( 7 ) = 0;
v_t(8) = 700; v_Cp( 8 ) = 0.2816; v_Cv( 8 ) = 0.2107; v_S( 8 ) = 0;
v_t(9) = 800; v_Cp( 9 ) = 0.2863; v_Cv( 9 ) = 0.2154; v_S( 9 ) = 0;
v_t(10) = 900; v_Cp( 10 ) = 0.2904; v_Cv( 10 ) = 0.2195; v_S( 10 ) = 0;
v_t(11) = 1000; v_Cp( 11 ) = 0.2939; v_Cv( 11 ) = 0.223; v_S( 11 ) = 0;
v_t(12) = 1100; v_Cp( 12 ) = 0.297; v_Cv( 12 ) = 0.2261; v_S( 12 ) = 0;
v_t(13) = 1200; v_Cp( 13 ) = 0.2996; v_Cv( 13 ) = 0.2287; v_S( 13 ) = 0;
v_t(14) = 1300; v_Cp( 14 ) = 0.302; v_Cv( 14 ) = 0.2311; v_S( 14 ) = 0;
v_t(15) = 1400; v_Cp( 15 ) = 0.304; v_Cv( 15 ) = 0.233; v_S( 15 ) = 0;
v_t(16) = 1500; v_Cp( 16 ) = 0.3057; v_Cv( 16 ) = 0.2348; v_S( 16 ) = 0;
v_t(17) = 1600; v_Cp( 17 ) = 0.3073; v_Cv( 17 ) = 0.2364; v_S( 17 ) = 0;
v_t(18) = 1700; v_Cp( 18 ) = 0.3087; v_Cv( 18 ) = 0.2378; v_S( 18 ) = 0;
v_t(19) = 1800; v_Cp( 19 ) = 0.31; v_Cv( 19 ) = 0.239; v_S( 19 ) = 0;
v_t(20) = 1900; v_Cp( 20 ) = 0.3111; v_Cv( 20 ) = 0.2402; v_S( 20 ) = 0;
v_t(21) = 2000; v_Cp( 21 ) = 0.3121; v_Cv( 21 ) = 0.2412; v_S( 21 ) = 0;
v_t(22) = 2100; v_Cp( 22 ) = 0.313; v_Cv( 22 ) = 0.2421; v_S( 22 ) = 0;
v_t(23) = 2200; v_Cp( 23 ) = 0.3138; v_Cv( 23 ) = 0.2429; v_S( 23 ) = 0;
v_t(24) = 2300; v_Cp( 24 ) = 0.3146; v_Cv( 24 ) = 0.2437; v_S( 24 ) = 0;
v_t(25) = 2400; v_Cp( 25 ) = 0.3153; v_Cv( 25 ) = 0.2444; v_S( 25 ) = 0;
v_t(26) = 2500; v_Cp( 26 ) = 0.316; v_Cv( 26 ) = 0.245; v_S( 26 ) = 0;
v_t=v_t/1000.0;
reculc_polynoms();
cout
<< Name() << endl
<< Formula() << endl;
cout << p_t_Cp;
cout << p_t_Cv ;
cout << p_t_S ;
int i =0;
while (i<=2500) { cout << i <<" "<<Cp(i) <<" "<< Cv(i) <<" "<< S(i)<< endl; i+=100; }
}
N2_ATM::N2_ATM() : teplojomkost()
{
set_v_max( 26 );
v_t(1) = 0; v_Cp( 1 ) = 0.2461; v_Cv( 1 ) = 0.1756; v_S( 1 ) = 0;
v_t(2) = 100; v_Cp( 2 ) = 0.2469; v_Cv( 2 ) = 0.1763; v_S( 2 ) = 0;
v_t(3) = 200; v_Cp( 3 ) = 0.2491; v_Cv( 3 ) = 0.1786; v_S( 3 ) = 0;
v_t(4) = 300; v_Cp( 4 ) = 0.2532; v_Cv( 4 ) = 0.1827; v_S( 4 ) = 0;
v_t(5) = 400; v_Cp( 5 ) = 0.2584; v_Cv( 5 ) = 0.1879; v_S( 5 ) = 0;
v_t(6) = 500; v_Cp( 6 ) = 0.2641; v_Cv( 6 ) = 0.1935; v_S( 6 ) = 0;
v_t(7) = 600; v_Cp( 7 ) = 0.2697; v_Cv( 7 ) = 0.1992; v_S( 7 ) = 0;
v_t(8) = 700; v_Cp( 8 ) = 0.2749; v_Cv( 8 ) = 0.2044; v_S( 8 ) = 0;
v_t(9) = 800; v_Cp( 9 ) = 0.2793; v_Cv( 9 ) = 0.2091; v_S( 9 ) = 0;
v_t(10) = 900; v_Cp( 10 ) = 0.2833; v_Cv( 10 ) = 0.2132; v_S( 10 ) = 0;
v_t(11) = 1000; v_Cp( 11 ) = 0.2874; v_Cv( 11 ) = 0.2169; v_S( 11 ) = 0;
v_t(12) = 1100; v_Cp( 12 ) = 0.2907; v_Cv( 12 ) = 0.2202; v_S( 12 ) = 0;
v_t(13) = 1200; v_Cp( 13 ) = 0.2935; v_Cv( 13 ) = 0.223; v_S( 13 ) = 0;
v_t(14) = 1300; v_Cp( 14 ) = 0.295; v_Cv( 14 ) = 0.2255; v_S( 14 ) = 0;
v_t(15) = 1400; v_Cp( 15 ) = 0.2982; v_Cv( 15 ) = 0.2277; v_S( 15 ) = 0;
v_t(16) = 1500; v_Cp( 16 ) = 0.3001; v_Cv( 16 ) = 0.2296; v_S( 16 ) = 0;
v_t(17) = 1600; v_Cp( 17 ) = 0.3018; v_Cv( 17 ) = 0.2313; v_S( 17 ) = 0;
v_t(18) = 1700; v_Cp( 18 ) = 0.3033; v_Cv( 18 ) = 0.2328; v_S( 18 ) = 0;
v_t(19) = 1800; v_Cp( 19 ) = 0.3047; v_Cv( 19 ) = 0.2341; v_S( 19 ) = 0;
v_t(20) = 1900; v_Cp( 20 ) = 0.3059; v_Cv( 20 ) = 0.2354; v_S( 20 ) = 0;
v_t(21) = 2000; v_Cp( 21 ) = 0.307; v_Cv( 21 ) = 0.2364; v_S( 21 ) = 0;
v_t(22) = 2100; v_Cp( 22 ) = 0.308; v_Cv( 22 ) = 0.2374; v_S( 22 ) = 0;
v_t(23) = 2200; v_Cp( 23 ) = 0.3089; v_Cv( 23 ) = 0.2383; v_S( 23 ) = 0;
v_t(24) = 2300; v_Cp( 24 ) = 0.3097; v_Cv( 24 ) = 0.2392; v_S( 24 ) = 0;
v_t(25) = 2400; v_Cp( 25 ) = 0.3105; v_Cv( 25 ) = 0.24; v_S( 25 ) = 0;
v_t(26) = 2500; v_Cp( 26 ) = 0.3112; v_Cv( 26 ) = 0.2407; v_S( 26 ) = 0;
v_t=v_t/1000.0;
reculc_polynoms();
cout
<< Name() << endl
<< Formula() << endl;
cout << p_t_Cp;
cout << p_t_Cv ;
cout << p_t_S ;
int i =0;
while (i<=2500) { cout << i <<" "<<Cp(i) <<" "<< Cv(i) <<" "<< S(i)<< endl; i+=100; }
}
N2::N2() : teplojomkost()
{
set_v_max( 26 );
v_t(1) = 0; v_Cp( 1 ) = 0.2482; v_Cv( 1 ) = 0.1773; v_S( 1 ) = 0;
v_t(2) = 100; v_Cp( 2 ) = 0.2489; v_Cv( 2 ) = 0.178; v_S( 2 ) = 0;
v_t(3) = 200; v_Cp( 3 ) = 0.2512; v_Cv( 3 ) = 0.1804; v_S( 3 ) = 0;
v_t(4) = 300; v_Cp( 4 ) = 0.2554; v_Cv( 4 ) = 0.1845; v_S( 4 ) = 0;
v_t(5) = 400; v_Cp( 5 ) = 0.2607; v_Cv( 5 ) = 0.1898; v_S( 5 ) = 0;
v_t(6) = 500; v_Cp( 6 ) = 0.2664; v_Cv( 6 ) = 0.1955; v_S( 6 ) = 0;
v_t(7) = 600; v_Cp( 7 ) = 0.2721; v_Cv( 7 ) = 0.2012; v_S( 7 ) = 0;
v_t(8) = 700; v_Cp( 8 ) = 0.2774; v_Cv( 8 ) = 0.2065; v_S( 8 ) = 0;
v_t(9) = 800; v_Cp( 9 ) = 0.2822; v_Cv( 9 ) = 0.2113; v_S( 9 ) = 0;
v_t(10) = 900; v_Cp( 10 ) = 0.2864; v_Cv( 10 ) = 0.2156; v_S( 10 ) = 0;
v_t(11) = 1000; v_Cp( 11 ) = 0.2902; v_Cv( 11 ) = 0.2193; v_S( 11 ) = 0;
v_t(12) = 1100; v_Cp( 12 ) = 0.2935; v_Cv( 12 ) = 0.2226; v_S( 12 ) = 0;
v_t(13) = 1200; v_Cp( 13 ) = 0.2964; v_Cv( 13 ) = 0.2255; v_S( 13 ) = 0;
v_t(14) = 1300; v_Cp( 14 ) = 0.2989; v_Cv( 14 ) = 0.228; v_S( 14 ) = 0;
v_t(15) = 1400; v_Cp( 15 ) = 0.3011; v_Cv( 15 ) = 0.2302; v_S( 15 ) = 0;
v_t(16) = 1500; v_Cp( 16 ) = 0.303; v_Cv( 16 ) = 0.2322; v_S( 16 ) = 0;
v_t(17) = 1600; v_Cp( 17 ) = 0.3048; v_Cv( 17 ) = 0.2339; v_S( 17 ) = 0;
v_t(18) = 1700; v_Cp( 18 ) = 0.3063; v_Cv( 18 ) = 0.2354; v_S( 18 ) = 0;
v_t(19) = 1800; v_Cp( 19 ) = 0.3077; v_Cv( 19 ) = 0.2358; v_S( 19 ) = 0;
v_t(20) = 1900; v_Cp( 20 ) = 0.3089; v_Cv( 20 ) = 0.238; v_S( 20 ) = 0;
v_t(21) = 2000; v_Cp( 21 ) = 0.31; v_Cv( 21 ) = 0.2391; v_S( 21 ) = 0;
v_t(22) = 2100; v_Cp( 22 ) = 0.311; v_Cv( 22 ) = 0.2401; v_S( 22 ) = 0;
v_t(23) = 2200; v_Cp( 23 ) = 0.312; v_Cv( 23 ) = 0.2411; v_S( 23 ) = 0;
v_t(24) = 2300; v_Cp( 24 ) = 0.3128; v_Cv( 24 ) = 0.2419; v_S( 24 ) = 0;
v_t(25) = 2400; v_Cp( 25 ) = 0.3136; v_Cv( 25 ) = 0.2427; v_S( 25 ) = 0;
v_t(26) = 2500; v_Cp( 26 ) = 0.3143; v_Cv( 26 ) = 0.2434; v_S( 26 ) = 0;
v_t=v_t/1000.0;
reculc_polynoms();
cout
<< Name() << endl
<< Formula() << endl;
cout << p_t_Cp;
cout << p_t_Cv ;
cout << p_t_S ;
int i =0;
while (i<=2500) { cout << i <<" "<<Cp(i) <<" "<< Cv(i) <<" "<< S(i)<< endl; i+=100; }
}
int Vocabulary::generatePredicateSucc(vector<int> _termsY, vector<int> _termsZ) {
string succName = SUCC_PREFIX;
vector<string> domainNames;
for (unsigned int i = 0; i < _termsY.size(); ++ i) {
const char* sDomainName = Vocabulary::instance().getVariableDomain(_termsY[i]);
succName += string("_") + sDomainName;
domainNames.push_back(string(sDomainName));
}
int id = Vocabulary::instance().getSymbolId(succName.c_str(), PREDICATE);
if (id != -1) {
return id;
}
id = Vocabulary::instance().addSymbol(succName.c_str(),
PREDICATE, _termsY.size() + _termsZ.size());
Vocabulary::instance().ms_vDomainNames.push_back(domainNames);
//保存谓词原型
_term* term_y_z = Utils::combineTerms(_termsY, _termsZ);
_formula* succ_y_z = Utils::compositeToAtom(id, term_y_z);
Vocabulary::instance().addAtom(Formula(succ_y_z, false));
return id;
}
// (s(_X,_Y) & ((~s(_X,_Z) & succ(_Y,_Z)) | _max(Y)))
_formula* HengZhang::generateFormulaLeft_4() {
// 1 S(_X,_Y)
_term* term_x_y = Utils::combineTerms(m_vTermsX, m_vTermsY);
_formula* s_x_y = Utils::compositeToAtom(m_nSymbolS, term_x_y);
// 2 ( ~S(_X,_Z)
_term* term_x_z = Utils::combineTerms(m_vTermsX, m_vTermsZ);
_formula* s_x_z = Utils::compositeToAtom(m_nSymbolS, term_x_z);
_formula* _s_x_z = Utils::compositeByConnective(NEGA, s_x_z, NULL);
// 3 succ(_Y,_Z)
_term* term_y_z = Utils::combineTerms(m_vTermsY, m_vTermsZ);
_formula* succ_y_z = Utils::compositeToAtom(m_nSymbolSucc, term_y_z);
// 4 max_domian(_Y)
vector<Formula> max_ys;
for (unsigned int i = 0; i < m_vTermsY.size(); ++ i) {
string name = string("max_") + Vocabulary::instance().getVariableDomain(m_vTermsY[i]);
_term* term_yi = (_term*)malloc(sizeof(_term));
term_yi->term_type = VARI;
term_yi->variable_id = m_vTermsY[i];
int pre_id = Vocabulary::instance().addSymbol(name.c_str(), PREDICATE, 1);
_formula* max_yi = Utils::compositeToAtom(pre_id, term_yi);
Formula f = Formula(max_yi, false);
max_ys.push_back(f);
Vocabulary::instance().addAtom(f);
}
_formula* max_y = Utils::copyFormula(max_ys[0].getFormula());
for (unsigned int i = 1; i < max_ys.size(); ++ i) {
max_y = Utils::compositeByConnective(CONJ, max_y, Utils::copyFormula(max_ys[i].getFormula()));
}
_formula* lrl = Utils::compositeByConnective(CONJ, _s_x_z, succ_y_z);
_formula* lr = Utils::compositeByConnective(DISJ, lrl, max_y);
_formula* l = Utils::compositeByConnective(CONJ, s_x_y, lr);
// _formula* lrl = Utils::compositeByConnective(CONJ, succ_y_z, s_x_y);
// _formula* ll = Utils::compositeByConnective(CONJ, lrl, _s_x_z);
// _formula* l = Utils::compositeByConnective(DISJ, ll, max_y);
return l;
}
Formula CellRange::toFormula() const
{
return Formula(*this);
}
std::string SignatureEffectiveTagger::LatexName() const
{
return Formula("T_{h} T_{l} h h");
}
std::string EventSingleLeptonicTagger::LatexName() const
{
return Formula("T_{l}t_{h}h");
}
Formula CellReference::toFormula() const
{
return Formula(*this);
}
int main1()
{
char ch;
clrscr();
printf("\n");
textcolor(CYAN);
cprintf(" Solutions to Basic Electronics");
printf("\n\n");
textcolor(MAGENTA);
cprintf(" - S.P.Prathyush");
printf("\n\n\n");
textcolor(WHITE);
cprintf(" Enter The Topic");
printf("\n\n\t 1.Half Wave Rectifier \n\t 2.Full Wave Rectifier \n\t 3.Bridge Rectifier \n\t 4.Transistor \n\t 5.Solve by Equations \n\t 6.Definitions \n\t 7.Question Paper Pattern \n\t 8.Syllabus \n\t 9.Reference");
gotoxy(40,7);
printf(" Special Features:");
gotoxy(40,9);
printf(" a.Formula List");
gotoxy(40,10);
printf(" b.Features");
gotoxy(40,11);
printf(" c.View Credits");
printf("\n\n\t");
textcolor(YELLOW);
gotoxy(35,23);
cprintf(" Press Q to Quit ");
printf("\n\n\t");
gotoxy(35,24);
cprintf(" Enter Your Choice : ");
textcolor(WHITE);
printf("");
date();
ch=getche();
switch(ch)
{
case '1':
HWR();
break;
case '2':
FWR();
break;
case '3':
Bridge();
break;
case '4':
Transistor();
break;
case '5':
Equations();
break;
case '6':
definitions();
break;
case '7':
pattern();
break;
case '8':
syllabus();
break;
case '9':
reference();
break;
case 'a':
Formula();
break;
case 'b':
Features();
break;
case 'c':
credits();
break;
case 'Q':
exit(ch-'Q');
break;
default:
printf("\n\n\t");
textcolor(RED+BLINK);
cprintf(" Invalid Choice");
invalid();
getch();
end1();
break;
}
return 0;
}
std::string TopPartnerLeptonicNeutralTagger::LatexName() const
{
return Formula("T_{l}");
}
CH4::CH4() : teplojomkost()
{
set_v_max( 13 );
v_t(1) = 0;
v_Cp( 1 ) = 0.5172;
v_Cv( 1 ) = 0.3934;
v_S( 1 ) = 0;
v_t(2) = 100;
v_Cp( 2 ) = 0.5848;
v_Cv( 2 ) = 0.461;
v_S( 2 ) = 0;
v_t(3) = 200;
v_Cp( 3 ) = 0.6704;
v_Cv( 3 ) = 0.5466;
v_S( 3 ) = 0;
v_t(4) = 300;
v_Cp( 4 ) = 0.7584;
v_Cv( 4 ) = 0.6346;
v_S( 4 ) = 0;
v_t(5) = 400;
v_Cp( 5 ) = 0.843;
v_Cv( 5 ) = 0.7192;
v_S( 5 ) = 0;
v_t(6) = 500;
v_Cp( 6 ) = 0.921;
v_Cv( 6 ) = 0.7972;
v_S( 6 ) = 0;
v_t(7) = 600;
v_Cp( 7 ) = 0.9919;
v_Cv( 7 ) = 0.8681;
v_S( 7 ) = 0;
v_t(8) = 700;
v_Cp( 8 ) = 1.056;
v_Cv( 8 ) = 0.9322;
v_S( 8 ) = 0;
v_t(9) = 800;
v_Cp( 9 ) = 1.1129;
v_Cv( 9 ) = 0.9891;
v_S( 9 ) = 0;
v_t(10) = 900;
v_Cp( 10 ) = 1.1638;
v_Cv( 10 ) = 1.04;
v_S( 10 ) = 0;
v_t(11) = 1000;
v_Cp( 11 ) = 1.2089;
v_Cv( 11 ) = 1.0851;
v_S( 11 ) = 0;
v_t(12) = 1100;
v_Cp( 12 ) = 1.2483;
v_Cv( 12 ) = 1.1245;
v_S( 12 ) = 0;
v_t(13) = 1200;
v_Cp( 13 ) = 1.282;
v_Cv( 13 ) = 1.1582;
v_S( 13 ) = 0;
v_t=v_t/1000.0;
reculc_polynoms();
cout
<< Name() << endl
<< Formula() << endl;
cout << p_t_Cp;
cout << p_t_Cv ;
cout << p_t_S ;
int i =0;
while (i<=1200) {
cout << i <<" "<<Cp(i) <<" "<< Cv(i) <<" "<< S(i)<< endl;
i+=100;
}
}
void Simplex() {
e10: Pivot();
Formula();
Optimize();
if (NOPTIMAL == 1) goto e10;
}
