Escolha de parceiros na adolescência

Mate choice is a component of sexual selection. Trying to understand the patterns of this process, several studies have emphasized the adaptive value of sexual differences and their influence on the assessment of the market value. The pattern for adults presented on the scientific literature, which is based on the preference for certain characteristics, shows that men search a partner who shows high value of fecundity and fertility, thus looking for partners with the ability of being pregnant and nursing their offspring. On the other hand, women look for partners with high socioeconomic status, which is strongly associated with the ability to protect and provide resources for them and their offspring. Surprisingly, there is few works that investigated the mate choice patterns during the beginning of the period of sexual differentiation on the morphological, physiological and behavioral traits. The aim of this study was to investigate mate choice patterns in adolescence in order to describe their preferences and contribute to the understanding of human reproductive behavior. Took part of this research 1,232 students from educational institutions of Natal, Brazil, and visitors to the Scientific, Technological and Cultural Fair UFRN. In the Experimental Study 1, we applied a questionnaire to evaluate the importance of certain characteristics, assessed the degree of romantic involvement and real and ideal partners age preference. In the Experimental Study 2, we did a survey of characteristics considered relevant and evaluate the importance of these characteristics in mate choice. The Experimental Study 3 brought an investigation of mate choice patterns based on self-assessment of adolescents, evaluating ideal partner for a short-term and long-term relationships and actual partner. We found that adolescents are motivated to live romantic experiences. We also observed a preference for partners of similar age to that described for adults. Finally, we found similarities and differences in the preferences for characteristics in real and ideal partners in relation to the adult pattern. In addition, we observed high similarity on the self-assessment and assessment of real and ideal partners. We suggest that in the mate choice, adolescents are similar to young adults in some aspects but not all. Our results show the relevance of the reproductive behavior investigation in this human developmental period and reinforce that further studies should contribute to the understanding of human behavior in terms of ontogenetic development and their evolutionary history.

Preferências e escolhas românticas entre universitários

Several studies have found different patterns of preferences to men and women for short term and long term relationship romantic partners. It is known that the preferences vary with the sex of individuals, the expected involvement level of the relationship and according to the perceptions that subjects have about themselves. In the present study, we investigate whether the preferences typically founded for sexes are also founded between Brazilian undergraduate students. We also investigated if the individuals choose partners in accord of the sex preferences and if the ideal preferences are really expressed in real choices. For these investigations, 370 undergraduate students described profiles of an ideal partner for a short-term and a long-term relationship, through the joint evaluation of nine characteristics. Each ideal s profile has been described over three simulations, in which the amount of points available to be invested were limited and gradually reduced. After the descriptions of these profiles, the participants described the current or previous partner (if they were not in a relationship) and performed a self-assessment with the same characteristics used in the description of preferences. Overall, the results obtained in several countries were observed in Brazil. For short-term relationships men prioritize physical attributes and women value physical and personal attributes. For long-term, personal traits gained in importance on masculine preferences and women emphasized personal traits and the partner disposition to acquire resources. We also identified similar preferences profiles for both sexes and that the romantic preferences reflect similarities with the own individual s characteristics, in addition to the typical sexual preferences expected for the Parental Investment Theory. When evaluated their real partners, men considerate them more physically attractive than themselves but less intelligent, good humorous and ambi tion/willing to work. Women, in turn, described their partners as good as them. Finally, we observed equivalence between characteristics of the subjects and those of its partners, this effect being more pronounced among men. The last partners were described only as less sincere. The interpretation of the most part of our results was possible from evolutionist s and socio-cultural s explanations and was discussed under the two perspectives. We conclude this study stressing that the traditional romantic preferences occur in Brazil and that the sex, the kind of relationship and the vision that people have about their own characteristics affect the preferences, which are expressed in the real partner choices

Os novos quixotes da psicologia e a prática social no âmbito do terceiro setor

A pesar del cuadro crítico de la pobreza y desigualdad social en que vivimos en el país, las perspectivas actuales apuntan para el fin del Estado Interventor y para la reducción del gasto público destinado a las políticas sociales. Con el enjugamiento del estado, el Tercer sector está encargado de pacificar la cuestión social, reduciéndola al ámbito del deber moral. Convocado al compromiso social, el psicólogo también empieza a trabajar en la frontera de la exclusión, sin cuestionar la finalidad y las implicaciones políticas del nuevo escenario. El objetivo de este trabajo es investigar la práctica social del psicólogo, en el ámbito del tercer sector , buscando el análisis que hace del nuevo campo de trabajo, así como las estrategias utilizadas en el enfrentamiento de la pobreza. Para la investigación, fueron realizadas 20 (veinte) encuestas semiestructuradas con psicólogos que actúan en instituciones del tercer sector . Las encuestas fueron analizadas cualitativamente, a la luz de la perspectiva gramsciana de sociedad civil y emancipación humana, bien como de los preceptos de la Psicología Comunitaria y Intervención Psicosocial. Utilizamos como base de análisis, todavía, el Método Comparativo Constante. Los resultados fueron agrupados en tres ejes: quien son los nuevos quijotes de la Psicología, las demandas del Tercer Sector y las estrategias utilizadas por el psicólogo en el Tercer Sector . La perspectiva defendida en este trabajo es la de que en el campo de las intervenciones sociales, y más acentuadamente en el Tercer Sector , los psicólogos serían nuevos quijotes , actuando con buena voluntad, con grandes sueños de transformación, pero realizando acciones que no parten de una lectura crítica y adecuada de la realidad, no percibiendo sus posibilidades reales y sus límites de actuación. Finalmente, defendemos que se debe buscar, con la inserción profesional; mejorar la calidad de vida y el bienestar, a través de una intervención proactiva, buscando el desarrollo, la organización y la emancipación de las personas, grupos y comunidades

Desenvolvimento e teste de um modelo estatístico de identificação das proporções de água produzida em zonas de produção de um campo maduro de petróleo

This study investigates the chemical species produced water from the reservoir areas of oil production in the field of Monte Alegre (onshore production) with a proposal of developing a model applied to the identification of the water produced in different zones or groups of zones.Starting from the concentrations of anions and cátions from water produced as input parameters in Linear Discriminate Analysis, it was possible to estimate and compare the model predictions respecting the particularities of their methods in order to ascertain which one would be most appropriate. The methods Resubstitution, Holdout Method and Lachenbruch were used for adjustment and general evaluation of the built models. Of the estimated models for Wells producing water for a single production area, the most suitable method was the "Holdout Method and had a hit rate of 90%. Discriminant functions (CV1, CV2 and CV3) estimated in this model were used to modeling new functions for samples ofartificial mixtures of produced water (producedin our laboratory) and samples of mixtures actualproduced water (water collected inwellsproducingmore thanonezone).The experiment with these mixtures was carried out according to a schedule experimental mixtures simplex type-centroid also was simulated in which the presence of water from steam injectionin these tanks fora part of amostras. Using graphs of two and three dimensions was possible to estimate the proportion of water in the production area

Produção e validação de um indicador de saúde bucal para idosos a partir de dados secundários do SB Brasil 2010

Dentre os vários aspectos da saúde do idoso, a saúde bucal merece atenção especial pelo fato de que, historicamente, nos serviços odontológicos, não se considera esse grupo populacional como prioridade de atenção. Por isso, se faz necessária a produção de um indicador multidimensional capaz de mensurar todas as alterações bucais encontradas em um idoso, facilitando a categorização da saúde bucal como um todo. Tal indicador representará um importante instrumento capaz de elencar prioridades de atenção voltadas à população idosa. Portanto, o estudo em questão propõe a produção e validação de um indicador de saúde bucal a partir dos dados secundários coletados pelo projeto SB Brasil 2010 referente ao grupo etário de 65 a 74 anos. A amostra foi representada pelos 7619 indivíduos do grupo etário de 65 a 74 anos que participaram da pesquisa nas 5 (cinco) regiões do Brasil. Tais indivíduos foram submetidos à avaliação epidemiológica das condições de saúde bucal, a partir dos índices CPO-d, CPI e PIP. Além disso, verificou-se o uso e necessidade de prótese, bem como características sociais, econômicas e demográficas. Uma análise fatorial identificou um número relativamente pequeno de fatores comuns, através da análise de componentes principais. Após a nomenclatura dos fatores, foi realizada a soma dos escores fatoriais por indivíduo. Por último, a dicotomização dessa soma nos forneceu o indicador de saúde bucal proposto. Para esse estudo foram incluídas na análise fatorial 12 variáveis de saúde bucal oriundas do banco de dados do SB Brasil 2010 e, também 3 variáveis socioeconômicas e demográficas. Com base no critério de Kaiser, observa-se que foram retidos cinco fatores que explicaram 70,28% da variância total das variáveis incluídas no modelo. O fator 1 (um) explica sozinho 32,02% dessa variância, o fator 2 (dois) 14,78%, enquanto que os fatores 3 (três), 4 (quatro) e 5 (cinco) explicam 8,90%, 7,89% e 6,68%, respectivamente. Por meio das cargas fatoriais, o fator um foi denominado dente hígido e pouco uso de prótese , o dois doença periodontal presente , o três necessidade de reabilitação , já o quarto e quinto fator foram denominados de cárie e condição social favorável , respectivamente. Para garantir a representatividade do indicador proposto, realizou-se uma segunda análise fatorial em uma subamostra da população de idosos investigados. Por outro lado, a aplicabilidade do indicador produzido foi testada por meio da associação do mesmo com outras variáveis do estudo. Por fim, Cabe ressaltar que, o indicador aqui produzido foi capaz de agregar diver sas informações a respeito da saúde bucal e das condições sociais desses indivíduos, traduzindo assim, diversos dados em uma informação simples, que facilita o olhar dos gestores de saúde sobre as reais necessidades de intervenções em relação à saúde bucal de determinada população

A produção das desigualdades: análise da relação entre trabalho infantil e indicadores sociais

The International Labor Organization (OIT) estimates that there are around 118 million children subjected to child labor around the world. In Brazil, there are 3.5 million workers aged between 5 and 17. This exploitation practice constitutes a serious social problem, including of Public Health, since these workers are exposed to a wide range of risks, such as those related to health, physical integrity and even to life, which may cause them to become sick adults and/or interrupt their lives prematurely. Therefore, this research aims to investigate the relationship between the frequency of child labor in the age group of 10 to 13 years and some socio-economic indicators. It is a quantitative research in an ecological study whose levels of analysis are the Brazilian municipalities grouped in 161 regions, defined from socioeconomic criteria. The dependent variable of this study was the prevalence of child labor in the age group of 10 to 13 years. The independent variables were selected after a correlation between the 2010 Census of child labor in the age group of 10 to 13 years and secondary data had been conducted, adopting two main independent variables: funds from the Family Allowance Program (PBF) per 1,000 inhabitants and Funds from the Child Labor Eradication Program (PETI) per a thousand inhabitants. Initially, it was conducted a descriptive analysis of the variables of the study, then, a bivariate analysis, and the correlation matrix was built. At last, the Multiple Linear Regression stratified analysis was performed. The results of this survey indicate that public policies , like the Bolsa Familia Program Features per 1000 inhabitants and Resources Program for the Eradication of Child Labour to be allocated to municipalities with HDI < 0.697 represent a decrease in the rate of child labor ; These programs have the resources to be invested in municipalities with HDI > = 0.697 have no effect on the rate of child labor. Other adjustment variables showed significance, among these the municipal Human Development Index (IDH), years of schooling at 18 years of age, illiteracy at 15 years of age or more, employees without employment contract at 18 years of age and the Gini Index. It is understood that the child labor issue is complex. The problem is associated, although not restricted to, poverty, the social exclusion and inequality that exist in Brazil, but other factors of cultural and economic nature, as well as of organization of production, also account for its aggravation. Fighting child labor involves a wide intersectoral articulation, shared and integrated with several public policies, among them health, sports, culture, agriculture, labor and human rights, with a view to guaranteeing the integrality of the rights of children and adolescents in situation of labor and of their respective families

Violência contra a mulher:uma análise do trabalho do Centro de Referência da Assistência Social-CREAS/Parnamirim-RN.

This work demonstrates the results obtained from research on violence against women: an analysis of the work from reference center of the Social Assistance-CREAS, held in the city of Parnamirim/RN from September 2008 extending through the february of 2009. Having as goal to investigate and examine in a longitudinal cut, which specifically covers the period from 2006 to 2007, find out extent the actions taken by the Reference Center Specialized Social Assistance- CREAS, contributed to the change of women who were there, by checking if there was any change in their positions ahead of the violence and if they began to realize how social subjects, able to control their living conditions and interfere in the orientation of social dynamics Have a particular emphasis on the presence of work and schooling or lack of them is also a factor to be allied to the barriers and rules imposed on women in contemporary society. In this study it was found through a qualitative research guided by dialectical and implemented through the use of documentary research, observation, semi-structured interview and an extensive theoretical background on the subject in question that the woman victim of violence is in a complex and contradictory context where there is both the construction and deconstruction of rights, a view that there are strong influences of patriarchal culture and the consequences of social issues that specifically searched for the public, focuses on social, economic , political, social and cultural. In this sense, the National Policy to Combat Violence against Women, operated by CREASE Parnamirim, is also reflected in its early stages in the life of these women are to nurture a real chance for these victims of violence, to perceive themselves as social subjects can control their lives and interfere in their own destinies. We want this study to add more knowledge to help and most appropriate intervention in this reality, but without the intention of reaching exhaustion, but to subsidize future studies on the topic of women victims of violence

Violência contra a mulher: uma análise do trabalho do centro de referência da assistência social-CREAS/Parnamirim

This work demonstrates the results obtained from research on violence against women: an analysis of the work from reference center of the Social Assistance-CREAS, held in the city of Parnamirim/RN from September 2008 extending through the february of 2009. Having as goal to investigate and examine in a longitudinal cut, which specifically covers the period from 2006 to 2007, find out extent the actions taken by the Reference Center Specialized Social Assistance-CREAS, contributed to the change of women who were there, by checking if there was any change in their positions ahead of the violence and if they began to realize how social subjects, able to control their living conditions and interfere in the orientation of social dynamics Have a particular emphasis on the presence of work and schooling or lack of them is also a factor to be allied to the barriers and rules imposed on women in contemporary society. In this study it was found through a qualitative research guided by dialectical and implemented through the use of documentary research, observation, semi-structured interview and an extensive theoretical background on the subject in question that the woman victim of violence is in a complex and contradictory context where there is both the construction and deconstruction of rights, a view that there are strong influences of patriarchal culture and the consequences of social issues that specifically searched for the public, focuses on social, economic , political, social and cultural. In this sense, the National Policy to Combat Violence against Women, operated by CREASE Parnamirim, is also reflected in its early stages in the life of these women are to nurture a real chance for these victims of violence, to perceive themselves as social subjects can control their lives and interfere in their own destinies. We want this study to add more knowledge to help and most appropriate intervention in this reality, but without the intention of reaching exhaustion, but to subsidize future studies on the topic of women victims of violence

O problema biobjetivo da árvore geradora quadrática em adjacência de arestas

The Quadratic Minimum Spanning Tree Problem (QMST) is a version of the Minimum Spanning Tree Problem in which, besides the traditional linear costs, there is a quadratic structure of costs. This quadratic structure models interaction effects between pairs of edges. Linear and quadratic costs are added up to constitute the total cost of the spanning tree, which must be minimized. When these interactions are restricted to adjacent edges, the problem is named Adjacent Only Quadratic Minimum Spanning Tree (AQMST). AQMST and QMST are NP-hard problems that model several problems of transport and distribution networks design. In general, AQMST arises as a more suitable model for real problems. Although, in literature, linear and quadratic costs are added, in real applications, they may be conflicting. In this case, it may be interesting to consider these costs separately. In this sense, Multiobjective Optimization provides a more realistic model for QMST and AQMST. A review of the state-of-the-art, so far, was not able to find papers regarding these problems under a biobjective point of view. Thus, the objective of this Thesis is the development of exact and heuristic algorithms for the Biobjective Adjacent Only Quadratic Spanning Tree Problem (bi-AQST). In order to do so, as theoretical foundation, other NP-hard problems directly related to bi-AQST are discussed: the QMST and AQMST problems. Bracktracking and branch-and-bound exact algorithms are proposed to the target problem of this investigation. The heuristic algorithms developed are: Pareto Local Search, Tabu Search with ejection chain, Transgenetic Algorithm, NSGA-II and a hybridization of the two last-mentioned proposals called NSTA. The proposed algorithms are compared to each other through performance analysis regarding computational experiments with instances adapted from the QMST literature. With regard to exact algorithms, the analysis considers, in particular, the execution time. In case of the heuristic algorithms, besides execution time, the quality of the generated approximation sets is evaluated. Quality indicators are used to assess such information. Appropriate statistical tools are used to measure the performance of exact and heuristic algorithms. Considering the set of instances adopted as well as the criteria of execution time and quality of the generated approximation set, the experiments showed that the Tabu Search with ejection chain approach obtained the best results and the transgenetic algorithm ranked second. The PLS algorithm obtained good quality solutions, but at a very high computational time compared to the other (meta)heuristics, getting the third place. NSTA and NSGA-II algorithms got the last positions

A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

Construção de mosaicos georreferenciados usando imagens aéreas de pequeno formato

In this work we propose a technique that uses uncontrolled small format aerial images, or SFAI, and stereohotogrammetry techniques to construct georeferenced mosaics. Images are obtained using a simple digital camera coupled with a radio controlled (RC) helicopter. Techniques for removing common distortions are applied and the relative orientation of the models are recovered using projective geometry. Ground truth points are used to get absolute orientation, plus a definition of scale and a coordinate system which relates image measures to the ground. The mosaic is read into a GIS system, providing useful information to different types of users, such as researchers, governmental agencies, employees, fishermen and tourism enterprises. Results are reported, illustrating the applicability of the system. The main contribution is the generation of georeferenced mosaics using SFAIs, which have not yet broadly explored in cartography projects. The proposed architecture presents a viable and much less expensive solution, when compared to systems using controlled pictures

Uma Análise de métodos de distriubuição de atributos em comitês de classificadores

The objective of the researches in artificial intelligence is to qualify the computer to execute functions that are performed by humans using knowledge and reasoning. This work was developed in the area of machine learning, that it s the study branch of artificial intelligence, being related to the project and development of algorithms and techniques capable to allow the computational learning. The objective of this work is analyzing a feature selection method for ensemble systems. The proposed method is inserted into the filter approach of feature selection method, it s using the variance and Spearman correlation to rank the feature and using the reward and punishment strategies to measure the feature importance for the identification of the classes. For each ensemble, several different configuration were used, which varied from hybrid (homogeneous) to non-hybrid (heterogeneous) structures of ensemble. They were submitted to five combining methods (voting, sum, sum weight, multiLayer Perceptron and naïve Bayes) which were applied in six distinct database (real and artificial). The classifiers applied during the experiments were k- nearest neighbor, multiLayer Perceptron, naïve Bayes and decision tree. Finally, the performance of ensemble was analyzed comparatively, using none feature selection method, using a filter approach (original) feature selection method and the proposed method. To do this comparison, a statistical test was applied, which demonstrate that there was a significant improvement in the precision of the ensembles

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Projeto e implementação de uma plataforma MP-SoC usando SystemC

This work presents the concept, design and implementation of a MP-SoC platform, named STORM (MP-SoC DirecTory-Based PlatfORM). Currently the platform is composed of the following modules: SPARC V8 processor, GPOP processor, Cache module, Memory module, Directory module and two different modles of Network-on-Chip, NoCX4 and Obese Tree. All modules were implemented using SystemC, simulated and validated, individually or in group. The modules description is presented in details. For programming the platform in C it was implemented a SPARC assembler, fully compatible with gcc s generated assembly code. For the parallel programming it was implemented a library for mutex managing, using the due assembler s support. A total of 10 simulations of increasing complexity are presented for the validation of the presented concepts. The simulations include real parallel applications, such as matrix multiplication, Mergesort, KMP, Motion Estimation and DCT 2D

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization