927 resultados para Random finite set theory
Resumo:
Tausta Vaikka nuorisorikollisuus on kriminologisen tutkimuksen perinteinen kohde, on edelleen tarvetta pitkittäistutkimuksille, joissa on laaja, koko väestöä edustava otos. Kriminaalipolitiikan alalla puolestaan rikosten sovittelu ja muut restoratiivisen oikeuden muodot ovat nousseet Suomessakin haastamaan perinteiset rikoskontrollin paradigmat, rangaistuksen ja hoidon. Tutkimuskysymykset Tutkimuksen pääkysymyksenä oli, mitkä lapsuudessa (8 v.) ja nuoruudessa (18 v.) mitatut psykososiaaliset tekijät ovat yhteydessä nuorisorikollisuuden (16-20 v.) määrään ja lajiin. Lisäksi yhtenä kysymyksenä oli, miten varusmiespalvelun aikaiset psykiatriset diagnoosit liittyvät nuorisorikollisuuteen. Lisäksi tutkimme nuorisorikollisuuden esiintyvyyttä ja palvelujen käyttöä, ja vertailimme eri informanttien (tutkimushenkilöt itse, vanhemmat ja opettajat) vastausten ennusvoimaa lasten tulevan rikollisuuden suhteen. Rikosten sovittelun osalta kysymyksenä oli, miten suomalainen sovittelukäytäntö vastaa restoratiivisen oikeuden teoriaa ja miten sovittelua pitäisi kehittää. Aineisto ja metodit Pitkittäistutkimuksemme aineistona oli valtakunnallisesti edustava satunnaisotos, joka vastasi 10% vuonna 1981 Suomessa syntyneistä suomenkielisistä pojista. Ensimmäinen tiedonkeruu tapahtui 1989, kun pojat olivat 8-vuotiaita. Tietoa kerättiin lomakekyselyin pojilta itseltään sekä heidän vanhemmiltaan ja opettajiltaan. Tietoja saatiin 2946 pojasta. Lasten lomakkeena oli Children’s Depression Inventory, vanhemman lomakkeena Rutter A2 ja opettajan lomakkeena Rutter B2. Toinen tiedonkeruu järjestettiin, kun pojat osallistuivat kutsuntoihin 1999. Tietoja saatiin 2330 pojasta. Lomakkeena oli Young Adult Self-Report . Puolustusvoimien rekisteristä saatiin tiedot poikien kutsunnoissa ja palvelusaikana (vuosina 1999-04) saamista psykiatrisista diagnooseista, jotka luokiteltiin kuuteen luokkaan: antisosiaalinen persoonallisuushäiriö, päihdehäiriöt, psykoottiset häiriöt, ahdistuneisuushäiriöt, masennustilat ja sopeutumishäiriöt. Tieto mahdollisesta diagnoosista saatiin 2712 pojasta. Rikollisuus operationalisoitiin poliisin ns. RIKI-rekisteriin vuosina 1998-2001 rekisteröityjen tekojen avulla, kun pojat olivat pääasiassa 16-20-vuotiaita. Rikosten määrän mukaan pojat jaettiin neljään ryhmään: ei rikoksia, 1-2 rikosta (satunnainen rikollisuus), 3-5 rikosta (uusintarikollisuus) ja yli 5 rikosta (aktiivinen uusintarikollisuus). Rikoslajeista muodostettiin viisi kategoriaa: huume-, väkivalta-, omaisuus-, liikenne- ja rattijuopumusrikollisuus. Analyysivaiheessa rekisteridatasta poistettiin liikennerikkomukset. Kaikkiaan tiedot mahdollisista poliisikontakteista saatiin 2866 pojasta. Sovitteludata koostui 16 sovittelujutun havainnoinnista Turussa vuosina 2001- 2003. Tulokset Kaikkiaan 23% pojista oli rekisteröity rikoksesta (poissulkien liikennerikkomukset) nelivuotisen tutkimusperiodin aikana 16-20-vuotiaana. Satunnaisia rikoksentekijöitä oli 15%, uusijoita 4% ja moninkertaisia uusijoita 4%. Rikokset kasautuivat moninkertaisille uusijoille: tämä 4%:n ryhmä teki 72% kaikista rikoksista . Omaisuus- ja liikennerikollisia oli eniten (kumpiakin 11%), ja huumerikollisia vähiten (4%). Kaikki rikoslajit korreloivat keskenään tilastollisesti merkitsevästi. Nuorisorikollisuuden itsenäisiä ennustekijöitä lapsuudessa olivat rikkinäinen perherakenne, vanhempien alhainen koulutustaso, lapsen käytösongelmat ja hyperaktiivisuus. Kun verrattiin eri informantteja (lapset itse ja heidän vanhempansa ja opettajansa), etenkin opettajien vastaukset ennustivat lasten tulevaa rikollisuutta. Nuoruudessa rikollisuuden itsenäisiä korrelaatteja olivat pienellä paikkakunnalla asuminen, vanhempien ero, seurustelu, itse ilmoitettu antisosiaalisuus ja säännöllinen tupakointi ja humalajuominen. Ennus- ja taustatekijöille oli tyypillistä se, että ne olivat lineaarisessa yhteydessä rikosten määrään (ongelmat ja rikosten määrä lisääntyivät käsi kädessä) ja että ne liittyivät useaan rikoslajiin yhtä aikaa. Huumerikollisuudella oli kuitenkin vähemmän itsenäisiä ennus- ja taustatekijöitä kuin muilla rikoslajeilla. Joka kymmenes poika kärsi psykiatrisista häiriöistä. Tämä ryhmä teki noin puolet kaikista rikoksista, ja lähes joka toinen poika, jolla oli psykiatrinen häiriö, oli rekisteröity rikoksista. Rikolliseen käytökseen liittyivät etenkin antisosiaalinen persoonallisuushäiriö ja päihdehäiriöt. Masennustilat olivat kuitenkin ainoa diagnoosiryhmä, joka ei ollut yhteydessä rikollisuuteen. Myös psykiatristen häiriöiden esiintyvyys kasvoi lineaarisesti rikosten määrän kanssa; aktiivisista uusintarikollisista yli puolella (59%) oli psykiatrinen diagnoosi. Rikollisuuden lisäksi erilaiset psykososiaaliset ongelmat kasautuivat pienelle vähemmistölle. Aktiivisten uusijoiden ryhmään olivat tilastollisesti merkitsevästi yhteydessä lähes kaikki ongelmat mitä tutkimme. Kuitenkin tästä ryhmästä vain alle 3% oli käyttänyt mielenterveyspalveluja viimeisen vuoden aikana. Rikossovittelun havainnointitutkimuksen perusteella sovittelussa monet perusasiat ovat kunnossa, ja toiminta on mielekästä niin asianosaisten kuin yhteiskunnankin kannalta. Useimmiten osapuolet kohtasivat ja saivat aikaan sopimuksen, johon he vaikuttivat tyytyväisiltä. Rikoksentekijät olivat motivoituneita korvaamaan aiheuttamansa vahingot. Osapuolet saivat kertoa tarinansa omin sanoin, heitä kuunneltiin ja he ymmärsivät mitä sovittelussa puhutaan ja sovitaan. Sovittelun kuluessa jännitys väheni ja asiat saatiin loppuunkäsiteltyä. Asianosaiset saivat vaikuttaa prosessiin ja sopimukseen, ja uhrin oikeudet olivat sovittelussa keskeisellä sijalla. Restoratiivisen teorian perusteella sovittelussa havaittiin myös kehittämisen varaa: Etenkin nuoria rikoksentekijöitä oli hankala saada osallistumaan tosissaan, ja aikuiset helposti hallitsivat keskustelua. Etukäteistapaamisia ja tukihenkilöitä ei juuri hyödynnetty. Sovitteluja hallitsi puhe sopimuksesta ja rahasta. Työkorvauksia ei käytetty eikä rehabilitaatiota käsitelty. Sekä sovitteluun pääsy että sovittelumenettely riippuivat yksittäisistä henkilöistä. Johtopäätökset Rikosten tekeminen nuoruudessa on melko yleistä ja monimuotoista. Rikokset ja psykososiaaliset ongelmat kasautuvat pienelle ryhmälle ja kulkevat käsi kädessä. Myös psykiatriset häiriöt ovat lineaarisessa yhteydessä rikosten määrään. Rikosriskiä voidaan ennustaa jo lapsuudessa, ja etenkin opettajat ovat tarkkanäköisiä lasten ongelmien suhteen. Eri rikoslajeilla on varsin samanlaisia taustatekijöitä. Aktiiviset rikoksentekijät vastaavat suuresta osasta kokonaisrikollisuutta, tarvitsevat eniten apua, mutta eivät kuitenkaan hakeudu psykososiaalisten palvelujen piiriin. Rikosten sovittelu tarjoaa keinon puuttua ongelmiin varhaisessa vaiheessa ilman leimaamista. Sovittelun kehitystehtävät liittyvät etenkin dialogiin, valmisteluihin, tukihenkilöihin, työkorvauksiin, palveluunohjaukseen ja sovittelun sovellusalaan. Sovittelua ja muita restoratiivisia menettelyjä on kehitettävä ja laajennettava esimerkiksi niin, että niitä voitaisiin käyttää palveluunohjauksen välineenä.
Resumo:
Quantum Chemical calculations for group 14 elements of Periodic Table (C, Si, Ge, Sn, Pb) and their functional groups have been carried out using Density Functional Theory (DFT) based reactivity descriptors such as group electronegativities, hardness and softness. DFT calculations were performed for a large series of tetracoordinated Sn compounds of the CH3SnRR'X type, where X is a halogen and R and R' are alkyl, halogenated alkyl, alkoxy, or alkyl thio groups. The results were interpreted in terms of calculated electronegativity and hardness of the SnRR'X groups, applying a methodology previously developed by Geerlings and coworkers (J. Phys. Chem. 1993, 97, 1826). These calculations allowed to see the regularities concerning the influence of the nature of organic groups RR' and inorganic group X on electronegativities and hardness of the SnRR'X groups; in this case, it was found a very good correlation between the electronegativity of the fragment and experimental 119Sn chemical shifts, a property that sensitively reflects the change in the valence electronic structure of molecules. This work was complemented with the study of some compounds of the EX and ER types, where E= C, Si, Ge, Sn and R= CH3, H, which was performed to study the influence that the central atom has on the electronegativity and hardness of molecules, or whether these properties are mainly affected for the type of ligand bound to the central atom. All these calculations were performed using the B3PW91 functional together with the 6-311++G** basis set level for H, C, Si, Ge, F, Cl and Br atoms and the 3-21G for Sn and I atoms.
Resumo:
This paper is a historical companion to a previous one, in which it was studied the so-called abstract Galois theory as formulated by the Portuguese mathematician José Sebastião e Silva (see da Costa, Rodrigues (2007)). Our purpose is to present some applications of abstract Galois theory to higher-order model theory, to discuss Silva's notion of expressibility and to outline a classical Galois theory that can be obtained inside the two versions of the abstract theory, those of Mark Krasner and of Silva. Some comments are made on the universal theory of (set-theoretic) structures.
Resumo:
Rautaruukki Oyj:n uusi Ruukki double grade S420MH/S355J2H -rakenneputki yhdistää putkilajien S420MH ja S355J2H ominaisuudet. Eurocode 3:n suunnitteluohjeiden mukaan Ruukki double graden käyttöön on sovellettava lujuusluokan S420 mukaista hitsien mitoitusta ja rakenneputkiliitosten staattista mitoituskestävyyttä alentavaa varmuuskerrointa, kun halutaan hyödyntää lujuusluokan S420 ominaisuudet Ruukki double gradea käytettäessä. Tässä työssä tutkittiin S420-lujuusluokkaa vastaavien suunnittelumääräysten soveltamistarvetta Ruukki double grade -rakenneputken käyttöön. Työn tavoitteena oli arvioida Ruukki double grade -rakenneputkesta hitsaamalla valmistetun X-liitoksen kestävyyden ja muodonmuutoskyvyn riittävyys, kun hitsit mitoitettiin S355-lujuusluokkaa vastaavien Eurocode 3:n suunnitteluohjeiden mukaisesti. X-liitosten kestävyyttä ja muodonmuutoskykyä tutkittiin kokeellisesti -40 C lämpötilassa suoritettujen laboratoriokokeiden avulla sekä analyyttisen laskennan ja elementtimenetelmän keinoin. Kestävyyden riittävyyttä arvioitiin vertaamalla laboratoriokokeista saatuja liitosten kestävyyksiä Eurocode 3:n ja myötöviivateorian mukaisiin kestävyyksiin. Elementtimenetelmän ja laboratoriokokeen pohjalta piirrettyjä liitoksen voima-siirtymäkuvaajia vertailtiin keskenään, kun elementtimalli analysoitiin eri materiaalimalleilla. Lisäksi verrattiin elementtimallin voima-venymäkuvaajia liitoksen venymäliuskan arvoihin. Kaikki koesarjan S355-lujuusluokan mukaisilla hitsin a-mitoilla valmistetut liitokset täyttivät kestävyydelle ja muodonmuutoskyvylle asetetut vaatimukset. Täten tämän koesarjan perusteella ei ollut tarpeellista soveltaa S420-lujuusluokan mukaista hitsien mitoitusta ja staattista mitoituskestävyyttä alentavaa varmuuslukua Ruukki double grade -rakenneputkeen. Elementtimenetelmästä ja laboratoriokokeesta saadut liitoksen voima-siirtymäkuvaajat vastasivat hyvin toisiaan. Sen sijaan elementtimallin voima-venymä-kuvaajat eivät vastanneet venymäliuskojen mittausdataa kovin hyvin.
Resumo:
After decades of mergers and acquisitions and successive technology trends such as CRM, ERP and DW, the data in enterprise systems is scattered and inconsistent. Global organizations face the challenge of addressing local uses of shared business entities, such as customer and material, and at the same time have a consistent, unique, and consolidate view of financial indicators. In addition, current enterprise systems do not accommodate the pace of organizational changes and immense efforts are required to maintain data. When it comes to systems integration, ERPs are considered “closed” and expensive. Data structures are complex and the “out-of-the-box” integration options offered are not based on industry standards. Therefore expensive and time-consuming projects are undertaken in order to have required data flowing according to business processes needs. Master Data Management (MDM) emerges as one discipline focused on ensuring long-term data consistency. Presented as a technology-enabled business discipline, it emphasizes business process and governance to model and maintain the data related to key business entities. There are immense technical and organizational challenges to accomplish the “single version of the truth” MDM mantra. Adding one central repository of master data might prove unfeasible in a few scenarios, thus an incremental approach is recommended, starting from areas most critically affected by data issues. This research aims at understanding the current literature on MDM and contrasting it with views from professionals. The data collected from interviews revealed details on the complexities of data structures and data management practices in global organizations, reinforcing the call for more in-depth research on organizational aspects of MDM. The most difficult piece of master data to manage is the “local” part, the attributes related to the sourcing and storing of materials in one particular warehouse in The Netherlands or a complex set of pricing rules for a subsidiary of a customer in Brazil. From a practical perspective, this research evaluates one MDM solution under development at a Finnish IT solution-provider. By means of applying an existing assessment method, the research attempts at providing the company with one possible tool to evaluate its product from a vendor-agnostics perspective.
Resumo:
This study examines the structure of the Russian Reflexive Marker ( ся/-сь) and offers a usage-based model building on Construction Grammar and a probabilistic view of linguistic structure. Traditionally, reflexive verbs are accounted for relative to non-reflexive verbs. These accounts assume that linguistic structures emerge as pairs. Furthermore, these accounts assume directionality where the semantics and structure of a reflexive verb can be derived from the non-reflexive verb. However, this directionality does not necessarily hold diachronically. Additionally, the semantics and the patterns associated with a particular reflexive verb are not always shared with the non-reflexive verb. Thus, a model is proposed that can accommodate the traditional pairs as well as for the possible deviations without postulating different systems. A random sample of 2000 instances marked with the Reflexive Marker was extracted from the Russian National Corpus and the sample used in this study contains 819 unique reflexive verbs. This study moves away from the traditional pair account and introduces the concept of Neighbor Verb. A neighbor verb exists for a reflexive verb if they share the same phonological form excluding the Reflexive Marker. It is claimed here that the Reflexive Marker constitutes a system in Russian and the relation between the reflexive and neighbor verbs constitutes a cross-paradigmatic relation. Furthermore, the relation between the reflexive and the neighbor verb is argued to be of symbolic connectivity rather than directionality. Effectively, the relation holding between particular instantiations can vary. The theoretical basis of the present study builds on this assumption. Several new variables are examined in order to systematically model variability of this symbolic connectivity, specifically the degree and strength of connectivity between items. In usage-based models, the lexicon does not constitute an unstructured list of items. Instead, items are assumed to be interconnected in a network. This interconnectedness is defined as Neighborhood in this study. Additionally, each verb carves its own niche within the Neighborhood and this interconnectedness is modeled through rhyme verbs constituting the degree of connectivity of a particular verb in the lexicon. The second component of the degree of connectivity concerns the status of a particular verb relative to its rhyme verbs. The connectivity within the neighborhood of a particular verb varies and this variability is quantified by using the Levenshtein distance. The second property of the lexical network is the strength of connectivity between items. Frequency of use has been one of the primary variables in functional linguistics used to probe this. In addition, a new variable called Constructional Entropy is introduced in this study building on information theory. It is a quantification of the amount of information carried by a particular reflexive verb in one or more argument constructions. The results of the lexical connectivity indicate that the reflexive verbs have statistically greater neighborhood distances than the neighbor verbs. This distributional property can be used to motivate the traditional observation that the reflexive verbs tend to have idiosyncratic properties. A set of argument constructions, generalizations over usage patterns, are proposed for the reflexive verbs in this study. In addition to the variables associated with the lexical connectivity, a number of variables proposed in the literature are explored and used as predictors in the model. The second part of this study introduces the use of a machine learning algorithm called Random Forests. The performance of the model indicates that it is capable, up to a degree, of disambiguating the proposed argument construction types of the Russian Reflexive Marker. Additionally, a global ranking of the predictors used in the model is offered. Finally, most construction grammars assume that argument construction form a network structure. A new method is proposed that establishes generalization over the argument constructions referred to as Linking Construction. In sum, this study explores the structural properties of the Russian Reflexive Marker and a new model is set forth that can accommodate both the traditional pairs and potential deviations from it in a principled manner.
Resumo:
Non-linear functional representation of the aerodynamic response provides a convenient mathematical model for motion-induced unsteady transonic aerodynamic loads response, that accounts for both complex non-linearities and time-history effects. A recent development, based on functional approximation theory, has established a novel functional form; namely, the multi-layer functional. For a large class of non-linear dynamic systems, such multi-layer functional representations can be realised via finite impulse response (FIR) neural networks. Identification of an appropriate FIR neural network model is facilitated by means of a supervised training process in which a limited sample of system input-output data sets is presented to the temporal neural network. The present work describes a procedure for the systematic identification of parameterised neural network models of motion-induced unsteady transonic aerodynamic loads response. The training process is based on a conventional genetic algorithm to optimise the network architecture, combined with a simplified random search algorithm to update weight and bias values. Application of the scheme to representative transonic aerodynamic loads response data for a bidimensional airfoil executing finite-amplitude motion in transonic flow is used to demonstrate the feasibility of the approach. The approach is shown to furnish a satisfactory generalisation property to different motion histories over a range of Mach numbers in the transonic regime.
Resumo:
Optimization of quantum measurement processes has a pivotal role in carrying out better, more accurate or less disrupting, measurements and experiments on a quantum system. Especially, convex optimization, i.e., identifying the extreme points of the convex sets and subsets of quantum measuring devices plays an important part in quantum optimization since the typical figures of merit for measuring processes are affine functionals. In this thesis, we discuss results determining the extreme quantum devices and their relevance, e.g., in quantum-compatibility-related questions. Especially, we see that a compatible device pair where one device is extreme can be joined into a single apparatus essentially in a unique way. Moreover, we show that the question whether a pair of quantum observables can be measured jointly can often be formulated in a weaker form when some of the observables involved are extreme. Another major line of research treated in this thesis deals with convex analysis of special restricted quantum device sets, covariance structures or, in particular, generalized imprimitivity systems. Some results on the structure ofcovariant observables and instruments are listed as well as results identifying the extreme points of covariance structures in quantum theory. As a special case study, not published anywhere before, we study the structure of Euclidean-covariant localization observables for spin-0-particles. We also discuss the general form of Weyl-covariant phase-space instruments. Finally, certain optimality measures originating from convex geometry are introduced for quantum devices, namely, boundariness measuring how ‘close’ to the algebraic boundary of the device set a quantum apparatus is and the robustness of incompatibility quantifying the level of incompatibility for a quantum device pair by measuring the highest amount of noise the pair tolerates without becoming compatible. Boundariness is further associated to minimum-error discrimination of quantum devices, and robustness of incompatibility is shown to behave monotonically under certain compatibility-non-decreasing operations. Moreover, the value of robustness of incompatibility is given for a few special device pairs.
Resumo:
Subshifts are sets of configurations over an infinite grid defined by a set of forbidden patterns. In this thesis, we study two-dimensional subshifts offinite type (2D SFTs), where the underlying grid is Z2 and the set of for-bidden patterns is finite. We are mainly interested in the interplay between the computational power of 2D SFTs and their geometry, examined through the concept of expansive subdynamics. 2D SFTs with expansive directions form an interesting and natural class of subshifts that lie between dimensions 1 and 2. An SFT that has only one non-expansive direction is called extremely expansive. We prove that in many aspects, extremely expansive 2D SFTs display the totality of behaviours of general 2D SFTs. For example, we construct an aperiodic extremely expansive 2D SFT and we prove that the emptiness problem is undecidable even when restricted to the class of extremely expansive 2D SFTs. We also prove that every Medvedev class contains an extremely expansive 2D SFT and we provide a characterization of the sets of directions that can be the set of non-expansive directions of a 2D SFT. Finally, we prove that for every computable sequence of 2D SFTs with an expansive direction, there exists a universal object that simulates all of the elements of the sequence. We use the so called hierarchical, self-simulating or fixed-point method for constructing 2D SFTs which has been previously used by Ga´cs, Durand, Romashchenko and Shen.
Resumo:
Textbook theory ignores capital flows: trade determines exchange rates and specialisation. Approaches taking the effects of capital movements adequately into account are needed, and a new theory of economic policy including measures to protect the real economy from external volatility. Equilibrating textbook mechanisms cannot work unless trade-caused surpluses and deficits set exchange rates. To allow orthodox trade theory to work one must hinder capital flows from destroying its very basis, which the IMF and wrong regulatory decisions have done, penalising production and trade. A new, real economy based theory is proposed, a Neoclassical agenda of controlling capital flows and speculation.
Resumo:
A review of the literature reveals that there are a number of children in the educational system who are characterized by Attention Deficit Disorder. Further review of the literature reveals that there are information processing programs which have had some success in increasing the learning of these children. Currently, an information processing program which is based on schema theory is being implemented in Lincoln County. Since schema theory based programs build structural, conditional, factual, and procedural schemata which assist the learner in attending to salient factors, learning should be increased. Thirty-four children were selected from a random sampling of Grade Seven classes in Lincoln County. Seventeen of these children were identified by the researcher and classroom teacher as being characterized by Attention Deficit Disorder. From the remaining population, 17 children who were not characterized by Attention Deficit Disorder were randomly selected. The data collected were compared using independent t-tests, paired t-tests, and correlation analysis. Significant differences were found in all cases. The Non-Attention Deficit Disorder children scored significantly higher on all the tests but the Attention Defici t Disorder children had a significantly higher ratio of gain between the pretests and posttests.
Resumo:
The frequency dependence of the electron-spin fluctuation spectrum, P(Q), is calculated in the finite bandwidth model. We find that for Pd, which has a nearly full d-band, the magnitude, the range, and the peak frequency of P(Q) are greatly reduced from those in the standard spin fluctuation theory. The electron self-energy due to spin fluctuations is calculated within the finite bandwidth model. Vertex corrections are examined, and we find that Migdal's theorem is valid for spin fluctuations in the nearly full band. The conductance of a normal metal-insulator-normal metal tunnel junction is examined when spin fluctuations are present in one electrode. We find that for the nearly full band, the momentum independent self-energy due to spin fluctuations enters the expression for the tunneling conductance with approximately the same weight as the self-energy due to phonons. The effect of spin fluctuations on the tunneling conductance is slight within the finite bandwidth model for Pd. The effect of spin fluctuations on the tunneling conductance of a metal with a less full d-band than Pd may be more pronounced. However, in this case the tunneling conductance is not simply proportional to the self-energy.
Resumo:
The purpose of this thesis is to investigate some open problems in the area of combinatorial number theory referred to as zero-sum theory. A zero-sequence in a finite cyclic group G is said to have the basic property if it is equivalent under group automorphism to one which has sum precisely IGI when this sum is viewed as an integer. This thesis investigates two major problems, the first of which is referred to as the basic pair problem. This problem seeks to determine conditions for which every zero-sequence of a given length in a finite abelian group has the basic property. We resolve an open problem regarding basic pairs in cyclic groups by demonstrating that every sequence of length four in Zp has the basic property, and we conjecture on the complete solution of this problem. The second problem is a 1988 conjecture of Kleitman and Lemke, part of which claims that every sequence of length n in Zn has a subsequence with the basic property. If one considers the special case where n is an odd integer we believe this conjecture to hold true. We verify this is the case for all prime integers less than 40, and all odd integers less than 26. In addition, we resolve the Kleitman-Lemke conjecture for general n in the negative. That is, we demonstrate a sequence in any finite abelian group isomorphic to Z2p (for p ~ 11 a prime) containing no subsequence with the basic property. These results, as well as the results found along the way, contribute to many other problems in zero-sum theory.
Resumo:
Relation algebras and categories of relations in particular have proven to be extremely useful as a fundamental tool in mathematics and computer science. Since relation algebras are Boolean algebras with some well-behaved operations, every such algebra provides an atom structure, i.e., a relational structure on its set of atoms. In the case of complete and atomic structure (e.g. finite algebras), the original algebra can be recovered from its atom structure by using the complex algebra construction. This gives a representation of relation algebras as the complex algebra of a certain relational structure. This property is of particular interest because storing the atom structure requires less space than the entire algebra. In this thesis I want to introduce and implement three structures representing atom structures of integral heterogeneous relation algebras, i.e., categorical versions of relation algebras. The first structure will simply embed a homogeneous atom structure of a relation algebra into the heterogeneous context. The second structure is obtained by splitting all symmetric idempotent relations. This new algebra is in almost all cases an heterogeneous structure having more objects than the original one. Finally, I will define two different union operations to combine two algebras into a single one.
Resumo:
Employing critical pedagogy and transformative theory as a theoretical framework, I examined a learning process associated with building capacity in community-based organizations (CBOs) through an investigation of the Institutional Capacity Building Program (ICBP) initiated by a Foundation. The study sought to: (a) examine the importance of institutional capacity building for individual and community development; (b) investigate elements of a process associated with a program and characteristics of a learning process for building capacity in CBOs; and (c) analyze the Foundation’s approach to synthesizing, systematizing, and sharing learning. The study used a narrative research design that included 3 one-on-one, hour-long interviews with 2 women having unique vantage points in ICBP: one is a program facilitator working at the Foundation and the other runs a CBO supported by the Foundation. The interviews’ semistructured questions allowed interviewees to share stories regarding their experience with the learning process of ICB and enabled themes to emerge from their day-to-day experience. Through the analysis of this learning process for institutional capacity building, a few lessons can be drawn from the experience of the Foundation.