This dissertation is focused on an algebraic approach of some many-valued generalizations of modal logics. The starting point is the definition of the [0,1]-valued and the Ł_n-valued Kripke models, where [0,1] denotes the well known MV-algebra and Ł_n its finite subalgebra {0, 1/n, ... , (n-1)/n,1} for any positive integer n. Two types of structures are used to define validity of formulas: the class of L-frames and the class of Ł_n-valued L-frames. The latter structures are L-frames in which we specify in each world u the set Ł_m (where m is a divisor of n) of the possible truth values of the formulas in u. These two classes of structures define two distinct notions of validity. We use these notions to study the problem of definability of classes of structures with modal formulas. We obtain for these two classes an equivalent of the Goldblatt-Thomason theorem. We are able to consider completeness problems with respect to these relational semantics thanks to the connections between relational and algebraic semantics. Our strongest results are about Ł_n-valued logics. We are indeed able to apply and develop algebraic tools (namely, canonical and strong canonical extensions) that allow to generate complete Ł_n-valued logics. / Nous consacrons cette dissertation à une étude algébrique de certaines généralisations multivaluées des logiques modales. Notre point de départ est la définition des modèle de Kripke [0,1]-valués et Ł_n-valués, où [0,1] désigne la MV-algèbre bien connue et Ł_n sa sous-algèbre {0, 1/n, ... , (n-1)/n,1} pour tout naturel non nul n. Nous utilisons deux types de structures pour définir une relation de validité: la classe des L-structures et celles des L-structures Ł_n-valuées. Ces dernières sont des L-structures dans lesquelles nous précisons pour chaque monde u l'ensemble Ł_m (où m est un diviseur de n) des valeurs de vérité que les formules sont autorisées à prendre en u. Ces deux classes de structures définissent deux notions distinctes de validité. Nous les utilisons pour étudier le problème de la définissabilité des classes de structures à l'aide du langage modal. Nous obtenons dans les deux cas l'équivalent du théorème de Goldblatt-Thomason. Nous considérons aussi les problèmes de complétude vis-à-vis de ces sémantiques relationnelles à l'aide des liens qui les lient à la sémantique algébrique. Les résultats les plus forts que nous obtenons concernent les logiques modales Ł_n-valuées. En effet, dans ce cas, nous pouvons appliquer et développer des outils algébriques (à savoir, les extensions canoniques et les extensions canoniques fortes) qui permettent de générer des logiques complètes.

Despite the extensive deployment of smart-meters (SMs) at the low-voltage (LV) level, which are either fully operational or will be in the near future, distribution network operators (DNOs) are still relying on a limited number of permanently installed monitoring devices at primary and secondary medium-voltage (MV) substations, for purposes of network operation and control, as well as to inform and facilitate trading interactions between generators, distributors and suppliers. Accordingly, improved and sufficiently developed models for the analysis of aggregate demands at the MV-level are required for the correct assessment of load variability, composition and time-dependent evolution, necessary for: addressing issues of robustness, security and reliability; accomplishing higher penetration levels from renewable/distributed generation; implementing demand-side-management (DSM) schemes and incorporating new technologies; decreasing environmental and economic costs and aiding towards the realisation of automated and proactive ''smart-grid'' networks. The analysis of MV-demand measurements provides an independent source of information that can capture network characteristics that do not manifest in the data collected at the LV-level, or when such data is restricted or altogether unavailable. This information describes the supply/demand interactions at the mid-level between high-voltage (HV) transmission and LV end-user consumption and opens possibilities for validation of existing bottom-up aggregation approaches, while addressing issues of reliance on survey-based data for technical and economic power system studies. This thesis presents improved and novel methodologies for the analysis of aggregate demands, measured at MV-substations, aimed at more accurate and detailed load profiling, temporal decomposition and identification of the drivers of demand variability, classification of grid-supply- points (GSPs) according to consumption patterns, disaggregation with respect to customer-classes and load-types and load forecasting. The developed models are based on a number of traditional and modern analytical and statistical techniques, including: data mining, correlational and regression analysis, Fourier analysis, clustering and pattern recognition, etc. The approaches are demonstrated on demand datasets from UK and European based DNOs, thus providing specific information for the demand characteristics, the dependencies to external parameters and to socio-behavioural factors and the most likely load composition at the corresponding geographical locations, while the approaches are also intendent to be easily adaptable for studies at equivalent voltage and demand aggregation levels.

No description available.

No description available.

京都大学 / 新制・課程博士 / 博士(理学) / 甲第23681号 / 理博第4771号 / 新制||理||1683(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 加藤 周, 教授 雪江 明彦, 教授 平岡 裕章 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM

<p>This dissertation examines the apparently conflicting dynamics of movement and control. It does so by taking a unique approach to exploring these dynamics of movement and control by de-centering the state as the assumed site of authority of such dynamics. While traditional IR approaches situate the state as the authority for controlling and facilitating movement across borders, this study – which focuses on the movement of refugees and asylum seekers – de-stabilizes that authority by considering the ways in which other actors and spaces influence and resist these dynamics. Specifically, I consider the ways in which cities and migrants themselves might shape the apparently ‘global’ or ‘state’ processes of determining who enters and belongs in a particular political community. By de-centering – but not dismissing – the authority of the state in these matters, it becomes evident that definitions of political community are not only highly ambiguous but also somewhat autonomous from the state. The city emerges as a fundamentally different sort of political space from the state. The city – though not <em>separate</em> from the state – exceeds the state and opens up different possibilities for belonging politically than those made possible by ‘seeing like a state’</p> <p>These theoretical issues are contextualized in this study through the case study of the MV Sun Sea, a ship which arrived off the coast of Vancouver Island, Canada in August 2010 carrying 490 Sri Lankan asylum seekers. This case is explored from three angles – ‘seeing like a state’, ‘seeing like a city’, and ‘seeing like a refugee’ – in order to consider the dynamics of movement and control and the ways in which the autonomies of cities and migrants themselves reshape political space and subjectivities.</p> / Doctor of Philosophy (PhD)

Design optimality for treatment comparison experiments has been intensively studied by numerous researchers, employing a variety of statistically sound criteria. Their general formulation is based on the idea that optimality functions of the treatment information matrix are invariant to treatment permutation. This implies equal interest in all treatments. In practice, however, there are many experiments where not all treatments are equally important. When selecting a design for such an experiment, it would be better to weight the information gathered on different treatments according to their relative importance and/or interest. This dissertation develops a general theory of weighted design optimality, with special attention to the block design problem. Among others, this study develops and justifies weighted versions of the popular A, E and MV optimality criteria. These are based on the weighted information matrix, also introduced here. Sufficient conditions are derived for block designs to be weighted A, E and MV-optimal for situations where treatments fall into two groups according to two distinct levels of interest, these being important special cases of the "2-weight optimality" problem. Particularly, optimal designs are developed for experiments where one of the treatments is a control. The concept of efficiency balance is also studied in this dissertation. One view of efficiency balance and its generalizations is that unequal treatment replications are chosen to reflect unequal treatment interest. It is revealed that efficiency balance is closely related to the weighted-E approach to design selection. Functions of the canonical efficiency factors may be interpreted as weighted optimality criteria for comparison of designs with the same replication numbers. / Ph. D.

The recently released High Efficiency Video Coding (HEVC) standard, which halves the transmission bandwidth requirement of encoded video for almost the same quality when compared to H.264/AVC, and the availability of increased network bandwidth (e.g. from 2 Mbps for 3G networks to almost 100 Mbps for 4G/LTE) have led to the proliferation of video streaming services. Based on these major innovations, the prevalence and diversity of video application are set to increase over the coming years. However, the popularity and success of current and future video applications will depend on the perceived quality of experience (QoE) of end users. How to measure or predict the QoE of delivered services becomes an important and inevitable task for both service and network providers. Video quality can be measured either subjectively or objectively. Subjective quality measurement is the most reliable method of determining the quality of multimedia applications because of its direct link to users’ experience. However, this approach is time consuming and expensive and hence the need for an objective method that can produce results that are comparable with those of subjective testing. In general, video quality is impacted by impairments caused by the encoder and the transmission network. However, videos encoded and transmitted over an error-prone network have different quality measurements even under the same encoder setting and network quality of service (NQoS). This indicates that, in addition to encoder settings and network impairment, there may be other key parameters that impact video quality. In this project, it is hypothesised that video content type is one of the key parameters that may impact the quality of streamed videos. Based on this assertion, parameters related to video content type are extracted and used to develop a single metric that quantifies the content type of different video sequences. The proposed content type metric is then used together with encoding parameter settings and NQoS to develop content-based video quality models that estimate the quality of different video sequences delivered over IP-based network. This project led to the following main contributions: (1) A new metric for quantifying video content type based on the spatiotemporal features extracted from the encoded bitstream. (2) The development of novel subjective test approach for video streaming services. (3) New content-based video quality prediction models for predicting the QoE of video sequences delivered over IP-based networks. The models have been evaluated using subjective and objective methods.

Introduced by C.C. Chang in the 1950s, MV algebras are to many-valued (Łukasiewicz) logics what boolean algebras are to two-valued logic. More recently, effect algebras were introduced by physicists to describe quantum logic. In this thesis, we begin by investigating how these two structures, introduced decades apart for wildly different reasons, are intimately related in a mathematically precise way. We survey some connections between MV/effect algebras and more traditional algebraic structures. Then, we look at the categorical structure of effect algebras in depth, and in particular see how the partiality of their operations cause things to be vastly more complicated than their totally defined classical analogues. In the final chapter, we discuss coordinatization of MV algebras and prove some new theorems and construct some new concrete examples, connecting these structures up (requiring a detour through effect algebras!) to boolean inverse semigroups.

Thesis Ranking of selected soft drinks manufacturers examines the performance of Coca Cola, Pepsi and Kofola through compilation of ranking. Within the thesis there are constucted four rankings based on four different criteria. The supreme criterion of performance is enterprise value obtained using the method of economic value added. Results stemming from compilation of the rankings are formulated as recommendations for potentnial investor in these companies. Results of individual rankings are compared with each other in order to examine the validity of the use of foreign sources of information for evaluation of the selected criteria.