24 resultados para space requirements
em Helda - Digital Repository of University of Helsinki
Resumo:
The usual task in music information retrieval (MIR) is to find occurrences of a monophonic query pattern within a music database, which can contain both monophonic and polyphonic content. The so-called query-by-humming systems are a famous instance of content-based MIR. In such a system, the user's hummed query is converted into symbolic form to perform search operations in a similarly encoded database. The symbolic representation (e.g., textual, MIDI or vector data) is typically a quantized and simplified version of the sampled audio data, yielding to faster search algorithms and space requirements that can be met in real-life situations. In this thesis, we investigate geometric approaches to MIR. We first study some musicological properties often needed in MIR algorithms, and then give a literature review on traditional (e.g., string-matching-based) MIR algorithms and novel techniques based on geometry. We also introduce some concepts from digital image processing, namely the mathematical morphology, which we will use to develop and implement four algorithms for geometric music retrieval. The symbolic representation in the case of our algorithms is a binary 2-D image. We use various morphological pre- and post-processing operations on the query and the database images to perform template matching / pattern recognition for the images. The algorithms are basically extensions to classic image correlation and hit-or-miss transformation techniques used widely in template matching applications. They aim to be a future extension to the retrieval engine of C-BRAHMS, which is a research project of the Department of Computer Science at University of Helsinki.
Resumo:
Fluid bed granulation is a key pharmaceutical process which improves many of the powder properties for tablet compression. Dry mixing, wetting and drying phases are included in the fluid bed granulation process. Granules of high quality can be obtained by understanding and controlling the critical process parameters by timely measurements. Physical process measurements and particle size data of a fluid bed granulator that are analysed in an integrated manner are included in process analytical technologies (PAT). Recent regulatory guidelines strongly encourage the pharmaceutical industry to apply scientific and risk management approaches to the development of a product and its manufacturing process. The aim of this study was to utilise PAT tools to increase the process understanding of fluid bed granulation and drying. Inlet air humidity levels and granulation liquid feed affect powder moisture during fluid bed granulation. Moisture influences on many process, granule and tablet qualities. The approach in this thesis was to identify sources of variation that are mainly related to moisture. The aim was to determine correlations and relationships, and utilise the PAT and design space concepts for the fluid bed granulation and drying. Monitoring the material behaviour in a fluidised bed has traditionally relied on the observational ability and experience of an operator. There has been a lack of good criteria for characterising material behaviour during spraying and drying phases, even though the entire performance of a process and end product quality are dependent on it. The granules were produced in an instrumented bench-scale Glatt WSG5 fluid bed granulator. The effect of inlet air humidity and granulation liquid feed on the temperature measurements at different locations of a fluid bed granulator system were determined. This revealed dynamic changes in the measurements and enabled finding the most optimal sites for process control. The moisture originating from the granulation liquid and inlet air affected the temperature of the mass and pressure difference over granules. Moreover, the effects of inlet air humidity and granulation liquid feed rate on granule size were evaluated and compensatory techniques used to optimize particle size. Various end-point indication techniques of drying were compared. The ∆T method, which is based on thermodynamic principles, eliminated the effects of humidity variations and resulted in the most precise estimation of the drying end-point. The influence of fluidisation behaviour on drying end-point detection was determined. The feasibility of the ∆T method and thus the similarities of end-point moisture contents were found to be dependent on the variation in fluidisation between manufacturing batches. A novel parameter that describes behaviour of material in a fluid bed was developed. Flow rate of the process air and turbine fan speed were used to calculate this parameter and it was compared to the fluidisation behaviour and the particle size results. The design space process trajectories for smooth fluidisation based on the fluidisation parameters were determined. With this design space it is possible to avoid excessive fluidisation and improper fluidisation and bed collapse. Furthermore, various process phenomena and failure modes were observed with the in-line particle size analyser. Both rapid increase and a decrease in granule size could be monitored in a timely manner. The fluidisation parameter and the pressure difference over filters were also discovered to express particle size when the granules had been formed. The various physical parameters evaluated in this thesis give valuable information of fluid bed process performance and increase the process understanding.
Resumo:
Space in musical semiosis is a study of musical meaning, spatiality and composition. Earlier studies on musical composition have not adequately treated the problems of musical signification. Here, composition is considered an epitomic process of musical signification. Hence the core problems of composition theory are core problems of musical semiotics. The study employs a framework of naturalist pragmatism, based on C. S. Peirce’s philosophy. It operates on concepts such as subject, experience, mind and inquiry, and incorporates relevant ideas of Aristotle, Peirce and John Dewey into a synthetic view of esthetic, practic, and semiotic for the benefit of grasping musical signification process as a case of semiosis in general. Based on expert accounts, music is depicted as real, communicative, representational, useful, embodied and non-arbitrary. These describe how music and the musical composition process are mental processes. Peirce’s theories are combined with current morphological theories of cognition into a view of mind, in which space is central. This requires an analysis of space, and the acceptance of a relativist understanding of spatiality. This approach to signification suggests that mental processes are spatially embodied, by virtue of hard facts of the world, literal representations of objects, as well as primary and complex metaphors each sharing identities of spatial structures. Consequently, music and the musical composition process are spatially embodied. Composing music appears as a process of constructing metaphors—as a praxis of shaping and reshaping features of sound, representable from simple quality dimensions to complex domains. In principle, any conceptual space, metaphorical or literal, may set off and steer elaboration, depending on the practical bearings on the habits of feeling, thinking and action, induced in musical communication. In this sense, it is evident that music helps us to reorganize our habits of feeling, thinking, and action. These habits, in turn, constitute our existence. The combination of Peirce and morphological approaches to cognition serves well for understanding musical and general signification. It appears both possible and worthwhile to address a variety of issues central to musicological inquiry in the framework of naturalist pragmatism. The study may also contribute to the development of Peircean semiotics.
Resumo:
This is an ethnographic case study of the creation and emergence of a playworld – a pedagogical approach aimed at promoting children’s development and learning in early education settings through the use of play and drama. The data was collected in a Finnish experimental mixed-age elementary school classroom in the school year 2003-2004. In the playworld students and teachers explore different social and cultural phenomena through taking on the roles of characters from a story or a piece of literature and acting inside the frames of an improvised plot. The thesis takes under scrutiny the notion of agency in education. It produces theoretically grounded empirical knowledge of the ways in which children struggle to become recognized and agentive actors in early education settings and how their agency develops in their interaction with adults. The study builds on the activity theoretical and sociocultural tradition and develops a methodological framework called video-based narrative interaction analysis for studying student agency as developing over time but manifesting through the situational material and discursive local interactions. The research questions are: 1. What are the children’s ways of enacting their agency in the playworld? 2. How do the children’s agentive actions change and develop over the spring? 3. What are the potentials and challenges of the playworld for promoting student agency? 4. How do the teachers and the children deal with the contradiction between control and agency in the playworld? The study consists of a summary part and four empirical articles which each have a particular viewpoint. Articles I and II deal with individual students’ paths to agency. In Article I the focus is on the role of resistance and questioning in enabling important spaces for agency. Article II takes a critical gender perspective and analyzes how two girls struggled towards recognition in the playworld. It also illuminates the role of imagination in developing a sense of agency. Article III examines how the open-ended and improvisational nature of the playworld interaction provided experiences and a sense of ‘shared agency’ for the students and teachers in the class. Article IV turns the focus on the teachers and analyzes how their role actions in the playworld helped the children to enact agency. It also discusses the challenges that the teachers faced in this work and asks what makes the playworld activity sustainable in the class. The summary part provides a critical literature review on the concept of agency and argues that the inherently contradictory nature of the phenomenon of agency has not been sufficiently theorized. The summary part also locates the playworld intervention in a historical frame by discussing the changing conceptions of adulthood and childhood in the West. By focusing on the changing role of play and art in both adults’ and children’s contemporary lives, the thesis opens up an important but often neglected perspective on the problem of promoting student agency in education. The results illustrate how engaging in a collectively imagined and dramatized pretend play space together with the children enabled the teachers to momentarily put aside their “knower” positions in the classroom. The fictive roles and the narrative plot helped them to create a necessary incompleteness and open-endedness in the activity that stimulated the children’s initiatives. This meant that the children too could momentarily step out of their traditional classroom positions as pupils and initiate action to further the collective play. Engaging in this kind of unconventional activity and taking up and enacting agency was, however, very challenging for the participating children and teachers. It often contradicted the need to sustain control and order in the classroom. The study concludes that play- and drama-based pedagogies offer a unique but undeveloped potential for developing educational spaces that help teachers and children deal with the often contradictory requirements of schooling.
Resumo:
Mitochondria have evolved from endosymbiotic alpha-proteobacteria. During the endosymbiotic process early eukaryotes dumped the major component of the bacterial cell wall, the peptidoglycan layer. Peptidoglycan is synthesized and maintained by active-site serine enzymes belonging to the penicillin-binding protein and the β-lactamase superfamily. Mammals harbor a protein named LACTB that shares sequence similarity with bacterial penicillin-binding proteins and β-lactamases. Since eukaryotes lack the synthesis machinery for peptidoglycan, the physiological role of LACTB is intriguing. Recently, LACTB has been validated in vivo to be causative for obesity, suggesting that LACTB is implicated in metabolic processes. The aim of this study was to investigate the phylogeny, structure, biochemistry and cell biology of LACTB in order to elucidate its physiological function. Phylogenetic analysis revealed that LACTB has evolved from penicillin binding-proteins present in the bacterial periplasmic space. A structural model of LACTB indicates that LACTB shares characteristic features common to all penicillin-binding proteins and β-lactamases. Recombinat LACTB protein expressed in E. coli was recovered in significant quantities. Biochemical and cell biology studies showed that LACTB is a soluble protein localized in the mitochondrial intermembrane space. Further analysis showed that LACTB preprotein underwent proteolytic processing disclosing an N-terminal tetrapeptide motif also found in a set of cell death-inducing proteins. Electron microscopy structural studies revealed that LACTB can polymerize to form stable filaments with lengths ranging from twenty to several hundred nanometers. These data suggest that LACTB filaments define a distinct microdomain in the intermembrane space. A possible role of LACTB filaments is proposed in the intramitochondrial membrane organization and microcompartmentation. The implications of these findings offer novel insight into the evolution of mitochondria. Further studies of the LACTB function might provide a tool to treat mitochondria-related metabolic diseases.
Resumo:
Knowledge of the habitat requirements of bat species is needed in decision making in land use planning. Bats' hibernation requirements were studied both in Estonia and in southern Finland. In both countries, the northern bat and the brown long-eared bat hibernated in colder and drier locations, whereas Daubenton's bat and Brandt's/whiskered bats hibernated in warmer and more humid locations. In Estonia, the pond bat hibernated in the warmest and most humid conditions, whereas Natterer's bat hibernated in the coldest and driest conditions. Hibernacula were at their coldest in mid-season and became warmer towards the end of the season. The results suggest that bats made an active choice of colder hibernation temperatures at the seasons end. They minimised the negative effects of hibernation early in the hibernation season by hibernating in warmer locations and energy expenditure late in the hibernation season by hibernating in colder locations. The use of foraging habitats was studied in northern and southern Finland. The northern bat used foraging sites opportunistically. Daubenton's bat foraged mainly in water habitats, whereas Brandt's/whiskered bats and the brown long-eared bat foraged mainly in forest habitats. In northern Finland, Daubenton's bats foraged almost exclusively on rivers and typically together with the northern bat. Daubenton's bats and Brandt's/whiskered bats were found only where there were lower ambient light levels. One of the most important things in the management of foraging areas for them is to keep them shady. Hibernacula in Finland typically housed few bats, suggesting that hibernation sites used by even a small number of bats are important. Bats typically used natural stone for hibernation suggesting that natural underground sites in rocks or cliffs or man-made underground sites built using natural stone are important for them. The results suggest that appropriate timing of surveys may vary according to the species and latitude.
Resumo:
In the European Union, conventional cages for laying hens will be faded out at the beginning of 2012. The rationale behind this is a public concern over animal welfare in egg production. As alternatives to conventional cages, the European Union Council Directive 1999/74/EC allows non-cage systems and enriched (furnished) cages. Layer performance, behavior, and welfare in differently sized furnished cages have been investigated quite widely during recent decades, but nutrition of hens in this production system has received less attention. This thesis aims to compare production and feed intake of laying hens in furnished and conventional cages and to study the effects of different dietary treatments in these production systems, thus contributing to the general knowledge of furnished cages as an egg production system. A furnished cage model for 8 hens was compared with a 3-hen conventional cage. Three consecutive experiments each studied one aspect of layer diet: The first experiment investigated the effects of dietary protein/energy ratio, the second dietary energy levels, and the third the effects of extra limestone supplementation. In addition, a fourth experiment evaluated the effects of perches on feed consumption and behavior of hens in furnished cages. The dietary treatments in experiments 1 3 generally had similar effects in the two cage types. Thus, there was no evidence supporting a change in nutrient requirements for laying hens when conventional cages are replaced with small-group furnished cages. Moreover, the results from nutritional experiments conducted in conventional cages can be applied to small-group furnished cage systems. These results support the view that production performance comparable with conventional cages can be achieved in furnished cages. All of the advantages of cages for bird welfare are sustained in the small-group furnished cages used here. In addition, frequent use of perches and nests implies a wider behavioral repertoire in furnished cages than in conventional cages. The increase observed in bone ash content may improve bird welfare in furnished cages. The presence of perches diminished feed consumption during the prelaying period and enhanced the feed conversion ratio during the early laying period in furnished cages. However, as the presence or absence of perches in furnished cages had no significant effect on feed consumption after the prelaying period, the lower feed consumption observed in furnished cages than in conventional cages could be attributed to other factors, such as the presence of wood shavings or a nest box. The wider feed trough space per hen in conventional than in furnished cages may partly explain the higher feed consumption observed in conventional cages.
Resumo:
The efforts of combining quantum theory with general relativity have been great and marked by several successes. One field where progress has lately been made is the study of noncommutative quantum field theories that arise as a low energy limit in certain string theories. The idea of noncommutativity comes naturally when combining these two extremes and has profound implications on results widely accepted in traditional, commutative, theories. In this work I review the status of one of the most important connections in physics, the spin-statistics relation. The relation is deeply ingrained in our reality in that it gives us the structure for the periodic table and is of crucial importance for the stability of all matter. The dramatic effects of noncommutativity of space-time coordinates, mainly the loss of Lorentz invariance, call the spin-statistics relation into question. The spin-statistics theorem is first presented in its traditional setting, giving a clarifying proof starting from minimal requirements. Next the notion of noncommutativity is introduced and its implications studied. The discussion is essentially based on twisted Poincaré symmetry, the space-time symmetry of noncommutative quantum field theory. The controversial issue of microcausality in noncommutative quantum field theory is settled by showing for the first time that the light wedge microcausality condition is compatible with the twisted Poincaré symmetry. The spin-statistics relation is considered both from the point of view of braided statistics, and in the traditional Lagrangian formulation of Pauli, with the conclusion that Pauli's age-old theorem stands even this test so dramatic for the whole structure of space-time.
Resumo:
Tools known as maximal functions are frequently used in harmonic analysis when studying local behaviour of functions. Typically they measure the suprema of local averages of non-negative functions. It is essential that the size (more precisely, the L^p-norm) of the maximal function is comparable to the size of the original function. When dealing with families of operators between Banach spaces we are often forced to replace the uniform bound with the larger R-bound. Hence such a replacement is also needed in the maximal function for functions taking values in spaces of operators. More specifically, the suprema of norms of local averages (i.e. their uniform bound in the operator norm) has to be replaced by their R-bound. This procedure gives us the Rademacher maximal function, which was introduced by Hytönen, McIntosh and Portal in order to prove a certain vector-valued Carleson's embedding theorem. They noticed that the sizes of an operator-valued function and its Rademacher maximal function are comparable for many common range spaces, but not for all. Certain requirements on the type and cotype of the spaces involved are necessary for this comparability, henceforth referred to as the “RMF-property”. It was shown, that other objects and parameters appearing in the definition, such as the domain of functions and the exponent p of the norm, make no difference to this. After a short introduction to randomized norms and geometry in Banach spaces we study the Rademacher maximal function on Euclidean spaces. The requirements on the type and cotype are considered, providing examples of spaces without RMF. L^p-spaces are shown to have RMF not only for p greater or equal to 2 (when it is trivial) but also for 1 < p < 2. A dyadic version of Carleson's embedding theorem is proven for scalar- and operator-valued functions. As the analysis with dyadic cubes can be generalized to filtrations on sigma-finite measure spaces, we consider the Rademacher maximal function in this case as well. It turns out that the RMF-property is independent of the filtration and the underlying measure space and that it is enough to consider very simple ones known as Haar filtrations. Scalar- and operator-valued analogues of Carleson's embedding theorem are also provided. With the RMF-property proven independent of the underlying measure space, we can use probabilistic notions and formulate it for martingales. Following a similar result for UMD-spaces, a weak type inequality is shown to be (necessary and) sufficient for the RMF-property. The RMF-property is also studied using concave functions giving yet another proof of its independence from various parameters.
Resumo:
The mobile phone has, as a device, taken the world by storm in the past decade; from only 136 million phones globally in 1996, it is now estimated that by the end of 2008 roughly half of the worlds population will own a mobile phone. Over the years, the capabilities of the phones as well as the networks have increased tremendously, reaching the point where the devices are better called miniature computers rather than simply mobile phones. The mobile industry is currently undertaking several initiatives of developing new generations of mobile network technologies; technologies that to a large extent focus at offering ever-increasing data rates. This thesis seeks to answer the question of whether the future mobile networks in development and the future mobile services are in sync; taking a forward-looking timeframe of five to eight years into the future, will there be services that will need the high-performance new networks being planned? The question is seen to be especially pertinent in light of slower-than-expected takeoff of 3G data services. Current and future mobile services are analyzed from two viewpoints; first, looking at the gradual, evolutionary development of the services and second, through seeking to identify potential revolutionary new mobile services. With information on both current and future mobile networks as well as services, a network capability - service requirements mapping is performed to identify which services will work in which networks. Based on the analysis, it is far from certain whether the new mobile networks, especially those planned for deployment after HSPA, will be needed as soon as they are being currently roadmapped. The true service-based demand for the "beyond HSPA" technologies may be many years into the future - or, indeed, may never materialize thanks to the increasing deployment of local area wireless broadband technologies.
Resumo:
Requirements engineering is an important phase in software development where customer's needs and expectations are transformed into a software requirements specification. The requirements specification can be considered as an agreement between the customer and the developer where both parties agree on the expected system features and behaviour. However, requirements engineers must deal with a variety of issues that complicate the requirements process. The communication gap between the customer and the developers is among typical reasons for unsatisfactory requirements. In this thesis we study how the use case technique could be used in requirements engineering in bridging the communication gap between the customer and development team. We also discuss how a use case description can be use cases can be used as a basis for acceptance test cases.
Resumo:
Despite much research on forest biodiversity in Fennoscandia, the exact mechanisms of species declines in dead-wood dependent fungi are still poorly understood. In particular, there is only limited information on why certain fungal species have responded negatively to habitat loss and fragmentation, while others have not. Understanding the mechanisms behind species declines would be essential for the design and development of ecologically effective and scientifically informed conservation measures, and management practices that would promote biodiversity in production forests. In this thesis I study the ecology of polypores and their responses to forest management, with a particular focus on why some species have declined more than others. The data considered in the thesis comprise altogether 98,318 dead-wood objects, with 43,085 observations of 174 fungal species. Out of these, 1,964 observations represent 58 red-listed species. The data were collected from 496 sites, including woodland key habitats, clear-cuts with retention trees, mature managed forests, and natural or natural-like forests in southern Finland and Russian Karelia. I show that the most relevant way of measuring resource availability can differ to a great extent between species seemingly sharing the same resources. It is thus critical to measure the availability of resources in a way that takes into account the ecological requirements of the species. The results show that connectivity at the local, landscape and regional scales is important especially for the highly specialized species, many of which are also red-listed. Habitat loss and fragmentation affect not only species diversity but also the relative abundances of the species and, consequently, species interactions and fungal successional pathways. Changes in species distributions and abundances are likely to affect the food chains in which wood-inhabiting fungi are involved, and thus the functioning of the whole forest ecosystem. The findings of my thesis highlight the importance of protecting well-connected, large and high-quality forest areas to maintain forest biodiversity. Small habitat patches distributed across the landscape are likely to contribute only marginally to protection of red-listed species, especially if habitat quality is not substantially higher than in ordinary managed forest, as is the case with woodland key habitats. Key habitats might supplement the forest protection network if they were delineated larger and if harvesting of individual trees was prohibited in them. Taking the landscape perspective into account in the design and development of conservation measures is critical while striving to halt the decline of forest biodiversity in an ecologically effective manner.