946 resultados para Zurich, Canton de
Resumo:
Resolving a noted open problem, we show that the Undirected Feedback Vertex Set problem, parameterized by the size of the solution set of vertices, is in the parameterized complexity class Poly(k), that is, polynomial-time pre-processing is sufficient to reduce an initial problem instance (G, k) to a decision-equivalent simplified instance (G', k') where k' � k, and the number of vertices of G' is bounded by a polynomial function of k. Our main result shows an O(k11) kernelization bound.
Resumo:
Hong Kong in summer (June - October) is hot and humid. Construction workers have to undertake physically demanding activities and often in confined spaces. They are vulnerable to heat stress in summer hence health and safety measures associated to heat stress measured by scientific and clinical parameters are urgently needed. This paper provides an initial report of a research project funded by the Research Grants Council (RGC) of the HKSAR. The aim of this study is to develop a set of indices measured by clinical and scientific methods to detect impending attacks of heat stress. These indices would be of tremendous value in better safeguarding workers’ health and safety by reducing the occurrences of heat stress on site. This paper firstly reports on the statistics of construction incidents arising from heat stress. Qualitative and quantitative research methods applied in conducting the research are discussed. It is believed that the construction industry and the government would benefit a lot as a result of this study.
Resumo:
Abstract. Fire safety of light gauge cold-formed steel frame (LSF) stud walls is significant in the design of buildings. In this research, finite element thermal models of both the traditional LSF wall panels with cavity insulation and the new LSF composite wall panels were developed to simulate their thermal behaviour under standard and real design fire conditions. Suitable thermal properties were proposed for plasterboards and insulations based on laboratory tests and literature review. The developed models were then validated by comparing their results with available fire test results. This paper presents the details of the developed finite element models of load bearing LSF wall panels and the thermal analysis results. It shows that finite element models can be used to simulate the thermal behaviour of load bearing LSF walls with varying configurations of insulations and plasterboards. Failure times of load bearing LSF walls were also predicted based on the results from finite element thermal analyses.
Resumo:
Abstract. Fire resistance has become an important part in structural design due to the ever increasing loss of properties and lives every year. Conventionally the fire rating of load bearing Light gauge Steel Frame (LSF) walls is determined using standard fire tests based on the time-temperature curve given in ISO 834 [1]. Full scale fire testing based on this standard time-temperature curve originated from the application of wood burning furnaces in the early 1900s and it is questionable whether it truly represents the fuel loads in modern buildings. Hence a detailed fire research study into the performance of LSF walls was undertaken using real design fires based on Eurocode parametric curves [2] and Barnett’s ‘BFD’ curves [3]. This paper presents the development of these real fire curves and the results of full scale experimental study into the structural and fire behaviour of load bearing LSF stud wall systems.
Resumo:
In this paper a real-time vision based power line extraction solution is investigated for active UAV guidance. The line extraction algorithm starts from ridge points detected by steerable filters. A collinear line segments fitting algorithm is followed up by considering global and local information together with multiple collinear measurements. GPU boosted algorithm implementation is also investigated in the experiment. The experimental result shows that the proposed algorithm outperforms two baseline line detection algorithms and is able to fitting long collinear line segments. The low computational cost of the algorithm make suitable for real-time applications.
Resumo:
This paper presents work in progress of EatChaFood – a prototype app designed to increase user knowledge of the currently available domestic supply and location of food, with a view to reducing expired household food waste. In order to reap the benefits that EatChaFood can provide we explore ways to overcome manual data entry as a barrier to use. Our user study has to recognise the limitations of the prototype app, and conduct an evaluation of the interaction design built into the app to promote behaviour change. Innovations in the near future such as the automatic scanning of barcodes on food items or photo-recognition will close the gap between perceived prototype usability and usefulness.
Resumo:
Travelling by public transport is usually regarded as boring and uninteresting. Refraining from talking to the stranger next to you may be due to limitations that are self-imposed and further corroborated by social expectations and cultural norms that govern behaviour in public space. Our design research into passenger interactions on board of urban commuter trains has informed the development of the TrainRoulette prototype – a mobile app for situated, real-time chats between train passengers. We study the impact of our design intervention on shaping perceptions of the train journey experience. Moreover, we are interested in the implications of such ICT-mediated interactions within train journeys for stimulating social offline interactions and new forms of passenger engagement.
Resumo:
Ethnographic methods have been widely used for requirements elicitation purposes in systems design, especially when the focus is on understanding users? social, cultural and political contexts. Designing an on-line search engine for peer-reviewed papers could be a challenge considering the diversity of its end users coming from different educational and professional disciplines. This poster describes our exploration of academic research environments based on different in situ methods such as contextual interviews, diary-keeping, job-shadowing, etc. The data generated from these methods is analysed using a qualitative data analysis software and subsequently is used for developing personas that could be used as a requirements specification tool.
Resumo:
As the current computing systems move from desktop and work settings into our everyday lives (e.g. mobile and ubiquitous systems) a growing interest is seen for designing interactive systems with experiential support. Some conceptual work already exists that tries to analyze and understand users? experience with interactive systems but in practice this is still not frequently used. Drawing on the concepts from the domain of art, this paper introduces a way to conceptualize users? experience as the meanings or interpretations they construct during their interaction with or through the interactive systems. We consequently apply this conceptualization in a design project where we use it at an early concept design stage for designing aware technologies in care-taking situations.
Resumo:
This paper reports a qualitative study of evaluating the ?experience? supported by a state-of-the-art interactive television application. Internet Protocol Television (IPTV) system is a new technology in the ever-growing industry of interactive entertainment. Focusing on the users? interpretations, we applied a set of rich evaluation strategies to collect data about users? experiences with the IPTV. The results show implications about how the users constructed complex and reflective understandings about the system. The evaluation suite helped us gather information about users? aspirations, expectations, and intellectual and emotional states of their understandings. The results also imply a strong support for taking into account the non-technical values of human-technology interaction.
Resumo:
A common problem with the use of tensor modeling in generating quality recommendations for large datasets is scalability. In this paper, we propose the Tensor-based Recommendation using Probabilistic Ranking method that generates the reconstructed tensor using block-striped parallel matrix multiplication and then probabilistically calculates the preferences of user to rank the recommended items. Empirical analysis on two real-world datasets shows that the proposed method is scalable for large tensor datasets and is able to outperform the benchmarking methods in terms of accuracy.
Resumo:
Exhaust emissions were monitored in real-time at the kerb of a busy busway used by a mix of diesel and CNG-powered transport buses. Particle number concentration in the size range 3 nm to 3 µm was measured with a TSI condensation particle counter (CPC 3025). Particle mass (PM2.5) was measured with a TSI Dustrak 8520. The CO2 emissions were measured with a fast response CO2 analyser (Sable CA-10A). All emission concentrations were recorded in real time at 1 sec resolution, together with the precise passage times of buses. The instantaneous ratio of particle number (or mass) to CO2 concentration, denoted Z, was used as a measure of the particle number (or mass) emission factor of each passing bus.
Resumo:
An analysis of the emissions from 14 CNG and 5 Diesel buses was conducted during April & May, 2006. Studies were conducted at both steady state and transient driving modes on a vehicle dynamometer utilising a CVS dilution system. This article will focus on the volatile properties of particles from 4 CNG and 4 Diesel vehicles from within this group with a priority given to the previously un-investigated CNG emissions produced at transient loads. Particle number concentration data was collected by three CPC’s (TSI 3022, 3010 & 3782WCPC) having D50 cut-offs set to 5nm, 10nm & 20nm respectively. Size distribution data was collected using a TSI 3080 SMPS with a 3025 CPC during the steady state driving modes. During transient cycles mono-disperse “slices” of between 5nm & 25nm were measured. The volatility of these particles was determined by placing a thermodenuder before the 3022 and the SMPS and measuring the reduction in particle number concentration as the temperature in the thermodenuder was increased. This was then normalised against the total particle count given by the 3010 CPC to provide high resolution information on the reduction in particle concentration with respect to temperature.
Resumo:
Particle emission measurements from a fleet of 14 CNG and 5 Diesel buses were measured both for transient and steady state mode s on a chassis dynamometer with a CVS dilution system. Several transient DT80 cycles and 4 steady sate modes (0, 25, 50 100% of maximum load) were measured for each bus tested. Particle number concentration data was collected by three CPC’s (TSI 3022, 3010 3782WCPC) having D50 cut-offs set to 5, 10 and 20nm respectively. The size distributions were measured with a TSI 3080 SMPS with a 3025 CPC during the steady state modes. Particle mass emissions were measured with a TSI Dustrak. Particle mass emissions for Diesel buses were upto 2 orders of magnitude higher than for CNG buses. Particle number emissions during steady state modes for Diesel busses were 2 to 5 times higher than for CNG busses for all of the tested loads. On the other hand for the DT80 transient cycle particle number emissions were up to 3 times higher for the CNG buses. More detailed analysis of the transient cycles revealed that the reason for this was due to high particle number emissions from CNG busses during the acceleration parts of the cycles. Particles emitted by the CNG busses during acceleration were in the nucleation mode with the majority being smaller than 10nm. Volatility measurements have also shown that they were highly volatile.
Resumo:
Analysis of the particulate size and number concentration emissions from a fleet of inner city medium duty CNG buses was conducted using the newly available Diffusion Size Classifier in comparison with more traditional SMPS's and CPC's. Studies were conducted at both steady state and transient driving modes on a vehicle dynamometer utilising a CVS dilution system. Comparative analysis of the results showed that the DiSC provided equivalent information during steady state conditions and was able to provide additional information during transient conditions, namely, the modal diameter of the particle size distribution.