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...

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...

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...

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...

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...

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...

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 ...

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....