A Write-Based Solver for SAT Modulo the Theory of Arrays

The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals

Approximation to the theory of affinities to manage the problems of the groupping process

New economic and enterprise needs have increased the interest and utility of the methods of the grouping process based on the theory of uncertainty. A fuzzy grouping (clustering) process is a key phase of knowledge acquisition and reduction complexity regarding different groups of objects. Here, we considered some elements of the theory of affinities and uncertain pretopology that form a significant support tool for a fuzzy clustering process. A Galois lattice is introduced in order to provide a clearer vision of the results. We made an homogeneous grouping process of the economic regions of Russian Federation and Ukraine. The obtained results gave us a large panorama of a regional economic situation of two countries as well as the key guidelines for the decision-making. The mathematical method is very sensible to any changes the regional economy can have. We gave an alternative method of the grouping process under uncertainty.

The theory of classical Greek music

Luettelointi kesken

On the Application of Beam on Elastic Foundation Theory to the Analysis of Stiffened Plate Strips

The main objective of this thesis is to show that plate strips subjected to transverse line loads can be analysed by using the beam on elastic foundation (BEF) approach. It is shown that the elastic behaviour of both the centre line section of a semi infinite plate supported along two edges, and the free edge of a cantilever plate strip can be accurately predicted by calculations based on the two parameter BEF theory. The transverse bending stiffness of the plate strip forms the foundation. The foundation modulus is shown, mathematically and physically, to be the zero order term of the fourth order differential equation governing the behaviour of BEF, whereas the torsion rigidity of the plate acts like pre tension in the second order term. Direct equivalence is obtained for harmonic line loading by comparing the differential equations of Levy's method (a simply supported plate) with the BEF method. By equating the second and zero order terms of the semi infinite BEF model for each harmonic component, two parameters are obtained for a simply supported plate of width B: the characteristic length, 1/ λ, and the normalized sum, n, being the effect of axial loading and stiffening resulting from the torsion stiffness, nlin. This procedure gives the following result for the first mode when a uniaxial stress field was assumed (ν = 0): 1/λ = √2B/π and nlin = 1. For constant line loading, which is the superimposition of harmonic components, slightly differing foundation parameters are obtained when the maximum deflection and bending moment values of the theoretical plate, with v = 0, and BEF analysis solutions are equated: 1 /λ= 1.47B/π and nlin. = 0.59 for a simply supported plate; and 1/λ = 0.99B/π and nlin = 0.25 for a fixed plate. The BEF parameters of the plate strip with a free edge are determined based solely on finite element analysis (FEA) results: 1/λ = 1.29B/π and nlin. = 0.65, where B is the double width of the cantilever plate strip. The stress biaxial, v > 0, is shown not to affect the values of the BEF parameters significantly the result of the geometric nonlinearity caused by in plane, axial and biaxial loading is studied theoretically by comparing the differential equations of Levy's method with the BEF approach. The BEF model is generalised to take into account the elastic rotation stiffness of the longitudinal edges. Finally, formulae are presented that take into account the effect of Poisson's ratio, and geometric non linearity, on bending behaviour resulting from axial and transverse inplane loading. It is also shown that the BEF parameters of the semi infinite model are valid for linear elastic analysis of a plate strip of finite length. The BEF model was verified by applying it to the analysis of bending stresses caused by misalignments in a laboratory test panel. In summary, it can be concluded that the advantages of the BEF theory are that it is a simple tool, and that it is accurate enough for specific stress analysis of semi infinite and finite plate bending problems.

The relation between the general maxim of causality and the principle of uniformity in hume's theory of knowledge

ABSTRACT When Hume, in the Treatise on Human Nature, began his examination of the relation of cause and effect, in particular, of the idea of necessary connection which is its essential constituent, he identified two preliminary questions that should guide his research: (1) For what reason we pronounce it necessary that every thing whose existence has a beginning should also have a cause and (2) Why we conclude that such particular causes must necessarily have such particular effects? (1.3.2, 14-15) Hume observes that our belief in these principles can result neither from an intuitive grasp of their truth nor from a reasoning that could establish them by demonstrative means. In particular, with respect to the first, Hume examines and rejects some arguments with which Locke, Hobbes and Clarke tried to demonstrate it, and suggests, by exclusion, that the belief that we place on it can only come from experience. Somewhat surprisingly, however, Hume does not proceed to show how that derivation of experience could be made, but proposes instead to move directly to an examination of the second principle, saying that, "perhaps, be found in the end, that the same answer will serve for both questions" (1.3.3, 9). Hume's answer to the second question is well known, but the first question is never answered in the rest of the Treatise, and it is even doubtful that it could be, which would explain why Hume has simply chosen to remove any mention of it when he recompiled his theses on causation in the Enquiry concerning Human Understanding. Given this situation, an interesting question that naturally arises is to investigate the relations of logical or conceptual implication between these two principles. Hume seems to have thought that an answer to (2) would also be sufficient to provide an answer to (1). Henry Allison, in his turn, argued (in Custom and Reason in Hume, p. 94-97) that the two questions are logically independent. My proposal here is to try to show that there is indeed a logical dependency between them, but the implication is, rather, from (1) to (2). If accepted, this result may be particularly interesting for an interpretation of the scope of the so-called "Kant's reply to Hume" in the Second Analogy of Experience, which is structured as a proof of the a priori character of (1), but whose implications for (2) remain controversial.

The theory of constraints in manufacturing

In this paper, a systematic and quantitative view is presented for the application of the theory of constraints in manufacturing. This is done employing the operational research technique of mathematical programming. The potential of the theory of constraints in automated manufacturing is demonstrated.

Application of the center manifold theory to the study of slewing flexible Non-ideal structures with nonlinear curvature: a case study

In this paper is Analyzed the local dynamical behavior of a slewing flexible structure considering nonlinear curvature. The dynamics of the original (nonlinear) governing equations of motion are reduced to the center manifold in the neighborhood of an equilibrium solution with the purpose of locally study the stability of the system. In this critical point, a Hopf bifurcation occurs. In this region, one can find values for the control parameter (structural damping coefficient) where the system is unstable and values where the system stability is assured (periodic motion). This local analysis of the system reduced to the center manifold assures the stable / unstable behavior of the original system around a known solution.

Explaining the intention to play and behavior of playing sports betting games of young Finnish adults : an application of the theory of planned behavior

The aim of this Master’s Thesis was to examine the determinants of intention and behavior of playing sports betting games in order to explain the intention to play in a more precise way and to be able to understand the behavior of playing. The theory of planned behavior was applied in explaining the intention of young Finnish adults aged 18 to 34. A quantitative research method was applied and an online survey was sent to the students of Lappeenranta University of Technology and to the subscribers of Urheilulehti in order to reach a sample that present the young population of Finland. The theory of the study focused on the theory of planned behavior and its antecedents, attitude towards behavior, subjective norms, perceived behavioral control as well as motivation. By analyzing the data, causal relationships were found through which the explanation of intention was possible. The results showed that attitude towards playing, subjective norms, perceived behavioral control and motivation impact the formation of intention significantly. The results also indicated that intention impacts significantly to the playing frequency.

Has social justice any legitimacy in Kant's theory of right? The empirical conditions of the legal state as a civil union

This paper aims at shedding light on an obscure point in Kant's theory of the state. It discusses whether Kant's rational theory of the state recognises the fact that certain exceptional social situations, such as the extreme poverty of some parts of the population, could request institutional state support in order to guarantee the attainment of a minimum threshold of civil independence. It has three aims: 1) to show that Kant's Doctrine of Right can offer solutions for the complex relation between economics and politics in our present time; 2) to demonstrate the claim that Kant embraces a pragmatic standpoint when he tackles the social concerns of the state, and so to refute the idea that he argues for an abstract conception of politics; and 3) to suggest that a non-paternalistic theory of rights is not necessarily incompatible with the basic tenets of a welfare state.

A substantive theory of the realization of stroke patients’ dignity in hospital care

Dignity is seen important in health care context but considered as a controversial and complex concept. In health care context, it is described as being influenced by for example autonomy, respect, communication, privacy and hospital environment. Patient dignity is related to satisfaction with care, reduced stress, better confidence in health services, enhanced patient outcomes and shorter stay in a hospital. Stroke patients may struggle for dignity as being dependent on other people has impact on the patients’ self-image. In all, stroke patients are very specific patient group and considered vulnerable from emotional aspect. Therefore study findings from other patient groups in the area of ethical problems cannot be transferred to the stroke patients. This master’s thesis consists of two parts. The first part is the literature review of patients’ dignity in hospital care. The literature defined dignity and described factors promoting and reducing it. The results were ambiguous and thus a clear understanding was not able to create. That was the basis for the second part of the master’s thesis, the empirical study. This part aimed to develop theoretical construction to explore the realization of stroke patients’ dignity in hospital care. The data of the second part was collected by interviewing 16 stroke patients and analyzed using the constant comparison of Grounded Theory. The result was ‘The Theory of Realization of Stroke Patients’ Dignity in Hospital Care’ which is described not only in this master’s thesis but also as a scientific article. The theory consists of the core category, four generic elements and five specific types on realization. The core category emerged as ‘dignity in a new situation’. After a stroke, dignity is defined in a new way which is influenced by the generic elements: life history, health history, individuality and a stroke. Stroke patient’s dignity is realized through five specific types on realization: person related dignity type, control related dignity type, independence related dignity type, social related dignity type and care related dignity type. The theory points out possible special characteristics of stroke patients’ dignity in control related dignity type and independence related dignity type. Before implementing the theory, the relation between the core category, generic elements and specific types on realization needs to be studied further.

Factors affecting a woman's decision to leave an abusive relationship : the theory of planned behaviour /

The present study tested the appHcabiUty of Ajzen's (1985) theory of planned behaviour (TPB), an extension of Fishbein and Ajzen's (1975) theory of reasoned action (TRA), for the first time, in the context of abused women's decision to leave their abusive relationships. The TPB, as a means of predicting women's decision to leave their abusive partners' was drawn from Strube's (1988, 1991) proposed decision-making model based on the principle that the decision-making process is a rational, deliberative process, and regardless of outcome, was a result of a logical assessment of the available data. As a means of predicting those behaviours not under volitional control, Ajzen's (1985) TPB incorporated a measure of perceived behavioural control. Data were collected in two phases, ranging from 6 months to 1 year apart. It was hypothesized that, to the extent that an abused woman held positive attitudes, subjective norms conducive to leaving, and perceived control over leaving, she would form an intention to leave and thus, increase the likelihood of actually leaving her partner. Furthermore, it was expected that perceptions of control would predict leaving behaviour over and above attitude and subjective norm. In addition, severity and frequency of abuse were assessed, as were demographic variables. The TPB failed to account significantly for variability in either intentions or leaving behaviour. All of the variance was attributed to those variables associated with the theory of reasoned action, with social influence emerging as the strongest predictor of a woman's intentions. The poor performance of this model is attributed to measurement problems with aspects of attitude and perceived control, as well as a lack of power due to the small sample size. The insufficiency of perceived control to predict behaviour also suggests that, on the surface at least, other factors may be at work in this context. Implications of these results, and recommendations such as, the importance of obtaining representative samples, the inclusion of self-esteem and emotions as predictor variables in this model, a reevaluation of the target behaviovu" as nonvolitional, and longitudinal studies spanning a longer time period for future research within the context of decision-making are discussed.

A minor theory of the transit of materiality into discourse, Via Campesina.

In this thesis I explore how the material properties of plant seed enter the political discourses of the international peasant coalition the Via Campesina and coalition member the National Fanners Union of Canada (NFU), querying how this process might be employed as a resource for a transformative eco-social politics. I employ several post-structural theoretical constructs, configuring them together as a "minor theory". This minor theory provides the basis for a "minor" reading of three sets of Via Campesina and NFU texts. The aim of these readings is to track the movement of seed from a local agricultural concern to a transitive political one, across both the material and discursive registers. In surfacing the presence of the seed's physical properties in the three texts, I highlight the distinctions between the constraining seed of corporate industrial agriculture, and the social and agroecological opportunities resulting from what I call a "Seed Event".

Thinking skills in the language arts : an application of cognitive schema theory to the narrative writing process /

A cognitively based instructional program for narrative writing was developed. The effects of using cognitively based schematic planning organizers at the pre-writing stage were evaluated using subjects from the Primary, Junior and Intermediate divisions. Results indicate that the use of organizers based on problem solving significantly improved the organization and the overall quality of narrative writing for students in grades 3, 6 and 7. The magnitude of the improvement of the treatment group over the control group performance in Organization ranged from 10.7% to 22.9%. Statistical and observational data indicate many implications for further research into the cognitive basis for writing and reading; for the improvement and evaluation of school writing programs; for the design of school curricula; and for the inservice education for teachers of writing.