953 resultados para Logical consequence
Resumo:
This paper is a preliminary investigation into the application of the formal-logical theory of normative positions to the characterisation of normative-informational positions, pertaining to rules that are meant to regulate the supply of information. First, we present the proposed framework. Next, we identify the kinds of nuances and distinctions that can be articulated in such a logical framework. Finally, we show how such nuances can arise in specific regulations. Reference is made to Data Protection Law and Contract Law, among others. The proposed approach is articulated around two essential steps. The first involves identifying the set of possible interpretations that can be given to a particular norm. This is done by using formal methods. The second involves picking out one of these interpretations as the most likely one. This second step can be resolved only by using further information (e.g., the context or other parts of the regulation).
Resumo:
Este trabalho de conclusão investiga o efeito da geração de estoques intermediários nos indicadores principais empregados na Teoria das Restrições (Ganho, Despesa Operacional e Inventário) em uma unidade industrial de processo produtivo de Propriedade contínuo, que emprega embalagens, matérias-primas obtidas em larga escala e cadeias logísticas de longo curso. Este tipo de indústria produz bens de consumo imediato, com pouca variabilidade, de modo “empurrado”. A principal conseqüência é a perda do sincronismo na cadeia logística, resultando em uma grande quantidade de estoques intermediários e custos crescentes, relacionados principalmente ao custo de manutenção destes estoques. Através dos cinco passos de focalização e das ferramentas lógicas da Teoria das Restrições, propõe-se uma alternativa gerencial, que inclui o algoritmo Tambor-Pulmão-Corda e insere a organização em um processo de melhoria contínua, cujos impactos são avaliados por simulação computacional. Através de técnicas estatísticas e software apropriados, constrói-se um modelo de simulação computacional baseado em dados reais de uma planta produtora de cimento. A partir deste modelo, diferentes cenários são testados, descobrindo-se a condição ótima. Chega-se a uma conclusão, considerando a mudança na política de geração de estoques intermediários e seus impactos na redução de custos e riscos.
Resumo:
Diamonds obtained from small scale mining near Jequitai and surrounding villages are extracted from Tertiary conglomerates and Quaternary gravels of the Rio Jequitai. Eocretaceous conglomerates, which are locally poorly diamondiferous, cover parts of the Serra da Agua Fria and Serra do Cabral. They are of no economic importance. Analyses of neotectonic, post-Miocene features support a transpressive regime that gave rise to N-S to N25° E transcurrent faults, and WNW normal faults. The main evidence for neotectonic processes are inclined Tertiary sediments, drainage captures, striated laterites of Miocene age, and tilting of blocks that form the Rio Jequitai graben. Diamonds in the Tertiary terraces derived from the Eocretaceous conglomerates, which were affected by neotectonic processes, followed by erosion and concentration during redeposition of sediments.
Resumo:
Objective: The objective of the present investigation was to assess the histological effects of different wavelengths and intensities on the healing process of cutaneous wounds. Background Data: Tissue repair is a dynamic interactive process which involves mediators, cells and extra-cellular matrix. Several reports on the use of laser therapy have shown that the healing process is positively affected when the correct parameters are used. Methods: Eighteen standardized wounds were surgically created on the dorsum of male and female Wistar rats, which were subsequently divided into two experimental groups according to wavelength used λ.670 or λ685 nm) for lasertherapy (LLLT). Each group was divided into three subgroups of three animals according to the intensity of the applied irradiation (2,15, or 25 mW). Twelve animals were used as entreated controls and were not irradiated. The irradiation was carried out during seven consecutive days. The animals were sacrificed eight days after surgery. The specimens were removed, kept in 4% formaldehyde for 24 h, routinely prepared to wax, stained with H&E, and analyzed under light microscopy. Results: For both groups, light microscopy showed a substitution repair process; however, when LLLT was used, a positive biomodulatory effect was detectable, chiefly associated with shorter wavelength and low intensity. Conclusions: The results of the present study indicate that LLLT improved cutaneous wound repair and that the effect is a result of an inversely proportional relationship between wavelength and intensity, with treatment more effective when combining higher intensity with short wavelength or lower intensity with higher wavelength.
Resumo:
Non-conventional database management systems are used to achieve a better performance when dealing with complex data. One fundamental concept of these systems is object identity (OID), because each object in the database has a unique identifier that is used to access and reference it in relationships to other objects. Two approaches can be used for the implementation of OIDs: physical or logical OIDs. In order to manage complex data, was proposed the Multimedia Data Manager Kernel (NuGeM) that uses a logical technique, named Indirect Mapping. This paper proposes an improvement to the technique used by NuGeM, whose original contribution is management of OIDs with a fewer number of disc accesses and less processing, thus reducing management time from the pages and eliminating the problem with exhaustion of OIDs. Also, the technique presented here can be applied to others OODBMSs. © 2011 IEEE.
Resumo:
According to Peirce one of the most important philosophical problems is continuity. Consequently, he set forth an innovative and peculiar approach in order to elucidate at once its mathematical and metaphysical challenges through proper non-classical logical reasoning. I will restrain my argument to the definition of the different types of discrete collections according to Peirce, with a special regard to the phenomenon called premonition of continuity (Peirce, 1976, Vol. 3, p. 87, c. 1897). © 2012 Copyright Taylor and Francis Group, LLC.
Resumo:
Includes bibliography
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Includes bibliography
Resumo:
The phenology, flower morphology, pollination mechanism and reproductive biology of Epidendrum secundum were studied in a semi-deciduous forest at the Serra do Japi (SJ), and in the Atlantic rain forest of Picinguaba, both natural reserves in the State of Sao Paulo, southeastern Brazil. E. secundum flowers all year round, with a flowering peak between September and January. This species is either a lithophytic or terrestrial herb in the SJ, whereas, in Picinguaba, it grows mainly in disturbed areas along roadsides. E. secundum is pollinated by several species of diurnal Lepidoptera at both study sites. In Picinguaba, where E. secundum is sympatric with E. fulgens and both share the same pollinators, pollen transference between these two species was recorded. E. secundum is self-compatible but pollinator-dependent. It is inter-compatible with E. fulgens, producing fertile seeds. In contrast to the population of the SJ, in the Picinguaba region, floral morphology is quite variable among plants and some individuals present flowers with characteristics in-between both sympatric species, suggesting that natural hybridization occasionally occurs. The anthropogenic perturbation is probably the cause of the occurrence of E. secundum in the Picinguaba region, enabling its contact with E. fulgens.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)