Physical layer development in third generation protocol software architecture

Diplomityön tavoitteena oli kehittää kolmannen sukupolven fyysistä protokollakerrosta matkapuhelimen ohjelmistoarkkitehtuurille. Kolmannen sukupolven matkapuhelinjärjestelmät ovat aikaisempia järjestelmiä monimutkaisempia. Ohjelmiston koon ja monimutkaisuuden sekä aikataulujen kiireellisyyden vuoksi on tullut tarve ottaa käyttöön formaaleja menetelmiä ohjelmiston kehitystyöhön. Formaalit kuvauskielet mahdollistavat tarkan, yksiselitteisen ja simuloitavissa olevan järjestelmäkuvauksen muodostamisen. Fyysinen protokollakerros tarjoaa tiedon siirtoa ylemmille protokollakerroksille. Tämän tiedonsiirron hallinta vaatii protokollakerrosten välistä viestinvälitystä. Formaaleja kuvauskieliä käyttämällä voidaan viestinvälityksen toteutusta automatisoida ja siinä tarvittavaa logiikkaa havainnollistaa. Työssä suunniteltiin, toteutettiin ja testattiin ylempien protokollakerrosten kanssa kommunikoivaa osaa fyysisestä protokollakerroksesta. Tuloksena saatiin solunvalintatoiminnallisuuden vaatiman kommunikoinnin ja tilakoneen toteutus ohjelmistoarkkitehtuurissa. Ohjelmistonkehityksen alkuvaiheiden havaittiin olevan fyysisen kerroksen suorituskyvyn kannalta merkittävässä asemassa, koska tällöin viestinvälityksen optimointi on helpointa. Formaalit kuvauskielet eivät ole sellaisenaan täysin soveltuvia tarkoin määritellyn ohjelmistoarkkitehtuurin osien kehitykseen.

The connection between distortion risk measures and ordered weighted averaging operators

Distortion risk measures summarize the risk of a loss distribution by means of a single value. In fuzzy systems, the Ordered Weighted Averaging (OWA) and Weighted Ordered Weighted Averaging (WOWA) operators are used to aggregate a large number of fuzzy rules into a single value. We show that these concepts can be derived from the Choquet integral, and then the mathematical relationship between distortion risk measures and the OWA and WOWA operators for discrete and finite random variables is presented. This connection offers a new interpretation of distortion risk measures and, in particular, Value-at-Risk and Tail Value-at-Risk can be understood from an aggregation operator perspective. The theoretical results are illustrated in an example and the degree of orness concept is discussed.

Numbers and Languages

The thesis presents results obtained during the authors PhD-studies. First systems of language equations of a simple form consisting of just two equations are proved to be computationally universal. These are systems over unary alphabet, that are seen as systems of equations over natural numbers. The systems contain only an equation X+A=B and an equation X+X+C=X+X+D, where A, B, C and D are eventually periodic constants. It is proved that for every recursive set S there exists natural numbers p and d, and eventually periodic sets A, B, C and D such that a number n is in S if and only if np+d is in the unique solution of the abovementioned system of two equations, so all recursive sets can be represented in an encoded form. It is also proved that all recursive sets cannot be represented as they are, so the encoding is really needed. Furthermore, it is proved that the family of languages generated by Boolean grammars is closed under injective gsm-mappings and inverse gsm-mappings. The arguments apply also for the families of unambiguous Boolean languages, conjunctive languages and unambiguous languages. Finally, characterizations for morphisims preserving subfamilies of context-free languages are presented. It is shown that the families of deterministic and LL context-free languages are closed under codes if and only if they are of bounded deciphering delay. These families are also closed under non-codes, if they map every letter into a submonoid generated by a single word. The family of unambiguous context-free languages is closed under all codes and under the same non-codes as the families of deterministic and LL context-free languages.

Theorizing Formal and Informal Feedback Practices in Management Accounting Through Three Dimensions

The purpose of this doctoral thesis is to widen and develop our theoretical frameworks for discussion and analyses of feedback practices in management accounting, particularly shedding light on its formal and informal aspects. The concept of feedback in management accounting has conventionally been analyzed within cybernetic control theory, in which feedback flows as a diagnostic or comparative loop between measurable outputs and pre-set goals (see e.g. Flamholtz et al. 1985; Flamholtz 1996, 1983), i.e. as a formal feedback loop. However, the everyday feedback practices in organizations are combinations of formal and informal elements. In addition to technique-driven feedback approaches (like budgets, measurement, and reward systems) we could also categorize social feedback practices that managers see relevant and effective in the pursuit of organizational control. While cybernetics or control theories successfully capture rational and measured aspects of organizational performance and offer a broad organizational context for the analysis, many individual and informal aspects remain vague and isolated. In order to discuss and make sense of the heterogeneous field of interpretations of formal and informal feedback, both in theory and practice, dichotomous approaches seem to be insufficient. Therefore, I suggest an analytical framework of formal and informal feedback with three dimensions (3D’s): source, time, and rule. Based on an abductive analysis of the theoretical and empirical findings from an interpretive case study around a business unit called Division Steelco, the 3Dframework and formal and informal feedback practices are further elaborated vis-á-vis the four thematic layers in the organizational control model by Flamholtz et al. (1985; Flamholtz 1996, 1983): core control system, organizational structure, organizational culture, and external environment. Various personal and cultural meanings given to the formal and informal feedback practices (“feedback as something”) create multidimensional interpretative contexts. Multidimensional frameworks aim to capture and better understand both the variety of interpretations and their implications to the functionality of feedback practices, important in interpretive research.

The multicultural moment : the history of the idea and politics of multiculturalism in Sweden in comparative, transnational and biographical context, 1964–1975

The emergence of the idea of multiculturalism in Swedish public discourse and social science in the latter half of the 1960s and introduction of official multiculturalism in 1975 constituted a major intellectual and political shift in the post-war history of Sweden. The ambition of the 1975 immigrant and minority policy to enable the preservation of ethno-cultural minorities and to create a positive attitude towards the new multicultural society among the majority population was also incorporated into Swedish cultural, educational and media policies. The rejection of assimilationism and the new commitment to ethno-cultural diversity, the multicultural moment, has earned Sweden a place on the list of the early adopters of official multiculturalism, together with Canada and Australia. This compilation thesis examines the origins and early post-war history of the idea of multiculturalism as well as the interplay between idea and politics in the shift from a public ideal of homogeneity to an ideal of multiculturalism in Sweden. It does so from a range of conceptual, comparative, transnational, and biographical perspectives. The thesis consists of an introduction (Part I) and four previously published studies (Part II). The primary research result of the thesis concerns the agency involved in the break-through and formal establishment of the idea of multiculturalism in Sweden. Actors such as ethnic activists, experts and officials were instrumental in the introduction and establishment of multiculturalism in Sweden, as they also had been in Canada and in Australia. These actors have, however, not previously been recognized and analysed as significant idea-makers and political agents in the case of Sweden. The intertwined connections between activists, social scientists, linguists, and officials facilitated the transfer of the idea of multiculturalism from a publically contested idea to public policy via the way of The Swedish Trade Union Confederation, academia and the Royal Commission of Immigration. The thesis furthermore shows that the political success of the idea of multiculturalism, such as it was within the limits of the universalist social democratic welfare state, was dependent on whom the claims-makers were, the status and positions they held, and the way the idea of multiculturalism was conceptualised and used. It was also dependent on the migratory context of labour immigration in the 1960s and 1970s and on whose behalf the advocates of multiculturalism made their claims. The majority of the labour immigrants were Finnish citizens from the former eastern half of the kingdom of Sweden who were net contributors to the Swedish welfare state. This facilitated the recognition of their ethno-cultural difference, and, following the logic of universalism, the ethno-cultural difference of other minority groups in Sweden. The historical significance of the multicultural moment is still evident in the contemporary immigration and integration policies of Sweden. The affirmation of diversity continues to set Sweden apart from the rest of Europe, now more so than in the 1970s, even though the migratory context has changed radically in the last 40 years.

A Study Of Frames In The Fuzzy And Intuitionist Fuzzy Contexts

The fuzzy set theory has a wider scope of applicability than classical set theory in solving various problems. Fuzzy set theory in the last three decades as a formal theory which got formalized by generalizing the original ideas and concepts in classical mathematical areas and as a very powerful modeling language, that can cope with a large fraction of uncertainties of real life situations. In Intuitionistic Fuzzy sets a new component degree of non membership in addition to the degree of membership in the case of fuzzy sets with the requirement that their sum be less than or equal to one. The main objective of this thesis is to study frames in Fuzzy and Intuitionistic Fuzzy contexts. The thesis proved some results such as ifµ is a fuzzy subset of a frame F, then µ is a fuzzy frame of F iff each non-empty level subset µt of µ is a subframe of F, the category Fuzzfrm of fuzzy frames has products and the category Fuzzfrm of fuzzy frames is complete. It define a fuzzy-quotient frame of F to be a fuzzy partition of F, that is, a subset of IF and having a frame structure with respect to new operations and study the notion of intuitionistic fuzzy frames and obtain some results and introduce the concept of Intuitionistic fuzzy Quotient frames. Finally it establish the categorical link between frames and intuitionistic fuzzy topologies.

Conceptual knowledge processing with formal concept analysis and ontologies

Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms may complement another from an application point of view. In particular, we will see how FCA can be used to support Ontology Engineering, and how ontologies can be exploited in FCA applications. The interplay of FCA and ontologies is studied along the life cycle of an ontology: (i) FCA can support the building of the ontology as a learning technique. (ii) The established ontology can be analyzed and navigated by using techniques of FCA. (iii) Last but not least, the ontology may be used to improve an FCA application.

Platforms, Languages and Packaging

This lecture outlines the decisions which need to be made early in a software project regrading the management of a professional sustainable software product or website. This lecture looks at the many different platforms and languages that can be used on these and outlines the differences between interpreted and "native" languages. We also outline the importance of using revision control systems properly and how these are essential for both distribution and supporting of software. Finally this lecture describes how to build a package for the Debian Linux platform.

Mathematical and electrical analysis of pulsed tones

This paper discusses a study conducted to perform a mathematical analysis and an electrical analysis of pulsed tones to determine which type of pulsed tone is most suitable.

Language, education and ethnicity: whose rights will prevail in an age of globalisation?

Education and ethnicity cannot be discussed without taking language into account. This paper will argue that any discussion of ethnic minorities cannot ignore the question of language, nor can any discussion of human rights ignore the question of language rights. Unfortunately, in today's globalised world, governments and minorities are faced with conflicting pressures: on the one hand, for the development and use of education in a global/international language; on the other for the use and development of mother tongue, local or indigenous languages in education. Language complexity and ethnic plurality were largely brought about as a result of the creation of nation-states, which were spread around the world as a result of European colonialism. European languages and formal education systems were used as a means of political and economic control. The legacy that was left by the colonial powers has complicated ethnic relations and has frequently led to conflict. While there is now greater recognition of the importance of language both for economic and educational development, as well as for human rights, the forces of globalisation are leading towards uniformity in the languages used, in culture and even in education. They are working against the development of language rights for smaller groups. We are witnessing a sharp decline in the number of languages spoken. Only those languages which are numerically, economically and politically strong are likely to survive. As a result many linguistic and ethnic groups are in danger of being further marginalised. This paper will illustrate this thesis both historically and from several contemporary societies, showing how certain policies have exacerbated ethnic conflict while others are seeking to promote harmony and reconciliation. Why this should be so will be explored. (c) 2006 Elsevier Ltd. All rights reserved.

A review and implementation of swarm pattern formation and transformation models

Purpose: The purpose of this paper is to address a classic problem – pattern formation identified by researchers in the area of swarm robotic systems – and is also motivated by the need for mathematical foundations in swarm systems. Design/methodology/approach: The work is separated out as inspirations, applications, definitions, challenges and classifications of pattern formation in swarm systems based on recent literature. Further, the work proposes a mathematical model for swarm pattern formation and transformation. Findings: A swarm pattern formation model based on mathematical foundations and macroscopic primitives is proposed. A formal definition for swarm pattern transformation and four special cases of transformation are introduced. Two general methods for transforming patterns are investigated and a comparison of the two methods is presented. The validity of the proposed models, and the feasibility of the methods investigated are confirmed on the Traer Physics and Processing environment. Originality/value: This paper helps in understanding the limitations of existing research in pattern formation and the lack of mathematical foundations for swarm systems. The mathematical model and transformation methods introduce two key concepts, namely macroscopic primitives and a mathematical model. The exercise of implementing the proposed models on physics simulator is novel.

Risk pricing practices in finance, insurance and construction

A review of current risk pricing practices in the financial, insurance and construction sectors is conducted through a comprehensive literature review. The purpose was to inform a study on risk and price in the tendering processes of contractors: specifically, how contractors take account of risk when they are calculating their bids for construction work. The reference to mainstream literature was in view of construction management research as a field of application rather than a fundamental academic discipline. Analytical models are used for risk pricing in the financial sector. Certain mathematical laws and principles of insurance are used to price risk in the insurance sector. construction contractors and practitioners are described to traditionally price allowances for project risk using mechanisms such as intuition and experience. Project risk analysis models have proliferated in recent years. However, they are rarely used because of problems practitioners face when confronted with them. A discussion of practices across the three sectors shows that the construction industry does not approach risk according to the sophisticated mechanisms of the two other sectors. This is not a poor situation in itself. However, knowledge transfer from finance and insurance can help construction practitioners. But also, formal risk models for contractors should be informed by the commercial exigencies and unique characteristics of the construction sector.

Citation and peer review of data: moving towards formal data publication

This paper discusses many of the issues associated with formally publishing data in academia, focusing primarily on the structures that need to be put in place for peer review and formal citation of datasets. Data publication is becoming increasingly important to the scientific community, as it will provide a mechanism for those who create data to receive academic credit for their work and will allow the conclusions arising from an analysis to be more readily verifiable, thus promoting transparency in the scientific process. Peer review of data will also provide a mechanism for ensuring the quality of datasets, and we provide suggestions on the types of activities one expects to see in the peer review of data. A simple taxonomy of data publication methodologies is presented and evaluated, and the paper concludes with a discussion of dataset granularity, transience and semantics, along with a recommended human-readable citation syntax.

Alverata: Latin, Greek and Cyrillic typeface

Alverata: a typeface design for Europe This typeface is a response to the extraordinarily diverse forms of letters of the Latin alphabet in manuscripts and inscriptions in the Romanesque period (c. 1000–1200). While the Romanesque did provide inspiration for architectural lettering in the nineteenth century, these letterforms have not until now been systematically considered and redrawn as a working typeface. The defining characteristic of the Romanesque letterform is variety: within an individual inscription or written text, letters such as A, C, E and G might appear with different forms at each appearance. Some of these forms relate to earlier Roman inscriptional forms and are therefore familiar to us, but others are highly geometric and resemble insular and uncial forms. The research underlying the typeface involved the collection of a large number of references for lettering of this period, from library research and direct on-site ivestigation. This investigation traced the wide dispersal of the Romanesque lettering tradition across the whole of Europe. The variety of letter widths and weights encountered, as well as variant shapes for individual letters, offered both direct models and stylistic inspiration for the characters and for the widths and weight variants of the typeface. The ability of the OpenType format to handle multiple stylistic variants of any one character has been exploited to reflect the multiplicity of forms available to stonecutters and scribes of the period. To make a typeface that functions in a contemporary environment, a lower case has been added, and formal and informal variants supported. The pan-European nature of the Romanesque design tradition has inspired an pan-European approach to the character set of the typeface, allowing for text composition in all European languages, and the typeface has been extended into Greek and Cyrillic, so that the broadest representation of European languages can be achieved.

The contributions of domain-general and numerical factors to third-grade arithmetic skills and mathematical learning disability

Explanations of the marked individual differences in elementary school mathematical achievement and mathematical learning disability (MLD or dyscalculia) have involved domain-general factors (working memory, reasoning, processing speed and oral language) and numerical factors that include single-digit processing efficiency and multi-digit skills such as number system knowledge and estimation. This study of third graders (N = 258) finds both domain-general and numerical factors contribute independently to explaining variation in three significant arithmetic skills: basic calculation fluency, written multi-digit computation, and arithmetic word problems. Estimation accuracy and number system knowledge show the strongest associations with every skill and their contributions are both independent of each other and other factors. Different domain-general factors independently account for variation in each skill. Numeral comparison, a single digit processing skill, uniquely accounts for variation in basic calculation. Subsamples of children with MLD (at or below 10th percentile, n = 29) are compared with low achievement (LA, 11th to 25th percentiles, n = 42) and typical achievement (above 25th percentile, n = 187). Examination of these and subsets with persistent difficulties supports a multiple deficits view of number difficulties: most children with number difficulties exhibit deficits in both domain-general and numerical factors. The only factor deficit common to all persistent MLD children is in multi-digit skills. These findings indicate that many factors matter but multi-digit skills matter most in third grade mathematical achievement.