نتایج جستجو برای: equivalent conversion

تعداد نتایج: 249351  

2004
Daniel Sheridan

Despite the widespread use and study of Boolean satisfiability for a diverse range of problem domains, encoding of problems is usually given to general propositional logic with little or no discussion of the conversion to clause form that will be necessary. In this paper we present a fast and easy to implement conversion to equisatisfiable clause form for Boolean circuits, a popular representat...

Journal: :CoRR 2016
Guangning Tan Nedialko S. Nedialkov John D. Pryce

In a previous article, the authors developed two conversion methods to improve the Σ -method for structural analysis (SA) of differential-algebraic equations (DAEs). These methods reformulate a DAE on which the Σ -method fails into an equivalent problem on which this SA is more likely to succeed with a generically nonsingular Jacobian. The basic version of these methods processes the DAE as a w...

2012
Md. Arifujjaman P. K. Banerjee Utpal Kumar Das

This paper describes the modeling and simulation of a wind energy conversion system in Matlab/Simulink environment. The wind energy conversion system consists of a wind turbine, gear box, and induction generator. The dynamic model of a 30 kW induction generator is used for performance testing of the proposed system. Simulink models of the individual components of wind energy conversion are form...

Journal: :CoRR 2012
Thomas Sternagel René Thiemann Harald Zankl Christian Sternagel

Solving the word problem requires to decide whether an equation s ≈ t follows from an equational system (ES) E . By Birkhoff’s theorem this is equivalent to the existence of a conversion s ↔∗E t. Knuth-Bendix completion [5] (if successful) gives a decision procedure: If an ES E is transformed into an equivalent convergent term rewrite system (TRS) R, then s ↔∗E t iff the R-normal forms of s and...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده علوم 1389

this research concentrates on the lithostratigraphy, biostratigraphy, microfacies and sedimentary environment of the asmari and gachsaran formations at southwest firuzabad. the thickness of the studied section in all 608.95 meters that 220.8 meters belong to the asmari formation and 387.95 meters belong to the gachsaran formation (champe and mol members). in the study area, the asmari formation...

Journal: :فلسفه و کلام اسلامی 0
اسداللّه فلّاحی استادیار مؤسسۀ پژوهشی حکمت و فلسفه ایران

some contemporary logicians have introduced a new simple method of logical consequences and reduced all immediate arguments to conversion and obversion. by dint of positive and infinite terms, one of the logicians, reza akbari, increased the four traditional quantified propositions to 32 ones: the 4 well-known positives, 4 subject-infinites, 4 predicate-infinites, 4 two-sided-infinites, and the...

2003
Naoki Yoshinaga Yusuke Miyao Kentaro Torisawa Jun’ichi Tsujii

This article presents a novel approach to empirical comparison between parsers for different grammar formalisms such as LTAG and HPSG. The key idea of our approach is to use strongly equivalent grammars obtained by grammar conversion, which generate equivalent parse results for the same input. We validate our approach by giving a formal proof of strong equivalence for an existing grammar conver...

Journal: :Yakugaku zasshi : Journal of the Pharmaceutical Society of Japan 2011
Chihiro Kawano Takeshi Hirayama Masakazu Kuroyama

Opioid rotation has been proposed for management of cancer pain. No studies directly investigating dose equivalence between morphine injection (continuous IV administration) and the transdermal fentanyl patch have been reported. Therefore, we examined dose conversion ratios in patients undergoing opioid rotation from morphine injection to fentanyl patches. The subjects consisted of 45 patients ...

2014
RGPV Bhopal India

Using Linux shell commands is a challenging task for most of the people new to Linux. This paper presents the idea of conversion of natural language to equivalent Linux shell command. To achieve the conversion we make use of a Naive Bayes text classifier. However there could be a case of a series of flags and combination of commands. This is handled by a sequence of Naive Bayes text classifier....

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید