Abstract: Cryptographic protocols are widely used in various
applications to provide secure communications. They are usually
represented as communicating agents that send and receive messages.
These agents use their knowledge to exchange information and
communicate with other agents involved in the protocol. An agent
knowledge can be partitioned into explicit knowledge and procedural
knowledge. The explicit knowledge refers to the set of information
which is either proper to the agent or directly obtained from other
agents through communication. The procedural knowledge relates to
the set of mechanisms used to get new information from what is
already available to the agent.
In this paper, we propose a mathematical framework which specifies
the explicit knowledge of an agent involved in a cryptographic
protocol. Modelling this knowledge is crucial for the specification,
analysis, and implementation of cryptographic protocols. We also,
report on a prototype tool that allows the representation and the
manipulation of the explicit knowledge.
Abstract: This present paper proposes the modified Elastic Strip
method for mobile robot to avoid obstacles with a real time system in
an uncertain environment. The method deals with the problem of
robot in driving from an initial position to a target position based on
elastic force and potential field force. To avoid the obstacles, the
robot has to modify the trajectory based on signal received from the
sensor system in the sampling times. It was evident that with the
combination of Modification Elastic strip and Pseudomedian filter to
process the nonlinear data from sensor uncertainties in the data
received from the sensor system can be reduced. The simulations and
experiments of these methods were carried out.
Abstract: Testing accounts for the major percentage of technical
contribution in the software development process. Typically, it
consumes more than 50 percent of the total cost of developing a
piece of software. The selection of software tests is a very important
activity within this process to ensure the software reliability
requirements are met. Generally tests are run to achieve maximum
coverage of the software code and very little attention is given to the
achieved reliability of the software. Using an existing methodology,
this paper describes how to use Bayesian Belief Networks (BBNs) to
select unit tests based on their contribution to the reliability of the
module under consideration. In particular the work examines how the
approach can enhance test-first development by assessing the quality
of test suites resulting from this development methodology and
providing insight into additional tests that can significantly reduce
the achieved reliability. In this way the method can produce an
optimal selection of inputs and the order in which the tests are
executed to maximize the software reliability. To illustrate this
approach, a belief network is constructed for a modern software
system incorporating the expert opinion, expressed through
probabilities of the relative quality of the elements of the software,
and the potential effectiveness of the software tests. The steps
involved in constructing the Bayesian Network are explained as is a
method to allow for the test suite resulting from test-driven
development.
Abstract: Cancer becomes one of the leading cause of death in
many countries over the world. Fourier-transform infrared (FTIR)
spectra of human lung cancer cells (A549) treated with PMF (natural
product extracted from PM 701) for different time intervals were
examined. Second derivative and difference method were taken in
comparison studies. Cesium (Cs) and Rubidium (Rb) nanoparticles in
PMF were detected by Energy Dispersive X-ray attached to Scanning
Electron Microscope SEM-EDX. Characteristic changes in protein
secondary structure, lipid profile and changes in the intensities of
DNA bands were identified in treated A549 cells spectra. A
characteristic internucleosomal ladder of DNA fragmentation was
also observed after 30 min of treatment. Moreover, the pH values
were significantly increases upon treatment due to the presence of Cs
and Rb nanoparticles in the PMF fraction. These results support the
previous findings that PMF is selective anticancer agent and can
produce apoptosis to A549 cells.
Abstract: Software developed for a specific customer under contract
typically undergoes a period of testing by the customer before
acceptance. This is known as user acceptance testing and the process
can reveal both defects in the system and requests for changes to
the product. This paper uses nonhomogeneous Poisson processes to
model a real user acceptance data set from a recently developed
system. In particular a split Poisson process is shown to provide an
excellent fit to the data. The paper explains how this model can be
used to aid the allocation of resources through the accurate prediction
of occurrences both during the acceptance testing phase and before
this activity begins.
Abstract: lack of convenience condition is one of the problems
in open spaces in hot and dry regions. Nowadays parks and green
landscapes was designed and constructed without any attention to
convenience condition. If this process continues, Citizens will encounter
with some problems. Harsh climatic condition decreases the
efficiency of people-s activities. However there is hard environment
condition in hot and dry regions, Convenience condition has been
provided in Iranian traditional architecture by using techniques and
methods. In this research at the first step characteristics of Iranian
garden that can effect on creating sustainable spaces were
investigated through observation method. Pleasure space in cities will
be created with using these methods and techniques in future cities.
Furthermore the comparison between Iranian garden and landscape in
today-s cities demonstrate the effectiveness of Iranian garden
characteristics on sustainable spaces. Iranian architects used simple
and available methods for creating open architectural spaces. In
addition desirable conditions were provided with taking in to account
both physically and spiritually. Parks and landscapes in future cities
can be designed and constructed with respect to architectural
techniques that used in Iranian gardens in hot and arid regions.
Abstract: This paper proposes a new approach to offer a private
cloud service in HPC clusters. In particular, our approach relies on
automatically scheduling users- customized environment request as a
normal job in batch system. After finishing virtualization request jobs,
those guest operating systems will dismiss so that compute nodes will
be released again for computing. We present initial work on the
innovative integration of HPC batch system and virtualization tools
that aims at coexistence such that they suffice for meeting the
minimizing interference required by a traditional HPC cluster. Given
the design of initial infrastructure, the proposed effort has the potential
to positively impact on synergy model. The results from the
experiment concluded that goal for provisioning customized cluster
environment indeed can be fulfilled by using virtual machines, and
efficiency can be improved with proper setup and arrangements.
Abstract: Currently, web usage make a huge data from a lot of
user attention. In general, proxy server is a system to support web
usage from user and can manage system by using hit rates. This
research tries to improve hit rates in proxy system by applying data
mining technique. The data set are collected from proxy servers in the
university and are investigated relationship based on several features.
The model is used to predict the future access websites. Association
rule technique is applied to get the relation among Date, Time, Main
Group web, Sub Group web, and Domain name for created model.
The results showed that this technique can predict web content for the
next day, moreover the future accesses of websites increased from
38.15% to 85.57 %.
This model can predict web page access which tends to increase
the efficient of proxy servers as a result. In additional, the
performance of internet access will be improved and help to reduce
traffic in networks.
Abstract: Contamination of aromatic compounds in water can
cause severe long-lasting effects not only for biotic organism but also
on human health. Several alternative technologies for remediation of
polluted water have been attempted. One of these is adsorption
process of aromatic compounds by using organic modified clay
mineral. Porous structure of clay is potential properties for molecular
adsorptivity and it can be increased by immobilizing hydrophobic
structure to attract organic compounds. In this work natural
montmorillonite were modified with cetyltrimethylammonium
(CTMA+) and was evaluated for use as adsorbents of aromatic
compounds: benzene, toluene, and 2-chloro phenol in its single and
multicomponent solution by ethanol:water solvent. Preparation of
CTMA-montmorillonite was conducted by simple ion exchange
procedure and characterization was conducted by using x-day
diffraction (XRD), Fourier-transform infra red (FTIR) and gas
sorption analysis. The influence of structural modification of
montmorillonite on its adsorption capacity and adsorption affinity of
organic compound were studied. It was shown that adsorptivity of
montmorillonite was increased by modification associated with
arrangements of CTMA+ in the structure even the specific surface
area of modified montmorillonite was lower than raw
montmorillonite. Adsorption rate indicated that material has affinity
to adsorb compound by following order: benzene> toluene > 2-chloro
phenol. The adsorption isotherms of benzene and toluene showed 1st
order adsorption kinetic indicating a partition phenomenon of
compounds between the aqueous and organophilic CTMAmontmorillonite.
Abstract: Cerium-doped lanthanum bromide LaBr3:Ce(5%)
crystals are considered to be one of the most advanced scintillator
materials used in PET scanning, combining a high light yield, fast
decay time and excellent energy resolution. Apart from the correct
choice of scintillator, it is also important to optimise the detector
geometry, not least in terms of source-to-detector distance in order to
obtain reliable measurements and efficiency. In this study a
commercially available 25 mm x 25 mm BrilLanCeTM 380 LaBr3: Ce
(5%) detector was characterised in terms of its efficiency at varying
source-to-detector distances. Gamma-ray spectra of 22Na, 60Co, and
137Cs were separately acquired at distances of 5, 10, 15, and 20cm. As
a result of the change in solid angle subtended by the detector, the
geometric efficiency reduced in efficiency with increasing distance.
High efficiencies at low distances can cause pulse pile-up when
subsequent photons are detected before previously detected events
have decayed. To reduce this systematic error the source-to-detector
distance should be balanced between efficiency and pulse pile-up
suppression as otherwise pile-up corrections would need to be
necessary at short distances. In addition to the experimental
measurements Monte Carlo simulations have been carried out for the
same setup, allowing a comparison of results. The advantages and
disadvantages of each approach have been highlighted.
Abstract: It is well known that the phraseology of a language - the phenomenon of identity. This uniqueness is due to the fact that "there are idioms image-based views of reality that shows mainly of everyday empirical, historical and spiritual experience of a language community, associated with its cultural traditions. The article says that the phraseological units very clearly show the image of the people and give us a great view of the national identity. With the phraseology of the Kazakh and Korean language can understand the mentality of the nation, identity, perception of people. It is in the phraseological units can surprise the culture and customs of the people. Phraseological units store and transmit information about the level of material and spiritual culture of the people, his life, past and present, the development of society in general. And in Korean and Kazakh languages idioms occupy a particularly important role.
Abstract: This paper presents a heuristic to solve large size 0-1 Multi constrained Knapsack problem (01MKP) which is NP-hard. Many researchers are used heuristic operator to identify the redundant constraints of Linear Programming Problem before applying the regular procedure to solve it. We use the intercept matrix to identify the zero valued variables of 01MKP which is known as redundant variables. In this heuristic, first the dominance property of the intercept matrix of constraints is exploited to reduce the search space to find the optimal or near optimal solutions of 01MKP, second, we improve the solution by using the pseudo-utility ratio based on surrogate constraint of 01MKP. This heuristic is tested for benchmark problems of sizes upto 2500, taken from literature and the results are compared with optimum solutions. Space and computational complexity of solving 01MKP using this approach are also presented. The encouraging results especially for relatively large size test problems indicate that this heuristic can successfully be used for finding good solutions for highly constrained NP-hard problems.
Abstract: This paper deals with a new way for designing
external fixators applied in traumatology and orthopaedics. These
fixators can be applied in the treatment of open and unstable
fractures or for lengthening human or animal bones etc. The new
design is based on the development of Ilizarov and other techniques
(i.e. shape and weight optimalization based on composite materials,
application of smart materials, nanotechnology, low x-ray absorption,
antibacterial protection, patient's comfort, reduction in the duration
of the surgical treatment, and cost).
Abstract: Recently, lots of researchers are attracted to retrieving
multimedia database by using some impression words and their values.
Ikezoe-s research is one of the representatives and uses eight pairs of
opposite impression words. We had modified its retrieval interface and
proposed '2D-RIB'. In '2D-RIB', after a retrieval person selects a
single basic music, the system visually shows some other music
around the basic one along relative position. He/she can select one of
them fitting to his/her intention, as a retrieval result. The purpose of
this paper is to improve his/her satisfaction level to the retrieval result
in 2D-RIB. One of our extensions is to define and introduce the
following two measures: 'melody goodness' and 'general acceptance'.
We implement them in different five combinations. According to an
evaluation experiment, both of these two measures can contribute to
the improvement. Another extension is three types of customization.
We have implemented them and clarified which customization is
effective.
Abstract: Lipases are enzymes particularly amenable for
immobilization by entrapment methods, as they can work equally
well in aqueous or non-conventional media and long-time stability of
enzyme activity and enantioselectivity is needed to elaborate more
efficient bioprocesses. The improvement of Pseudomonas
fluorescens (Amano AK) lipase characteristics was investigated by
optimizing the immobilization procedure in hybrid organic-inorganic
matrices using ionic liquids as additives. Ionic liquids containing a
more hydrophobic alkyl group in the cationic moiety are beneficial
for the activity of immobilized lipase. Silanes with alkyl- or aryl
nonhydrolizable groups used as precursors in combination with
tetramethoxysilane could generate composites with higher
enantioselectivity compared to the native enzyme in acylation
reactions of secondary alcohols. The optimal effect on both activity
and enantioselectivity was achieved for the composite made from
octyltrimethoxysilane and tetramethoxysilane at 1:1 molar ratio (60%
increase of total activity following immobilization and enantiomeric
ratio of 30). Ionic liquids also demonstrated valuable properties as
reaction media for the studied reactions, comparable with the usual
organic solvent, hexane.
Abstract: The purpose of this study was to explore the complex
flow structure a novel active-type micromixer that based on concept of
Wankle-type rotor. The characteristics of this micromixer are two
folds; a rapid mixing of reagents in a limited space due to the
generation of multiple vortices and a graduate increment in dynamic
pressure as the mixed reagents is delivered to the output ports.
Present micro-mixer is consisted of a rotor with shape of triangle
column, a blending chamber and several inlet and outlet ports. The
geometry of blending chamber is designed to make the rotor can be
freely internal rotated with a constant eccentricity ratio. When the
shape of the blending chamber and the rotor are fixed, the effects of
rotating speed of rotor and the relative locations of ports on the mixing
efficiency are numerical studied. The governing equations are
unsteady, two-dimensional incompressible Navier-Stokes equation
and the working fluid is the water. The species concentration equation
is also solved to reveal the mass transfer process of reagents in various
regions then to evaluate the mixing efficiency.
The dynamic mesh technique was implemented to model the
dynamic volume shrinkage and expansion of three individual
sub-regions of blending chamber when the rotor conducted a complete
rotating cycle. Six types of ports configuration on the mixing
efficiency are considered in a range of Reynolds number from 10 to
300. The rapid mixing process was accomplished with the multiple
vortex structures within a tiny space due to the equilibrium of shear
force, viscous force and inertial force. Results showed that the highest
mixing efficiency could be attained in the following conditions: two
inlet and two outlet ports configuration, that is an included angle of 60
degrees between two inlets and an included angle of 120 degrees
between inlet and outlet ports when Re=10.
Abstract: The selection of parents and breeding strategies for
the successful maize hybrid production will be facilitated by
heterotic groupings of parental lines and determination of combining
abilities of them. Fourteen maize inbred lines, used in maize breeding
programs in Iran, were crossed in a diallel mating design. The 91 F1
hybrids and the 14 parental lines were studied during two years at
four locations of Iran for investigation of combining ability of
gentypes for grain yield and to determine heterotic patterns among
germplasm sources, using both, the Griffing-s method and the biplot
approach for diallel analysis. The graphical representation offered by
biplot analysis allowed a rapid and effective overview of general
combining ability (GCA) and specific combining ability (SCA)
effects of the inbred lines, their performance in crosses, as well as
grouping patterns of similar genotypes. GCA and SCA effects were
significant for grain yield (GY). Based on significant positive GCA
effects, the lines derived from LSC could be used as parent in crosses
to increase GY. The maximum best- parent heterosis values and
highest SCA effects resulted from crosses B73 × MO17 and A679 ×
MO17 for GY. The best heterotic patterns were LSC × RYD, which
would be potentially useful in maize breeding programs to obtain
high-yielding hybrids in the same climate of Iran.
Abstract: An efficient architecture for low jitter All Digital
Phase Locked Loop (ADPLL) suitable for high speed SoC
applications is presented in this paper. The ADPLL is designed using
standard cells and described by Hardware Description Language
(HDL). The ADPLL implemented in a 90 nm CMOS process can
operate from 10 to 200 MHz and achieve worst case frequency
acquisition in 14 reference clock cycles. The simulation result shows
that PLL has cycle to cycle jitter of 164 ps and period jitter of 100 ps
at 100MHz. Since the digitally controlled oscillator (DCO) can
achieve both high resolution and wide frequency range, it can meet
the demands of system-level integration. The proposed ADPLL can
easily be ported to different processes in a short time. Thus, it can
reduce the design time and design complexity of the ADPLL, making
it very suitable for System-on-Chip (SoC) applications.
Abstract: The aim of current study was to investigate the
changes in the quality parameters of Holstein bull semen during the
heat stress and the effect of feeding a source of omega-3 fatty acids
in this period. Samples were obtained from 19 Holstein bulls during
the expected time of heat stress in Iran (June to September 2009).
Control group (n=10) were fed a standard concentrate feed while
treatment group (n=9) had this feed top dressed with 100 g of an
omega-3 enriched nutriceutical. Semen quality was assessed on
ejaculates collected after 1, 5, 9 and 12 weeks of supplementation.
Computer-assisted assessment of sperm motility, viability (eosinnigrosin)
and hypo-osmotic swelling test (HOST) were conducted.
Heat stress affected sperm quality parameters by week 5 and 9
(p
Abstract: This paper proposes the concept of aerocapture with
aerodynamic-environment-adaptive variable geometry flexible
aeroshell that vehicle deploys. The flexible membrane is composed
of thin-layer film or textile as its aeroshell in order to solve some
problems obstructing realization of aerocapture technique.
Multi-objective optimization study is conducted to investigate
solutions and derive design guidelines. As a result, solutions which
can avoid aerodynamic heating and enlarge the corridor width up
to 10% are obtained successfully, so that the effectiveness of this
concept can be demonstrated. The deformation-use optimum
solution changes its drag coefficient from 1.6 to 1.1, along with the
change in dynamic pressure. Moreover, optimization results show
that deformation-use solution requires the membrane for which
upper temperature limit and strain limit are more than 700 K and
120%, respectively, and elasticity (Young-s modulus) is of order of
106 Pa.