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.     

Developing a hybrid PSO–ANN model for estimating the ultimate bearing capacity of rock-socketed piles

Neural Computing and Applications - Rock-socketed piles are commonly used in foundations built in soft ground, and thus, their bearing capacity is a key issue of universal concern in research,...     

Wells turbine for wave energy conversion: a review

In the past 20 years, the use of wave energy systems has significantly increased, generally depending on the oscillating water column concept. Wells turbine is one of the most efficient oscillating water column technologies. This article provides an updated and a comprehensive account of the state‐of‐the‐art research on Wells turbine. Hence, it draws a roadmap for the contemporary challenges, which may hinder future reliance on such systems in the renewable energy sector. In particular, the article is concerned with the research directions and methodologies, which aim at enhancing the performance and efficiency of Wells turbine. The article also provides a thorough discussion of the use of CFD for performance modeling and design optimization of Wells turbine. It is found that a numerical model using the CFD code can be employed successfully to calculate the performance characteristics of W‐T as well as other experimental and analytical methods. The increase of research papers about CFD, especially in the last 5 years, indicates that there is a trend that considerably depends on the CFD method. Copyright © 2016 John Wiley & Sons, Ltd.     

Physico-chemical properties of multi-floral honey from the West Bank,Palestine

Honey is a nutritious product that is produced by honey bees. Its nutritional value and genuine quality is of great importance to consumers. The present study aimed at evaluating the physico-chemical properties of Palestinian multi-floral honey from the West Bank. For this purpose, a total of 33 honey samples were collected directly from honey beekeepers in different geographic regions of the West Bank and analyzed for pH, moisture, relative density, total sugars, reducing sugars, sucrose, fructose, proteins, ash, hydroxymethylfurfural, and mineral content. The mean physico-chemical contents were: pH = 3.44, moisture = 16.53%, relative density = 1.424, reducing sugars = 78.86%, sucrose = 4.10%, fructose = 38.29%, proteins = 0.33%, ash = 0.14%, and hydroxymethylfurfural = 12.32 mg/kg. Cd and Pb were below detection limits in all samples analyzed. Honey samples were rich in K, Na, Ca, Pb, and Mg with concentrations ranging between 183.86 mg/kg (K) and 22.74 mg/kg (Mg). Other trace elements (Fe, Li, B, Mn, Ba, Zn, Cu, Cr, and Ni) were found in much smaller concentrations between 5.21 mg/kg (Fe) and 0.08 mg/kg (Ni). In conclusion, the results of physico-chemical analysis of Palestinian multi-floral honey indicated purity and good quality that meet the international honey standards.     

A GEP-based spatial decision support system for multisite land use allocation

Multisite Land Use Allocation Problem (MLUA) refers to the problem of allocating more than one land use type in an area. MLUA problem is one of the truly NP Complete (combinatorial optimization) problems. To cope with this type of problems, intelligent techniques such as genetic algorithms, and simulated annealing, have been used. Research in the area of Spatial Decision Support Systems (SDSS) for resource allocation issues, a new scientific area of information system applications developed to support semi-structured or unstructured spatial decisions, has recently generated attention for integrating Artificial Intelligence (AI) techniques with Geographic Information Systems (GIS). In this paper we demonstrate how GIS can be integrated with Gene Expression Programming (GEP), a recently developed AI approach, for solving MLUA problems. The feasibility of the proposed approach in solving MLUA problems was checked using a fictive case study. The results indicated that the proposed approach gives good and satisfactory results.     

Concerning the maximum frequency limits of Gunn operators

The length of the transit region of a Gunn diode determines the natural frequency at which it operates in fundamental mode－the shorter the device, the higher the frequency of operation. The long-held view on Gunn diode design is that for a functioning device the minimum length of the transit region is about 1.5 μm, limiting the devices to fundamental mode operation at frequencies of roughly 60 GHz. The authors posit that this theoretical restriction is a consequence of limits of the hydrodynamic models by which it was determined. Study of these devices by more advanced Monte Carlo techniques, which simulate the ballistic transport and electron-phonon interactions that govern device behaviour, offers a new lower bound of 0.5 μm, which is already being approached by the experimental evidence shown in planar and vertical devices exhibiting Gunn operation at 0.6 μm and 0.7 μm. It is shown that the limits for Gunn domain operation are determined by the device length required for the transferred electron effect to occur(approximately 0.15 μm, which as demonstrated is largely field independent) and the fundamental size of the domain(approximately 0.3 μm). At this new length, operation in fundamental mode at much higher frequencies becomes possible－the Monte Carlo model used predicts power output at frequencies over 300 GHz.     

Performance analysis of an opportunistic multi‐user cognitive network with multiple primary users

Consider a multi‐user underlay cognitive network where multiple cognitive users concurrently share the spectrum with a primary network with multiple users. The channel between the secondary network is assumed to have independent but not identical Nakagami‐m fading. The interference channel between the secondary users (SUs) and the primary users is assumed to have Rayleigh fading. A power allocation based on the instantaneous channel state information is derived when a peak interference power constraint is imposed on the secondary network in addition to the limited peak transmit power of each SU. The uplink scenario is considered where a single SU is selected for transmission. This opportunistic selection depends on the transmission channel power gain and the interference channel power gain as well as the power allocation policy adopted at the users. Exact closed form expressions for the moment‐generating function, outage performance, symbol error rate performance, and the ergodic capacity are derived. Numerical results corroborate the derived analytical results. The performance is also studied in the asymptotic regimes, and the generalized diversity gain of this scheduling scheme is derived. It is shown that when the interference channel is deeply faded and the peak transmit power constraint is relaxed, the scheduling scheme achieves full diversity and that increasing the number of primary users does not impact the diversity order. Copyright © 2014 John Wiley & Sons, Ltd.     

Survey on communication architectures for wind energy integration with the smart grid

Communication systems are needed to integrate generated power from wind farms with the electrical grid. This paper provides a comprehensive review of available communication technologies, protocols and objectives related to wind energy and electrical grid integration. This paper summarizes the communication system solutions for wind generation. A major obstacle is an absence of unified communication architectures and standards.