From Hardware Processes to asynchronous circuits via petri nets: An Application to Arbiter Design

International audience

Knowledge about sources of dietary fibres and health effects using a validated scale: a cross-country study

Objectives Dietary fibre (DF) is one of the components of diet that strongly contributes to health improvements, particularly on the gastrointestinal system. Hence, this work intended to evaluate the relations between some sociodemographic variables such as age, gender, level of education, living environment or country on the levels of knowledge about dietary fibre (KADF), its sources and its effects on human health, using a validated scale. Study design The present study was a cross-sectional study. Methods A methodological study was conducted with 6010 participants, residing in 10 countries from different continents (Europe, America, Africa). The instrument was a questionnaire of self-response, aimed at collecting information on knowledge about food fibres. The instrument was used to validate a scale (KADF) which model was used in the present work to identify the best predictors of knowledge. The statistical tools used were as follows: basic descriptive statistics, decision trees, inferential analysis (t-test for independent samples with Levene test and one-way ANOVA with multiple comparisons post hoc tests). Results The results showed that the best predictor for the three types of knowledge evaluated (about DF, about its sources and about its effects on human health) was always the country, meaning that the social, cultural and/or political conditions greatly determine the level of knowledge. On the other hand, the tests also showed that statistically significant differences were encountered regarding the three types of knowledge for all sociodemographic variables evaluated: age, gender, level of education, living environment and country. Conclusions The results showed that to improve the level of knowledge the actions planned should not be delineated in general as to reach all sectors of the populations, and that in addressing different people, different methodologies must be designed so as to provide an effective health education.

REASONS BEHIND THE USAGE OF ONLINE AD BLOCKING TOOLS

Online advertising has been growing rapidly since the mid-90s. In recent years, online advertising has become as relevant as an advertising medium as print and television are. However, despite the growth, the generally held consensus is that consumers are not interested in online advertisements. The arrival of online ad blocking tools has offered consumers a very effective way to avoid and block online advertisements. Although these tools have now been around for several years and the most popular software’s have hundreds of millions of active users, the phenomenon of ad blocking has gathered surprisingly little attention from academic marketing research. For this reason, ad blocking was chosen as the topic of this thesis study. The researcher was particularly interested in the reasons behind the usage of online ad blocking tools. The object of the empirical part of this study is to provide new and valid information regarding the reasons behind the usage of online ad blocking tools. The empirical research of this study consisted of a survey study that mixed both quantitative and qualitative elements. Although the sample size of the study was fairly limited, the study provided useful answers to individual research questions and provided new knowledge regarding the reasons behind the usage of online ad blocking and the phenomenon of ad blocking as a whole. The study provides further evidence that consumers are aware of online ad blocking tools and a significant portion of them are interested in using them. This study indicates that many of the consumers who do not have previous knowledge of these tools would actually be interested in them. The reason for the usage of online ad blocking tools varies from institutional reasons to instrumental reason, such as poor quality of the online advertisements. However, there were participants who were not interested in the usage of online ad blocking tools, and some of them reported to find online advertising useful. There also seems to be a concern among some consumers that online ad blocking will have a negative effect on online content in the future if the ad blocking will keep growing as a phenomenon. This certainly can be the case, and it is very interesting to see how the development of online ad blocking will shape the online advertising, how the advertising industry will respond to the growth of online ad blocking and how will the consumers respond to these changes.

Projeto de uma ferramenta específica para cravação de terminais elétricos

A necessidade contínua de incrementar a produtividade em todos os sectores leva a que sejam utilizados equipamentos cada vez mais sofisticados, permitindo novas técnicas de abordagem dos processos de fabrico, velocidades mais elevadas e maior precisão no produto final. No entanto, quase todos os equipamentos necessitam de ferramentas adequadas, que tirem partido efetivamente das potencialidades dos equipamentos disponíveis. A Engenharia tem aqui um papel extremamente importante, já que terá de conceber as ferramentas atendendo à satisfação de um elevado número de requisitos, que passam genericamente por tirar o máximo partido dos fatores tecnológicos proporcionados pelos equipamentos, cumprir com a cadência de produção necessária, assegurar a qualidade estipulada, garantir a segurança dos colaboradores que com ela trabalham e permitir uma fácil montagem e afinação, reduzindo assim os tempos de preparação e as possibilidades de fabrico de peças fora das especificações. Este trabalho foi desenvolvido em torno de uma necessidade real, tendo sido estipulados os requisitos necessários pelo cliente e tendo sido elaborado todo o projeto da ferramenta em torno desses mesmos requisitos. Foi efetuada uma otimização da ferramenta ainda na fase de anteprojeto, permitindo minimizar o seu custo e maximizar o seu rendimento e aptidão para o fim em vista. Os materiais foram cuidadosamente selecionados, tendo em vista a utilização de cada componente e a relação custo‐benefício. Foi ainda efetuada uma orçamentação da mesma, assim como um plano de instruções para a operação e manutenção da ferramenta. Deste modo, este trabalho é o resumo de grande parte do conhecimento adquirido, quer ao longo da vida académica, quer ao longo da experiência profissional.

Simulation tools for the analysis of single electronic systems

Developments in theory and experiment have raised the prospect of an electronic technology based on the discrete nature of electron tunnelling through a potential barrier. This thesis deals with novel design and analysis tools developed to study such systems. Possible devices include those constructed from ultrasmall normal tunnelling junctions. These exhibit charging effects including the Coulomb blockade and correlated electron tunnelling. They allow transistor-like control of the transfer of single carriers, and present the prospect of digital systems operating at the information theoretic limit. As such, they are often referred to as single electronic devices. Single electronic devices exhibit self quantising logic and good structural tolerance. Their speed, immunity to thermal noise, and operating voltage all scale beneficially with junction capacitance. For ultrasmall junctions the possibility of room temperature operation at sub picosecond timescales seems feasible. However, they are sensitive to external charge; whether from trapping-detrapping events, externally gated potentials, or system cross-talk. Quantum effects such as charge macroscopic quantum tunnelling may degrade performance. Finally, any practical system will be complex and spatially extended (amplifying the above problems), and prone to fabrication imperfection. This summarises why new design and analysis tools are required. Simulation tools are developed, concentrating on the basic building blocks of single electronic systems; the tunnelling junction array and gated turnstile device. Three main points are considered: the best method of estimating capacitance values from physical system geometry; the mathematical model which should represent electron tunnelling based on this data; application of this model to the investigation of single electronic systems. (DXN004909)

Modelling of an efficient dynamic smart solar photovoltaic power grid system

A smart solar photovoltaic grid system is an advent of innovation coherence of information and communications technology (ICT) with power systems control engineering via the internet [1]. This thesis designs and demonstrates a smart solar photovoltaic grid system that is selfhealing, environmental and consumer friendly, but also with the ability to accommodate other renewable sources of energy generation seamlessly, creating a healthy competitive energy industry and optimising energy assets efficiency. This thesis also presents the modelling of an efficient dynamic smart solar photovoltaic power grid system by exploring the maximum power point tracking efficiency, optimisation of the smart solar photovoltaic array through modelling and simulation to improve the quality of design for the solar photovoltaic module. In contrast, over the past decade quite promising results have been published in literature, most of which have not addressed the basis of the research questions in this thesis. The Levenberg-Marquardt and sparse based algorithms have proven to be very effective tools in helping to improve the quality of design for solar photovoltaic modules, minimising the possible relative errors in this thesis. Guided by theoretical and analytical reviews in literature, this research has carefully chosen the MatLab/Simulink software toolbox for modelling and simulation experiments performed on the static smart solar grid system. The auto-correlation coefficient results obtained from the modelling experiments give an accuracy of 99% with negligible mean square error (MSE), root mean square error (RMSE) and standard deviation. This thesis further explores the design and implementation of a robust real-time online solar photovoltaic monitoring system, establishing a comparative study of two solar photovoltaic tracking systems which provide remote access to the harvested energy data. This research made a landmark innovation in designing and implementing a unique approach for online remote access solar photovoltaic monitoring systems providing updated information of the energy produced by the solar photovoltaic module at the site location. In addressing the challenge of online solar photovoltaic monitoring systems, Darfon online data logger device has been systematically integrated into the design for a comparative study of the two solar photovoltaic tracking systems examined in this thesis. The site location for the comparative study of the solar photovoltaic tracking systems is at the National Kaohsiung University of Applied Sciences, Taiwan, R.O.C. The overall comparative energy output efficiency of the azimuthal-altitude dual-axis over the 450 stationary solar photovoltaic monitoring system as observed at the research location site is about 72% based on the total energy produced, estimated money saved and the amount of CO2 reduction achieved. Similarly, in comparing the total amount of energy produced by the two solar photovoltaic tracking systems, the overall daily generated energy for the month of July shows the effectiveness of the azimuthal-altitude tracking systems over the 450 stationary solar photovoltaic system. It was found that the azimuthal-altitude dual-axis tracking systems were about 68.43% efficient compared to the 450 stationary solar photovoltaic systems. Lastly, the overall comparative hourly energy efficiency of the azimuthal-altitude dual-axis over the 450 stationary solar photovoltaic energy system was found to be 74.2% efficient. Results from this research are quite promising and significant in satisfying the purpose of the research objectives and questions posed in the thesis. The new algorithms introduced in this research and the statistical measures applied to the modelling and simulation of a smart static solar photovoltaic grid system performance outperformed other previous works in reviewed literature. Based on this new implementation design of the online data logging systems for solar photovoltaic monitoring, it is possible for the first time to have online on-site information of the energy produced remotely, fault identification and rectification, maintenance and recovery time deployed as fast as possible. The results presented in this research as Internet of things (IoT) on smart solar grid systems are likely to offer real-life experiences especially both to the existing body of knowledge and the future solar photovoltaic energy industry irrespective of the study site location for the comparative solar photovoltaic tracking systems. While the thesis has contributed to the smart solar photovoltaic grid system, it has also highlighted areas of further research and the need to investigate more on improving the choice and quality design for solar photovoltaic modules. Finally, it has also made recommendations for further research in the minimization of the absolute or relative errors in the quality and design of the smart static solar photovoltaic module.

Sistema colaborativo para monitoramento remoto de equipamentos biomédicos para a videolaparoscopia através do framework web-engineering e o padrão MVC sistema vera-3C

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2015.

EasyInterface: a toolkit for the rapid development of GUIs for research prototype tools

During the lifetime of a research project, different partners develop several research prototype tools that share many common aspects. This is equally true for researchers as individuals and as groups: during a period of time they often develop several related tools to pursue a specific research line. Making research prototype tools easily accessible to the community is of utmost importance to promote the corresponding research, get feedback, and increase the tools’ lifetime beyond the duration of a specific project. One way to achieve this is to build graphical user interfaces (GUIs) that facilitate trying tools; in particular, with web-interfaces one avoids the overhead of downloading and installing the tools. Building GUIs from scratch is a tedious task, in particular for web-interfaces, and thus it typically gets low priority when developing a research prototype. Often we opt for copying the GUI of one tool and modifying it to fit the needs of a new related tool. Apart from code duplication, these tools will “live” separately, even though we might benefit from having them all in a common environment since they are related. This work aims at simplifying the process of building GUIs for research prototypes tools. In particular, we present EasyInterface, a toolkit that is based on novel methodology that provides an easy way to make research prototype tools available via common different environments such as a web-interface, within Eclipse, etc. It includes a novel text-based output language that allows to present results graphically without requiring any knowledge in GUI/Web programming. For example, an output of a tool could be (a structured version of) “highlight line number 10 of file ex.c” and “when the user clicks on line 10, open a dialog box with the text ...”. The environment will interpret this output and converts it to corresponding visual e_ects. The advantage of using this approach is that it will be interpreted equally by all environments of EasyInterface, e.g., the web-interface, the Eclipse plugin, etc. EasyInterface has been developed in the context of the Envisage [5] project, and has been evaluated on tools developed in this project, which include static analyzers, test-case generators, compilers, simulators, etc. EasyInterface is open source and available at GitHub2.

THE INFLUENCE OF URBAN FORM AT DIFFERENT GEOGRAPHICAL SCALES ON TRAVEL BEHAVIOR; EVIDENCE FROM U.S. CITIES

Suburban lifestyle is popular among American families, although it has been criticized for encouraging automobile use through longer commutes, causing heavy traffic congestion, and destroying open spaces (Handy, 2005). It is a serious concern that people living in low-density suburban areas suffer from high automobile dependency and lower rates of daily physical activity, both of which result in social, environmental and health-related costs. In response to such concerns, researchers have investigated the inter-relationships between urban land-use pattern and travel behavior within the last few decades and suggested that land-use planning can play a significant role in changing travel behavior in the long-term. However, debates regarding the magnitude and efficiency of the effects of land-use on travel patterns have been contentious over the years. Changes in built-environment patterns is potentially considered a long-term panacea for automobile dependency and traffic congestion, despite some researchers arguing that the effects of land-use on travel behavior are minor, if any. It is still not clear why the estimated impact is different in urban areas and how effective a proposed land-use change/policy is in changing certain travel behavior. This knowledge gap has made it difficult for decision-makers to evaluate land-use plans and policies. In addition, little is known about the influence of the large-scale built environment. In the present dissertation, advanced spatial-statistical tools have been employed to better understand and analyze these impacts at different scales, along with analyzing transit-oriented development policy at both small and large scales. The objective of this research is to: (1) develop scalable and consistent measures of the overall physical form of metropolitan areas; (2) re-examine the effects of built-environment factors at different hierarchical scales on travel behavior, and, in particular, on vehicle miles traveled (VMT) and car ownership; and (3) investigate the effects of transit-oriented development on travel behavior. The findings show that changes in built-environment at both local and regional levels could be very influential in changing travel behavior. Specifically, the promotion of compact, mixed-use built environment with well-connected street networks reduces VMT and car ownership, resulting in less traffic congestion, air pollution, and energy consumption.

Engineering a Quantum Many-body Hamiltonian with Trapped Ions

While fault-tolerant quantum computation might still be years away, analog quantum simulators offer a way to leverage current quantum technologies to study classically intractable quantum systems. Cutting edge quantum simulators such as those utilizing ultracold atoms are beginning to study physics which surpass what is classically tractable. As the system sizes of these quantum simulators increase, there are also concurrent gains in the complexity and types of Hamiltonians which can be simulated. In this work, I describe advances toward the realization of an adaptable, tunable quantum simulator capable of surpassing classical computation. We simulate long-ranged Ising and XY spin models which can have global arbitrary transverse and longitudinal fields in addition to individual transverse fields using a linear chain of up to 24 Yb+ 171 ions confined in a linear rf Paul trap. Each qubit is encoded in the ground state hyperfine levels of an ion. Spin-spin interactions are engineered by the application of spin-dependent forces from laser fields, coupling spin to motion. Each spin can be read independently using state-dependent fluorescence. The results here add yet more tools to an ever growing quantum simulation toolbox. One of many challenges has been the coherent manipulation of individual qubits. By using a surprisingly large fourth-order Stark shifts in a clock-state qubit, we demonstrate an ability to individually manipulate spins and apply independent Hamiltonian terms, greatly increasing the range of quantum simulations which can be implemented. As quantum systems grow beyond the capability of classical numerics, a constant question is how to verify a quantum simulation. Here, I present measurements which may provide useful metrics for large system sizes and demonstrate them in a system of up to 24 ions during a classically intractable simulation. The observed values are consistent with extremely large entangled states, as much as ~95% of the system entangled. Finally, we use many of these techniques in order to generate a spin Hamiltonian which fails to thermalize during experimental time scales due to a meta-stable state which is often called prethermal. The observed prethermal state is a new form of prethermalization which arises due to long-range interactions and open boundary conditions, even in the thermodynamic limit. This prethermalization is observed in a system of up to 22 spins. We expect that system sizes can be extended up to 30 spins with only minor upgrades to the current apparatus. These results emphasize that as the technology improves, the techniques and tools developed here can potentially be used to perform simulations which will surpass the capability of even the most sophisticated classical techniques, enabling the study of a whole new regime of quantum many-body physics.

Health, hygiene and biosecurity: tribal knowledge claims in the UK poultry industry

Since 1997 the world has been facing the threat of a human influenza pandemic that may be caused by an avian virus and the poultry industry around the globe has been grappling with the highly pathogenic strain of avian influenza H5N1, or in more informal terms bird flu. The UK poultry industry has lived with and through this threat and its consequences since 2005. This study investigates knowledge claims about health, hygiene and biosecurity as tools to ward off the threat from this virus. It takes a semi-ethnographic and discourse analytic approach to analyse a small corpus of semi-structured interviews carried out in the wake of one of the most publicised outbreaks of H5N1 in Suffolk in 2007. It reveals that claims about what best to do to protect flocks against the risk of disease are divided along lines imposed on the one hand by the structure of the industry and on the other by more 'tribal' lines drawn by knowledge and belief systems about purity and dirt, health and hygiene.

Optimal resource allocation and budgeting in libraries

Libraries since their inception 4000 years ago have been in a process of constant change. Although, changes were in slow motion for centuries, in the last decades, academic libraries have been continuously striving to adapt their services to the ever-changing user needs of students and academic staff. In addition, e-content revolution, technological advances, and ever-shrinking budgets have obliged libraries to efficiently allocate their limited resources among collection and services. Unfortunately, this resource allocation is a complex process due to the diversity of data sources and formats required to be analyzed prior to decision-making, as well as the lack of efficient integration methods. The main purpose of this study is to develop an integrated model that supports libraries in making optimal budgeting and resource allocation decisions among their services and collection by means of a holistic analysis. To this end, a combination of several methodologies and structured approaches is conducted. Firstly, a holistic structure and the required toolset to holistically assess academic libraries are proposed to collect and organize the data from an economic point of view. A four-pronged theoretical framework is used in which the library system and collection are analyzed from the perspective of users and internal stakeholders. The first quadrant corresponds to the internal perspective of the library system that is to analyze the library performance, and costs incurred and resources consumed by library services. The second quadrant evaluates the external perspective of the library system; user’s perception about services quality is judged in this quadrant. The third quadrant analyses the external perspective of the library collection that is to evaluate the impact of the current library collection on its users. Eventually, the fourth quadrant evaluates the internal perspective of the library collection; the usage patterns followed to manipulate the library collection are analyzed. With a complete framework for data collection, these data coming from multiple sources and therefore with different formats, need to be integrated and stored in an adequate scheme for decision support. A data warehousing approach is secondly designed and implemented to integrate, process, and store the holistic-based collected data. Ultimately, strategic data stored in the data warehouse are analyzed and implemented for different purposes including the following: 1) Data visualization and reporting is proposed to allow library managers to publish library indicators in a simple and quick manner by using online reporting tools. 2) Sophisticated data analysis is recommended through the use of data mining tools; three data mining techniques are examined in this research study: regression, clustering and classification. These data mining techniques have been applied to the case study in the following manner: predicting the future investment in library development; finding clusters of users that share common interests and similar profiles, but belong to different faculties; and predicting library factors that affect student academic performance by analyzing possible correlations of library usage and academic performance. 3) Input for optimization models, early experiences of developing an optimal resource allocation model to distribute resources among the different processes of a library system are documented in this study. Specifically, the problem of allocating funds for digital collection among divisions of an academic library is addressed. An optimization model for the problem is defined with the objective of maximizing the usage of the digital collection over-all library divisions subject to a single collection budget. By proposing this holistic approach, the research study contributes to knowledge by providing an integrated solution to assist library managers to make economic decisions based on an “as realistic as possible” perspective of the library situation.

Contribuição ao desenvolvimento de ontologias para processos petroquímicos : estudo de caso em uma planta DEA

In the last decades, the oil, gas and petrochemical industries have registered a series of huge accidents. Influenced by this context, companies have felt the necessity of engaging themselves in processes to protect the external environment, which can be understood as an ecological concern. In the particular case of the nuclear industry, sustainable education and training, which depend too much on the quality and applicability of the knowledge base, have been considered key points on the safely application of this energy source. As a consequence, this research was motivated by the use of the ontology concept as a tool to improve the knowledge management in a refinery, through the representation of a fuel gas sweetening plant, mixing many pieces of information associated with its normal operation mode. In terms of methodology, this research can be classified as an applied and descriptive research, where many pieces of information were analysed, classified and interpreted to create the ontology of a real plant. The DEA plant modeling was performed according to its process flow diagram, piping and instrumentation diagrams, descriptive documents of its normal operation mode, and the list of all the alarms associated to the instruments, which were complemented by a non-structured interview with a specialist in that plant operation. The ontology was verified by comparing its descriptive diagrams with the original plant documents and discussing with other members of the researchers group. All the concepts applied in this research can be expanded to represent other plants in the same refinery or even in other kind of industry. An ontology can be considered a knowledge base that, because of its formal representation nature, can be applied as one of the elements to develop tools to navigate through the plant, simulate its behavior, diagnose faults, among other possibilities

Music Learning Tools for Android Devices

In this paper, a musical learning application for mobile devices is presented. The main objective is to design and develop an application capable of offering exercises to practice and improve a selection of music skills, to users interested in music learning and training. The selected music skills are rhythm, melodic dictation and singing. The application includes an audio signal analysis system implemented making use of the Goertzel algorithm which is employed in singing exercises to check if the user sings the right musical note. This application also includes a graphical interface to represent musical symbols. A set of tests were conducted to check the usefulness of the application as musical learning tool. A group of users with different music knowledge have tested the system and reported to have found it effective, easy and accessible.