oalib

OALib Journal期刊

ISSN: 2333-9721

费用:99美元

投稿

时间不限

2019 ( 140 )

2018 ( 801 )

2017 ( 737 )

2016 ( 1088 )

自定义范围…

匹配条件: “Nadia A” ,找到相关结果约462723条。
列表显示的所有文章,均可免费获取
第1页/共462723条
每页显示
A Quality Assurance Model for Airborne Safety-Critical Software  [PDF]
Nadia Bhuiyan, Habib A. ElSabbagh
Journal of Software Engineering and Applications (JSEA) , 2014, DOI: 10.4236/jsea.2014.73018
Abstract:

The tragic nature of safety-critical software failure’s consequences makes high quality and extreme reliability requirements in such types of software of paramount importance. Far too many accidents have been caused by software failure error or where such failure/error was part of the problem. Safety-critical software is widely applied in diverse areas, ranging from medical equipment to airborne systems. Currently, the trend in the use of safety-critical software in the aerospace industry is mostly concentrated on avionic systems. While standards for certification and development of safety-critical software have been developed by authorities and the industry, very little research has been done to address safety-critical software quality. In this paper, we study safety-critical software embedded in airborne systems. We propose a lifecycle specially modeled for the development of safety-critical software in compliance with the DO-178B standard and a software quality assurance (SQA) model based on a set of four acceptance criteria that builds quality into safety-critical software throughout its development.

Evaluation of two cooking methods and precooking treatments on characteristics of chicken breast and leg
Salama, Nadia A.
Grasas y Aceites , 1993,
Abstract: Breast and leg of chicken were soaked in NaCl (4%) or STPP (3%) solutions before cooking in convention or microwave ovens. More protein, lower fat and lipid oxidation (TBA) were found in breast than in leg. Moisture percent and total lipids decreased due to cooking process. Chicken parts cooked in microwave had less moisture and TBA values, while protein, total lipids, shear force and cooking loss were more than that cooked conventionally. Microwave cooked roasts were less tender and lighter in colour, but aroma and flavour liked better by cooking in convention oven. Soaking in STPP before cooking retained more moisture protein and fat in chicken parts as compared with NaCl or untreated samples. Moreover, it decreased cooking loss, lipid oxidation, shear value and improved tenderness and flavour. Pechuga y muslo de pollo fueron tratados con soluciones de NaCl (4%) o STPP (3%) antes de ser cocinados en hornos convencionales o microonda. Mayor contenido en proteína, y menor contenido en grasa y oxidación lipídica (TBA) fueron encontrados en pechuga que en muslo. El tanto por ciento de humedad y los lípidos totales disminuyeron debido al proceso de cocinado. Las partes de pollo cocinadas en microonda tuvieron menos humedad e índice de TBA, mientras que las proteínas, lípidos totales, dureza de la piel y pérdida de cocinado fueron mayores que las producidas por cocinado convencional. Los asados cocinados en microonda fueron menos fiemos y ligeros en color, pero el aroma y sabor fueron mejor que los cocinados en homo convencional. El tratamiento en STPP antes del cocinado retuvo más humedad, proteína y grasa en las partes de pollo en comparación con las muestras tratadas con NaCl o no tratadas. Por otra parte, disminuyó la pérdida de cocinado, oxidación lipídica, índice de dureza de la piel y mejoró lo tierno y el sabor.
Sleep Apnea Impact on Heart Diseases and Hormone Level
Nadia A. Louca
Journal of Medical Sciences , 2008,
Abstract: The aim of this research was to study the effect of Obstructive Sleep Apnea (OSA), snoring and the episodes of cessation of breathing on heart failure, cardiac arrhythmia and coronary artery diseases. Thirty patients has been suffering from OSA since 7 years were subjected to scintigraphic study using the radiopharmaceutical (Thalium201) and Tc99m MIBI) using General Electric-Infinia Hawkeye 4` gamma camera. Present study showed that apnea causes obstruction of right coronary arteries, ischemia of the lower part of posterior wall of left ventricle, infarction of postero-lateral wall of left ventricle, ischemia in the apico-septal wall and infarction of the infero-septal wall of left ventricle. In conclusion, OSA increases the risk of stroke and death, disturb sleep level, accompanied with hypertension, atrial fibrillation and erectile dysfunction. Treatment by the aid of Continuous Positive Airway Pressure (CPAP) resulted in improvement. Comparing the hormone level and scintigraphy is under investigation.
Cu- and Ni-Doping Effect on Structure and Magnetic Properties of Fe-Doped ZnO Nanoparticles  [PDF]
Jefferson A. Wibowo, Nadia F. Djaja, Rosari Saleh
Advances in Materials Physics and Chemistry (AMPC) , 2013, DOI: 10.4236/ampc.2013.31008
Abstract: Cu- and Ni-codoped FeZnO particles with the wurzite structure were successfully synthesized at low temperature by a co-precipitation method. The samples were characterized using a vibrating sample magnetometer, X-ray diffraction, energy dispersive X-ray spectroscopy, UV-Vis spectrophotometry and electron spin resonance. The results demonstrated that room temperature ferromagnetic order was observed in both samples and the magnetization was higher than that of Fe-doped ZnO. The correlation between the structural and magnetic properties is discussed.
Biodegradation of crude petroleum oil and environmental pollutants by Candida tropicalis strain
Farag, Soha;Soliman, Nadia A.;
Brazilian Archives of Biology and Technology , 2011, DOI: 10.1590/S1516-89132011000400023
Abstract: a local yeast isolate named a was isolated from polluted area of abou-qir gulf (alexandria, egypt), identified according to a partial sequence of 18srna as candida tropicalis. the isolate showed a high potency in petroleum oil biodegradation as well some hydrocarbons. morphological changes in cell diameter of this yeast were recognized upon growing the target cell in sea water medium supplemented with petroleum oil as sole carbon source in comparison to the growth in enriched medium. statistically-based experimental design was applied to evaluate the significance of factors on petroleum oil biodegradation by this yeast isolate. eleven culture conditions were examined by implementing plackett-burman factorial design where aeration, nh4cl and k2hpo4 had the most positive significance on oil degradation.
Logics of Finite Hankel Rank
Nadia Labai,Johann A. Makowsky
Mathematics , 2015, DOI: 10.1007/978-3-319-23534-9_14
Abstract: We discuss the Feferman-Vaught Theorem in the setting of abstract model theory for finite structures. We look at sum-like and product-like binary operations on finite structures and their Hankel matrices. We show the connection between Hankel matrices and the Feferman-Vaught Theorem. The largest logic known to satisfy a Feferman-Vaught Theorem for product-like operations is CFOL, first order logic with modular counting quantifiers. For sum-like operations it is CMSOL, the corresponding monadic second order logic. We discuss whether there are maximal logics satisfying Feferman-Vaught Theorems for finite structures.
Finiteness conditions for graph algebras over tropical semirings
Nadia Labai,Johann A. Makowsky
Mathematics , 2014,
Abstract: Connection matrices for graph parameters with values in a field have been introduced by M. Freedman, L. Lov{\'a}sz and A. Schrijver (2007). Graph parameters with connection matrices of finite rank can be computed in polynomial time on graph classes of bounded tree-width. We introduce join matrices, a generalization of connection matrices, and allow graph parameters to take values in the tropical rings (max-plus algebras) over the real numbers. We show that rank-finiteness of join matrices implies that these graph parameters can be computed in polynomial time on graph classes of bounded clique-width. In the case of graph parameters with values in arbitrary commutative semirings, this remains true for graph classes of bounded linear clique-width. B. Godlin, T. Kotek and J.A. Makowsky (2008) showed that definability of a graph parameter in Monadic Second Order Logic implies rank finiteness. We also show that there are uncountably many integer valued graph parameters with connection matrices or join matrices of fixed finite rank. This shows that rank finiteness is a much weaker assumption than any definability assumption.
Hankel Matrices for Weighted Visibly Pushdown Automata
Nadia Labai,Johann A. Makowsky
Computer Science , 2015,
Abstract: Hankel matrices (aka connection matrices) of word functions and graph parameters have wide applications in automata theory, graph theory, and machine learning. We give a characterization of real-valued functions on nested words recognized by weighted visibly pushdown automata in terms of Hankel matrices on nested words. This complements C. Mathissen's characterization in terms of weighted monadic second order logic.
Weighted Automata and Monadic Second Order Logic
Nadia Labai,Johann A. Makowsky
Computer Science , 2013, DOI: 10.4204/EPTCS.119.12
Abstract: Let S be a commutative semiring. M. Droste and P. Gastin have introduced in 2005 weighted monadic second order logic WMSOL with weights in S. They use a syntactic fragment RMSOL of WMSOL to characterize word functions (power series) recognizable by weighted automata, where the semantics of quantifiers is used both as arithmetical operations and, in the boolean case, as quantification. Already in 2001, B. Courcelle, J.Makowsky and U. Rotics have introduced a formalism for graph parameters definable in Monadic Second order Logic, here called MSOLEVAL with values in a ring R. Their framework can be easily adapted to semirings S. This formalism clearly separates the logical part from the arithmetical part and also applies to word functions. In this paper we give two proofs that RMSOL and MSOLEVAL with values in S have the same expressive power over words. One proof shows directly that MSOLEVAL captures the functions recognizable by weighted automata. The other proof shows how to translate the formalisms from one into the other.
Advocacy and Policy Change in the Multilevel System of the European Union: A Case Study within Health Policy  [PDF]
Nadia Carboni
Open Journal of Political Science (OJPS) , 2012, DOI: 10.4236/ojps.2012.23005
Abstract: Health policy is basically Member States’ competence. However, the European Union has recently raised a number of key questions facing both (pharmaceutical) industries and public health interests. By applying the Advocacy Coalition Framework, the paper sheds light on policy change within the European multilevel system. The analysis is based on a case-study strategy. Two processes in the pharmaceutical policy are taken into account: the “Pharma Forum” and the “Pharma Package”. They both concern “information to patient”—a controversial policy issue at the crossroad of competing pressures.
第1页/共462723条
每页显示


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.