Abstract: In nature, electromagnetic fields always appear like
atmosphere static electric field, the earth's static magnetic field and
the wide-rang frequency electromagnetic field caused by lightening.
However, besides natural electromagnetic fields (EMF), today human
beings are mostly exposed to artificial electromagnetic fields due to
technology progress and outspread use of electrical devices. To
evaluate nuisance of EMF, it is necessary to know field intensity for
every frequency which appears and compare it with allowed values.
Low frequency EMF-s around transmission and distribution lines are
time-varying quasi-static electromagnetic fields which have
conservative component of low frequency electrical field caused by
charges and eddy component of low frequency magnetic field caused
by currents. Displacement current or field delay are negligible, so
energy flow in quasi-static EMF involves diffusion, analog like heat
transfer. Electrical and magnetic field can be analyzed separately.
This paper analysis the numerical calculations in ELF-400 software
of EMF in distribution substation in shopping center. Analyzing the
results it is possible to specify locations exposed to the fields and
give useful suggestion to eliminate electromagnetic effect or reduce it
on acceptable level within the non-ionizing radiation norms and
norms of protection from EMF.
Abstract: In this paper, a two factor scheme is proposed to
generate cryptographic keys directly from biometric data, which
unlike passwords, are strongly bound to the user. Hash value of the
reference iris code is used as a cryptographic key and its length
depends only on the hash function, being independent of any other
parameter. The entropy of such keys is 94 bits, which is much higher
than any other comparable system. The most important and distinct
feature of this scheme is that it regenerates the reference iris code by
providing a genuine iris sample and the correct user password. Since
iris codes obtained from two images of the same eye are not exactly
the same, error correcting codes (Hadamard code and Reed-Solomon
code) are used to deal with the variability. The scheme proposed here
can be used to provide keys for a cryptographic system and/or for
user authentication. The performance of this system is evaluated on
two publicly available databases for iris biometrics namely CBS and
ICE databases. The operating point of the system (values of False
Acceptance Rate (FAR) and False Rejection Rate (FRR)) can be set
by properly selecting the error correction capacity (ts) of the Reed-
Solomon codes, e.g., on the ICE database, at ts = 15, FAR is 0.096%
and FRR is 0.76%.
Abstract: This study carried out in order to investigate the
effects of salinity on carbon isotope discrimination (Δ) of shoots and
roots of four sugar beet cultivars (cv) including Madison (British
origin) and three Iranian culivars (7233-P12, 7233-P21 and 7233-P29).
Plants were grown in sand culture medium in greenhouse conditions.
Plants irrigated with saline water (tap water as control, 50 mM, 150
mM, 250 mM and 350 mM of NaCl + CaCl2 in 5 to 1 molar ratio)
from 4 leaves stage for 16 weeks. Carbon isotope discrimination
significantly decreased with increasing salinity. Significant
differences of Δ between shoot and root were observed in all cvs and
all levels of salinity. Madison cv showed lower Δ in shoot and root
than other three cvs at all levels of salinity expect control, but cv
7233-P29 had significantly higher Δ values at saline conditions of 150
mM and above. Therefore, Δ might be applicable, as a useful tool, for
study of salinity tolerance of sugar beet genotypes.
Abstract: Morgan-s refinement calculus (MRC) is one of the
well-known methods allowing the formality presented in the program
specification to be continued all the way to code. On the other hand,
Object-Z (OZ) is an extension of Z adding support for classes and
objects. There are a number of methods for obtaining code from OZ
specifications that can be categorized into refinement and animation
methods. As far as we know, only one refinement method exists
which refines OZ specifications into code. However, this method
does not have fine-grained refinement rules and thus cannot be
automated. On the other hand, existing animation methods do not
present mapping rules formally and do not support the mapping of
several important constructs of OZ, such as all cases of operation
expressions and most of constructs in global paragraph. In this paper,
with the aim of providing an automatic path from OZ specifications
to code, we propose an approach to map OZ specifications into their
counterparts in MRC in order to use fine-grained refinement rules of
MRC. In this way, having counterparts of our specifications in MRC,
we can refine them into code automatically using MRC tools such as
RED. Other advantages of our work pertain to proposing mapping
rules formally, supporting the mapping of all important constructs of
Object-Z, and considering dynamic instantiation of objects while OZ
itself does not cover this facility.
Abstract: Thermal load calculations have been performed for
multi-layered walls that are composed of three different parts; a
common (sand and cement) plaster, and two types of locally
produced soft and hard bricks. The masonry construction of these
layered walls was based on concrete-backed stone masonry made of
limestone bricks joined by mortar. These multilayered walls are
forming the outer walls of the building envelope of a typical Libyan
house. Based on the periodic seasonal weather conditions, within the
Libyan cost region during summer and winter, measured thermal
conductivity values were used to implement such seasonal variation
of heat flow and the temperature variations through the walls. The
experimental measured thermal conductivity values were obtained
using the Hot Disk technique. The estimation of the thermal
resistance of the wall layers ( R-values) is based on measurements
and calculations. The numerical calculations were done using a
simplified analytical model that considers two different wall
constructions which are characteristics of such houses. According to
the obtained results, the R-values were quite low and therefore,
several suggestions have been proposed to improve the thermal
loading performance that will lead to a reasonable human comfort
and reduce energy consumption.
Abstract: Mobile devices, which are progressively surrounded
in our everyday life, have created a new paradigm where they
interconnect, interact and collaborate with each other. This network
can be used for flexible and secure coordinated sharing. On the other
hand Grid computing provides dependable, consistent, pervasive, and
inexpensive access to high-end computational capabilities. In this
paper, efforts are made to map the concepts of Grid on Ad-Hoc
networks because both exhibit similar kind of characteristics like
Scalability, Dynamism and Heterogeneity. In this context we
propose “Mobile Ad-Hoc Services Grid – MASGRID".
Abstract: Extracting and elaborating software requirements and
transforming them into viable software architecture are still an
intricate task. This paper defines a solution architecture which is
based on the blurred amalgamation of problem space and solution
space. The dependencies between domain constraints, requirements
and architecture and their importance are described that are to be
considered collectively while evolving from problem space to
solution space. This paper proposes a revised version of Twin Peaks
Model named Win Peaks Model that reconciles software
requirements and architecture in more consistent and adaptable
manner. Further the conflict between stakeholders- win-requirements
is resolved by proposed Voting methodology that is simple
adaptation of win-win requirements negotiation model and QARCC.
Abstract: Vehicle which are turning or maneuvering at high speeds
are susceptible to sliding and subsequently deviate from desired path. In
this paper the dynamics governing the Yaw/Roll behavior of a vehicle
has been simulated. Two different simulations have been used one for
the real vehicle, for which a fuzzy controller is designed to increase its
directional stability property. The other simulation is for a hypothetical
vehicle with much higher tire cornering stiffness which is capable of
developing the required lateral forces at the tire-ground patch contact to
attain the desired lateral acceleration for the vehicle to follow the
desired path without slippage. This simulation model is our reference
model.
The logic for keeping the vehicle on the desired track in the cornering
or maneuvering state is to have some braking forces on the inner or
outer tires based on the direction of vehicle deviation from the desired
path. The inputs to our vehicle simulation model is steer angle δ and
vehicle velocity V , and the outputs can be any kinematical parameters
like yaw rate, yaw acceleration, side slip angle, rate of side slip angle
and so on. The proposed fuzzy controller is a feed forward controller.
This controller has two inputs which are steer angle δ and vehicle
velocity V, and the output of the controller is the correcting moment M,
which guides the vehicle back to the desired track. To develop the
membership functions for the controller inputs and output and the fuzzy
rules, the vehicle simulation has been run for 1000 times and the
correcting moment have been determined by trial and error. Results of
the vehicle simulation with fuzzy controller are very promising
and show the vehicle performance is enhanced greatly over the
vehicle without the controller. In fact the vehicle performance
with the controller is very near the performance of the reference
ideal model.
Abstract: In this paper, a novel method for recognition of musical
instruments in a polyphonic music is presented by using an
embedded hidden Markov model (EHMM). EHMM is a doubly
embedded HMM structure where each state of the external HMM
is an independent HMM. The classification is accomplished for
two different internal HMM structures where GMMs are used as
likelihood estimators for the internal HMMs. The results are compared
to those achieved by an artificial neural network with two
hidden layers. Appropriate classification accuracies were achieved
both for solo instrument performance and instrument combinations
which demonstrates that the new approach outperforms the similar
classification methods by means of the dynamic of the signal.
Abstract: Internal controls of accounting are an essential
business function for a growth-oriented organization, and include the
elements of risk assessment, information communications and even
employees' roles and responsibilities. Internal controls of accounting
systems are designed to protect a company from fraud, abuse and
inaccurate data recording and help organizations keep track of
essential financial activities. Internal controls of accounting provide a
streamlined solution for organizing all accounting procedures and
ensuring that the accounting cycle is completed consistently and
successfully. Implementing a formal Accounting Procedures Manual
for the organization allows the financial department to facilitate
several processes and maintain rigorous standards. Internal controls
also allow organizations to keep detailed records, manage and
organize important financial transactions and set a high standard for
the organization's financial management structure and protocols. A
well-implemented system also reduces the risk of accounting errors
and abuse. A well-implemented controls system allows a company's
financial managers to regulate and streamline all functions of the
accounting department. Internal controls of accounting can be set up
for every area to track deposits, monitor check handling, keep track
of creditor accounts, and even assess budgets and financial statements
on an ongoing basis. Setting up an effective accounting system to
monitor accounting reports, analyze records and protect sensitive
financial information also can help a company set clear goals and
make accurate projections. Creating efficient accounting processes
allows an organization to set specific policies and protocols on
accounting procedures, and reach its financial objectives on a regular
basis. Internal accounting controls can help keep track of such areas
as cash-receipt recording, payroll management, appropriate recording
of grants and gifts, cash disbursements by authorized personnel, and
the recording of assets. These systems also can take into account any
government regulations and requirements for financial reporting.
Abstract: The effect of wood vinegar, entomopathogenic
nematodes ((Steinernema thailandensis n. sp.) and fermented organic
substances from four plants such as: Derris elliptica Roxb, Stemona
tuberosa Lour, Tinospora crispa Mier and Azadirachta indica J. were
tested on the five varieties of sweetpotato with potential for
bioethanol production ie. Taiwan, China, PROC No.65-16, Phichit
166-5, and Phichit 129-6. The experimental plots were located at
Faculty of Agriculture, Natural Resources and Environment,
Naresuan University, Phitsanulok, Thailand. The aim of this study
was to compare the efficiency of the five treatments for growth, yield
and insect infestation on the five varieties of sweetpotato. Treatment
with entomopathogenic nematodes gave the highest average weight
of sweetpotato tubers (1.3 kg/tuber), followed by wood vinegar,
fermented organic substances and mixed treatment with yields of
0.88, 0.46 and 0.43 kg/tuber, respectively. Also the
entomopathogenic nematode treatment gave significantly higher
average width and length of sweet potato (9.82 cm and 9.45 cm,
respectively). Additionally, the entomopathogenic nematode
provided the best control of insect infestation on sweetpotato leaves
and tubers. Comparison among the varieties of sweetpotato, PROC
NO.65-16 showed the highest weight and length. However, Phichit
129-6 gave significantly higher weight of 0.94 kg/tuber. Lastly, the
lowest sweet potato weevil infestation on leaves and tubers occurred
on Taiwan and Phichit 129-6.
Abstract: In this paper we have proposed a methodology to
develop an amperometric biosensor for the analysis of glucose
concentration using a simple microcontroller based data acquisition
system. The work involves the development of Detachable
Membrane Unit (enzyme based biomembrane) with immobilized
glucose oxidase on the membrane and interfacing the same to the
signal conditioning system. The current generated by the biosensor
for different glucose concentrations was signal conditioned, then
acquired and computed by a simple AT89C51-microcontroller. The
optimum operating parameters for the better performance were found
and reported. The detailed performance evaluation of the biosensor
has been carried out. The proposed microcontroller based biosensor
system has the sensitivity of 0.04V/g/dl, with a resolution of
50mg/dl. It has exhibited very good inter day stability observed up to
30 days. Comparing to the reference method such as HPLC, the
accuracy of the proposed biosensor system is well within ± 1.5%.
The system can be used for real time analysis of glucose
concentration in the field such as, food and fermentation and clinical
(In-Vitro) applications.
Abstract: The weight constrained shortest path problem
(WCSPP) is one of most several known basic problems in
combinatorial optimization. Because of its importance in many areas
of applications such as computer science, engineering and operations
research, many researchers have extensively studied the WCSPP.
This paper mainly concentrates on the reduction of total search space
for finding WCSP using some existing Genetic Algorithm (GA). For
this purpose, some controlled schemes of genetic operators are
adopted on list chromosome representation. This approach gives a
near optimum solution with smaller elapsed generation than classical
GA technique. From further analysis on the matter, a new
generalized schema theorem is also developed from the philosophy
of Holland-s theorem.
Abstract: Tofurther advance research on immune-related genes
from T. molitor, we constructed acDNA library and analyzed
expressed sequence taq (EST) sequences from 1,056 clones. After
removing vector sequence and quality checkingthrough thePhred
program (trim_alt 0.05 (P-score>20), 1039 sequences were generated.
The average length of insert was 792 bp. In addition, we identified 162
clusters, 167 contigs and 391 contigs after clustering and assembling
process using a TGICL package. EST sequences were searchedagainst
NCBI nr database by local BLAST (blastx, E
Abstract: In this paper, investigation of subsynchronous
resonance (SSR) characteristics of a hybrid series compensated
system and the design of voltage controller for three level 24-pulse
Voltage Source Converter based Static Synchronous Series
Compensator (SSSC) is presented. Hybrid compensation consists of
series fixed capacitor and SSSC which is a active series FACTS
controller. The design of voltage controller for SSSC is based on
damping torque analysis, and Genetic Algorithm (GA) is adopted for
tuning the controller parameters. The SSR Characteristics of SSSC
with constant reactive voltage control modes has been investigated.
The results show that the constant reactive voltage control of SSSC
has the effect of reducing the electrical resonance frequency, which
detunes the SSR.The analysis of SSR with SSSC is carried out based
on frequency domain method, eigenvalue analysis and transient
simulation. While the eigenvalue and damping torque analysis are
based on D-Q model of SSSC, the transient simulation considers both
D-Q and detailed three phase nonlinear system model using
switching functions.
Abstract: In this paper presented initial design of Low Speed
Axial Flux Permanent Magnet (AFPM) Machine with Non-Slotted
TORUS topology type by use of certain algorithm (Appendix).
Validation of design algorithm studied by means of selected data of
an initial prototype machine. Analytically design calculation carried
out by means of design algorithm and obtained results compared with
results of Finite Element Method (FEM).
Abstract: Aspect of visual perception occupies a central position
in shaping the physical structure of a city. This paper discusses the
visual characteristics of utopian cities and their impact on the shaping
of real urban structures. Utopian examples of cities will not be
discussed in terms of social and sociological conditions, but rather
the emphasis is on urban utopias and ideal cities that have achieved
or have had potential impact on the shape of the physical structure of
Nikšić. It is a Renaissance-Baroque period with a touch of classicism.
The paper’s emphasis is on the physical dimension, not excluding the
importance of social equilibrium, studies of which are dating back to
Aristotle, Plato, Thomas More, Robert Owen, Tommaso Campanella
and others. The emphasis is on urban utopias and their impact on the
development of sustainable physical structure of a real city in the
context of visual perception. In the case of Nikšić, this paper
identifies the common features of a real city and a utopian city, as
well as criteria for sustainable urban development in the context of
visual achievement.
Abstract: Probabilistic techniques in computer programs are becoming
more and more widely used. Therefore, there is a big
interest in the formal specification, verification, and development
of probabilistic programs. In our work-in-progress project, we are
attempting to make a constructive framework for developing probabilistic
programs formally. The main contribution of this paper
is to introduce an intermediate artifact of our work, a Z-based
formalism called PZ, by which one can build set theoretical models of
probabilistic programs. We propose to use a constructive set theory,
called CZ set theory, to interpret the specifications written in PZ.
Since CZ has an interpretation in Martin-L¨of-s theory of types, this
idea enables us to derive probabilistic programs from correctness
proofs of their PZ specifications.
Abstract: This paper discusses coordinated reactive power -
voltage (Q-V) control in a multi machine steam power plant. The
drawbacks of manual Q-V control are briefly listed, and the design
requirements for coordinated Q-V controller are specified.
Theoretical background and mathematical model of the new
controller are presented next followed by validation of developed
Matlab/Simulink model through comparison with recorded
responses in real steam power plant and description of practical
realisation of the controller. Finally, the performance of
commissioned controller is illustrated on several examples of
coordinated Q-V control in real steam power plant and compared
with manual control.
Abstract: The architecture of Safavid Dynasty can be considered the epitome of Iranian architectural beauty. Safavid dynasty (1501- 1722 AC) along with Ottoman in Turkey and Mughal Empire in India were the three great Islamic nations of their time (1500 AC) often known as the last Islamic countries with international authority up to the 20th Century. This era approximately coincide with Renaissance in Europe. In this era, large European countries begin amassing power thanks to significant scientific, cultural and religious revolutions of that time and colonizing nations such as England, Spain and Portugal began to influence international trends with in an increasing while other non-industrial nations diminished. The main objective of this paper is to give a typological overview of the development of decoration and ornament in the architecture of Safafid Dynasty in Iran. It is expected that it can start a wider discussion to enrich this nation-s heritage and contribute to the development of Islamic ornament in general.