Proof explanation for a nonmonotonic Semantic Web rules language

In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic Web. If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs. Our system produces automatically proof explanations using a popular logic programming system (XSB), by interpreting the output from the proof’s trace and converting it into a meaningful representation. It also supports an XML representation for agent communication, which is a common scenario in the Semantic Web. In this paper, we present the design and implementation of the system, a RuleML language extension for the representation of a proof explanation, and we give some examples of the system. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.     

Nash equilibria: Complexity,symmetries, and approximation

We survey recent joint work with Christos Papadimitriou and Paul Goldberg on the computational complexity of Nash equilibria. We show that finding a Nash equilibrium in normal form games is computationally intractable, but in an unusual way. It does belong to the class NP; but Nash’s theorem, showing that a Nash equilibrium always exists, makes the possibility that it is also NP-complete rather unlikely. We show instead that the problem is as hard computationally as finding Brouwer fixed points, in a precise technical sense, giving rise to a new complexity class called PPAD. The existence of the Nash equilibrium was established via Brouwer’s fixed-point theorem; hence, we provide a computational converse to Nash’s theorem.To alleviate the negative implications of this result for the predictive power of the Nash equilibrium, it seems natural to study the complexity of approximate equilibria: an efficient approximation scheme would imply that players could in principle come arbitrarily close to a Nash equilibrium given enough time. We review recent work on computing approximate equilibria and conclude by studying how symmetries may affect the structure and approximation of Nash equilibria. Nash showed that every symmetric game has a symmetric equilibrium. We complement this theorem with a rich set of structural results for a broader, and more interesting class of games with symmetries, called anonymous games.     

Enhanced Composites Integrity Through Structural Health Monitoring

This paper discusses the topic of how the integrity of safety-critical structural composites can be enhanced by the use of structural health monitoring (SHM) techniques. The paper starts with a presentation of how the certification of flight-critical composite structures can be achieved within the framework of civil aviation safety authority requirements. Typical composites damage mechanisms, which make this process substantially different from that for metallic materials are discussed. The opportunities presented by the use of SHM techniques in future civil aircraft developments are explained. The paper then focuses on active SHM with piezoelectric wafer active sensors (PWAS). After reviewing the PWAS-based SHM options, the paper follows with a discussion of the specifics of guided wave propagation in composites and PWAS-tuning effects. The paper presents a number of experimental results for damage detection in simple flat unidirectional and quasi-isotropic composite specimens. Calibrated through holes of increasing diameter and impact damage of various energies and velocities are considered. The paper ends with conclusions and suggestions for further work.     

Globally optimal tool paths for sculptured surfaces with emphasis to machining error and cutting posture smoothness

Global optimisation for manufacturing problems is mandatory for obtaining versatile benefits to facilitate modern industry. This paper deals with an original approach of globally optimising tool paths to CNC-machine sculptured surfaces. The approach entails the development of a fully automated manufacturing software interface integrated by a non-conventional genetic/evolutionary algorithm to enable intelligent machining. These attributes have been built using already existing practical machining modelling tools such as CAM systems so as to deliver a truly viable computer-aided manufacturing solution. Since global optimisation is heavily based on the formulation of the problem, emphasis has been given to the definition of optimisation criteria as crucial elements for representing performance. The criteria involve the machining error as a combined effect of chord error and scallop height, the tool path smoothness and productivity. Experiments have been designed considering several benchmark sculptured surfaces as well as tool path parameters to validate the aforementioned criteria. The new approach was implemented to another sculptured surface which has been extensively tested by previous research works. Results were compared to those available in the literature and it was found that the proposed approach can indeed constitute a promising and trustworthy technique for the global optimisation of sculptured surface CNC tool paths.     

Mass transfer coefficient and concentration boundary layer thickness for a dissolving NAPL pool in porous media

Analytical expressions for the time invariant, average mass transfer coefficient and the concentration boundary layer thickness applicable to dissolving single-component nonaqueous phase liquid (NAPL) pools in two-dimensional, saturated, homogeneous and isotropic porous formations are derived. Good agreement between predicted and experimentally determined time invariant average mass transfer coefficients is observed.     

Development of a flow amperometric enzymatic method for the determination of total glucosinolates in real samples

The first amperometric flow analyzer, based on the biosensor concept, capable of determining total glucosinolates in real samples, is described. Myrosinase was immobilized on aminopropyl-modified controlled pore glass, which was then used for the construction of a packed-bed reactor. Myrosinase catalyzes the hydrolysis of glucosinolates (sinigrin) to glucose (among the other products), which is then oxidized by the action of glucose oxidase to produce hydrogen peroxide. The glucose enzyme electrode is based on a multimembrane architecture and was mounted on an amperometric flow cell (hydrogen peroxide detection at a platinum anode poised at +0.65 V vs Ag/AgCl/3M KCl). Different membrane types and different activation procedures were tested. The system was optimized to various working parameters, either as a glucose electrode or as a glucosinolate analyzer. The interference effect of various compounds was also investigated. Application of the method to real samples was carried out using glucose/glucose, hydrolyzed sinigrin and glucose/sinigrin solution as calibrators of the glucose electrode and the glucosinolate analyzer. Deviations due to the enantioselectivity of glucose oxidase to the beta-glucose anomer were observed, and a data elaboration protocol is proposed. The possibility of the simultaneous determination of glucose and glucosinolates is also demonstrated.     

Investigating the Potential of Using Off-Axis 3D Woven Composites in Composite Joints’ Applications

The effect of circular notch has been evaluated for three different architectures of three-dimensional (3D) carbon fibre woven composites (orthogonal, ORT; layer-to-layer, LTL; angle interlock, AI) through open-hole quasi-static tension and double-lap bearing strength tests in the off-axis (45°) direction. Damage characterisation is monitored using Digital Image correlation (DIC) for open-hole testing and X-ray Computed Tomography (CT) for double-lap bearing strength test. The off-axis notched 3D woven composites exhibits minor reduction (less than 10 %) of the notched strength compared to the un-notched strength. DIC strain contour clearly show stress/strain localisation regions around the hole periphery and stress/strain redistribution away from the whole due to the z-binder existence, especially for ORT architecture. Up to 50 % bearing strain, no significant difference in the bearing stress/bearing strain response is observed. However when ORT architecture was loaded up to failure, it demonstrates higher strain to failure (~140 %) followed by AI (~105 %) and lastly LTL (~85 %). X-ray CT scans reveal the effect of the z-binder architecture on damage evolution and delamination resistance. The study suggests that off-axis loaded 3D woven composites, especially ORT architecture, has a great potential of overcoming the current challenges facing composite laminates when used in composite joints’ applications.     

Removal of total phenols from olive-mill wastewater using an agricultural by-product, olive pomace

The purpose of this study was to investigate the sorption of total phenols, which are contained in olive-mill wastewater (OMWW), on solid by-products of olive pomace processing mills. Preliminary batch experiments were conducted using three different types of olive pomace, dried olive pomace (OP-1), dried and solvent extracted olive pomace (OP-2) and dried, solvent extracted and incompletely combusted olive pomace (OP-3). According to the results, OP-3 showed high performance for total phenols sorption and stability. For sorbent concentration of 10 g L⁻¹ and sorbate concentration of 50 mg L⁻¹, more than 40% of initial total phenols concentration was removed. Sorption kinetics was well described by the pseudo-second order rate model (R² > 0.99). Total phenols removal efficiency was improved by increasing sorbent concentration and solution's pH or decreasing particle size of the sorbent material. The Langmuir and Freundlich isotherms sufficiently described OP-3 sorption capacity for the concentration range studied (50–500 mg L⁻¹). Fixed bed sorption experiments showed that lower flow rates and smaller particle size of sorbent resulted in longer column exhaustion time and higher initial removal efficiency. Experiments with thermally or chemically regenerated OP-3 showed that sorption capacity deteriorated after regeneration.     

A Graphical Method Predicting the Compressive Strength of Toughened Unidirectional Composite Laminates

The in-plane shear and compressive properties of unidirectional (UD) HTS40/977-2 carbon fibre-toughened resin (CF/TR) laminates are investigated. Scanning Electron microscopy (SEM) and optical microscopy are used to reveal the failure mechanisms developed during compression. It is found that damage initiates by fibre microbuckling (a fibre instability failure mode) which then is followed by yielding of the matrix to form a fibre kink band zone that leads to final fracture. Analytical models are briefly reviewed and a graphical method, based on the shear response of the composite system, is described in order to estimate the UD compressive strength. Predictions for the HTS40/977-2 system are compared to experimental measurements and to data of five other unidirectional carbon fibre reinforced polymer (CFRP) composites that are currently used in aerospace and other structural applications. It is shown that the estimated values are in a good agreement with the measured results.     

On statistical inference in time series analysis of the evolution of road safety

Data collected for building a road safety observatory usually include observations made sequentially through time. Examples of such data, called time series data, include annual (or monthly) number of road traffic accidents, traffic fatalities or vehicle kilometers driven in a country, as well as the corresponding values of safety performance indicators (e.g., data on speeding, seat belt use, alcohol use, etc.). Some commonly used statistical techniques imply assumptions that are often violated by the special properties of time series data, namely serial dependency among disturbances associated with the observations. The first objective of this paper is to demonstrate the impact of such violations to the applicability of standard methods of statistical inference, which leads to an under or overestimation of the standard error and consequently may produce erroneous inferences. Moreover, having established the adverse consequences of ignoring serial dependency issues, the paper aims to describe rigorous statistical techniques used to overcome them. In particular, appropriate time series analysis techniques of varying complexity are employed to describe the development over time, relating the accident-occurrences to explanatory factors such as exposure measures or safety performance indicators, and forecasting the development into the near future. Traditional regression models (whether they are linear, generalized linear or nonlinear) are shown not to naturally capture the inherent dependencies in time series data. Dedicated time series analysis techniques, such as the ARMA-type and DRAG approaches are discussed next, followed by structural time series models, which are a subclass of state space methods. The paper concludes with general recommendations and practice guidelines for the use of time series models in road safety research.