Modeling of Filtration Combustion of Carbon

The kinetics of the overall reactions of carbon gasification at temperatures up to 1600 K is studied. The kinetic characteristics of the reactions are taken into account in a distributed mathematical model of filtration combustion of carbon. By computational experiment at different values of process control parameters (the gas flow rate, the fraction of the oxidant in the gas, and the mass ratio of carbon to the inert material in the combustible mixture), it is found that, in the wave of filtration combustion of carbon under superadiabatic conditions, carbon gasification can predominately yield either CO₂ or CO.     

MPaaS: Mobility prediction as a service in telecom cloud

Mobile applications and services relying on mobility prediction have recently spurred lots of interest. In this paper, we propose mobility prediction based on cellular traces as an infrastructural level service of telecom cloud. Mobility Prediction as a Service (MPaaS) embeds mobility mining and forecasting algorithms into a cloud-based user location tracking framework. By empowering MPaaS, the hosted 3rd-party and value-added services can benefit from online mobility prediction. Particularly we took Mobility-aware Personalization and Predictive Resource Allocation as key features to elaborate how MPaaS drives new fashion of mobile cloud applications. Due to the randomness of human mobility patterns, mobility predicting remains a very challenging task in MPaaS research. Our preliminary study observed collective behavioral patterns (CBP) in mobility of crowds, and proposed a CBP-based mobility predictor. MPaaS system equips a hybrid predictor fusing both CBP-based scheme and Markov-based predictor to provide telecom cloud with large-scale mobility prediction capacity.     

Characterization of boron-doped diamond electrodes by electrochemical impedance spectroscopy

Charge transfer on boron doped diamond (BDD) electrodes was studied by cyclic voltammetry and electrochemical impedance spectroscopy. The diamond films of 5 μm thickness and boron content between 200 ppm and 3000 ppm were prepared by the hot filament CVD technique on niobium substrate and mounted in a Teflon holder as rotating disk electrodes. The electrochemical measurements were carried out in aqueous electrolyte solutions of 0.5 M Na₂ SO ₄ + 5 mM K₃[Fe(CN)₆]/K₄[Fe(CN)₆]. Significant deviation in the redox behaviour of BDD and active Pt electrodes was indicated by a shift of the peak potentials in the cyclic voltammograms with increasing sweep rate and lower limiting diffusion current densities under rotating disk conditions. In the impedance spectra an additional capacitive element appeared at high frequencies. The potential and rotation dependence of the impedance spectra can be described quantitatively in terms of a model based on diffusion controlled charge transfer on partially blocked electrode surfaces. Direct evidence for the non-homogeneous current distribution on the diamond surface was obtained by SECM measurements.     

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

Given the strong increase in regulatory requirements for business processes the management of business process compliance becomes a more and more regarded field in IS research. Several methods have been developed to support compliance checking of conceptual models. However, their focus on distinct modeling languages and mostly linear (i.e., predecessor-successor related) compliance rules may hinder widespread adoption and application in practice. Furthermore, hardly any of them has been evaluated in a real-world setting. We address this issue by applying a generic pattern matching approach for conceptual models to business process compliance checking in the financial sector. It consists of a model query language, a search algorithm and a corresponding modelling tool prototype. It is (1) applicable for all graph-based conceptual modeling languages and (2) for different kinds of compliance rules. Furthermore, based on an applicability check, we (3) evaluate the approach in a financial industry project setting against its relevance for decision support of audit and compliance management tasks.     

Sparkle measurement revisited: A closer look at the details

Four years after introduction of the first instrument for measurement of sparkle, the foundations have been reconsidered, and the pool of practical experience has been analyzed to provide a more detailed and complete picture of the subject matter. The following aspects are introduced and discussed: observation conditions and resulting requirements for imaging (sampling) and filtering, analysis of spatial periods and frequencies as a basis for filtering, spatial filtering concepts, sparkle in the frequency domain, sparkle evaluation based on analysis of single images and difference images, origins of unwanted sparkle components, scaling and offset in sparkle evaluation, and verification of the method.     

Adaptive water management in Israel: structure and policy options

Difficulties in integrating technical, economic and institutional factors present a major gap in analytical capacity to guide water policy. This article presents an integrated framework to support water policy and guide water management choices, with application to Israel. That framework rests on the theory of economic policy originally developed by Tinbergen. It sees national water challenges as consisting of external factors, constraints, policy instruments and targets. The need for a modern implementation of the theory of economic policy is motivated by emerging environmental requirements, scarce water, growing demands for domestic use, and ongoing needs to implement existing and potential peace agreements.     

Development of a high pressure automated lag time apparatus for experimental studies and statistical analyses of nucleation and growth of gas hydrates

Nucleation in a supercooled or a supersaturated medium is a stochastic event, and hence statistical analyses are required for the understanding and prediction of such events. The development of reliable statistical methods for quantifying nucleation probability is highly desirable for applications where control of nucleation is required. The nucleation of gas hydrates in supercooled conditions is one such application. We describe the design and development of a high pressure automated lag time apparatus (HP-ALTA) for the statistical study of gas hydrate nucleation and growth at elevated gas pressures. The apparatus allows a small volume (≈150 μl) of water to be cooled at a controlled rate in a pressurized gas atmosphere, and the temperature of gas hydrate nucleation, T(f), to be detected. The instrument then raises the sample temperature under controlled conditions to facilitate dissociation of the gas hydrate before repeating the cooling-nucleation cycle again. This process of forming and dissociating gas hydrates can be automatically repeated for a statistically significant (>100) number of nucleation events. The HP-ALTA can be operated in two modes, one for the detection of hydrate in the bulk of the sample, under a stirring action, and the other for the detection of the formation of hydrate films across the water-gas interface of a quiescent sample. The technique can be applied to the study of several parameters, such as gas pressure, cooling rate and gas composition, on the gas hydrate nucleation probability distribution for supercooled water samples.     

Performance and reliability prediction for evolving service-oriented software systems

During software system evolution, software architects intuitively trade off the different architecture alternatives for their extra-functional properties, such as performance, maintainability, reliability, security, and usability. Researchers have proposed numerous model-driven prediction methods based on queuing networks or Petri nets, which claim to be more cost-effective and less error-prone than current practice. Practitioners are reluctant to apply these methods because of the unknown prediction accuracy and work effort. We have applied a novel model-driven prediction method called Q-ImPrESS on a large-scale process control system from ABB consisting of several million lines of code. This paper reports on the achieved performance prediction accuracy and reliability prediction sensitivity analyses as well as the effort in person hours for achieving these results.     

A principle for learning egocentric-allocentric transformation

Numerous single-unit recording studies have found mammalian hippocampal neurons that fire selectively for the animal's location in space, independent of its orientation. The population of such neurons, commonly known as place cells, is thought to maintain an allocentric, or orientation-independent, internal representation of the animal's location in space, as well as mediating long-term storage of spatial memories. The fact that spatial information from the environment must reach the brain via sensory receptors in an inherently egocentric, or viewpoint-dependent, fashion leads to the question of how the brain learns to transform egocentric sensory representations into allocentric ones for long-term memory storage. Additionally, if these long-term memory representations of space are to be useful in guiding motor behavior, then the reverse transformation, from allocentric to egocentric coordinates, must also be learned. We propose that orientation-invariant representations can be learned by neural circuits that follow two learning principles: minimization of reconstruction error and maximization of representational temporal inertia. Two different neural network models are presented that adhere to these learning principles, the first by direct optimization through gradient descent and the second using a more biologically realistic circuit based on the restricted Boltzmann machine (Hinton, 2002; Smolensky, 1986). Both models lead to orientation-invariant representations, with the latter demonstrating place-cell-like responses when trained on a linear track environment.     

Purification, characterization, and high performance liquid chromatography assay of Salmonella glucose-1-phosphate cytidylyltransferase from the cloned rfbF gene

We report the purification and characterization of glucose-1-phosphate cytidylyltransferase, the first of five enzymes committed to biosynthesis of CDP-D-abequose from Salmonella enterica strain LT2. The purification was greatly facilitated by using a cloned rfbF gene encoding this enzyme. Pure enzyme was obtained by 64-fold enrichment in three chromatography steps. The NH2-terminal sequence of the purified enzyme was in agreement with the sequence predicted from the nucleotide sequence of the rfbF gene. The SDS-polyacrylamide gel electrophoresis estimated subunit M(r) of 31,000 agrees well with the M(r) of 29,035 calculated from the amino acid composition deduced from the nucleotide sequence of the rfbF gene. The glucose-1-phosphate cytidylyltransferase catalyzes a reversible bimolecular group transfer reaction and steady-state kinetic measurements, including product inhibition patterns, indicate that this reaction proceeds by a "ping-pong" type of mechanism. The Km values for CTP, alpha-D-glucose 1-phosphate, CDP-D-glucose, and pyrophosphate are 0.28, 0.64, 0.11, and 1.89 mM, respectively.