Compositions, Generated by Special Nets in Affinely Connected Spaces

Special nets which characterize Cartesian, geodesic, Chebyshevian, geodesic- Chebyshevian and Chebyshevian-geodesic compositions are introduced. Con- ditions for the coefficients of the connectedness in the parameters of these special nets are found.

Generalizing of Neural Nets: Functional Nets of Special Type

Special generalizing for the artificial neural nets: so called RFT – FN – is under discussion in the report. Such refinement touch upon the constituent elements for the conception of artificial neural network, namely, the choice of main primary functional elements in the net, the way to connect them(topology) and the structure of the net as a whole. As to the last, the structure of the functional net proposed is determined dynamically just in the constructing the net by itself by the special recurrent procedure. The number of newly joining primary functional elements, the topology of its connecting and tuning of the primary elements is the content of the each recurrent step. The procedure is terminated under fulfilling “natural” criteria relating residuals for example. The functional proposed can be used in solving the approximation problem for the functions, represented by its observations, for classifying and clustering, pattern recognition, etc. Recurrent procedure provide for the versatile optimizing possibilities: as on the each step of the procedure and wholly: by the choice of the newly joining elements, topology, by the affine transformations if input and intermediate coordinate as well as by its nonlinear coordinate wise transformations. All considerations are essentially based, constructively and evidently represented by the means of the Generalized Inverse.

Verification of Procedural Programs via Building their Generalized Nets Models

Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между функциите във вид на коректни редици от извиквания. За главната функция на програмата се построява обобщен мрежов модел и се проверява дали той съответства на мрежовия модел на връзките между функциите на програмата. Всяка от функциите на програмата, която използва други функции се верифицира и относно спецификацията, зададена чрез мрежовия модел на връзките между функциите на програмата.

A framework for transforming, analyzing, and realizing software designs in unified modeling language

Unified Modeling Language (UML) is the most comprehensive and widely accepted object-oriented modeling language due to its multi-paradigm modeling capabilities and easy to use graphical notations, with strong international organizational support and industrial production quality tool support. However, there is a lack of precise definition of the semantics of individual UML notations as well as the relationships among multiple UML models, which often introduces incomplete and inconsistent problems for software designs in UML, especially for complex systems. Furthermore, there is a lack of methodologies to ensure a correct implementation from a given UML design. The purpose of this investigation is to verify and validate software designs in UML, and to provide dependability assurance for the realization of a UML design.^ In my research, an approach is proposed to transform UML diagrams into a semantic domain, which is a formal component-based framework. The framework I proposed consists of components and interactions through message passing, which are modeled by two-layer algebraic high-level nets and transformation rules respectively. In the transformation approach, class diagrams, state machine diagrams and activity diagrams are transformed into component models, and transformation rules are extracted from interaction diagrams. By applying transformation rules to component models, a (sub)system model of one or more scenarios can be constructed. Various techniques such as model checking, Petri net analysis techniques can be adopted to check if UML designs are complete or consistent. A new component called property parser was developed and merged into the tool SAM Parser, which realize (sub)system models automatically. The property parser generates and weaves runtime monitoring code into system implementations automatically for dependability assurance. The framework in the investigation is creative and flexible since it not only can be explored to verify and validate UML designs, but also provides an approach to build models for various scenarios. As a result of my research, several kinds of previous ignored behavioral inconsistencies can be detected.^

Equitably coloured balanced incomplete block designs

In this thesis we determine necessary and sufficient conditions for the existence of an equitably ℓ-colourable balanced incomplete block design for any positive integer ℓ > 2. In particular, we present a method for constructing non-trivial equitably ℓ-colourable BIBDs and prove that these designs are the only non-trivial equitably ℓ-colourable BIBDs that exist. We also observe that every equitable ℓ-colouring of a BIBD yields both an equalised ℓ-colouring and a proper 2-colouring of the same BIBD. We also discuss generalisations of these concepts including open questions for further research. The main results presented in this thesis also appear in [7].

Covering Dimension of C*-Algebras and 2-Coloured Classification

Peer reviewed

Assessment of Activity of 'Transparent and Clear' and 'Opaque and Highly Coloured' Photocatalytic Samples using a Fluorescent Photocatalytic Activity Indicator Ink, FPaii.

The photocatalytic activity of self-cleaning glass is assessed using a resazurin (Rz) photocatalyst activity indicator ink, i.e. Rz paii, via both the rate of change in the colour of the ink (blue to pink), R(Abs), and the rate of change in the fluorescence intensity, R(Fl), (λ(excitation) = 593 nm; λ(emission) = 639 nm) of the ink. In both cases the kinetics are zero order. Additional work with a range of glass samples of different photocatalytic activity reveal R(Abs) is directly related to R(Fl), thereby showing that the latter, like the former, can be used to provide a measure of the photocatalytic activity of the sample under test. The measured value of R(Fl) is found to be the same for 5 pieces of, otherwise identical, selfcleaning glass with: black, red, blue, yellow and no coloured tape stuck to their backs, which demonstrates that R(Fl) measurements can be used to measure photocatalytic activity under conditions of high colour and opacity under which R(Abs) cannot be measured. The relevance of this novel, fluorescence-based paii to the assessment of the activity of highly coloured, opaque photocatalytic samples, such as paints and tiles, is discussed briefly.

Das (exemte) Bistum Meißen 1. Das Kollegiatstift St. Petri zu Bautzen von der Gründung bis 1569

Die Arbeit behandelt das Kollegiatstift St. Petri zu Bautzen von dessen Gründung vor 1221 bis zum Jahr 1569. Neben der Gründungsphase des Stiftes und damit einhergehender Fragen zum Verhältnis geistlicher und weltlicher Mächte in der Oberlausitz werden nach dem bewährten Gliederungsschema der Germania Sacra das geistige Leben, die Verfassung und die Stiftswirtschaft vorgestellt. Nach dem Domstift Meißen stellte St. Petri in Bautzen die wichtigste Einrichtung des Bistums dar. Die 1569 dem Bautzener Kapitel übertragene geistliche Administratur auf römisch-katholische Teile der Oberlausitz sicherte dem Stift den Fortbestand bis in die Gegenwart und zugleich die geschlossene Erhaltung seines Urkunden- und Aktenbesitzes. Der schriftlichen Überlieferung lassen sich detaillierte Informationen zum Stiftungswesen, dem Verhältnis zur Stadt, zum Landesherrn und zu anderen geistlichen Einrichtungen entnehmen. Nicht zuletzt dem Weiterbestehen des Bautzener Kollegiatstiftes unter Dekan Johannes Leisentritt verdankt die Oberlausitz ihre besondere Stellung als bikonfessionelles Nebenland der böhmischen Krone. Ein umfangreicher Besitzkatalog und die Viten der Dignitäre und Kanoniker bieten eine breite Materialbasis auch für weitergehende Fragestellungen.

410 - Phase transitions induced by coloured voltage noise in nerve membranes

Quantitative conditions are derived under which electrically excitable membranes can undergo a phase transition induced by an externally applied voltage noise. The results obtained for a non-cooperative and a cooperative form of the two-state model are compared. © 1981.

Effata et oracula Montanistarum : programma, quo inaugurationem reverendissimi episcopi Arhusiensis, Petri Johannis Mønster ... secundo natalitiorum Christi die festo in æde divæ virginis solemni ritu peragendam /

Includes bibliographical references.

Decomposable approximations and coloured isomorphisms for C*-algebras

In this thesis we introduce nuclear dimension and compare it with a stronger form of the completely positive approximation property. We show that the approximations forming this stronger characterisation of the completely positive approximation property witness finite nuclear dimension if and only if the underlying C*-algebra is approximately finite dimensional. We also extend this result to nuclear dimension at most omega. We review interactions between separably acting injective von Neumann algebras and separable nuclear C*-algebras. In particular, we discuss aspects of Connes' work and how some of his strategies have been used by C^*-algebraist to estimate the nuclear dimension of certain classes of C*-algebras. We introduce a notion of coloured isomorphisms between separable unital C*-algebras. Under these coloured isomorphisms ideal lattices, trace spaces, commutativity, nuclearity, finite nuclear dimension and weakly pure infiniteness are preserved. We show that these coloured isomorphisms induce isomorphisms on the classes of finite dimensional and commutative C*-algebras. We prove that any pair of Kirchberg algebras are 2-coloured isomorphic and any pair of separable, simple, unital, finite, nuclear and Z-stable C*-algebras with unique trace which satisfy the UCT are also 2-coloured isomorphic.

The book of choice ferns for the garden, conservatory, and stove. Describing and giving explicit cultural directions for the best and most striking ferns and selaginellas in cultivation. Illustrated with coloured plates and numerous wood engravings, specially prepared for this work.

vol.I. Introduction to Athyrium.--vol.II. Blechnum to Nothochlaena.--vol.III. Ochropteris to Woodwardia, and Selaginella.

Edible and poisonous fungi. (With 25 coloured plates.)

"The Board of agriculture published in 1910 a small handbook containing 25 coloured plates. This ... has been for some years out of print, and the Ministry ... has decided to republish. In the present edition the nomenclature and text-matter have been brought up-to-date. Some of the old plates have been omitted ... In their place seven new plates have been inserted."--Foreword.

Inverse identification of the bending stiffness of a braided polyethylene twine subject to large deformation: application to the identification of the mesh opening rigidity of fishing nets.

The evaluation of the mesh opening stiffness of fishing nets is an important issue in assessing the selectivity of trawls. It appeared that a larger bending rigidity of twines decreases the mesh opening and could reduce the escapement of fish. Nevertheless, netting structure is complex. A netting is made up of braided twines made of polyethylene or polyamide. These twines are tied with non-symmetrical knots. Thus, these assemblies develop contact-friction interactions. Moreover, the netting can be subject to large deformation. In this study, we investigate the responses of netting samples to different types of solicitations. Samples are loaded and unloaded with creep and relaxation stages, with different boundary conditions. Then, two models have been developed: an analytical model and a finite element model. The last one was used to assess, with an inverse identification algorithm, the bending stiffness of twines. In this paper, experimental results and a model for netting structures made up of braided twines are presented. During dry forming of a composite, for example, the matrix is not present or not active, and relative sliding can occur between constitutive fibres. So an accurate modelling of the mechanical behaviour of fibrous material is necessary. This study offers experimental data which could permit to improve current models of contact-friction interactions [4], to validate models for large deformation analysis of fibrous materials [1] on a new experimental case, then to improve the evaluation of the mesh opening stiffness of a fishing net