Describing syntax with star-free regular expressions

Koskenniemen Äärellistilaisen leikkauskieliopin (FSIG) lauseopilliset rajoitteet ovat loogisesti vähemmän kompleksisia kuin mihin niissä käytetty formalismi vittaisi. Osoittautuukin että vaikka Voutilaisen (1994) englannin kielelle laatima FSIG-kuvaus käyttää useita säännöllisten lausekkeiden laajennuksia, kieliopin kuvaus kokonaisuutenaan palautuu äärelliseen yhdistelmään unionia, komplementtia ja peräkkäinasettelua. Tämä on oleellinen parannus ENGFSIG:n descriptiiviseen kompleksisuuteen. Tulos avaa ovia FSIG-kuvauksen loogisten ominaisuuksien syvemmälle analyysille ja FSIG kuvausten mahdolliselle optimoinnillle. Todistus sisältää uuden kaavan, joka kääntää Koskenniemien rajoiteoperaation ilman markkerimerkkejä.

A semi-classical model of the electron containing tachyonic matter

It is shown that the mass of the electron could be conceived as the energy associated with its spinning motion and the angular velocity is such that the linear velocities at the surface exceed the velocity of light; this in fact accounts for its stability against the centrifugal forces in the core region.

Semi-similar solutions of the unsteady compressible second-order boundary layer flow at the stagnation point

Semi-similar solutions of the unsteady compressible laminar boundary layer flow over two-dimensional and axisymmetric bodies at the stagnation point with mass transfer are studied for all the second-order boundary layer effects when the free stream velocity varies arbitrarily with time. The set of partial differential equations governing the unsteady compressible second-order boundary layers representing all the effects are derived for the first time. These partial differential equations are solved numerically using an implicit finite-difference scheme. The results are obtained for two particular unsteady free stream velocity distributions: (a) an accelerating stream and (b) a fluctuating stream. It is observed that the total skin friction and heat transfer are strongly affected by the surface mass transfer and wall temperature. However, their variation with time is significant only for large times. The second-order boundary layer effects are found to be more pronounced in the case of no mass transfer or injection as compared to that for suction. Résumé Des solutions semi-similaires d'écoulement variable compressible de couche limite sur des corps bi-dimensionnels thermique, sont étudiées pour tous les effets de couche limite du second ordre, lorsque la vitesse de l'écoulement libre varie arbitrairement avec le temps. Le systéme d'équations aux dérivées partielles représentant tous les effets est écrit pour la premiére fois. On le résout numériquement á l'aide d'un schéma implicite aux différences finies. Les résultats sont obtenus pour deux cas de vitesse variable d'écoulement libre: (a) un écoulement accéléré et (b) un écoulement fluctuant. On observe que le frottement pariétal total et le transfert de chaleur sont fortement affectés par le transfert de masse et la température pariétaux. Néanmoins, leur variation avec le temps est sensible seulement pour des grandes durées. Les effets sont trouvés plus prononcés dans le cas de l'absence du transfert de masse ou de l'injection par rapport au cas de l'aspiration.

Helsingin metropolialueen maisemaekologiset muutokset vuosina 1955-2009

Landscape is shaped by natural environment and increasingly by human activity. In landscape ecology, the concept of landscape can be defined as a kilometre-scale mosaic formed by different land-use types. In Helsinki Metropolitan Region, the landscape change caused by urbanization has accelerated after the 1950s. Prior to that, the landscape of the region was mainly only shaped by agriculture. The goal of this study was in addition to describing the landscape change to discuss the factors impacting the landscape change and evaluate thelandscape ecological impacts of the change. Three study areas at different distances from Helsinki city centre were chosen in order to look at the landscape change. Study areas were Malmi, Espoo and Mäntsälä regions representing different parts of the urban-to-rural gradient in 1955, 1975, 1990 and 2009. Land-use of the maps was then digitized into five classes: agricultural lands, semi-natural grasslands, built areas, waters and others using GIS methods. First, landscape change was studied using landscape ecological indices. Indices used were PLAND i.e. the proportions of the different land-use types in the landscape; MPS, SHEI and SHDI which describe fragmentation and heterogeneity of the landscape; and MSI and ED which are measures of patch shape. Second, landscape change was studied statistically in relation to topography, soil and urban structure of the study areas. Indicators used concerning urban structure were number of residents, car ownership and travel-related zones of urban form which indicate the degree of urban sprawl within the study areas. For the statistical analyses, each of the 9.25 x 9.25 km sized study areas was further divided into grids with resolution of 0.25 x 0.25 kilometres. Third, the changes in the green structure of the study areas were evaluated. The landscape change reflected by the proportions of the land-use types was the most notable in Malmi area where a large amount of agricultural land was developed from 1955 to 2009. The proportion of semi-natural grasslands also showed an interesting pattern in relation to urbanization. When urbanization started, a great number of agricultural lands were abandoned and turned into semi-natural grasslands but as the urbanization accelerated, the number of semi-natural grasslands started to decline because of urban densification. Landscape fragmentation and heterogeneity were the most widespread in Espoo study area which is not only because of the great differences in relative heights within the region but also its location in the rural-urban fringe. According to the results, urbanization induced agricultural lands to be more regular in shape both spatially and temporally whereas for built areas and semi-natural grasslands the impact of urbanization was reverse. Changes in landscape were the most insignificant in the most rural study area Mäntsälä. In Mäntsälä, built area per resident showed the greatest values indicating a widespread urban sprawl. The values were the smallest in highly urbanized Malmi study area. Unlike other study areas, in Mäntsälä the proportion of developing land in the ecologically disadvantageous cardependent zone was on the increase. On the other hand, the green structure of the Mäntsälä study area was the most advantageous whereas Malmi study area showed the most ecologically disadvantageous structure. Considering all the landscape ecological criteria used, the landscape structure of Espoo study area proved to be the best not least because of the great heterogeneity of its landscape. Thus the study confirmed the previous results according to which landscape heterogeneity is the most significant in areas exposed to a moderate human impact.

Two-stage photoquenching in semi-insulating GaAs:EL2

The photoquenching of EL2 in semi‐insulating gallium arsenide is seen to be a complex process, where at low temperatures the initial slow quenching is followed by a switch to fast quenching. A possible explanation involving lattice strain mediated cooperative structural relaxation arising out of transition to the metastable state is proposed.

Semi-Supervised Classification Using Sparse Gaussian Process Regression

Gaussian Processes (GPs) are promising Bayesian methods for classification and regression problems. They have also been used for semi-supervised learning tasks. In this paper, we propose a new algorithm for solving semi-supervised binary classification problem using sparse GP regression (GPR) models. It is closely related to semi-supervised learning based on support vector regression (SVR) and maximum margin clustering. The proposed algorithm is simple and easy to implement. It gives a sparse solution directly unlike the SVR based algorithm. Also, the hyperparameters are estimated easily without resorting to expensive cross-validation technique. Use of sparse GPR model helps in making the proposed algorithm scalable. Preliminary results on synthetic and real-world data sets demonstrate the efficacy of the new algorithm.

Steady incompressible flow of cohesionless granular materials through a wedge-shaped hopper: Frictional 14kinetic solution to the smooth wall, radial gravity problem

Hybrid frictional-kinetic equations are used to predict the velocity, grain temperature, and stress fields in hoppers. A suitable choice of dimensionless variables permits the pseudo-thermal energy balance to be decoupled from the momentum balance. These balances contain a small parameter, which is analogous to a reciprocal Reynolds number. Hence an approximate semi-analytical solution is constructed using perturbation methods. The energy balance is solved using the method of matched asymptotic expansions. The effect of heat conduction is confined to a very thin boundary layer near the exit, where it causes a marginal change in the temperature. Outside this layer, the temperature T increases rapidly as the radial coordinate r decreases. In particular, the conduction-free energy balance yields an asymptotic solution, valid for small values of r, of the form T proportional r-4. There is a corresponding increase in the kinetic stresses, which attain their maximum values at the hopper exit. The momentum balance is solved by a regular perturbation method. The contribution of the kinetic stresses is important only in a small region near the exit, where the frictional stresses tend to zero. Therefore, the discharge rate is only about 2.3% lower than the frictional value, for typical parameter values. As in the frictional case, the discharge rate for deep hoppers is found to be independent of the head of material.

The status and use of tree biomass in a semi-arid village ecosystem

The status of the tree biomass resource was investigated in Ungra, a semi-arid village ecosystem in South India. There were 57 tree species with 12 trees capita−1 and 35 trees ha−1. Multiple benefit yielding local tree species dominated the village ecosystem, while fuel only or single end use trees accounted for a small proportion of trees. The standing tree biomass is adequate to meet the requirement of biomass fuels for cooking only for about two years. Village tree biomass is presently being depleted largely for export to urban areas. Tree regeneration is now characterized by transformation from multiple-use local tree species to a few single-use species. A large potential exists for tree biomass production along field boundaries (bunds), stream banks and roadsides. Biomass estimation equations were developed for 10 species.