Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Minimal computation structures for visual information applications based on printed electronics

In the early nineties, Mark Weiser wrote a series of seminal papers that introduced the concept of Ubiquitous Computing. According to Weiser, computers require too much attention from the user, drawing his focus from the tasks at hand. Instead of being the centre of attention, computers should be so natural that they would vanish into the human environment. Computers become not only truly pervasive but also effectively invisible and unobtrusive to the user. This requires not only for smaller, cheaper and low power consumption computers, but also for equally convenient display solutions that can be harmoniously integrated into our surroundings. With the advent of Printed Electronics, new ways to link the physical and the digital worlds became available. By combining common printing techniques such as inkjet printing with electro-optical functional inks, it is starting to be possible not only to mass-produce extremely thin, flexible and cost effective electronic circuits but also to introduce electronic functionalities into products where it was previously unavailable. Indeed, Printed Electronics is enabling the creation of novel sensing and display elements for interactive devices, free of form factor. At the same time, the rise in the availability and affordability of digital fabrication technologies, namely of 3D printers, to the average consumer is fostering a new industrial (digital) revolution and the democratisation of innovation. Nowadays, end-users are already able to custom design and manufacture on demand their own physical products, according to their own needs. In the future, they will be able to fabricate interactive digital devices with user-specific form and functionality from the comfort of their homes. This thesis explores how task-specific, low computation, interactive devices capable of presenting dynamic visual information can be created using Printed Electronics technologies, whilst following an approach based on the ideals behind Personal Fabrication. Focus is given on the use of printed electrochromic displays as a medium for delivering dynamic digital information. According to the architecture of the displays, several approaches are highlighted and categorised. Furthermore, a pictorial computation model based on extended cellular automata principles is used to programme dynamic simulation models into matrix-based electrochromic displays. Envisaged applications include the modelling of physical, chemical, biological, and environmental phenomena.

Practices and trends of telework in the Portuguese industry: the results of surveys in the textile, metal and software sectors

The aim of the TeleRisk Project on labour relations and professional risks within the context of teleworking in Portugal – supported by IDICT – Institute for Development and Inspection of Working Conditions (Ministry of Labour), is to study the practices and forms of teleworking in the manufacturing sectors in Portugal. The project chose also the software industry as a reference sector, even though it does not intend to exclude from the study any other sector of activity or the so-called “hybrid” forms of work. However, the latter must have some of the characteristics of telework. The project thus takes into account the so-called “traditional” sectors of activity, namely textile and machinery and metal engineering (machinery and equipment), not usually associated to this type of work. However, telework could include, in the so-called “traditional” sectors, other variations that are not found in technologically based sectors. One of the evaluation methods for the dynamics associated to telework consisted in carrying out surveys by means of questionnaires, aimed at employers in the sectors analysed. This paper presents some of the results of those surveys. It is important to mention that, being a preliminary analysis, it means that it does not pretend to have exhausted all the issues in the survey, but has meant that it shows the bigger tendencies, in terms of teleworking practices, of the Portuguese industry.

Change Processes and Future Perspectives in the Knowledge Society. The Example of Clothing and Textile Industry

The paper examines change processes und future perspectives in the knowledge society. It presents the clothing and textile industry as an example for a transforming industry in a global economy. The paper reviews existing future studies, which have surveyed change processes and future developments in the clothing and textile industry. Main goals of the review are the identification of changes in work and the description of the restructuring of global value chains within the clothing and textile sector. The paper also highlights major current trends, drivers of change and future prospects in this sector.

Futures of automobile industry and challenges on sustainable development and mobility

Portugal had only very few foresight exercises on the automobile sector, and the most recent one was a survey held in a project on work organisation systems in the automobile industry, its recent historical paths and the special strategies of location of companies (the WorTiS project). This involved several teams with different disciplinary backgrounds and from two Portuguese universities. The provisional main results of the first round of a Delphi survey held in Portugal on the automotive sector were already published, but a further analysis was not yet done. This foresight survey was done under the WorTiS project, developed in 2004 by IET – Research Centre on Enterprise and Work Innovation (at FCT-UNL), and financed by the Portuguese Ministry of Science and Technology. Some of this experience on foresight analysis is also been transferred to other projects, namely the WORKS project on work organisation restructuring in the knowledge society that received the support from EC and still is running. The majority of experts considered having an average of less knowledge in almost all the scenario topics presented. This means that information on the automotive industry is not spread enough among academics or experts in related fields (regional scientists, innovation economists, engineers, sociologists). Some have a good knowledge but in very specialised fields. Others have expertise on foresight, or macroeconomics, or management sciences, but feel insecure on issues related with futures of automobile sector. Nevertheless, we considered specially the topics where the experts considered themselves to have some knowledge. There were no “irrelevant” topics considered as such by the expert panel. There are also no topics that are not considered a need for co-operation. The lack of technological infrastructures was not considered as a hindered factor for the accomplishment of any scenario. The experts’ panel considered no other international competence besides US, Japan or Germany in these topics. Special focus will be made in this paper on the topic 2. Public policy and automobile industries, and more specifically on the technological and/or research policies issues, where one can specify the automobile’s role in transport policies with further implications like environment, safety, energy, mobility.

Characterization and identification of printed objects

A study about the physical appearance of pre-photographic, photomechanical, photographic and digital positive reflective prints was made, relating the obtained images with the history, materials and technology used to create them. The studied samples are from the Image Permanence Institute (IPI) study collection. The digital images were obtained using a digital SLR on a copystand and a compound light microscope, with different lighting angles (0º, 45ºand 90º) and magnifications from overall views on the copystand down to a 20x objective lens on the microscope. Most of these images were originally created by IPI for www.digitalsamplebook.org, a web tool for teaching print identification, and will be used on the www.graphicsatlas.org website, along with textual information on identification, technology and history information about these reproduction processes.

Water treatments in semi-closed cooling circuits and their impact on the quality of effluents discharged by CERN

Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente, Gestão de Sistemas Ambientais

Water treatments in semi-closed cooling circuits and their impact on the quality of effluents discharged by CERN

Mestrado integrado em Engenharia do Ambiente, perfil: Gestão de Sistemas Ambientais

The simple economics of risk-sharing agreements between the NHS and the pharmaceutical industry

The Janssen-Cilag proposal for a risk-sharing agreement regarding bortezomib received a welcome signal from NICE. The Office of Fair Trading report included risk-sharing agreements as an available tool for the National Health Service. Nonetheless, recent discussions have somewhat neglected the economic fundamentals underlying risk-sharing agreements. We argue here that risk-sharing agreements, although attractive due to the principle of paying by results, also entail risks. Too many patients may be put under treatment even with a low success probability. Prices are likely to be adjusted upward, in anticipation of future risk-sharing agreements between the pharmaceutical company and the third-party payer. An available instrument is a verification cost per patient treated, which allows obtaining the first-best allocation of patients to the new treatment, under the risk sharing agreement. Overall, the welfare effects of risk-sharing agreements are ambiguous, and care must be taken with their use.

Novel techniques for the design and practical realization of switched-capacitor circuits in deep-submicron CMOS technologies

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Low-voltage low-power CMOS analogue circuits for Gaussian and uniform noise generation

IEEE International Symposium on Circuits and Systems, MAY 25-28, 2003, Bangkok, Thailand. (ISI Web of Science)

Cork stoppers industry: defining appropriate mould colonization

Aims: The main aims of this work were the study of cork slabs moulds colonization and the evaluation of the moulds diversity during cork processing steps, in different cork stoppers factories. Simultaneously, it was envisaged to perform an evaluation of the air quality. Methods and Results: Moulds were isolated and identified from cork slabs and cork samples in four cork stoppers factories. The identification was based on morphological characters and microscopic observation of the reproductive structures. Airborne spore dispersion was assessed using a two stage Andersen sampler. It was observed that Chrysonilia sitophila was always present on cork slabs during the maturing period, but mould diversity appeared to be associated to the different factory configurations and processing steps. Conclusions: Spatial separation of the different steps of the process, including physical separation of the maturation step, is essential to guarantee high air quality and appropriate cork slabs colonization, i.e. C. sitophila dominance. The sorting and cutting of the edges of cork slabs after boiling and before the maturing step is also recommended. Significance and Impact of the Study: This study is very important for the cork stopper industry as it gives clear indications on how to keep high quality manufacturing standards and how to avoid occupational health problems.

Cork stoppers industry: defining appropriate mould colonization

Aims: The main aims of this work were the study of cork slabs moulds colonization and the evaluation of the moulds diversity during cork processing steps, in different cork stoppers factories. Simultaneously, it was envisaged to perform an evaluation of the air quality. Methods and Results: Moulds were isolated and identified from cork slabs and cork samples in four cork stoppers factories. The identification was based on morphological characters and microscopic observation of the reproductive structures. Airborne spore dispersion was assessed using a two stage Andersen sampler. It was observed that Chrysonilia sitophila was always present on cork slabs during the maturing period, but mould diversity appeared to be associated to the different factory configurations and processing steps. Conclusions: Spatial separation of the different steps of the process, including physical separation of the maturation step, is essential to guarantee high air quality and appropriate cork slabs colonization, i.e. C. sitophila dominance. The sorting and cutting of the edges of cork slabs after boiling and before the maturing step is also recommended. Significance and Impact of the Study: This study is very important for the cork stopper industry as it gives clear indications on how to keep high quality manufacturing standards and how to avoid occupational health problems.

Is ambient intelligence a truly human-centric paradigm in industry? Current research and application scenario

Based on the paper presented at the International Conference “Autonomous Systems: inter-relations of technical and societal issues”, organized by IET with the support of the Portuguese-German collaboration project on “Technology Assessment of Autonomous Robotics” (DAAD/CRUP) at FCT-UNL, Biblioteca da UNL, Campus de Caparica on 5-6 November 2009.

Dual-phase inkjet printed electrochromic layers based on PTA and WOX/TiO2 nanoparticles for electrochromic applications

Thesis submitted in Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa for the degree of Master in Materials Engineering