Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Atmospheric particulate polycyclic aromatic hydrocarbons from road transport in southeast Brazil

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

Flammability limits: A review with emphasis on ethanol for aeronautical applications and description of the experimental procedure

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

Study of utilization of petrol engine equipped with exhaust gas recirculation (EGR) and catalytic converter to reduce consumption and NOx emission

Study of consumption rate and gaseous pollutant emission from engine tests simulating real work conditions, using spark point manually controlled and exhaust gas recirculation (EGR) in diverse proportion levels. The objective of this work is to re-examine the potential of the EGR conception, a well-known method of combustion control, employed together electronic fuel injection and three-way catalytic converter closed-loop control at a spark ignition engine, verifying the performance characteristics and technical availability of this conception to improve pollution control, fuel economy at low torque drive condition and to improve the engine exhaust components useful life. The pollutant emissions and consumption levels under operational conditions simulations were analysed and compared with the expected by concerning theory and real tests performed by EGR equipped engines by factory. Copyright © 2006 Society of Automotive Engineers, Inc.

Regional financial cooperation

Includes bibliography

Retificação da alumina com rebolo diamantado usando diferentes métodos de lubri-refrigeração

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

“Fagulhas”: uma coluna de crônicas de Coelho Neto na Gazeta de Notícias (1897-1899)

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

Análise da influência do tempo de centelhamento para diferentes métodos de refrigeração na retificação

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

Review of CARIFORUM-EU EPA - Implicatons for the British and Dutch Caribbean OCT's

The European Commission (EC) recently tabled a Green Paper on the future relations between the European Union (EU) and the Overseas Countries and Territories (OCTs). The document is intended to spark a broad public debate on the opportunity of replacing the current Overseas Association Decision (OAD) of 2001 with an “innovative partnership” for the territories when the present agreement expires on 31 December 2013. The Commission will hold an online consultation covering the issue from 1 July to 17 October 2008. This remains without prejudice to a possible revision of the OAD before the end of 2011, in accordance with its article 62. The need for the launch of the debate arose out of the recognition that the current OCT-EU association is based on an outdated development cooperation logic, whereas the OCTs potential and the challenges they are facing would require an approach that focuses on the strengthening of their competitiveness, the facilitation of regional integration and the reduction of the impact of the factors that contribute to their vulnerability.

Desgaste de dressadores de ponta única fabricados com diamantes cvd nacionais

This study attempted to observe the performance of three types of diamonds, two natural and one synthetic, to determine which features longer life and greater wear than the others. The methodology employed in this study was to dressed an aluminum oxide grinding wheel, and every twenty paces with a advance of depth dressing of 40 µm per passes, take an image of the tip in a horizontal position and the other in the vertical position of this diamond in a stereoscopic. Thereafter, the dresser was replaced in the rectifier to conduct a new dressing. The criteria to completion of the test was the spark generated by the grinding wheel contact with the base of the dresser, which indicates the end of the contact with the diamond wheel. After the tests, was calculated the areas worn of each diamond in accordance with each image obtained through the aid of a graphics software. The data were then arranged in graphs.

Otimização ecológica dos ciclos ar-padrão Otto e Diesel

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

Estudo e modelagem 3D de um cabeçote para um motor monocilíndrico, 400cc, 4 T

The cylinder head contains the combustion chamber for the air-fuel mixture and the intake and exhaust valves, the valve guide and the valve seat. The cylinder head also is a support for the camshaft and valve rocker. The holes where the spark plugs are connected are designed to fit the better place in the combustion chamber. The cylinder heads often are manufactured using materials such as aluminum and cast iron. The cooling fins located in the outside of the cylinder head are designed for a good heat transfer and therefore their dimensions and positioning are important. This work aims the calculation for a cylinder head to be installed in a 400 cc displacement, gasoline powered, four stroke, single cylinder engine. According to the displacement it will be analyzed the combustion chamber, the intake and exhaust valves, as well as the camshaft and rocker arms. This also a work to help to accomplish the design of a single cylinder engine, where the alternatives parts, cylinder block and crankcase are all already machined and assembled in this campus

Engine LES with fuel-spray modeling

Pós-graduação em Engenharia Mecânica - FEG

Projeto e usinagem do cabeçote para um motor 4 tempos, a gasolina, monocilíndrico de 400 cc e refrigerado a ar

Pós-graduação em Engenharia Mecânica - FEG

Pesquisa, projeto e construção de um sistema de ignição sem distribuidor

This work intends to know the most types of ignition systems, studying its history, the way it works, applications and some examples. The assembly of a distributor less ignition system is also required. All vehicles powered by internal combustion engines need an ignition system that allows this engine to ignite the air-fuel mixture using its ignition system in the best possible manner. The main goal of an ignition system is to obtain a spark having enough energy to start the chemical reaction of the oxygen and the fuel. It took a study dealing with the various types of ignition systems since their creation at the beginning of the last century until 2015. The work starts studying the high tension magneto ignition system and later together with the low tension ignition system, going on with the conventional ignition system and finally accomplishing with the various types of electronic ignition systems. It was studied and implemented an electronic circuit to power a double spark ignition system also known as wasted spark ignition system. This circuit was assembled with an electric pulse generator and powered mechanically by a dc electric motor of the variable rpm type