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; }