Abstract: We decribe a formal specification and verification of the Rabin public-key scheme in the formal proof system Is-abelle/HOL. The idea is to use the two views of cryptographic verification: the computational approach relying on the vocabulary of probability theory and complexity theory and the formal approach based on ideas and techniques from logic and programming languages. The analysis presented uses a given database to prove formal properties of our implemented functions with computer support. Thema in task in designing a practical formalization of correctness as well as security properties is to cope with the complexity of cryptographic proving. We reduce this complexity by exploring a light-weight formalization that enables both appropriate formal definitions as well as eficient formal proofs. This yields the first computer-proved implementation of the Rabin public-key scheme in Isabelle/HOL. Consequently, we get reliable proofs with a minimal error rate augmenting the used database. This provides a formal basis for more computer proof constructions in this area.
Abstract: Diagnostic and detection of the arterial stiffness is
very important; which gives indication of the associated increased risk of cardiovascular diseases. To make a cheap and easy method for general screening technique to avoid the future cardiovascular
complexes , due to the rising of the arterial stiffness ; a proposed algorithm depending on photoplethysmogram to be used. The
photoplethysmograph signals would be processed in MATLAB. The
signal will be filtered, baseline wandering removed, peaks and
valleys detected and normalization of the signals should be achieved
.The area under the catacrotic phase of the photoplethysmogram
pulse curve is calculated using trapezoidal algorithm ; then will used
in cooperation with other parameters such as age, height, blood
pressure in neural network for arterial stiffness detection. The Neural
network were implemented with sensitivity of 80%, accuracy 85%
and specificity of 90% were got from the patients data. It is
concluded that neural network can detect the arterial STIFFNESS
depending on risk factor parameters.
Abstract: The myoelectric signal (MES) is one of the Biosignals
utilized in helping humans to control equipments. Recent approaches
in MES classification to control prosthetic devices employing pattern
recognition techniques revealed two problems, first, the classification
performance of the system starts degrading when the number of
motion classes to be classified increases, second, in order to solve the
first problem, additional complicated methods were utilized which
increase the computational cost of a multifunction myoelectric
control system. In an effort to solve these problems and to achieve a
feasible design for real time implementation with high overall
accuracy, this paper presents a new method for feature extraction in
MES recognition systems. The method works by extracting features
using Wavelet Packet Transform (WPT) applied on the MES from
multiple channels, and then employs Fuzzy c-means (FCM)
algorithm to generate a measure that judges on features suitability for
classification. Finally, Principle Component Analysis (PCA) is
utilized to reduce the size of the data before computing the
classification accuracy with a multilayer perceptron neural network.
The proposed system produces powerful classification results (99%
accuracy) by using only a small portion of the original feature set.
Abstract: This paper discusses a systematic design of a Σ-Δ fractional-N Phase-Locked Loop based on HDL behavioral modeling. The proposed design consists in describing the mixed behavior of this PLL architecture starting from the specifications of each building block. The HDL models of critical PLL blocks have been described in VHDL-AMS to predict the different specifications of the PLL. The effect of different noise sources has been efficiently introduced to study the PLL system performances. The obtained results are compared with transistor-level simulations to validate the effectiveness of the proposed models for wireless applications in the frequency range around 2.45 GHz.
Abstract: The determination of sugars in foods is very
significant. Their relation in fact, can affect the chemical and
sensorial quality of the matrix (e.g., sweetness, pH, total acidity,
microbial stability, global acceptability) and can provide information
on food to optimize several selected technological processes. Three
stages of ripeness (green, yellow and red) of tomatoes (Lycopersicon
Esculentum cv. Elegance) at different harvest dates were evaluated.
Fruit from all harvests were exposed to different of ozone doses
(0.25, 0.50 and 1 mg O3/g tomatoes) and clean air for 5 day at 15
°C±2 and 90-95 % relative humidity. Then, fruits were submitted for
extraction and analysis after a day from the finish of exposure of each
stage. The concentrations of the glucose and fructose increased in the
tomatoes which were subjected to ozone treatments.
Abstract: In this paper, we propose a new class of Volterra series based filters for image enhancement and restoration. Generally the linear filters reduce the noise and cause blurring at the edges. Some nonlinear filters based on median operator or rank operator deal with only impulse noise and fail to cancel the most common Gaussian distributed noise. A class of second order Volterra filters is proposed to optimize the trade-off between noise removal and edge preservation. In this paper, we consider both the Gaussian and mixed Gaussian-impulse noise to test the robustness of the filter. Image enhancement and restoration results using the proposed Volterra filter are found to be superior to those obtained with standard linear and nonlinear filters.
Abstract: Continuous pyrolysis of Cogongrass by control
temperature in the novel pyrolysis reactor were conducted at three
difference temperatures 400, 450 and 500°C. Preliminary calculate of
the product yields founded the liquid yield of Cogongrass was
highest of 41.45 %, at 500 oC. Indicated that the liquid yield from
Cogongrass had good received yields because it gave over 40 % and
its produced more liquid than that solid and gas. The compounds
detected in bio-oil from Cogongrass showed the functional group,
especially; Phenol, Phenol, 2,5-dimethyl, Phenol, 3-methyl, 2-
methyl-1,3-oxathiofane, Benzene,1-ethyl-4-methoxy, 2-Cyclopenten-
1-one,2,3-dimethyl, 2- Cyclopenten-1- one, 3-Methyl.
Abstract: Nowadays, driving support systems, such as car
navigation systems, are getting common, and they support drivers in
several aspects. It is important for driving support systems to detect
status of driver's consciousness. Particularly, detecting driver's
drowsiness could prevent drivers from collisions caused by drowsy
driving. In this paper, we discuss the various artificial detection
methods for detecting driver's drowsiness processing technique. This
system is based on facial images analysis for warning the driver of
drowsiness or in attention to prevent traffic accidents.
Abstract: The electroencephalograph (EEG) signal is one of the most widely signal used in the bioinformatics field due to its rich information about human tasks. In this work EEG waves classification is achieved using the Discrete Wavelet Transform DWT with Fast Fourier Transform (FFT) by adopting the normalized EEG data. The DWT is used as a classifier of the EEG wave's frequencies, while FFT is implemented to visualize the EEG waves in multi-resolution of DWT. Several real EEG data sets (real EEG data for both normal and abnormal persons) have been tested and the results improve the validity of the proposed technique.
Abstract: Order reduction of linear-time invariant systems employing two methods; one using the advantages of Routh approximation and other by an evolutionary technique is presented in this paper. In Routh approximation method the denominator of the reduced order model is obtained using Routh approximation while the numerator of the reduced order model is determined using the indirect approach of retaining the time moments and/or Markov parameters of original system. By this method the reduced order model guarantees stability if the original high order model is stable. In the second method Particle Swarm Optimization (PSO) is employed to reduce the higher order model. PSO method is based on the minimization of the Integral Squared Error (ISE) between the transient responses of original higher order model and the reduced order model pertaining to a unit step input. Both the methods are illustrated through numerical examples.
Abstract: This paper proposes a new version of the Particle
Swarm Optimization (PSO) namely, Modified PSO (MPSO) for
model order formulation of Single Input Single Output (SISO) linear
time invariant continuous systems. In the General PSO, the
movement of a particle is governed by three behaviors namely
inertia, cognitive and social. The cognitive behavior helps the
particle to remember its previous visited best position. In Modified
PSO technique split the cognitive behavior into two sections like
previous visited best position and also previous visited worst
position. This modification helps the particle to search the target very
effectively. MPSO approach is proposed to formulate the higher
order model. The method based on the minimization of error
between the transient responses of original higher order model and
the reduced order model pertaining to the unit step input. The results
obtained are compared with the earlier techniques utilized, to validate
its ease of computation. The proposed method is illustrated through
numerical example from literature.
Abstract: In recent years, global warming has become a
worldwide problem. The reduction of carbon dioxide emissions is a
top priority for many companies in the manufacturing industry. In the
automobile industry as well, the reduction of carbon dioxide emissions
is one of the most important issues. Technology to reduce the weight
of automotive parts improves the fuel economy of automobiles, and is
an important technology for reducing carbon dioxide. Also, even if
this weight reduction technology is applied to electric automobiles
rather than gasoline automobiles, reducing energy consumption
remains an important issue. Plastic processing of hollow pipes is one
important technology for realizing the weight reduction of automotive
parts. Ohashi et al. [1],[2] present an example of research on pipe
formation in which a process was carried out to enlarge a pipe
diameter using a lost core, achieving the suppression of wall thickness
reduction and greater pipe expansion than hydroforming.
In this study, we investigated a method to increase the wall
thickness of a pipe through pipe compression using planetary rolls.
The establishment of a technology whereby the wall thickness of a
pipe can be controlled without buckling the pipe is an important
technology for the weight reduction of products. Using the finite
element analysis method, we predicted that it would be possible to
increase the compression of an aluminum pipe with a 3mm wall
thickness by approximately 20%, and wall thickness by approximately
20% by pressing the hollow pipe with planetary rolls.
Abstract: This paper is an overview of the structure of Radio
Frequency Identification (RFID) systems and radio frequency bands
used by RFID technology. It also presents a solution based on the
application of RFID for brand authentication, traceability and
tracking, by implementing a production management system and
extending its use to traders.
Abstract: Topological changes in mobile ad hoc networks
frequently render routing paths unusable. Such recurrent path failures
have detrimental effects on quality of service. A suitable technique
for eliminating this problem is to use multiple backup paths between
the source and the destination in the network. This paper proposes an
effective and efficient protocol for backup and disjoint path set in ad
hoc wireless network. This protocol converges to a highly reliable
path set very fast with no message exchange overhead. The paths
selection according to this algorithm is beneficial for mobile ad hoc
networks, since it produce a set of backup paths with more high
reliability. Simulation experiments are conducted to evaluate the
performance of our algorithm in terms of route numbers in the path
set and its reliability. In order to acquire link reliability estimates, we
use link expiration time (LET) between two nodes.
Abstract: A suitable e-learning system management needs to
carry out a web-information system in order to allow integrated
fruition of data and metadata concerning the activities typical of elearning
environment. The definition of a “web information system"
for e-learning takes advantage of the potentialities of Web
technologies both as for the access to metadata present on the several
platforms, and as for the implementation of courseware which make
up the relative didactic environment. What information systems have
in common is the technological environment on which they are
generally implemented and the use of metadata in order to structure
information at all cognitive and organization levels. In this work we
are going to define a methodology for the implementation of a
specific web information system for an e-learning environment.
Abstract: The authors of this work indicate by means of a concrete example that it is possible to apply efficaciously the method of multiple criteria programming in dealing with the problem of determining the optimal production plan for a certain period of time. The work presents: (1) the selection of optimization criteria, (2) the setting of the problem of determining an optimal production plan, (3) the setting of the model of multiple criteria programming in finding a solution to a given problem, (4) the revised surrogate trade-off method, (5) generalized multicriteria model for solving production planning problem and problem of choosing technological variants in the metal manufacturing industry. In the final part of this work the authors reflect on the application of the method of multiple criteria programming while determining the optimal production plan in manufacturing enterprises.
Abstract: Haptics has been used extensively in many applications especially in human machine interaction and virtual reality systems. Haptic technology allows user to perceive virtual reality as in real world. However, commercially available haptic devices are expensive and may not be suitable for educational purpose. This paper describes the design and development of a low cost haptic knob, with only one degree of freedom, for use in rehabilitation or training hand pronation and supination. End-effectors can be changed to suit different applications or variation in hand sizes and hand orientation.
Abstract: Thyroid dysfunction is one of the most frequently
reported complications of chronic blood transfusion therapy in patients with beta-thalassemia major (BTM). However, the occurrence of thyroid dysfunction and its possible association with
iron overload in BTM patients is still under debate. Therefore, this
study aimed to investigate the status of thyroid functions and iron overload in adolescent and young adult patients with BTM in Jordan population. Thirty six BTM patients aged 12-28 years and matched controls were included in this study. All patients have been receiving frequent blood transfusion to maintain pretransfusion hemoglobin
concentration above 10 g dl-1 and deferoxamine at a dose of 45 mg kg-1 day-1 (8 h, 5-7 days/week) by subcutaneous infusion. Blood
samples were drawn from patients and controls. The status of thyroid functions and iron overload was evaluated by measurements of serum
free thyroxine (FT4), triiodothyronine (FT3), thyrotropin (TSH) and
serum ferritin level. A number of some hematological and
biochemical parameters were also measured. It was found that hematocrit, serum ferritin, hemoglobin, FT3 and zinc, copper mean values were significantly higher in the patients than in the controls (P< 0.05). On other hand, leukocyte, FT4 and TSH mean values were
similar to that of the controls. In addition, our data also indicated that
all of the above examined parameters were not significantly affected
by the patient-s age and gender. Deferoxamine approach for removing excess iron from our BTM patient did not normalize the
values of serum ferritin, copper and zinc, suggesting poor compliance
with deferoxamine chelation therapy. Thus, we recommend the use
of a combination of deferoxamine and deferiprone to reduce the risk
of excess of iron in our patients. Furthermore, thyroid dysfunction
appears to be a rare complication, because our patients showed
normal mean levels for serum TSH and FT4. However, high mean
levels of serum ferritin, zinc, copper might be seen as potential risk
factors for initiation and development of thyroid dysfunctions and
other diseases. Therefore, further studies must be carried out at
yearly intervals with large sample number, to detect subclinical
thyroid dysfunction cases.
Abstract: Semnan is a city in semnan province, northern Iran
with a population estimated at 119,778 inhabitants. It is the
provincial capital of semnan province. Iran is a developing country
and construction is a basic factor of developing too. Hence, Semnan
city needs to a special programming for construction of buildings,
structures and infrastructures. Semnan municipality tries to begin this
program. In addition to, city has some historical monuments which
can be interesting for tourists. Hence, Semnan inhabitants can benefit
from tourist industry. Optimization of Energy in construction
industry is another activity of this municipality and the inhabitants
who execute these regulations receive some discounts. Many parts of
Iran such as semnan are located in highly seismic zones and
structures must be constructed safe e.g., according to recent seismic
codes. In this paper opportunities of IT in construction industry of
Iran are investigated in three categories. Pre-construction phase,
construction phase and earthquake disaster mitigation are studied.
Studies show that information technology can be used in these items
for reducing the losses and increasing the benefits. Both government
and private sectors must contribute to this strategic project for
obtaining the best result.
Abstract: This paper summarizes the results of some experiments for finding the effective features for disambiguation of Turkish verbs. Word sense disambiguation is a current area of investigation in which verbs have the dominant role. Generally verbs have more senses than the other types of words in the average and detecting these features for verbs may lead to some improvements for other word types. In this paper we have considered only the syntactical features that can be obtained from the corpus and tested by using some famous machine learning algorithms.