Modelling the Provenance of Data in Autonomous Systems

Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be demonstrably rigorous for the result to be deemed reliable. A provenance system supports applications in recording adequate documentation about process executions to answer queries regarding provenance, and provides functionality to perform those queries. Several provenance systems are being developed, but all focus on systems in which the components are textitreactive, for example Web Services that act on the basis of a request, job submission system, etc. This limitation means that questions regarding the motives of autonomous actors, or textitagents, in such systems remain unanswerable in the general case. Such questions include: who was ultimately responsible for a given effect, what was their reason for initiating the process and does the effect of a process match what was intended to occur by those initiating the process? In this paper, we address this limitation by integrating two solutions: a generic, re-usable framework for representing the provenance of data in service-oriented architectures and a model for describing the goal-oriented delegation and engagement of agents in multi-agent systems. Using these solutions, we present algorithms to answer common questions regarding responsibility and success of a process and evaluate the approach with a simulated healthcare example.

Study of the innovation management process in the development of a discontinuous product case: Motorola RAZR V3

This study will collaborate by bringing some detailed analysis and findings on a special case study of a discontinuous product development process, trying to answer how the discontinuous product development process takes place and the main factors that influence this process. Additionally, it tried to explore some explanations for the difficulties generally faced by the companies to sustain innovation. The case is about the Motorola cell phone RAZR V3, launched in 2004. RAZR V3 was noted by industry experts as game-changing feat of design and engineering, selling more than 110 million units by end of 2008 and recognized as one of the fastest selling products in the industry. The study uses a single case methodology, which is appropriate given the access to a phenomenon that happened inside corporate dominium and it is not easily accessed for academic studies, besides being a rare case of success in the cellular phone industry. In order to magnify the understanding of the phenomenon, the exploration was extended to contrast the RAZR development process and the standard product development process in Motorola. Additionally, it was integrated a longitudinal reflection of the company product development evolution until the next breakthrough product hitting the cellular phone industry. The result of the analysis shows that discontinuous products do not fit well traditional product development process (in this case, stage-gate). This result reinforces the results obtained on previous studies of discontinuous product development conducted by other authors. Therefore, it is clear that the dynamics of discontinuous product development are different from the continuous product development, requiring different treatment to succeed. Moreover, this study highlighted the importance of the management influence in all the phases of the process as one of the most important factors, suggesting a key component to be carefully observed in future researches. Some other findings of the study that were considered very important for a discontinuous product development process: have champions (who believe and protect the project) and not only one champion; create a right atmosphere to make flow the creative process; question paradigms to create discontinuous products; simple guiding light to focus the team; company culture that accepts and knows how to deal with risks; and undoubtedly, have a company strategy that understands the different dynamics of continuous and discontinuous product development processes and treat them accordingly.

A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Modelling the effect of the physical and chemical characteristics of the materials used as casing layers on the production parameters of Agaricus bisporus

The aim of this research was to show the mathematical data obtained through the correlations found between the physical and chemical characteristics of casing layers and the final mushrooms' properties. For this purpose, 8 casing layers were used: soil, soil + peat moss, soil + black peat, soil + composted pine bark, soil + coconut fibre pith, soil + wood fibre, soil + composted vine shoots and, finally, the casing of La Rioja subjected to the ruffling practice. The conclusion that interplays in the fructification process with only the physical and chemical characteristics of casing are complicated was drawn. The mathematical data obtained in earliness could be explained in non-ruffled cultivation. The variability observed for the mushroom weight and the mushroom diameter variables could be explained in both ruffled and non-ruffled cultivations. Finally, the properties of the final quality of mushrooms were established by regression analysis.

Stochastic modelling considering ionospheric scintillation effects on GNSS relative and point positioning

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Investigation on Surface Finishing of Components Ground with Lapping Kinematics: Lapgrinding Process

Over the last three decades, researchers have responded to the demands of industry to manufacture mechanical components with geometrical tolerance, dimensional tolerance, and surface finishing in nanometer levels. The new lapgrinding process developed in Brazil utilizes lapping kinematics and a flat grinding wheel dressed with a single-point diamond dresser in agreement with overlap factor (U(d)) theory. In the present work, the influences of different U(d) values on dressing (U(d) = 1, 3 e 5) and grain size of the grinding wheel made of silicon carbide (SiC = 800, 600 e 300 mesh) are analyzed on surface finishing of stainless steel AISI 420 flat workpieces submitted to the lapgrinding process. The best results, obtained after 10 minutes of machining, were: average surface roughness (Ra) 1.92 nm; 1.19 mu m flatness deviation of 25.4 mm diameter workpieces and mirrored surface finishing. Given the surface quality achieved, the lapgrinding process can be included among the ultra-precision finishing processes and, depending on the application, the steps of lapping followed by polishing can be replaced by the proposed abrasive process.

Human Accessibility Modelling Applied to Protected Areas Management

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Modelling and optimization of the cephalosporin C production bioprocess in a fed-batch bioreactor with invert sugar as substrate

Cephalosporin C production process optimization was studied based on four experiments carried out in an agitated and aerated tank fermenter operated as a fed-batch reactor. The microorganism Cephalosporium acremonium ATCC 48272 (C-10) was cultivated in a synthetic medium containing glucose as major carbon and energy source. The additional medium contained a hydrolyzed sucrose solution as the main carbon and energy source and it was added after the glucose depletion. By manipulating the supplementary feed rate, it was possible to increase antibiotic production. A mathematical model to represent the fed-batch production process was developed. It was observed that the model was applicable under different operation conditions, showing that optimization studies can be made based on this model. (C) 1999 Elsevier B.V. Ltd. All rights reserved.

Genetic Algorithms (Binary and Real Codes) for the Optimisation of a Fermentation Process for Butanol Production

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Towards an intelligent graphical interface for linear programming modelling

The increase of computing power of the microcomputers has stimulated the building of direct manipulation interfaces that allow graphical representation of Linear Programming (LP) models. This work discusses the components of such a graphical interface as the basis for a system to assist users in the process of formulating LP problems. In essence, this work proposes a methodology which considers the modelling task as divided into three stages which are specification of the Data Model, the Conceptual Model and the LP Model. The necessity for using Artificial Intelligence techniques in the problem conceptualisation and to help the model formulation task is illustrated.

Mobile Robot navigation modelling, control and applications

This work presents and discusses the main topics involved on the design of a mobile robot system and focus on the control and navigation systems for autonomous mobile robots. Introduces the main aspects of the Robot design, which is a holistic vision about all the steps of the development process of an autonomous mobile robot; discusses the problems addressed to the conceptualization of the mobile robot physical structure and its relation to the world. Presents the dynamic and control analysis for navigation robots with kinematic and dynamic model and, for final, presents applications for a robotic platform of Automation, Simulation, Control and Supervision of Mobile Robots Navigation, with studies of dynamic and kinematic modelling, control algorithms, mechanisms for mapping and localization, trajectory planning and the platform simulator. © 2012 Praise Worthy Prize S.r.l. - All rights reserved.

Analysing green supply chain management practices in Brazil's electrical/electronics industry using interpretive structural modelling

Industries need to adopt the environmental management concepts in the traditional supply chain management. The green supply chain management (GSCM) is an established concept to ensure environment-friendly activities in industry. This paper identifies the relationship of driving and dependence that exists between GSCM practices with regard to their adoption within Brazilian electrical/electronic industry with the help of interpretive structural modelling (ISM). From the results, we infer that cooperation with customers for eco-design practice is driving other practices, and this practice acts as a vital role among other practices. Commitment to GSCM from senior managers and cooperation with customers for cleaner production occupy the highest level. © 2013 Copyright Taylor and Francis Group, LLC.

Use of uniform designs in combination with neural networks for viral infection process development

This work aimed to compare the predictive capacity of empirical models, based on the uniform design utilization combined to artificial neural networks with respect to classical factorial designs in bioprocess, using as example the rabies virus replication in BHK-21 cells. The viral infection process parameters under study were temperature (34°C, 37°C), multiplicity of infection (0.04, 0.07, 0.1), times of infection, and harvest (24, 48, 72 hours) and the monitored output parameter was viral production. A multilevel factorial experimental design was performed for the study of this system. Fractions of this experimental approach (18, 24, 30, 36 and 42 runs), defined according uniform designs, were used as alternative for modelling through artificial neural network and thereafter an output variable optimization was carried out by means of genetic algorithm methodology. Model prediction capacities for all uniform design approaches under study were better than that found for classical factorial design approach. It was demonstrated that uniform design in combination with artificial neural network could be an efficient experimental approach for modelling complex bioprocess like viral production. For the present study case, 67% of experimental resources were saved when compared to a classical factorial design approach. In the near future, this strategy could replace the established factorial designs used in the bioprocess development activities performed within biopharmaceutical organizations because of the improvements gained in the economics of experimentation that do not sacrifice the quality of decisions.

Evolution of extrafloral nectaries: adaptive process and selective regime changes from forest to savanna

Much effort has been devoted to understanding the function of extrafloral nectaries (EFNs) for antplantherbivore interactions. However, the pattern of evolution of such structures throughout the history of plant lineages remains unexplored. In this study, we used empirical knowledge on plant defences mediated by ants as a theoretical framework to test specific hypotheses about the adaptive role of EFNs during plant evolution. Emphasis was given to different processes (neutral or adaptive) and factors (habitat change and trade-offs with new trichomes) that may have affected the evolution of antplant associations. We measured seven EFN quantitative traits in all 105 species included in a well-supported phylogeny of the tribe Bignonieae (Bignoniaceae) and collected field data on antEFN interactions in 32 species. We identified a positive association between ant visitation (a surrogate of ant guarding) and the abundance of EFNs in vegetative plant parts and rejected the hypothesis of phylogenetic conservatism of EFNs, with most traits presenting K-values < 1. Modelling the evolution of EFN traits using maximum likelihood approaches further suggested adaptive evolution, with static-optimum models showing a better fit than purely drift models. In addition, the abundance of EFNs was associated with habitat shifts (with a decrease in the abundance of EFNs from forest to savannas), and a potential trade-off was detected between the abundance of EFNs and estipitate glandular trichomes (i.e. trichomes with sticky secretion). These evolutionary associations suggest divergent selection between species as well as explains K-values < 1. Experimental studies with multiple lineages of forest and savanna taxa may improve our understanding of the role of nectaries in plants. Overall, our results suggest that the evolution of EFNs was likely associated with the adaptive process which probably played an important role in the diversification of this plant group.

Phenol biodegradation by a microbial consortium: application of artificial neural network (ANN) modelling

In this study, an effective microbial consortium for the biodegradation of phenol was grown under different operational conditions, and the effects of phosphate concentration (1.4 g L-1, 2.8 g L-1, 4.2 g L-1), temperature (25 degrees C, 30 degrees C, 35 degrees C), agitation (150 rpm, 200 rpm, 250 rpm) and pH (6, 7, 8) on phenol degradation were investigated, whereupon an artificial neural network (ANN) model was developed in order to predict degradation. The learning, recall and generalization characteristics of neural networks were studied using data from the phenol degradation system. The efficiency of the model generated by the ANN was then tested and compared with the experimental results obtained. In both cases, the results corroborate the idea that aeration and temperature are crucial to increasing the efficiency of biodegradation.