958 resultados para Sequent Calculus
Resumo:
Two algorithms that improve upon the sequent-peak procedure for reservoir capacity calculation are presented. The first incorporates storage-dependent losses (like evaporation losses) exactly as the standard linear programming formulation does. The second extends the first so as to enable designing with less than maximum reliability even when allowable shortfall in any failure year is also specified. Together, the algorithms provide a more accurate, flexible and yet fast method of calculating the storage capacity requirement in preliminary screening and optimization models.
Resumo:
Bertrand Russell (1872 1970) introduced the English-speaking philosophical world to modern, mathematical logic and foundational study of mathematics. The present study concerns the conception of logic that underlies his early logicist philosophy of mathematics, formulated in The Principles of Mathematics (1903). In 1967, Jean van Heijenoort published a paper, Logic as Language and Logic as Calculus, in which he argued that the early development of modern logic (roughly the period 1879 1930) can be understood, when considered in the light of a distinction between two essentially different perspectives on logic. According to the view of logic as language, logic constitutes the general framework for all rational discourse, or meaningful use of language, whereas the conception of logic as calculus regards logic more as a symbolism which is subject to reinterpretation. The calculus-view paves the way for systematic metatheory, where logic itself becomes a subject of mathematical study (model-theory). Several scholars have interpreted Russell s views on logic with the help of the interpretative tool introduced by van Heijenoort,. They have commonly argued that Russell s is a clear-cut case of the view of logic as language. In the present study a detailed reconstruction of the view and its implications is provided, and it is argued that the interpretation is seriously misleading as to what he really thought about logic. I argue that Russell s conception is best understood by setting it in its proper philosophical context. This is constituted by Immanuel Kant s theory of mathematics. Kant had argued that purely conceptual thought basically, the logical forms recognised in Aristotelian logic cannot capture the content of mathematical judgments and reasonings. Mathematical cognition is not grounded in logic but in space and time as the pure forms of intuition. As against this view, Russell argued that once logic is developed into a proper tool which can be applied to mathematical theories, Kant s views turn out to be completely wrong. In the present work the view is defended that Russell s logicist philosophy of mathematics, or the view that mathematics is really only logic, is based on what I term the Bolzanian account of logic . According to this conception, (i) the distinction between form and content is not explanatory in logic; (ii) the propositions of logic have genuine content; (iii) this content is conferred upon them by special entities, logical constants . The Bolzanian account, it is argued, is both historically important and throws genuine light on Russell s conception of logic.
Resumo:
In this study I discuss G. W. Leibniz's (1646-1716) views on rational decision-making from the standpoint of both God and man. The Divine decision takes place within creation, as God freely chooses the best from an infinite number of possible worlds. While God's choice is based on absolutely certain knowledge, human decisions on practical matters are mostly based on uncertain knowledge. However, in many respects they could be regarded as analogous in more complicated situations. In addition to giving an overview of the divine decision-making and discussing critically the criteria God favours in his choice, I provide an account of Leibniz's views on human deliberation, which includes some new ideas. One of these concerns is the importance of estimating probabilities in making decisions one estimates both the goodness of the act itself and its consequences as far as the desired good is concerned. Another idea is related to the plurality of goods in complicated decisions and the competition this may provoke. Thirdly, heuristic models are used to sketch situations under deliberation in order to help in making the decision. Combining the views of Marcelo Dascal, Jaakko Hintikka and Simo Knuuttila, I argue that Leibniz applied two kinds of models of rational decision-making to practical controversies, often without explicating the details. The more simple, traditional pair of scales model is best suited to cases in which one has to decide for or against some option, or to distribute goods among parties and strive for a compromise. What may be of more help in more complicated deliberations is the novel vectorial model, which is an instance of the general mathematical doctrine of the calculus of variations. To illustrate this distinction, I discuss some cases in which he apparently applied these models in different kinds of situation. These examples support the view that the models had a systematic value in his theory of practical rationality.
Resumo:
The aim of this research was to identify the role of brand reputation in encouraging consumer willingness to provide personal data online, for the benefits of personalisation. This study extends on Malhotra, Kim and Agarwal’s (2004) Internet Users Information Privacy Concerns Model, and uses the theoretical underpinning of Social Contract Theory to assess how brand reputation moderates the relationship between trusting beliefs and perceived value (Privacy Calculus framework) with willingness to give personal information. The research is highly relevant as most privacy research undertaken to date focuses on consumer related concerns. Very little research exists examining the role of brand reputation and online privacy. Practical implications of this research include gaining knowledge as to how to minimise online privacy concerns; improve brand reputation; and provide insight on how to reduce consumer resistance to the collection of personal information and encourage consumer opt-in.
Resumo:
The aim of the present study was to assess oral health and treatment needs among adult Iranians according to socio-demographic status, smoking, and oral hygiene, and to investigate the relationships between these determinants and oral health. Data for 4448 young adult (aged 18) and 8301 middle-aged (aged 35 to 44) Iranians were collected in 2002 as part of a national survey using the World Health Organization (WHO) criteria for sampling and clinical diagnoses, across 28 provinces by 33 calibrated examiners. Gender, age, place of residence, and level of education served as socio-demographic information, smoking as behavioural and modified plaque index (PI) as the biological risk indicator for oral hygiene. Number of teeth, decayed teeth (DT), filled teeth (FT), decayed, missing, filled teeth (DMFT), community periodontal index (CPI), and prosthodontic rehabilitation served as outcome variables of oral health. Mean number of DMFT was 4.3 (Standard deviation (SD) = 3.7) in young adults and 11.0 (SD = 6.4) among middle-aged individuals. Among young adults the D-component (DT = 70%), and among middle-aged individuals the M-component (60%) dominated in the DMFT index. Among young adults, visible plaque was found in nearly all subjects. Maximum (max) PI was associated with higher mean number of DT, and higher periodontal treatment needs. A healthy periodontium was a rare condition, with 8% of young adults and 1% of middle-aged individuals having a max CPI = 0. The majority of the CPI findings among young adults consisted of calculus (48%) and deepened periodontal pockets (21%). Respective values for middle-aged individuals were 40% and 53%. Having a deep pocket (max CPI = 4) was more likely among young adults with a low level of education (Odds ratio (OR) = 2.7, 95% Confidence interval (CI) = 1.9–4.0) than it was among well-educated individuals. Among middle-aged individuals, having calculus or a periodontal pocket was more likely in men (OR = 1.8, 95% CI = 1.6–2.0) and in illiterate subjects (OR = 6.3, 95% CI = 5.1–7.8) than it was for their counterparts. Among young adults, having 28 teeth was more (p < 0.05) prevalent among men (72% vs. 68% for women), urban residents (71% vs. 67% for rural residents), and those with a high level of education (73% vs. 60% for those with a low level). Among middle-aged individuals, having a functional dentition was associated with younger age (OR = 2.0, 95% CI = 1.7−2.5) and higher level of education (OR = 1.8, 95% CI = 1.6−2.1). Of middle-aged individuals, 2% of 35- to 39-year-olds and 5% of those aged 40 to 44 were edentulous. Among the dentate subjects (n = 7,925), prosthodontic rehabilitation was more prevalent (p < 0.001) among women, urban residents, and those with a high level of education than it was among their counterparts. Among those having 1 to 19 teeth, a removable denture was the most common type of prosthodontic rehabilitation. Middle-aged individuals lacking a functional dentition were more likely (OR = 6.0, 95% CI = 4.8−7.6) to have prosthodontic rehabilitation than were those having a functional dentition. In total, 81% of all reported being non-smokers, and 32% of men and 5% of women were current smokers. Heavy smokers were the most likely to have deepened periodontal pockets (max CPI ≥ 3, OR = 2.9, 95% CI = 1.8−4.7) and to have less than 20 teeth (OR = 2.3, 95% CI = 1.5−3.6). The findings indicate impaired oral health status in adult Iranians, particularly those of low socio-economic status and educational level. The high prevalence of dental plaque and calculus and considerable unmet treatment needs call for a preventive population strategy with special emphasis on the improvement of oral self-care and smoking cessation to tackle the underlying risk factors for oral diseases in the Iranian adult population.
Resumo:
The present cross-sectional study aimed to assess oral health behaviour, dental and periodontal conditions, dental care, and their relationships among elderly dentate patients in Lithuania. The target population in the study were dentate patients aged 60 and older attending public dental services in Kedainiai, Lithuania. The data collection took place between the autumn of 1999 and the winter of 2001. Data were collected by means of a self-administered questionnaire for all (n=174) and a clinical examination targeting about half of the subjects (n=100). The questionnaire inquired about oral health behaviour, the life-first and also the most recent dental treatments, sources on and self-assessed knowledge of oral self-care, a self-reported number of teeth, and socio-demographic information. The clinical examination included basic dental and periodontal conditions. A total of 82 women and 92 men completed the questionnaire; their mean age was 69.2 and their average number of teeth was 16.2 (CI 95% 15.4-17.1). In all, 25% had 21 or more teeth and 32% indicated wearing removable dentures. The oral health behaviour, the participants reported, was poor: 30% reported twice daily toothbrushing, 57% responded that they always use fluoride toothpaste, 19% indicated daily interdental cleaning, nearly all said they take sugar in their coffee and tea, and 30% indicated going for check-ups. As the main source of information on oral self-care, the subjects indicated health professionals (82%), followed by social contacts (72%), broadcasted media (58%), and printed media (42%). A total of 34% assessed their knowledge of oral self-care as good, and their self-assessed knowledge correlated (r=0.52) with professional guidance they had received about oral self-care. In their most recent treatment, conservative (39%) and non-conservative (34%) treatments dominated, and preventive ones were the least reported (7%). Regarding guidance in oral self-care, 54% reported having received such about toothbrushing, 32% about interdental cleaning, and 33% had been given visual information. Clinical examinations revealed the presence of plaque, calculus, bleeding on probing and deepened pockets in all of the subjects; 70% of the subjects were diagnosed with pockets of 6mm and deeper, 94% with caries, and 73% with overhangs of restorations. Those subjects assessing their knowledge of oral self-care as good and reporting a higher intensity of guidance in oral self-care as received, indicated practicing the recommended oral self-care more frequently. Twice daily toothbrushing was associated with good self-assessed knowledge of oral self-care (OR 4.1, p<0.001) and a university education (OR 5.6, p<0.001). Those subjects with better oral health behaviour had a greater number of teeth. Having 21 or more teeth was associated with good self-assessed knowledge of oral self-care (OR 4.1, p=0.03). Better periodontal conditions were associated with a higher frequency of toothbrushing. The presence of periodontal pockets of 6mm and deeper was associated with the level of self-assessed knowledge of oral self-care being below good (OR=3.0, p=0.04) and the level of dental cleanliness being poor (OR=2.7, p=0.02). To conclude, oral health behaviour and conditions call for improvement in elderly subjects in Lithuania. To improve the oral health of their elderly dentate patients, dentists should apply all the available tools of chair-side prevention and active guidance. The latter would be an effective means of updating the knowledge of oral self-care and supporting recommended oral health behaviour. A preventive approach should be strongly emphasized in countries with limited resources for oral health care, such as Lithuania. Author’s address: Sonata Vyšniauskaite, Department of Oral Public Health, Institute of Dentistry, University of Helsinki, P.O.Box 41, FI-00014 Helsinki, Finland. E-mail: sonata.vysniauskaite@helsinki.fi
Resumo:
Extending the work of earlier papers on the relativistic-front description of paraxial optics and the formulation of Fourier optics for vector waves consistent with the Maxwell equations, we generalize the Jones calculus of axial plane waves to describe the action of the most general linear optical system on paraxial Maxwell fields. Several examples are worked out, and in each case it is shown that the formalism leads to physically correct results. The importance of retaining the small components of the field vectors along the axis of the system for a consistent description is emphasized.
Resumo:
The research in model theory has extended from the study of elementary classes to non-elementary classes, i.e. to classes which are not completely axiomatizable in elementary logic. The main theme has been the attempt to generalize tools from elementary stability theory to cover more applications arising in other branches of mathematics. In this doctoral thesis we introduce finitary abstract elementary classes, a non-elementary framework of model theory. These classes are a special case of abstract elementary classes (AEC), introduced by Saharon Shelah in the 1980's. We have collected a set of properties for classes of structures, which enable us to develop a 'geometric' approach to stability theory, including an independence calculus, in a very general framework. The thesis studies AEC's with amalgamation, joint embedding, arbitrarily large models, countable Löwenheim-Skolem number and finite character. The novel idea is the property of finite character, which enables the use of a notion of a weak type instead of the usual Galois type. Notions of simplicity, superstability, Lascar strong type, primary model and U-rank are inroduced for finitary classes. A categoricity transfer result is proved for simple, tame finitary classes: categoricity in any uncountable cardinal transfers upwards and to all cardinals above the Hanf number. Unlike the previous categoricity transfer results of equal generality the theorem does not assume the categoricity cardinal being a successor. The thesis consists of three independent papers. All three papers are joint work with Tapani Hyttinen.
Resumo:
PURPOSE To study the utility of fractional calculus in modeling gradient-recalled echo MRI signal decay in the normal human brain. METHODS We solved analytically the extended time-fractional Bloch equations resulting in five model parameters, namely, the amplitude, relaxation rate, order of the time-fractional derivative, frequency shift, and constant offset. Voxel-level temporal fitting of the MRI signal was performed using the classical monoexponential model, a previously developed anomalous relaxation model, and using our extended time-fractional relaxation model. Nine brain regions segmented from multiple echo gradient-recalled echo 7 Tesla MRI data acquired from five participants were then used to investigate the characteristics of the extended time-fractional model parameters. RESULTS We found that the extended time-fractional model is able to fit the experimental data with smaller mean squared error than the classical monoexponential relaxation model and the anomalous relaxation model, which do not account for frequency shift. CONCLUSIONS We were able to fit multiple echo time MRI data with high accuracy using the developed model. Parameters of the model likely capture information on microstructural and susceptibility-induced changes in the human brain.
Resumo:
The characteristic function for a contraction is a classical complete unitary invariant devised by Sz.-Nagy and Foias. Just as a contraction is related to the Szego kernel k(S) (z, w) = (1 - z (w) over tilde)(-1) for |z|, |w| < 1, by means of (1/k(S))(T,T*) >= 0, we consider an arbitrary open connected domain Omega in C-n, a complete Pick kernel k on Omega and a tuple T = (T-1, ..., T-n) of commuting bounded operators on a complex separable Hilbert space H such that (1/k)(T,T*) >= 0. For a complete Pick kernel the 1/k functional calculus makes sense in a beautiful way. It turns out that the model theory works very well and a characteristic function can be associated with T. Moreover, the characteristic function is then a complete unitary invariant for a suitable class of tuples T.
Resumo:
The problem of determining optimal power spectral density models for earthquake excitation which satisfy constraints on total average power, zero crossing rate and which produce the highest response variance in a given linear system is considered. The solution to this problem is obtained using linear programming methods. The resulting solutions are shown to display a highly deterministic structure and, therefore, fail to capture the stochastic nature of the input. A modification to the definition of critical excitation is proposed which takes into account the entropy rate as a measure of uncertainty in the earthquake loads. The resulting problem is solved using calculus of variations and also within linear programming framework. Illustrative examples on specifying seismic inputs for a nuclear power plant and a tall earth dam are considered and the resulting solutions are shown to be realistic.
Resumo:
In the paper, the total damping and synchronising torques, which determine the dynamic stability of a synchronous generator in a power system, have been traced to their origin. The positive and negative components released or consumed by the voltage regulator, and by the various windings of the machine, have been isolated, with the object of making a quantitative assessment of the effects of various gains and time constants on the dynamic stability of a synchronous machine under different operating conditions. The analysis is based on the properties of quadratic invariance in tensor calculus. An alternative solution by network analysis has also been provided to establish the validity of the tensor approach.
Resumo:
We study the distribution of first passage time for Levy type anomalous diffusion. A fractional Fokker-Planck equation framework is introduced.For the zero drift case, using fractional calculus an explicit analytic solution for the first passage time density function in terms of Fox or H-functions is given. The asymptotic behaviour of the density function is discussed. For the nonzero drift case, we obtain an expression for the Laplace transform of the first passage time density function, from which the mean first passage time and variance are derived.
Resumo:
In this note, we show that a quasi-free Hilbert module R defined over the polydisk algebra with kernel function k(z,w) admits a unique minimal dilation (actually an isometric co-extension) to the Hardy module over the polydisk if and only if S (-1)(z, w)k(z, w) is a positive kernel function, where S(z,w) is the Szego kernel for the polydisk. Moreover, we establish the equivalence of such a factorization of the kernel function and a positivity condition, defined using the hereditary functional calculus, which was introduced earlier by Athavale [8] and Ambrozie, Englis and Muller [2]. An explicit realization of the dilation space is given along with the isometric embedding of the module R in it. The proof works for a wider class of Hilbert modules in which the Hardy module is replaced by more general quasi-free Hilbert modules such as the classical spaces on the polydisk or the unit ball in a'', (m) . Some consequences of this more general result are then explored in the case of several natural function algebras.
Resumo:
During the motion of one dimensional flexible objects such as ropes, chains, etc., the assumption of constant length is realistic. Moreover,their motion appears to be naturally minimizing some abstract distance measure, wherein the disturbance at one end gradually dies down along the curve defining the object. This paper presents purely kinematic strategies for deriving length-preserving transformations of flexible objects that minimize appropriate ‘motion’. The strategies involve sequential and overall optimization of the motion derived using variational calculus. Numerical simulations are performed for the motion of a planar curve and results show stable converging behavior for single-step infinitesimal and finite perturbations 1 as well as multi-step perturbations. Additionally, our generalized approach provides different intuitive motions for various problem-specific measures of motion, one of which is shown to converge to the conventional tractrix-based solution. Simulation results for arbitrary shapes and excitations are also included.