Aritmética Modular

A videoaula traz o conceito de aritmética modular, como sendo o estudo das operações básicas sobre um contexto diferente, que é o sistema dos números inteiros módulo n. As operações básicas são: adição mod n, subtração mod n, multiplicação mod n, e divisão mod n. O material destaca ainda a adição e multiplicação modulares, a subtração e a divisão modular, o inverso modular e seus elementos e, por fim, o cálculo de equações.

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Polimorfismos de nucleotídeo único (SNPS) dos genes PPARy2, lipase lipoproteica, receptor de LDL, apolipoproteina C3, e adiponectina podem modular o perfil lipídico de pacientes com a síndrome de Berardinelli-Seip

A Síndrome de Berardinelli-Seip (SBS) é um distúrbio raro do metabolismo dos lipídios, caracterizada pela ausência quase total de tecido adiposo subcutâneo, hipertrigliceridemia, hipoleptinemia e diabetes insulino resistente ou lipoatrófico. Sua etiologia envolve implicações hipotalâmicas, alterações nos receptores de insulina e mutações nos genes AGPAT2, Gng3lg, CAV1 e PTRF. O tecido adiposo secreta diversas substâncias, tais como: leptina, resistina, adiponectina, esteróides, TNF , IL-6, PAI-1, angiotensinogênio, IGF-1. Muitas delas estão associadas ao diabetes mellitus tipo 2, obesidade e hipertensão. Os PPARs são fatores transcricionais pertencentes à superfamília de receptores nucleares ligantes ativados. Sabe-se que o PPAR , é importante para o metabolismo lipídico e glicídico e que o ligante natural do PPAR é derivado do ácido graxo. Nesse sentido, foram avaliados 24 pacientes portadores da SBS, provenientes do Estado do Rio Grande do Norte, com a mediana das idades de 18,5 anos (0,55 a 47 a), sendo 9 (37,5 %) do gênero masculino e 15 (62,5 %) do gênero feminino. Quanto ao grupo étnico, foram classificados em caucasóides (brancos) 21 (87,5 %) e negróides 3 (12,5 %) pacientes. Foram feitas avaliações clínico-endocrinológica, bioquímica, hormonal, molecular e o estudo dos polimorfismos Adiponectina ADIPOQ, PPARγ2 Pro12Ala, LPL-PvuII, APOC3-SstI e LDLR-AvaII em portadores da SBS. Nesta população nós não encontramos nenhuma associação de parâmetros lipídicos e glicídicos com os polimorfismos LPL-PvuII, APOC3-SstI e LDLR-AvaII. Porém, observamos associação entre Adiponectina ADIPOQ e PPARγ2 Pro12Ala e níveis lipídicos mais elevados, sugerindo um papel biológico para estes fatores, indicando estudos mais aprofundados

Test of a Modular Fault Current Limiter for 220 V Line Using YBCO Coated Conductor Tapes With Shunt Protection

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Male Homosexuality in Brazilian Indexing Languages: Some Ethical Questions

Studies on ethics in information organization have deeply contributed to the recognition of the social dimension of Information Science. The subject approach to information is linked to an ethical dimension because one of its major concerns is related to its reliability and usefulness in a specific discursive community or knowledge domain. In this direction, we propose, through an exploratory research design with qualitative and inductive characteristics, to identify the specific terminology that Brazilian indexing languages allow for terms relating to male homosexuality. We also analyzed the terms assigned to papers published in the Journal of Homosexuality, Sexualities and Journal of Gay & Lesbian Mental Health between the years 2005 to 2009. From this analysis of terms and the Brazilian indexing languages, we see (1) the Brazilian context, (2) imprecision in the terminology, (3) indications of prejudices disseminated by political correctness, (4) biased representation of the subject matter, (5) and the presence of figures of speech.

Model-Driven requirements engineering process aided by ontologies and natural controlled languages

Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; scope definition; volatility and traceability issues. To cope with these issues a set of works are concentrated in (i) defining processes to collect client s specifications in order to solve scope issues; (ii) defining models to represent requirements to address communication and traceability issues; and (iii) working on mechanisms and processes to be applied to requirements modeling in order to facilitate requirements evolution and maintenance, addressing volatility and traceability issues. We propose an iterative Model-Driven process to solve these issues, based on a double layered CIM to communicate requirements related knowledge to a wider amount of stakeholders. We also present a tool to help requirements engineer through the RE process. Finally we present a case study to illustrate the process and tool s benefits and usage

Modular hybrid total hip arthroplasty. Experimental study in dogs

Background: This prospective experimental study evaluated the surgical procedure and results of modular hybrid total hip arthroplasty in dogs.Methods: Ten skeletally mature healthy mongrel dogs with weights varying between 19 and 27 kg were used. Cemented modular femoral stems and uncemented porous-coated acetabular cups were employed. Clinical and radiographic evaluations were performed before surgery and at 30, 60, 90, 120, 180 and 360 days post-operation.Results: Excellent weight bearing was noticed in the operated limb in seven dogs. Dislocation followed by loosening of the prosthesis was noticed in two dogs, which were therefore properly treated with a femoral head osteotomy. Femoral fracture occurred in one dog, which was promptly treated with full implant removal and femoral osteosynthesis.Conclusions: The canine modular hybrid total hip arthroplasty provided excellent functionality of the operated limb.

Mistletoes Play Different Roles in a Modular Host-Parasite Network

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Semantic categories in the indigenous languages of Brazil

This article investigates which semantic categories, as defined in Functional Discourse Grammar, formally manifest themselves in a sample of native languages of Brazil, and the extent to which the distribution of these manifestations across categories can be described systematically in terms of implicational hierarchies. The areas subjected to investigation are basic interrogative words, basic demonstrative words, and nominalization strategies.

Utilizing cross-domain SOAP Web services using client-side languages in an enterprise mashup platform

Service oriented architectures (SOA) based on Simple Object Access Protocol (SOAP) Web services have attracted the attention of enterprises mainly for business-to-business integration and to create composite applications that execute business processes. An existing problem is the lack of preoccupation with non technical users due to the fact that to create a composite application to fulfill users needs, it is necessary to be in contact with IT staff. To overcome this issue, enterprises can take advantage of web 2.0, 'introducing in the development stage some technologies like mashups and some concepts like user empowerment, collaborative work and collective intelligence. Some results [3] [13] have shown how web 2.0 concepts can help non technical users to produce relative complex business processes. However, traditional enterprise requirements goes beyond typical web 2.0 solutions in several aspects: (1) traditional enterprise systems are based on heterogeneous stack of technologies that are not directly exploitable from a web-based client (where SOAP web services play an important role); (2) web browsers set some cross-domain security constraints making difficult to integrate services from diverse domains. In this paper, a contribution to two web 2.0 research projects [14] [15] partially solves the problems described: provide a way to invoke cross-domain backend services (based on SOAP technologies) directly only using clientside languages, without a need for any adaptation layer. © 2010 ACM.

Virtual instrumentation: A practical approach to control and supervision process

This work describes a control and supervision application takes into account the virtual instrumentation advantages to control and supervision industrial manufacturing stations belonging to the modular production system MPS® by Festo. These stations integrate sensors, actuators, conveyor belt and other industrial elements. The focus in this approach was to replace the use of programmable logic controllers by a computer equipped with a software application based on Labview and, together, performs the functions of traditional instruments and PLCs. The manufacturing stations had their processes modeled and simulated in Petri nets. After the models were implemented in Labview environment. Tests and previous similar works in MPS® installed in Automation Laboratory, at UNESP Sorocaba campus, showed the materials and methods used in this work allow the successful use of virtual instrumentation. The results indicate the technology as an advantageous approach for the automation of industrial processes, with gains in flexibility and reduction in project cost. © 2011 IEEE.

Fault current limiter using transformer and modular device of YBCO coated conductor

In this work, we report on the evaluation of a superconducting fault current limiter (SFCL). It is consisted of a modular superconducting device combined with a short-circuited transformer with a primary copper winding connected in series to the power line and the secondary side short-circuited by the superconducting device. The basic idea is adding a magnetic component to contribute to the current limitation by the impedance reflected to the line after transition of the superconducting device. The evaluation tests were performed with a prospective current up to 2 kA, with the short-circuited transformer of 2.5 kVA, 220 V/660 V connected to a test facility of 100 kVA power capacity. The resistive SFCL using a modular superconducting device was tested without degradation for a prospective fault current of 1.8 kA, achieving the limiting factor 2.78; the voltage achieved 282 V corresponding to an electric field of 11 V/m. The test performed with the combined SFCL (xsuperconducting device + transformer) using series and toroidal transformers showed current limiting factor of 3.1 and 2 times, respectively. The test results of the combined SFCL with short-circuited transformer showed undesirable influence of the transformer impedance, resulting in reduction of the fault current level. © 2002-2011 IEEE.