990 resultados para Logica simbolica e matematica


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Considering the high competitivity in the market, the application of quantitative methods can assist in analyzing the efficiency of production facilities of areas of export and import processes of the chemical industry sector. In this sense, this work aims to apply the model GPDEA-BCC optimization in order to develop an analysis of the production units of this chemical industry. So, were chosen variables relevant to the process and elaborated a final comparison between the results obtained by the optimization tool and performance indexes provided by the company. These results indicated that some production units should be monitored more carefully because some of them had a low efficiency when analyzed with multi criteria

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This work deals with a problem of mixed integer optimization model applied to production planning of a real world factory that aims for hydraulic hose production. To optimize production planning, a mathematic model of MILP Mixed Integer Linear Programming, so that, along with the Analytic Hierarchy process method, would be possible to create a hierarchical structure of the most import criteria for production planning, thus finding through a solving software the optimum hose attribution to its respective machine. The hybrid modeling of Analytic Hierarchy Process along with Linear Programming is the focus of this work. The results show that using this method we could unite factory reality and quantitative analysis and had success on improving performance of production planning efficiency regarding product delivery and optimization of the production flow

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Desde as primeiras décadas do século XX, foi constatada nos currículos dos cursos de formação de professores a existência de uma disciplina cuja constituição, funcionamento e objetivos têm como pressuposto ensinar a ensinar a matemática. Historicamente, a disciplina Metodologia do Ensino de Matemática tem aparecido nos cursos de Licenciatura em Matemática com distintas denominações. Ao longo dessas mudanças, os pressupostos e as características dessa disciplina foram se modificando. Tomando como metodologia de pesquisa a análise documental e a história oral, e como referencial teórico os estudos de André Chervel (1990), este trabalho teve como objetivo compreender o processo histórico de disciplinarização da Metodologia do Ensino de Matemática em cursos de licenciatura em Matemática de instituições públicas de ensino superior do estado de São Paulo (USP, UNICAMP e UNESP-Rio Claro), buscando conhecer a gênese e o desenvolvimento histórico da disciplina, identificando conteúdos e métodos propostos bem como as mudanças pelas quais passou a disciplina.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper we focus on the application of two mathematical alternative tasks to the teaching and learning of functions with high school students. The tasks were elaborated according to the following methodological approach: (i) Problem Solving and/or mathematics investigation and (ii) a pedagogical proposal, which defends that mathematical knowledge is developed by means of a balance between logic and intuition. We employed a qualitative research approach (characterized as a case study) aimed at analyzing the didactic pedagogical potential of this type of methodology in high school. We found that tasks such as those presented and discussed in this paper provide a more significant learning for the students, allowing a better conceptual understanding, becoming still more powerful when one considers the social-cultural context of the students.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper, a new family of survival distributions is presented. It is derived by considering that the latent number of failure causes follows a Poisson distribution and the time for these causes to be activated follows an exponential distribution. Three different activation schemes are also considered. Moreover, we propose the inclusion of covariates in the model formulation in order to study their effect on the expected value of the number of causes and on the failure rate function. Inferential procedure based on the maximum likelihood method is discussed and evaluated via simulation. The developed methodology is illustrated on a real data set on ovarian cancer.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Let G be a group such that, for any subgroup H of G, every automorphism of H can be extended to an automorphism of G. Such a group G is said to be of injective type. The finite abelian groups of injective type are precisely the quasi-injective groups. We prove that a finite non-abelian group G of injective type has even order. If, furthermore, G is also quasi-injective, then we prove that G = K x B, with B a quasi-injective abelian group of odd order and either K = Q(8) (the quaternion group of order 8) or K = Dih(A), a dihedral group on a quasi-injective abelian group A of odd order coprime with the order of B. We give a description of the supersoluble finite groups of injective type whose Sylow 2-subgroup are abelian showing that these groups are, in general, not quasi-injective. In particular, the characterisation of such groups is reduced to that of finite 2-groups that are of injective type. We give several restrictions on the latter. We also show that the alternating group A(5) is of injective type but that the binary icosahedral group SL(2, 5) is not.

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador: