f Gravity and gravitational singularities

TRAUTMAN has postulated1 that the usual space−time singularity occurring in classical cosmological models and in the gravitational collapse of massive objects could be averted if intrinsic spin effects are incorporated into general relativity by adding torsion terms to the usual Einstein field equations, that is through the Einstein−Cartan theory. Invoking a primordial magnetic field for aligning all the individual nuclear spins he shows that his universe consisting of 1080 aligned neutrons collapses to a minimum radius of the order of 1 cm with a corresponding matter density of 1055 g cm-3.

f-Gravity and the masses of elementary particles

Abstract is not available.

Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

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.

Understandings of higher education curriculum in Vietnam

The Vietnamese higher education context is characterised by state control including the state’s development of curriculum frameworks and materials. Institutional autonomy has been ratified by the government, however, in practice universities seem to have little control over curriculum. In order for universities to develop more ownership of curriculum, it is necessary to explore the foundational understandings of curriculum held by stakeholders. Thus, this paper explores the understandings of curriculum expressed by a group of senior staff, academics and students at a Vietnamese university. We found a diversity of understandings that tended to be product-focused, teacher-focused and textbook-driven. We propose that our findings can be used as a starting point for developing more innovative and student-focused understandings of curriculum.

Structural adaptability in the system Bi2O3 --- WO3 : Higher members of the homologous series Bi2WnO3n+3

The ultramicrostructure of phases with n = 1, 2 and 3 in the hypothetical series Bi2WnO3n+3 has been investigated by high resolution electron microscopy and energy dispersive X-ray emission spectroscopy. For n = 1 and 2, well ordered phases with the predicted compositions have been obtained, but for n = 3, a severely disordered assemblage containing intergrowths of the two known structures and strips of the n = 3 member is produced. No evidence for ordered structures with n > 2 has yet been obtained.

Strong gravity and the Yukawa field

A study of strong gravity field coupled to the Yukawa field is carried out for a conformally flat space-time. A quantitative relation between the strong interaction coupling constantg 2/hstrokc and the strong gravity constants (Lambda f~1028 cm–2,G f ~6.6×1030 C.G.S. units) is obtained givingg 2/hstroksim17, which is of the right order of magnitude. This justifies the contention that strong gravity is relevant for elementary particles (e.g., hadrons).

Fracture Behavior of Multidirectional DCB Specimen: Higher-Order Beam Theories

Mathematical models, for the stress analysis of symmetric multidirectional double cantilever beam (DCB) specimen using classical beam theory, first and higher-order shear deformation beam theories, have been developed to determine the Mode I strain energy release rate (SERR) for symmetric multidirectional composites. The SERR has been calculated using the compliance approach. In the present study, both variationally and nonvariationally derived matching conditions have been applied at the crack tip of DCB specimen. For the unidirectional and cross-ply composite DCB specimens, beam models under both plane stress and plane strain conditions in the width direction are applicable with good performance where as for the multidirectional composite DCB specimen, only the beam model under plane strain condition in the width direction appears to be applicable with moderate performance. Among the shear deformation beam theories considered, the performance of higher-order shear deformation beam theory, having quadratic variation for transverse displacement over the thickness, is superior in determining the SERR for multidirectional DCB specimen.

Estimation of higher natural frequencies of polar orthotropic annular plates

A method based on an assumption that the radial bending moment is zero at a nodal circle is shown to yield accurate estimates of natural frequencies corresponding to higher modes of transversely vibrating polar orthotropic annular plates for various combinations of clamped, simply supported and free edge conditions. This method is found to be convenient for the determination of locations of nodal circles as well. Numerical investigations revealed that for small holes, nodal circles tend to move towards the outer edge with increasing number of nodal diameters. For large holes, it has been shown that the plate behaves like a long rectangular strip.

f Gravity and gravitational singularities

TRAUTMAN has postulated1 that the usual space−time singularity occurring in classical cosmological models and in the gravitational collapse of massive objects could be averted if intrinsic spin effects are incorporated into general relativity by adding torsion terms to the usual Einstein field equations, that is through the Einstein−Cartan theory. Invoking a primordial magnetic field for aligning all the individual nuclear spins he shows that his universe consisting of 1080 aligned neutrons collapses to a minimum radius of the order of 1 cm with a corresponding matter density of 1055 g cm-3.

Tutoring with higher mathematics and the use of technology

We discuss three approaches to the use of technology as a teaching and learning tool that we are currently implementing for a target group of about one hundred second level engineering mathematics students. Central to these approaches is the underlying theme of motivating relatively poorly motivated students to learn, with the aim of improving learning outcomes. The approaches to be discussed have been used to replace, in part, more traditional mathematics tutorial sessions and lecture presentations. In brief, the first approach involves the application of constructivist thinking in the tertiary education arena, using technology as a computational and visual tool to create motivational knowledge conflicts or crises. The central idea is to model a realistic process of how scientific theory is actually developed, as proposed by Kuhn (1962), in contrast to more standard lecture and tutorial presentations. The second approach involves replacing procedural or algorithmic pencil-and-paper skills-consolidation exercises by software based tasks. Finally, the third approach aims at creating opportunities for higher order thinking via "on-line" exploratory or discovery mode tasks. The latter incorporates the incubation period method, as originally discussed by Rubinstein (1975) and others.

Strong gravity, black holes, and hadrons

Analogies between the properties of black holes (in the framework of strong gravity) and those of elementary particles are discussed especially in connection with recent works on black holes with gauge charges and blackhole thermodynamics.