Fuzzy subgroups, algebraic and topological points of view and complex analysis

Fuzzy subsets and fuzzy subgroups are basic concepts in fuzzy mathematics. We shall concentrate on fuzzy subgroups dealing with some of their algebraic, topological and complex analytical properties. Explorations are theoretical belonging to pure mathematics. One of our ideas is to show how widely fuzzy subgroups can be used in mathematics, which brings out the wealth of this concept. In complex analysis we focus on Möbius transformations, combining them with fuzzy subgroups in the algebraic and topological sense. We also survey MV spaces with or without a link to fuzzy subgroups. Spectral space is known in MV algebra. We are interested in its topological properties in MV-semilinear space. Later on, we shall study MV algebras in connection with Riemann surfaces. In fact, the Riemann surface as a concept belongs to complex analysis. On the other hand, Möbius transformations form a part of the theory of Riemann surfaces. In general, this work gives a good understanding how it is possible to fit together different fields of mathematics.

Magnetic sputtering of complex oxides

HTSC materials are relevant in modern microelectronics, because of their transformation from the normal state to the superconducting. That is why the idea of producing HTSC in industrial amounts is actual nowadays. To decrease cost of their production it is important to use magnetron sputtering systems which give the best results for essential parameters. Modeling is the simplest and the fastest way to determine optimum sputtering condition. This thesis concentrates on determination the phases of the whole sputtering process and to find out basic factors of each phase using the modeling. It was find out, that the main factors which influence on the mode of occurrence of the initial stages are the current density of the magnetron discharge and the pressure of sputtering gas. With the modeling also velocity dependences were obtained for YBCO and SmFeAsO. These were compared and difference between them was examined. To support represented model comparison was made with experimental results. This showed that the model gives good results, very similar to the experimental ones. The results of this work were published in annual conference of the finnish physical society.

Large-eddy simulation of wind flows over complex terrains for wind energy applications

Wind energy has obtained outstanding expectations due to risks of global warming and nuclear energy production plant accidents. Nowadays, wind farms are often constructed in areas of complex terrain. A potential wind farm location must have the site thoroughly surveyed and the wind climatology analyzed before installing any hardware. Therefore, modeling of Atmospheric Boundary Layer (ABL) flows over complex terrains containing, e.g. hills, forest, and lakes is of great interest in wind energy applications, as it can help in locating and optimizing the wind farms. Numerical modeling of wind flows using Computational Fluid Dynamics (CFD) has become a popular technique during the last few decades. Due to the inherent flow variability and large-scale unsteadiness typical in ABL flows in general and especially over complex terrains, the flow can be difficult to be predicted accurately enough by using the Reynolds-Averaged Navier-Stokes equations (RANS). Large- Eddy Simulation (LES) resolves the largest and thus most important turbulent eddies and models only the small-scale motions which are more universal than the large eddies and thus easier to model. Therefore, LES is expected to be more suitable for this kind of simulations although it is computationally more expensive than the RANS approach. With the fast development of computers and open-source CFD software during the recent years, the application of LES toward atmospheric flow is becoming increasingly common nowadays. The aim of the work is to simulate atmospheric flows over realistic and complex terrains by means of LES. Evaluation of potential in-land wind park locations will be the main application for these simulations. Development of the LES methodology to simulate the atmospheric flows over realistic terrains is reported in the thesis. The work also aims at validating the LES methodology at a real scale. In the thesis, LES are carried out for flow problems ranging from basic channel flows to real atmospheric flows over one of the most recent real-life complex terrain problems, the Bolund hill. All the simulations reported in the thesis are carried out using a new OpenFOAM® -based LES solver. The solver uses the 4th order time-accurate Runge-Kutta scheme and a fractional step method. Moreover, development of the LES methodology includes special attention to two boundary conditions: the upstream (inflow) and wall boundary conditions. The upstream boundary condition is generated by using the so-called recycling technique, in which the instantaneous flow properties are sampled on aplane downstream of the inlet and mapped back to the inlet at each time step. This technique develops the upstream boundary-layer flow together with the inflow turbulence without using any precursor simulation and thus within a single computational domain. The roughness of the terrain surface is modeled by implementing a new wall function into OpenFOAM® during the thesis work. Both, the recycling method and the newly implemented wall function, are validated for the channel flows at relatively high Reynolds number before applying them to the atmospheric flow applications. After validating the LES model over simple flows, the simulations are carried out for atmospheric boundary-layer flows over two types of hills: first, two-dimensional wind-tunnel hill profiles and second, the Bolund hill located in Roskilde Fjord, Denmark. For the twodimensional wind-tunnel hills, the study focuses on the overall flow behavior as a function of the hill slope. Moreover, the simulations are repeated using another wall function suitable for smooth surfaces, which already existed in OpenFOAM® , in order to study the sensitivity of the flow to the surface roughness in ABL flows. The simulated results obtained using the two wall functions are compared against the wind-tunnel measurements. It is shown that LES using the implemented wall function produces overall satisfactory results on the turbulent flow over the two-dimensional hills. The prediction of the flow separation and reattachment-length for the steeper hill is closer to the measurements than the other numerical studies reported in the past for the same hill geometry. The field measurement campaign performed over the Bolund hill provides the most recent field-experiment dataset for the mean flow and the turbulence properties. A number of research groups have simulated the wind flows over the Bolund hill. Due to the challenging features of the hill such as the almost vertical hill slope, it is considered as an ideal experimental test case for validating micro-scale CFD models for wind energy applications. In this work, the simulated results obtained for two wind directions are compared against the field measurements. It is shown that the present LES can reproduce the complex turbulent wind flow structures over a complicated terrain such as the Bolund hill. Especially, the present LES results show the best prediction of the turbulent kinetic energy with an average error of 24.1%, which is a 43% smaller than any other model results reported in the past for the Bolund case. Finally, the validated LES methodology is demonstrated to simulate the wind flow over the existing Muukko wind farm located in South-Eastern Finland. The simulation is carried out only for one wind direction and the results on the instantaneous and time-averaged wind speeds are briefly reported. The demonstration case is followed by discussions on the practical aspects of LES for the wind resource assessment over a realistic inland wind farm.

Study of baleen whales’ ecology and interaction with maritime traffic activities to support management of a complex socio-ecological system

Thesis written in co-mentorship with Robert Michaud.

Designing in the real world is complex anyway - so what?

Designing is a heterogeneous, fuzzily defined, floating field of various activities and chunks of ideas and knowledge. Available theories about the foundations of designing as presented in "the basic PARADOX" (Jonas and Meyer-Veden 2004) have evoked the impression of Babylonian confusion. We located the reasons for this "mess" in the "non-fit", which is the problematic relation of theories and subject field. There seems to be a comparable interface problem in theory-building as in designing itself. "Complexity" sounds promising, but turns out to be a problematic and not really helpful concept. I will argue for a more precise application of systemic and evolutionary concepts instead, which - in my view - are able to model the underlying generative structures and processes that produce the visible phenomenon of complexity. It does not make sense to introduce a new fashionable meta-concept and to hope for a panacea before having clarified the more basic and still equally problematic older meta-concepts. This paper will take one step away from "theories of what" towards practice and doing and try to have a closer look at existing process models or "theories of how" to design instead. Doing this from a systemic perspective leads to an evolutionary view of the process, which finally allows to specify more clearly the "knowledge gaps" inherent in the design process. This aspect has to be taken into account as constitutive of any attempt at theory-building in design, which can be characterized as a "practice of not-knowing". I conclude, that comprehensive "unified" theories, or methods, or process models run aground on the identified knowledge gaps, which allow neither reliable models of the present, nor reliable projections into the future. Consolation may be found in performing a shift from the effort of adaptation towards strategies of exaptation, which means the development of stocks of alternatives for coping with unpredictable situations in the future.

The basic ingredients of the North Atlantic storm track. Part I: land-sea contrast and orography

Understanding and predicting changes in storm tracks over longer time scales is a challenging problem, particularly in the North Atlantic. This is due in part to the complex range of forcings (land–sea contrast, orography, sea surface temperatures, etc.) that combine to produce the structure of the storm track. The impact of land–sea contrast and midlatitude orography on the North Atlantic storm track is investigated through a hierarchy of GCM simulations using idealized and “semirealistic” boundary conditions in a high-resolution version of the Hadley Centre atmosphere model (HadAM3). This framework captures the large-scale essence of features such as the North and South American continents, Eurasia, and the Rocky Mountains, enabling the results to be applied more directly to realistic modeling situations than was possible with previous idealized studies. The physical processes by which the forcing mechanisms impact the large-scale flow and the midlatitude storm tracks are discussed. The characteristics of the North American continent are found to be very important in generating the structure of the North Atlantic storm track. In particular, the southwest–northeast tilt in the upper tropospheric jet produced by southward deflection of the westerly flow incident on the Rocky Mountains leads to enhanced storm development along an axis close to that of the continent’s eastern coastline. The approximately triangular shape of North America also enables a cold pool of air to develop in the northeast, intensifying the surface temperature contrast across the eastern coastline, consistent with further enhancements of baroclinicity and storm growth along the same axis.

Architectonic subdivisions of the amygdalar complex of a primitive marsupial (Didelphis aurita)

The architecture of the amygdaloid complex of a marsupial, the opossum Didelphis aurita, was analyzed using classical stains like Nissl staining and myelin (Gallyas) staining, and enzyme histochemistry for acetylcholinesterase and NADPH-diaphorase. Most of the subdivisions of the amygdaloid complex described in eutherian mammals were identified in the opossum brain. NADPH-diaphorase revealed reactivity in the neuropil of nearly all amygdaloid subdivisions with different intensities, allowing the identification of the medial and lateral subdivisions of the cortical posterior nucleus and the lateral subdivision of the lateral nucleus. The lateral, central, basolateral and basomedial nuclei exhibited acetylcholinesterase positivity, which provided a useful chemoarchitectural criterion for the identification of the anterior basolateral nucleus. Myelin stain allowed the identification of the medial subdivision of the lateral nucleus, and resulted in intense staining of the medial subdivisions of the central nucleus. The medial, posterior, and cortical nuclei, as well as the amygdalopiriform area did not exhibit positivity for myelin staining. On the basis of cyto- and chemoarchitectural criteria, the present study highlights that the opossum amygdaloid complex shares similarities with that of other species, thus supporting the idea that the organization of the amygdala is part of a basic plan conserved through mammalian evolution. (C) 2008 Elsevier Inc. All rights reserved.

Seeking for simplicity in complex networks

Complex networks can be understood as graphs whose connectivity properties deviate from those of regular or near-regular graphs, which are understood as being ""simple"". While a great deal of the attention so far dedicated to complex networks has been duly driven by the ""complex"" nature of these structures, in this work we address the identification of their simplicity. The basic idea is to seek for subgraphs whose nodes exhibit similar measurements. This approach paves the way for complementing the characterization of networks, including results suggesting that the protein-protein interaction networks, and to a lesser extent also the Internet, may be getting simpler over time. Copyright (C) EPLA, 2009

Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

Economic landscapes, what are they? an application to the Brazilian economy and to the sugar cane complex

In assessing the economic impact of a sector or group of sectors on a single or multiregional economy, input-output analysis has proven to be a popular method. . However, there has a problem in displaying all the information that can be obtained from this analytical approach. In this paper, we have tried to set new directions in the use of input-output analysis by presenting an improved way of looking at the economic landscapes. While this is not a new concept, a new meaning is explored in this paper; essentially, it will now be possible to visualize, in a simple picture, all the relations in the economy as well as being able to view how one sector is related to the other sectors/regions in the economy. These relations can be measured in terms of structural changes, production, value added, employment, imports, etc. While all the possibilities cannot be explored in this paper, the basic idea is given here and the smart reader can uncover all the various possibilities. To illustrate the power of analysis provided by the economic landscapes, an application is made to the sugar cane complex using an interregional inputoutput system for the Brazilian economy, constructed for 2 regions (Northeast and Rest of Brazil), for the years of 1985, 1992, and 1995.

New occurrence of microchromosomes B in Moenkhausia sanctaefilomenae (Pisces, Characidae) from the Parana River of Brazil: analysis of the synaptonemal complex

The Moenkhausia sanctaefilomenae specimens showed a karyotype consisting of 2n = 50 chromosomes with 12 metacentrics, 36 submetacentrics and two subtelocentrics. In addition to the basic karyotype, all the males specimens have cells ranging from zero to two B microchromosomes in mitotic metaphases. These chromosomes were not observed in the female specimens. C-band analysis showed a distribution pattern of characteristic heterochromatin with interstitial and centromeric blocks. However, the B chromosomes were faintly stained with C-banding and were not fluorescent with CMA(3) staining. The meiotic studies showed the formation of bivalents in metaphase I and in pachytene under an optical microscope. Through synaptonemal complex analysis with an electron microscope, the pachytene showed 25 bivalents completely paired and a small bivalent corresponding to the B chromosomes. In the same preparation, one of the B chromosomes was observed in a univalent form. on the basis of pairing behavior and morphology it is assumed that B chromosomes of M. sanctaefilomenae show homology between them and their evolutionary aspects are discussed.

Xylanolytic complex from Aspergillus giganteus: production and characterization

An Aspergillus giganteus strain was isolated as an excellent producer of xylanase associated with low levels of cellulase. Optimal xylanase production was obtained in liquid VOGEL medium containing xylan as carbon source, pH 6.5 to 7.0, at 25degreesC and. under shaking at 120 rpm during 84h. Among the several carbon sources tested, higher xylanase production was verified in xylan, xylose, sugar-cane bagasse, wheat bran and corn cob cultures, respectively. Optimal conditions for activity determination were 50degreesC and pH 6.0. The xylanolytic complex of A. giganteus showed low thermal stability with T-50 of 2 h, 13 min and I min when it was incubated at 40, 50 and 60degreesC, respectively, and high stability from pH 4.5 to 10.5, with the best interval between 7.0 to 7.5. This broad range of stability in alkali pH indicates a potential applicability in some industrial processes, which require such condition. Xylanolytic activity of A. giganteus was totally inhibited by Hg+2, Cu+2 and SDS at 10 mm. The analysis of the products from the oat spelts xylan hydrolysis through thin-layer chromatography indicated endoxylanase activity, lack of debranching enzymes and P-xylosidase activity in assay conditions.

BASIC HYPERGEOMETRIC FUNCTIONS and ORTHOGONAL LAURENT POLYNOMIALS

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Preparation, characterization and taste sensing properties of Langmuir-Blodgett Films from mixtures of polyaniline and a ruthenium complex

Langmuir-Blodgett (LB) films from a ruthenium complex, mer-[RuCl3(dppb)(py)] (dppb = PPh2(CH2)(4)PPh2; py = pyridine) (Rupy), and from mixtures with varied amounts of polyaniline (PANi) were fabricated. Molecular-level interactions between the two components are investigated by surface potential, dc conductivity and Raman spectroscopy measurements, particularly for the mixed film with 10% of Rupy. For the latter, the better miscibility led to an interaction with Rupy inducing a decrease in the conducting state of PANi, as observed in the Raman spectra and conductivity measurement. The interaction causes the final film properties to depend on the concentration of Rupy, and this was exploited to produce a sensor array made up of sensing units consisting of 11-layer LB films from pure PANi, pure Rupy and mixtures with 10 and 30% of Rupy. It is shown that the combination of only four non-specific sensing units allows one to distinguish the basic tastes detected by biological systems, viz. saltiness, sweetness, sourness and bitterness, at the muM level. (C) 2003 Elsevier B.V. Ltd. All rights reserved.

Cytochemistry and polarization microscopy of amphibian sperm cell nuclei presumed to differ in basic protein composition

The pattern of availability of free DNA phosphates, and the kind of DNA-protein complex arrangement, both induced by nuclear basic proteins, and the richness in arginine residues in these proteins were investigated cytochemically and cytophysically in spermatozoa of the South-American Hylidae species, Hyla fuscovaria and Hyla biobeba. The aim was to demonstrate differences at the level of sperm histones in two species of Hyla until recently considered to be congeneric. The results indicated differences in the spermatozoal nuclear basic proteins and DNA-protein complexes when the two species were compared. The spermatozoa of Hyla biobeba were assumed to be likely to contain a Bloch's ''type 3'' protein type (intermediate sperm basic protein), similarly to Hyla species of North and Central America. on the other hand, the data obtained for the spermatozoa of Hyla fuscovaria indicated that they contain a protamine or protamine-like protein, differing from Hyla biobeba and Hyla species of North and Central America. It is suggested that the differences reported here may be genus-specific, since Hyla fuscovaria has recently been reclassified as Scinax fuscovaria based on parameters other than sperm histone types. These findings are in agreement with the general view of a wide variability in sperm nuclear proteins in the Anura group.