Structural Damage Detection Using Modal Curvature and Fuzzy Logic

A fuzzy logic system (FLS) with a new sliding window defuzzifier is proposed for structural damage detection using modal curvatures. Changes in the modal curvatures due to damage are fuzzified using Gaussian fuzzy sets and mapped to damage location and size using the FLS. The first four modal vectors obtained from finite element simulations of a cantilever beam are used for identifying the location and size of damage. Parametric studies show that modal curvatures can be used to accurately locate the damage; however, quantifying the size of damage is difficult. Tests with noisy simulated data show that the method detects damage very accurately at different noise levels and when some modal data are missing.

Tacit Pedagogical Knowing: At the Core of Teacher's Professionality

The purpose of this research was to examine class teachers' interactive pedagogical thinking and action, in other words their tacit pedagogical knowing. Tacit pedagogical knowing was defined as a process in interactive teaching situation, through which a teacher finds solutions to surprising and challenging situations, pedagogical moments, so that the lesson continues. Teachers are able to describe their tacit pedagogical knowing afterwards and also find some reasons for it as well. More specifically, the aim was to study, 1) how does a class teacher's tacit pedagogical knowing appear in teacher's actions, and 2) what kinds of contents include in class teacher's tacit pedagogical knowing. The research material was gathered from four class teachers by videotaping their lessons and by stimulated recall interviews. In addition to this, the researcher spent a relatively long time in the research participants' classrooms. She conducted initial interviews and orientating observations by means of participant observation in order to get to know the participants and their contexts better. A phenomenologically oriented approach, which proceeded by following abductive logic, was used in the analysis procedures of the videotaped and stimulated recall data. In addition to this, correlation examinations were used in the validation of stimulated recall data analyses. The appearance of the tacit pedagogical knowing was observed in the videotaped data. The contents of tacit pedagogical knowing were defined by the analyses of stimulated recall data. According to the research results, a class teacher's tacit pedagogical knowing appears in the maintenance of the pedagogical relation, the teacher's relation to content, and the didactical relation. The contents of class teacher's tacit pedagogical knowing were many sided. The maintenance of the pedagogical relation, the teacher's relation to content, and the didactical relation were elements of the contents as well. In addition to these, the maintenance of teacher's pedagogical authority, the maintenance of the student's role or pedagogical authority, and the awareness of the nature of the content of instruction are included in the contents of teacher's tacit pedagogical knowing. The phenomenon of tacit pedagogical knowing was observed to be clearly a process-like and relational phenomenon. Based on the research results, a model of teacher's tacit pedagogical knowing was developed. Using the model, it is possible to illustrate the factors that are at the core of teacher's professionality. This model could be used in the context of teacher education, supervision, or in-service training.

Foldable compatibility matrix for the folding of programmable logic arrays

This paper describes a switching theoretic algorithm for the folding of programmable logic arrays (PLA). The algorithm is valid for both column and row folding, although it has been presented considering only the simple column folding. The pairwise compatibility relations among all the pairs of the columns of the PLA are mapped into a square matrix, called the compatibility matrix of the PLA. A foldable compatibility matrix (FCM), a new concept introduced by the author, is then derived from the compatibility matrix. A new theorem called the folding theorem is then proved. The theorem states that the existence of an m by 2m FCM is both necessary and sufficient to fold 2m columns of the n column PLA (2m ≤ n). Once an FCM is obtained, the ordered pairs of foldable columns and the re-ordering of the rows are readily determined.

Hoop pine - Araucaria (plantations)

Hoop pine is a native species and a well-established commercial plantation tree in Queensland that produces a premium grade, quality tropical softwood. It is valued for uniform, knot-free timber with exceptional quality, and used for many commercially important wood products. Hoop pine has a well-established market and is in demand both nationally and internationally. High-grade sawn hoop pine serves the upper end of the domestic market, taking advantage of long lengths of clear wood, and exports include sawn wood and woodchip.

The third logic: Adolf Hitler and abductive logic. A thesis in history of consciousness.

Ph.D. Thesis

Damage assessment of structures with uncertainty by using mode-shape curvatures and fuzzy logic

Uncertainties associated with the structural model and measured vibration data may lead to unreliable damage detection. In this paper, we show that geometric and measurement uncertainty cause considerable problem in damage assessment which can be alleviated by using a fuzzy logic-based approach for damage detection. Curvature damage factor (CDF) of a tapered cantilever beam are used as damage indicators. Monte Carlo simulation (MCS) is used to study the changes in the damage indicator due to uncertainty in the geometric properties of the beam. Variation in these CDF measures due to randomness in structural parameter, further contaminated with measurement noise, are used for developing and testing a fuzzy logic system (FLS). Results show that the method correctly identifies both single and multiple damages in the structure. For example, the FLS detects damage with an average accuracy of about 95 percent in a beam having geometric uncertainty of 1 percent COV and measurement noise of 10 percent in single damage scenario. For multiple damage case, the FLS identifies damages in the beam with an average accuracy of about 94 percent in the presence of above mentioned uncertainties. The paper brings together the disparate areas of probabilistic analysis and fuzzy logic to address uncertainty in structural damage detection.

Aluesuunnittelu ja kestävä kehitys Luoteis-Venäjällä : Ympäristösuunnittelun mahdollisuus paikallisissa hallintatavoissa

In this Ph.D. thesis I have studied how the objectives of sustainable development have been integrated into Northwest Russian urban and regional planning, and how the Russian planning discourse has changed after the collapse of the Soviet Union. By analysing the planning discussion, processes, and strategic documents I have also investigated the use of power and governmentality in urban and regional planning. As a methodological foundation I have used an approach that I call geographical constructivism . It was possible to answer in a relevant manner the question of how sustainable development has become a part of planning in Northwest Russia through a discourse analysis of the planning discussion. During the last decades, the aim of sustainable development has become globally one of the most central societal challenges. Urban and regional planning has a central role to play in promoting this process, since many meta-level objectives actually take shape within its sphere. An ever more actual challenge brought by sustainable development is to plan regions and places while balancing the conflicts of the pressures of safeguarding a good environment and of taking into consideration social and economic needs. I have given these unavoidable conflicts of sustainable development a central place in my work. In my view, complementing instrumental and communicative rationality with conflict rationality gives environmental planning a well-equipped toolbox. Sustainable development can be enhanced in urban and regional planning by seeking open, and especially hidden, potential conflicts. Thus, the expressed thinking (mentality) and actions taken by power regimes in and around conflicts open an interesting viewpoint into Northwest Russian governmentality. I examine the significance of sustainable development in planning through Northwest Russian geography, and also through recent planning legislation and four case studies. In addition, I project my analysis of empirical material onto the latest discussion of planning theory. My four case studies, which are based on independent and separate empirical material (42 thematic interviews and planning documents), consider the republics of Karelia and Komi, Leningrad oblast and the city of Saint Petersburg. In the dissertation I argue how sustainable development is, in the local governmentalities of Northwest Russia, understood as a concept where solving environmental problems is central, and that they can be solved through planning carried out by the planning professionals. Despite this idealism, environmental improvements have been overlooked by appealing to difficult economic factors. This is what I consider environmental racism, which I think is the most central barrier to sustainable development in Northwest Russia. The situation concerning the social dimension of sustainable development is even more difficult, since, for example, the development of local democracy is not highly valued. In the planning discourse this democracy racism is explained by a short history of democracy in Russia. However, precisely through planning conflicts, for example in St. Petersburg, planning has become socially more sustainable: protests by local inhabitants have bypassed the poorly functioning representational democracy, when the governmentality has changed from a mute use of power to one that adopts a stand on a conflicting issue. Keywords: Russia, urban and regional planning, sustainable development, environmental planning, power and conflicts in planning, governmentality, rationalities.

Postharvest manual answers many questions

Many authors have noted that consumer confidence in buying fresh flowers is strongly related to their perceived value in that quality and vase life must be high and consistent over time for consumers to repeat buy. Growers, wholesalers, exporters and retailers seek practical information about recommended handling and treatments at the harvest and postharvest stages, including that relating to flowers native to Australia and South Africa ("wildflowers"). This information is essential for products to be of high quality with an acceptable vase life for the end consumer, especially if exported. Published postharvest manuals generally focus on traditional flower crops and so rarely include many, or any, wildflowers. A manual entitled Postharvest Handling of Australian flowers from Native Plants and Related Species was published in 2002 and addressed this gap, but required updating. This situation presented an opportunity to provide in-depth information to compliment the Australian wildflower quality specifications (see accompanying paper in the same volume), and to assemble the latest knowledge on wildflower quality and postharvest issues. The resultant manual contains extensive information about harvesting, quality issues and recommended postharvest care focussed on wildflowers. Much of the information is documented for the first time, being based on the most up to date research and development (R&D) as well as practical experience of the floral supply chain, researchers and other technical experts. The manual provides practical and detailed information on postharvest treatment of fresh wildflowers for growers, florists, wholesalers and exporters to use on a daily basis. It discusses the many unique features of wildflowers that must be understood and managed in order to maximise their quality and vase life after marketing and export. The manual also includes postharvest advice for 16 flower- and foliage lines for which quality specifications were not produced. This advice is presented according to the same template as the specifications.

Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Locality and order-invariant logics

Malli on logiikassa käytetty abstraktio monille matemaattisille objekteille. Esimerkiksi verkot, ryhmät ja metriset avaruudet ovat malleja. Äärellisten mallien teoria on logiikan osa-alue, jossa tarkastellaan logiikkojen, formaalien kielten, ilmaisuvoimaa malleissa, joiden alkioiden lukumäärä on äärellinen. Rajoittuminen äärellisiin malleihin mahdollistaa tulosten soveltamisen teoreettisessa tietojenkäsittelytieteessä, jonka näkökulmasta logiikan kaavoja voidaan ajatella ohjelmina ja äärellisiä malleja niiden syötteinä. Lokaalisuus tarkoittaa logiikan kyvyttömyyttä erottaa toisistaan malleja, joiden paikalliset piirteet vastaavat toisiaan. Väitöskirjassa tarkastellaan useita lokaalisuuden muotoja ja niiden säilymistä logiikkoja yhdistellessä. Kehitettyjä työkaluja apuna käyttäen osoitetaan, että Gaifman- ja Hanf-lokaalisuudeksi kutsuttujen varianttien välissä on lokaalisuuskäsitteiden hierarkia, jonka eri tasot voidaan erottaa toisistaan kasvavaa dimensiota olevissa hiloissa. Toisaalta osoitetaan, että lokaalisuuskäsitteet eivät eroa toisistaan, kun rajoitutaan tarkastelemaan äärellisiä puita. Järjestysinvariantit logiikat ovat kieliä, joissa on käytössä sisäänrakennettu järjestysrelaatio, mutta sitä on käytettävä siten, etteivät kaavojen ilmaisemat asiat riipu valitusta järjestyksestä. Määritelmää voi motivoida tietojenkäsittelyn näkökulmasta: vaikka ohjelman syötteen tietojen järjestyksellä ei olisi odotetun tuloksen kannalta merkitystä, on syöte tietokoneen muistissa aina jossakin järjestyksessä, jota ohjelma voi laskennassaan hyödyntää. Väitöskirjassa tutkitaan minkälaisia lokaalisuuden muotoja järjestysinvariantit ensimmäisen kertaluvun predikaattilogiikan laajennukset yksipaikkaisilla kvanttoreilla voivat toteuttaa. Tuloksia sovelletaan tarkastelemalla, milloin sisäänrakennettu järjestys lisää logiikan ilmaisuvoimaa äärellisissä puissa.

On the Rademacher maximal function

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.

Static RAM cell for ternary logic

A novel CMOS static RAM cell for ternary logic systems is described. This cell is based on the lambda diode. The operation of the cell has been simulated using the SPICE 2G program. The results of the simulation are given.

Can a single resource support many consumer species

The conclusion that the number of species co-existing within a biological community cannot exceed the number of limiting factors is not valid if we assume that (i) the relative efficiency of two competing species in utilizing a resource is not independent of the resource density, but one species may be more efficient at a lower density and less efficient at a higher density and (ii) there is a spatial or temporal heterogeneity in the density of the resource. This spatial or temporal heterogeneity does not have to be furnished by factors external to the biological community, but may be generated within the biological community itself as in the case of a vertical gradient of light in a plant community. This possibility of a stable co-existence of more than one species in a community limited by a single resource, even when the resource is being supplied uniformly in space and time, is formally demonstrated.