927 resultados para Equivalence Proof
Resumo:
A theory and generalized synthesis procedure is advocated for the design of weir notches and orifice-notches having a base in any given shape, to a depth a, such that the discharge through it is proportional to any singular monotonically-increasing function of the depth of flow measured above a certain datum. The problem is reduced to finding an exact solution of a Volterra integral equation in Abel form. The maximization of the depth of the datum below the crest of the notch is investigated. Proof is given that for a weir notch made out of one continuous curve, and for a flow proportional to the mth power of the head, it is impossible to bring the datum lower than (2m − 1)a below the crest of the notch. A new concept of an orifice-notch, having discontinuity in the curve and a division of flow into two distinct portions, is presented. The division of flow is shown to have a beneficial effect in reducing the datum below (2m − 1)a from the crest of the weir and still maintaining the proportionality of the flow. Experimental proof with one such orifice-notch is found to have a constant coefficient of discharge of 0.625. The importance of this analysis in the design of grit chambers is emphasized.
Resumo:
Syntheses of the isomers of the C11 acid, 1(a),3(a)- dimethylcyclohexane-1 (e),2(e),3(e)-tricarboxylic acid (A) and 1(a),3(e)-dimethylcyclohexane-1(e),2(e),3(a)-tricarboxylic acid (B), the latter by two different routes, are reported. Two of the four possible isomers of the precursor triester, trimethyl 1-methylcyclohexane-1,2,3-tricarboxylate, on individual methylation followed by hydrolysis, gave the trans,meso-acid (A), identified by comparison with an authentic sample, and the cis,trans-form (B) whose structure and configuration were proved by comparison with a specimen obtained by the unambiguous and highly stereoselective second synthesis. This demonstrated that methylation of the triester isomers occurs stereospecifically and exclusively at C-3. In the second sequence, it has been possible to assign definite conformations to four key intermediates and the final product, directly from n.m.r. spectra, from changes in these spectra accompanying specific steps, and from chemical evidence. Comparison of the n.m.r. spectra of the isomeric triesters (A) and (B) has provided unequivocal proof of the accepted trans,meso configuration for the abietic acid degradation product (A).
Resumo:
In my master's thesis I explore the political significance of logging in Papua New Guinea (PNG). In commercial logging the post-colonial state of PNG, its local communities, transnational companies and non-governmental organizations come interestingly together. The central research questions are what forms of political awareness and mobilization does commercial logging bring up in the small scale communities and how – if at all – does logging change the relationship between these communities and the state of PNG. The thesis is based on three months of ethnographic fieldwork conducted in 2007 in a village located in the East New Britain province of PNG. The village, inhabited mainly by the Mengen people, was an interesting case, because logging operations had been conducted in the area with the permission of the people, while on the other hand some villagers had formed a conservation association of their own. Parliamentary elections were also held in PNG during the time of my fieldwork. During my stay in the village I took part in the village life and conducted interviews. In addition to this, much of my material is based on informal discussions with people. On my way to and from the village I also interviewed several Papua New Guinean NGO-workers in the national and provincial capitals. In my thesis I show that environmental conservation in the village is part of a larger attempt to protect local autonomy, culture and the environment, i.e. it is a ”localistic” movement. Locals supporting conservation, as well as those supporting logging, take actively part in national parliamentary as well as local level politics. In my thesis I have attempted to unpack the notion of ”local” by examining internal power relations of the community and describing various lines of thought and opinions that base on local cultural values. Along with this, commercial logging seems also to elicit the role of the state in two-fold way in East New Britain. On the one hand, the government seeks to use logging roads built by logging companies as the basis of its own national infrastructure, even though the company roads are often of manifestably poor quality and short-lived. On the other hand, problems caused by logging, such as land disputes, create a need among local communities for the state and its services. Central themes in my thesis are the local values invested in the environment, as well as the ways in which the locals produce their environment both conceptually as well as physically. As subsistence farmers the locals depend economically on the condition of their environment. However, the value of the environment goes beyond economical questions. For example, the environment holds proof of the history of the community. Conversely, also the state and companies attempt to conceptualize, modify and administer the environment. This is done through processes such as mapping and road building, both crucial political questions in East New Britain. Here the anthropological discussion about space and place, as well as political geography are central. The diverse ways of conceptualizing the environment, as well as logging, cause often disputes about the ownership of land areas. Because of this I discuss local ways of holding the land communally, as well as PNG's land legislation and ways of dispute management. Land tenure and disputes are political questions that the locals have to deal with and in some cases these questions also create a need for the judiciary system of the state. The disputes affect also political activity, which I discuss at some length in my thesis as well. Interestingly, the locals, regardless of their political views and affiliations, establish transnational connections ranging from NGOs to government departments and multinational companies.
Resumo:
In this paper the classical problem of water wave scattering by two partially immersed plane vertical barriers submerged in deep water up to the same depth is investigated. This problem has an exact but complicated solution and an approximate solution in the literature of linearised theory of water waves. Using the Havelock expansion for the water wave potential, the problem is reduced here to solving Abel integral equations having exact solutions. Utilising these solutions,two sets of expressions for the reflection and transmission coefficients are obtained in closed forms in terms of computable integrals in contrast to the results given in the literature which,involved six complicated integrals in terms of elliptic functions. The two different expressions for each coefficient produce almost the same numerical results although it has not been possible to prove their equivalence analytically. The reflection coefficient is depicted against the wave number in a number of figures which almost coincide with the figures available in the literature wherein the problem was solved approximately by employing complementary approximations. (C) 2009 Elsevier B.V. All rights reserved.
Resumo:
A design methodology for wave-absorbing active material system is reported. The design enforces equivalence between an assumed material model having wave-absorbing behavior and a set of target feedback controllers for an array of microelectro-mechanical transducers which are integral part of the active material system. The proposed methodology is applicable to problems involving the control of acoustic waves in passive-active material system with complex constitutive behavior at different length-scales. A stress relaxation type one-dimensional constitutive model involving viscous damping mechanism is considered, which shows asymmetric wave dispersion characteristics about the half-line. The acoustic power flow and asymptotic stability of such material system are studied. A single sensor non-collocated linear feedback control system in a one-dimensional finite waveguide, which is a representative volume element in an active material system, is considered. Equivalence between the exact dynamic equilibrium of these two systems is imposed. It results in the solution space of the design variables, namely the equivalent damping coefficient, the wavelength(s) to be controlled and the location of the sensor. The characteristics of the controller transfer functions and their pole-placement problem are studied. (c) 2005 Elsevier Ltd. All rights reserved.
Resumo:
In this study, we derive a fast, novel time-domain algorithm to compute the nth-order moment of the power spectral density of the photoelectric current as measured in laser-Doppler flowmetry (LDF). It is well established that in the LDF literature these moments are closely related to fundamental physiological parameters, i.e. concentration of moving erythrocytes and blood flow. In particular, we take advantage of the link between moments in the Fourier domain and fractional derivatives in the temporal domain. Using Parseval's theorem, we establish an exact analytical equivalence between the time-domain expression and the conventional frequency-domain counterpart. Moreover, we demonstrate the appropriateness of estimating the zeroth-, first- and second-order moments using Monte Carlo simulations. Finally, we briefly discuss the feasibility of implementing the proposed algorithm in hardware.
Resumo:
Executive compensation and managerial behavior have received an increasing amount of attention in the financial economics literature since the mid 1970s. The purpose of this thesis is to extend our understanding of managerial compensation, especially how stock option compensation is linked to the actions undertaken by the management. Furthermore, managerial compensation is continuously and heatedly debated in the media and an emerging consensus from this discussion seems to be that there still exists gaps in our knowledge of optimal contracting. In Finland, the first executive stock options were introduced in the 1980s and throughout the last 15 years it has become increasingly popular for Finnish listed firms to use this type of managerial compensation. The empirical work in the thesis is conducted using data from Finland, in contrast to most previous studies that predominantly use U.S. data. Using Finnish data provides insight of how market conditions affect compensation and managerial action and provides an opportunity to explore what parts of the U.S. evidence can be generalized to other markets. The thesis consists of four essays. The first essay investigates the exercise policy of the executive stock option holders in Finland. In summary, Essay 1 contributes to our understanding of the exercise policies by examining both the determinants of the exercise decision and the markets reaction to the actual exercises. The second essay analyzes the factors driving stock option grants using data for Finnish publicly listed firms. Several agency theory based variables are found to have have explanatory power on the likelihood of a stock option grant. Essay 2 also contributes to our understanding of behavioral factors, such as prior stock return, as determinants of stock option compensation. The third essay investigates the tax and stock option motives for share repurchases and dividend distributions. We document strong support for the tax motive for share repurchases. Furthermore, we also analyze the dividend distribution decision in companies with stock options and find a significant difference between companies with and without dividend protected options. We thus document that the cutting of dividends found in previous U.S. studies can be avoided by dividend protection. In the fourth essay we approach the puzzle of negative skewness in stock returns from an altogether different angle than in previous studies. We suggest that negative skewness in stock returns is generated by management disclosure practices and find proof for this. More specifically, we find that negative skewness in daily returns is induced by returns for days when non-scheduled firm specific news is disclosed.
Resumo:
Knowledge-based clusters are studied from the structural point of view. Generalized descriptions for such clusters are stated and illustrated. Peculiarities of certain knowledge-based cluster configurations are highlighted. The adequacy of the connectives logical and (“and”) logical or (“exclusive-or”) in describing such clusters is justified. The definition of “concept” is elaborated from the clustering point of view and used to establish the equivalence between, descriptions of clusters and concepts. The order-independence of semantic-directed clustering approach is established formally based on axiomatic considerations.
Resumo:
We introduce a new class of clique separators, called base sets, for chordal graphs. Base sets of a chordal graph closely reflect its structure. We show that the notion of base sets leads to structural characterizations of planar k-trees and planar chordal graphs. Using these characterizations, we develop linear time algorithms for recognizing planar k-trees and planar chordal graphs. These algorithms are extensions of the Lexicographic_Breadth_First_Search algorithm for recognizing chordal graphs and are much simpler than the general planarity checking algorithm. Further, we use the notion of base sets to prove the equivalence of hamiltonian 2-trees and maximal outerplanar graphs.
Resumo:
In this thesis work, we design rigorous and efficient protocols/mechanisms for different types of wireless networks using a mechanism design [1] and game theoretic approach [2]. Our work can broadly be viewed in two parts. In the first part, we concentrate on ad hoc wireless networks [3] and [4]. In particular, we consider broadcast in these networks where each node is owned by independent and selfish users. Being selfish, these nodes do not forward the broadcast packets. All existing protocols for broadcast assume that nodes forward the transit packets. So, there is need for developing new broadcast protocols to overcome node selfishness. In our paper [5], we develop a strategy proof pricing mechanism which we call immediate predecessor node pricing mechanism (IPNPM) and an efficient new broadcast protocol based on IPNPM. We show the efficacy of our proposed broadcast protocol using simulation results.
Resumo:
In many applications of wireless ad hoc networks, wireless nodes are owned by rational and intelligent users. In this paper, we call nodes selfish if they are owned by independent users and their only objective is to maximize their individual goals. In such situations, it may not be possible to use the existing protocols for wireless ad hoc networks as these protocols assume that nodes follow the prescribed protocol without deviation. Stimulating cooperation among these nodes is an interesting and challenging problem. Providing incentives and pricing the transactions are well known approaches to stimulate cooperation. In this paper, we present a game theoretic framework for truthful broadcast protocol and strategy proof pricing mechanism called Immediate Predecessor Node Pricing Mechanism (IPNPM). The phrase strategy proof here means that truth revelation of cost is a weakly dominant-strategy (in game theoretic terms) for each node. In order to steer our mechanism-design approach towards practical implementation, we compute the payments to nodes using a distributed algorithm. We also propose a new protocol for broadcast in wireless ad hoc network with selfish nodes based on IPNPM. The features of the proposed broadcast protocol are reliability and a significantly reduced number of packet forwards compared to the number of network nodes, which in turn leads to less system-wide power consumption to broadcast a single packet. Our simulation results show the efficacy of the proposed broadcast protocol.
Resumo:
This paper analyzes the L2 stability of solutions of systems with time-varying coefficients of the form [A + C(t)]x′ = [B + D(t)]x + u, where A, B, C, D are matrices. Following proof of a lemma, the main result is derived, according to which the system is L2 stable if the eigenvalues of the coefficient matrices are related in a simple way. A corollary of the theorem dealing with small periodic perturbations of constant coefficient systems is then proved. The paper concludes with two illustrative examples, both of which deal with the attitude dynamics of a rigid, axisymmetric, spinning satellite in an eccentric orbit, subject to gravity gradient torques.
Resumo:
The present study of the stability of systems governed by a linear multidimensional time-varying equation, which are encountered in spacecraft dynamics, economics, demographics, and biological systems, gives attention the lemma dealing with L(inf) stability of an integral equation that results from the differential equation of the system under consideration. Using the proof of this lemma, the main result on L(inf) stability is derived according; a corollary of the theorem deals with constant coefficient systems perturbed by small periodic terms. (O.C.)
Resumo:
We study the energy current in a model of heat conduction, first considered in detail by Casher and Lebowitz. The model consists of a one-dimensional disordered harmonic chain of n i.i.d. random masses, connected to their nearest neighbors via identical springs, and coupled at the boundaries to Langevin heat baths, with respective temperatures T_1 and T_n. Let EJ_n be the steady-state energy current across the chain, averaged over the masses. We prove that EJ_n \sim (T_1 - T_n)n^{-3/2} in the limit n \to \infty, as has been conjectured by various authors over the time. The proof relies on a new explicit representation for the elements of the product of associated transfer matrices.
Resumo:
A novel method to account for the transmission line resistances in structure preserving energy functions (SPEF) is presented in this paper. The method exploits the equivalence of a lossy network having the same conductance to susceptance ratio for all its elements to a lossless network with a new set of power injections. The system equations and the energy function are developed using centre of inertia (COI) variables and the loads are modelled as arbitrary functions of respective bus voltages. The application of SPEF to direct transient stability evaluation is presented considering a realistic power system example.