Um método para desenvolvimento de abordagens generativas com composição de linguagens específicas de domínio

The software systems development with domain-specific languages has become increasingly common. Domain-specific languages (DSLs) provide increased of the domain expressiveness, raising the abstraction level by facilitating the generation of models or low-level source code, thus increasing the productivity of systems development. Consequently, methods for the development of software product lines and software system families have also proposed the adoption of domain-specific languages. Recent studies have investigated the limitations of feature model expressiveness and proposing the use of DSLs as a complement or substitute for feature model. However, in complex projects, a single DSL is often insufficient to represent the different views and perspectives of development, being necessary to work with multiple DSLs. In order to address new challenges in this context, such as the management of consistency between DSLs, and the need to methods and tools that support the development with multiple DSLs, over the past years, several approaches have been proposed for the development of generative approaches. However, none of them considers matters relating to the composition of DSLs. Thus, with the aim to address this problem, the main objectives of this dissertation are: (i) to investigate the adoption of the integrated use of feature models and DSLs during the domain and application engineering of the development of generative approaches; (ii) to propose a method for the development of generative approaches with composition DSLs; and (iii) to investigate and evaluate the usage of modern technology based on models driven engineering to implement strategies of integration between feature models and composition of DSLs

Estudo mecânico da estabilidade dorsal da osteossíntese intramedular associada à fixação externa (método de Ulson)

OBJETIVO: Avaliar o método de Ulson de fixação intramedular associado à fixação externa variando a altura do travamento externo dos fios de Kirschner e sem fixação externa. MÉTODO: Foram utilizadas 18 tíbias de porcos, sendo realizada osteotomia transversal na região da tuberosidade e introduzidos dois fios de Kirschner intramedulares em cada peça, em três diferentes padrões de montagem: grupo I - travamento com minifixador externo com 3,0cm de altura; grupo II - travamento com 4,5cm de altura; grupo III: sem travamento externo. Realizaram-se ensaios mecânicos de cisalhamento, obtendo-se: carga máxima, limite de proporcionalidade e coeficiente de rigidez. RESULTADOS: Não foram encontradas diferenças significativas de carga máxima e limite de proporcionalidade entre os grupos; o grupo II apresentou maior coeficiente de rigidez. CONCLUSÃO: A altura do travamento dos fios de Kirschner no método de Ulson, dentro dos limites avaliados, não prejudicou a estabilidade do sistema de fixação da fratura.

Um método semi-automatizado para elicitação de requisitos de acessibilidade Web

In the context of Software Engineering, web accessibility is gaining more room, establishing itself as an important quality attribute. This fact is due to initiatives of institutions such as the W3C (World Wide Web Consortium) and the introduction of norms and laws such as Section 508 that underlie the importance of developing accessible Web sites and applications. Despite these improvements, the lack of web accessibility is still a persistent problem, and could be related to the moment or phase in which this requirement is solved within the development process. From the moment when Web accessibility is generally regarded as a programming problem or treated when the application is already developed entirely. Thus, consider accessibility already during activities of analysis and requirements specification shows itself a strategy to facilitate project progress, avoiding rework in advanced phases of software development because of possible errors, or omissions in the elicitation. The objective of this research is to develop a method and a tool to support requirements elicitation of web accessibility. The strategy for the requirements elicitation of this method is grounded by the Goal-Oriented approach NFR Framework and the use of catalogs NFRs, created based on the guidelines contained in WCAG 2.0 (Web Content Accessibility Guideline) proposed by W3C

Método e sociologia em Weber: alguns conceitos fundamentais

Os parâmetros de análise social fornecidos pelos fundamentos da obra weberiana apontam algumas determinações necessárias à análise de fenômenos sociais. Defendendo uma sociologia capaz de compreender os sentidos e conexões presentes nas ações sociais, Weber propõe uma concepção específica de método e de objeto na sociologia, que se assenta na explicação de ações sociais individuais, sob condições determinadas, e busca, ao mesmo tempo, explicitar as significações das instituições sociais, nas quais os indivíduos agem, como resultantes também da ação humana. A partir de tais idéias, o breve ensaio ora apresentado, propõe-se a debater alguns elementos trabalhados nos conceitos weberianos de método e sociologia

Síntese e caracterização de pós Ba(x)Sr(1-x)Co0,8Fe0,2O3- através do método de coprecipitação via oxalato

Ceramic powders based on oxides of perovskite-type structure is of fundamental interest nowadays, since they have important ionic-electronic conductivity in the use of materials with technological applications such as gas sensors, oxygen permeation membranes, catalysts and electrolytes for solid oxide fuel cells (SOFC). The main objective of the project is to develop nanostructured ceramic compounds quaternary-based oxide Barium (Br), Strontium (Sr), Cobalt (Co) and Iron (Fe). In this project were synthesized compounds BaxSr(1-x)Co0, 8Fe0,2O3- (x = 0.2, 0.5 and 0.8) through the oxalate co-precipitation method. The synthesized powders were characterized by thermogravimetric analysis and differential thermal analysis (TGADTA), X-ray diffraction (XRD) with the Rietveld refinement using the software MAUD and scanning electron microscopy (SEM). The results showed that the synthesis technique used was suitable for production of nanostructured ceramic solid solutions. The powders obtained had a crystalline phase with perovskite-type structure. The TGA-DTA results showed that the homogeneous phase of interest was obtained temperature above 1034°C. It was also observed that the heating rate of the calcination process did not affect the elimination of impurities present in the ceramic powder. The variation in the addition of barium dopant promoted changes in the average crystallite size in the nanometer range, the composition being BSCF(5582) obtained the lowest value (179.0nm). The results obtained by oxalate co-precipitation method were compared with those synthesis methods in solid state and EDTA-citrate method

Método de Projeções Ortogonais

The problem treated in this dissertation is to establish boundedness for the iterates of an iterative algorithm in 2, under some technical conditions. However, this paper uses non-trivial intuitive arguments and its proofs lack suficient rigor. In this dissertation we discuss and strengthen the results of this paper, in order to complete and simplify its proofs

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Estudo de caso de dois acidentes do trabalho investigados com o método de árvore de causas

São apresentados dois acidentes do trabalho típicos, ocorridos em empresa de grande porte, investigados com o Método de Árvore de Causas ­ ADC, método que permite identificar o papel desempenhado por fatores gerenciais e de organização do trabalho no desencadeamento desses fenômenos. Os casos apresentados revelam a participação, na gênese dos acidentes, de fatores como designação temporária e improvisada de trabalhadores para funções e postos de trabalho, execução de tarefas deixadas à iniciativa e ao arbítrio dos trabalhadores, falta de ferramentas e de materiais apropriados à execução de tarefas e falhas na circulação de informações, entre outros. São também analisadas as indicações para o uso do método, suas potencialidades em termos de prevenção, bem como as implicações decorrentes de dificuldades de aplicação, de necessidades de treinamento e reciclagens e do dispêndio elevado de tempo para investigação de cada acidente.

Comparação entre método bioquímico e reação em cadeia de polimerase para identificação de Lactobacillus spp., isolados de aves

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

A refrigeração no diagnóstico de Salmonella spp. utilizando o método microbiológico tradicional e reação em cadeia da polimerase em carcaças de frango

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

Influência do método de fenação e tempo de armazenamento sobre a composição bromatológica e ocorrência de fungos no feno de alfafa (Medicago sativa, L. cv. Flórida 77)

O experimento objetivou estudar a influência de 24 tratamentos resultantes do arranjo fatorial 6 x 4, referente a seis métodos de fenação e quatro tempos de armazenamento em delineamento inteiramente casualizado, com cinco repetições para análise bromatológica e quatro para determinação de fungos. Os métodos de fenação consistiram em: T1 - (sombra, E) secagem à sombra, a forrageira foi levada para o galpão imediatamente após o corte e mantida espalhada (E); T2 e T3 - o material permaneceu ao sol até perder 50% do peso e posteriormente foi seco à sombra, sendo o T2 espalhado (sol 50%, E) e o T3 amontoado - A (sol 50%, A); T4 e T5, consistiram do recolhimento da forragem para completar sua secagem à sombra, após viragem e perda de 60% de peso sob exposição ao sol, T4 espalhada (sol 60%, E), T5 amontoada (sol 60%, A) e o T6 perda de 80% do peso sob exposição ao sol e posteriormente amontoado à sombra (sol 80%, A). Os quatro tempos de armazenamento foram: 0, 15, 30 e 60 dias. Verificou-se que os fenos nos quais o material ficou mais tempo exposto ao sol apresentaram pior qualidade em termos de PB, FDN e FDA. A ocorrência de fungos foi maior no feno seco à sombra (T1) e naqueles em que a forragem foi amontoada, devido à ausência de aeração para retirada de umidade. O método mais adequado para a conservação da alfafa consistiu na exposição da forragem ao sol até a perda de 50% do peso da forragem original, com posterior secagem do material espalhado à sombra.

Avaliação da reprodutibilidade do método de determinação da maturação esquelética por meio das vértebras cervicais

Dentre os diversos meios de se determinar o grau de maturação esquelética do paciente destaca-se o Método de Lamparski modificado por Hassel e Farman, em 1995, que propuseram a identificação do estágio da maturação por meio das modificações anatômicas das 2ª, 3ª e 4ª vértebras cervicais. Cientes das qualidades advogadas ao método citado surgiu o interesse em avaliar sua reprodutibilidade com o intuito de divulgá-lo e incorporá-lo como um elemento no diagnóstico e auxiliar no prognóstico dos tratamentos das más oclusões. A amostra constou de 100 telerradiografias em norma lateral de pacientes triados para tratamento ortodôntico na Faculdade de Odontologia de Araçatuba - UNESP nos períodos de 2000 e 2001. Foram incluídos pacientes de ambos os gêneros na faixa etária de 6 a 16 anos e a média de 9 anos e 7 meses. Três examinadores devidamente calibrados realizaram a avaliação das radiografias classificando-as em escores de 1 a 6. Após a análise dos resultados, os mesmos foram tabulados e submetidos ao coeficiente Kappa de concordância para avaliação inter e intra-examinador concluindo, dessa forma, a reprodutibilidade do referido método. O método de determinação da maturação esquelética por meio das vértebras cervicais mostrou-se reproduzível na avaliação do estágio em que o indivíduo se encontra na curva de crescimento.

Avaliação transversal e vertical da maxila, após expansão rápida, utilizando um método de padronização das radiografias póstero-anteriores

OBJETIVO: na presente pesquisa utilizou-se o aparelho Hyrax tendo como objetivo avaliar as alterações transversais e verticais da maxila. Foram selecionados 20 pacientes de ambos os gêneros, entre 7 e 11 anos de idade, que apresentavam mordida cruzada posterior uni ou bilateral. METODOLOGIA: foram realizadas telerradiografias em norma frontal (PA) antes e após a expansão. A fim de evitar que a falta de padronização dessas radiografias pudesse influenciar nos resultados, idealizou-se um método de padronização para tais radiografias. RESULTADOS E CONCLUSÕES: os resultados mostraram que a correção da mordida cruzada posterior com o aparelho Hyrax, que ocorreu em todos os casos, foi em função tanto da abertura da sutura palatina mediana como também da inclinação dos molares. A medida JgE-JgD relacionada com a expansão maxilar aumentou significantemente em todos os casos tratados. Nas avaliações dentárias, as medidas verticais não apresentaram diferenças significantes, ao contrário das medidas transversais (FTE-FTD; FBE-FBD; LO.BTE; LO.BTD; BTE.BTD). A largura da cavidade nasal também aumentou significantemente (CNE-CND). O método de padronização proposto permite, portanto, utilizar as medidas que avaliam a expansão rápida da maxila, através das radiografias póstero-anteriores, com segurança, também no sentido vertical.

O uso da vibração como método auxiliar no treinamento de capacidades físicas: uma revisão da literatura

The effects of vibration on the human body have been documented for many years. Recently, the use of vibration is an auxiliary method of physical training in the young, elderly and athletes. Recent studies indicate an increase in gain of strength, flexibility, endurance and power of individuals trained with vibrating equipments. Despite the fairly widespread use, the physiological effects of vibration are still poorly understood, and there is great variability in the training protocols used in the literature. Future studies should be conducted as a way to better understand the physiological effects of vibration and also the affects of different protocols on physical training as strength, flexibility, endurance and power.

Poço quadrado quântico finito e método de fatorização

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