Independence of Containing Patterns Property and Its Application in Tree Pattern Query Rewriting Using Views

We show that several classes of tree patterns observe the independence of containing patterns property, that is, if a pattern is contained in the union of several patterns, then it is contained in one of them. We apply this property to two related problems on tree pattern rewriting using views. First, given view V and query Q, is it possible for Q to have an equivalent rewriting using V which is the union of two or more tree patterns, but not an equivalent rewriting which is a single pattern? This problem is of both theoretical and practical importance because, if the answer is no, then, to find an equivalent rewriting of a tree pattern using a view, we should use more efficient methods, such as the polynomial time algorithm of Xu and Özsoyoglu (2005), rather than try to find the union of all contained rewritings (which takes exponential time in the worst case) and test its equivalence to Q. Second, given a set S of views, we want to know under what conditions a subset S′ of S is redundant in the sense that for any query Q, the contained rewritings of Q using the views in S′ are contained in those using the views in S???S′. Solving this problem can help us to, for example, choose the minimum number of views to be cached, or better design the virtual schema in a mediated data integration system, or avoid repeated calculation in query optimization. For the first problem, we identify several classes of tree patterns for which the equivalent rewriting can be expressed as a single tree pattern. For the second problem, we present necessary and sufficient conditions for S′ to be redundant with respect to some classes of tree patterns. For both problems we consider extension to cases where there are rewritings using the intersection of multiple views and/or where a schema graph is present.     

Understanding users and their needs

Gaze-control enables people to control a computer by using eye-gaze to select items on screen. Gaze-control is a necessity for people who have lost all motor control of their body and only have control over eye movements. In addition, gaze-control can be the quickest and least tiring option for a far broader group of people with varying disabilities. This paper reports findings from gaze-control user trials involving users from both groups: people who are totally paralyzed, as well as people with a wide range of complex disabilities. The trials conducted involved four different centres supporting people with disabilities in three different European countries. Several gaze-control systems were trialled by a large number of users with varying needs and abilities. The perceived benefits of gaze-control are described, and recommendations for successful assessment and implementation of gaze-control are provided.     

Intuitive robust stability metric for PID control of self-regulating processes

Published methods establish how plant-model mismatch in the process gain and dead time impacts closed-loop stability. However, these methods assume no plant-model mismatch in the process time constant. The work presented here proposes the robust stability factor metric, RSF, to examine the effect of plant-model mismatch in the process gain, dead time, and time constant. The RSF is presented in two forms: an equation form and a visual form displayed on robustness plots derived from the Bode and Nyquist stability criteria. This understanding of robust stability is reinforced through visual examples of how closed-loop performance changes with various levels of plant-model mismatch. One example shows how plant-model mismatch in the time constant can impact closed-loop stability as much as plant-model mismatch in the gain and/or dead time. Theoretical discussion shows that the impact is greater for small dead time to time constant ratios. As the closed-loop time constant used in Internal Model Control (IMC) tuning decreases, the impact becomes significant for a larger range of dead time to time constant ratios. To complete the presentation, the RSF is used to compare the robust stability of IMC-PI tuning to other PI, PID, and PID with Filter tuning correlations.     

Automatic computation of the travelling wave solutions to nonlinear PDEs

Various extensions of the tanh-function method and their implementations for finding explicit travelling wave solutions to nonlinear partial differential equations (PDEs) have been reported in the literature. However, some solutions are often missed by these packages. In this paper, a new algorithm and its implementation called TWS for solving single nonlinear PDEs are presented. TWS is implemented in Maple 10. It turns out that, for PDEs whose balancing numbers are not positive integers, TWS works much better than existing packages. Furthermore, TWS obtains more solutions than existing packages for most cases.

Program summary

Program title:TWSCatalogue identifier:AEAM_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEAM_v1_0.htmlProgram obtainable from:CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions:Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.:1250No. of bytes in distributed program, including test data, etc.:78 101Distribution format:tar.gzProgramming language:Maple 10Computer:A laptop with 1.6 GHz Pentium CPUOperating system:Windows XP ProfessionalRAM:760 MbytesClassification:5Nature of problem:Finding the travelling wave solutions to single nonlinear PDEs.Solution method:Based on tanh-function method.Restrictions:The current version of this package can only deal with single autonomous PDEs or ODEs, not systems of PDEs or ODEs. However, the PDEs can have any finite number of independent space variables in addition to time t.Unusual features:For PDEs whose balancing numbers are not positive integers, TWS works much better than existing packages. Furthermore, TWS obtains more solutions than existing packages for most cases.Additional comments:It is easy to use.Running time:Less than 20 seconds for most cases, between 20 to 100 seconds for some cases, over 100 seconds for few cases.References:[1] E.S. Cheb-Terrab, K. von Bulow, Comput. Phys. Comm. 90 (1995) 102.[2] S.A. Elwakil, S.K. El-Labany, M.A. Zahran, R. Sabry, Phys. Lett. A 299 (2002) 179.[3] E. Fan, Phys. Lett. 277 (2000) 212.[4] W. Malfliet, Amer. J. Phys. 60 (1992) 650.[5] W. Malfliet, W. Hereman, Phys. Scripta 54 (1996) 563.[6] E.J. Parkes, B.R. Duffy, Comput. Phys. Comm. 98 (1996) 288.     

Physics-guided machine learning from simulated data with different physical parameters

Knowledge and Information Systems - Physics-based models are widely used to study dynamical systems in a variety of scientific and engineering problems. However, these models are necessarily...     

Highly Efficient Quasi 2D Blue Perovskite Electroluminescence Leveraging a Dual Ligand Composition

Perovskite light-emitting diodes (PeLEDs) are advancing because of their superior external quantum efficiencies (EQEs) and color purity. Still, additional work is needed for blue PeLEDs to achieve the same benchmarks as the other visible colors. This study demonstrates an extremely efficient blue PeLED with a 488 nm peak emission, a maximum luminance of 8600 cd m⁻², and a maximum EQE of 12.2% by incorporating the double-sided ethane-1,2-diammonium bromide (EDBr₂) ligand salt along with the long-chain ligand methylphenylammonium chloride (MeCl). The EDBr₂ successfully improves the interaction between 2D perovskite layers by reducing the weak van der Waals interaction and creating a Dion–Jacobson (DJ) structure. Whereas the pristine sample (without EDBr₂) is inhibited by small stacking number (n) 2D phases with nonradiative recombination regions that diminish the PeLED performance, adding EDBr₂ successfully enables better energy transfer from small n phases to larger n phases. As evidenced by photoluminescence (PL), scanning electron microscopy (SEM), and atomic force microscopy (AFM) characterization, EDBr₂ improves the morphology by reduction of pinholes and passivation of defects, subsequently improving the efficiencies and operational lifetimes of quasi-2D blue PeLEDs.     

Efficient itinerary recommendation via personalized POI selection and pruning

Knowledge and Information Systems - Personalized itinerary recommendation has garnered wide research interests for their ubiquitous applications. Recommending personalized itineraries is complex...     

Reducing Dimensionality of Multi-regime Data for Failure Prognostics

Journal of Failure Analysis and Prevention - Over the last decade, the prognostics and health management literature has introduced many conceptual frameworks for remaining useful life predictions....     

3D Orientational Control in Self‐Assembled Thin Films with Sub‐5 nm Features by Light

While self‐assembled molecular building blocks could lead to many next‐generation functional organic nanomaterials, control over the thin‐film morphologies to yield monolithic sub‐5 nm patterns with 3D orientational control at macroscopic length scales remains a grand challenge. A series of photoresponsive hybrid oligo(dimethylsiloxane) liquid crystals that form periodic cylindrical nanostructures with periodicities between 3.8 and 5.1 nm is studied. The liquid crystals can be aligned in‐plane by exposure to actinic linearly polarized light and out‐of‐plane by exposure to actinic unpolarized light. The photoalignment is most efficient when performed just under the clearing point of the liquid crystal, at which the cylindrical nanostructures are reoriented within minutes. These results allow the generation of highly ordered sub‐5 nm patterns in thin films at macroscopic length scales, with control over the orientation in a noncontact fashion.