Challenges of Inductive Electric Vehicle Charging Systems in both Stationary and Dynamic Modes

Inductive power transfer as an emerging technology has become applicable in wide power ranges including Electric Vehicle, Electric Aircraft, wheelchair, cellphone, scooter and so on. Among them, inductive Electric Vehicle (EV) charging has gained great interest in the last decade due to many merits namely contactless technology, more convenience, full automotive charging process. However, inductive EV charging systems could bring about so many issues and concerns which are addressed in this dissertation. One of the critical challenges addressed in this dissertation is a virtual inertia based IPT controller to prevent the undesirable dynamics imposed by the EVs increasing number in the grid. Another adverse issue solved in this dissertation is detecting any metal object intrusions into the charging zone to the Inductive Power Transfer (IPT) systems before leading to heat generation on the metal or risk of fire. Moreover, in this dissertation, a new self-controlled multi-power level IPT controller is developed that enables EV charging level regulation in a wide range of power; suitable for different applications from golf-cart charging system (light duty EV) to truck (heavy duty EV). The proposed controller has many merits including easy to be implemented, cons-effective, and the least complexities compared to conventional PWM methods. Additionally, in this dissertation, the online estimation of IPT parameters using primary measurement including coupling factor, battery current and battery voltage is introduced; the developed method can find immediate applications for the development of adaptive controllers for static and dynamic inductive charging systems. Finally, the last objective of this research is physics-based design optimization techniques for the magnetic structures of inductive EV charging systems for dynamic application (getting charged while in motion). New configuration of IPT transmitting couplers with objective of high-power density, low power loss, low cost and less electromagnetic emission are designed and developed in the lab

A Supervisory Control Algorithm Based on Property-Directed Reachability

We present an algorithm for synthesising a controller (supervisor) for a discrete event system (DES) based on the property-directed reachability (PDR) model checking algorithm. The discrete event systems framework is useful in both software, automation and manufacturing, as problems from those domains can be modelled as discrete supervisory control problems. As a formal framework, DES is also similar to domains for which the field of formal methods for computer science has developed techniques and tools. In this paper, we attempt to marry the two by adapting PDR to the problem of controller synthesis. The resulting algorithm takes as input a transition system with forbidden states and uncontrollable transitions, and synthesises a safe and minimally-restrictive controller, correct-by-design. We also present an implementation along with experimental results, showing that the algorithm has potential as a part of the solution to the greater effort of formal supervisory controller synthesis and verification.Comment: 16 pages; presented at Haifa Verification Conference 2017, the final publication is available at Springer via https://doi.org/10.1007/978-3-319-70389-3_

The Authentic Thinking and Interpretation of the Attribute of Justice in Islam in the Light of Muslim Sources.

The Authentic Thinking and Interpretation of the Attribute of Justice in Islam in the Light of Muslim Sources. Mr. Hassan Sheikh Ahme

Barriers to the Use of ICT in Education: Case Study of Mogadishu Secondary Schools, Somalia.

Barriers to the Use of ICT in Education: Case Study of Mogadishu Secondary Schools, Somalia Mr. Mohamed Hussein Hassan Dean and Lecturer, of faculty of Computer Science and Information Technology, Mogadishu Universit

Justifying the Cost of Implementing Contactless Travel in Non-Primary Airports: A European Perspective

In the wake of the COVID-19 pandemic, the aviation industry faces an unprecedented push towards digital transformation. This paper delves into the economic, operational, and safety imperatives of implementing contactless travel solutions in Europe\u27s non-primary airports. By juxtaposing the substantial upfront costs against the long-term operational savings and improved passenger experience, the study presents a compelling financial justification for such investments. Drawing on case studies and current trends, the research demonstrates that, despite initial expenditures, the adoption of contactless technology is a prudent strategy that aligns with evolving consumer preferences and the heightened need for efficiency and safety. The paper critically examines the challenges and proposes strategic planning for a sustainable shift towards a contactless airport ecosystem, contributing valuable insights into the future of European aviation

Surface plasmon coupled emission enhancement with nanoparticles in the metal layer

We show that it is possible to enhance surface plasmon coupled emission (SPCE) intensity by ∼55% using two dimensional periodic nanoparticle arrays in the glass-metal layer interface of an SPCE structure. The nanoparticles act as coupled nanoantennas. With optimized dimensions and periodicity, the nanoparticle arrays resonate and re-emit intensified SPCE. In this work, two types of nanoparticles such as cuboids and hemispheres are used in the arrays. The optimized dimensions and periodicity of the nanoparticle arrays that lead to enhanced intensity are calculated using the particle swarm algorithm. The increased SPCE intensity will be helpful for using SPCE as a biomolecule detection scheme

Posterior Surgical Approach to Tuberculous Spondylitis

Objectives: Foraminotomy is a simple posterior surgical approach useful for treatment of radicular (nerve root) pain in TB spondylitis. It doesn't affect the stability of the facet joint, requires neither fusion nor implants. It is therefore cheap and affordable for patients with low income. We describe a simple form of posterior spinal surgery for patients with tuberculous spondylitis. Methods: Out of the 45 cases of Pott's disease managed from Jan 2006-Jan 2008, three patients had foraminotomy due to failed medical treatment. An additional discectomy was performed in one patient. Foraminotomy involves the removal of lateral half of adjacent laminae and medical half of the facet joint. The ligamentum flavum and the epidural fat are cleared to free the nerve root. No implant or fusion is required. Results: All the three patients improved post operatively. Physiotherapy was started on 7th day after surgery. The pain completely resolved in two patients while the third one had a remarkable improvement at discharge. They were all able to walk without support. One patient is still on regular follow up and has a power of 5/5 in both lower limbs while the remaining two were lost to follow up at 5 and 8 months post surgery. They both had power of 4/5 at the time they defaulted. Conclusion: Foraminotomy with or without discectomy is a simple posterior surgical approach to T B spine with good neurological outcome. It is adapted to our environment because no fusion or implant is required. Key words: Tuberculosis, Spondylitis, Posterior approac

An analytic approximation to the Diffusion Coefficient for the periodic Lorentz Gas

An approximate stochastic model for the topological dynamics of the periodic triangular Lorentz gas is constructed. The model, together with an extremum principle, is used to find a closed form approximation to the diffusion coefficient as a function of the lattice spacing. This approximation is superior to the popular Machta and Zwanzig result and agrees well with a range of numerical estimates.Comment: 13 pages, 4 figure

Studies on some morphological characters and yield attributes of synthetic Brassica hexaploids and their parents

Allopolyploidy plays an important role in plant evolution and confers better advantages on crop growth and breeding compared to low ploidy levels. The present investigation aimed to study the synthetic hexaploid Brassica (AABBCC genome) developed from Brassica cainata (BBCC genome) and Brassica rapa (AA genome) compared to their parental genotypes considering some morphological characters, yield attributes and yield. Increased vegetative growth in hexaploids over their parents was observed. Hexaploids exhibited wider ranges with higher coefficients of variations compared to the parents for all characters studied. Hexaploids had taller plants, higher number of siliqua and larger flowers than those of both parents. Though average pollen fertility in the hexaploids was lower than both parents but out of 420 hexaploids, seventeen had comparatively higher percentages of pollen fertility as well as siliqua setting. Number of seeds per siliqua and siliqua length were found to be lower than their parents. Mean seed weight per plant in the hexaploids was lower than the parents though the hexaploids had higher number of siliquae along with higher seed weight. Days to flowering and maturity in the hexaploids were in between the parents and closer to the B. carinata parent. Five hexaploid plants from BARIBatishak-1 × Carinata-1 and two from each of Carinata-1 × BARIBatishak-1 and Agrani × Carinata-1 were found to be promising because they have higher seed yield per plant than their parents. Those nine selected high yielding hexaploid plants could be evaluated in the subsequent generations to select the stable and desirable Brassica hexaploids.Keywords: Brassica hexaploid, morphological characters, yield attribute

New Examples of Flux Vacua

Type IIB toroidal orientifolds are among the earliest examples of flux vacua. By applying T-duality, we construct the first examples of massive IIA flux vacua with Minkowski space-times, along with new examples of type IIA flux vacua. The backgrounds are surprisingly simple with no four-form flux at all. They serve as illustrations of the ingredients needed to build type IIA and massive IIA solutions with scale separation. To check that these backgrounds are actually solutions, we formulate the complete set of type II supergravity equations of motion in a very useful form that treats the R-R fields democratically.Comment: 38 pages, LaTeX; references updated; additional minor comments added; published versio