A positional FEM Formulation for geometrical non-linear analysis of shells

This work presents a fully non-linear finite element formulation for shell analysis comprising linear strain variation along the thickness of the shell and geometrically exact description for curved triangular elements. The developed formulation assumes positions and generalized unconstrained vectors as the variables of the problem, not displacements and finite rotations. The full 3D Saint-Venant-Kirchhoff constitutive relation is adopted and, to avoid locking, the rate of thickness variation enhancement is introduced. As a consequence, the second Piola-Kirchhoff stress tensor and the Green strain measure are employed to derive the specific strain energy potential. Curved triangular elements with cubic approximation are adopted using simple notation. Selected numerical simulations illustrate and confirm the objectivity, accuracy, path independence and applicability of the proposed technique.

Musical genres: beating to the rhythms of different drums

Online music databases have increased significantly as a consequence of the rapid growth of the Internet and digital audio, requiring the development of faster and more efficient tools for music content analysis. Musical genres are widely used to organize music collections. In this paper, the problem of automatic single and multi-label music genre classification is addressed by exploring rhythm-based features obtained from a respective complex network representation. A Markov model is built in order to analyse the temporal sequence of rhythmic notation events. Feature analysis is performed by using two multi-variate statistical approaches: principal components analysis (unsupervised) and linear discriminant analysis (supervised). Similarly, two classifiers are applied in order to identify the category of rhythms: parametric Bayesian classifier under the Gaussian hypothesis (supervised) and agglomerative hierarchical clustering (unsupervised). Qualitative results obtained by using the kappa coefficient and the obtained clusters corroborated the effectiveness of the proposed method.

Physiological demands of match-play in elite tennis: A case study

The physiological and perceptual demands together with match notation of a four-set tennis match were studied in two elite professional players during the preparation for the 2008 Davis Cup. The design of this case report is unique in that it is the first to describe the demands of prolonged match-play (197 min) over four sets in ecologically valid conditions. The variables measured before and after each set included blood lactate and glucose concentrations, body mass, and perception of effort. Stroke count for each rally and heart rate were recorded during each set while salivary cortisol concentration was determined before and after the match. The rally length decreased as the match progressed. The results showed significant physiological stress, with each player losing greater than 2.5% of body mass (as fluid) and having elevated salivary cortisol concentrations after the match. Heart rate and perception of effort were also increased following each set indicating increasing stress. However, blood lactate decreased following the fourth set while blood glucose was maintained. The results also suggest that elite players may adjust work rates or tactics to cope with the increased perception of effort. This report shows that four sets of tennis are associated with increasing stress and fatigue.

A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Mathematical constraints on a theory of human memory - Response

Colonius suggests that, in using standard set theory as the language in which to express our computational-level theory of human memory, we would need to violate the axiom of foundation in order to express meaningful memory bindings in which a context is identical to an item in the list. We circumvent Colonius's objection by allowing that a list item may serve as a label for a context without being identical to that context. This debate serves to highlight the value of specifying memory operations in set theoretic notation, as it would have been difficult if not impossible to formulate such an objection at the algorithmic level.

MapScript: A map algebra programming language incorporating neighborhood analysis

Map algebra is a data model and simple functional notation to study the distribution and patterns of spatial phenomena. It uses a uniform representation of space as discrete grids, which are organized into layers. This paper discusses extensions to map algebra to handle neighborhood operations with a new data type called a template. Templates provide general windowing operations on grids to enable spatial models for cellular automata, mathematical morphology, and local spatial statistics. A programming language for map algebra that incorporates templates and special processing constructs is described. The programming language is called MapScript. Example program scripts are presented to perform diverse and interesting neighborhood analysis for descriptive, model-based and processed-based analysis.

Pro re nata medication for psychoses: an audit of practice in two metropolitan hospitals

Objective: To examine the use of pro re nata (PRN) (as needed) medication in hospitalized patients with psychotic disorders. Methods: Retrospective chart reviews were conducted at two large public psychiatry units situated in inner city general hospitals. Pro re nata medication prescription, administration and outcomes were examined during inpatient episodes of care for 184 consecutive admissions of patients diagnosed with a psychotic disorder. Patient demographics, diagnoses, and regularly prescribed medication were also recorded. All admissions were drawn from a three-month period from December 1998-February 1999. Results: The most prevalent diagnoses were schizophrenia related disorders (n = 111) and mania (n = 34). Substance use disorders (n = 49) were the most common comorbid dis-orders. Pro re nata medication was administered during the acute phase of 82% of admissions. Drugs prescribed Pro re nata were mostly typical antipsychotics, benzodiazepines and/or anti-cholinergics. Coprescription of typical antipsychotics PRN with regularly scheduled atypical antipsychotics was common (64%). Pro re nata medications accounted for 31% of the total antipsychotic dose and 28% of the total anxiolytic dose administered during acute treatment. Higher daily doses of PRN medication were given to manic patients, males, younger patients and those with substance use disorders. Pro re nata prescriptions usually specified a maximum daily dose (87%) but rarely gave indications for use (6%). Adminis-tration records frequently lacked a specified reason for use (48%) or a notation of outcome (64%). Unit staff noted medication-related morbidity in 37% of patients receiving PRN medication, compared to 3% of patients receiving only regularly scheduled medication. Extrapyramidal symptoms (EPS) were most frequently associated with administration of PRN haloperidol (Relative Risk vs other PRN medications = 5.61, 95% CI = 2.36-13.73). Conclusions: Pro re nata medications comprised a significant part of the treatment which psychotic patients received. The common practice of coprescribing PRN typical antipsychotics with scheduled atypical antipsychotics is potentially problematical since administration of PRN medication is associated with significant medication related morbidity. Preferential use of benzodiazepines as PRN agents may minimize this morbidity and foster subsequent compliance with regularly prescribed antipsychotics.

Sorte? Lógica? Modelos de significação e a noção de acaso de adultos alunos do Proeja

Esta tese se propôs investigar a lógica inferencial das ações e suas significações em situações que mobilizam as noções de composição probabilística e acaso, bem como o papel dos modelos de significação no funcionamento cognitivo de adultos. Participaram 12 estudantes adultos jovens da classe popular, voluntários, de ambos os sexos, de um curso técnico integrado ao Ensino Médio da Educação de Jovens e Adultos. Foram realizados três encontros, individualmente, com registro em áudio e planilha eletrônica, utilizando-se dois jogos, o Likid Gaz e o Lucky Cassino, do software Missão Cognição (Haddad-Zubel, Pinkas & Pécaut, 2006), e o jogo Soma dos Dados (Silva, Rossetti & Cristo, 2012). Os procedimentos da tarefa foram adaptados de Silva e Frezza (2011): 1) apresentação do jogo; 2) execução do jogo; 3) entrevista semiestruturada; 4) aplicação de três situações-problema com intervenção segundo o Método Clínico; 5) nova partida do jogo; e 6) realização de outras duas situações-problema sem intervenção do Método Clínico. Elaboraram-se níveis de análise heurística, compreensão dos jogos e modelos de significação a partir da identificação de particularidades de procedimentos e significações nos jogos. O primeiro estudo examinou as implicações dos modelos de significação e representações prévias no pensamento do adulto, considerando que o sujeito organiza suas representações ou esquemas prévios relativos a um objeto na forma de modelos de significação em função do grau de complexidade e novidade da tarefa e de sua estrutura lógico matemática, que evoluem por meio do processo de equilibração; para o que precisa da demanda a significar esse aspecto da 13 realidade. O segundo estudo investigou a noção de combinação deduzível evidenciada no jogo Likid Gaz, identificando o papel dos modelos de significação na escolha dos procedimentos, implicando na rejeição de condutas de sistematização ou enumeração. Houve predominância dos níveis iniciais de análise heurística do jogo. O terceiro estudo examinou a noção de probabilidade observada no jogo Lucky Cassino, no qual a maioria dos participantes teve um nível de compreensão do jogo intermediário, com maior diversidade de modelos de significação em relação aos outros jogos, embora com predominância dos mais elementares. A síntese das noções de combinação, probabilidade e acaso foi explorada no quarto estudo pelo jogo Soma dos Dados (Silva, Rossetti & Cristo, 2012), identificando-se que uma limitação para adequada compreensão das ligações imbricadas nessas noções é a implicação significante – se aleatório A, então indeterminado D (notação A  D), com construção de pseudonecessidades e pseudo-obrigações ou mesmo necessidades locais, generalizadas inapropriadamente. A resistência ou obstáculos do objeto deveria provocar perturbações, mas a estrutura cognitiva, o ambiente social e os modelos culturais, e a afetividade podem interferir nesse processo.

Anotação, numa perspectiva de Direito Penal e de Criminologia, de alguns dos aspectos do Acórdão do Supremo Tribunal de Justiça (português), de 28 de Setembro de 2011 - os problemas do direito ao silêncio e do dever em o arguido se sujeitar a aplicações de prova no processo penal

Resumo: 1 – Sumário do Acórdão do Supremo Tribunal de Justiça, de 28 de Setembro de 2011; 2 – Texto completo do Acórdão do Supremo Tribunal de Justiça, de 28 de Setembro de 2011, Juiz Conselheiro Raul BORGES (Relator), Juiz Conselheiro Armindo MONTEIRO cfr. http://www.dgsi.pt , 20 de Janeiro de 2012; 3 – Anotação; 3.1 – Introdução à anotação; 3.2 – Algumas das referências, por parte do Acórdão do Supremo Tribunal de Justiça, de 28 de Setembro de 2011, aos problemas do direito ao silêncio e do dever em o arguido se sujeitar a aplicações de prova no processo penal; 3.3 – «Teoria geral» dos problemas do direito ao silêncio em contraste com o dever de sujeição do arguido a diligências de prova no contexto do direito processual penal lusitano; 4 - Conclusão. § Abstract: 1 - Summary of the Judgement of the Supreme Court of Justice of 28 September 2011 2 - Full text of the Judgement of the Supreme Court of Justice of 28 September 2011, Councillor Judge Raul Borges (Reporter), Councillor Judge Armindo Monteiro cf. . http://www.dgsi.pt, January 20, 2012, 3 - Note: 3.1 - Introduction to the annotation; 3.2 - Some of the references, by the Judgement of the Supreme Court of Justice of 28 September 2011, the problems the right to silence and the duty in the defendant be subject to applications of proof in criminal proceedings; 3.3 - "general Theory" of the problems the right to silence in contrast to the duty of subjection of the accused to proof steps in the right context criminal procedure Lusitanian 4 - Conclusion. P.S.: este é o "abstract" tal qual como surge no artigo.

Anotação, numa perspectiva de Direito Penal e de Criminologia, ao Acórdão do Supremo Tribunal de Justiça (português), de 13 de Abril de 2009 [Juiz Conselheiro Rodrigues da COSTA (Relator), Juiz Conselheiro Arménio SOTTOMAYOR (vencido nos termos da declaração junta) e Juiz Conselheiro Mota MIRANDA] - são o «lenocínio» e a prostituição, entre adultos livres, crimes? «Roxanne, you don't have to put on the red light»

Resumo: 1 – Sumário do Acórdão do Supremo Tribunal de Justiça, de 13 de Abril de 2011; 2 – Texto completo do Acórdão do Supremo Tribunal de Justiça, de 13 de Abril de 2009, Juiz Conselheiro Rodrigues da COSTA (Relator), Juiz Conselheiro Arménio SOTTOMAYOR (vencido nos termos da declaração junta) e Juiz Conselheiro Mota MIRANDA: cfr. http://www.dgsi.pt , 26 de Abril de 2011; 3 – Anotação; 3.1 – Introdução à anotação; 3.2 – A questão do suposto «bem jurídico» que seria tutelado pelo crime de «lenocínio» p.p.p.p.p. 169.º do código penal português; 3.2.1 – Ainda a questão do suposto «bem jurídico» que seria tutelado pelo crime de «lenocínio» p.p.p.p.p. 169.º do código penal português: uma maior procura e concretização jurídica e científica; 4 – Conclusões; § Abstract: 1 - Summary of the Sentence of the Supreme Court of Justice, 13 of April of 2011; 2 - Complete text of the Sentence of the Supreme Court of Justice, 13 of April of 2009, Advising Judge Rodrigues da COSTA (Reporter), Advising Judge Arménio SOTTOMAYOR (looser in the terms of the together declaration) and Advising Judge Mota MIRANDA: cfr. http://www.dgsi.pt , 26 of April of 2011; 3 - Notation; 3.1 - Introduction to the notation; 3.2 - The question of the presumption «legally protected interest» that would be tutored person for the crime of «pimpery (“pimping”)» p.p.p.p.p. 169.º of the Portuguese criminal code; 3.2.1 - Still the question of the presumption «legally protected interest» that would be tutored person for the crime of «pimpery» («pimping») p.p.p.p.p. 169.º of the Portuguese criminal code: a bigger search and legal and scientific concretion; 4 - Conclusions;

Anotação ao Acórdão do Supremo Tribunal de Justiça (Português), de 25 de Janeiro de 2011 - o contrato de franquia e a resolução

Resumo: 1 – Sumário do Acórdão do Supremo Tribunal de Justiça, de 25 de Janeiro de 2011; 2 – Texto completo do Acórdão do Supremo Tribunal de Justiça, de 25 de Janeiro de 2011, Juiz Conselheiro Garcia CALEJO (Relator), Juiz Conselheiro Hélder ROQUE e Juiz Conselheiro Sebastião PÓVOAS: cfr. http://www.dgsi.pt , 21 de Abril de 2011; 3 – Anotação; 3.1 – Introdução à anotação; 3.2 – A questão da resolução em termos gerais; 3.3 – A questão da resolução no «contrato atípico de franquia»; 4 – Conclusões; § Abstract: 1 - Summary of the Sentence of the Supreme Court of Justice, 25 of January of 2011; 2 - Complete text of the Sentence of the Supreme Court of Justice, 25 of January of 2011, Advising Judge Garcia CALEJO (Reporter), Advising Judge Hélder ROQUE and Advising Juiz Sebastião PÓVOAS: cfr. http://www.dgsi.pt , 21 of April of 2011; 3 - Notation; 3.1 - Introduction to the notation; 3.2 - The question of the resolution in general terms; 3.3 - The question of the resolution in the «atypical contract of franshise»; 4 - Conclusions;

Anotação ao Acórdão do Supremo Tribunal de Justiça (Português), de 25 de Janeiro de 2011 - a resolução e o contrato de franquia

É importante chamar a atenção das possíveis diferenças entre o contrato de franquia e o contrato de agência no que diz respeito também ao problema da resolução em termos mais gerais ou em termos mais concretos; 1 – Sumário do Acórdão do Supremo Tribunal de Justiça, de 25 de Janeiro de 2011; 2 – Texto completo do Acórdão do Supremo Tribunal de Justiça, de 25 de Janeiro de 2011, Juiz Conselheiro Garcia CALEJO (Relator), Juiz Conselheiro Hélder ROQUE e Juiz Conselheiro Sebastião PÓVOAS: cfr. http://www.dgsi.pt , 21 de Abril de 2011; 3 – Anotação; 3.1 – Introdução à anotação; 3.2 – A questão da resolução em termos gerais; 3.3 – A questão da resolução no «contrato atípico de franquia»; 4 – Conclusões; Abstract: is important to draw attention to potential differences between the franchise agreement and agency agreement with regard also to the resolution problem in more general terms or in more concrete terms; 1 - Summary of the Sentence of the Supreme Court of Justice, 25 of January of 2011; 2 - Complete text of the Sentence of the Supreme Court of Justice, 25 of January of 2011, Advising Judge Garcia CALEJO (Reporter), Advising Judge Hélder ROQUE and Advising Juiz Sebastião PÓVOAS: cfr. http://www.dgsi.pt , 21 of April of 2011; 3 - Notation; 3.1 - Introduction to the notation; 3.2 - The question of the resolution in general terms; 3.3 - The question of the resolution in the «atypical contract of franshise»; 4 - Conclusions;

Anotação ao Acórdão do Supremo Tribunal de Justiça (Português), de 25 de Janeiro de 2011 - a resolução e o contrato de franquia

is important to draw attention to potential differences between the franchise agreement and agency agreement with regard also to the resolution problem in more general terms or in more concrete terms; 1 - Summary of the Sentence of the Supreme Court of Justice, 25 of January of 2011; 2 - Complete text of the Sentence of the Supreme Court of Justice, 25 of January of 2011, Advising Judge Garcia CALEJO (Reporter), Advising Judge Hélder ROQUE and Advising Juiz Sebastião PÓVOAS: cfr. http://www.dgsi.pt , 21 of April of 2011; 3 - Notation; 3.1 - Introduction to the notation; 3.2 - The question of the resolution in general terms; 3.3 - The question of the resolution in the «atypical contract of franshise»; 4 - Conclusions;

Evaluation of intermolecular interactions in thioxanthone derivatives: substituent effect on crystal diversity

A family of 9H-thioxanthen-9-one derivatives and two precursors, 2-[(4-bromophenyl) sulfanyl]-5-nitrobenzoic acid and 2-[(4-aminophenyl) sulfanyl]-5-nitrobenzoic acid, were synthesized and studied in order to assess the role of the different substituent groups in determining the supramolecular motifs. From our results we can conclude that Etter's rules are obeyed: whenever present the -COOH head to head strong hydrogen bonding dimer, R-2(2)(8) synthon, prevails as the dominant interaction. As for -NH2, the best donor when present also follows the expected hierarchy, an NH center dot center dot center dot O(COOH) was formed in the acid precursor (2) and an NH center dot center dot center dot O(C=O) in the thioxanthone (4). The main role played by weaker hydrogen bonds such as CH center dot center dot center dot O, and other intermolecular interactions, pi-pi and Br center dot center dot center dot O, as well as the geometric restraints of packing patterns shows the energetic interplay governing crystal packing. A common feature is the relation between the p-p stacking and the unit cell dimensions. A new synthon notation, R`, introduced in this paper, refers to the possibility of accounting for intra- and intermolecular interactions into recognizable and recurring aggregate patterns.

Análise da concepção de sistemas de sistemas com a notação SysML

Mestrado em Engenharia Informática