Simulation of Distributed Contact in String Instruments: a Modal Expansion Approach

Impactive contact between a vibrating string and a barrier is a strongly nonlinear phenomenon that presents several challenges in the design of numerical models for simulation and sound synthesis of musical string instruments. These are addressed here by applying Hamiltonian methods to incorporate distributed contact forces into a modal framework for discrete-time simulation of the dynamics of a stiff, damped string. The resulting algorithms have spectral accuracy, are unconditionally stable, and require solving a multivariate nonlinear equation that is guaranteed to have a unique solution. Exemplifying results are presented and discussed in terms of accuracy, convergence, and spurious high-frequency oscillations.

Epistemic Modality in Linguistic and Literature Essays in English : A comparative corpus-based study of modal verbs in student claims

This study is a corpus-based comparison between student essays written in the subject areas of English linguistics and literature at undergraduate level. They are 200 Bachelor degree theses submitted at a variety of university departments (such as English, Language and Literature, Humanities, Social and Intercultural Studies) in Sweden. The comparison concerns frequencies of core modal verbs and how often they occur together with the I, we and it subject pronouns and in the structures this/the [essay, study, project, thesis] when students attempt to communicate their personal claims. Quantitative and qualitative analyses of the essays show few similarities in the ways that core modal verbs appear in both disciplines. The results indicate mainly distinct differences, especially in relation to clusters and variation of performative verbs. Specific patterns in the ways that students use core modal verbs as hedges have also been identified.

Logic-Based Delivery of Site-Specifically-Modified Proteins from Gels through Engineered Biomacromolecular Architecture

Thesis (Master's)--University of Washington, 2016-08

Exploring value propositions and service innovation : a service-dominant logic study

This paper presents an eight-firm study, conducted from the service-dominant logic perspective, which makes a contribution regarding knowledge of the anatomy of value propositions and service innovation. The paper suggests that value propositions are configurations of several different practices and resources. The paper finds that ten common practices, organized in three main aggregates, constitute and fulfill value propositions: i.e. provision practices, representational practices, and management and organizational practices. Moreover, the paper suggests that service innovation can be equated with the creation of new value propositions by means of developing existing or creating new practices and/or resources, or by means of integrating practices and resources in new ways. It identifies four types of service innovation (adaptation, resource-based innovation, practice-based innovation, and combinative innovation) and three types of service innovation processes (practice-based, resource-based, and combinative). The key managerial insight provided by the paper is that service innovation must be conducted and value propositions must be evaluated from the perspective of the customers’ value creation, the service that the customer experiences. Successful service innovation is not only contingent on having the right resources, established methods and practices for integrating these resources into attractive value propositions are also needed.

Advances in Deontic Logic [Review]

Abstract not available

Numerical analysis of the modal coupling at low resonances in a Colombian Andean Bandola in C using the finite element method

The work presented in this thesis is concerned with the dynamical behavior of a CBandola's acoustical box at low resonances -- Two models consisting of two and three coupled oscillators are proposed in order to analyse the response at the first two and three resonances, respectively -- These models describe the first resonances in a bandola as a combination of the lowest modes of vibration of enclosed air, top and back plates -- Physically, the coupling between these elements is caused by the fluid-structure interaction that gives rise to coupled modes of vibration for the assembled resonance box -- In this sense, the coupling in the models is expressed in terms of the ratio of effective areas and masses of the elements which is an useful parameter to control the coupling -- Numerical models are developed for the analysis of modal coupling which is performed using the Finite Element Method -- First, it is analysed the modal behavior of separate elements: enclosed air, top plate and back plate -- This step is important to identify participating modes in the coupling -- Then, a numerical model of the resonance box is used to compute the coupled modes -- The computation of normal modes of vibration was executed in the frequency range of 0-800Hz -- Although the introduced models of coupled oscillators only predict maximum the first three resonances, they also allow to study qualitatively the coupling between the rest of the computed modes in the range -- Considering that dynamic response of a structure can be described in terms of the modal parameters, this work represents, in a good approach, the basic behavior of a CBandola, although experimental measurements are suggested as further work to verify the obtained results and get more information about some characteristics of the coupled modes, for instance, the phase of vibration of the air mode and the radiation e ciency

Fuzzy Logic Foundations and Industrial Applications (ed. D. Ruan), Springer US, 1996, ISBN: 978-0-7923-9774-8 [Book review]

Abstract not available

Human traces in urban places.

Over the last two centuries many major cities have undergone large-scale modernisation that has led to the growing sense of homogenisation associated with such locales across the globe. The fractal logic that is at the heart of so many urban settings, where the whole system is made up of parts that are identical to the whole, seems to serve in making anonymous everyday experiences. Public transport and its corresponding street furniture, if thoughtfully designed and planned, has the potential to form an integral element in the promotion of a sense of identity, interconnectedness and flow within a city. Furthermore, bus stops, benches, litter bins, curb-sides, posts and pavements, to mention a few, offer interesting cases to consider how people truly engage with contemporary urban spaces. These objects—part of routine and made familiar—are elements of daily lives that are ingredients towards visual and multi-modal experiences. In addition, these are places where individuals encounter sociality and materiality in ordinary and sometimes extraordinary ways. This paper uses a visual ethnographic approach towards exploring the human traces of routine activities that have an impact on the cityscape. An Investigation of these details found within the urban landscape lead us towards understanding how we engage with and navigate cities. This is essentially an urban archaeological study that looks to reveal how non-designed phenomenon in urban places can contribute to our image of a city, providing a reflection on homogeneity within the built environment. Our visual ethnography focuses on six major cities: two each in Britain, Europe and North America. The findings of this work illustrate through visual analyses three key characteristics: first, how urban spaces are transformed intentionally and unintentionally; second, how transformations are practical, functional, beautiful and sometimes ridiculous; third, how transformations reveal values around visual and multi-modal experiences inherent to people.

A tableau system for Quasi-hybrid logic

Hybrid logic is a valuable tool for specifying relational structures, at the same time that allows defining accessibility relations between states, it provides a way to nominate and make mention to what happens at each specific state. However, due to the many sources nowadays available, we may need to deal with contradictory information. This is the reason why we came with the idea of Quasi-hybrid logic, which is a paraconsistent version of hybrid logic capable of dealing with inconsistencies in the information, written as hybrid formulas. In [5] we have already developed a semantics for this paraconsistent logic. In this paper we go a step forward, namely we study its proof-theoretical aspects. We present a complete tableau system for Quasi-hybrid logic, by combining both tableaux for Quasi-classical and Hybrid logics.

Rule-based and Resource-bounded: A New Look at Epistemic Logic

Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded agents and show that the resulting models have a number of interesting properties.

A functional specification and validation model for networks on chip in the ACL2 logic

International audience