Ahmed Al-Ajeli
University of Babylon
Fourier transformSequential minimal optimizationThe InternetAutomatonAlgorithmDiscrete mathematicsMachine learningMathematical optimizationFault (power engineering)Formalism (philosophy of mathematics)Benchmark (computing)Feature selectionArtificial intelligenceSet (abstract data type)Computational complexity theoryOnline algorithmStochastic Petri netControl (management)Constraint (information theory)Service-level agreementState (functional analysis)Email spamUnobservableEvent (probability theory)Applied mathematicsTime complexityObservableMathematicsBounded functionSequencePetri netComputer scienceQuality of serviceCorrectnessInteger (computer science)
6Publications
2H-index
10Citations
Publications 6
Newest
#1Ahmed Al-Ajeli (University of Babylon)
#1Ahmed Al-Ajeli (University of Babylon)H-Index: 2
Last. Eman S. Al-Shamery (University of Babylon)H-Index: 1
view all 3 authors...
Communication by email is counted as a popular manner through which users can exchange information. The email could be abused by spammers to spread suspicious content to the Internet users. Thus, the need to an effective way to detect spam emails are becoming clear to keep this information safe from malicious access. Many methods have been developed to address such a problem. In this paper, a machine learning technique is applied to detect spam emails. In this technique, a detection system based...
1 CitationsSource
#1Ahmed Al-Ajeli (College of Information Technology)
#1Ahmed Al-Ajeli (College of Information Technology)H-Index: 2
Last. David Parker (University of Birmingham)H-Index: 72
view all 2 authors...
Abstract Fault diagnosis in partially-observed discrete-event systems requires modelling faults as unobservable events within the system. Representing faults as events is not always realistic. For example, some classes of fault are in form of violations of constraints such as service-level agreement (SLA) and Quality of Service (QoS). To model such faults, we need to modify the plant model which is not always acceptable. Firstly, this may make the models large. Secondly, adding extra transitions...
Source
#1Ahmed Al-Ajeli (College of Information Technology)
#1Ahmed Al-Ajeli (College of Information Technology)H-Index: 2
Last. David Parker (University of Birmingham)H-Index: 72
view all 2 authors...
This paper presents a new approach for the fault diagnosis problem in partially observable discrete-event systems modelled with Petri nets. Our approach is based on the use of the Integer Fourier-Motzkin Elimination (IFME) method. The fault diagnosis problem is solved by first creating an initial set of inequalities from the state equation of a Petri net. The occurrence or absence of faults can also be expressed by inequalities. After adding these inequalities to the initial set, we apply the IF...
Source
The problem of fault diagnosis under partial observation is a complex problem; and the challenge to solve this problem is to find a compromise between the space complexity and time complexity. The classic method to solve the problem is by constructing an automaton called a diagnoser. This method suffers from the state explosion problem which limits its application to large systems. In this thesis, the problem of fault diagnosis in partially observed discrete event systems is addressed. We assume...
#1Ahmed Al-Ajeli (University of Birmingham)H-Index: 2
#2Behzad Bordbar (University of Birmingham)H-Index: 21
This paper presents a new technique for failure diagnosis in partially observable discrete event systems modelled as Petri nets. In this new technique we adopt Integer Fourier-Motzkin Elimination (IFME) method. We start with a Petri net and produce the state equations. The state equations are a set of integer valued inequalities in variables that represent number of firing of transitions. Occurrences of failure can also be expressed by inequalities. Then we extend the set of inequalities obtaine...
4 CitationsSource
Nov 10, 2014 in ICTAI (International Conference on Tools with Artificial Intelligence)
#1Behzad Bordbar (University of Birmingham)H-Index: 21
#2Ahmed Al-Ajeli (University of Birmingham)H-Index: 2
Last. Mohammed Alodib (Qassim University)H-Index: 5
view all 3 authors...
Failure detection in partially observable model based Discrete Event Systems requires modelling failures as unobservable events within the system. Representing failures as events is not always realistic. For example, some classes of failure are in form of violations of constraints such as Service Level Agreement (SLA) and Quality of Service (QoS). These forms of failures do not represent events by themselves. They have to be modelled as additional events. Modifying the plant model is not always ...
3 CitationsSource