Publications Scientifiques
Permanent URI for this communityhttps://dspace.univ-boumerdes.dz/handle/123456789/10
Browse
432 results
Search Results
Item Students misconceptions about light in Algeria(2009) Blizak, Meriem Djanette; Chafiqi, Fouad; Kendil, DjamelPhysics education research has shown that students have difficulties in learning essential optics concepts. Therefore, in this present work we deal with student’s conceptions in geometrical optics field. Our objective is to show the Algerian students misconceptions. We proposed to 246 students in first year university (aged 18–21) a closed questionnaire where most of its questions were already used by other researchers. The misunderstandings identified were compared with those in literature. The results show that our students have the same misconceptions, related to the propagation of the light, the vision, the refraction and the reflexion, as the students in other countries (Andersson, Çiğdem ŞAHİN, Galili, Goldberg, Viennot,…). We investigate new students “misconception” concerning the propagation of the light in the vacuumItem Formalisation de la logique de description ALC dans l'assistant de preuve Coq(2009) Chaabani, Mohamed; Mezghiche, Mohamed; Strecker, MartinLe langage d’ontologie Web (Web Ontology Language OWL) est un langage utilis ́e pour le web s ́emantique. OWL est bas ́e sur les logiques de description (LD), une famille de lan- gages adapt ́es pour la repr ́esentation et le raisonnement sur des connaissances d’un domaine d’application d’une fa ̧con structur ́ee et formelle. Le web s ́emantique est actuellement l’un des champs d’application des m ́ethodes formelles, dont l’objectif est d’assurer leur fiabilit ́e. Un point essentiel de l’application de ces m ́ethodes formelles est la preuve de va- lidit ́e des raisonnements dans des LDs, comme celle de la terminaison, l’ad ́equation (soundness) et la compl ́etude d’un raisonneur. Dans ce papier, on pr ́esente une sp ́ecification formelle de la syntaxe et de la s ́emantique de ALC, qui est consid ́er ́ee comme un repr ́esentant typique d’une large gamme de LDs. On prouve pour cette logique les pro- pri ́et ́es d’ad ́equation, de compl ́etude et de terminaison dans l’assistant de preuve Coq.Item Ferroresonance Avoidance by Distributed Resources Reconfigurationin Islanded Power Grid(2009) Boutora, Saliha; Bentarzi, Hamid; OUADI, AbderrahmaneIn a distributed resources power grid,a capacitor bank is used for compensation purposewhen this grid isconnected to the utility. However, when this grid is islanded, thecapacitor bankwill be needed for induction generatoroperation. Ifa great capacitanceis permanently connected, it may causea severe over-voltage due toferroresonance.Inthiswork,a simulationapproachis madeforre selecting an adequate sizeofthiscapacitor thatwill not causethisabnormal phenomenonintheislandedpowergrid. Theobtainedsimulationresultsusing Simulink/MATLABmay beuseful.Item A New Approach Applied to Adaptive Centralized Load Shedding Scheme(2009) Bentarzi, Hamid; OUADI, ABDERRAHMANE; GHOUT, NADIR; Maamri, Farid; MASTORAKIS, NIKOS E.One of major contingencies of an electric power system is due to imbalance between loads and generated power. This leads to instability in the power system and hence to a blackout. A load shedding scheme may be used to avoid such problem by reducing the total load. The aim of this work is to develop a new approach applied to an adaptive load shedding scheme using recent development technology such as wide area synchro-phasor measurement. All generator frequencies that may be measured by phasor measurement units are sent to center where a magnitude of disturbance will be calculated. These measured frequencies also will be used to determine the amount of load to be shed as well as the number of shedding stepsItem Seminumerical technique for the analysis of integrated semiconductor devices(1994) Dehmas, Mokrane; Zitouni, Abdelkader; Bourdoucen, H.Item Quasi-static MoL-based approach for the analysis of multilayer transmission line structures(John Wiley & Sons, 1997) Zitouni, Abdelkader; Bourdoucen, H.; Nait Djoudi, T.Item A new method of oxide charges densities determination using Charge-Pumping technique in MOS structures(World Scientific and Engineering Academy and Society, 2008) Bentarzi, Hamid; Zitouni, Abdelkader; Kribes, YoucefItem Hydrogenated amorphous silicon nitride deposited by DC magnetron sputtering(Elsevier, 2006) Mokeddem, Kamel; Aoucher, M.; Smail, T.Item Analysis of DC simulation convergence of nonlinear analog circuits with initial solution(IEEE, 2005) Morneau, Michel; Khouas, AbdelhakimItem Investigation of single cell delay and delay mismatch in ring oscillator based test structure(2006) Zhou, Bo; Amiri, Amir Mohammad; Khouas, AbdelhakimIn previous work, we presented a test structure based on ring oscillator (RO) to measure single cell delay and delay mismatch, which can provide reliable information on intra-die and inter-die parameter variations. A delay cell of the configurable RO in the test structure considered for the computation technique consists of an inverter and a conducting transmission gate between adjacent cells. This paper will analyze the effects on delay cells of the transmission gates connecting to the output of inverters included in the active RO and investigate in depth delay mismatch in this RO based test structure. Monte Carlo simulation results reveal that the computation technique is applicable to derive delay mismatch between delay cells. A large number of post-layout simulations for different layout structures with different number of cells and different transistor sizes have been performed to analyze delay mismatch related to interconnect and device parameter variations