This paper presents a method for the veriication of speed-independent circuits. The main contribution is the reduction of the circuit to a set of complex gates that makes the veriication time complexity depend only on the number of state signals (C elements, RS ip-ops) of the circuit. Despite the reduction to complex gates, veriica-tion is kept exact. The speciication of the environment only re...

economic growth is the most important purpose of developing countries. each country can improve social welfare and access to international markets by increasing production potential. production can increase by two ways: the first one, using more inputs that raising production cost and the second one, improving efficiency that can produce more output with certain inputs or the same output with l...

This paper presents a method for the veriication of speed-independent circuits. The main contribution is the reduction of the circuit to a set of complex gates that makes the veriication time complexity depend only on the number of state signals (C elements, RS ip-ops) of the circuit. Despite the reduction to complex gates, veriication is kept exact. The speciication of the environment only req...

this paper presents a novel control method to improve the efficiency of low-voltage dc-dc converters at light loads. pulse width modulation (pwm) converters have poor efficiencies at light loads, while pulse frequency modulation (pfm) control is more efficient for the same cases. switching losses constitute a major portion of the total power loss at light loads. to decrease the switching losses...

Wind turbines are important devices that extract clean energy from wind flow. The efficiency of wind turbines should be examined under various working conditions in order to estimate off-design performance. Numerous aerodynamic and structural research works have been carried out to compute aeroelastic effects on wind turbines. Most of them suffer from either the simplicity of the modelling ...

We present a new optical system design for a projector with a single digital micromirror device (Texas Instruments Digital Micromirror Device) that improves on previous designs in terms of optical efficiency, uniformity, and contrast while yielding a low-profile and compact system. A rod integrator is incorporated with a compact relay system to maximize light efficiency and to increase illumina...

In the current work, different methods for optimization of turbine blade internal cooling are investigated, to achieve higher cyclic efficiency and output power for a typical gas turbine. A simple two-dimensional model of C3X blade is simulated and validated with available experimental data. The optimization process is performed on this model with two different methods. The first method is ...

In this paper, the high spectral efficiency of a transmission scheme called Time frequency training (TFT) Orthogonal frequency division multiplexing (OFDM) using MIMO system is proposed. The time frequency joint channel estimation for TFT-OFDM utilizes the time-domain training sequence without interference cancellation to merely acquire the time delay profile of the channel, while the path coef...

This study investigates undergraduate students’ attitudes towards and experiences with open education practices (OEP) in a research-based linguistics seminar. Data was collected through written assignments which two groups of students subsequent terms were surveyed on their willingness to publish (a) academic posters access (OA); (b) teaching concepts as educational resources (OER); (c) persona...