We discuss the dynamical simulation model of thermal environment for automobile passenger compartments with passengers that is useful for the development of automobile air-conditioning systems. In our previous research, we proposed the model of this type with the consideration of accuracy and computation complexity, however, proposed model was insufficient to simulate the influence of emission and insolation on the thermal environment of the automobile passenger compartment with passengers.
In this paper, we focus on the emission and the insolation, and try to model the influence of those on the thermal environment of the automobile passenger compartments with passengers. For the emission analysis, we compute view factors based on the 3D model of automobile and human body (passenger), and adopt Gebhart’s method to consider the absorption and the reflection of the emission at the surface of the automobile passenger compartment and the passengers. While, for the insolation, we compute the spectral insolation based on date, time, location, and attitude of the automobile by using solar geometry algorithm and spectral insolation model (SPECTRAL2), and evaluate the effect of the insolation on the thermal environment of the automobile passenger compartment with passenger by Gebhart’s method.

View full abstract

In the conventional framework for failure diagnosis of partially observed discrete event systems, it is assumed that, for each event, the corresponding output symbol is determined uniquely. However, this assumption does not hold in discrete event systems such as a mobile system, where an output symbol depends on not only an event but also a state at which the event occurs. In this paper, we model such a discrete event system by a Mealy automaton with a nondeterministic output function, and consider a diagnosis problem that requires any occurrence of a failure should be detected within a uniformly bounded number of steps. We present a necessary and sufficient condition for the existence of a diagnoser. We then present an algorithm for verifying this condition.

View full abstract