Search NASA⌕ Search

Engineering topics

Bhattacharyya, Siddhartha

Publications and source records attributed to Bhattacharyya, Siddhartha.

Leaching kinetics of As, Mo, and Se from acidic coal fly ash samples

Annually, coal-fired electric power plants produce large volumes potentially hazardous coal combustion products (CCPs) including fly ash. Since majority of the coal fly ash and other CCPs deposited in dry land fills or wet lagoons, they pose risk of contamination to local environment and hydrogeology. In this study, we present results of leaching kinetics for As, Mo, and Se from three acidic fly ash samples. This study shows that the leachate concentrations of As, Mo, and Se increase over time. Three kinetics equations, pseudo-second order, Elovich, and power-function, are able to adequately describe the experimental leaching kinetics data. Experimental leaching data and modeling results indicate that the rate limiting leaching of As, Mo, and Se is largely controlled by the dissolution of the fly ash particles. Furthermore, it is important to adopt effective containment/treatment schemes to avoid potential and persistent dispersion of trace elements from ash disposal facilities to surrounding environment for a long time.

54 ENVIRONMENTAL SCIENCES↗

Formal Assurance for Cognitive Architecture Based Autonomous Agent

Autonomous systems are designed and deployed in different modeling paradigms. These environments focus on specific concepts in designing the system. We focus our effort in the use of cognitive architectures to design autonomous agents to collaborate with humans to accomplish tasks in a mission. Our research focuses on introducing formal assurance methods to verify the behavior of agents designed in Soar, by translating the agent to the formal verification environment Uppaal.

Bhattacharyya, Siddhartha↗

Certification Considerations for Adaptive Systems

Advanced capabilities planned for the next generation of aircraft, including those that will operate within the Next Generation Air Transportation System (NextGen), will necessarily include complex new algorithms and non-traditional software elements. These aircraft will likely incorporate adaptive control algorithms that will provide enhanced safety, autonomy, and robustness during adverse conditions. Unmanned aircraft will operate alongside manned aircraft in the National Airspace (NAS), with intelligent software performing the high-level decision-making functions normally performed by human pilots. Even human-piloted aircraft will necessarily include more autonomy. However, there are serious barriers to the deployment of new capabilities, especially for those based upon software including adaptive control (AC) and artificial intelligence (AI) algorithms. Current civil aviation certification processes are based on the idea that the correct behavior of a system must be completely specified and verified prior to operation. This report by Rockwell Collins and SIFT documents our comprehensive study of the state of the art in intelligent and adaptive algorithms for the civil aviation domain, categorizing the approaches used and identifying gaps and challenges associated with certification of each approach.

Bhattacharyya, Siddhartha↗