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: Gilaburu (Viburnum opulus L.) grown naturally in
Anatolia. In this study, some physico-chemical (sugar, acid, protein,
crude fat, crude fiber, ash etc.) characteristics and mineral
composition of Gilaburu fruit have been investigated. The length,
width, thickness, weight, total soluble solid, protein, crude ash, crude
fiber and crude oil of fruit were found to be 1.12 cm, 1.58 cm, 1.87
cm, 0.87 g, 14.73 %, 0.2 %, 0.11 %, 6.56 % and 0.4 %, respectively.
The seed of fruit mean weight, length, width and thickness were
determinated as 0.08 g, 7.76 cm, 7.67 cm and 1.66, respectively. In
addition 27 mineral elements (Al, Mg, Na, Ba, Ca, Ni, Cd, P, Cr, Pb,
S, Cu, Se, Fe, K, Sr, Li, Z, V, Ag, Bi, Co, Mn, B, Ga, In, Ti) were
analyzed. Gilaburu (Viburnum opulus L.) fruit was richest in
potassium (10764.764 ppm), Mg (1289.088 ppm) and P (1304.169
ppm).
Abstract: Development of levels of service in municipal context
is a flexible vehicle to assist in performing quality-cost trade-off
analysis for municipal services. This trade-off depends on the
willingness of a community to pay as well as on the condition of the
assets. Community perspective of the performance of an asset from
service point of view may be quite different from the municipality
perspective of the performance of the same asset from condition
point of view. This paper presents a three phased level of service
based methodology for water mains that consists of :1)development
of an Analytical Hierarchy model of level of service 2) development
of Fuzzy Weighted Sum model of water main condition index and 3)
deriving a Fuzzy logic based function that maps level of service to
asset condition index. This mapping will assist asset managers in
quantifying condition improvement requirement to meet service
goals and to make more informed decisions on interventions and
relayed priorities.
Abstract: Hydrogen sulfide (H2S) is a very toxic gas that is produced in very large quantities in the oil and gas industry. It cannot be flared to the atmosphere and Claus process based gas plants are used to recover the sulfur and convert the hydrogen to water. In this paper, we present optical characterization of an atmospheric pressure microwave plasma torch for H2S dissociation into hydrogen and sulfur. The torch is operated at 2.45 GHz with power up to 2 kW. Three different gases can simultaneously be injected in the plasma torch. Visual imaging and optical emission spectroscopy are used to characterize the plasma for varying gas flow rates and microwave power. The plasma length, emission spectra and temperature are presented. The obtained experimental results validate our earlier published simulation results of plasma torch.
Abstract: Combining energy efficiency with renewable energy
sources constitutes a key strategy for a sustainable future. The wind
power sector stands out as a fundamental element for the
achievement of the European renewable objectives and Portugal is no
exception to the increase of the wind energy for the electricity
generation. This work proposes an optimization model for the long
range electricity power planning in a system similar to the
Portuguese one, where the expected impacts of the increasing
installed wind power on the operating performance of thermal power
plants are taken into account. The main results indicate that the
increasing penetration of wind power in the electricity system will
have significant effects on the combined cycle gas power plants
operation and on the theoretically expected cost reduction and
environmental gains. This research demonstrated the need to address
the impact that energy sources with variable output may have, not
only on the short-term operational planning, but especially on the
medium to long range planning activities, in order to meet the
strategic objectives for the energy sector.
Abstract: Decision support systems are usually based on
multidimensional structures which use the concept of hypercube.
Dimensions are the axes on which facts are analyzed and form a
space where a fact is located by a set of coordinates at the
intersections of members of dimensions. Conventional
multidimensional structures deal with discrete facts linked to discrete
dimensions. However, when dealing with natural continuous
phenomena the discrete representation is not adequate. There is a
need to integrate spatiotemporal continuity within multidimensional
structures to enable analysis and exploration of continuous field data.
Research issues that lead to the integration of spatiotemporal
continuity in multidimensional structures are numerous. In this paper,
we discuss research issues related to the integration of continuity in
multidimensional structures, present briefly a multidimensional
model for continuous field data. We also define new aggregation
operations. The model and the associated operations and measures
are validated by a prototype.
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: EEG signal is one of the oldest measures of brain
activity that has been used vastly for clinical diagnoses and
biomedical researches. However, EEG signals are highly
contaminated with various artifacts, both from the subject and from
equipment interferences. Among these various kinds of artifacts,
ocular noise is the most important one. Since many applications such
as BCI require online and real-time processing of EEG signal, it is
ideal if the removal of artifacts is performed in an online fashion.
Recently, some methods for online ocular artifact removing have
been proposed. One of these methods is ARMAX modeling of EEG
signal. This method assumes that the recorded EEG signal is a
combination of EOG artifacts and the background EEG. Then the
background EEG is estimated via estimation of ARMAX parameters.
The other recently proposed method is based on adaptive filtering.
This method uses EOG signal as the reference input and subtracts
EOG artifacts from recorded EEG signals. In this paper we
investigate the efficiency of each method for removing of EOG
artifacts. A comparison is made between these two methods. Our
undertaken conclusion from this comparison is that adaptive filtering
method has better results compared with the results achieved by
ARMAX modeling.
Abstract: In this article, a simulation method called the Homotopy Perturbation Method (HPM) is employed in the steady flow of a Walter's B' fluid in a vertical channel with porous wall. We employed Homotopy Perturbation Method to derive solution of a nonlinear form of equation obtained from exerting similarity transforming to the ordinary differential equation gained from continuity and momentum equations of this kind of flow. The results obtained from the Homotopy Perturbation Method are then compared with those from the Runge–Kutta method in order to verify the accuracy of the proposed method. The results show that the Homotopy Perturbation Method can achieve good results in predicting the solution of such problems. Ultimately we use this solution to obtain the other terms of velocities and physical discussion about it.
Abstract: A lot of matching algorithms with different characteristics have been introduced in recent years. For real time systems these algorithms are usually based on minutiae features. In this paper we introduce a novel approach for feature extraction in which the extracted features are independent of shift and rotation of the fingerprint and at the meantime the matching operation is performed much more easily and with higher speed and accuracy. In this new approach first for any fingerprint a reference point and a reference orientation is determined and then based on this information features are converted into polar coordinates. Due to high speed and accuracy of this approach and small volume of extracted features and easily execution of matching operation this approach is the most appropriate for real time applications.
Abstract: In this paper, an automatic control system design
based on Integral Squared Error (ISE) parameter optimization
technique has been implemented on longitudinal flight dynamics of
an UAV. It has been aimed to minimize the error function between
the reference signal and the output of the plant. In the following
parts, objective function has been defined with respect to error
dynamics. An unconstrained optimization problem has been solved
analytically by using necessary and sufficient conditions of
optimality, optimum PID parameters have been obtained and
implemented in control system dynamics.
Abstract: In the present research, the titanium-catalyzed
ethylene dimerization and more specifically, the concomitant byproducts
and polymer formation have been studied in the presence of 2,5-dimethoxytetrahydrofuran as an electron donor compound in the
combination with triethylaluminium (TEA) as activator. Then, we
added ethylene chlorobromide as a new efficient promoter to the
relevant catalyst system. Finally, the behavior of novel homogeneous
[Titanium tetrabutoxide (Ti(OC4H9)4)/2,5-dimethoxytetrahydrofuran/
TEA/ethylene chlorobromide] was investigated in the various
operating conditions for the optimum production of 1-butene. In the
optimum conditions, a very high ethylene conversion (almost 90.77
%), a relative high selectivity to 1-butene (79.00 %), yield of reaction equal to 71.70 % and a significant productivity (turnover frequency
equal to 1370 h-1) were achieved.
Abstract: This work concerns the measurements of a Bulk
Acoustic Waves (BAW) emission filter S parameters and compare
with prototypes simulated types. Thanks to HP-ADS, a co-simulation
of filters- characteristics in a digital radio-communication chain is
performed. Four cases of modulation schemes are studied in order to
illustrate the impact of the spectral occupation of the modulated
signal. Results of simulations and co-simulation are given in terms of
Error Vector Measurements to be useful for a general sensibility
analysis of 4th/3rd Generation (G.) emitters (wideband QAM and
OFDM signals)
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: Online discussions are an important component of
both blended and online courses. This paper examines the varieties of
online discussions and the perils, pitfalls and possibilities of this
rather new technological tool for enhanced learning. The discussion
begins with possible perils and pitfalls inherent in this educational
tool and moves to a consideration of the advantages of the varieties
of online discussions feasible for use in teacher education programs.
Abstract: At the end of the 20th century it was actual the
development of transport corridors and the improvement of their
technical parameters. With this purpose, many countries and Georgia
among them manufacture to construct new highways, railways and
also reconstruction-modernization of the existing transport
infrastructure. It is necessary to explore the artificial structures
(bridges and tunnels) on the existing tracks as they are very old.
Conference report includes the peculiarities of reconstruction of
tunnels, because we think that this theme is important for the
modernization of the existing road infrastructure. We must remark
that the methods of determining mining pressure of tunnel
reconstructions are worked out according to the jobs of new tunnels
but it is necessary to foresee additional mining pressure which will be
formed during their reconstruction. In this report there are given the
methods of figuring the additional mining pressure while
reconstruction of tunnels, there was worked out the computer
program, it is determined that during reconstruction of tunnels the
additional mining pressure is 1/3rd of main mining pressure.
Abstract: Alpinia galanga is rhizome, generally known as
Greater galangal and is selected for isolation of newer constituents
accountable for various therapeutic activities. Present study is
intended to isolate glycoside from Alpinia galanga rhizomes. Alpinia
galanga methanolic extract was column chromatograph and eluted
with ethyl acetate-methanol (99:1) to isolate compound β-Sitosterol
Diarabinoside. Herein, the isolation and structural elucidation of new
compound is described. Chemical investigation of methanolic extract
of rhizomes of Alpinia galanga furnished a new compound β-
Sitosterol Diarabinoside. The IR, NMR and MASS investigations of
isolated compound confirmed its structure as β-Sitosterol
Diarabinoside, which is isolated for the first time from a medicinal
plant or any synthetic source.
Abstract: Bubble generation was observed using a high-speed
camera in subcooled flow boiling at low void fraction. Constant heat
flux was applied on one side of an upward rectangular channel to
make heated test channel. Water as a working fluid from high
subcooling to near saturation temperature was injected step by step to
investigate bubble behavior during void development. Experiments
were performed in two different pressures condition close to 2bar and
4bar. It was observed that in high subcooling when boiling was
commenced, bubble after nucleation departed its origin and slid
beside heated surface. In an observation window mean release
frequency of bubble fb,mean, nucleation site Ns and mean bubble
volume Vb,mean in each step of experiments were measured to
investigate wall vaporization rate. It was found that in proximity of
PNVG vaporization rate was increased significantly in compare with
condensation rate which remained in low value.
Abstract: Low-carbon economy means the energy conservation and emission reduction. How to measure and evaluate the regional low-carbon economy is an important problem which should be solved immediately. This paper proposed the eco-efficiency ratio based on the ecological efficiency to evaluate the current situation of the low-carbon economy in Jiangsu province and to analyze the efficiency of the low-carbon economy in Jiangsu and other provinces, compared both advantages and disadvantages. And then this paper put forward some advices for the government to formulate the correct development policy of low-carbon economy, to improve the technology innovation capacity and the efficiency of resource allocation.
Abstract: This paper deals with the project selection problem. Project selection problem is one of the problems arose firstly in the field of operations research following some production concepts from primary product mix problem. Afterward, introduction of managerial considerations into the project selection problem have emerged qualitative factors and criteria to be regarded as well as quantitative ones. To overcome both kinds of criteria, an analytic network process is developed in this paper enhanced with fuzzy sets theory to tackle the vagueness of experts- comments to evaluate the alternatives. Additionally, a modified version of Least-Square method through a non-linear programming model is augmented to the developed group decision making structure in order to elicit the final weights from comparison matrices. Finally, a case study is considered by which developed structure in this paper is validated. Moreover, a sensitivity analysis is performed to validate the response of the model with respect to the condition alteration.