128 research outputs found
Evaluation of the Indoor Thermal Quality in high schools buildings: strengths and limits of different assessment methods
Recent studies have pointed out how much the indoor environmental quality in schools\u2019 classrooms is an important factor which could prevent serious adverse effects not only on the students\u2019 comfort sensation, but also on their health and learning potential. However, although standards EN ISO 7726:2001, EN ISO 7730:2005 and EN 10551:2001 give recommendations about how to practically perform objective and subjective measurements, on the evaluation of the level of comfort perceived in buildings, there is the need to define a systematic and standardized way in order to implement the comfort assessment through a methodical and uniform approach. In this work the assessment of the Indoor Thermal Quality of two classrooms in one high school located in Treviso, a town in the North-East of Italy, is presented in order to highlight the strengths and the limits of two different evaluation approaches: field monitoring, survey questionnaires. To reach the aim, two monitoring and surveys campaigns were carried out, one during the spring and one during the heating season. All the four comfort areas were investigated through the questionnaires: the thermal, the visual, the acoustic and the air quality perception.. Afterwards objective and subjective responses on thermal and visual perception have been compared
Automated synthesis of executable web service compositions from BPEL4WS processes
We propose a technique for the automated synthesis of new com-posite web services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we auto-matically generate a concrete BPEL4WS process that, when exe-cuted, interacts with the components and satisfies the requirement. We implement the proposed approach exploiting efficient repre-sentation techniques, and we show its scalability over case stud-ies taken from a real world application and over a parameterized domain
АВТОМАТИЗОВАНИЙ СИНТЕЗ КОМПОЗИТНИХ BPEL4WS ВЕБ-СЕРВІСІВ. ПЕРЕКЛАД СТАТТІ «AUTOMATED SYNTHESIS OF COMPOSITE BPEL4WS WEB SERVICES» (ПЕРЕКЛАД РЕМАРОВИЧ С.)
У цій статті ми пропонуємо метод для автоматизованого синтезу нових композитних Веб-сервісів. Враховуючи набір абстрактних BPEL4WS описів компонентних сервісів, а також вимогу композиції, ми автоматично генеруємо виконуваний BPEL4WS процес, який, після розгортання, здатний взаємодіяти з компонентами, щоб задовольнити вимогу. Ми реалізували запропонований підхід, використовуючи ефективні засоби синтезу, і експеримент з деякими тематичними дослідженнями, взятими з реальних застосувань і з параметризованим доменом. Ми показали, що метод може масштабуватися до випадків, в яких ручна розробка BPEL4WS композитних сервісів не є тривіальною і вимагає багато часу
ПІДХІД ДЛЯ АВТОМАТИЗОВАНОЇ КОМПОЗИЦІЇ BPEL ПРОЦЕСІВ / ПЕРЕКЛАД СТАТТІ «AN APPROACH FOR THE AUTOMATED COMPOSITION OF BPEL PROCESSES» (ПЕРЕКЛАД РЕМАРОВИЧ С.)
Ми описуємо метод для автоматизованого синтезу нових композитних Веб-сервісів. Враховуючи набір компонентних сервісів, які описані як абстрактні BPEL4WS процеси, збагачені семантичними анотаціями, а також враховуючи вимогу композиції, ми автоматично генеруємо виконуваний BPEL4WS процес, який після розгортання здатний взаємодіяти з компонентами, щоб задовольнити вимогу. Ми орієнтуємося, зокрема, на опис анотацій, які ми повинні додати до \ud
абстрактних BPEL4WS процесів для того, щоб охопити «семантичні» аспекти їх виконання, і на роль, яку ці семантичні анотації грають в завданні автоматизованої композиції
Fresh-Register Automata
What is a basic automata-theoretic model of computation with names and fresh-name generation? We introduce Fresh-Register Automata (FRA), a new class of automata which operate on an infinite alphabet of names and use a finite number of registers to store fresh names, and to compare incoming names with previously stored ones. These finite machines extend Kaminski and Francez’s Finite-Memory Automata by being able to recognise globally fresh inputs, that is, names fresh in the whole current run. We exam-ine the expressivity of FRA’s both from the aspect of accepted languages and of bisimulation equivalence. We establish primary properties and connections between automata of this kind, and an-swer key decidability questions. As a demonstrating example, we express the theory of the pi-calculus in FRA’s and characterise bisimulation equivalence by an appropriate, and decidable in the finitary case, notion in these automata
Recommended from our members
Bridging the gap between energy consumption and the indoor environmental quality of a 1960s-educational building
The fundamental purpose of a building has evolved from merely providing protection from external environmental climate to more emphasis on integrating building services through building regulations to provide the synergy of comfort, efficiency and safety to the indoor environment. This research recognizes the rising demand and increasing quality of indoor environmental quality (IEQ) in the modern society compared to the acceptable level of previous traditional buildings. Generally due to its varied operations, educational buildings, in this case University libraries have its own set of challenges and barriers such as minimizing damages and decay of books and maintaining indoor conditions with an oversight of providing good IEQ to occupants. This paper presents a detailed evaluation of a 1960s-educational library with 24-hour access at the University of Reading. Through in-situ measurements, modelling and simulations of the building’s energy consumption, IEQ parameters and occupancy patterns, investigations have been performed. Varied scenarios using the Integrated Environmental Solution (IES) software were also investigated. The findings illustrate that due to mixed façade configuration (i.e. sandstone and bricks) there is the unflinching need to balance aesthetics of the facade and functionality of a building to reduce excessive energy use via heating, without compromising on occupant comfort and well-being Although it is envisaged that refurbishing the library building will provide energy savings of up to 40%, this is farfetched and can only be achieved at the detriment of occupant comfort levels as evident in the simulation results, where these savings could not be realised. This paper further discusses the methods, scenarios, and results of ensuring good IEQ, comfort and energy efficiency are not been seen as mutually exclusive. This study forms part of ongoing research into the impact of educational buildings
Automated synthesis of composite BPEL4WS Web services
In this paper we propose a technique for the automated synthesis of new composite web services. Given a set of ab-stract BPEL4WS descriptions of component services, and a composition requirement, we automatically generate an ex-ecutable BPEL4WS process that, once deployed, is able to interact with the components to satisfy the requirement. We implement the proposed approach exploiting efficient syn-thesis techniques, and experiment with some case studies taken from real world applications and with a parameter-ized domain. We show that the technique can scale up to cases in which the manual development of BPEL4WS com-posite services is not trivial and is time consuming.
Recommended from our members
Mapping the complex refractive index of single layer graphene on semiconductor or polymeric substrates at terahertz frequencies
Abstract
Assessing experimentally the main optical parameters of graphene (e.g. complex refractive index, carrier density, mobility) in the far-infrared (0.1–10 THz) is important for quantum science, due to the possibility to devise miniaturized devices (frequency combs, random lasers), components (optical switches, spatial light modulators, metamaterial mirrors and modulators) or photonic circuits, in which graphene can be integrated with existing semiconductor technologies to manipulate their optical properties and induce novel functionalities. Here, we combine time domain terahertz (THz) spectroscopy and Fourier transform infrared spectroscopy to extract the complex refractive index of large (∼1cm2) area single layer graphene on thin (∼0.1-1 µm) polymeric suspended substrates, flexible and transparent films, and high reflectivity Si substrates in the 0.4–1.8 THz range. We model our data to extract the relevant optical (refractive index, absorption coefficient, penetration length) electronic (Fermi velocity) and electrical (carrier density, mobility) properties of the different graphene samples.</jats:p
Terahertz Sources Based on Metrological‐Grade Frequency Combs
Broadband metrological-grade frequency comb (FC) synthesizers with a rich number of phase locked modes are the ideal sources for quantum sensing and quantum metrology. At terahertz (THz) frequencies, electrically pumped quantum cascade lasers (QCLs) have shown quantum-limited frequency noise operation, phase/frequency absolute referencing and self-starting FC operation, albeit over a rather restricted dynamic range, governed by the nature of the quantum gain media that entangles group velocity dispersion at the different bias points. Here, a technological approach is conceived to achieve FC operation over the entire available gain bandwidth at THz frequencies. The intracavity light intensity of a multistack QCL, inherently showing a giant Kerr nonlinearity, is altered by increasing the mirror losses of its Fabry-Perot cavity through coating the back facet with an epitaxially-grown multilayer graphene film. This enables a frequency modulated THz FC showing a proliferation of emitted modes over the entire gain bandwidth and across more than 60% of its operational range, with ≈0.18 mW per mode optical power. The QCL FC is then experimentally characterized to assess its phase coherence, reconstructing its intensity emission profile, instantaneous frequency, and electric field, thus proving its metrological nature
- …