Composite Nanostructures of TiO2 and ZnO for Water Splitting Application: Atomic Layer Deposition Growth and Density Functional Theory Investigation

The commercialization of solar fuel devices requires the development of novel engineered photoelectrodes for water splitting applications which are based on redundant, cheap, and environmentally friendly materials. In the current study, a combination of titanium dioxide (TiO₂) and zinc oxide (ZnO) onto nanotextured silicon is utilized for a composite electrode with the aim to overcome the individual shortcomings of the respective materials. The properties of conformal coverage of TiO₂ and ZnO layers are designed on the atomic scale by the atomic layer deposition technique. The resulting photoanode shows not only promising stability but also nine times higher photocurrents than an equivalent photoanode with a pure TiO₂ encapsulation onto the nanostructured silicon. Density functional theory calculations indicate that segregation of TiO₂ at the ZnO surfaces is favorable and leads to the stabilization of the ZnO layers in water environments. In conclusion, the novel designed composite material constitutes a promising base for a stable and effective photoanode for the water oxidation reaction.     

Comment on ‘Discussion on Barkhausen and Nyquist stability criteria’

This comment is related to the recently published article entitled “On ‘Discussion on Barkhausen and Nyquist stability criteria’, Analog Integrated circuits and signal processing, Vol. 70, pp. 443–449, 2012. In this article the authors considered one of the possible four alternatives of the Wien-bridge oscillator that was previously considered in the article entitled “Discussion on Barkhausen and Nyquist stability criteria”, Analog Integrated Circuits and Signal Processing, Vol. 62, pp. 327–332, 2010, which depicts the failure of Barkhausen criterion concerning the determination of the condition of oscillation startup of sinusoidal oscillation. In the above mentioned articles the operational amplifier used is assumed ideal. In this comment it will be shown that the Wien-bridge oscillator circuit used in the above mentioned articles can behave as a sinusoidal oscillator only at relatively high frequencies when the operational amplifier can be considered non-ideal. At relatively low frequencies; when the operational amplifier can be considered ideal, the same circuit behaves as a relaxation oscillator with a square wave output rather than a sinusoidal output.     

Optimized intrusion detection mechanism using soft computing techniques

Intrusion detection is an important technique in computer and network security. A variety of intrusion detection approaches be present to resolve this severe issue but the main problem is performance. It is important to increase the detection rates and reduce false alarm rates in the area of intrusion detection. Therefore, in this research, an optimized intrusion detection mechanism using soft computing techniques is proposed to overcome performance issues. The KDD-cup dataset is used that is a benchmark for evaluating the security detection mechanisms. The Principal Component Analysis (PCA) is applied to transform the input samples into a new feature space. The selecting of an appropriate number of principal components is a critical problem. So, Genetic Algorithm (GA) is used in the optimum selection of principal components instead of using traditional method. The Support Vector Machine (SVM) is used for classification purpose. The performance of this approach is addresses. Further, a comparative analysis is made with existing approaches. Consequently, this method provides optimal intrusion detection mechanism which is capable to minimize amount of features and maximize the detection rates.     

Using Automated Negotiation for Grid Services

The popularity of grid services has widened their application to numerous domains and increased the utilization of computational resources. In order to create more incentives for the resources owners to lease their resources and prevent users from wasting the resources, the introduction of a market-oriented grid is inevitable. However, the issues for the negotiation between service provider and consumer over the supply and demand of resources can be complex, with highly interdependent issues. In this research, a simulated automated negotiation mechanism including a co-evolutionary mechanism and a modified game theory approach is proposed, to assist them in reaching an agreement over the conflicting issues. In the proposed architecture, the co-evolution process is able to reduce the multiple dimensional search space into a two-dimension search space and identify the appropriate negotiation strategies for the negotiating agents to form a payoff matrix which can be used for the game theory related stage of their interaction. The multiple stage negotiation process is introduced to improve the negotiation result. In this paper, an application which requires a large amount of computational resources to process the data generated from mobile devises is used to demonstrate that the proposed system is able to resolve the conflicts and obtain a valid solution.     

New two-CFOA-based floating immittance simulators

This paper presents new topologies for emulating floating immittance functions using three to five passive elements and only two current-feedback operational-amplifiers (CFOAs). The feasibility of using only two CFOAs and two passive components is explored. The proposed topologies can emulate lossy positive and negative inductances and capacitance-, inductance-, resistance-multipliers, and frequency dependent negative and positive conductances. The functionality of the proposed circuits was experimentally verified using the commercially available AD844 CFOA. The experimental results are in excellent agreement with theoretical calculations.     

Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog

Model Based System Engineering (MBSE) is a renowned approach in the context of embedded systems development. It is frequently used to deal with the structural and behavioral aspects of system design. However, the verification of system design is generally performed in isolation. It is particularly true in the context of assertion based verification. Consequently, there is a huge gap between system design and its verification that seriously effects the productivity and time-to market objectives. Therefore, in this research, we target to reduce this gap by exploiting the features of MBSE and SystemVerilog assertions (SVA’s). This article introduces a novel MBSE approach to model the design verification aspects of embedded systems, along with the system design (structural and behavioral aspects). We propose SystemVerilog in Object Constraint Language (SVOCL), an OCL temporal extension for SystemVerilog, to represent the design verification requirements by means of SVA’s. As a part of research, SVOCL transformation engine has been developed to generate SVA’s code in order to automate the design verification of embedded systems. The application of SVOCL has been validated through four case studies.     

Compressive sensing based high-resolution passive bistatic radar

Passive bistatic radar (PBR) systems using different communication signals can only offer low-resolution target detection due to their inherent low bandwidth. In this paper, compressive sensing (CS) is applied to multichannel FM and GSM PBR to achieve improved range-Doppler resolutions and avoid some limitations of classical multiband PBR processing. In CS context, block-structured time-domain dictionary which is formed from multichannel signals suffers from coherence when fine range resolution is employed. To overcome such a pitfall, this work first transforms the dictionary to spectral domain where only the most important spectral components are retained. Principle component analysis followed by a whitening method are then applied to this spectrally transformed data in order to reduce the dimensionality of problem, thereby reducing the dictionary size and most importantly fulfilling the required condition of dictionary incoherence for better CS-based recovery. Two different block-structured dictionary formations are tested. The performance of the recovery of spatially close targets, in both FM and GSM PBR setups, are reported.     

Job search website for illiterate users of Pakistan

Illiteracy is a major hurdle in socio-economic development of Pakistan. Research in the Information and Communication Technology (ICT) can help in tackling this issue by developing solutions tailored for illiterate population. The work presented within this paper proposes a job search website for illiterate population of KPK province of Pakistan. The designed website does not require any human assistance while searching a job. Moreover, the website uses culturally relevant graphical and audio content. The usability of the website is tested according to the ISO-9241-11 specification. Furthermore, we have studied the effect of the participants’ characteristics, i.e., their age, computer and mobile usage experience on the usability of the website. The results show that the participants found the website usable. Specifically, they could search suitable jobs with a minimal number of clicks and in less time as compared to the usual task completion rates reported throughout the literature. None of the participants’ characteristics were found to be affecting the usability of the website. These results suggest a promising potential of ICT solutions for providing services to illiterate population of Pakistan.     

Performance of Object Classification Using Zernike Moment

Moments have been used in all sorts of object classification systems based on image. There are lots of moments studied by many researchers in the area of object classification and one of the most preference moments is the Zernike moment. In this paper, the performance of object classification using the Zernike moment has been explored. The classifier based on neural networks has been used in this study. The results indicate the best performance in identifying the aggregate is at 91.4% with a ten orders of the Zernike moment. This encouraging result has shown that the Zernike moment is a suitable moment to be used as a feature of object classification systems.