Abstract: Formal Specification languages are being widely used
for system specification and testing. Highly critical systems such as
real time systems, avionics, and medical systems are represented
using Formal specification languages. Formal specifications based
testing is mostly performed using black box testing approaches thus
testing only the set of inputs and outputs of the system. The formal
specification language such as VDMµ can be used for white box
testing as they provide enough constructs as any other high level
programming language. In this work, we perform data and control
flow analysis of VDMµ class specifications. The proposed work is
discussed with an example of SavingAccount.
Abstract: Based on the field investigation and long term remote
sensing data, the dynamics of the alpine wetland in the river basin and
their response to climate change were studied. Results showed the
alpine wetlands accounted for 3.73% of total basin in 2010. Lake and
river appeared an increasing trend in the past 30 years, with an
increase of 34.36 % and 24.57%. However, swamp exhibited a
tendency of decreasing with 233.74 km2. Annual average temperature,
maximum temperature, minimum temperature and precipitation in the
river basin all exhibited an increasing trend, whereas relative humidity
exhibited a decreasing trend. Ice and snow melting are main reasons of
lake and river area enhancement and swamp area descend. There
existed 91.78%-97.86% of reduced swamp converted into lakes on the
basis of remote sensing image interpretation. China-s government
policy of implementing development in the river basin is the major
driving force of artificial wetland growth.
Abstract: In this paper the gradient based iterative algorithm is
presented to solve the linear matrix equation AXB +CXTD = E,
where X is unknown matrix, A,B,C,D,E are the given constant
matrices. It is proved that if the equation has a solution, then the
unique minimum norm solution can be obtained by choosing a special
kind of initial matrices. Two numerical examples show that the
introduced iterative algorithm is quite efficient.
Abstract: Horizontal wells are proven to be better producers
because they can be extended for a long distance in the pay zone.
Engineers have the technical means to forecast the well productivity
for a given horizontal length. However, experiences have shown that
the actual production rate is often significantly less than that of
forecasted. It is a difficult task, if not impossible to identify the real
reason why a horizontal well is not producing what was forecasted.
Often the source of problem lies in the drilling of horizontal section
such as permeability reduction in the pay zone due to mud invasion
or snaky well patterns created during drilling. Although drillers aim
to drill a constant inclination hole in the pay zone, the more frequent
outcome is a sinusoidal wellbore trajectory. The two factors, which
play an important role in wellbore tortuosity, are the inclination and
side force at bit. A constant inclination horizontal well can only be
drilled if the bit face is maintained perpendicular to longitudinal axis
of bottom hole assembly (BHA) while keeping the side force nil at
the bit. This approach assumes that there exists no formation force at
bit. Hence, an appropriate BHA can be designed if bit side force and
bit tilt are determined accurately. The Artificial Neural Network
(ANN) is superior to existing analytical techniques. In this study, the
neural networks have been employed as a general approximation tool
for estimation of the bit side forces. A number of samples are
analyzed with ANN for parameters of bit side force and the results
are compared with exact analysis. Back Propagation Neural network
(BPN) is used to approximation of bit side forces. Resultant low
relative error value of the test indicates the usability of the BPN in
this area.
Abstract: The purpose of this paper is to provide a practical
example to the Linear Quadratic Gaussian (LQG) controller. This
method includes a description and some discussion of the discrete
Kalman state estimator. One aspect of this optimality is that the
estimator incorporates all information that can be provided to it. It
processes all available measurements, regardless of their precision, to
estimate the current value of the variables of interest, with use of
knowledge of the system and measurement device dynamics, the
statistical description of the system noises, measurement errors, and
uncertainty in the dynamics models.
Since the time of its introduction, the Kalman filter has been the
subject of extensive research and application, particularly in the area
of autonomous or assisted navigation. For example, to determine the
velocity of an aircraft or sideslip angle, one could use a Doppler
radar, the velocity indications of an inertial navigation system, or the
relative wind information in the air data system. Rather than ignore
any of these outputs, a Kalman filter could be built to combine all of
this data and knowledge of the various systems- dynamics to
generate an overall best estimate of velocity and sideslip angle.
Abstract: In this paper, we introduce a robust state feedback controller design using Linear Matrix Inequalities (LMIs) and guaranteed cost approach for Takagi-Sugeno fuzzy systems. The purpose on this work is to establish a systematic method to design controllers for a class of uncertain linear and non linear systems. Our approach utilizes a certain type of fuzzy systems that are based on Takagi-Sugeno (T-S) fuzzy models to approximate nonlinear systems. We use a robust control methodology to design controllers. This method not only guarantees stability, but also minimizes an upper bound on a linear quadratic performance measure. A simulation example is presented to show the effectiveness of this method.
Abstract: The stability characteristics of water lubricated journal bearings having three axial grooves are obtained theoretically. In this lubricant (water) is fed under pressure from one end of the bearing, through the 3-axial grooves (groove angles may vary). These bearings can use the process fluid as the lubricant, as in the case of feed water pumps. The Reynolds equation is solved numerically by the finite difference method satisfying the boundary conditions. The stiffness and damping coefficient for various bearing number and eccentricity ratios, assuming linear pressure drop along the groove, shows that smaller groove angles better results.
Abstract: This paper proposes a dual tree complex wavelet transform (DT-CWT) based directional interpolation scheme for noisy images. The problems of denoising and interpolation are modelled as to estimate the noiseless and missing samples under the same framework of optimal estimation. Initially, DT-CWT is used to decompose an input low-resolution noisy image into low and high frequency subbands. The high-frequency subband images are interpolated by linear minimum mean square estimation (LMMSE) based interpolation, which preserves the edges of the interpolated images. For each noisy LR image sample, we compute multiple estimates of it along different directions and then fuse those directional estimates for a more accurate denoised LR image. The estimation parameters calculated in the denoising processing can be readily used to interpolate the missing samples. The inverse DT-CWT is applied on the denoised input and interpolated high frequency subband images to obtain the high resolution image. Compared with the conventional schemes that perform denoising and interpolation in tandem, the proposed DT-CWT based noisy image interpolation method can reduce many noise-caused interpolation artifacts and preserve well the image edge structures. The visual and quantitative results show that the proposed technique outperforms many of the existing denoising and interpolation methods.
Abstract: The two agro-ecological zones became the focus of
the study because of violent nature of the incessant conflict in the
zones. The available register of farmers association was the sampling
frame work where ten percent (61) farmers per state were randomly
sampled. Data were collected and analysed using z-test. The research
findings revealed tree crops and grains production enterprises ranked
higher in Osun (rain fed zones) and Taraba states (savannah zones)
respectively. Osun state entrepreneur felt the effect of the conflict on
their enterprises more than Tarba state. The reasons adduced for
severity of the conflict on enterprises are majority (77.0%) migrated
and (75.5%) of them were not allowed to enter their farms during and
when conflict deescalated unlike situation in Taraba state. The
different in enterprises production level between the two agroecological
zone was statistically significant at p
Abstract: Feature-based registration is an effective technique for clinical use, because it can greatly reduce computational costs. However, this technique, which estimates the transformation by using feature points extracted from two images, may cause misalignments. To handle with this limitation, we propose to extract the salient edges and extracted control points (CP) of medical images by using efficiency of multiresolution representation of data nonsubsampled contourlet transform (NSCT) that finds the best feature points. The MR images were first decomposed using the NSCT, and then Edge and CP were extracted from bandpass directional subband of NSCT coefficients and some proposed rules. After edge and CP extraction, mutual information was adopted for the registration of feature points and translation parameters are calculated by using particle swarm optimization (PSO). The experimental results showed that the proposed method produces totally accurate performance for registration medical CT-MR images.
Abstract: Image registration plays an important role in the
diagnosis of dental pathologies such as dental caries, alveolar bone
loss and periapical lesions etc. This paper presents a new wavelet
based algorithm for registering noisy and poor contrast dental x-rays.
Proposed algorithm has two stages. First stage is a preprocessing
stage, removes the noise from the x-ray images. Gaussian filter has
been used. Second stage is a geometric transformation stage.
Proposed work uses two levels of affine transformation. Wavelet
coefficients are correlated instead of gray values. Algorithm has been
applied on number of pre and post RCT (Root canal treatment)
periapical radiographs. Root Mean Square Error (RMSE) and
Correlation coefficients (CC) are used for quantitative evaluation.
Proposed technique outperforms conventional Multiresolution
strategy based image registration technique and manual registration
technique.
Abstract: This paper presents a possibilistic (fuzzy) model in optimal siting and sizing of Distributed Generation (DG) for loss reduction and improve voltage profile in power distribution system. Multi-objective problem is developed in two phases. In the first one, the set of non-dominated planning solutions is obtained (with respect to the objective functions of fuzzy economic cost, and exposure) using genetic algorithm. In the second phase, one solution of the set of non-dominated solutions is selected as optimal solution, using a suitable max-min approach. This method can be determined operation-mode (PV or PQ) of DG. Because of considering load uncertainty in this paper, it can be obtained realistic results. The whole process of this method has been implemented in the MATLAB7 environment with technical and economic consideration for loss reduction and voltage profile improvement. Through numerical example the validity of the proposed method is verified.
Abstract: This paper proposed a new CAD tools for microwave amplifier design. The proposed tool is based on survey about the broadband amplifier design methods, such as the Feedback amplifiers, balanced amplifiers and Compensated Matching Network The proposed tool is developed for broadband amplifier using a compensated matching network "unconditional stability amplifier". The developed program is based on analytical procedures with ability of smith chart explanation. The C# software is used for the proposed tools implementation. The program is applied on broadband amplifier as an example for testing. The designed amplifier is considered as a broadband amplifier at the range 300-700 MHz. The results are highly agreement with the expected results. Finally, these methods can be extended for wide band amplifier design.
Abstract: The direct sewage sludge application is a relative
cheap method for their liquidation. In the past heavy metal contents
increase in soils treated with sewage sludge was observed. In 2003
there was acceptance on act n.188/2003 about sewage sludge
application on soils. The basic philosophy of act is a safety of the
environmental proof of sludge application on soils. The samples of
soils from wastewater treatment plant (WTP) Poprad (35) and WTP
Michalovce (33 samples) were analyzed which were chosen for
sludge application on soils. According to the results only 14 areas for
Poprad and 25 areas for Michalovce are suitable for sludge
application according to act No. 188/2003. The application dose of
sludge was calculated 50 t.ha-1 or 75 t. ha-1 once in 5 years to ensure
that heavy metal contents in treated soils will be kept.
Abstract: Citizens are increasingly are provided with choice and
customization in public services and this has now also become a key
feature of higher education in terms of policy roll-outs on personal
development planning (PDP) and more generally as part of the
employability agenda. The goal here is to transform people, in this
case graduates, into active, responsible citizen-workers. A key part of
this rhetoric and logic is the inculcation of graduate attributes within
students. However, there has also been a concern with the issue of
student lack of engagement and perseverance with their studies. This
paper sets out to explore some of these conceptions that link graduate
attributes with citizenship as well as the notion of how identity is
forged through the higher education process. Examples are drawn
from a quality enhancement project that is being operated within the
context of the Scottish higher education system. This is further
framed within the wider context of competing and conflicting
demands on higher education, exacerbated by the current worldwide
economic climate. There are now pressures on students to develop
their employability skills as well as their capacity to engage with
global issues such as behavioural change in the light of
environmental concerns. It is argued that these pressures, in effect,
lead to a form of personalization that is concerned with how
graduates develop their sense of identity as something that is
engineered and re-engineered to meet these demands.
Abstract: The present research focus on the processing of mullite-based ceramics from oil refinery industrial wastes and byproducts of agricultural industry and on the investigating of silane modified surface of ceramics. Two waste products were used as initial material – waste aluminum oxide and waste rice husk. The burning - out additives used were waste rise husk. It is known that the oxide ceramics surface is hydrophilic due to the presence of – OH groups in it. The nature of ceramic surface regarding permeation of water and hydrocarbons can be changed by further treatment with silanes. The samples were studied mainly by X-ray analysis, FT-IR absorbance measurements and microscopic analysis. The X-ray analyses showed the phase composition depends on the firing temperature and on the purity of the starting alumina. Two kind of silanes were used for the transformation of surface from hydrophilic to hydrophobic – trimethoxymethylsilane (TMMS) and trimethylclorsilane (TMCS).
Abstract: The flow field within the combustor of scramjet
engine is very complex and poses a considerable challenge in the
design and development of a supersonic combustor with an optimized
geometry. In this paper comprehensive numerical studies on flow
field characteristics of different cavity based scramjet combustors
with transverse injection of hydrogen have been carried out for both
non-reacting and reacting flows. The numerical studies have been
carried out using a validated 2D unsteady, density based 1st-order
implicit k-omega turbulence model with multi-component finite rate
reacting species. The results show a wide variety of flow features
resulting from the interactions between the injector flows, shock
waves, boundary layers, and cavity flows. We conjectured that an
optimized cavity is a good choice to stabilize the flame in the
hypersonic flow, and it generates a recirculation zone in the scramjet
combustor. We comprehended that the cavity based scramjet
combustors having a bearing on the source of disturbance for the
transverse jet oscillation, fuel/air mixing enhancement, and flameholding
improvement. We concluded that cavity shape with
backward facing step and 45o forward ramp is a good choice to get
higher temperatures at the exit compared to other four models of
scramjet combustors considered in this study.
Abstract: Shirvan is located in plain in Northern Khorasan province north east of Iran and has semiarid to temperate climate. To investigate the annual changes in some qualitative parameters such as electrical conductivity, total dissolved solids and chloride concentrations which have increased during ten continuous years. Fourteen groundwater sources including deep as well as semi-deep wells were sampled and were analyzed using standard methods. The trends of obtained data were analyzed during these years and the effects of different factors on the changes in electrical conductivity, concentration of chloride and total dissolved solids were clarified. The results showed that the amounts of some qualitative parameters have been increased during 10 years time which has led to decrease in water quality. The results also showed that increased in urban populations as well as extensive industrialization in the studied area are the most important reasons to influence underground water quality. Furthermore decrease in water quantity is also evident due to more water utilization and occurrence of recent droughts in the region during recent years.
Abstract: The network of delivering commodities has been an important design problem in our daily lives and many transportation applications. The delivery performance is evaluated based on the system reliability of delivering commodities from a source node to a sink node in the network. The system reliability is thus maximized to find the optimal routing. However, the design problem is not simple because (1) each path segment has randomly distributed attributes; (2) there are multiple commodities that consume various path capacities; (3) the optimal routing must successfully complete the delivery process within the allowable time constraints. In this paper, we want to focus on the design optimization of the Multi-State Flow Network (MSFN) for multiple commodities. We propose an efficient approach to evaluate the system reliability in the MSFN with respect to randomly distributed path attributes and find the optimal routing subject to the allowable time constraints. The delivery rates, also known as delivery currents, of the path segments are evaluated and the minimal-current arcs are eliminated to reduce the complexity of the MSFN. Accordingly, the correct optimal routing is found and the worst-case reliability is evaluated. It has been shown that the reliability of the optimal routing is at least higher than worst-case measure. Two benchmark examples are utilized to demonstrate the proposed method. The comparisons between the original and the reduced networks show that the proposed method is very efficient.
Abstract: A bird strike can cause damage to stationary and
rotating aircraft engine parts, especially the engine fan. This paper
presents a bird strike simulated by blocking four stator blade
passages. It includes the numerical results of the unsteady lowfrequency
aerodynamic forces and the aeroelastic behaviour caused
by a non-symmetric upstream flow affecting the first two rotor blade
stages in the axial-compressor of a jet engine. The obtained results
show that disturbances in the engine inlet strongly influence the level
of unsteady forces acting on the rotor blades. With a partially
blocked inlet the whole spectrum of low-frequency harmonics is
observed. Such harmonics can lead to rotor blade damage. The lowfrequency
amplitudes are higher in the first stage rotor blades than in
the second stage. In both rotor blades stages flutter appeared as a
result of bird strike.