Abstract: In this paper, we proposed a method for detecting consistency violation between state machine diagrams and a sequence diagram defined in UML 2.0 using SMV. We extended a method expressing these diagrams defined in UML 1.0 with boolean formulas so that it can express a sequence diagram with combined fragments introduced in UML 2.0. This extension made it possible to represent three types of combined fragment: alternative, option and parallel. As a result of experiment, we confirmed that the proposed method could detect consistency violation correctly with SMV.
Abstract: Proxy signature helps the proxy signer to sign
messages on behalf of the original signer. It is very useful when
the original signer (e.g. the president of a company) is not
available to sign a specific document. If the original signer can
not forge valid proxy signatures through impersonating the proxy
signer, it will be robust in a virtual environment; thus the original
signer can not shift any illegal action initiated by herself to the
proxy signer. In this paper, we propose a new proxy signature
scheme. The new scheme can prevent the original signer from
impersonating the proxy signer to sign messages. The proposed
scheme is based on the regular ElGamal signature. In addition,
the fair privacy of the proxy signer is maintained. That means,
the privacy of the proxy signer is preserved; and the privacy can
be revealed when it is necessary.
Abstract: This paper describes the development of a control
system model using a graphical software tool. This control system is
part of an operator training simulator developed for the National
Training Center for Operators of Ixtapantongo (CNCAOI, acronym
according to its name in Spanish language) of the Mexico-s Federal
Commission of Electricity, CFE). The Department of Simulation of
the Electrical Research Institute (IIE) developed this simulator using
as reference the Unit I of the Combined Cycle Power Plant El Sauz,
located at the centre of Mexico. The first step in the project was the
developing of the Gas Turbine System and its control system
simulator. The Turbo Gas simulator was finished and delivered to
CNCAOI in March 2007 for commercial operation. This simulator is
a high-fidelity real time dynamic simulator built and tested for
accurate operation over the entire load range. The simulator was used
primarily for operator training although it has been used for
procedure development and evaluation of plant transients.
Abstract: This paper presented a new approach for centralized
monitoring and self-protected against fiber fault in fiber-to-the-home
(FTTH) access network by using Smart Access Network Testing,
Analyzing and Database (SANTAD). SANTAD will be installed
with optical line terminal (OLT) at central office (CO) for in-service
transmission surveillance and fiber fault localization within FTTH
with point-to-multipoint (P2MP) configuration downwardly from CO
towards customer residential locations based on the graphical user
interface (GUI) processing capabilities of MATLAB software.
SANTAD is able to detect any fiber fault as well as identify the
failure location in the network system. SANTAD enable the status of
each optical network unit (ONU) connected line is displayed onto
one screen with capability to configure the attenuation and detect the
failure simultaneously. The analysis results and information will be
delivered to the field engineer for promptly actions, meanwhile the
failure line will be diverted to protection line to ensure the traffic
flow continuously. This approach has a bright prospect to improve
the survivability and reliability as well as increase the efficiency and
monitoring capabilities in FTTH.
Abstract: Ligula intestinalis is a three-host life-cycle
Pseudophyllidean Cestode which in its plerocercoid stage infests a
range of fresh water species. The objective of the present study was
the worm occurrence within planctonic copepods, fishes and
piscivorous birds and examine of parasite-hosts samples in the Lake
of Sattarkhan Dam (near the city of Ahar, East Azerbaijan, Iran).
Fish sample were collected with fyke and gill nets and the abdominal
cavity was examined for the presence of ligula. Zooplanktons were
captured using a planktonic net and occurrence of parasitic larval
form in the body cavity was determined. Piscivorous birds were
selected by telescope, they hunted and dissected for presence of
parasite eggs in their gut. Results indicated that prevalence of
infection was 16% for cyclopid copepoda and majority of infected
cyclopid were female Cyclops. Investigation of 310 fishes specimens
were indicated to infection of five species of cyprinid fishes. In
addition, results indicated to manipulation of six species of migratory
aquatic and semi aquatic birds by ligula. Obtained results are in
agreement by previous studies. Its definite in this study that all of
fishes in Sattarkhan Lake capable to infection, its important for
health because they capture by native people and it is documented
that ligula can be introduce as a zoonose. It's seemed that to prevent
from disperses of parasite and restricted of infection, biological
elimination can be effective and it's necessary to inform native
people about sanitation.
Abstract: Most of the commonly used blind equalization algorithms are based on the minimization of a nonconvex and nonlinear cost function and a neural network gives smaller residual error as compared to a linear structure. The efficacy of complex valued feedforward neural networks for blind equalization of linear and nonlinear communication channels has been confirmed by many studies. In this paper we present two neural network models for blind equalization of time-varying channels, for M-ary QAM and PSK signals. The complex valued activation functions, suitable for these signal constellations in time-varying environment, are introduced and the learning algorithms based on the CMA cost function are derived. The improved performance of the proposed models is confirmed through computer simulations.
Abstract: Flight management system (FMS) is a specialized
computer system that automates a wide variety of in-flight tasks,
reducing the workload on the flight crew to the point that modern
aircraft no longer carry flight engineers or navigators. The primary
function of FMS is to perform the in-flight management of the flight
plan using various sensors (such as GPS and INS often backed up by
radio navigation) to determine the aircraft's position. From the
cockpit FMS is normally controlled through a Control Display Unit
(CDU) which incorporates a small screen and keyboard or touch
screen. This paper investigates the performance of GPS/ INS
integration techniques in which the data fusion process is done using
Kalman filtering. This will include the importance of sensors
calibration as well as the alignment of the strap down inertial
navigation system. The limitations of the inertial navigation systems
are investigated in order to understand why INS sometimes is
integrated with other navigation aids and not just operating in standalone
mode. Finally, both the loosely coupled and tightly coupled
configurations are analyzed for several types of situations and
operational conditions.
Abstract: The data is available in abundance in any business
organization. It includes the records for finance, maintenance,
inventory, progress reports etc. As the time progresses, the data keep
on accumulating and the challenge is to extract the information from
this data bank. Knowledge discovery from these large and complex
databases is the key problem of this era. Data mining and machine
learning techniques are needed which can scale to the size of the
problems and can be customized to the application of business. For
the development of accurate and required information for particular
problem, business analyst needs to develop multidimensional models
which give the reliable information so that they can take right
decision for particular problem. If the multidimensional model does
not possess the advance features, the accuracy cannot be expected.
The present work involves the development of a Multidimensional
data model incorporating advance features. The criterion of
computation is based on the data precision and to include slowly
change time dimension. The final results are displayed in graphical
form.
Abstract: Protein 3D structure prediction has always been an
important research area in bioinformatics. In particular, the
prediction of secondary structure has been a well-studied research
topic. Despite the recent breakthrough of combining multiple
sequence alignment information and artificial intelligence algorithms
to predict protein secondary structure, the Q3 accuracy of various
computational prediction algorithms rarely has exceeded 75%. In a
previous paper [1], this research team presented a rule-based method
called RT-RICO (Relaxed Threshold Rule Induction from Coverings)
to predict protein secondary structure. The average Q3 accuracy on
the sample datasets using RT-RICO was 80.3%, an improvement
over comparable computational methods. Although this demonstrated
that RT-RICO might be a promising approach for predicting
secondary structure, the algorithm-s computational complexity and
program running time limited its use. Herein a parallelized
implementation of a slightly modified RT-RICO approach is
presented. This new version of the algorithm facilitated the testing of
a much larger dataset of 396 protein domains [2]. Parallelized RTRICO
achieved a Q3 score of 74.6%, which is higher than the
consensus prediction accuracy of 72.9% that was achieved for the
same test dataset by a combination of four secondary structure
prediction methods [2].
Abstract: The objective of this research is to study plant layout
of iron manufacturing based on the systematic layout planning
pattern theory (SLP) for increased productivity. In this case study,
amount of equipments and tools in iron production are studied. The
detailed study of the plant layout such as operation process chart,
flow of material and activity relationship chart has been investigated.
The new plant layout has been designed and compared with the
present plant layout. The SLP method showed that new plant layout
significantly decrease the distance of material flow from billet
cutting process until keeping in ware house.
Abstract: Panoramic view generation has always offered
novel and distinct challenges in the field of image processing.
Panoramic view generation is nothing but construction of bigger
view mosaic image from set of partial images of the desired view.
The paper presents a solution to one of the problems of image
seascape formation where some of the partial images are color and
others are grayscale. The simplest solution could be to convert all
image parts into grayscale images and fusing them to get grayscale
image panorama. But in the multihued world, obtaining the colored
seascape will always be preferred. This could be achieved by picking
colors from the color parts and squirting them in grayscale parts of
the seascape. So firstly the grayscale image parts should be colored
with help of color image parts and then these parts should be fused to
construct the seascape image.
The problem of coloring grayscale images has no exact solution.
In the proposed technique of panoramic view generation, the job of
transferring color traits from reference color image to grayscale
image is done by palette based method. In this technique, the color
palette is prepared using pixel windows of some degrees taken from
color image parts. Then the grayscale image part is divided into pixel
windows with same degrees. For every window of grayscale image
part the palette is searched and equivalent color values are found,
which could be used to color grayscale window. For palette
preparation we have used RGB color space and Kekre-s LUV color
space. Kekre-s LUV color space gives better quality of coloring. The
searching time through color palette is improved over the exhaustive
search using Kekre-s fast search technique.
After coloring the grayscale image pieces the next job is fusion of
all these pieces to obtain panoramic view. For similarity estimation
between partial images correlation coefficient is used.
Abstract: Prediction of benzene transport in soil and volatilization from soil to the atmosphere is important for the preservation of human health and management of contaminated soils. The adequacy of a simple numerical model, assuming two-phase diffusion and equilibrium of liquid/solid adsorption, was investigated by experimental data of benzene concentration in a flux chamber (with headspace) where Andosol and sand were filled. Adsorption experiment for liquid phase was performed to determine an adsorption coefficient. Furthermore, adequacy of vapor phase adsorption was also studied through two runs of experiment using sand with different water content. The results show that the model adequately predicted benzene transport and volatilization from Andosol and sand with water content of 14.0%. In addition, the experiment additionally revealed that vapor phase adsorption should be considered in diffusion model for sand with very low water content.
Abstract: Probabilistic characteristics of seismic responses of the
Partially Restrained connection rotation (PRCR) and panel zone
deformation (PZD) installed in older steel moment frames were
investigated in accordance with statistical inference in
decision-making process. The 4, 6 and 8 story older steel moment
frames with clip angle and T-stub connections were designed and
analyzed using 2%/50yrs ground motions in four cities of the
Mid-America earthquake region. The probability density function and
cumulative distribution function of PRCR and PZD were determined
by the goodness-of-fit tests based on probabilistic parameters
measured from the results of the nonlinear time-history analyses. The
obtained probabilistic parameters and distributions can be used to find
out what performance level mainly PR connections and panel zones
satisfy and how many PR connections and panel zones experience a
serious damage under the Mid-America ground motions.
Abstract: In this paper, the local grid refinement is focused by
using a nested grid technique. The Cartesian grid numerical method is
developed for simulating unsteady, viscous, incompressible flows
with complex immersed boundaries. A finite volume method is used in
conjunction with a two-step fractional-step procedure. The key aspects
that need to be considered in developing such a nested grid solver are
imposition of interface conditions on the inter-block and accurate
discretization of the governing equation in cells that are with the
inter-block as a control surface. A new interpolation procedure is
presented which allows systematic development of a spatial
discretization scheme that preserves the spatial accuracy of the
underlying solver. The present nested grid method has been tested by
two numerical examples to examine its performance in the two
dimensional problems. The numerical examples include flow past a
circular cylinder symmetrically installed in a Channel and flow past
two circular cylinders with different diameters. From the numerical
experiments, the ability of the solver to simulate flows with
complicated immersed boundaries is demonstrated and the nested grid
approach can efficiently speed up the numerical solutions.
Abstract: The study analyzed the risk and returns of commercial-property in Southwestern Nigeria and selected stocksmarket investment between 2000 and 2009; compared the inflation hedging characteristics and diversification potentials of investing in commercial-property and selected stock- market investment. Primary data were collected on characteristics, rental and capital values of commercial- properties from their property managers through the use of questionnaire. Secondary data on stock prices and dividends on banking, insurance and conglomerates sectors were sourced from the Nigerian Stock Exchange (2000-2009). The result showed that average return on all the selected stock- investments was higher than that of commercial-property. As regards risk, commercial-property indicated lower risk, compared to stocks. Also the stock-investment had better inflation hedging capacity than commercial-properties; combination of both had diversification potentials. The study concluded that stock-market investment offered attractive higher return than commercial-property although with higher risk and there could be diversification benefits in combining commercial-property with stock- investment.
Abstract: We report a lithography-free approach to fabricate the
biomimetics, quasi-beehive Si nanostructures (QBSNs), on
Si-substrates. The self-assembled SiGe nanoislands via the strain
induced surface roughening (Asaro-Tiller-Grinfeld instability) during
in-situ annealing play a key role as patterned sacrifice regions for
subsequent reactive ion etching (RIE) process performed for
fabricating quasi-beehive nanostructures on Si-substrates. As the
measurements of field emission, the bare QBSNs show poor field
emission performance, resulted from the existence of the native oxide
layer which forms an insurmountable barrier for electron emission. In
order to dramatically improve the field emission characteristics, the
platinum nanopillars (Pt-NPs) were deposited on QBSNs to form
Pt-NPs/QBSNs heterostructures. The turn-on field of Pt-NPs/QBSNs
is as low as 2.29 V/μm (corresponding current density of 1 μA/cm2),
and the field enhancement factor (β-value) is significantly increased to
6067. More importantly, the uniform and continuous electrons excite
light emission, due to the surrounding filed emitters from
Pt-NPs/QBSNs, can be easily obtained. This approach does not require
an expensive photolithographic process and possesses great potential
for applications.
Abstract: The purpose of this study is to derive parameters
estimating for the Lyman–Kutcher–Burman (LKB) normal tissue
complication probability (NTCP) model using analysis of scintigraphy
assessments and quality of life (QoL) measurement questionnaires for
the parotid gland (xerostomia). In total, 31 patients with
head-and-neck (HN) cancer were enrolled. Salivary excretion factor
(SEF) and EORTC QLQ-H&N35 questionnaires datasets are used for
the NTCP modeling to describe the incidence of grade 4 xerostomia.
Assuming that n= 1, NTCP fitted parameters are given as TD50= 43.6
Gy, m= 0.18 in SEF analysis, and as TD50= 44.1 Gy, m= 0.11 in QoL
measurements, respectively. SEF and QoL datasets can validate the
Quantitative Analyses of Normal Tissue Effects in the Clinic
(QUANTEC) guidelines well, resulting in NPV-s of 100% for the both
datasets and suggests that the QUANTEC 25/20Gy gland-spared
guidelines are suitable for clinical used for the HN cohort to
effectively avoid xerostomia.
Abstract: Data of wave height and wind speed were collected
from three existing oil fields in South China Sea – offshore
Peninsular Malaysia, Sarawak and Sabah regions. Extreme values
and other significant data were employed for analysis. The data were
recorded from 1999 until 2008. The results show that offshore
structures are susceptible to unacceptable motions initiated by wind
and waves with worst structural impacts caused by extreme wave
heights. To protect offshore structures from damage, there is a need
to quantify descriptive statistics and determine spectra envelope of
wind speed and wave height, and to ascertain the frequency content
of each spectrum for offshore structures in the South China Sea
shallow waters using measured time series. The results indicate that
the process is nonstationary; it is converted to stationary process by
first differencing the time series. For descriptive statistical analysis,
both wind speed and wave height have significant influence on the
offshore structure during the northeast monsoon with high mean wind
speed of 13.5195 knots ( = 6.3566 knots) and the high mean wave
height of 2.3597 m ( = 0.8690 m). Through observation of the
spectra, there is no clear dominant peak and the peaks fluctuate
randomly. Each wind speed spectrum and wave height spectrum has
its individual identifiable pattern. The wind speed spectrum tends to
grow gradually at the lower frequency range and increasing till it
doubles at the higher frequency range with the mean peak frequency
range of 0.4104 Hz to 0.4721 Hz, while the wave height tends to
grow drastically at the low frequency range, which then fluctuates
and decreases slightly at the high frequency range with the mean
peak frequency range of 0.2911 Hz to 0.3425 Hz.
Abstract: Following harvest, fresh produce needs to be cooled
immediately in a room where the air temperature and the relative air
humidity are controlled to maintain the produce quality. In this paper,
an experimental study for forced air cooling of fresh produce
(cauliflower) is performed using a pilot developed within our
laboratory. Furthermore, a numerical simulation of spherical
produces, taking into account the aerodynamic aspect and also the
heat transfer in the produce and in the air, was carried out using a
finite element method. At the end of this communication,
experimental results are presented and compared with the simulation.
Abstract: A genetic algorithm (GA) based feature subset
selection algorithm is proposed in which the correlation structure of
the features is exploited. The subset of features is validated according
to the classification performance. Features derived from the
continuous wavelet transform are potentially strongly correlated.
GA-s that do not take the correlation structure of features into
account are inefficient. The proposed algorithm forms clusters of
correlated features and searches for a good candidate set of clusters.
Secondly a search within the clusters is performed. Different
simulations of the algorithm on a real-case data set with strong
correlations between features show the increased classification
performance. Comparison is performed with a standard GA without
use of the correlation structure.