Problem statement: Given an overly general (definite) program P and its intended semantics φ (the programmer’s intentions) where P does not satisfy φ, find out a new version P’ of P such that P’ satisfies φ. Approach: We proposed an approach for correcting overly general programs from positive examples by exploiting program synthesis techniques. The synthesized program, P’, is a specialization ...

This report introduces a novel approach to performing inference and learning inDynamic Bayesian Networks (DBN). The traditional approach to inference and learning in DBNs involves conditioning on one or more finite-length observation sequences. In this report, we consider conditioning on what we will call generalized evidence, which consists of a possibly infinite set of behaviors compactly enc...

ion reduces the state space by removing irrelevant features of a Kripke structure. Given a Kripke structure K, an abstraction is a Kripke structure K̂ such that K̂ is significantly smaller than K, and K̂ preserves a useful class of specifications for K. Consequently, the expensive task of model checking K can be reduced to the more feasible task of model checking K̂. We know from above that in orde...

Energy and exergy concepts come from thermodynamics laws and are applicable to all fields of science and engineering. This study considers numerical simulations of combustion of hydrogen with air in a constant pressure environment and exergy terms according to first and second laws analysis using homemade code. Chemical kinetic model includes 20 reactions and 9 species.  At the first stage of p...