Specification-driven approach for protocol design of distributed computing systems

An important issue in the design of a distributed computing system (DCS) is the development of a suitable protocol. This paper presents an effort to systematize the protocol design procedure for a DCS. Protocol design and development can be divided into six phases: specification of the DCS, specification of protocol requirements, protocol design, specification and validation of the designed protocol, performance evaluation, and hardware/software implementation. This paper describes techniques for the second and third phases, while the first phase has been considered by the authors in their earlier work. Matrix and set theoretic based approaches are used for specification of a DCS and for specification of the protocol requirements. These two formal specification techniques form the basis of the development of a simple and straightforward procedure for the design of the protocol. The applicability of the above design procedure has been illustrated by considering an example of a computing system encountered on board a spacecraft. A Petri-net based approach has been adopted to model the protocol. The methodology developed in this paper can be used in other DCS applications.

Neural network based approach to standard cell placement

We propose a novel algorithm for placement of standard cells in VLSI circuits based on an analogy of this problem with neural networks. By employing some of the organising principles of these nets, we have attempted to improve the behaviour of the bipartitioning method as proposed by Kernighan and Lin. Our algorithm yields better quality placements compared with the above method, and also makes the final placement independent of the initial partition.

Non-industrial private forest landowners’ choices of timber management strategies.

The factors affecting the non-industrial, private forest landowners' (hereafter referred to using the acronym NIPF) strategic decisions in management planning are studied. A genetic algorithm is used to induce a set of rules predicting potential cut of the landowners' choices of preferred timber management strategies. The rules are based on variables describing the characteristics of the landowners and their forest holdings. The predictive ability of a genetic algorithm is compared to linear regression analysis using identical data sets. The data are cross-validated seven times applying both genetic algorithm and regression analyses in order to examine the data-sensitivity and robustness of the generated models. The optimal rule set derived from genetic algorithm analyses included the following variables: mean initial volume, landowner's positive price expectations for the next eight years, landowner being classified as farmer, and preference for the recreational use of forest property. When tested with previously unseen test data, the optimal rule set resulted in a relative root mean square error of 0.40. In the regression analyses, the optimal regression equation consisted of the following variables: mean initial volume, proportion of forestry income, intention to cut extensively in future, and positive price expectations for the next two years. The R2 of the optimal regression equation was 0.34 and the relative root mean square error obtained from the test data was 0.38. In both models, mean initial volume and positive stumpage price expectations were entered as significant predictors of potential cut of preferred timber management strategy. When tested with the complete data set of 201 observations, both the optimal rule set and the optimal regression model achieved the same level of accuracy.

Berry phenolics: isolation, analysis, identification, and antioxidant properties

The main objectives in this thesis were to isolate and identify the phenolic compounds in wild (Sorbus aucuparia) and cultivated rowanberries, European cranberries (Vaccinium microcarpon), lingonberries (Vaccinium vitis-idaea), and cloudberries (Rubus chamaemorus), as well as to investigate the antioxidant activity of phenolics occurring in berries in food oxidation models. In addition, the storage stability of cloudberry ellagitannin isolate was studied. In wild and cultivated rowanberries, the main phenolic compounds were chlorogenic acids and neochlorogenic acids with increasing anthocyanin content depending on the crossing partners. The proanthocyanidin contents of cranberries and lingonberries were investigated, revealing that the lingonberry contained more rare A-type dimers than the European cranberry. The liquid chromatography mass spectrometry (LC-MS) analysis of cloudberry ellagitannins showed that trimeric lambertianin C and sanguiin H-10 were the main ellagitannins. The berries, rich in different types of phenolic compounds including hydroxycinnamic acids, proanthocyanidins, and ellagitannins, showed antioxidant activity toward lipid oxidation in liposome and emulsion oxidation models. All the different rowanberry cultivars prevented lipid oxidation in the same way, in spite of the differences in their phenolic composition. In terms of liposomes, rowanberries were slightly more effective antioxidants than cranberry and lingonberry phenolics. Greater differences were found when comparing proanthocyanidin fractions. Proanthocyanidin dimers and trimers of both cranberries and lingonberries were most potent in inhibiting lipid oxidation. Antioxidant activities and antiradical capacities were also studied with hydroxycinnamic acid glycosides. The sinapic acid derivatives of the hydroxycinnamic acid glycosides were the most effective at preventing lipid oxidation in emulsions and liposomes and scavenging radicals in DPPH assay. In liposomes and emulsions, the formation of the secondary oxidation product, hexanal, was inhibited more than that of the primary oxidation product, conjugated diene hydroperoxides, by hydroxycinnamic acid derivatives. This indicates that they are principally chain-breaking antioxidants rather than metal chelators, although they possess chelating activity as well. The storage stability test of cloudberry ellagitannins was performed by storing ellagitannin isolate and ellagitannins encapsulated with maltodextrin at different relative vapor pressures. The storage stability was enhanced by the encapsulation when higher molecular weight maltodextrin was used. The best preservation was achieved when the capsules were stored at 0 or 33% relative vapor pressures. In addition, the antioxidant activities of encapsulated cloudberry extracts were followed during the storage period. Different storage conditions did not alter the antioxidant activity, even though changes in the ellagitannin contents were seen. The current results may be of use in improving the oxidative stability of food products by using berries as natural antioxidants.

Discriminative learning of Bayesian networks via factorized conditional log-likelihood

We propose an efficient and parameter-free scoring criterion, the factorized conditional log-likelihood (ˆfCLL), for learning Bayesian network classifiers. The proposed score is an approximation of the conditional log-likelihood criterion. The approximation is devised in order to guarantee decomposability over the network structure, as well as efficient estimation of the optimal parameters, achieving the same time and space complexity as the traditional log-likelihood scoring criterion. The resulting criterion has an information-theoretic interpretation based on interaction information, which exhibits its discriminative nature. To evaluate the performance of the proposed criterion, we present an empirical comparison with state-of-the-art classifiers. Results on a large suite of benchmark data sets from the UCI repository show that ˆfCLL-trained classifiers achieve at least as good accuracy as the best compared classifiers, using significantly less computational resources.

Circuit layout through an analogy with neural networks

Standard-cell design methodology is an important technique in semicustom-VLSI design. It lends itself to the easy automation of the crucial layout part, and many algorithms have been proposed in recent literature for the efficient placement of standard cells. While many studies have identified the Kerninghan-Lin bipartitioning method as being superior to most others, it must be admitted that the behaviour of the method is erratic, and that it is strongly dependent on the initial partition. This paper proposes a novel algorithm for overcoming some of the deficiencies of the Kernighan-Lin method. The approach is based on an analogy of the placement problem with neural networks, and, by the use of some of the organizing principles of these nets, an attempt is made to improve the behavior of the bipartitioning scheme. The results have been encouraging, and the approach seems to be promising for other NP-complete problems in circuit layout.

Kokeellisten aivovaltimoaneurysmien molekulaarinen kuvantaminen

Tutkimuksessa arvioitiin Sinerem-rautananopartikkelivarjoaineen soveltuvuutta aivovaltimoaneurysmiin liittyvän tulehdusreaktion kuvantamiseen. Tutkimuksessa tarkasteltiin 17 kokeellista rotan aivovaltimoaneurysmamallia. Eläimet jaettiin 9 ja 7 rotan sarjoihin, joista 9 rotan sarjasta kaikki ja 7 rotan sarjasta 3 satunnaistettua eläintä saivat varjoainetta. Kaikki eläimet kuvattiin ennen ja jälkeen varjoaineruiskutuksen ja kuvista arvioitiin varjoaineen aiheuttamaa artefaktaa. 7 rotan sarja kuvattiin lisäksi ex vivo. Kaikista aneurysmista tehtiin histologisia ja immunohistokemiallisia värjäyksiä raudan ja makrofagien osoittamiseksi. 9 rotan sarjasta vain 5 oli elossa koesarjan lopussa. 7 rotan sarjasta yksi eläin kuoli kesken koesarjan. Kaikissa 9 rotan sarjan aneurysmissa havaittiin varjoaineen aiheuttamaksi sopivaa artefaktaa. 3 aneurysmassa varsinaisessa koesarjassa havaittiin vastaavaa artefaktaa ja 2 näistä oli saanut varjoainetta. 1 negatiivisessa kontrollissa havaittiin artefaktaa. Ex vivo –kuvissa ei havaittu varjoaineen aiheuttamaksi sopivaa artefaktaa. Kaikissa aneurysmissa havaittiin eri-ikäistä trombia histologiassa. Varjoaineinjektio ei liittynyt negatiivisia kontrolleja suurempaan aneurysman rautapitoisten solujen osuuteen. Tutkimuksessa ei kyetty osoittamaan rautananopartikkelivarjoaineen soveltuvuutta aneurysmaan liittyvän tulehdusreaktion kuvantamisessa. (146 sanaa)

Magnetorotational instability driven dynamos at low magnetic Prandtl numbers

Numerical simulations of the magnetorotational instability (MRI) with zero initial net flux in a non-stratified isothermal cubic domain are used to demonstrate the importance of magnetic boundary conditions. In fully periodic systems the level of turbulence generated by the MRI strongly decreases as the magnetic Prandtl number (Pm), which is the ratio of kinematic viscosity and magnetic diffusion, is decreased. No MRI or dynamo action below Pm=1 is found, agreeing with earlier investigations. Using vertical field conditions, which allow magnetic helicity fluxes out of the system, the MRI is found to be excited in the range 0.1

3D MHD simulations of subsurface convection in OB stars

During their main sequence evolution, massive stars can develop convective regions very close to their surface. These regions are caused by an opacity peak associated with iron ionization. Cantiello et al. (2009) found a possible connection between the presence of sub-photospheric convective motions and small scale stochastic velocities in the photosphere of early-type stars. This supports a physical mechanism where microturbulence is caused by waves that are triggered by subsurface convection zones. They further suggest that clumping in the inner parts of the winds of OB stars could be related to subsurface convection, and that the convective layers may also be responsible for stochastic excitation of non-radial pulsations. Furthermore, magnetic fields produced in the iron convection zone could appear at the surface of such massive stars. Therefore subsurface convection could be responsible for the occurrence of observable phenomena such as line profile variability and discrete absorption components. These phenomena have been observed for decades, but still evade a clear theoretical explanation. Here we present preliminary results from 3D MHD simulations of such subsurface convection.

Dependence of the large-scale vortex instability on latitude, stratification and domain size

In an earlier study, we reported on the excitation of large-scale vortices in Cartesian hydrodynamical convection models subject to rapid enough rotation. In that study, the conditions for the onset of the instability were investigated in terms of the Reynolds (Re) and Coriolis (Co) numbers in models located at the stellar North pole. In this study, we extend our investigation to varying domain sizes, increasing stratification, and place the box at different latitudes. The effect of the increasing box size is to increase the sizes of the generated structures, so that the principal vortex always fills roughly half of the computational domain. The instability becomes stronger in the sense that the temperature anomaly and change in the radial velocity are observed to be enhanced. The model with the smallest box size is found to be stable against the instability, suggesting that a sufficient scale separation between the convective eddies and the scale of the domain is required for the instability to work. The instability can be seen upto the colatitude of 30 degrees, above which value the flow becomes dominated by other types of mean flows. The instability can also be seen in a model with larger stratification. Unlike the weakly stratified cases, the temperature anomaly caused by the vortex structures is seen to depend on depth.

Study of the reaction between 1,2,3-trihydroxybenzene and 8-hydroxyquinoline in the solid state

1.2,3-Trihydroxybenzene (THB) reacts with 8-hydroxyquinoline (8HQ) in the solid state forming an orange-coloured charge transfer complex THB* (8HQ)(2). When the reaction was carried out in a petri dish, or when the vapours of 8HQ were allowed to react with solid THB (gravimetric study), the reaction product separated out as good quality, shiny single crystals. X-Ray diffraction studies on single crystals showed that they belong to the orthorhombic system with a = 15.408(1), b = 16.276(1), c = 7.825(1) Angstrom, Z = 4, D-x = 1.413 g cm(-3) and space group Pnaa. From the crystallographic evidence it has been found that the proton of the middle OH group of THB is transferred to the N atom of 8HQ. This accounts for the observed colour change. Kinetic studies on the solid state reaction showed that the 8HQ molecules diffuse towards THB, and the lateral diffusion occurs through surface migration, grain boundary diffusion and vapour phase diffusion. Gravimetric studies of the reaction between solid THB and 8HQ vapour showed that the diffusion of 8HQ molecules into the crystal lattice of THB has a higher energy of activation than that observed when the reactants are in contact. The nature of the crystal packing in the reaction product indicates diffusion of 8HQ molecules into the crystal lattice of THB along the c-axis, to occupy the cavities present between the THB molecules in the unit cell.

Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic

A framework based on the notion of "conflict-tolerance" was proposed in as a compositional methodology for developing and reasoning about systems that comprise multiple independent controllers. A central notion in this framework is that of a "conflict-tolerant" specification for a controller. In this work we propose a way of defining conflict-tolerant real-time specifications in Metric Interval Temporal Logic (MITL). We call our logic CT-MITL for Conflict-Tolerant MITL. We then give a clock optimal "delay-then-extend" construction for building a timed transition system for monitoring past-MITL formulas. We show how this monitoring transition system can be used to solve the associated verification and synthesis problems for CT-MITL.