Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of mathematical objects that can be described in classical first-order logic. The present paper shows that probabilistic computation (sometimes called randomize...

due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. this paper employs modified petri nets (mpn) to model theses subsystems and makes it simple to analyze them. in this method, first, the continuous transfer function is converted to a discrete transfer function and then, by mpn, system is modeled and analyzed. all...

The use of unbounded tendons is common in prestressed concrete structures and evaluation of the stress increase in unbonded tendons at ultimate flexural strength of such structure has posed a great challenge over the years. Based on the bending experiment for two-span continuous post-tension beams with unbounded tendons and externally applied CFRP sheets, the monitoring of the stress increment ...