Throughout this paper we denoted by and the set of all positive integers and all positive real numbers, respectively. Let X be a real Banach space, and let C be a nonempty closed convex subset ofX. Amapping T ofC into itself is said to be nonexpansive if ‖Tx−Ty‖ ≤ ‖x−y‖ for each x, y ∈ C. We denote by F T the set of fixed points of T . We know that F T is nonempty ifC is bounded; for more detai...

This paper presents a new method to structure building information with semantic and 3D. On this method the web platform Active3D-Build was developed. The kernel of this system, composed of information management processes and information sharing processes, is based on IFC files. These files allow us to structure geometric and semantic data. Moreover, these files are used as a structure for int...

Research on indoor navigation models mainly focuses on geometric and logical models .The models are enriched with specific semantic information which supports localisation, navigation and guidance. Geometric models provide information about the structural (physical) distribution of spaces in a building, while logical models indicate relationships (connectivity and adjacency) between the spaces....

In a previous production experiment, post-focus compression (PFC) of F0 and intensity were found to be present in Persian. It was also shown that F0 and duration were the main correlates of prosodic focus in Persian. However, the perceptual relevance of PFC in Persian was not yet clear. The present paper reports the findings of an experiment on focus perception in Persian. Native speakers of Pe...

A buck–boost-type unity power factor rectifier is proposed in this paper. The main advantage of the proposed rectifier over the conventional buck–boost type is that it can perform input power factor correction (PFC) over a wider voltage conversion range. With a single switch, a fast well-regulated output voltage is achieved with a zero-current switch at turn-on. Moreover, the switch voltage str...

The purposes of complexity theory are to ascertain the amount of computational resources required to solve important computational problems, and to classify problems according to their difficulty. The resource most often discussed is computational time, although memory (space) and circuitry (or hardware) have also been studied. The main challenge of the theory is to prove lower bounds, i.e., th...

Deductive object-oriented databases advocate the advantage of combining object-oriented and deductive paradigms into a single data model. Certainly, the query language in such a data model has to reeect the amalgamation because it works as the interface to the user and/or application program. This paper proposes a language to formulate queries as classes related to the schema classes and constr...

A predictive functional control (PFC) technique is applied to the temperature control of a pilot-plant batch reactor equipped with a mono-fluid heating/cooling system. A cascade control structure has been implemented according to the process sub-units reactor and heating/cooling system. H p c m d