HOW FAR do WE GET USING MACHINE LEARNING BLACK-BOXES?

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

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Uma máquina de redução de grafos para serviços web

Web services are software accessible via the Internet that provide functionality to be used by applications. Today, it is natural to reuse third-party services to compose new services. This process of composition can occur in two styles, called orchestration and choreography. A choreography represents a collaboration between services which know their partners in the composition, to achieve the service s desired functionality. On the other hand, an orchestration have a central process (the orchestrator) that coordinates all application operations. Our work is placed in this latter context, by proposing an abstract model for running service orchestrations. For this purpose, a graph reduction machine will be defined for the implementation of service orchestrations specified in a variant of the PEWS composition language. Moreover, a prototype of this machine (in Java) is built as a proof of concept

Safety illusion and error trap in a collectively-operated machine accident

Workplace accidents involving machines are relevant for their magnitude and their impacts on worker health. Despite consolidated critical statements, explanation centered on errors of operators remains predominant with industry professionals, hampering preventive measures and the improvement of production-system reliability. Several initiatives were adopted by enforcement agencies in partnership with universities to stimulate production and diffusion of analysis methodologies with a systemic approach. Starting from one accident case that occurred with a worker who operated a brake-clutch type mechanical press, the article explores cognitive aspects and the existence of traps in the operation of this machine. It deals with a large-sized press that, despite being endowed with a light curtain in areas of access to the pressing zone, did not meet legal requirements. The safety devices gave rise to an illusion of safety, permitting activation of the machine when a worker was still found within the operational zone. Preventive interventions must stimulate the tailoring of systems to the characteristics of workers, minimizing the creation of traps and encouraging safety policies and practices that replace judgments of behaviors that participate in accidents by analyses of reasons that lead workers to act in that manner.

Effect of metal conditioners on the adhesive bonding of resin cements to cast titanium

Objective: To assess the effect of metal conditioners on the bond strength between resin cements and cast titanium. Method and Materials: Commercially pure titanium (99.56%) was cast using an arc casting machine. Surfaces were finished with 400-grit silicon carbide paper followed by air abrasion with 50-mu m aluminum oxide. A piece of double-coated tape with a 4-mm circular hole was then positioned on the metal surface to control the area of the bond. The prepared surfaces were then divided into 4 groups (n=10): G1, unprimed Panavia F; G2, Alloy Primer-Panavia F; G3, unprimed Bistite DC; G4, Metaltite-Bistite DC. Forty minutes after insertion of the resin cements, the specimens were detached from the mold and stored in water at 37 C for 24 hours. Shear bond strength was performed in a testing machine (MTS 810) at a crosshead speed of 0.5 mm/min. Data were analyzed using ANOVA and Tukey's test with a .05 significance level. The fractured surfaces were observed through an optical microscope at 10x magnification. Results: the G1 group demonstrated significantly higher shear bond strength (17.95 MPa) than the other groups. G3 (13.79 MPa) and G4 (12.98 MPa) showed similar mean values to each other and were statistically superior to G2 (9.31 MPa). Debonded surfaces generally presented adhesive failure between metal surfaces and resin cements. Conclusion: While the Metaltite conditioner did not influence the bond strength of the Bistite DC cement, the Alloy Primer conditioner significantly decreased the mean bond strength of the Panavia F cement.

Flexural strength and hardness of reline and denture base acrylic resins after different exposure times of microwave disinfection

Objectives: To evaluate the effect of microwave disinfection on the flexural strength and Vickers hardness of 4 autopolymerized resins (Kooliner [K], Tokuso Rebase Fast [T], Ufi Gel Hard [U], and New Truliner [N]) and 1 denture base resin (Lucitone 550 [L]). Method and Materials: For each material, 48 specimens (64 x 10 x 3.3 mm) were made and divided into 6 equal groups (n = 8). In the control group, specimens were untreated. Before testing, specimens were immersed in 200 mL of distilled water and submitted to disinfection for 1 of the following irradiation times: 1, 2, 3, 4, or 5 minutes. The irradiation procedure was performed twice. The flexural strength was determined using a testing machine MTS-810 and measurements of Vickers hardness were made on Micromet 2100. The values were submitted to ANOVA and Tukey's test (P = .05). Results: The K material showed a significant increase (P = .0010) in flexural strength following 5 minutes of disinfection compared to control specimens. The flexural strength mean values of materials T, U, and N were not significantly affected (P > .05) by disinfection. Compared to the control group, the K material showed a significant increase in hardness (P < .001) following disinfection for 3, 4, and 5 minutes. For material U, disinfection for 4 and 5 minutes produced specimens with significantly increased hardness values (P < .001) compared to the control group. For material N, disinfection for 5 minutes resulted in significantly higher hardness values (P < .001) than the control group. Conclusion: Regardless of the irradiation time, the flexural strength and hardness of the materials evaluated were not detrimentally affected by microwave disinfection. (Quintessence Int 2008;39:833-840)

A machine learning approach for genome-wide prediction of morbid and druggable human genes based on systems-level data

Background: The genome-wide identification of both morbid genes, i.e., those genes whose mutations cause hereditary human diseases, and druggable genes, i.e., genes coding for proteins whose modulation by small molecules elicits phenotypic effects, requires experimental approaches that are time-consuming and laborious. Thus, a computational approach which could accurately predict such genes on a genome-wide scale would be invaluable for accelerating the pace of discovery of causal relationships between genes and diseases as well as the determination of druggability of gene products.Results: In this paper we propose a machine learning-based computational approach to predict morbid and druggable genes on a genome-wide scale. For this purpose, we constructed a decision tree-based meta-classifier and trained it on datasets containing, for each morbid and druggable gene, network topological features, tissue expression profile and subcellular localization data as learning attributes. This meta-classifier correctly recovered 65% of known morbid genes with a precision of 66% and correctly recovered 78% of known druggable genes with a precision of 75%. It was than used to assign morbidity and druggability scores to genes not known to be morbid and druggable and we showed a good match between these scores and literature data. Finally, we generated decision trees by training the J48 algorithm on the morbidity and druggability datasets to discover cellular rules for morbidity and druggability and, among the rules, we found that the number of regulating transcription factors and plasma membrane localization are the most important factors to morbidity and druggability, respectively.Conclusions: We were able to demonstrate that network topological features along with tissue expression profile and subcellular localization can reliably predict human morbid and druggable genes on a genome-wide scale. Moreover, by constructing decision trees based on these data, we could discover cellular rules governing morbidity and druggability.

EIGENVALUES of FIBONACCI STOCHASTIC ADDING MACHINE

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Periodic solutions of abstract neutral functional differential equations

We characterize the existence of periodic solutions of some abstract neutral functional differential equations with finite and infinite delay when the underlying space is a UMD space. (C) 2011 Elsevier B.V. All rights reserved.

A comment on a nonideal centrifugal vibrator machine behavior with soft and hard springs

This paper concerns a type of rotating machine (centrifugal vibrator), which is supported on a nonlinear spring. This is a nonideal kind of mechanical system. The goal of the present work is to show the striking differences between the cases where we take into account soft and hard spring types. For soft spring, we prove the existence of homoclinic chaos. By using the Melnikov's Method, we show the existence of an interval with the following property: if a certain parameter belongs to this interval, then we have chaotic behavior; otherwise, this does not happen. Furthermore, if we use an appropriate damping coefficient, the chaotic behavior can be avoided. For hard spring, we prove the existence of Hopf's Bifurcation, by using reduction to Center Manifolds and the Bezout Theorem (a classical result about algebraic plane curves).

Seeder-fertilizer machine: energetic demand as a function of vegetal covering handling and manure deposition shank depth in no-tillage system

O trabalho teve por objetivo avaliar a demanda energética de uma semeadora-adubadora, em função do tipo e manejo da cultura de cobertura vegetal e da profundidade da haste de deposição de adubo. Foi utilizado um trator Valtra BM100, instrumentado, para tracionar uma semeadora-adubadora de precisão equipada com quatro fileiras de semeadura espaçadas de 0,9 m para cultura de milho. O experimento foi conduzido em parcelas subsubdivididas, na área experimental do Laboratório de Máquinas e Mecanização Agrícola (LAMMA) da UNESP-Jaboticabal, utilizando duas culturas de cobertura (mucuna-preta e crotalária), três manejos dessas coberturas, sendo dois mecânicos (triturador de palhas e rolo-faca) e um químico (pulverização com herbicida), realizados 120 dias após a semeadura das culturas de cobertura e três profundidades da haste de deposição do adubo (0,11; 0,14 e 0,17 m), perfazendo 18 tratamentos, com quatro repetições, totalizando 72 observações. Foram avaliados os parâmetros velocidade de deslocamento, patinagem, força na barra de tração, força de pico, potência na barra de tração, potência de pico e consumo de combustível. Pôde-se concluir que a força na barra de tração foi menor para as profundidades de 0,11 e 0,14 m da haste sulcadora de adubo, o mesmo ocorrendo para força de pico, potência na barra de tração e consumo volumétrico. O consumo específico foi menor na profundidade de 0,17 m da haste sulcadora de adubo. As culturas de cobertura e seus manejos não interferiram no desempenho das máquinas estudadas.

Evaluation of cutting patterns produced in primary teeth by an air-abrasion system

Objective: the aim of this in vitro study was to assess the effect of tip diameter, nozzle distance, and application time of an air-abrasion system for cavity preparation on the enamel of primary teeth. Method and materials: Forty exfoliated primary teeth were air abraded with a microabrasion machine used with a handpiece with an 80-degree-angle nozzle, 50-mum abrasive particle size, and 80-psi air pressure. The effects of 0.38- or 0.48-mm inner tip diameter, 2- or 5-mm distance from tip to tooth surface, and 15 or 30 seconds of application time on cutting efficiency were evaluated. Cutting width and depth were analyzed and measured from scanning electron micrographs. Results: Statistical analysis revealed that the width of the cuts was significantly greater when the tip distance was increased. Significantly deeper cavities were produced by a tip with a 0.48-mm inner diameter. The application time did not influence the cuts. Conclusion: the cutting patterns found in this study suggest that precise removal of enamel in primary teeth is best accomplished when a tip with a 0.38-mm inner diameter is used at a 2-mm distance.

Variable structure controller and observer applied to induction machine

This work will propose the control of an induction machine in field coordinates with imposed stator current based on theory of variable structure control and sliding mode. We describe the model of an induction machine in field coordinates with imposed stator current and we show the design of variable structure control and sliding mode to get a desirable dynamic performance of that plant. To estimate the inaccessible states we will use a state observer (estimator) based on field coordinates induction machine. We will present the results of simulations in any operation condition (start, speed reversal and load) and with parameters variation of the machine compared to a PI control scheme.

Relax and fix heuristics to solve one-stage one-machine lot-scheduling models for small-scale soft drink plants

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

Analytical method for the design of a machine with aligned and skewed permanent magnets

This work aims to present the design and the evaluation of a standard multi-pole machine with permanent magnets inserted in the rotor by two different geometrical forms: aligned and skewed magnets. The design (new analytical method) was based on a standard 250 W three phase 12-pole induction motor (squirrel cage rotor type), beginning with the original stator constructive data to calculate the magnetic flux density to determine the permanent magnets. In the development of the work, a simple and modular rotor was built reusing the original 12-pole stator (concentrated windings). The machine was evaluated in a laboratory for the purpose of checking the quantity and quality of energy produced with the machine operating as a generator and its start, torque, and performance working as a motor. In conclusion, the modular skewed magnet is an option for electrical machines, for the generation of a reasonable quality, in the context of decentralized generation and a motor with high torque and low energetic consumption.