Abstract: Apparatuses and methods are described for controlling the width and thickness of glass during glass sheet production. The apparatuses and methods employ a gas cooling mechanism that is designed to extract heat from molten glass during the drawdown process to reduce width attenuation and generate more uniform glass. In some examples, a nozzle of a glass forming apparatus includes a first nozzle portion with a first glass forming surface, and a second nozzle portion opposite the first nozzle portion, where the second nozzle portion includes a second glass forming surface opposite the first glass forming surface. The nozzle also includes a first cavity within the first nozzle portion, and a second cavity within the second nozzle portion. Gas, such as air, is delivered to each of the first cavity and the second cavity to cool molten glass as it is drawn between the first and second glass forming surfaces.

Abstract: The present invention concerns a method and a tool for designing and validating a data flow system comprising a set of software and/or hardware actors (ai, aj) interconnected with each other by unidirectional communication channels (ci, cj), the tool comprising: —a modelling interface (11) configured to generate an instance of the system by specifying, in a formal manner, a real-time and reconfigurable data flow, the reconfiguration of the data flow being carried out dynamically by propagating reconfiguration data from one actor to another through the communication channels, —an analysis module (13) configured to prove a predetermined set of behavioral properties of the system by means of a static analysis of the instance, —a refinement interface (15) designed to allocate resources to the instance, thus establishing a configured instance, the allocation of resources being carried out in such a way that an implementation of the system complies with the configured instance, and —a conformity test module (17) co

Abstract: The present invention concerns a method and a tool for designing and validating a data flow system comprising a set of software and/or hardware actors (ai, aj) interconnected with each other by unidirectional communication channels (ci, cj), the tool comprising: —a modelling interface (11) configured to generate an instance of the system by specifying, in a formal manner, a real-time and reconfigurable data flow, the reconfiguration of the data flow being carried out dynamically by propagating reconfiguration data from one actor to another through the communication channels, —an analysis module (13) configured to prove a predetermined set of behavioral properties of the system by means of a static analysis of the instance, —a refinement interface (15) designed to allocate resources to the instance, thus establishing a configured instance, the allocation of resources being carried out in such a way that an implementation of the system complies with the configured instance, and —a conformity test module (17) co