Search
Now showing items 111-120 of 122
An efficient model checker based on theaxiomatization of Propositional Temporal Logic in rewriting logic
(
IEEE
, 2003 , Conference Paper)
In this paper, we propose an efficient Model Checker for the Propositional Temporal Logic denoted by PTL. This logic is hown to be well suited to verify electronic circuits and reactive systems. A typical verification ...
A decision support system based on ranking methods
(
IEEE
, 2003 , Conference Paper)
The complexity of decision making in industrial and economic fields is a phenomenon that has become difficult to surmount. This makes the decision maker feel powerless in front of unpredictable, non understandable and ...
A rewriting logic-based computation and deduction approach to avoid reactive system malfunctions
(
IEEE
, 2003 , Conference Paper)
Maude is, a powerful formal declarative programming language based on rewriting logic. Because of the reflective characteristic of the rewriting logic, Maude is considered by the scientific community as a universal model ...
Improvement of the DSATUR algorithm for graph coloring
(
Arabian Gulf University
, 2003 , Article)
In this paper we discuss the deterministic Brelaz's DSATUR algorithm for graph coloring. We propose a simple modification that improves the performance of the algorithm. This modification consists of assigning the color ...
A toolset for the specification and verification of embedded systems
(
IEEE
, 2003 , Conference Paper)
Because of many malfunctions of some critical real-time systems (Pentium bug, Ariane lance rocket), which have caused life and billion dollars loss, computer aided formal methods have been developed and successfully applied ...
Activation and stabilization of gallium arsenide anode in an aqueous photoelectrochemical cell
(
Elsevier
, 2003 , Article)
The formation of a porous layer on the surface of gallium arsenide anode, n-GaAs, increases photogenerated currents significantly. This layer was formed as a result of an anodic polarization of illuminated n-GaAs in acidified ...
Frequency and harmonics evaluation in power networks using fuzzy regression technique
(
Elsevier
, 2003 , Article)
A new technique for frequency and harmonic evaluation in power networks is proposed in this paper. This technique is based on fuzzy linear regression and uses the digitized voltage samples, which are fuzzy numbers, to ...
Park's transformation application for power system harmonics identification and measurements
(
Taylor & Francis
, 2003 , Article)
This paper presents the application of Park's transformation for identifying and measuring power system harmonics. One of the advantages of the proposed technique is that it does not need a model for the harmonics components ...
Two digital filtering algorithms for fast estimation of symmetrical components in a power system: A static estimation approach
(
Elsevier
, 2003 , Article)
This paper presents the application of two digital filters working together for fast estimation of power systems symmetrical components. The three-phase unbalanced system is transformed to two phases using α–β-transformation. ...
Temperature and electric field effects on the dielectric dispersion of modified polyvinyl chloride
(
Elsevier
, 2003 , Article)
The effect of electric field on the dielectric dispersion of modified polyvinyl chloride (PVC) has been investigated. The applied direct current (DC) field strength was ranging from 0 to 104 V cm−1. The complex permitivity ...