Safety of Lithium Nickel Cobalt Aluminum Oxide Battery Packs in Transit Bus Applications

The future of mass transportation is clearly moving toward the increased efficiency and greenhouse gas reduction of hybrid and electric vehicles. With the introduction of high-power/high-energy storage devices such as lithium ion battery systems serving as a key element in the system, valid safety and security concerns emerge. This is especially true when the attractive high-specific-energy and power-chemistry lithium nickel cobalt aluminum oxide (NCA) is used. This chemistry provides great performance but presents a safety and security risk when used in large quantities, such as for a large passenger bus. If triggered, the cell can completely fuel its own fire, and this triggering event occurs more easily than one may think. To assist engineers and technicians in this transfer from the use of primarily fossil fuels to battery energy storage on passenger buses, the Battery Application Technology Testing and Energy Research Laboratory (BATTERY) of the Thomas D. Larson Pennsylvania Transportation Institute (LTI) in the College of Engineering at The Pennsylvania State University partnered with advanced chemistry battery and material manufacturers to study the safety concerns of an NCA battery chemistry for use in transit buses. The research team ran various experiments on cells and modules, studying rarely considered thermal events or venting events. Special considerations were made to gather supporting information to help better understand what happens, and most importantly how to best mitigate these events and/or manage them when they occur on a passenger bus. The research team found that the greatest safety concern when using such a high-energy chemistry is ensuring passenger safety when a cell’s electrolyte boils and causes the ventilation of high-temperature toxic material. A cell-venting event can be triggered by a variety of scenarios with differing levels of likelihood. Also, though the duration of a venting event is relatively short, on the order of just a few seconds, the temperature of the venting material and cell is extremely high. During a venting event, the high-pressure, burning gases tend to burn holes in nearby packaging materials. Most interestingly, the team discovered that following a venting event the large-format cells tested immediately reached and remained at extremely high external skin temperatures for very long periods, on the order of hours. The majority of this report covers the testing designed to better understand how high-energy cells of this chemistry fail and what materials can be used to manage these failures in a way that increases passenger survivability

Spreadsheet-based Configuration of Families of Real-Time Specifications

Model checking real-time systems is complex, and requires a careful trade-off between including enough detail to be useful and not too much detail to avoid state explosion. This work exploits variability of the formal model being analysed and the requirements being checked, to facilitate the model-checking of variations of real-time specifications. This work results from the collaboration between academics and Alstom, a railway company with a concrete use-case, in the context of the VALU3S European project. The configuration of the variability of the formal specifications is described in MS Excel spreadsheets with a particular structure, making it easy to use also by developers. These spreadsheets are processed automatically by our prototype tool that generates instances and runs the model checker. We propose the extension of our previous work by exploiting analysis over valid combination of features, while preserving the simplicity of a spreadsheet-based interface with the model checker.Comment: In Proceedings TiCSA 2023, arXiv:2310.1872

Crew appliance study

Viable crew appliance concepts were identified by means of a thorough literature search. Studies were made of the food management, personal hygiene, housekeeping, and off-duty habitability functions to determine which concepts best satisfy the Space Shuttle Orbiter and Modular Space Station mission requirements. Models of selected appliance concepts not currently included in the generalized environmental-thermal control and life support systems computer program were developed and validated. Development plans of selected concepts were generated for future reference. A shuttle freezer conceptual design was developed and a test support activity was provided for regenerative environmental control life support subsystems

Autonomous systems thermographic NDT of composite structures

Transient thermography is a method used successfully in the evaluation of composite materials and aerospace structures. It has the capacity to deliver both qualitative and quantitative results about hidden defects or features in a composite structure. Aircraft must undergo routine maintenance – inspection to check for any critical damage and thus to ensure its safety. This work aims to address the challenge of NDT automated inspection and improve the defects’ detection by suggesting an autonomous thermographic imaging approach using a UAV (Unmanned Aerial Vehicle) active thermographic system. The concept of active thermography is discussed and presented in the inspection of aircraft CFRP panels along with the mission planning for aerial inspection using the UAV for real time inspection. Results indicate that the suggested approach could significantly reduce the inspection time, cost, and workload, whilst potentially increase the probability of detection of defects on aircraft composites

Modeling Framework for Integrated, Model-based Development of Product-Service Systems

Product-service systems (PSS) are seen as the 21st-century solution for direct delivery of value to customers under the requirements of high availability, quality, and reduced risks. With mutual benefits for customers, manufacturers, service providers and often the environment, PSS represent a promising approach to sustainable development. This paper addresses the integrated development of product-service systems consisting of physical products/systems and services and proposes an integrated modeling framework that utilizes the Systems Modeling Language. A use case from Lenze, a German automation company, demonstrates the applicability of the integrated modeling framework in practice

Person Recognition in Personal Photo Collections

Recognising persons in everyday photos presents major challenges (occluded faces, different clothing, locations, etc.) for machine vision. We propose a convnet based person recognition system on which we provide an in-depth analysis of informativeness of different body cues, impact of training data, and the common failure modes of the system. In addition, we discuss the limitations of existing benchmarks and propose more challenging ones. Our method is simple and is built on open source and open data, yet it improves the state of the art results on a large dataset of social media photos (PIPA).Comment: Accepted to ICCV 2015, revise