The stable forking conjecture and generic structures

 We prove that for any simple theory which is constructed via Fr?issé-Hrushovski method, if the forking independence is the same as the d-independence then the stable forking property holds. Received: 22 January 2001 / Published online: 19 December 2002 This article is part of the author's D-Phil thesis, written at the University of Oxford and supported by the Ministry of Higher Education of Iran. The author would like to thank the Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran, Iran, for its financial support whilst working on this article. Mathematics Subject Classification (2000): 03C45 Key words or phrases: Generic structures – Fr?issé-Hrushovski method – Predimension – Simple theories – Stable theories – Stable forking conjecture     

Relaxor properties of Fe-doped TlInS<Subscript>2</Subscript>

The relaxor properties of Fe-doped TlInS₂ crystals are investigated. It is shown that Fe-doped TlInS₂ compounds exhibit all features inherent in relaxor ferroelectric materials. The temperature range of existence of the microdomain (relaxor) state and the temperature of the transition from this state to a macro-domain state are determined.     

An EOQ model with process reliability considerations

The classical economic order quantity (EOQ) model assumes that items produced are of perfect quality and that the unit cost of production is independent of demand. However, in realistic situations, product quality is never perfect, but is directly affected by the reliability of the production process. In this paper, we consider an EOQ model with imperfect production process and the unit production cost is directly related to process reliability and inversely related to the demand rate. In addition, a numerical example is given to illustrate the developed model. Sensitivity analysis is also performed and discussed.     

Scaling laws for the spatial distributions of the plasma parameters in the positive column of a dc oxygen discharge

Comprehensive self-consistent simulations of the positive column plasma of a dc oxygen discharge are performed with the help of commercial CFDRC software (), which enables one to carry out computations in an arbitrary 3D geometry using fluid equations for heavy components and a kinetic equation for electrons. The main scaling laws for the spatial distributions of charged particles are determined. These scaling laws are found to be quite different in the parameter ranges that are dominated by different physical processes. At low pressures, both the electrons and negative ions in the inner discharge region obey a Boltzmann distribution; as a result, a flat profile of the electron density and a parabolic profile of the ion density are established there. In the ion balance, transport processes prevail, so that ion heating in an electric field dramatically affects the spatial distribution of the charged particles. At elevated pressures, the volume processes prevail in the balance of negative ions and the profiles of the charged particle densities in the inner region turn out to be similar to each other.     

On Necessary and Sufficient Conditions for the Asymptotic Stability of Impulsive Systems

We prove that the sufficient conditions for the asymptotic stability of impulsive systems obtained by Gurgula and Perestyuk are also necessary conditions.     

Approaches to sharing knowledge in group problem structuring

Problem-structuring techniques are an integral aspect of ‘Soft-OR’. SSM, SAST, Strategic Choice, and JOURNEY Making, all depend for their success on a group developing a shared view of a problem through some form of explicit modelling. The negotiated problem structure becomes the basis for problem resolution. Implicit to this process is an assumption that members of the group share and build their knowledge about the problem domain. This paper explores the extent to which this assumption is reasonable. The research is based on detailed records from the use of JOURNEY Making, where it has used special purpose Group Support software to aid the group problem structuring. This software continuously tracks the contributions of each member of the group and thus the extent to which they appear to be ‘connecting’ and augmenting their own knowledge with that of other members of the group. Software records of problem resolution in real organisational settings are used to explore the sharing of knowledge among senior managers. These explorations suggest a typology of knowledge sharing. The implications of this typology for problem structuring and an agenda for future research are considered.     

一个耦合系统自由边界问题的整体古典解

§ 1　ＩｎｔｒｏｄｕｃｔｉｏｎＩｎｔｈｉｓｐａｐｅｒｗｅｄｉｓｃｕｓｓｔｈｅｇｌｏｂａｌｃｌａｓｓｉｃａｌｓｏｌｕｔｉｏｎｏｆａｍｕｌｔｉｄｉｍｅｎｓｉｏｎａｌｑｕａｓｉｓｔａｔｉｏｎａｒｙｐｒｏｂｌｅｍ .Ｔｈｅｐｒｏｂｌｅｍｃｏｍｅｓｆｒｏｍｔｈｅｄｉｓｃｕｓｓｉｏｎｏｆａｇｒｏｗｔｈｍｏｄｅｌｏｆｓｅｌｆｍａｉｎｔａｉｎｉｎｇｐｒｏｔｏｃｅｌｌ(ｓｅｅ [1— 3])ｉｎｍｕｌｔｉｄｉｍｅｎｓｉｏｎａｌｃａｓｅ .Ｔｈｅｐｒｏｔｏｃｅｌｌｃａｎｂｅｖｉｓｕａｌｉｚｅｄａｓｈａｖｉｎｇａｐｏｒｏｕｓｓｔ…