30 research outputs found
Specifications of photovoltaic pumping systems in agriculture : sizing, fuzzy energy management and economic sensitivity analysis /
No full textSpecifications of Photovoltaic Pumping Systems in Agriculture: Sizing, Fuzzy Energy Management and Economic Sensitivity Analysis is the first book of its kind to discuss the physical installation and sizing of PV pumping systems, also providing a successful energy management operation and economic sensitivity analysis. In order to balance production with consumption, and to improve the lifetime of batteries, Imene Yahyaoui offers a complete study through sensitive analysis of system components and sizing algorithms, providing guidance for efficient energy conversion and management for off-grid systems. From this single source, readers will be equipped with all the necessary data they need to understand, plan, and implement cost reduced systems.Print version record.Specifications of Photovoltaic Pumping Systems in Agriculture: Sizing, Fuzzy Energy Management and Economic Sensitivity Analysis is the first book of its kind to discuss the physical installation and sizing of PV pumping systems, also providing a successful energy management operation and economic sensitivity analysis. In order to balance production with consumption, and to improve the lifetime of batteries, Imene Yahyaoui offers a complete study through sensitive analysis of system components and sizing algorithms, providing guidance for efficient energy conversion and management for off-grid systems. From this single source, readers will be equipped with all the necessary data they need to understand, plan, and implement cost reduced systems.Includes bibliographical references and index.Machine generated contents note: 1. Renewable Energies and Irrigation -- 1.1. Introduction -- 1.2. Renewable Energies -- 1.3. Renewable Energies for Irrigation -- 1.4. Tomatoes Irrigation -- 1.5. Conclusions -- References -- 2. Modeling of the Photovoltaic Irrigation Plant Components -- 2.1. Introduction -- 2.2. Target System -- 2.3. System Modeling and Validation -- 2.4. Conclusions -- References -- 3. Sizing Optimization of the Photovoltaic Irrigation Plant Components -- 3.1. Introduction -- 3.2.A Review on Sizing Algorithms in the Literature -- 3.3. Sizing Algorithm Proposal -- 3.4. Application to a Case Study -- 3.5. Conclusions -- References -- 4. Optimum Energy Management of the Photovoltaic Irrigation Installation -- 4.1. Introduction -- 4.2. Review of Renewable Energy Management in Irrigation -- 4.3. Problem Formulation -- 4.4. Proposed EMA -- 4.5. Application to a Case Study -- 4.6. Experimental Validation -- 4.7. Conclusions -- ReferencesNote continued: 5. Viability of DG, DG/PV and PV/Batteries Plants for Water Pumping: Sensitivity Analysis According to Geographical and Economic Parameters Variations -- 5.1. Introduction -- 5.2. Water Pumping Systems Equipped With DG -- 5.3. Economic Viability of PV/Batteries and Diesel Plants -- 5.4. Sensitivity Analysis of the Cost of Water Pumping Systems to the Geographic Parameters -- 5.5. Conclusion -- References -- 6. General Conclusion.Elsevie
Formal Semantics for Tabular Expressions and Software Cost Reduction Method
No full textTitle: Formal Semantics for Tabular Expressions and Software Cost Reduction Method, Author: Imene Bourguiba, Location: MillsUnambiguous and precise software specification can not be achieved without some use of
formal notation. Table-based specification techniques are both readable and convenient.
They allow the representation of systems specifications in a very compact and yet precise
manner. They scale to software systems, and they may be easily used even by people unfamiliar
with the application domain. Additionally, the use of table-based notations makes
it relatively easy to check for such properties as consistency and completeness. Among
the table-based specification techniques discussed in the literature, the most popular are the
Software Cost Reduction (SCR) method and tabular expressions. Both of these techniques
are successfully used in practice to formally specify software requirements. The Software Cost Reduction (SCR) method is a formal method for specifying the
requirements of software systems that is based on tabular notation. SCR is used in a wide
range of applications. The second technique tabular expressions comprises a collection of cells, with each
cell holding a single expression. The beauty of tabular expressions stems from both their
visual structure and their concise representation of mathematical functions and relations.
As a result, these expressions are suitable for use in every software engineering phase, from
establishing requirements to completing final testing. To successfully be used in practice, the specification techniques chosen should be supported
by tools for creating, editing and transforming tables. Creating tools in the absence
of reasonable formal semantics often results in failure. Formal semantics are also needed
to compose and decompose tables in a modular way. Although SCR has been used in many projects and organizations to specify software requirements,
perhaps surprisingly, its semantics are not well defined. Specifically, the symbols
used in this method are ambiguous, especially those that serve to denote SCR events.
Further, the SCR method does not include either table composition or decomposition. The tabular expressions technique was also lacking, though in different ways than SCR.
A literature review revealed that the techniques applied to address the challenges inherent
in tabular expressions composition have their own limitations. The aim of this research, then, was to improve the semantics of both the SCR and the
tabular expressions specification methods. To this end, SCR tables were converted into
tabular expressions, as they have a rather precise semantics. Additionally, a new way to
model the SCR events with first order logic is presented. Finally, a simpler way to define
SCR events with propositional logic is proposed. By improving the semantics of the two specification methods, numerous advantages
are realized. These include increasing the readability of tables, and eliminating previously
ambiguous symbols. Moreover, improving the semantics enabled certain tasks to be carried out more easily,
such as facilitating the verification and validation process and improving the tool set supporting
the SCR method. In moving towards a richer semantics, this research allowed for
the introduction of algebra for tabular expressions, as well as operators for tables composition
and decomposition. Further, the research revealed the inherent power of tabular expressions.
This was accomplished by composing a regression to demonstrate where tabular
expressions get their power in specifying functions, relations and programs. An application
of tabular expressions for three dimensions and higher is successfully presented. Next, a
language and a structure for tabular expressions is proposed. Then, it is shown how tabular
expressions could be represented by a lattice and by a vector space, respectively. Finally,
the discussion considers the ways in which such an enhanced tabular expressions application
could also be applied to other fields, such as software engineering and computer
science.ThesisDoctor of Philosophy (PhD
The determinants of ṣukūk issuance in GCC countries
No full textPurpose - This paper focuses on ṣukūk issuance determinants in Gulf Cooperation Council (GCC) countries. Given the dual characteristic of debt and equity of ṣukūk as well as their unique benefits of social responsibility, the author questions whether the theories of capital structure, the trade-off and the pecking order are able to well explain the ṣukūk issuance. Design/methodology/approach - First, the author verifies these theories using capital structure determinants and regresses the ṣukūk change on these determinants. Second, the author tests the trade-off theory with the target debt model and third, verifies the pecking order theory using the fund flow deficit model. Findings - The empirical results show that capital structure determinants fail to explain both theories. The author confirms that the ṣukūk change is significatively linked to the deviation from a ṣukūk target. So, issuing firms balance the marginal costs of ṣukūk and their benefits of religiosity and social responsibility toward a target debt. The author finds no evidence of the pecking order theory. Research limitations/implications - This study contributes to corporate finance theory and corporate social responsibility. It verifies if capital structure theories proved in conventional financing can well explain Islamic bonds issuance given their social responsibility benefits. Practical implications - Managers and investors would pay attention to the social factors explaining ṣukūk issuance in their finance and investment decisions. They would be enhanced to use this financing tool knowing its social unique benefits. This also should encourage governments to enhance this socially responsible financing. Rating agencies would be motivated to evaluate ṣukūk and firms would improve the quality and relevance of disclosure to get the best rating. Social implications - The author highlights the social factors explaining ṣukūk issuance and enhances corporate social responsibility (CSR). Originality/value - The author extends the few literature testing capital structure theories for Islamic bonds and highlights the specific social responsible features of ṣukūk that would bridge their issuance to capital structure theories. So the author enhances the concept of Islamic CSR. Tying capital structure theories to CSR would also help developing Islamic finance theory as a unique social responsible framework
Interview avec la romancière et l’universitaire Lynda Chouiten : «La folie perturbe, dérange notre confort moral et intellectuel, suscite en nous des interrogations, de la réflexion. »
No full textPar le biais de cet entretien, la revue Langues & Cultures présente à la communauté scientifique la romancière et universitaire algérienne Pr. Lynda Chouiten. Se plaçant à mi-chemin entre écriture créative et recherche scientifique, l’auteure écrit les « lettres supérieures ». Il est question dans cet entretien d’interroger la poétique de son écriture, notamment à travers son roman Une Valse.
Abstract
Through this interview, the journal Langues & Cultures introduces the Algerian novelist and academic, Prof. Lynda Chouiten, to the scholarly community. Occupying a middle ground between creative writing and scientific research, the author writes "superior letters." This interview aims to explore the poetics of her writing, particularly through her novel "Une Valse" (A Waltz).
Writing Madness in the Contemporary Era Interview with Lynda-Nawel Tebbani
No full textThe journal Paradigmes presents in this interview a reflection on the theme of madness as a human condition, by interviewing the academic and novelist Lynda-Nawel Tebbani, particularly about her latest novel titled Tell Me Your Name Madness.
We aimed to question the author about madness in literature as a central theme in her novel, which combines madness with art, as well as the poetics of her so-called contemporary writingLa revue Paradigmes souhaite revenir vers un entretien qu’elle avait consacré à l’auteure Lynda Nawel Tebbani avec une nouvelle réflexion autour du thème de la folie en tant que condition humaine, et ce en interviewant l’auteure sur son dernier roman intitulé Dis-moi ton nom folie.
Ainsi, nous nous sommes proposé d’interroger l’auteure sur la folie dans la littérature comme thème central dans son roman qui conjugue la folie avec l’art, aussi bien que’avec la poétique de son écriture dite contemporaine
Genetic diversity and phylogenetic analysis of two Tunisian bivalves (Mactridae) <i>Mactra corallina (</i>Linnaeus, 1758) and <i>Eastonia rugosa</i> (Helbling, 1799) based on COI gene sequences
No full textMetal toxicity and health problems linked to the consumption of ark shells (Arca noae l.) from a Tunisian coastal lagoon
No full textTrace elements (TEs) in coastal systems are a major problem as these elements contribute to the regular degradation of the environment because of their continuous inputs, persistence, toxicity and ability to concentrate in organisms through food webs. The levels of cadmium (Cd), Nickel (Ni), chromium (Cr) and lead (Pb) in the edible tissue of the edible bivalve Arca noae (L. 1758), sampled monthly from the Tunisian coastal lagoon (Bizerte lagoon) during 2013-2014, were determined by inductively coupled plasma mass spectrometry (ICP-MS). The impact of Cd, Ni, Cr and Pb on consumer health was considered and several parameters were used to assess the potential human risk (estimated weekly intake (EWI), target hazard quotient (THQ), total target hazard quotient (TTHQ) and target hazard risk (TR)). Results showed that Cd, Ni, Cr and Pb concentrations on a wet weight basis (mg kg-1 WW) in A. noae flesh from the lagoon of Bizerte were well below international food safety standards. Regarding health risk assessment linked to A. noae consumption, all sanitary indicators (EWI, PTWI, THQ, TTHQ and TR) related to Cd, Ni, Cr and Pb levels bioaccumulated in its flesh were below values considered at risk for human health. It can be concluded that continued consumption over long periods of this shellfish may not represent a potential risk to the health of consumers regarding Cd, Ni, Cr and Pb. Consequently, this shellfish can be considered safe for human consumption and does not pose any sanitary problems. This preliminary study presents prospects for the valorization of this seafood product in Tunisia's food sector
First Investigation in the Biochemical Analysis of the Invasive Crab Portunus segnis from Tunisian Waters
No full textEffects of Culinary Methods on Nutritional Characteristics of the Edible Shellfish Noah’s Ark (<i>Arca noae</i>L., 1758) from Tunisian Coasts
No full textSeasonal variation of biochemical composition of Noah's ark shells (
No full textThe seasonal changes in biochemical composition of the edible bivalve Arca noae harvested from a Mediterranean coastal lagoon (Bizerte lagoon, Tunisia) were investigated from October 2013 to September 2014. Potential food sources and nutritional quality indices (NQI) were determined by analyzing the fatty acid profiles of their tissues during an annual reproductive cycle. Results showed that A. noae had moisture (73.8–82%) and protein (24.1–58.6% dry weight) as major components, followed by lipid (10.4–28.8% dry weight) and glycogen (4.05–14.6% dry weight). A. noae accumulated lipid and glycogen for gonadal development during both maturation periods (late autumn/late spring–summer) to be used during spawning periods (winter/late summer–early autumn). However, proteins were mainly used to support reproductive allocation and played an important role on the energetic maintenance. Lipid and glycogen were found to be significantly related to temperature, salinity and chlorophyll a (p < 0.05). An increase of condition index (CI) was observed during spring and early summer when both temperature and food supply increased. The total fatty acid (TFA) profile of Ark shells was dominated by polyunsaturated fatty acids (PUFA) (33.8–49.6%), followed by saturated (SFA) (29.1–43.1%) and monounsaturated fatty acids (MUFA) (20.77–28.3%). A. noae soft tissues were also rich in macro-minerals (Na, Ca and Mg). The analysis of fatty acid trophic markers revealed that the diet of A. noae during the year of study was based on mixture food mainly on phytoplankton followed by zooplankton and other sources (bacteria, seagrass and macroalgae). Furthermore, the nutritional quality indices have revealed that A. noae is an excellent source of nutrients and a healthy food for human consumption. These data are useful to the conservation of natural stocks of A. noae and the development of sustainable aquaculture production of this shellfish species in the Bizerte lagoon
