A Finite Model Property for Gödel Modal Logics

A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, and indeed co-NP-completeness for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic.

The Finite Embeddability Property for some noncommutative knotted varieties of RL and DRL.

Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory, were later shown to form algebraic models for substructural logics. The latter are non-classical logics that include intuitionistic, relevance, many-valued, and linear logic, among others. Most of the important examples of substructural logics are obtained by adding structural rules to the basic logical calculus

Exact static polarizabilities of correlated finite model systems

A finite-field method for calculating exact polarizabilities of correlated conjugated model systems within the valence bond (VB) framework is presented. The correlations reduce the polarizabilities from their noninteracting values and extend the range of linearity to higher external fields. The large nonlinear polarizabilities observed in strongly correlated conjugated organic molecules cannot be directly attributed to electron correlations. The method described can be employed to calculate static polarizabilities for any desired state of a correlated system.

Iterative strong coupling of dimensionally heterogeneous models

In this article we address decomposition strategies especially tailored to perform strong coupling of dimensionally heterogeneous models, under the hypothesis that one wants to solve each submodel separately and implement the interaction between subdomains by boundary conditions alone. The novel methodology takes full advantage of the small number of interface unknowns in this kind of problems. Existing algorithms can be viewed as variants of the `natural` staggered algorithm in which each domain transfers function values to the other, and receives fluxes (or forces), and vice versa. This natural algorithm is known as Dirichlet-to-Neumann in the Domain Decomposition literature. Essentially, we propose a framework in which this algorithm is equivalent to applying Gauss-Seidel iterations to a suitably defined (linear or nonlinear) system of equations. It is then immediate to switch to other iterative solvers such as GMRES or other Krylov-based method. which we assess through numerical experiments showing the significant gain that can be achieved. indeed. the benefit is that an extremely flexible, automatic coupling strategy can be developed, which in addition leads to iterative procedures that are parameter-free and rapidly converging. Further, in linear problems they have the finite termination property. Copyright (C) 2009 John Wiley & Sons, Ltd.

automatic construction of finite algebras

This paper deals withmodel generation for equational theories, i.e., automatically generating (finite) models of a given set of (logical) equations. Our method of finite model generation and a tool for automatic construction of finite algebras is described. Some examples are given to show the applications of our program. We argue that, the combination of model generators and theorem provers enables us to get a better understanding of logical theories. A brief comparison between our tool and other similar tools is also presented.

东营凹陷沙三中亚段湖相浊积岩储层特征及油气成藏规律研究

Turbidity sandstone reservoirs have been an important field of hydrocarbon exploration and development in the basins all over the world, as well as in China. Lithologic pools are composed of turbidity sandstones and other sandstones are frequently found in the Jiyang Depression that is a Mesozoic-Cenozoic non-marine oil-bearing basin. The Dongying Sag lies in the sedimentary center of the basin. The subtle traps with turbidity reservoirs are generally difficult to be predicted and described by using current techniques. The studies on turbidity reservoirs plays thus an important theoretical and theoretical practical role in exploration and development in the Jiyang Depression. The attention is, in this thesis, focused on the petrologic properties and oil accumulating behaviors in lake turbidity sedimentary systems in the middle part of the third section of Shahejie Formation in the Dongying Sag, especially in Dongxin area, which lies on the central uplift of the Sag. The paper has disclosed the origin types of turbidity sandstones, distribution pattern and controlling factors of turbidity sandstones, and set up hydrocarbon accumulation patterns of the middle part of the third section of Shahejie Formation in Dongxin, based on nonmarine high resolution sequence stratigraphy, event sedimentology and new theories of hydrocarbon forming. By studying prediction method and technology of turbidity sandstone reservoirs, using precise geological model developing, new techniques of high resolution seismic inversion constrained by logging, the paper has forecast low permeability turbidity sandstone reservoirs and pointed out advantage exploration aims to progressive exploration and development. The paper has obtained mainly many productions and acknowledges as follows: 1.Turbidity sandstone reservoirs of the third section of Shahejie Formationin Dongying Sag are formed in such specifical geological background as rift and extension of basin. The inherited Dongying delta and transgression make up many turbidity distribution areas by overlaying and joining together. The hydrocarbon migrates from depression area to adjacent turbidity sandstone continuously. Accumulation area which is sufficient in oil is formed. 2.The paper has confirmed distinguishable sign of sequence boundary , established stratigraphic framework of Dongying Sag and realized isotime stratigraphic correlation. Es3 of Dongying delta is divided into eleven stages. Among them, the second period of the lower section in Es3, the sixth period of the middle section in Es3, the third period of the upper section in Es3 correspond to eleven sedimentary isotime surface in seismic profile, namely Es3 is classified into eleven Formations. 3.According to such the features of turbidity sandstone as deep in burial, small in area, strong in subtle property, overlaying and joining together and occurring in groups, management through fault and space variations of restriction quantum are realized and the forecast precision of turbidity sandstone by using precise geological model developing, new techniques of high resolution seismic inversion constrained by logging, based on the analysis of all kinds of interwell seismic inversion techniques. 4.According to the features of low permeable turbidity sandstone reservoirs, new method of log interpretation model is put forward. At the same time, distinguish technology of familiar low resistivity oil layer in the turbidity sandstone reservoirs is studied based on petrophysical laboratory work and "four properties" interrelationship between lithological physical Jogging and bearing hydrocarbon properties. Log interpretation model and reservoir index interpretation model of low resistivity oil layer are set up. So the log interpretation precision is improved. 5.The evolution law and its difference of the turbidity sandstone are embodies as follows: the source of sediments come from the south and east of the study area in the middle period of Es3. East source of sediments is pushed from west to east. However, the south source supply of sediments in the early and middle period of Es3 is in full, especially in Es3. subsequently, the supply is decreased gradually. Turbidity fan moves back toward the south and the size of fan is minished accordingly. The characteristic of turbidity sandstone in Dongying Sag is different in different structural positions. Dongxin in the middle-east of the central lift and Niuzhuang Sag He in Dongying delta front and prodelta deep lake subfacies. Although the turbidity sandstone of the two areas root in the Dongying delta sedimentary system, the sand body has different remarkably characteristic. 6.The sedimentary model of the turbiditys in study area have three types as follows: (1) collapse turbidity fan in respect of delta; (2) fault trench turbidity fan; (3) other types of microturbidity sandstone. Middle fan and outer fan, can be found mainly in sublacustrine fan. Middle fan includes braided channel microfacies, central microfacies and braided interchannel microfacies, which is main prospecting oil-bearing subfacies. The middle section of the third section of Shahejie Formation in study area (for example the central lift) can be divided into middle-lower and upper part. The middle-lower part is characteristic of turbidity fan. The upper part is sedimented mainly by delta-collapse fan. 7.The turbidity reservoirs of the middle part of the third section of Shahejie Formation in study area characterize by low maturity both in component and texture, strong in diagenesis and low in permeability. The reservoir can be classified into four types. Type III is the body of reservoir and comprises two types of H a and HI b. M a belongs to middle porosity - low permeability reservoir and distributes in the central lift. Hlb belongs to low porosity - low permeability and distributes in Haojia region. 8.A11 single sand body of lens turbidity reservoir of the middle part of the third section of Shahejie Formation in study area are surrounded by thick dark source rocks. The oil-water system is complex and behaves that every sandstone is single seal unit. The water body is 1/3-1-5 of the sand body. The edge water is not active. The gas exists in the top of reservoir in the form of mixed gas. For far-range turbidity fan with big scale channel, the area and volume of sand body is large and the gap is big in oil packing degree. There are lots of edge water and bottom water, and the latter increases rapidly during the course of development. 9.By exerting the modern hydrocarbon forming theories, the third section of Shahejie Formation in study area belongs to abnormally pressured fluid compartment. The lithological reservoir of the third section of Shahejie Formation is formed in the compartment. The reservoir-formed dynamic system belongs to lower self-source enclosed type. The result and the practice indicate that the form and accumulation of lithological oil reservoirs are controlled by the temperature and pressure of stratum, microfacies, thickness of sand body, fault and reservoir heterogeneity. 10. Based on studies above, the emphases focus on in south and north part of Dongying structure, west Dongxin region and south part Xinzhen structure in the application of production. The practice proves that the turbidity sandstone reservoirs in Ying 11 block and the fault-lithological reservoirs in Xin 133 block have been obtained significant breakthrough. The next target is still sandstone groups of the third section of Shahejie Formation in the bordering areas of Dongxin region for instance Xin 149 area, He 89 area, Ying 8 area etc.

Monte Carlo simulations of Potts glasses

A complete understanding of the glass transition isstill a challenging problem. Some researchers attributeit to the (hypothetical) occurrence of a static phasetransition, others emphasize the dynamical transitionof mode coupling-theory from an ergodic to a non ergodicstate. A class of disordered spin models has been foundwhich unifies both scenarios. One of these models isthe p-state infinite range Potts glass with p>4, whichexhibits in the thermodynamic limit both a dynamicalphase transition at a temperature T_D, and a static oneat T_0 < T_D. In this model every spins interacts withall the others, irrespective of distance. Interactionsare taken from a Gaussian distribution.In order to understand better its behavior forfinite number N of spins and the approach to thethermodynamic limit, we have performed extensive MonteCarlo simulations of the p=10 Potts glass up to N=2560.The time-dependent spin-autocorrelation function C(t)shows strong finite size effects and it does not showa plateau even for temperatures around the dynamicalcritical temperature T_D. We show that the N-andT-dependence of the relaxation time for T > T_D can beunderstood by means of a dynamical finite size scalingAnsatz.The behavior in the spin glass phase down to atemperature T=0.7 (about 60% of the transitiontemperature) is studied. Well equilibratedconfigurations are obtained with the paralleltempering method, which is also useful for properlyestablishing static properties, such as the orderparameter distribution function P(q). Evidence is givenfor the compatibility with a one step replica symmetrybreaking scenario. The study of the cumulants of theorder parameter does not permit a reliable estimation ofthe static transition temperature. The autocorrelationfunction at low T exhibits a two-step decay, and ascaling behavior typical of supercooled liquids, thetime-temperature superposition principle, is observed. Inthis region the dynamics is governed by Arrheniusrelaxations, with barriers growing like N^{1/2}.We analyzed the single spin dynamics down to temperaturesmuch lower than the dynamical transition temperature. We found strong dynamical heterogeneities, which explainthe non-exponential character of the spin autocorrelationfunction. The spins seem to relax according to dynamicalclusters. The model in three dimensions tends to acquireferromagnetic order for equal concentration of ferro-and antiferromagnetic bonds. The ordering has differentcharacteristics from the pure ferromagnet. The spinglass susceptibility behaves like chi_{SG} proportionalto 1/T in the region where a spin glass is predicted toexist in mean-field. Also the analysis of the cumulantsis consistent with the absence of spin glass orderingat finite temperature. The dynamics shows multi-scalerelaxations if a bimodal distribution of bonds isused. We propose to understand it with a model based onthe local spin configuration. This is consistent with theabsence of plateaus if Gaussian interactions are used.

Não-extensividade no contexto da atividade magnética solar: o problema da assimetria hemisférica

Solar activity indicators, each as sunspot numbers, sunspot area and flares, over the Sun’s photosphere are not considered to be symmetric between the northern and southern hemispheres of the Sun. This behavior is also known as the North-South Asymmetry of the different solar indices. Among the different conclusions obtained by several authors, we can point that the N-S asymmetry is a real and systematic phenomenon and is not due to random variability. In the present work, the probability distributions from the Marshall Space Flight Centre (MSFC) database are investigated using a statistical tool arises from well-known Non-Extensive Statistical Mechanics proposed by C. Tsallis in 1988. We present our results and discuss their physical implications with the help of theoretical model and observations. We obtained that there is a strong dependence between the nonextensive entropic parameter q and long-term solar variability presents in the sunspot area data. Among the most important results, we highlight that the asymmetry index q reveals the dominance of the North against the South. This behavior has been discussed and confirmed by several authors, but in no time they have given such behavior to a statistical model property. Thus, we conclude that this parameter can be considered as an effective measure for diagnosing long-term variations of solar dynamo. Finally, our dissertation opens a new approach for investigating time series in astrophysics from the perspective of non-extensivity.

Models of collective cell behaviour with crowding effects : comparing lattice-based and lattice-free approaches

Individual-based models describing the migration and proliferation of a population of cells frequently restrict the cells to a predefined lattice. An implicit assumption of this type of lattice based model is that a proliferative population will always eventually fill the lattice. Here we develop a new lattice-free individual-based model that incorporates cell-to-cell crowding effects. We also derive approximate mean-field descriptions for the lattice-free model in two special cases motivated by commonly used experimental setups. Lattice-free simulation results are compared to these mean-field descriptions and to a corresponding lattice-based model. Data from a proliferation experiment is used to estimate the parameters for the new model, including the cell proliferation rate, showing that the model fits the data well. An important aspect of the lattice-free model is that the confluent cell density is not predefined, as with lattice-based models, but an emergent model property. As a consequence of the more realistic, irregular configuration of cells in the lattice-free model, the population growth rate is much slower at high cell densities and the population cannot reach the same confluent density as an equivalent lattice-based model.

Who really pays for urban infrastructure? : the impact of developer infrastructure charges on housing affordability in Brisbane, Australia

This thesis advances the understanding of the impact of developer infrastructure charges on housing affordability in Brisbane, Australia through the development of an econometric model and empirical analysis. The results indicate substantial on-passing of these government charges to purchasers of both new and existing homes, thus negatively impacting housing affordability across the whole community. The results of this thesis will inform policy makers and assist in the development of evidence based policy related to housing affordability and funding of urban infrastructure. Being generic, the econometric model is expected to be a tool that is suitable for estimating similar house price effects in other housing markets.

On linear order and computation : The expressiveness of interactive computations on linear orders and computations indexed by ordinals

We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.

Locality and order-invariant logics

Malli on logiikassa käytetty abstraktio monille matemaattisille objekteille. Esimerkiksi verkot, ryhmät ja metriset avaruudet ovat malleja. Äärellisten mallien teoria on logiikan osa-alue, jossa tarkastellaan logiikkojen, formaalien kielten, ilmaisuvoimaa malleissa, joiden alkioiden lukumäärä on äärellinen. Rajoittuminen äärellisiin malleihin mahdollistaa tulosten soveltamisen teoreettisessa tietojenkäsittelytieteessä, jonka näkökulmasta logiikan kaavoja voidaan ajatella ohjelmina ja äärellisiä malleja niiden syötteinä. Lokaalisuus tarkoittaa logiikan kyvyttömyyttä erottaa toisistaan malleja, joiden paikalliset piirteet vastaavat toisiaan. Väitöskirjassa tarkastellaan useita lokaalisuuden muotoja ja niiden säilymistä logiikkoja yhdistellessä. Kehitettyjä työkaluja apuna käyttäen osoitetaan, että Gaifman- ja Hanf-lokaalisuudeksi kutsuttujen varianttien välissä on lokaalisuuskäsitteiden hierarkia, jonka eri tasot voidaan erottaa toisistaan kasvavaa dimensiota olevissa hiloissa. Toisaalta osoitetaan, että lokaalisuuskäsitteet eivät eroa toisistaan, kun rajoitutaan tarkastelemaan äärellisiä puita. Järjestysinvariantit logiikat ovat kieliä, joissa on käytössä sisäänrakennettu järjestysrelaatio, mutta sitä on käytettävä siten, etteivät kaavojen ilmaisemat asiat riipu valitusta järjestyksestä. Määritelmää voi motivoida tietojenkäsittelyn näkökulmasta: vaikka ohjelman syötteen tietojen järjestyksellä ei olisi odotetun tuloksen kannalta merkitystä, on syöte tietokoneen muistissa aina jossakin järjestyksessä, jota ohjelma voi laskennassaan hyödyntää. Väitöskirjassa tutkitaan minkälaisia lokaalisuuden muotoja järjestysinvariantit ensimmäisen kertaluvun predikaattilogiikan laajennukset yksipaikkaisilla kvanttoreilla voivat toteuttaa. Tuloksia sovelletaan tarkastelemalla, milloin sisäänrakennettu järjestys lisää logiikan ilmaisuvoimaa äärellisissä puissa.

Generalised regression estimation for domain class frequencies

This study examines the properties of Generalised Regression (GREG) estimators for domain class frequencies and proportions. The family of GREG estimators forms the class of design-based model-assisted estimators. All GREG estimators utilise auxiliary information via modelling. The classic GREG estimator with a linear fixed effects assisting model (GREG-lin) is one example. But when estimating class frequencies, the study variable is binary or polytomous. Therefore logistic-type assisting models (e.g. logistic or probit model) should be preferred over the linear one. However, other GREG estimators than GREG-lin are rarely used, and knowledge about their properties is limited. This study examines the properties of L-GREG estimators, which are GREG estimators with fixed-effects logistic-type models. Three research questions are addressed. First, I study whether and when L-GREG estimators are more accurate than GREG-lin. Theoretical results and Monte Carlo experiments which cover both equal and unequal probability sampling designs and a wide variety of model formulations show that in standard situations, the difference between L-GREG and GREG-lin is small. But in the case of a strong assisting model, two interesting situations arise: if the domain sample size is reasonably large, L-GREG is more accurate than GREG-lin, and if the domain sample size is very small, estimation of assisting model parameters may be inaccurate, resulting in bias for L-GREG. Second, I study variance estimation for the L-GREG estimators. The standard variance estimator (S) for all GREG estimators resembles the Sen-Yates-Grundy variance estimator, but it is a double sum of prediction errors, not of the observed values of the study variable. Monte Carlo experiments show that S underestimates the variance of L-GREG especially if the domain sample size is minor, or if the assisting model is strong. Third, since the standard variance estimator S often fails for the L-GREG estimators, I propose a new augmented variance estimator (A). The difference between S and the new estimator A is that the latter takes into account the difference between the sample fit model and the census fit model. In Monte Carlo experiments, the new estimator A outperformed the standard estimator S in terms of bias, root mean square error and coverage rate. Thus the new estimator provides a good alternative to the standard estimator.