Simulation of the influence of rate- and state-dependent friction on the macroscopic behavior of complex fault zones with the lattice solid model

In order to understand the earthquake nucleation process, we need to understand the effective frictional behavior of faults with complex geometry and fault gouge zones. One important aspect of this is the interaction between the friction law governing the behavior of the fault on the microscopic level and the resulting macroscopic behavior of the fault zone. Numerical simulations offer a possibility to investigate the behavior of faults on many different scales and thus provide a means to gain insight into fault zone dynamics on scales which are not accessible to laboratory experiments. Numerical experiments have been performed to investigate the influence of the geometric configuration of faults with a rate- and state-dependent friction at the particle contacts on the effective frictional behavior of these faults. The numerical experiments are designed to be similar to laboratory experiments by DIETERICH and KILGORE (1994) in which a slide-hold-slide cycle was performed between two blocks of material and the resulting peak friction was plotted vs. holding time. Simulations with a flat fault without a fault gouge have been performed to verify the implementation. These have shown close agreement with comparable laboratory experiments. The simulations performed with a fault containing fault gouge have demonstrated a strong dependence of the critical slip distance D-c on the roughness of the fault surfaces and are in qualitative agreement with laboratory experiments.

Perceptions of evidence-based practice: A survey of Australian occupational therapists

Evidence-based practice (EBP) requires clinicians to access, appraise and integrate research literature with clinical experience and clients' perspectives. Currently, little is known about occupational therapists' attitudes to EBP, their perception of implementation barriers or their educational needs. A questionnaire reflecting these issues was sent to a proportionate random sample of 1491 members of the national professional occupational therapy association, OT AUSTRALIA. The questionnaire was completed by 649 (44%) participants. Occupational therapists were positive about EBP with most (96%) agreeing that EBP is important to occupational therapy. Although 56% used research to make clinical decisions, more relied on clinical experience (96%), information from continuing education (82%) and colleagues (80%). Lack of time, evidence and skills were identified as the main barriers to the implementation of EBP. Over half (52%) expressed strong interest in EBP skills training, and most (80%) indicated an interest in the availability of brief summaries of evidence. Targeted educational initiatives, resources and systems are needed to support EBP in occupational therapy.

But what if I don't want to wait forever?

We present an abstract model of the leader election protocol used in the IEEE 1394 High Performance Serial Bus standard. The model is expressed in the probabilistic Guarded Command Language. By formal reasoning based on this description, we establish the probability of the root contention part of the protocol successfully terminating in terms of the number of attempts to do so. Some simple calculations then allow us to establish an upper bound on the time taken for those attempts.

The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

The paternity of the price-quality 'value map'

In the literature on firm strategy and product differentiation, consumer price-quality trade-offs are sometimes represented using consumer 'value maps'. These involve the geometric representation of indifferent price and quality combinations as points along curves that are concave to the 'quality' axis. In this paper, it is shown that the value map for price-quality tradeoffs may be derived from a Hicksian compensated demand curve for product quality. The paper provides the theoretical link between analytical methods employed in the existing literature on firm strategy and competitive advantage with the broader body of economic analysis.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation

For dynamic simulations to be credible, verification of the computer code must be an integral part of the modelling process. This two-part paper describes a novel approach to verification through program testing and debugging. In Part 1, a methodology is presented for detecting and isolating coding errors using back-to-back testing. Residuals are generated by comparing the output of two independent implementations, in response to identical inputs. The key feature of the methodology is that a specially modified observer is created using one of the implementations, so as to impose an error-dependent structure on these residuals. Each error can be associated with a fixed and known subspace, permitting errors to be isolated to specific equations in the code. It is shown that the geometric properties extend to multiple errors in either one of the two implementations. Copyright (C) 2003 John Wiley Sons, Ltd.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 2. Residuals analysis and a case study

In Part 1 of this paper a methodology for back-to-back testing of simulation software was described. Residuals with error-dependent geometric properties were generated. A set of potential coding errors was enumerated, along with a corresponding set of feature matrices, which describe the geometric properties imposed on the residuals by each of the errors. In this part of the paper, an algorithm is developed to isolate the coding errors present by analysing the residuals. A set of errors is isolated when the subspace spanned by their combined feature matrices corresponds to that of the residuals. Individual feature matrices are compared to the residuals and classified as 'definite', 'possible' or 'impossible'. The status of 'possible' errors is resolved using a dynamic subset testing algorithm. To demonstrate and validate the testing methodology presented in Part 1 and the isolation algorithm presented in Part 2, a case study is presented using a model for biological wastewater treatment. Both single and simultaneous errors that are deliberately introduced into the simulation code are correctly detected and isolated. Copyright (C) 2003 John Wiley Sons, Ltd.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Learning about life and death in early childhood

Inagaki and Hatano (2002) have argued that young children initially understand biological phenomena in terms of vitalism, a mode of construal in which life or life-force is the central causal-explanatory concept. This study investigated the development of vitalistic reasoning in young children's concepts of life, the human body and death. Sixty preschool children between the ages of 3 years, 7 months and 5 years, 11 months participated. All children were initially given structured interviews to assess their knowledge of (1) human body function and (2) death. From this sample 40 children in the Training group were taught about the human body and how it functions to maintain life. The Control group (n = 20) received no training. All 60 children were subsequently reassessed on their knowledge of human body function and death. Results from the initial interviews indicated that young children who spontaneously appealed to vitalistic concepts in reasoning about human body functioning were also more sophisticated in their understanding of death. Results from the posttraining interviews showed that children readily learned to adopt a vitalistic approach to human body functioning, and that this learning coincided with significant development in their understanding of human body function, and of death. The overall pattern of results supports the claim that the acquisition of a vitalistic causal-explanatory framework serves to structure children's concepts and facilitates learning in the domain of biology. (C) 2003 Elsevier Science (USA). All rights reserved.

Sex- and race-related differences in cross-sectional geometry and bone density of the femoral mid-shaft in older adults

Background : Femoral shaft fracture incidence increases in older adults and is associated with low-energy trauma. Apart from bone density, the distribution and size of bone contributes to its strength. Aim : To examine if bone geometry and density of the femoral mid-shaft in older adults differs by sex and race, we studied 197 White women, 225 Black women, 242 White men, and 148 Black men aged 70-79 years participating in the Health, Aging, and Body Composition study; a prospective cohort study in the USA. A secondary purpose of the study was to examine the association of site-specific muscle and fat to bone geometry and density. Subjects and methods : Subjects were community-dwelling and reported no difficulty walking one-quarter of a mile or climbing stairs. Mid-femoral volumetric bone mineral density (vBMD, mg cm -3 ), total area (TA), cortical area (CA), medullary area (MA), cross-sectional moments of inertia (CSMI: I x , I y , J ), and muscle and fat areas (cm 2 ) were determined by computed tomography (CT; GE CT-9800, 10 mm slice thickness). Results : vBMD was greater in men than women with no difference by race ( p < 0.001). Bone areas and area moments of inertia were also greater in men than women ( p < 0.001), with Black women having higher values than White women for TA and CA. Standardizing geometric parameters for body size differences by dividing by powers of femur length did not negate the sex difference for TA and MA. Significant differences ( p < 0.05) among the four groups also remained for I x and J . Mid-thigh muscle area was an independent contributor to TA in all groups (Std beta = 0.181-0.351, p < 0.05) as well as CA in women (Std beta = 0.246-0.254, p < 0.01) and CSMI in White women (Std beta = 0.175-0.185, p < 0.05). Further, muscle area was a significant contributor to vBMD in Black women. Conclusion : These results indicate that bone geometry and density of the femoral diaphysis differs primarily by sex, rather than race, in older well-functioning adults. In addition, site-specific muscle area appears to have a potential contributory role to bone geometry parameters, especially in women.

Introdu????o ?? cr??tica da raz??o desestatizante

O artigo compreende uma vis??o cr??tica sobre os processos de reestrutura????o do Estado baseados na l??gica neoliberal, que caracterizam as reformas minimalistas da d??cada de 80. O tema da reforma do Estado ?? visto como um dos grandes desafios intelectuais e pol??ticos deste fim de s??culo, devendo necessariamente ser contextualizado historicamente, uma vez que n??o existe uma ??nica crise do Estado, mas v??rias crises dos Estados espec??ficas e particulares, cujas solu????es n??o s??o ??nicas nem universais, mas dependentes do diagn??stico de cada caso. Entende-se que a raz??o desestatizante apresenta limita????es, reconhecidas at?? mesmo pelas institui????es financeiras internacionais que antes a defendiam. O cen??rio de um novo modo de atua????o estatal ?? apresentado como mais prov??vel, sendo o conceito de reestatiza????o mais adequado para as mudan??as que se fazem necess??rias.

Os gêneros de Bethylidae (Hymenoptera: Chrysidoidea) de quatro áreas de Mata Atlântica do Espírito Santo

Estudou-se a riqueza e abundância de gêneros de Bethylidae coletados em quatro áreas de mata de encosta da Mata Atlântica do Espírito Santo, com estados de preservação diferentes: Santa Maria de Jetibá (SMJ), Domingos Martins (DM), Pancas (P) e Atílio Vivácqua (AV). Foram coletados 2.840 espécimes alocados em 12 gêneros, sendo Lepidosternopsis Ogloblin e Bakeriella Kieffer citados pela primeira vez para esse estado. A riqueza dos táxons foi obtida através do procedimento Jackknife com auxílio do programa EstimateS. Curvas de acumulação de gêneros foram construídas para avaliar o esforço amostral. Os dados se ajustaram à distribuição geométrica e calculou-se o parâmetro k para comparar as localidades. O perfil genérico não foi equivalente em todas as localidades, e todas foram consideradas perturbadas. SMJ e DM apresentaram riqueza de gêneros maior em comparação com P e AV. As diferenças relatadas neste estudo para as áreas amostradas refletem o grau diferente de preservação das matas. Pseudisobrachium Kieffer e Dissomphalus Ashmead foram os gêneros mais abundantes em SMJ, DM e P e Anisepyris Kieffer em AV. Este estudo reforça o fato de Dissomphalus ser mais abundante em florestas tropicais úmidas e que o perfil genérico encontrado em AV assemelha-se a dados publicados para o cerrado.

O direito à memória e o ensino da história do conflito armado colombiano em um ambiente museal

O direito à memória é o direito que tem a sociedade de conhecer, lembrar e procurar a verdade sobre seu próprio passado, sobretudo em situações de violência recente como é o conflito armado colombiano. O direito à memória pode ser garantido ou negado no campo da didatização da história. O ensino de história também acontece em espaços não escolarizados como os museus. O tema da pesquisa é: como os estudantes constroem explicações históricas sobre o conflito armado colombiano em um ambiente museal, e sua relação com o direito à memória. O trabalho de campo se desenvolve na Casa Museu Jorge Eliécer Gaitán (Bogotá - Colômbia), com estudantes das três últimas séries do sistema escolar colombiano. Partimos do pressuposto de que a Casa Museu Gaitán está vinculada não só a um passado doloroso, mas também a um presente conflituoso. As temporalidades superpostas deste espaço museal, são analisadas através das relações entre história acadêmica, história escolar e história cotidiana. Por isto, dialoga-se também com os conteúdos propostos para à área de Ciências Sociais e o livro didático. Garantir um direito à memória através do ensino de história, passa por combater as pretensões oficiais de impor uma memória única do passado, e oferecer ferramentas para que os estudantes possam construir explicações históricas a partir do raciocínio crítico. Isto é possível quando os estudantes confrontam as diferentes vozes que relatam o passado recente. No caso colombiano, garantir o direito à memória através do ensino de história da violência recente, é ainda mais complexo pela função que desenvolve o próprio Estado colombiano no meio do conflito armado.

Aplicação da matemática em investimentos financeiros : caderneta de poupança e títulos públicos

Iniciando com um breve estudo de porcentagem e algumas de suas aplicações, o desenvolvimento deste trabalho consiste de uma revisão dos fundamentos da matemática financeira e suas aplicações em dois tipos de investimentos financeiros denominados caderneta de poupança e títulos públicos. Além do clássico estudo de juros simples e compostos, associando-os a progressões aritméticas e geométricas, respectivamente, aborda-se sobre os vários tipos de taxas (proporcionais e equivalentes, nominais e efetivas, variáveis e acumuladas) incluindo a conceituação de taxa por dia útil. Fundamentado nos assuntos mencionados, o trabalho encerra-se com uma aplicação da matemática financeira associada a investimentos na caderneta de poupança e nos diversos títulos públicos negociados no Tesouro Direto.

Currículo e educação especial : as ações da escola a partir dos diálogos cotidianos

O estudo teve como objetivo investigar as ações constituídas por uma escola pública de Ensino Fundamental para o envolvimento de alunos com deficiência e com transtornos globais do desenvolvimento no currículo escolar. Contou com as contribuições teóricas de Boaventura de Sousa Santos, Michel de Certeau e Philippe Meirieu para uma discussão sociológica, filosófica e pedagógica das situações desencadeadas pela pesquisa. No campo do currículo, aproximou-se das teorizações de Silva, Moreira, Apple e Sacristán, dentre outros, por serem teóricos que analisam o trabalho com o conhecimento no contexto escolar. Já no campo da Educação Especial, dialogou com as produções de pesquisadores que postulam pela ideia de que o processo de inclusão escolar pressupõe acesso à escola, bem como permanência e a garantia do direito de apropriação dos conhecimentos socialmente produzidos. Como aporte teórico-metodológico, apoiou-se nos pressupostos da pesquisa-ação colaborativo-crítica que advoga pela possibilidade de, por meio da pesquisa científica, produzir conhecimento sobre a realidade social, promover mudanças nas situações desafiadoras e envolver os sujeitos pesquisados em processos de formação continuada em contexto. O trabalho de pesquisa foi realizado em uma escola de Ensino Fundamental, pertencente à Rede Pública Municipal de Ensino de Vila Velha/ES, envolvendo professores, pedagogos, dirigente escolar, responsáveis pelos discentes e alunos matriculados do 1º ao 6º ano do Ensino Fundamental. O processo de produção de dados se efetivou no período de julho de 2010 a julho de 2011. O pesquisador esteve três vezes por semana no campo de pesquisa, participando das intervenções em sala de aula, dos espaços para planejamento e formação continuada e também de momentos informais na entrada, recreio e saída dos alunos. Para o desenvolvimento do estudo, trabalhou-se com três frentes correlacionadas: a observação participante e a escuta dos discursos produzidos por alunos, professores, equipe técnico-pedagógica e responsáveis pelos discentes sobre o envolvimento dos estudantes com indicativos à Educação Especial no currículo escolar; a constituição de espaços de formação continuada, tomando os dados produzidos na primeira etapa do estudo como elementos de sustentação da dinâmica formativa; o acompanhamento das ações praticadas pela escola para envolvimento das necessidades educacionais dos alunos com indicativos à Educação Especial no currículo escolar, a partir das reflexões desencadeadas nos espaços de formação continuada. Como resultados, a pesquisa aponta a necessidade de advogar pela constituição de currículos escolares mais abertos para contemplar as necessidades de aprendizagem de alunos com comprometimentos físicos, psíquicos, intelectuais ou sensoriais. Esta pesquisa se distancia de lógicas que defendem a flexibilização curricular como um esvaziamento do currículo em nome das condições existenciais dos alunos. Entende que, entre o currículo escolar e a produção de conhecimentos pelos alunos com indicativos à Educação Especial, há uma pluralidade de situações que precisam ser problematizadas pela escola: a leitura produzida sobre a aprendizagem dos alunos; a falta de conhecimento sobre a sexualidade humana; os desafios presentes na relação família e escola; e os pressupostos da normalidade/anormalidade. Esses fatores podem se configurar como elementos que impedem que os alunos obtenham sucesso em sua jornada educativa, porém, em contrapartida, podem ser utilizados como questões a subsidiar espaços de formação continuada. O estudo aponta que, por meio de atitudes colaborativas e críticas entre os profissionais da escola, é possível articular ações que garantam o direito de aprender do estudante com deficiência e com transtornos globais do desenvolvimento na escola de ensino comum.