991 resultados para K-Valued Logic
Resumo:
In the nursery industry, generic research conducted by government institutions is often not specific enough to be highly valued and adopted by the individual operator. Operators need practical solutions to their particular problems. Such problems almost invariably involve sets of conditions common to few other enterprises. This uniqueness reflects the almost infinite variation of options available in terms of species grown, media used, fertiliser, amendments and chemicals applied and the way water is supplied. The DOOR (Do Our Own Research) method advocates a relatively unexplored way of generating new, statistically sound research information in the nursery industry. The manual aims to enhance nursery operators' understanding and skills development in the following areas: critially evaluating opportunities and problems in the nursery environment, gathering relevant information, deriving and prioritising potential solutions to problems and opportunities, becoming familiar with the scientific method employed in testing potential solutions, carrying out statistically sound aand rigorous research, and developing recommendations that flow from the research information generated. The DOOR approach has application in a number of other industries and may provide important support at a time of declining research, development and extension investment by the public sector.
Resumo:
The six independent elastic constants of sodium nitrate are determined using 10 MHz ultrasonic pulse echo superposition technique over the temperature interval 77 to 300 K. The values obtained at 300 K are C11 = 5.71, C12 = 2.16, C33 = 3.3, C13 = 1.66, C44 = 1.24, C14 = 0.82, and at 77 K C11 = 6.63, C12 = 2.07, C33 = 3.99, C13 = 1.67, C44 = 1.69, C14 = 1.16 all expressed in units of 1011 dyn/cm2.
Resumo:
Single crystals of K, Rb and Cs perchlorates have been grown by the counter diffusion of the respective ions and CIO4 through the gel medium. Studies on nucleation, growth kinetics, morphological aspects and purity are discussed in this paper. The dielectric constant, ~b, as well as loss measured along the longest axis, exhibits an anomaly at the transition temperature, Tt, in all the three crystals. It is found that the peak values of Tt are approximately 800, 100 and 53 in K, Rb and Cs perchlorates, respectively. The dielectric anomaly and the large value of c b in the cubic phase are discussed in terms of the degree of disorder of the CIO~ group and the possible contribution from defects.
Resumo:
Otto Gersuny (1890-1964), third row from the front wearing cap (see arrow)
Resumo:
Digital Image
Resumo:
Digital Image
Resumo:
Digital Image
Resumo:
Digital Image
Resumo:
Ph.D. Thesis
Resumo:
Uncertainties associated with the structural model and measured vibration data may lead to unreliable damage detection. In this paper, we show that geometric and measurement uncertainty cause considerable problem in damage assessment which can be alleviated by using a fuzzy logic-based approach for damage detection. Curvature damage factor (CDF) of a tapered cantilever beam are used as damage indicators. Monte Carlo simulation (MCS) is used to study the changes in the damage indicator due to uncertainty in the geometric properties of the beam. Variation in these CDF measures due to randomness in structural parameter, further contaminated with measurement noise, are used for developing and testing a fuzzy logic system (FLS). Results show that the method correctly identifies both single and multiple damages in the structure. For example, the FLS detects damage with an average accuracy of about 95 percent in a beam having geometric uncertainty of 1 percent COV and measurement noise of 10 percent in single damage scenario. For multiple damage case, the FLS identifies damages in the beam with an average accuracy of about 94 percent in the presence of above mentioned uncertainties. The paper brings together the disparate areas of probabilistic analysis and fuzzy logic to address uncertainty in structural damage detection.
Resumo:
Digital image
Resumo:
Manuscript: "K. u. K. Landsturm. Erinnerungen aus dem Weltkriege in vier Bildern". Autobiographical play, in four acts, recalling life in the Imperial Austrian Army in a Hungarian village in 1916.
Resumo:
A composition operator is a linear operator between spaces of analytic or harmonic functions on the unit disk, which precomposes a function with a fixed self-map of the disk. A fundamental problem is to relate properties of a composition operator to the function-theoretic properties of the self-map. During the recent decades these operators have been very actively studied in connection with various function spaces. The study of composition operators lies in the intersection of two central fields of mathematical analysis; function theory and operator theory. This thesis consists of four research articles and an overview. In the first three articles the weak compactness of composition operators is studied on certain vector-valued function spaces. A vector-valued function takes its values in some complex Banach space. In the first and third article sufficient conditions are given for a composition operator to be weakly compact on different versions of vector-valued BMOA spaces. In the second article characterizations are given for the weak compactness of a composition operator on harmonic Hardy spaces and spaces of Cauchy transforms, provided the functions take values in a reflexive Banach space. Composition operators are also considered on certain weak versions of the above function spaces. In addition, the relationship of different vector-valued function spaces is analyzed. In the fourth article weighted composition operators are studied on the scalar-valued BMOA space and its subspace VMOA. A weighted composition operator is obtained by first applying a composition operator and then a pointwise multiplier. A complete characterization is given for the boundedness and compactness of a weighted composition operator on BMOA and VMOA. Moreover, the essential norm of a weighted composition operator on VMOA is estimated. These results generalize many previously known results about composition operators and pointwise multipliers on these spaces.
Resumo:
This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.