Solving Functional Constraints by Variable Substitution

Functional constraints and bi-functional constraints are an important constraint class in Constraint Programming (CP) systems, in particular for Constraint Logic Programming (CLP) systems. CP systems with finite domain constraints usually employ CSP-based solvers which use local consistency, for example, arc consistency. We introduce a new approach which is based instead on variable substitution. We obtain efficient algorithms for reducing systems involving functional and bi-functional constraints together with other non-functional constraints. It also solves globally any CSP where there exists a variable such that any other variable is reachable from it through a sequence of functional constraints. Our experiments on random problems show that variable elimination can significantly improve the efficiency of solving problems with functional constraints

Learning Robust Search Strategies Using a Bandit-Based Approach

Effective solving of constraint problems often requires choosing good or specific search heuristics. However, choosing or designing a good search heuristic is non-trivial and is often a manual process. In this paper, rather than manually choosing/designing search heuristics, we propose the use of bandit-based learning techniques to automatically select search heuristics. Our approach is online where the solver learns and selects from a set of heuristics during search. The goal is to obtain automatic search heuristics which give robust performance. Preliminary experiments show that our adaptive technique is more robust than the original search heuristics. It can also outperform the original heuristics.Comment: Published at the Proceedings of 32th AAAI Conference on Artificial Intelligence (AAAI'18

Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores

Modern business applications and scientific databases call for inherently dynamic data storage environments. Such environments are characterized by two challenging features: (a) they have little idle system time to devote on physical design; and (b) there is little, if any, a priori workload knowledge, while the query and data workload keeps changing dynamically. In such environments, traditional approaches to index building and maintenance cannot apply. Database cracking has been proposed as a solution that allows on-the-fly physical data reorganization, as a collateral effect of query processing. Cracking aims to continuously and automatically adapt indexes to the workload at hand, without human intervention. Indexes are built incrementally, adaptively, and on demand. Nevertheless, as we show, existing adaptive indexing methods fail to deliver workload-robustness; they perform much better with random workloads than with others. This frailty derives from the inelasticity with which these approaches interpret each query as a hint on how data should be stored. Current cracking schemes blindly reorganize the data within each query's range, even if that results into successive expensive operations with minimal indexing benefit. In this paper, we introduce stochastic cracking, a significantly more resilient approach to adaptive indexing. Stochastic cracking also uses each query as a hint on how to reorganize data, but not blindly so; it gains resilience and avoids performance bottlenecks by deliberately applying certain arbitrary choices in its decision-making. Thereby, we bring adaptive indexing forward to a mature formulation that confers the workload-robustness previous approaches lacked. Our extensive experimental study verifies that stochastic cracking maintains the desired properties of original database cracking while at the same time it performs well with diverse realistic workloads.Comment: VLDB201

A H2 PEM fuel cell and high energy dense battery hybrid energy source for an urban electric vehicle

Electric vehicles are set to play a prominent role in addressing the energy and environmental impact of an increasing road transport population by offering a more energy efficient and less polluting drive-train alternative to conventional internal combustion engine (ICE) vehicles. Given the energy (and hence range) and performance limitations of electro-chemical battery storage systems, hybrid systems combining energy and power dense storage technologies have been proposed for vehicle applications. The paper discusses the application of a hydrogen fuel cell as a range extender for an urban electric vehicle for which the primary energy source is provided by a high energy dense battery. A review of fuel cell systems and automotive drive-train application issues are discussed, together with an overview of the battery technology. The prototype fuel cell and battery component simulation models are presented and their performance as a combined energy/power source assessed for typical urban and sub-urban driving scenario

Assessment Cu, Ni and Zn pollution in the surface sediments in the Southern Peninsular Malaysia using cluster analysis, ratios of geochemical nonresistant to resistant fractions, and geochemical indices.

The intertidal sediment samples collected in May 2007 from 12 sampling sites in the southern part of Peninsular Malaysia, were determined for the total concentrations of Cu, Ni and Zn and their four geochemical fractions. The total concentrations (μg/g dry weight) of Cu, Ni and Zn ranged from 9.48 to 115.82, 12.95 to 36.18 and 45.35 to 136.56, respectively. The ratios of nonresistant to resistant fractions based on geochemical analysis revealed that the Pantai Lido and Senibong had > 1.0, indicating > 50% of the total concentrations of Cu, Ni and Cu were contributed by anthropogenic sources. This is well complemented by the cluster analysis in which Pantai Lido and Senibong are clustered together based on the three metals clustering pattern. By using Fe as a normalizing element, Cu found at Pantai Lido and Senibong showed > 1.5 for the enrichment factor (EF), which indicated that the Cu was delivered from non-crustal materials or anthropogenic origins while all sampling sites showed Ni and Zn may be entirely from crustal materials. Based on the geoaccumulation index (Igeo) (Müller, 1981), similar pattern was also found for Pantai Lido and Senibong in which again only Cu concentrations ranged from 1-2, indicating ‘moderate pollution’ (Igeo 1 < 2; Class 2).while other sites can be considered as ‘unpolluted’ (Igeo < 0; Class 0) by Cu, Ni and Zn. Ratios of NR/R exhibited better in the assessment of polluted sites while EF and Igeo should be revised according to Malaysian sedimentary characteristics. This study should prompt more biochemical and molecular studies on the intertidal molluscs from the Straits of Johore since the identified two sites are located in the Straits of Johore, especially the commercial mussel Perna viridis

Patterns of RAPD markers and heavy metal concentrations in Perna viridis (L.), collected from metal-contaminated and uncontaminated coastal waters: Are they correlated with each other?

Genetic variation due to heavy metal contamination has always been an interesting topic of study. Because of the numerous contaminants being found in coastal and intertidal waters, there is always much discussion and argument as to which contaminant(s) caused the variations in the genetic structures of biomonitors. This study used a Single Primer Amplification Reaction (SPAR) technique, namely Random Amplified Polymorphic DNA (RAPD), to determine the genetic diversity of the populations of the green-lipped mussel Perna viridis collected from a metal-contaminated site at Kg. Pasir Puteh and those from four relatively uncontaminated sites (reference sites). Heavy metal levels (Cd, Cu, Pb, and Zn) were also measured in the soft tissues and byssus of the mussels from all the sites. Cluster analyses employing UPGMA based on the RAPD markers grouped the populations into two major clusters; the Bagan Tiang, Pantai Lido, Pontian, and Kg. Pasir Puteh populations were in one cluster, while the Sg. Belungkor population clustered by itself. This indicated that the genetic diversity based on bands resulting from the use of all four RAPD primers on P. viridis did not indicate its potential use as a biomarker of heavy metal pollution in coastal waters. However, based on a correlation analysis between a particular metal and a band resulting from a specific RAPD primer revealed some significant (P < 0.01) correlations between the primers and the heavy metal concentrations in the byssus and soft tissues. Thus, the correlation between a particular metal and the bands resulting from the use of a specific RAPD primer on P. viridis could be used as biomonitoring tool of heavy metal pollution

Minimizing ammonia loss from urea through mixing with zeolite and acid sulphate soil.

Ammonia volatilization is a major cause of nitrogen loss from surface applied urea. While all top dressed ammonia and ammonium-based fertilizers can be volatized, the potential is greatest with urea and fluid containing urea. This laboratory study compared the effect of four different urea-zeolite-acid sulphate soil mixtures on NH3 volatilization and, soil exchangeable NH4 and available NO3 contents of an acid soil with surface-applied urea without additives. The soil used in the study was a sandy loam Typic Paleudults (Nyalau Series). The mixtures significantly minimized NH3 loss by 6 to 15% compared to urea alone. These treatments also significantly increased soil exchangeable NH4 and available NO3 contents compared to urea without additives. The increase in the formation of NH4+ over NH3 and the temporary decrease in soil pH retarded urea hydrolysis at the microsite immediately around the fertilizer. Surface applied urea fertilizer efficiency could be increased by mixing it with zeolite and acid sulphate soil

Investigation of the nature of the oxidant (selective and unselective) in/on a vanadyl pyrophosphate catalyst

The anaerobic oxidation of CO by a (VO)2P2O7 catalyst has been used to investigate the nature of the oxidant (selective and unselective) in/on that material. Three peaks were observed in the rate of production of CO2 - at 993, 1073 and 1093 K. The temperature of the maximum in the rate of production of the first CO2 peak and the amount of oxygen associated with it are the same as that observed in the selective anaerobic oxidation of n-butane to butene and butadiene, but-1-ene to butadiene and furan and but-1,3-diene to dihydrofuran, furan and maleic anhydride. The interaction of CO with the (VO)2P2O7 catalyst forming CO2 at 993 K is therefore concluded to be with the selective oxygen. The total amount of oxygen removed by the CO from the (VO)2P2O7 lattice (>5 monolayers) is about six times greater than that of the selective oxygen. The higher activation energies for the removal of the unselective oxygen accounts for the high selectivities (~80%) encountered commercially for the anaerobic oxidation of n-butane to maleic anhydride. Re-oxidation of the CO reduced (VO)2P2O7 by N2O quantitatively replaces all of the lattice oxygen removed by the formation of CO2, but does not restore the original morphology

Effect of Inflow and Infiltration in Sewerage System of Residential Area, Kuantan, Pahang

Inflow and infiltration is a phenomenon in sewerage systems that can have negative effects on the environment and human health if not treated properly. Collaboration has been made between Universiti Malaysia Pahang (UMP) and Indah Water Konsortium Sdn. Bhd. (IWK) where the purpose is to evaluate the amount of inflow and infiltration happening in sewerage systems of residential areas in Kuantan. For this part of the study, one sewer pipeline (MH92a–MH92b) was selected at the residential area of Bandar Putra, having a population equivalent of 1694. The method used in this research was the Flowrate method to tabulate data. ISCO 2150 and 4250 Area Velocity Flowmeters were used to measure flow rate data in the sewer pipeline, whereas ISCO 674 Rain Gauge was used to collect rainfall intensity data. Calibration of all the equipment was done at the Hydrology and Hydraulic Laboratory in UMP. The data was collected for 41 days with each measurement separated by an interval of five minutes. The result shows that the average percentage Infiltration Rate of Qpeak and Qave in this residential catchment were 10.3% and 26.5% which is higher than the value mentioned in Hammer and Hammer (2012). Inflow and infiltration is a real concern, so more study is required to determine whether revision of the infiltration rate recommended in the Malaysian Standard is needed