Probabilistic methods for eigenvalue estimates

Some probabilistic techniques are discussed regarding their use in estimating the principal eigenvalue of an elliptic operator. Such estimates are useful when studying models for biochemical reactions governed by lateral diffusion.In this paper we summarize recent results on some mathematical techniques that were developed to study certain biological models.     

Comparison of different fast modulation techniques for FIR laser stabilization

In the first part of this paper the characteristics of frequency deviation and modulation bandwidth required for phase-locking optically pumped far infrared lasers to reference synthesized signals are examined. Then different fast modulation techniques suitable for this purpose are discussed pointing out their particular features. Experimental results concerning laser frequency modulation by Stark effect, injection locking and electrically variable reactances (e.g Schottky diodes, plasma cell) are reported and compared.     

Phase retrieval in digital speckle pattern interferometry by use of a smoothed space-frequency distribution

We evaluate the use of a smoothed space-frequency distribution (SSFD) to retrieve optical phase maps in digital speckle pattern interferometry (DSPI). The performance of this method is tested by use of computer-simulated DSPI fringes. Phase gradients are found along a pixel path from a single DSPI image, and the phase map is finally determined by integration. This technique does not need the application of a phase unwrapping algorithm or the introduction of carrier fringes in the interferometer. It is shown that a Wigner-Ville distribution with a smoothing Gaussian kernel gives more-accurate results than methods based on the continuous wavelet transform. We also discuss the influence of filtering on smoothing of the DSPI fringes and some additional limitations that emerge when this technique is applied. The performance of the SSFD method for processing experimental data is then illustrated.     

Control of fuel cell power output

A simplified dynamic model for fuel cells is developed, based on the concept of instantaneous characteristic, which is the set of values of current and voltage that a fuel cell can reach instantaneously. This is used to derive a theorem that indicates the conditions under which the power output of fuel cells can, in theory, be perfectly controlled. A fuel cell connected to a DC/DC converter is simulated numerically, with a control system based on switching rules in order to control the converter’s output voltage. The resulting transients settle in about 5–10 ms. The converter is then used as an actuator in a cascade control loop to control the torque output of a DC electric motor with a PI controller in the external loop. In this loop, the resulting in transients settle in less than 0.2 s.     

COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply with interaction protocols. Thus, the need arises for a formalism to specify constraints on agent interaction, and for a tool able to observe and check for agent compliance with interaction protocols. In this paper we present a JAVA-PROLOG software component built on logic programming technology, which can be used to verify compliance of agent interaction to protocols, and that has been integrated with the PROSOCS platform.     

On the Kalman–Yakubovich–Popov lemma for discrete-time positive linear systems: a novel simple proof and some related results

Theorems of alternatives on the feasibility of linear matrix inequalities (LMIs) are used in order to provide novel simple proofs for two considered versions of the Kalman–Yakubovich–Popov (KYP) lemma for discrete-time positive linear systems. Two different and novel recursive methods, to determine whether a positive matrix is or is not Schur, are obtained as an application of an existing connection between the strict inequality version of the KYP lemma for single-input single-output (SISO) discrete-time positive linear systems and a Schur matrix condition. Examples are included which provide illustration on these recursive methods.     

Extraneous instabilities arising in power systems with non-synchronous distributed energy resources

This short communication describes an extraneous instability that can be observed when solving time domain simulations for power systems with inclusion of non-synchronous distributed energy resources such as those based on voltage source converters and asynchronous generators. The instability object of the paper is caused by the interaction of (i) synchronous machines modeled using a synchronous reference speed and (ii) non-synchronous generators whose controllers depend on a d − q transformation. The paper also provides two simple solutions able to remove such extraneous instabilities. The New England 39-bus benchmark system is used for testing the proposed solutions.     

Information systems in the public sector: The e-Government enactment framework

Despite the burgeoning number of studies of public sector information systems, very few scholars have focussed on the relationship between e-Government policies and information systems choice and design. Drawing on Fountain’s (2001) technology enactment framework, this paper endeavours to conduct an in-depth investigation of the intricacies characterising the choice and design of new technologies in the context of e-Government reforms. By claiming that technologies are carriers of e-Government reform aims, this study investigates the logics embedded in the design of new technology and extant political interests and values inscribed in e-Government policies. The e-Government enactment framework is proposed as a theoretical and analytical approach to understand and study the complexity of these relationships which shape e-Government policies.     

Building linked ontologies with high precision using subclass mapping discovery

The creation of links between schemas of published datasets is a key part of the Linked Open Data (LOD) paradigm. The ability to discover these links “on the go” requires that ontology matching techniques achieve good precision and recall within acceptable execution times. In this paper, we add similarity-based and mediator-based ontology matching methods to the Agreementmaker ontology matching system, which aim to efficiently discover high precision subclass mappings between LOD ontologies. Similarity-based matching methods discover subclass mappings by extrapolating them from a set of high quality equivalence mappings and from the interpretation of compound concept names. Mediator-based matching methods discover subclass mappings by comparing polysemic lexical annotations of ontology concepts and by considering external web ontologies. Experiments show that when compared with a leading LOD approach, Agreementmaker achieves considerably higher precision and F-measure, at the cost of a slight decrease in recall.