Sulphur dioxide loadings over megacity Lahore (Pakistan) and adjoining region of Indo-Gangetic Basin

This article presents spatial and temporal variations of planetary boundary layer (PBL) sulphur dioxide (SO₂) over megacity Lahore and adjoining region, a typical representative area in the Indo-Gangetic Basin (IGB) largely influenced by transported volcanic SO₂ from Africa, Middle East, and southern Europe, by using data retrieved from satellite-based Ozone Monitoring Instrument (OMI) during October 2004–September 2015. We find a positive trend of 2.4% per year (slope 0.01 ± 0.005 with y-intercept 0.35 ± 0.03 Dobson Unit (DU), correlation coefficient r = 0.55 and 2-tailed p-value at 0.1) of OMI-SO₂ column with the average value of 0.4 ± 0.05 DU. Strong seasonality of OMI-SO₂ column is observed over the region linked with local meteorology, patterns of anthropogenic emissions, crop residue burning, and vegetation cover. There exists a seasonal high value in winter 0.56 ± 0.24 DU with a peak in December 0.67 ± 0.26 DU. The seasonal lowest value is observed to be 0.29 ± 0.11 DU in wet summer with minimum value in July 0.25 ± 0.06 DU. High growth rates of OMI-SO₂ column over the study region have been observed in January, June, October, and December ranging from 5.7% to 11.6% per year. Satellite data show elevated OMI-SO₂ columns in 2007, 2008, 2011, and 2012 largely contributed by trans-boundary volcanic SO₂. A detailed analysis of volcanic SO₂ transported from Africa and Middle East (Jabal Al-Tair, Dalaffilla, and Nabro volcanoes) over the study area is presented. Air mass trajectories suggest the presence of long-range transported volcanic SO₂ at high altitude levels over Lahore and IGB region during the volcanic episodes. The SO₂ enhancements in PBL during winter season are generally due to significant vertical downdraft of high-altitude volcanic SO₂. For the first time, we present significant influence of volcanic SO₂ from southern Europe (Mt. Etna volcano) reaching over the study area. Daily mean OMI-SO₂ levels up to 21.4, 10.0, 5.6, and 2.4 DU have been noticed due to the eruptions from Dalaffilla, Mt. Etna, Nabro, and Jabal Al-Tair volcanoes, respectively.     

A survey on search results diversification techniques

The quantity of information placed on the web has been greater than before and is increasing rapidly day by day. Searching through the huge amount of data and finding the most relevant and useful result set involves searching, ranking, and presenting the results. Most of the users probe into the top few results and neglect the rest. In order to increase user’s satisfaction, the presented result set should not only be relevant to the search topic, but should also present a variety of perspectives, that is, the results should be different from one another. The effectiveness of web search and the satisfaction of users can be enhanced through providing various results of a search query in a certain order of relevance and concern. The technique used to avoid presenting similar, though relevant, results to the user is known as a diversification of search results. This article presents a survey of the approaches used for search result diversification. To this end, this article not only provides a technical survey of existing diversification techniques, but also presents a taxonomy of diversification algorithms with respect to the types of search queries.     

Wire antennas optimized using genetic algorithm

In this work, wire antennas are designed to jam GSM frequencies using genetic algorithms. These antennas are designed to block communication at 3-band GSM frequencies. They are planned to be mounted on a vehicle and therefore are modeled on a ground plane. Jammer antennas designed in this work are composed of wires, placed on two square dielectric frames, perpendicular to each other. Genetic optimization routines are developed on MATLAB environment for the designs carried out in this work. Electromagnetic simulation program called SuperNEC, which analyses antennas by the method of moments, is used to determine the antenna performances and is called by the developed GA routines. The purpose of the antenna optimization is to obtain low VSWR values and omni-directional radiation pattern near ground at θ = [70° 80° 90°] planes at all GSM frequencies, since the targets will be near ground for this application. Original and interesting antenna designs are obtained as the result of genetic optimization, and are presented in the paper.     

A novel distributed scheduling scheme for OFDMA uplink using channel information and probabilistic transmission

Distributed uplink scheduling in OFDMA systems is considered. In the proposed model, mobile terminals have the responsibility of making their own transmission decisions. The proposed scheme is based on two dimensional reservation in time and frequency. Terminals use channel state information in order to favor transmissions over certain subchannels, and transmission is done in a probabilistic manner. The proposed approach provides more autonomy to mobile devices in making transmission decisions. Furthermore, it allows avoiding collisions during transmission since it leads to collision detection during the resource reservation phase. The proposed approach is compared to other random access methods and shown to be superior in terms of increasing sum-rate, reducing the number of users in outage, and reducing the collision probability in the reservation phase.     

Minimal model generation for refined answering of generalized queries in disjunctive deductive databases

Generalized queries are defined as sets of clauses in implication form. They cover several tasks of practical importance for database maintenance such as answering positive queries, computing database completions and integrity constraints checking. We address the issue of answering generalized queries under the minimal model semantics for the class of disjunctive deductive databases (DDDBs). The advanced approach is based on having the query induce an order on the models returned by a sound and complete minimal model generating procedure. We consider answers that are true in all and those that are true in some minimal models of the theory. We address the issue of answering positive queries through the construction of the minimal model state of the DDDB, using a minimal model generating procedure. The refinements allowed by the procedure include isolating a minimal component of a disjunctive answer, the specification of possible updates to the theory to enable the derivability of certain queries and deciding the monotonicity properties of answers to different classes of queries.     

On-line tuning strategy for model predictive controllers

This paper presents an intuitive on-line tuning strategy for linear model predictive control (MPC) algorithms. The tuning strategy is based on the linear approximation between the closed-loop predicted output and the MPC tuning parameters. By direct utilization of the sensitivity expressions for the closed-loop response with respect to the MPC tuning parameters, new values of the tuning parameters can be found to steer the MPC feedback response inside predefined time-domain performance specifications. Hence, the algorithm is cast as a simple constrained least squares optimization problem which has a straightforward solution. The simplicity of this strategy makes it more practical for on-line implementation. Effectiveness of the proposed strategy is tested on two simulated examples. One is a linear model for a three-product distillation column and the second is a non-linear model for a CSTR. The effectiveness of the proposed tuning method is compared to an exiting offline tuning method and showed superior performance.     

Détermination du facteur de multiplication M pour un fonctionnement optimal des photodétecteurs à avalanche

The purpose of this paper is relative to the determination of the multiplication factor Mfor an optimum behaviour of the avalanche photodetector. Two types of avalanche photodetector s are compared: a silicon structure n ⁺ πpπp ⁺ Read diode and a GaAlAs heterostructure. Calculating the Noise Equivalent Power (nep)of the whole system, the law S_i(f) =2q I_phoM_x is used, where the parameter x is determined experimentally in both avalanche photodetectors. The exponent x (between 2 and 4) dominates in the nep expression and the ideal nep for the avalanche photodetector system is obtained when x equals 2.     

Three Dimensional Conceptualisation of Hydrogeological Environment to Underpin Groundwater Management in Irrigation Area

Australian irrigated agriculture utilises about 70?% of all water used in the country, 21?% of which is derived from groundwater. Sustainability for irrigated agriculture also depends on keeping the watertables at a safe level below the rootzone to avoid salinisation and reduction in crop yields. There is a vital need to understand groundwater and aquifer systems and their roles in the sustainability of irrigated agriculture in order to manage groundwater properly. This study builds on the previous hydrogeological and groundwater investigations of the Coleambally Irrigation Area (CIA) in New South Wales of Australia. It presents a new approach which systematically characterises regional hydrogeological environment using a three-dimensional (3-D) conceptual framework developed in ArcGIS. The 3-D hydrological conceptualisation of the CIA has integrated disparate sources of data into a coherent knowledge base for a better visualisation of hydrogeological characteristics and a comprehensive analysis of groundwater flow and aquifers. As an application example, the model was used to develop cross-sectional models of the area and to estimate regional-scale net recharge. The results have provided a basis for the numerical modelling and added values to procedures which underpin irrigation system management investment decisions through improving the understanding of hydrogeology underlying the area and creating an action-oriented dialogue among stakeholders.     

Evaluation of an adaptive and intelligent educational hypermedia for enhanced individual learning of mathematics: A qualitative study

The purpose of this study is to design a personalized adaptive and intelligent web based tutoring system based on learning style and expert system named UZWEBMAT and to evaluate its effects on 10th grade students’ learning of the unit of probability. In the study, initially, learning objects were prepared in three different ways in relation to three sub-learning areas of Visual–Auditory–Kinesthetic (VAK) learning style for each subject of the probability unit. These were appropriate for secondary school mathematics curricula. Then, they were transferred into the digital environment. Each student’s dominant learning style determines the content to which s/he will be directed since s/he is directed to the content that is appropriate for his/her learning style. The course to be followed by the students within UZWEBMAT and their browsing around the pages are decided by expert system integrated into the system. This expert system sets the situations in which s/he will get solution supports and the course s/he will follow in accordance with the performance of the student. Hereby, each student may follow a different course, and the solution supports s/he will get may also differ highlighting the individual learning. The sample of the study consists of 81 10th grade students and 3 mathematics teachers from two high schools in Trabzon, Turkey. Qualitative data were obtained both from the teachers and students participating in the study in order to answer the research questions about the implementation and evaluation of UZWEBMAT for mathematics teaching in a high school classroom. Obtained data were analyzed using qualitative data analysis methods. According to the results of the present study, positive opinions of students and teachers such as taking into account the individual learning differences and deriving mathematical relations and formulas through exploration became prominent. In addition, there were also other positive opinions of students and teachers such as providing permanent learning and introducing learning responsibility to the students. In this sense, it was concluded that UZWEBMAT is a beneficial instrument for both students and teachers.     

SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy

SATCHMORE was introduced as a mechanism to integrate relevancy testing with the model-generation theorem prover SATCHMO. This made it possible to avoid invoking some clauses that appear in no refutation, which was a major drawback of the SATCHMO approach. SATCHMORE relevancy, however, is driven by the entire set of negative clauses and no distinction is accorded to the query negation. Under unfavorable circumstances, such as in the presence of large amounts of negative data, this can reduce the efficiency of SATCHMORE. In this paper we introduce a further refinement of SATCHMO called SATCHMOREBID: SATCHMORE with BIDirectional relevancy. SATCHMOREBID uses only the negation of the query for relevancy determination at the start. Other negative clauses are introduced on demand and only if a refutation is not possible using the current set of negative clauses. The search for the relevant negative clauses is performed in a forward chaining mode as opposed to relevancy propagation in SATCHMORE which is based on backward chaining. SATCHMOREBID is shown to be refutationally sound and complete. Experiments on a prototype SATCHMOREBID implementation point to its potential to enhance the efficiency of the query answering process in disjunctive databases. Donald Loveland, Ph.D.: He is Emeritus Professor of Computer Science at Duke University. He received his Ph.D. in mathematics from New York University and taught at NYU and CMU prior to joining Duke in 1973. His research in automated deduction includes defining the model elimination proof procedure and the notion of linear resolution. He is author of one book and editor/co-editor of two other books on automated theorem proving. He has done research in the areas of algorithms, complexity, expert systems and logic programming. He is an AAAI Fellow, ACM Fellow and winner of the Herbrand Award in Automated Reasoning. Adnan H. Yahya, Ph.D.: He is an associate professor at the Department of Electrical Engineering, Birzeit University, Palestine. He received his Diploma and PhD degrees from St. Petersburg Electrotechnical University and Nothwestern University in 1979 and 1984 respectively. His research interests are in Artificial Intelligence in general and in the areas of Deductive Databases, Logic Programming and Nonmonotonic Reasoning in particular. He had several visiting appointments at universities and research labs in the US, Germany, France and the UK. Adnan Yahya is a member of the ACM, IEEE and IEEE Computer Society.