The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Gest??o p??blica e pesquisa operacional: avalia????o de desempenho em ag??ncias da Previd??ncia Social

O presente trabalho utiliza a metodologia DEA (Data Envelopment Analysis ), para avaliar a efici??ncia das 22 Ag??ncias da Previd??ncia Social ??? Ger??ncia Executiva Fortaleza (APS-GEXFOR). DEA utiliza programa????o linear cujo n??cleo das estruturas anal??ticas ?? formado a partir do modelo original CCR (Charnes, Cooper, e Rhodes). Aplicada ??s DMU (Decision Making Units), define uma Fronteira de Efici??ncia identificando Unidades Eficientes e Ineficientes. Foi utilizado o modelo DEA-CCR implementado pelo software DEA Solver??. A Previd??ncia Social (INSS) disp??e de indicadores de desempenho. Algumas vari??veis utilizadas no modelo implementado derivam desses indicadores, outras informa????es foram disponibilizadas pelos sistemas de informa????o da institui????o. A avalia????o de efici??ncia DEA das APS-GEXFOR permitiu identificar as melhores pr??ticas, mensurar a participa????o de cada vari??vel envolvida na avalia????o da unidade e projetar as unidades ineficientes na fronteira de efici??ncia, identificando metas a serem atingidas para torn??-las eficientes no conjunto observado.

Alterações na estrutura anatômica da madeira de cavacos de eucalyptus grandis em três condições de desfibramento para a confecção de painéis MDF

A utilização da madeira de eucalipto na confecção de painéis MDF é recente, tornando-se necessário entender as modificações em sua estrutura anatômica durante as etapas do processo industrial, notadamente no desfibramento dos cavacos. Com esse objetivo, neste estudo foram aplicadas três condições diferenciadas de desfibramento dos cavacos, alterando-se (i) o tempo de aquecimento, (ii) as pressões de digestão e de desfibramento e (iii) a energia específica de desfibramento, sendo avaliadas as características anatômicas dos componentes celulares da madeira. O aumento da intensidade de refino dos cavacos de madeira reduziu o comprimento médio das fibras e aumentou o porcentual de fibras quebradas, corroborando as imagens de microscopia eletrônica de varredura, além da diminuição do número dos vasos e de células de parênquima. Essa condição de desfibramento mais intensa promoveu, também, um característico escurecimento da coloração da polpa composta pelos elementos celulares da madeira. A aplicação de variáveis de desfibramento mais brandas aumentou a presença de feixes de fibras e do número de vasos e de parênquima, resultando em uma polpa de coloração mais clara. As alterações das características morfológicas dos componentes celulares da madeira dos cavacos de eucalipto, após o tratamento de desfibramento, relacionaram-se com as etapas do processo operacional e com a qualidade tecnológica dos painéis de fibras MDF.

Análise espacial do padrão de introdução e disseminação da dengue nos municípios do Espírito Santo

O número de municípios infestados pelo Aedes aegypti no Estado do Espírito Santo vem aumentando gradativamente, levando a altas taxas de incidência de dengue ao longo dos anos. Apesar das tentativas de combate à doença, esta se tornou uma das maiores preocupações na saúde pública do Estado. Este estudo se propõe a descrever a dinâmica da expansão da doença no Estado a partir da associação entre variáveis ambientais e populacionais, utilizando dados operacionalizados por meio de técnicas de geoprocessamento. O estudo utilizou como fonte de dados a infestação pelo mosquito vetor e o coeficiente de incidência da doença, as distâncias rodoviárias intermunicipais do Estado, a altitude dos municípios e as variáveis geoclimáticas (temperatura e suficiência de água), incorporadas a uma ferramenta operacional, as Unidades Naturais do Espírito Santo (UNES), representadas em um único mapa operacionalizado em Sistema de Informação Geográfica (SIG), obtido a partir do Sistema Integrado de Bases Georreferenciadas do Estado do Espírito Santo. Para análise dos dados, foi realizada a Regressão de Poisson para os dados de incidência de dengue e Regressão Logística para os de infestação pelo vetor. Em seguida, os dados de infestação pelo mosquito e incidência de dengue foram georreferenciados, utilizando como ferramenta operacional o SIG ArcGIS versão 9.2. Observou-se que a pluviosidade é um fator que contribui para o surgimento de mosquito em áreas não infestadas. Altas temperaturas contribuem para um alto coeficiente de incidência de dengue nos municípios capixabas. A variável distância em relação a municípios populosos é um fator de proteção para a incidência da doença. A grande variabilidade encontrada nos dados, que não é explicada pelas variáveis utilizadas no modelo para incidência da doença, reforça a premissa de que a dengue é condicionada pela interação dinâmica entre muitas variáveis que o estudo não abordou. A espacialização dos dados de infestação pelo mosquito e incidência de dengue e as Zonas Naturais do ES permitiu a visualização da influência das variáveis estatisticamente significantes nos modelos utilizados no padrão da introdução e disseminação da doença no Estado.

Controle estatístico de processo aplicado no monitoramento da absorção de água por carcaças de frango durante a etapa de pré-resfriamento

A absorção de água por carcaças de frango na etapa de pré-resfriamento da linha abate representa uma característica de qualidade importante relacionada ao rendimento do produto final. Uma forma de manter o padrão de qualidade de um produto é garantir que as etapas do processo sejam estáveis e replicáveis. Ao empregar o Controle Estatístico de Processo (CEP) é possível obter estabilidade e melhorias nos processos, por meio da redução da variabilidade. Neste contexto, o objetivo deste trabalho foi a aplicação de gráficos de controle, análise de correlação, estatística descritiva, testes de hipóteses e regressão linear múltipla na linha de abate de um abatedouro-frigorífico de aves para monitorar a variabilidade da absorção de água pelas carcaças de frango após a etapa de pré-resfriamento. Como resultado, verificou-se que o teor de absorção de água das carcaças de frango apresentou elevada variabilidade, sendo que 10% (8/80) das carcaças apresentaram absorção de água superior ao limite de 8% definido pela legislação brasileira. Do total de 16 variáveis de entrada analisadas, as mais impactantes no teor de absorção de água foram o “tempo de retenção da carcaça no pré-chiller” e o “tempo de espera da carcaça após a etapa de gotejamento”. Entretanto, o modelo de regressão obtido apresentou baixa correlação (R²=0,16) que foi associada à elevada variabilidade da variável-resposta. Os resultados da estatística descritiva demonstraram que as variáveis de entrada também apresentaram elevada variabilidade, com coeficiente de variação entre 7,95 e 63,5%. Verificou-se, pela análise dos gráficos de controle de medida individual e da amplitude móvel, que 15 das 16 variáveis de entrada se apresentaram fora de controle estatístico assim como a variável-resposta. Baseado no fluxograma e na descrição das etapas da linha de abate, previamente realizados, atribuiu-se à falta de padronização na condução das etapas e de procedimentos para o controle de qualidade das operações na linha de abate como fatores relevantes que poderiam estar associados à presença de causas especiais no processo. Concluiu-se que para reduzir a elevada variabilidade das variáveis e eliminar as causas especiais presentes são necessários ajustes operacionais para, dessa forma, obter um processo mais estável e mais uniforme garantindo o padrão de qualidade das carcaças de frango em relação ao teor de absorção de água.

Remuneração executiva e desempenho: evidências empíricas no mercado de capitais brasileiro

O objetivo desta dissertação é analisar a relação existente entre remuneração executiva e desempenho em companhias brasileiras de capital aberto listadas na BM&FBOVESPA. A linha teórica parte do pressuposto que o contrato de incentivos corrobora com o alinhamento de interesses entre acionistas e executivos e atua como um mecanismo de governança corporativa a fim de direcionar os esforços dos executivos para maximização de valor da companhia. A amostra foi composta pelas 100 companhias mais líquidas listadas em quantidade de negociações de ações na BM&FBOVESPA durante o período 2010-2012, totalizando 296 observações. Os dados foram extraídos dos Formulários de Referência disponibilizados pela CVM e a partir dos softwares Economática® e Thomson Reuters ®. Foram estabelecidas oito hipóteses de pesquisa e estimados modelos de regressão linear múltipla com a técnica de dados em painel desbalanceado, empregando como variável dependente a remuneração total e a remuneração média individual e como regressores variáveis concernentes ao desempenho operacional, valor de mercado, tamanho, estrutura de propriedade, governança corporativa, além de variáveis de controle. Para verificar os fatores que explicam a utilização de stock options, programa de bônus e maior percentual de remuneração variável foram estimados modelos de regressão logit. Os resultados demonstram que, na amostra selecionada, existe relação positiva entre remuneração executiva e valor de mercado. Verificou-se também que os setores de mineração, química, petróleo e gás exercem influência positiva na remuneração executiva. Não obstante, exerce relação inversa com a remuneração total à concentração acionária, o controle acionário público e o fato da companhia pertencer ao nível 2 ou novo mercado conforme classificação da BMF&BOVESPA. O maior valor de mercado influencia na utilização de stock options, assim como no emprego de bônus, sendo que este também é impactado pelo maior desempenho contábil. Foram empregados também testes de robustez com estimações por efeitos aleatórios, regressões com erros-padrão robustos clusterizados, modelos dinâmicos e os resultados foram similares. Conclui-se que a remuneração executiva está relacionada com o valor corporativo gerando riqueza aos acionistas, mas que a ausência de relação com o desempenho operacional sugere falhas no sistema remuneratório que ainda depende de maior transparência e outros mecanismos de governança para alinhar os interesses entre executivos e acionistas.

La adopción del cuadro de mando integral en organizaciones portuguesas: variables contingentes e institucionales

Este artículo tiene como objetivo identificar y analizar un conjunto de variables contingentes e institucionales que pueden potencialmente influir en el conocimiento e implementación del Cuadro de Mando Integral (CMI) en las organizaciones portuguesas pertenecientes al sector público y privado.

La adopción del cuadro de mando integral en organizaciones portuguesas: variables contingentes e institucionales

Esta comunicación tiene como objetivo identificar y analizar un conjunto de variables contingentes e institucionales que pueden potencialmente influir en el conocimiento e implementación del Cuadro de Mando Integral (CMI) en las organizaciones portuguesas pertenecientes al sector público y privado. Para comprobar empíricamente las hipótesis de investigación formuladas hemos recurrido a los datos obtenidos mediante la aplicación de un cuestionario postal a 591 organizaciones públicas y 549 organizaciones privadas portuguesas, con una tasa de respuesta total del 31,3%. Los resultados obtenidos indican la asociación entre el conocimiento CMI y el grado de formación de los empleados, así como entre la implementación del CMI y la realización de cursos de formación. Por otro lado, no hemos obtenido evidencia empírica respecto a la posible relación entre la implementación del CMI y el grado de comunicación interna, el recurso a consultores externos, cuestiones de “modas de gestión” y la búsqueda de legitimidad.

Cuadro de mando integral en empresas portuguesas: variables contextuales e internas

Este artículo tiene como objetivo analizar la relación entre un conjunto de variables contextuales e internas y la adopción del Cuadro de Mando Integral (CMI) en las empresas privadas portuguesas. Como medio básico para la recolección de los datos se ha realizado una encuesta postal a través del envío de un cuestionario a 549 empresas privadas portuguesas, con una tasa de respuesta del 28,2%. Los resultados obtenidos indican que existe una asociación positiva entre la implementación del CMI y el grado de diversidad de los bienes y servicios de la organización; la propiedad de grupos extranjeros; y el tamaño organizacional.

Effects of growth reducer and nitrogen fertilization on morphological variables, SPAD index, interception of radiation and productivity of wheat

ABSTRACT The objective of this study was to evaluate the effect of growth reducer and nitrogen fertilization on morphological variables, SPAD index, radiation interception, and grain yield of three cultivars of wheat. The experimental design was a randomized block in factorial scheme 3x5x2, with three cultivars (Mestre, Iguaçú and Itaipú), five nitrogen doses (0, 40, 80, 120, 160 Kg ha-1), and application or no application of a growth reducer, with three replications. The following characteristics were evaluated: plant height, SPAD index, leaf area index (LAI), Global Radiation Interception (GRI) and grain yield. The Tukey test (p < 0.05) was used for the comparison between the means of cultivar and growth reducer factors, and for a regression analysis to evaluate N levels. Increasing the dose of nitrogen promotes an increase in LAI of plants of wheat crops differently among cultivars, which leads to a greater degree of global radiation interception. At doses higher or equal to 120 Kg ha-1 of nitrogen, there are significant differences in grain yield between treatments with and without the application of the growth reducer. The significant interaction between growth reducer and nitrogen dose, showed that applications of growth reducer increase the GRI at doses above and below 80 Kg ha-1 of nitrogen. Nitrogen rates of 138 and 109 Kg ha-1 are responsible for maximum grain yields of wheat, which is 4235 and 3787 Kg ha-1 with and without the use of growth reducer, respectively.

Theory of reasoned action for continuous improvement capabilities: a behavioral approach

The importance of interaction between Operations Management (OM) and Human Behavior has been recently re-addressed. This paper introduced the Reasoned Action Theory suggested by Froehle and Roth (2004) to analyze Operational Capabilities exploring the suitability of this model in the context of OM. It also seeks to discuss the behavioral aspects of operational capabilities from the perspective of organizational routines. This theory was operationalized using Fishbein and Ajzen (F/A) behavioral model and a multi-case strategy was employed to analyze the Continuous Improvement (CI) capability. The results posit that the model explains partially the CI behavior in an operational context and some contingency variables might influence the general relations among the variables involved in the F/A model. Thus intention might not be the determinant variable of behavior in this context.

ABOUT PSYCHOLOGICAL VARIABLES IN APPLICATION SCORING MODELS

The purpose of this study is to investigate the contribution of psychological variables and scales suggested by Economic Psychology in predicting individuals’ default. Therefore, a sample of 555 individuals completed a self-completion questionnaire, which was composed of psychological variables and scales. By adopting the methodology of the logistic regression, the following psychological and behavioral characteristics were found associated with the group of individuals in default: a) negative dimensions related to money (suffering, inequality and conflict); b) high scores on the self-efficacy scale, probably indicating a greater degree of optimism and over-confidence; c) buyers classified as compulsive; d) individuals who consider it necessary to give gifts to children and friends on special dates, even though many people consider this a luxury; e) problems of self-control identified by individuals who drink an average of more than four glasses of alcoholic beverage a day.

RELATION BETWEEN BACKGROUND VARIABLES, VALUES AND CORPORATE SOCIAL RESPONSIBILITY

ABSTRACT Consumer perception of corporate social responsibility (CSR) can be directly influenced by individual value structures. This research aims to provide new knowledge regarding the relationship between basic human values and the public's perception of CSR. It focuses on the values of higher education students and their views regarding a particular corporate social initiative. The study reveals that social, educational, and economic circumstances influence human values. Those values in turn influence why different students perceive CSR differently. These findings are relevant to companies as they provide a more detailed understanding of why certain consumer groups perceive certain CSR initiatives the way that they do. They also suggest that universities should increase their awareness of the importance of integrating human values and CSR in the curricula of future business managers and social leaders.

Validation of a measurement scale for the relationship between the orientation to corporate social responsibility and other business strategic variables

The importance of Social Responsibility (SR) is higher if this business variable is related with other ones of strategic nature in business activity (competitive success that the company achieved, performance that the firms develop and innovations that they carries out). The hypothesis is that organizations that focus on SR are those who get higher outputs and innovate more, achieving greater competitive success. A scale for measuring the orientation to SR has defined in order to determine the degree of relationship between above elements. This instrument is original because previous scales do not exist in the literature which could measure, on the one hand, the three classics sub-constructs theoretically accepted that SR is made up and, on the other hand, the relationship between SR and the other variables. As a result of causal relationships analysis we conclude with a scale of 21 indicators, validated scale with a sample of firms belonging to the Autonomous Community of Extremadura and it is the first empirical validation of these dimensions we know so far, in this context.

A qualidade das salas de berçários nos concelhos de Setubal e de Palmela

Tendo por principal objetivo contribuir para o estudo da qualidade das creches dos Concelhos de Setúbal e de Palmela, com este trabalho pretende-se (1) avaliar e descrever a qualidade de 30 salas de berçário através da aplicação da Escala de Avaliação do Ambiente de Creche – Edição Revista (Infant/Toddler Environment Rating Scale – Revised Edition [ITERS-R], Harms, Cryer, & Clifford, 2006), (2) avaliar e descrever as práticas de socialização dos prestadores de cuidados responsáveis pelas 30 salas de berçário através da aplicação da Escala de Interação do Prestador de Cuidados (Caregiver Interaction Scale [CIS], Arnett, 1989), (3) estudar a associação entre as práticas de socialização dos profissionais e a qualidade das salas de berçário, (4) estudar associações entre a qualidade das salas de berçário e as práticas de socialização dos profissionais e algumas variáveis de estrutura (rácio adulto/criança, tamanho do grupo, educação, formação e experiência dos prestadores de cuidados). Tendo em conta que os estudos efetuados em Portugal revelam qualidade inadequada e mínima nas salas de creche, os resultados obtidos no presente estudo sugerem que as salas observadas possuem qualidade entre o mínimo e o bom. Embora o presente estudo apresente resultados superiores, verificou-se que os itens que apresentam maiores fragilidades (áreas deficitárias), assim como os itens que expressam maior qualidade (áreas fortes) parecem convergir com os resultados das investigações já efetuadas, com efeito os itens relacionados com as subescalas Atividades e Rotinas de cuidados pessoais são os que apresentam os resultados mais preocupantes. A subescala Interação foi a que apresentou resultados superiores e as práticas de socialização dos prestadores de cuidados revelaram ser excelentes. Verificou-se, igualmente, que as salas orientadas por educadores de infância, assim como, as salas em que o principal prestador de cuidados era educador de infância revelaram qualidade superior do que salas orientadas por assistentes operacionais (auxiliares de ação educativa). Este efeito chama a atenção para a importância da formação e qualificação dos profissionais de educação, assim como, para a necessidade de se alterarem as políticas educativas, nomeadamente no que diz respeito à obrigatoriedade de existirem educadores de infância nas salas de berçário. - ABSTRACT With the main objective of contributing to the study of quality of infant/toddler center-based child care in the Counties of Setúbal and Palmela, this work aims to (1) assess and describe the quality of 30 infant classrooms by applying the Infant/Toddler Environment Rating Scale-Revised Edition ([ITERS-R], Harms, Cryer, & Clifford, 2006), (2) assess and describe the socialization practices of caregivers responsible for 30 infant classrooms by applying the Caregiver Interaction Scale ([CIS], Arnett, 1989), (3) study the association between the socialization practices of professionals and the quality of infant classrooms, (4) to study associations between the quality of infant classrooms and the socialization practices of professionals and some structure variables (ratio adult/child group size, education, training, and experience of carers). Considering that the studies carried out in Portugal reveal minimum or inadequate quality in infant/toddler center-based child care, the results of this study suggest that, in accordance with ITERS-R, the quality of the infant classrooms observed varies between minimum and good. Although the present study reports higher quality scores, it was found that items which present the biggest weaknesses (deficit areas) as well as the items which express higher quality (strengths) appear to converge with the results of the investigations already carried out, since the items related with subscales Activities and Personal Care Routines are those with the most worrisome results. The Interaction subscale from ITERS-R proved to be the one with higher scores, and socialization practices of caregivers proved to be excellent. It was also found that the rooms oriented by early childhood teachers, as well as the rooms in which the primary care provider was also guided by childhood teachers showed higher quality than when guided by operational assistants (educational activities assistants). This effect draws attention to the importance of the education professionals training and qualification, as well as the need for altering the educational policies, in particular as regards the obligation to ensure the existence of early childhood teachers in infant classrooms.