Time filter

Source Type

Constantine, United States

Himed L.,University Constantine | Barkat M.,University of Mentouri Constantine
OCL - Oilseeds and fats, crops and lipids

This work concentrated on the valorization of essential oils of Citrus limon. These last were extracted by cold pression (HE1) and by hydroditillation (HE2), the results gave outputs of 1.02% and 2.18%, respectively. The antioxidant activity of extracted oils was studied by the test of DPPH, this powerful radical was effectively reduced by the HE1, the HE2 that by Tocoblend. These results were confirmed by the test of whitening of β-carotene. The two tests have enable to us to classify essential oils extracted among antioxidants powerful compared to Tocoblend. The test of formulation of the margarines of table added with essential oils of Citrus limon was tested, in order to exploit them and to substitute a synthetic additive (Tocoblend). The physicochemical characteristics of the elaborate margarines prove to be in conformity with the preestablished receipt. Moreover, the peroxide index is in conformity with the standards. The analysis of fatty acids was made by CPG; it showed the richness of our margarines in essential fatty acids with a ratio AGI/AGS of 0.85. The evaluation of oxidative stability is carried out by the tests of Rancimat and Schaal, the results obtained reported that the margarines with essential oils were more resistant than that to Tocoblend and than that with the HE1 was most resistant opposite forced oxidation. Sensory metrology was made by the assessors of the margarinery of CEVITAL, margarines are considered as homogeneous and their color, savour and odour are acceptable and appreciated. © L. Himed et al., published by EDP Sciences, 2014. Source

Chaouche A.-C.,University Paris - Sud | Chaouche A.-C.,University Constantine | Seghrouchni A.E.F.,University Paris - Sud | Ilie J.-M.,University Paris - Sud | Saidouni D.-E.,University Constantine
Procedia Computer Science

The proposed AgLOTOS formal specification language is dedicated to express BDI agent plans, according to the features and requirements of Ambient Intelligence (AmI). It offers a rich modular approach to express and compose elementary plans in order to execute them concurrently. We show how a plan is built automatically as a system of concurrent processes from the mental attitudes of the agent. In contrast to existing approaches, the plan is viewed as the realization of a whole set of partially ordered intentions. The AgLOTOS semantics accords with the possibility of updating some sub-plans on the fly, as the intention set of the BDI agent is revised. © 2014 Published by Elsevier B.V. Source

Hayour H.,University Constantine | Bouraiou A.,University Constantine | Bouacida S.,University of Mentouri Constantine | Bouacida S.,University of Oum El Bouaghi | And 2 more authors.
Acta Crystallographica Section E: Structure Reports Online

In the title molecule, C17H13NO2, the phenyl ring is inclined to the quinoline ring system by 43.53(4)°. In the crystal, molecules are linked via C - HO hydrogen bonds, forming double-stranded chains propagating along [011]. These chains are linked via π-π interactions involving inversion-related quinoline rings; the shortest centroid-centroid distance is 3.6596(17)Å. © Hayour et al. 2014. Source

Chama I.E.,University Constantine | Belala N.,University Constantine | Saidouni D.E.,University Constantine
Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration, IEEE IRI 2014

In this paper, we are interested in formalization, analysis and checking of the BPEL language at the semantic level. We propose translating rules from BPEL language to a low-level real-time model (DATA). This model is based on true-concurrency semantics and supports at the same time timing constraints and actions durations. This transformation approach gives a formal semantics to the BPEL language and allows the formalization and the analysis of both qualitative and quantitative requirements. The resulting DATA structures are then analyzed by model checking value-based temporal logic properties (TCTL) using UPPAAL. © 2014 IEEE. Source

Guellati S.,University Constantine | Kitouni I.,University Constantine | Matmat R.,University Constantine | Saidouni D.-E.,University Constantine
International Journal of Embedded and Real-Time Communication Systems

The model checking algorithms have been widely studied for timed automata, it's a validation technique for automatically verifying correctness properties of finite-state systems, which are based on interleaving semantics. Therefore the actions are assumed instantaneous. To overcome the hypothesis of temporal and structural atomicity of actions, we use the durational actions timed automata model (daTA). This model is based on the maximality semantics. Properties to be verified are expressed using the Timed Computation Tree Logic (TCTL). For dealing with formal verification, the Maximality-based Region Graph (MRG) is defined and an adaptation of the model checking algorithm is proposed. The use of the maximality semantics based verification provides new class of properties related to simultaneous progress of actions at different states. Copyright © 2014, IGI Global. Source

Discover hidden collaborations