12 results on '"AFRA"'
Search Results
2. Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models
- Author
-
Khamespanah, Ehsan, Sirjani, Marjan, Khosravi, Ramtin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hojjat, Hossein, editor, and Ábrahám, Erika, editor
- Published
- 2023
- Full Text
- View/download PDF
3. Afra : An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models
- Author
-
Khamespanah, E., Sirjani, Marjan, Khosravi, R., Khamespanah, E., Sirjani, Marjan, and Khosravi, R.
- Abstract
Afra is an Eclipse-based tool for the modeling and model checking of Rebeca family models. Together with the standard enriched editor, easy to trace counter-example viewer, modular temporal property definition, exporting a model and its transition system to some other formats facilities are features of Afra. Rebeca family provides actor-based modeling languages which are designed to bridge the gap between formal methods and software engineering. Faithfulness to the system being modeled, and the usability of Rebeca family languages help in ease of modeling and analysis of the model, together with the synthesis of the system based on the model. In this paper, architectural decisions and design strategies we made in the development of Afra are presented. This makes Afra an extensible and reusable application for the modeling and analysis of Rebeca family models. Here, we show how different compilers can be developed for the family of languages which are the same in general language constructs but have some minor differences. Then we show how the model checking engine for these different languages is designed. Despite the fact that Afra has a layered object-oriented design and is developed in Java technology, we use C++ codes for developing its model checking for the performance purposes. This decision made the design of the application even harder.
- Published
- 2023
- Full Text
- View/download PDF
4. Passenger Aircraft at End-of-Life
- Author
-
Scholz, Dieter
- Subjects
Airbus ,Luftfahrzeug ,aerolectures ,composite materials ,Kohlenstofffaserverstärkter Kunststoff ,ComputerApplications_COMPUTERSINOTHERSYSTEMS ,Luftfahrt ,end-of-life ,Aeronautics ,Airplanes ,AFRA ,Material ,Flugzeug ,Boeing ,PAMELA ,repair ,Lebenszyklus ,aerolectures2022 ,Recycling ,product life cycle ,CFK ,CFRP ,Prof. Scholz @ Zenodo ,Reparatur - Abstract
Purpose – The presentation summarizes the state-of-the-art in aircraft end-of-life strategies. Methodology – A literature review is the basic research method utilized. A visit to a dismantling site complemented the findings. Journeys and the Internet show examples of special reuse approaches giving aircraft and components a second life. Findings – In the past aircraft went to "boneyards" at their end-of-live where they were simply left on their own. This should be avoided in the future. Instead aircraft are initially parked and stored. If no further operation is possible, aircraft are dismantled. Components and material is recycled as far as possible. The rest is disposed. Research has been done on the topic by Airbus, Boeing, other industrial companies, and academic institutions. The aircraft recycling industry starts to build up now by the launch of several recycling plants. The aircraft recycling market will slowly mature with associations like the Aircraft Fleet Recycling Association (AFRA) and with the publication of guidance material for best practices. The significant higher percentage of composites in modern aircraft types is a challenge for aircraft recycling. Special reuse approaches are only a niche market and not able to cope with the number of aircraft that need to be decommissioned each year. Value – The presentation gives a year 2022 overview on the state-of-the-art of aircraft end-of-life handling with many pictures., Hamburg Aerospace Lecture Series --- Collection of Presentations --- http://www.AeroLectures.de
- Published
- 2022
- Full Text
- View/download PDF
5. RELATIONSHIP BETWEEN WOOD EXTRACTIVES AND WOOD DECAY
- Author
-
Sayed mahmood Kazemi, Aliakbar Enayati, and Heshmatalah Rahymian
- Subjects
WEIGHT LOSS ,EXTRACTIVES ,WOOD DURABILITY ,DECAY ,TRAMETES VERSICOLOR ,AZAD ,MALAG ,AFRA ,VAN AND MAMRAZ ,Forestry ,SD1-669.5 - Abstract
The durability of following five wood species: Zelkova carpinifolia, Ulmus glabra, Pterocarya fraxinifolia, Carpinus betulus and Acer laetum were studied. Wood blocks exposed to Trametes versicolor(a white rot fungus) under laboratory conditions according to DIN52176 standard. After 16 weeks incubation the heart wood of Z. carpinifolia showed 2.19% reduction in weight loss, while U glabra with 41.69%, C. betulus with 45.64%, A. laetum with 53.03% and P. Fraxinifolia with 43.08% weight losses were very decayed. For finding relationship between amount of wood decay and wood extractives a regression was carried out. The percentages of extractive materials by using T20403 standard were 13.84% in Z. carpinifolia, 4.51% in U. glabra, 2.74% in C. betulus, 3.88% in A. laetum, and 4.11% in P. fraxinifolia. Finally there was a negative correlation between rate of decay and amount of wood there was expect P. fraxinifolia. for all wood species extractives.
- Published
- 2003
- Full Text
- View/download PDF
6. Le statut du langage dans Fin de partie de Samuel Beckett et Afra ou Le jour passe de Bahram Beyzaï.
- Author
-
Ayati, Akram and Moussavi, Hoda
- Abstract
Etant la représentation gestuelle et orale d'une fiction, le théâtre possède un langage verbal et un langage non-verbal ou scénique. L'objectif de cette recherche est d'étudier le langage verbal dans deux pièces de théâtre appartenant à deux cultures différentes, Fin de partie de Beckett et Afra ou Le jour passe de Beyzaï. La première est considérée comme un exemple du nouveau théâtre dit théâtre de l'absurde dont l'auteur prétend mettre en cause et de nier les éléments traditionnels du théâtre occidental. La pièce de Beyzaï, elle aussi, peut être, à notre sens, considérée comme une pièce moderne dans la mesure où elle emprunte de la modernité des caractéristiques essentielles et elle est donc, de ce point de vue, comparable avec la pièce de Beckett. Pourtant, de l'autre côté, elle repose sur les fondements culturels traditionnels iraniens et n'a pas du tout la prétention de nier son passé. En adoptant une approche stylistique dans une lecture comparative, cette étude essaie donc d'analyser des similitudes et des différences entre ces deux pièces à travers les aspects langagiers et de voir comment et dans quelle mesure la pièce de Beyzaï peut se hausser comme exemple du théâtre de l'absurde. [ABSTRACT FROM AUTHOR]
- Published
- 2014
7. Aircraft Recycling – A Literature Review
- Author
-
Scholz, Dieter, Maaß, Svenja, Scholz, Dieter, and Maaß, Svenja
- Abstract
Purpose - The report summarizes the state-of-the-art in aircraft end-of-life strategies. A focus is on latest aircraft types with a high percentage of composite materials. --- Methodology - A literature review is the basic research method utilized. Apart from books, journals, conference proceedings, and dissertations, also technical reports and industrial news have been included into the search results. The field of aircraft end-of-life is still comparatively small, resulting in a manageable amount of literature addressing the topic directly. --- Findings - Research has been done on the topic by Airbus, Boeing, other industrial companies, and academic institutions. A market for recycled material is missing. Regulations about aircraft recycling are strongly needed but are not foreseeable in the near future. Nevertheless, the trend goes to extended producer responsibility. The aircraft recycling industry starts to build up now by the launch of several recycling plants. The aircraft recycling market will slowly mature with associations like the Aircraft Fleet Recycling Association (AFRA) and with the publication of guidance material for best practices. The significant higher percentage of composites in modern aircraft types is a challenge for aircraft recycling. --- Research limitations - The study provides only an overview on the aircraft end-of-life sector. Further research needs to be done on individual specific aspects. --- Value - The paper gives a year 2020 update on the state-of-the-art of aircraft end-of-life handling, including an overview on composite recycling regarding latest aircraft types.
- Published
- 2020
8. Aircraft Recycling – A Literature Review
- Author
-
Maaß, Svenja and Scholz, Dieter
- Subjects
Luftfahrzeug ,Dewey Decimal Classification::600 | Technik::620 | Ingenieurwissenschaften und Maschinenbau ,ComputerApplications_COMPUTERSINOTHERSYSTEMS ,Aeronautics ,ddc:629,1 ,Material ,Boeing ,Flugzeug ,PAMELA ,Product life cycle ,Recycling ,CFRP ,Materials ,Regulations ,Airbus ,Kohlenstofffaserverstärkter Kunststoff ,Luftfahrt ,Dewey Decimal Classification::600 | Technik::620 | Ingenieurwissenschaften und Maschinenbau::629,1 | Luft- und Raumfahrttechnik ,Composite materials ,Airplanes ,AFRA ,Dewey Decimal Classification::600 | Technik ,End-of-Life ,Lebenszyklus ,ddc:620 ,CFK ,Richtlinie ,GLARE ,ddc:600 ,Repair ,Reparatur - Abstract
Purpose - The report summarizes the state-of-the-art in aircraft end-of-life strategies. A focus is on latest aircraft types with a high percentage of composite materials. --- Methodology - A literature review is the basic research method utilized. Apart from books, journals, conference proceedings, and dissertations, also technical reports and industrial news have been included into the search results. The field of aircraft end-of-life is still comparatively small, resulting in a manageable amount of literature addressing the topic directly. --- Findings - Research has been done on the topic by Airbus, Boeing, other industrial companies, and academic institutions. A market for recycled material is missing. Regulations about aircraft recycling are strongly needed but are not foreseeable in the near future. Nevertheless, the trend goes to extended producer responsibility. The aircraft recycling industry starts to build up now by the launch of several recycling plants. The aircraft recycling market will slowly mature with associations like the Aircraft Fleet Recycling Association (AFRA) and with the publication of guidance material for best practices. The significant higher percentage of composites in modern aircraft types is a challenge for aircraft recycling. --- Research limitations - The study provides only an overview on the aircraft end-of-life sector. Further research needs to be done on individual specific aspects. --- Value - The paper gives a year 2020 update on the state-of-the-art of aircraft end-of-life handling, including an overview on composite recycling regarding latest aircraft types.
- Published
- 2020
- Full Text
- View/download PDF
9. Narcissus von Gerona († saec. IVin) Glaubensbote im spätrömischen Augsburg
- Author
-
Berschin, Walter and Berschin, Walter
- Abstract
From 1066 to about 1100 contacts between Augsburg and Girona on issues concerning the veneration of saints were particularly intense. Augsburg required information about bishop Narcissus, revered in Girona, who, according to the Conversio et passio (II) S. Afrae, converted a prostitute from Augsburg named Afra and her household to Christianity. On the other hand, Girona was interested in Afra’s legend, and has possessed since 1328 the most beautiful late–medieval representation of this legend in the reliefs of Narcissus’ tomb., Vom Jahr 1066 bis ca. 1100 gab es intensive Kontakte zwischen Augsburg und Gerona über Fragen der Heiligenverehrung. Augsburg wollte etwas über den in Gerona verehrten Bischof Narcissus erfahren, der nach der Conversio et passio (II) S. Afrae die Augsburger Dirne Afra und ihr Haus zum Christentum bekehrt hatte. Gerona wiederum interessierte sich für die Augsburger Afralegende und besitz seit 1328 mit den Plastiken des Narcissus–Schreins in St. Feliu die schönste spätmittelalterliche Darstellung dieser Legende.
- Published
- 2019
10. Exploring the microbial diversity in Jordanian hot springs by comparative metagenomic analysis
- Author
-
Jacob H. Jacob, Abdul-Salam Juhmani, Emad Hussein, Christopher T. Cornelison, Mutaz A. Abd Al-razaq, and Muhamad Ali K Shakhatreh
- Subjects
0106 biological sciences ,0301 basic medicine ,Chloroflexi (phylum) ,Afra ,01 natural sciences ,Microbiology ,03 medical and health sciences ,Abundance (ecology) ,Botany ,Phylogeny ,Original Research ,metagenomics ,Jordan ,Bacteria ,biology ,Ecology ,Phylum ,Planctomycetes ,Verrucomicrobia ,hot springs ,Biodiversity ,Hydrogen-Ion Concentration ,biology.organism_classification ,Archaea ,UniFrac ,030104 developmental biology ,Metagenomics ,microbial diversity ,Metagenome ,Ma'in ,Alpha diversity ,010606 plant biology & botany - Abstract
A culture‐independent approach was utilized in this study to reveal the microbial diversity in Jordanian hot springs represented by Ma'in and Afra hot springs. Water samples from Ma'in and Afra hot springs were collected in June 2015. The in situ temperature of water samples range was 38–59°C and the pH range was 7.4–8.4. The metagenome was extracted and analyzed using the next generation technology (bTEFAP ®). A total of 314,310 sequences were parsed and 288,452 were then clustered. The sequences were predominated by bacteria (>84%) and the relative abundance of archaea in each sample was
- Published
- 2017
- Full Text
- View/download PDF
11. HORRIFYING FERRY ACCIDENT.
- Author
-
BENITEZ, GIO
- Abstract
DAVID MUIR (ABC NEWS) (Off-camera) We're gonna move on now to the horrifying ferry accident off south Florida, off Miami. A car plunging off a ferry, two women inside. Their bodies have now been recovered from inside the car. Authorities now today asking, how did this happen? And here's ABC's Gio Benitez. [ABSTRACT FROM PUBLISHER]
- Published
- 2020
12. Exploring the microbial diversity in Jordanian hot springs by comparative metagenomic analysis.
- Author
-
Hussein EI, Jacob JH, Shakhatreh MAK, Abd Al-Razaq MA, Juhmani AF, and Cornelison CT
- Subjects
- Archaea classification, Archaea genetics, Bacteria classification, Bacteria genetics, Hot Springs chemistry, Hydrogen-Ion Concentration, Jordan, Metagenome, Metagenomics, Phylogeny, Archaea isolation & purification, Bacteria isolation & purification, Biodiversity, Hot Springs microbiology
- Abstract
A culture-independent approach was utilized in this study to reveal the microbial diversity in Jordanian hot springs represented by Ma'in and Afra hot springs. Water samples from Ma'in and Afra hot springs were collected in June 2015. The in situ temperature of water samples range was 38-59°C and the pH range was 7.4-8.4. The metagenome was extracted and analyzed using the next generation technology (bTEFAP
® ). A total of 314,310 sequences were parsed and 288,452 were then clustered. The sequences were predominated by bacteria (>84%) and the relative abundance of archaea in each sample was <1%. Eukaryotic microorganisms were detected but with varying abundances (0.6%-15%). Because most of the detected sequences were found to belong to the domain of bacteria (196,936 sequences out 288,452), the bacterial sequences were utilized for further microbial analyses. With respect to alpha and beta diversity, samples were rarefied to 30,000 sequences and bootstrapped at 10,000 sequences. The Shannon-Wiener Index curve plot reaches a plateau at approximately 3,000 sequences indicating that sequencing depth was sufficient to capture the full scope of microbial diversity. By examining the relative abundance of phyla detected in each sample, it appears that the biota of both Jordanian hot springs sampled are compositionally similar, with over 50% of the microbial community of each sample being comprised of the phylum Proteobacteria. The second most abundant phylum was the phylum Bacteroidetes which represents more than 13% in each sample. The phylum Firmicutes was also detected with a significant abundance. However, lower abundance of Deinococcus, Verrucomicrobia, Planctomycetes, and Chloroflexi was detected. A principal coordinate analysis plot was generated based upon the weighted UniFrac distance matrix. By utilizing Monte Carlo simulations, we were able to determine that there were no significant differences in the microbial diversity between each sample., (© 2017 The Authors. MicrobiologyOpen published by John Wiley & Sons Ltd.)- Published
- 2017
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.