Desenvolvimento de um programa computacional destinado à unidade móvel de ensaio na barra de tração (umeb) para a avaliação do desempenho de tratores

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

Development of a diagnostic tool for condition monitoring of rotating machinery

This paper presents an overview of the CRC for Infrastructure and Engineering Asset Management (CIEAM)’s rotating machine health monitoring project and the status of the research progress. The project focuses on the development of a comprehensive diagnostic tool for condition monitoring and systematic analysis of rotating machinery. Particularly attention focuses on the machine health monitoring of diesel engines, compressors and pumps by using acoustic emission and vibration-based monitoring techniques. The paper also provides a brief summary of the work done by the three main research collaborating partners in the project, namely, Queensland University of Technology (QUT), Curtin University of Technology (CUT) and the University of Western Australia (UWA). Preliminary test and analysis results from this work are also reported in the paper

A practical signal processing approach for condition monitoring of low speed machinery using Peak-Hold-Down-Sample algorithm

A simple and effective down-sample algorithm, Peak-Hold-Down-Sample (PHDS) algorithm is developed in this paper to enable a rapid and efficient data transfer in remote condition monitoring applications. The algorithm is particularly useful for high frequency Condition Monitoring (CM) techniques, and for low speed machine applications since the combination of the high sampling frequency and low rotating speed will generally lead to large unwieldy data size. The effectiveness of the algorithm was evaluated and tested on four sets of data in the study. One set of the data was extracted from the condition monitoring signal of a practical industry application. Another set of data was acquired from a low speed machine test rig in the laboratory. The other two sets of data were computer simulated bearing defect signals having either a single or multiple bearing defects. The results disclose that the PHDS algorithm can substantially reduce the size of data while preserving the critical bearing defect information for all the data sets used in this work even when a large down-sample ratio was used (i.e., 500 times down-sampled). In contrast, the down-sample process using existing normal down-sample technique in signal processing eliminates the useful and critical information such as bearing defect frequencies in a signal when the same down-sample ratio was employed. Noise and artificial frequency components were also induced by the normal down-sample technique, thus limits its usefulness for machine condition monitoring applications.

Multithreaded Test Synthesis for Deadlock Detection

Designing and implementing thread-safe multithreaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. The usual practice involves employing software testing and/or dynamic analysis to detect. deadlocks. Their effectiveness is dependent on well-designed multithreaded test cases. Unsurprisingly, developing multithreaded tests is significantly harder than developing sequential tests for obvious reasons. In this paper, we address the problem of automatically synthesizing multithreaded tests that can induce deadlocks. The key insight to our approach is that a subset of the properties observed when a deadlock manifests in a concurrent execution can also be observed in a single threaded execution. We design a novel, automatic, scalable and directed approach that identifies these properties and synthesizes a deadlock revealing multithreaded test. The input to our approach is the library implementation under consideration and the output is a set of deadlock revealing multithreaded tests. We have implemented our approach as part of a tool, named OMEN1. OMEN is able to synthesize multithreaded tests on many multithreaded Java libraries. Applying a dynamic deadlock detector on the execution of the synthesized tests results in the detection of a number of deadlocks, including 35 real deadlocks in classes documented as thread-safe. Moreover, our experimental results show that dynamic analysis on multithreaded tests that are either synthesized randomly or developed by third-party programmers are ineffective in detecting the deadlocks.

automated test program generation for an industrial optimizing compiler

Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT

Chatterbox challenge as a test-bed for synthetic emotions

Chatterbox Challenge is an annual web-based contest for artificial conversational systems, ACE. The 2010 instantiation was the tenth consecutive contest held between March and June in the 60th year following the publication of Alan Turing’s influential disquisition ‘computing machinery and intelligence’. Loosely based on Turing’s viva voca interrogator-hidden witness imitation game, a thought experiment to ascertain a machine’s capacity to respond satisfactorily to unrestricted questions, the contest provides a platform for technology comparison and evaluation. This paper provides an insight into emotion content in the entries since the 2005 Chatterbox Challenge. The authors find that synthetic textual systems, none of which are backed by academic or industry funding, are, on the whole and more than half a century since Weizenbaum’s natural language understanding experiment, little further than Eliza in terms of expressing emotion in dialogue. This may be a failure on the part of the academic AI community for ignoring the Turing test as an engineering challenge.

Synchronous machines parameters identification using load rejection test data

This work shows a computational methodology for the determination of synchronous machines parameters using load rejection test data. The quadrature axis parameters are obtained with a rejection under an arbitrary reference, reducing the present difficulties.

Identification of synchronous machine parameters using load rejection test data

This work shows a computational methodology for the determination of synchronous machines parameters using load rejection test data. By machine modeling one can obtain the quadrature parameters through a load rejection under an arbitrary reference, reducing the present difficulties. The proposed method is applied to a real machine.

Comparative field test between two sugar cane (Saccharum spp.) harvesters under two different operational conditions in Brazil

The sugar cane crop is one of the main products in Brazil and according to several authors can generate, besides the industrialized stalks, an amount of crop residues from the order of 15 to 30 % in weight of the aerial part of the plants, depending on the field conditions. The sugar cane area in Brazil is around 5.5×106 hectares, with an amount of 400.106 tons of stalks, with stalks yield of 72 tons.ha-1. This study took place in a sugar cane plot (Latitude 22°46'S, Longitude 47°23'W and 600m of altitude) with 3% of slope, located in São Paulo State. The sugar cane variety was SP 80-1816, in its forth cut, 11 months old and with a planted row spacing of 1.40 m. By other side, several sugar mills are bringing the crop residue to their patio to produce energy with the bagasse. One choice is to bring the crop residue at the same moment with the stalks, avoiding the next operation of baling it. The objective of this study was to analyze some operational parameters of two different sugar cane harvesters under the same field conditions, which was divided in four treatments: T1 = CAMECO CHT2500B operating normally; T2 = CAMECO CHT2500B operating without the cleaning system; T3 = CASE 7700 operating normally; T4 = CASE 7700 operating without the cleaning system. The results obtained were: Table presented CEB = Gross effective capacity; CEL = Net effective capacity. The conclusion is that under normal operation the CASE harvester worked better then CAMECO in the parameters CEL stalks and Manipulation efficiency. And without the cleaning system operating CASE also worked better in the parameters of CEB raw material, CEB stalks, CEL raw material and CEL stalks.

Rer1p as common machinery for the endoplasmic reticulum localization of membrane proteins

Rer1p, a Golgi membrane protein, is required for the correct localization of an endoplasmic reticulum (ER) membrane protein, Sec12p, by a retrieval mechanism from the cis-Golgi to the ER. To test whether or not the role of Rer1p is common to multiple ER membrane proteins, we examined the localization of two other ER membrane proteins, Sec71p and Sec63p, in the wild-type and rer1 mutant yeast cells, using their fusions with an α-mating factor precursor (Mfα1p). Although Sec71p and Sec63p have completely different topology from Sec12p, their Mfα1p fusion proteins were also mislocalized to the trans-Golgi in the rer1 mutant. Overexpression of these fusions caused their mislocalization to the trans-Golgi even in the wild-type cells, and this mislocalization was partially suppressed by the co-overexpression of Rer1p. Either Sec71p or an artificial chimeric protein whose ER localization depends on Rer1p gave a competitive effect on the localization of the Mfα1-Sec71p fusion, which was abolished in rer1. Thus, Rer1p appears to be one of the common limiting components in the retrieval machinery for ER membrane proteins. The results also suggest that Sec71p and Sec63p depend on ER-Golgi recycling, at least partly, for ER localization. We also examined the effect of a mutation in α-COP, a subunit of yeast coatomer, on the localization of these ER membrane proteins. The Mfα1p fusions of Sec12p, Sec71p, and Sec63p were all more or less mislocalized in ret1–1. These observations imply that the roles of Rer1p and coatomer are much more general than thought before.