BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.

Organização e armazenamento de conteúdo instrucional no ambiente AdaptWeb utilizando XML

O uso da Internet como ferramenta de ensino tem se tornado cada vez mais freqüente. A recente popularização da Internet vem permitindo o desenvolvimento de ambientes de ensino-aprendizagem baseados na Web. Os principais recursos explorados para fins educacionais são hipertexto e hipermídia, que proporcionam uma grande gama de elementos para o instrutor que pretende utilizar a WWW. Este trabalho está inserido no desenvolvimento do ambiente AdaptWeb (Ambiente de Ensino e Aprendizagem Adaptativo para a Web), que visa o desenvolvimento de um ambiente de educação a distância. A arquitetura do ambiente é composta por quatro módulos entre eles o módulo de Armazenamento de dados que armazena todos os dados provenientes da fase de Autoria utilizando XML (Extensible Markup Language). Na etapa de Autoria é feita a inserção de todos os dados relativos a disciplina que deseja disponibilizar, estes dados serão armazenados temporariamente em uma representação matricial em memória. A entrada de dados do módulo de Armazenamento de Dados é esta representação matricial que serve então como base para a geração dos arquivos XML, que são utilizados nas demais etapas do ambiente. Para a validação dos arquivos XML foram desenvolvidas DTD (Document Type Definition) e também foi implementado um analisador de documentos XML, utilizando a API (Application Programming Interface) DOM (Document Object Model), para efetuar a validação sintática destes documentos. Para conversão da representação matricial em memória foi especificado e implementado um algoritmo que funciona em conformidade com as DTD especificadas e com a sintaxe da linguagem XML.

Ácido fólico: validação do método espectrofotométrico

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

Validação de metodologia para a determinação simultânea dos antioxidantes sintéticos em óleos vegetais, margarinas e gorduras hidrogenadas por CLAE/UV

The use of antioxidants either to prevent or retard food's lipids oxidation was approved after inquires that verified their security within a daily intake limit. In this study, the methodology was developed and validated for the analysis of synthetic antioxidants: propylgallate (PG), tert-butylhydroquinone (TBHQ), butylhydroxyanisole (BHA), octylgallate (OG) and butylhydroxytoluene (BHT) in vegetables oils, margarine and hydrogenated fats by high performance liquid chromatographic. The methodology revealed itself efficient, with recovery rates above 90% for all antioxidant substances, besides good linearity in concentration range of 40-240 mg kg-1 (r = 0,999), repeatability with CV < 3,7% and limit of quantification 16.55, 10.32, 1.40, 3.76 and 9.30 mg/kg for BHT, BHA, PG, OG and TBHQ, respectively.

Validação e estimativa da incerteza de método para análise de licopeno e β-caroteno em polpa de tomate por cromatografia líquida de alta eficiência

A method to quantify lycopene and β-carotene in freeze dried tomato pulp by high performance liquid chromatography (HLPC) was validated according to the criteria of selectivity, sensitivity, precision and accuracy, and uncertainty estimation of measurement was determined with data obtained in the validation. The validated method presented is selective in terms of analysis, and it had a good precision and accuracy. Detection limit for lycopene and β-carotene was 4.2 and 0.23 mg 100 g-1, respectively. The estimation of expanded uncertainty (K = 2) for lycopene was 104 ± 21 mg 100 g-1 and for β-carotene was 6.4 ± 1.5 mg 100 g-1.

Desenvolvimento e validação de método espectrofotométrico para determinação de corante à base de luteína adicionado em iogurte desnatado

A simple analytical method for extraction and quantification of lutein colorant added to yogurt was developed and validated. The method allowed complete extraction of carotenoids using tetrahydrofuran in vortex, followed by centrifugation, partition to diethyl ether/petroleum ether, and drying. The carotenoids dissolved in ethanol were quantified by UV-Vis spectrophotometry. This method showed linearity in the range tested (1.41-13.42 µg g-1), limits of detection and quantification of 0.42 and 1.28 µg g-1, respectively, low relative standard deviation (3.4%) and recovery ranging from 95 to 103%. The method proved reliable for quantification of lutein added to yogurt.

TEORIA SINTÁTICA: DE UMA PERSPECTIVA DE -ISMOS PARA UMAPERSPECTIVA DE PROGRAMAS

This paper tries to show that the developments in linguistic sciences are better viewed as stages in a single research program, rather than different ideological -isms. The first part contains an overview of the structuralistas' beliefs about the universality and equivalence of human languages, and their search for syntactic universals. In the second part, we will see that the generative program, in its turn, tries to answer why language is a universal faculty in the human species and addresses questions about its form, its development and its use. In the second part, we will see that the paper gives a brief glimpse of the tentative answers the program has been giving to each of these issues.

Validação de uma bateria de testes de habilidades motoras para atletas de handebol em cadeira de rodas

Universidade Estadual de Campinas . Faculdade de Educação Física

Interação entre alunos com e sem deficiencia na educação fisica escolar : validação de instrumento

Universidade Estadual de Campinas. Faculdade de Educação Física

Validação do teste progressivo da Universidade de Montreal (TPUM)na comunidade escolar de ensino medio da cidade de Talca ? Chile

Universidade Estadual de Campinas. Faculdade de Educação Física

Validação da Body Appreciation Scale (BAS), Life Satisfaction Index for the Third Age (LSITA) e do Aging Perception Questionnaire (APQ) para a língua portuguesa no Brasil : um estudo em idosos brasileiros

Universidade Estadual de Campinas . Faculdade de Educação Física

Tradução, adaptação cultural e validação do questionário Body image After Breast Cancer para a língua portuguesa do Brasil

Universidade Estadual de Campinas . Faculdade de Educação Física

Tradução, adaptação cultural e validação da escala Moorong Self-Efficacy Scale (MSES) para o português no Brasil = : Translation, cultural adaptation and validation of Moorong Self-Efficacy Scale (MSES) into Brazilian Portuguese

Universidade Estadual de Campinas . Faculdade de Educação Física

Proposição, validação e aplicação de um novo metodo para analise cinematica tridimensional da movimentação da caixa toracica durante a respiração

Universidade Estadual de Campinas . Faculdade de Educação Física

Adaptação e validação da escla ASKAS - Aging Sexual Knowledge and Attitudes Scale em idosos brasileiros

Universidade Estadual de Campinas . Faculdade de Educação Física