A stochastic realization problem of a stationary stochastic process is re-visited, and a new stochastically balanced realization algorithm is derived in a Hilbert space generated by second-order stationary processes. The present algorithm computes a stochastically balanced realization by means of the singular value decomposition of a weighted block Hankel matrix derived by a “block LQ decomposition”. Extension to a stochastic subspace identification method explains how the proposed abstract algorithm is implemented in system identification. 相似文献
State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration
method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces
the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise
but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially
relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard,
the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we
introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the
peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP
to be analysed for larger parameter values.
Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree
University of Technology.
Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927). 相似文献
Home storage is the final step of the frozen foods distribution chain, and little is known on how it affects the products quality. The present research describes frozen green beans (Phaseolus vulgaris, L.) quality retention profile during the recommended ‘star marking’ system dates, at the storage temperatures of +5, −6, −12 and −18 °C (along 1, 4, 14 and 60 days, respectively).
The quality profile was assessed by a simulation system. Simulations were set by a response surface methodology to access the effect of different packaging materials (thermal conductivities and thickness), surface heat transfer coefficient, and refrigerator dynamics (effect of refrigeration cycles at the different storage temperatures) on the average retentions of Ascorbic Acid, total vitamin C, colour and flavour.
Green beans quality losses along frozen storage are significantly influenced by temperature, refrigerator dynamics and kinetic properties. Quality is also highly dependent on packaging materials thermal insulation (e.g. at temperatures above the melting point). Temperature cycles inside frozen chambers have a long term effect, and at the higher storage temperatures (e.g. T>−6 °C) are detrimental to frozen green beans quality after shorter periods. 相似文献
The deactivation characteristics of Pd/SiO2 in the selective hydrogenation of acetylene were correlated with changes in the amount of the C4 species produced. The amounts of butenes produced changed in parallel with the catalyst activity, indicating that the rate limiting step for butene production was the same as that for acetylene hydrogenation. On the other hand, the amount of 1,3-butadiene produced changed, showing a maximum with catalyst deactivation because 1,3-butadiene is an intermediate in the sequential reaction process which involves both the production and consumption of 1,3-butadiene. This was verified by a simultaneous TG/reaction experiment showing that 1,3-butadiene was a precursor of green oil. The catalyst showed a self-regenerative behavior in its activity and the amounts of C4 species produced during the early stage of deactivation because two opposite factors, which contributed to either the lowering or the promotion of activity, were involved in the process. A specific type of polymer species, produced during the initial period of deactivation, is proposed to be responsible for the promotion of catalyst activity. 相似文献