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.

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.

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.

Modelling and analysis of the variance in parallelism in parallel computations

In this paper, we introduce an analytical technique based on queueing networks and Petri nets for making a performance analysis of dataflow computations when executed on the Manchester machine. This technique is also applicable for the analysis of parallel computations on multiprocessors. We characterize the parallelism in dataflow computations through a four-parameter characterization, namely, the minimum parallelism, the maximum parallelism, the average parallelism and the variance in parallelism. We observe through detailed investigation of our analytical models that the average parallelism is a good characterization of the dataflow computations only as long as the variance in parallelism is small. However, significant difference in performance measures will result when the variance in parallelism is comparable to or higher than the average parallelism.

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.

Stochastic modelling of flexible manufacturing systems

Mathematical modelling plays a vital role in the design, planning and operation of flexible manufacturing systems (FMSs). In this paper, attention is focused on stochastic modelling of FMSs using Markov chains, queueing networks, and stochastic Petri nets. We bring out the role of these modelling tools in FMS performance evaluation through several illustrative examples and provide a critical comparative evaluation. We also include a discussion on the modelling of deadlocks which constitute an important source of performance degradation in fully automated FMSs.

Accelerating multi-core simulators

Simulation is an important means of evaluating new microarchitectures. With the invention of multi-core (CMP) platforms, simulators are becoming larger and more complex. However, with the availability of CMPs with larger caches and higher operating frequency, the wall clock time required for simulating an application has become comparatively shorter. Reducing this simulation time further is a great challenge, especially in the case of multi-threaded workload due to indeterminacy introduced due to simultaneously executing various threads. In this paper, we propose a technique for speeding multi-core simulation. The model of the processor core and cache are replaced with functional models, to achieve speedup. A timed Petri net model is used to estimate the execution time of the processor and the memory access latencies are estimated using hit/miss information obtained from the functional model of the cache. This model can be used to predict performance of data parallel applications or multiprogramming workload on CMP platform with various cache hierarchies and shared bus interconnect. The error in estimation of the execution time of an application is within 6%. The speedup achieved ranges between an average of 2x--4x over the cycle accurate simulator.

Compiler-Directed Frequency and Voltage Scaling for a Multiple Clock Domain

Multiple Clock Domain processors provide an attractive solution to the increasingly challenging problems of clock distribution and power dissipation. They allow their chips to be partitioned into different clock domains, and each domain’s frequency (voltage) to be independently configured. This flexibility adds new dimensions to the Dynamic Voltage and Frequency Scaling problem, while providing better scope for saving energy and meeting performance demands. In this paper, we propose a compiler directed approach for MCD-DVFS. We build a formal petri net based program performance model, parameterized by settings of microarchitectural components and resource configurations, and integrate it with our compiler passes for frequency selection.Our model estimates the performance impact of a frequency setting, unlike the existing best techniques which rely on weaker indicators of domain performance such as queue occupancies(used by online methods) and slack manifestation for a particular frequency setting (software based methods).We evaluate our method with subsets of SPECFP2000,Mediabench and Mibench benchmarks. Our mean energy savings is 60.39% (versus 33.91% of the best software technique)in a memory constrained system for cache miss dominated benchmarks, and we meet the performance demands.Our ED2 improves by 22.11% (versus 18.34%) for other benchmarks. For a CPU with restricted frequency settings, our energy consumption is within 4.69% of the optimal.