Reasoning about change over time: Actions, events and their effects

This paper presents a new formalism for reasoning about change over time. The formalism derives a clean separation between the notion of states and situations. It allows more flexible temporal causal relationships than do other formalisms for reasoning about causal change, such as the situation calculus and the event calculus. It includes effects that start during, immediately after, or some time after their causes, and which end before, simultaneously with, or after their causes. A formal distinction between actions, action-types and events is proposed, which allows the expression of common-sense causal laws at high level. It is shown how these laws can be used to deduce state change over time at low level, when events occur under certain preconditions hold. Two problems that beset most interval-based temporal systems, i.e., the so-called dividing instant problem and intermingling problem, are absent from the formalism.

Stratégie de gestion de stocks dans un réseau collaboratif

Le contenu de ce mémoire traite du problème de gestion des stocks dans un réseau constitué de plusieurs sites de stockage de produits. Chaque site i gère son stock de manière autonome pour satisfaire une demande déterministe sur un horizon donné. Un stock maximum Si est tenu à chaque site i. Lorsque le point de commande si est atteint, une commande de taille Qi est placée au centre de distribution qui alimente tous les sites. Qi est telle que Qi = Si - si. La quantité Qi est livrée dans un délai connu Li. Si, à un instant donné, la demande Di au site i excède la quantité en main, le site i fait appel à un ou à plusieurs autres sites du réseau pour le transfert d’une quantité Xji (j = 1, 2, …, n). Ce transfert s’effectue selon un certain nombre de règles de jeu qui tiennent compte des coûts de transfert, de stockage, d’approvisionnement et de pénurie. Ce mémoire examine six principales contributions publiées dans la littérature pour évaluer les contributions d’un modèle collaboratif aux performances, en termes de coûts et de niveau de service, de chaque site du réseau. Cette investigation se limite à une configuration du réseau à deux échelons : un entrepôt central et n (n > 2) sites de stockage. Le cas des pièces de rechange, caractérisé par une demande aléatoire, est examiné dans trois chapitres de ce mémoire. Une autre application de ces stratégies à la collaboration entre n centres hospitaliers (n > 2) est également examinée dans ce travail.

Potential of incorporating ocean currents in fishing vessels

The fishing sector has been suffering a strong setback, with reduction in fishing stocks and more recently with the reduction of the fishing fleet. One of the most important factors for this decrease, is related to the continuous difficulty to find fish with quality and quantity, allowing the sector work constantly all year long. However other factors are affecting negatively the fishing sector, in particular the huge maintenance costs of the ships and the high diary costs that are necessary for daily work of each vessel. One of the main costs associated with daily work, is the fuel consumption. As an example, one boat with 30 meters working around 17 hours every day, consumes 2500 liters of fuel/day. This value is very high taking into account the productivity of the sector. Supporting this premise was developed a project with the aim of reducing fuel consumption in fishing vessels. The project calls “ShipTrack” and aims the use of forecasts of ocean currents in the routes of the ships. The objective involves the use of ocean currents in favor, and avoiding ocean currents against, taking into account the course of the ship, in order to reduce fuel consumption and increase the ship speed. The methodology used underwent the creation of specific Software, in order to optimize routes, taking into account the forecasts of the ocean currents. These forecasts are performed using numerical modelling, methodology that become more and more important in all communities, because through the modeling, it can be analyzed, verified and predicted important phenomena to all the terrestrial ecosystem. The objective was the creation of Software, however its development was not completed, so it was necessary a new approach in order to verify the influence of the ocean currents in the navigation of the fishing ship "Cruz de Malta". In this new approach, and during the various ship routes it was gathering a constant information about the instant speed, instantaneous fuel consumption, the state of the ocean currents along the course of the ship, among other factors. After 4 sea travels and many routes analyzed, it was possible to verify the influence of the ocean currents in the Ship speed and in fuel consumption. For example, in many stages of the sea travels it was possible to verify an increase in speed in zones where the ocean currents are in favor to the ships movements. This incorporation of new data inside the fishing industry, was seen positively by his players, which encourages new developments in this industry.

Telefone celular como recurso didático no ensino de física

Currently, there are several factors that suggest the need for the school to review their teaching practices: 1) the speed with which information and communication technologies - ICT are spread throughout society and in particular the increasing use of mobile phone by groups in school age;2) the scope and power of integrating ICT convergence of these technological resources, that can be used as teaching resources; 3) the fact that nowadays students grow up in a technological world and make their thought patterns operating in accordance with this reality, etc... In contrast, there are educators unrelated to the appropriation of ICT, presenting, in many cases, resistance to them. There is a incongruity between how individuals use mobile phones, for example, inside and outside the school. There are also educators, schools, public educational departments claiming to be against mobile phones usage; bills and laws regulating their use in educational space, etc... For these controversial aspects we have investigated whether cell phone use as a teaching resource practices mediator in Physics teaching. For this purpose, we developed an applied research with qualitative and exploratory approach about the objectives, adopting participant and the technical procedures. A documental and bibliographical research was taken. First of all, data were collected by e-mail, through a multiple choice questionnaire applied to private school teachers in southern Brazil, to identify the researched reality and develop teaching practices likely to be applied in the studied corpus. Then, such practices were applied in workshops located in Curitiba and Ponta Grossa cities, in Paraná state. During the application, data was collected by the researcher's field notes. Then, we recorded chats about the workshops from an instant message software (msn messenger), and we took photographic records. Data analysis was performed by triangulation. The results showed the need to enhance continuing education courses for teachers and the production of national academic literature, such as articles, dissertations, theses and books that explore the theme of the cell phone and its functionality in educational spaces as an educational resource mediator in the practices of teaching Physics. They are available in the dissertation defended in 2012, and now are also systematized in this book, organized as a final product of research conducted by the Graduate Program in Science Education and Technology UTFPR, Campus Ponta Grossa-PR.

Caracterização da fração de óleo de café extraido de grãos sadios, verdes e preto-verdes, e a influência na adição deste na sensorial de café liofilizado

The application of roasted coffee oil directly on freeze dried soluble coffee is used to minimize the formation of fine poder which adhere on the glass packaging, which results in a negative visual appearance, as well as contributes to the aromatic impact when opening the packaging. The coffee oil is considered a high cost product obtained from Arabica coffee beans, previosly selected and roasted, by mechanical press. In Brazil the coffee culture and marketing results in the selection of the beans by type of defects and beverage, the volume of exportation works with types of coffee beans with low quantity of defects resulting in a large volume of defective coffee beans trading on the domestic market. Nevertheless, coffees which present defective grains like green, black-green beans present differences in the final flavor of the roasted coffees. The aim of this study was to evaluate the chemical composition of the oils extracted from grains classified as normal, green and black-green, at natural and roasted conditions. The oil was obtained by cold extraction using solvents of different polarities, and yield was calculated as well as its fatty acid composition. The oil of the roasted defective coffee grains was also used to prepare drinks of lyophilized soluble coffee in order to verify if jugdes were able to differenciate the sensory caracteristics of the beverages, in comparison to the product prepared using commercial oil obtained by mechanical pressing. Samples of oil obtained from defective grains showed similar extraction yields compared to hot extraction. Cromatographs of oils of the deffective grains did not showed differences compared to normal grains. In relation to the sensory analysis of the soluble coffee beverages, it was verified that when applying oils of light roasted black-green beans or oils of medium and dark roasted green beans obtained with rapid process, judges had more difficulties to distinguish differences between samples. Economic viability demonstrated that with the actual prices of the coffee beans, the use of defective beans could reduce in 64% the costs of the raw beans.

ENGINEERING DIGITAL SHARING PLATFORM TO CREATE SOCIAL CONTAGION: EVIDENCE FROM LARGE SCALE RANDOMIZED FIELD EXPERIMENTS

Peer-to-peer information sharing has fundamentally changed customer decision-making process. Recent developments in information technologies have enabled digital sharing platforms to influence various granular aspects of the information sharing process. Despite the growing importance of digital information sharing, little research has examined the optimal design choices for a platform seeking to maximize returns from information sharing. My dissertation seeks to fill this gap. Specifically, I study novel interventions that can be implemented by the platform at different stages of the information sharing. In collaboration with a leading for-profit platform and a non-profit platform, I conduct three large-scale field experiments to causally identify the impact of these interventions on customers’ sharing behaviors as well as the sharing outcomes. The first essay examines whether and how a firm can enhance social contagion by simply varying the message shared by customers with their friends. Using a large randomized field experiment, I find that i) adding only information about the sender’s purchase status increases the likelihood of recipients’ purchase; ii) adding only information about referral reward increases recipients’ follow-up referrals; and iii) adding information about both the sender’s purchase as well as the referral rewards increases neither the likelihood of purchase nor follow-up referrals. I then discuss the underlying mechanisms. The second essay studies whether and how a firm can design unconditional incentive to engage customers who already reveal willingness to share. I conduct a field experiment to examine the impact of incentive design on sender’s purchase as well as further referral behavior. I find evidence that incentive structure has a significant, but interestingly opposing, impact on both outcomes. The results also provide insights about senders’ motives in sharing. The third essay examines whether and how a non-profit platform can use mobile messaging to leverage recipients’ social ties to encourage blood donation. I design a large field experiment to causally identify the impact of different types of information and incentives on donor’s self-donation and group donation behavior. My results show that non-profits can stimulate group effect and increase blood donation, but only with group reward. Such group reward works by motivating a different donor population. In summary, the findings from the three studies will offer valuable insights for platforms and social enterprises on how to engineer digital platforms to create social contagion. The rich data from randomized experiments and complementary sources (archive and survey) also allows me to test the underlying mechanism at work. In this way, my dissertation provides both managerial implication and theoretical contribution to the phenomenon of peer-to-peer information sharing.

SMS length and function: A comparative study of 13- to 18-year-old girls and boys

International audience

Reimagining the Public Library as Public Space

Once regarded as the public’s center of knowledge and information, public libraries today are challenged by the rise of mobile technology and the Internet. Information behavior of everyday library patrons have transformed to rely on instant access of information through Google search instead of the resources housed in their local libraries. The focus of public library design is shifting from storing & protecting valuable resources (books) to the experience of an active public space of learning, engaging and reading. This thesis reimagines a public library branch in East Baltimore City by evaluating the architecture of public library examples of the past and of today. By understanding the user experience of the three key elements of public library design – procession, services & flexible space - a new public library design that engages and responds to the local community can be proposed.

Air Entrainment in the Turbulent Ship Hull Boundary Layer

Turbulent fluctuations in the vicinity of the water free surface along a flat, vertically oriented surface-piercing plate are studied experimentally using a laboratory-scale experiment. In this experiment, a meter-wide stainless steel belt travels horizontally in a loop around two rollers with vertically oriented axes, which are separated by 7.5 meters. This belt device is mounted inside a large water tank with the water level set just below the top edge of the belt. The belt, rollers, and supporting frame are contained within a sheet metal box to keep the device dry except for one 6-meter-long straight test section between rollers. The belt is launched from rest with an acceleration of up to 3-g in order to quickly reach steady state velocity. This creates a temporally evolving boundary layer analogous to the spatially evolving boundary layer created along a flat-sided ship moving at the same velocity, with a length equivalent to the length of belt that has passed the measurement region since the belt motion began. Surface profile measurements in planes normal to the belt surface are conducted using cinematic Laser Induced Fluorescence and quantitative surface profiles are extracted at each instant in time. Using these measurements, free surface fluctuations are examined and the propagation behavior of these free surface ripples is studied. It is found that free surface fluctuations are generated in a region close to the belt surface, where sub-surface velocity fluctuations influence the behavior of these free surface features. These rapidly-changing surface features close to the belt appear to lead to the generation of freely-propagating waves far from the belt, outside the influence of the boundary layer. Sub-surface PIV measurements are performed in order to study the modification of the boundary layer flow field due to the effects of the water free surface. Cinematic planar PIV measurements are performed in horizontal planes parallel to the free surface by imaging the flow from underneath the tank, providing streamwise and wall-normal velocity fields. Additional planar PIV experiments are performed in vertical planes parallel to the belt surface in order to study the bahvior of streamwise and vertical velocity fields. It is found that the boundary layer grows rapidly near the free surface, leading to an overall thicker boundary layer close to the surface. This rapid boundary layer growth appears to be linked to a process of free surface bursting, the sudden onset of free surface fluctuations. Cinematic white light movies are recorded from beneath the water surface in order to determine the onset location of air entrainment. In addition, qualitative observations of these processes are made in order to determine the mechanisms leading to air entrainment present in this flow.

Desenvolvimento de tubulação em compósito polimérico revestida externamente com poliuretano de alta densidade

Pipelines for the transport of crude oil from the production wells to the collecting stations are named production lines . These pipes are subjected to chemical and electrochemical corrosion according to the environment and the type of petroleum transported. Some of these lines, depending upon the composition of the fluid produced, may leak within less than one year of operation due to internal corrosion. This work aims at the development of composite pipes with an external protecting layer of high density polyurethane for use in production lines of onshore oil wells, meeting operational requirements. The pipes were manufactured using glass fibers, epoxy resin, polyester resin, quartz sand and high density polyurethane. The pipes were produced by filament winding with the deposition of high density polyurethane on the external surface and threaded ends (API 15 HR/PM-VII). Three types of pipes were manufactured: glass/epoxy, glass/epoxy with an external polyurethane layer and glass/epoxy with an intermediate layer of glass fiber, polyester, sand and with an external polyurethane layer. The three samples were characterized by Scanning Electronic Microscopy (SEM) and for the determination of constituent content. In addition, the following tests were conducted: hydrostatic test, instant rupture, shorttime failure pressure, Gardner impact, transverse stiffness and axial tension. Field tests were conducted in Mossoró RN (BRAZIL), where 1,677 meters of piping were used. The tests results of the three types of pipes were compared in two events: after two months from manufacturing of the samples and after nine months of field application. The results indicate that the glass/epoxy pipes with an intermediate layer of fiber glass composite, polyester e sand and with an external layer of high density polyurethane showed superior properties as compared to the other two and met the requirements of pressure class, axial tensile strength, transverse stiffness, impact and environmental conditions, for onshore applications as production lines

Effect of pre-treatments and post-treatments on drying products

Freeze drying technology can give good quality attributes of vegetables and fruits in terms of color, nutrition, volume, rehydration kinetics, stability during storage, among others, when compared with solely air dried ones. However, published scientific works showed that treatments applied before and after air dehydration are effective in food attributes, improving its quality. Therefore, the hypothesis of the present thesis was focus in a vast research of scientific work that showed the possibility to apply a pre-treatment and a post-treatment to food products combined with conventional air drying aiming being close, or even better, to the quality that a freeze dried product can give. Such attributes are the enzymatic inactivation, stability during storage, drying and rehydration kinetics, color, nutrition, volume and texture/structure. With regard to pre-treatments, the ones studied along the present work were: water blanching, steam blanching, ultrasound, freezing, high pressure and osmotic dehydration. High electric pulsed field was also studied but the food attributes were not explained on detailed. Basically, water and steam blanching showed to be adequate to inactivate enzymes in order to prevent enzymatic browning and preserve the product quality during long storage periods. With regard to ultrasound pre-treatment the published results pointed that ultrasound is an effective pre-treatment to reduce further drying times, improve rehydration kinetics and color retention. On the other hand, studies showed that ultrasound allow sugars losses and, in some cases, can lead to cell disruption. For freezing pre-treatment an overall conclusion was difficult to draw for some food attributes, since, each fruit or vegetable is unique and freezing comprises a lot of variables. However, for the studied cases, freezing showed to be a pre-treatment able to enhance rehydration kinetics and color attributes. High pressure pre-treatment showed to inactivate enzymes improving storage stability of food and showed to have a positive performance in terms of rehydration. For other attributes, when high pressure technology was applied, the literature showed divergent results according with the crops used. Finally, osmotic dehydration has been widely used in food processing to incorporate a desired salt or sugar present in aqueous solution into the cellular structure of food matrix (improvement of nutrition attribute). Moreover, osmotic dehydration lead to shorter drying times and the impregnation of solutes during osmose allow cellular strengthens of food. In case of post-treatments, puffing and a new technology denominated as instant controlled pressure drop (DIC) were reported in the literature as treatments able to improve diverse Abstract Effect of Pre-treatments and Post-treatments on Drying Products x food attributes. Basically, both technologies are similar where the product is submitted to a high pressure step and the process can make use of different heating mediums such as CO2, steam, air and N2. However, there exist a significant difference related with the final stage of both which can comprise the quality of the final product. On the other hand, puffing and DIC are used to expand cellular tissues improving the volume of food samples, helping in rehydration kinetics as posterior procedure, among others. The effectiveness of such pre and/or post-treatments is dependent on the state of the vegetables and fruits used which are also dependent of its cellular structure, variety, origin, state (fresh, ripe, raw), harvesting conditions, etc. In conclusion, as it was seen in the open literature, the application of pre-treatments and post-treatments coupled with a conventional air dehydration aim to give dehydrated food products with similar quality of freeze dried ones. Along the present Master thesis the experimental data was removed due to confidential reasons of the company Unilever R&D Vlaardingen

A RBES for Generating Automatically Personalized Menus

Food bought at supermarkets in, for instance, North America or the European Union, give comprehensive information about ingredients and allergens. Meanwhile, the menus of restaurants are usually incomplete and cannot be normally completed by the waiter. This is specially important when traveling to countries with a di erent culture. A curious example is "calamares en su tinta" (squid in its own ink), a common dish in Spain. Its brief description would be "squid with boiled rice in its own (black) ink", but an ingredient of its sauce is flour, a fact very important for celiacs. There are constraints based on religious believes, due to food allergies or to illnesses, while others just derive from personal preferences. Another complicated situation arise in hospitals, where the doctors' nutritional recommendations have to be added to the patient's usual constraints. We have therefore designed and developed a Rule Based Expert System (RBES) that can address these problems. The rules derive directly from the recipes of the di fferent dishes and contain the information about the required ingredients and ways of cooking. In fact, we distinguish: ingredients and ways of cooking, intermediate products (like sauces, that aren't always made explicit) and final products (the dishes listed in the menu of the restaurant). For a certain restaurant, customer and instant, the input to the RBES are: actualized stock of ingredients and personal characteristics of that customer. The RBES then prepares a "personalized menu" using set operations and knowledge extraction (thanks to an algebraic inference engine [1]). The RBES has been implemented in the computer algebra system MapleTM2015. A rst version of this work was presented at "Applications of Computer Algebra 2015" (ACA'2015) conference. The corresponding abstract is available at [2].

Características del Ciberbullying en los estudiantes de la Unidad Educativa César Dávila Andrade. Cuenca. Ecuador. 2013

Antecedentes: En la actualidad los adolescentes se desenvuelven a la perfección en el uso de la tecnología de la información y comunicación. El internet y la telefonía móvil se han constituido en instrumentos de primer orden para su formación, desarrollo, socialización y diversión; sin embargo, en ocasiones puede que no hagan un buen uso de la tecnología y más bien algunos adolescentes, con una personalidad agresora, se valen de estos medios para perturbar a sus compañeros y realizar nuevas modalidades de acoso escolar. Objetivo: Determinar las características de ciberbullying en los estudiantes de la Unidad Educativa “César Dávila Andrade”. Metodología: Se realizó un estudio cuantitativo descriptivo, el universo estuvo conformado por todos los estudiantes del ciclo básico, a quiénes se les aplicó un formulario modificado del Protocolo de Actuación Escolar ante Ciberbullying de EMICI (Equipo Multidisciplinar de Investigación sobre Ciberbullying); para la tabulación y procesamiento de la información se utilizó el programa SPSS versión 15; como medidas estadísticas se emplearon: frecuencias, medias, porcentajes; para la presentación de los datos se elaboraron tablas de acuerdo a los objetivos y, para el análisis de la información se utilizó estadística descriptiva. Resultados: El ciberbullying se presenta en el 11% de los alumnos: 9.5% en el sexo masculino y 15% en el sexo femenino; el medio más utilizado para acosar son las redes sociales 52%, seguido de mensajes por celular 21.7%; dentro de las consecuencias académicas el 34.2% tiene deseos de no ir al colegio, el 47.4% ha bajado sus calificaciones; en relación a problemas familiares el 42% tiene problemas con sus padres y hermanos y dentro de los problemas psicológicos cerca del 40% se siente deprimido y, la tercera parte de las víctimas de ciberbullying declaran que “creen que es mejor desaparecer”. Conclusiones: Se detectaron casos de ciberbullying con predominio en el sexo femenino evidenciándose un componente de género

Real-time load-side control of electric power systems

Two trends are emerging from modern electric power systems: the growth of renewable (e.g., solar and wind) generation, and the integration of information technologies and advanced power electronics. The former introduces large, rapid, and random fluctuations in power supply, demand, frequency, and voltage, which become a major challenge for real-time operation of power systems. The latter creates a tremendous number of controllable intelligent endpoints such as smart buildings and appliances, electric vehicles, energy storage devices, and power electronic devices that can sense, compute, communicate, and actuate. Most of these endpoints are distributed on the load side of power systems, in contrast to traditional control resources such as centralized bulk generators. This thesis focuses on controlling power systems in real time, using these load side resources. Specifically, it studies two problems.

(1) Distributed load-side frequency control: We establish a mathematical framework to design distributed frequency control algorithms for flexible electric loads. In this framework, we formulate a category of optimization problems, called optimal load control (OLC), to incorporate the goals of frequency control, such as balancing power supply and demand, restoring frequency to its nominal value, restoring inter-area power flows, etc., in a way that minimizes total disutility for the loads to participate in frequency control by deviating from their nominal power usage. By exploiting distributed algorithms to solve OLC and analyzing convergence of these algorithms, we design distributed load-side controllers and prove stability of closed-loop power systems governed by these controllers. This general framework is adapted and applied to different types of power systems described by different models, or to achieve different levels of control goals under different operation scenarios. We first consider a dynamically coherent power system which can be equivalently modeled with a single synchronous machine. We then extend our framework to a multi-machine power network, where we consider primary and secondary frequency controls, linear and nonlinear power flow models, and the interactions between generator dynamics and load control.

(2) Two-timescale voltage control: The voltage of a power distribution system must be maintained closely around its nominal value in real time, even in the presence of highly volatile power supply or demand. For this purpose, we jointly control two types of reactive power sources: a capacitor operating at a slow timescale, and a power electronic device, such as a smart inverter or a D-STATCOM, operating at a fast timescale. Their control actions are solved from optimal power flow problems at two timescales. Specifically, the slow-timescale problem is a chance-constrained optimization, which minimizes power loss and regulates the voltage at the current time instant while limiting the probability of future voltage violations due to stochastic changes in power supply or demand. This control framework forms the basis of an optimal sizing problem, which determines the installation capacities of the control devices by minimizing the sum of power loss and capital cost. We develop computationally efficient heuristics to solve the optimal sizing problem and implement real-time control. Numerical experiments show that the proposed sizing and control schemes significantly improve the reliability of voltage control with a moderate increase in cost.

Switching Patterns and Steady-State Analysis of Grid-Connected and Stand-Alone Single-Stage Boost-Inverters for PV Applications

Renewable or sustainable energy (SE) sources have attracted the attention of many countries because the power generated is environmentally friendly, and the sources are not subject to the instability of price and availability. This dissertation presents new trends in the DC-AC converters (inverters) used in renewable energy sources, particularly for photovoltaic (PV) energy systems. A review of the existing technologies is performed for both single-phase and three-phase systems, and the pros and cons of the best candidates are investigated. In many modern energy conversion systems, a DC voltage, which is provided from a SE source or energy storage device, must be boosted and converted to an AC voltage with a fixed amplitude and frequency. A novel switching pattern based on the concept of the conventional space-vector pulse-width-modulated (SVPWM) technique is developed for single-stage, boost-inverters using the topology of current source inverters (CSI). The six main switching states, and two zeros, with three switches conducting at any given instant in conventional SVPWM techniques are modified herein into three charging states and six discharging states with only two switches conducting at any given instant. The charging states are necessary in order to boost the DC input voltage. It is demonstrated that the CSI topology in conjunction with the developed switching pattern is capable of providing the required residential AC voltage from a low DC voltage of one PV panel at its rated power for both linear and nonlinear loads. In a micro-grid, the active and reactive power control and consequently voltage regulation is one of the main requirements. Therefore, the capability of the single-stage boost-inverter in controlling the active power and providing the reactive power is investigated. It is demonstrated that the injected active and reactive power can be independently controlled through two modulation indices introduced in the proposed switching algorithm. The system is capable of injecting a desirable level of reactive power, while the maximum power point tracking (MPPT) dictates the desirable active power. The developed switching pattern is experimentally verified through a laboratory scaled three-phase 200W boost-inverter for both grid-connected and stand-alone cases and the results are presented.