Abstract: One major difficulty that faces developers of
concurrent and distributed software is analysis for concurrency based
faults like deadlocks. Petri nets are used extensively in the
verification of correctness of concurrent programs. ECATNets are a
category of algebraic Petri nets based on a sound combination of
algebraic abstract types and high-level Petri nets. ECATNets have
'sound' and 'complete' semantics because of their integration in
rewriting logic and its programming language Maude. Rewriting
logic is considered as one of very powerful logics in terms of
description, verification and programming of concurrent systems We
proposed previously a method for translating Ada-95 tasking
programs to ECATNets formalism (Ada-ECATNet) and we showed
that ECATNets formalism provides a more compact translation for
Ada programs compared to the other approaches based on simple
Petri nets or Colored Petri nets. We showed also previously how the
ECATNet formalism offers to Ada many validation and verification
tools like simulation, Model Checking, accessibility analysis and
static analysis. In this paper, we describe the implementation of our
translation of the Ada programs into ECATNets.
Abstract: In this paper we present the modeling, design, and
experimental testing of a nerve cuff multi-electrode system for
diameter-selective vagus nerve stimulation.
The multi-electrode system contained ninety-nine platinum
electrodes embedded within a self-curling spiral silicone sheet. The
electrodes were organized in a matrix having nine parallel groups,
each containing eleven electrodes.
Preliminary testing of the nerve cuff was performed in an isolated
segment of a swinish left cervical vagus nerve. For selective vagus
nerve stimulation, precisely defined current quasitrapezoidal,
asymmetric and biphasic stimulating pulses were applied to
preselected locations along the left vagus segment via appointed
group of three electrodes within the cuff. Selective stimulation was
obtained by anodal block. However, these pulses may not be safe for
a long-term application because of a frequently used high imbalance
between the cathodic and anodic part of the stimulating pulse.
Preliminary results show that the cuff was capable of exciting A
and B-fibres, and, that for a certain range of parameters used in
stimulating pulses, the contribution of A-fibres to the CAP was
slightly reduced and the contribution of B-fibres was slightly larger.
Results also showed that measured CAPs are not greatly
influenced by the imbalance between a charge Qc injected in cathodic
and Qa in anodic phase of quasitrapezoidal, asymmetric and biphasic
pulses.
Abstract: The purpose of this study attempts to emphasize the factors relating to intra-family relationships (order point of view) on violence against the women, For this purpose a survey technique on the sample size amounted 100 women of married of city of Ilam in country of Iran were considered. For measurement of violence against the women , the CTS scaled has been used .violence against the women be measured in four dimension ( emotional violence, psycho violence, physical violence, neglect violence). highest violence was related to emotional violence and after are as follow respectively : physical violence and neglect violence. The results showed that women have experienced the violence more than once during the last year, degree of order in family is high. Explanation result indicated that the order variables in family including collective thinking, empathy and communal co-circumstance have significant effects on violence against the women. Via multiple regression analysis variables of empathy, religious tenet and education of husband had significant effect on violence against women. In other words relationships among family effect on violence in family.
Abstract: This paper presents a critical study about the
application of Neural Networks to ion-exchange process. Ionexchange
is a complex non-linear process involving many factors
influencing the ions uptake mechanisms from the pregnant solution.
The following step includes the elution. Published data presents
empirical isotherm equations with definite shortcomings resulting in
unreliable predictions. Although Neural Network simulation
technique encounters a number of disadvantages including its “black
box", and a limited ability to explicitly identify possible causal
relationships, it has the advantage to implicitly handle complex
nonlinear relationships between dependent and independent
variables. In the present paper, the Neural Network model based on
the back-propagation algorithm Levenberg-Marquardt was developed
using a three layer approach with a tangent sigmoid transfer function
(tansig) at hidden layer with 11 neurons and linear transfer function
(purelin) at out layer. The above mentioned approach has been used
to test the effectiveness in simulating ion exchange processes. The
modeling results showed that there is an excellent agreement between
the experimental data and the predicted values of copper ions
removed from aqueous solutions.
Abstract: Environmental awareness and the recent
environmental policies have forced many electric utilities to
restructure their operational practices to account for their emission
impacts. One way to accomplish this is by reformulating the
traditional economic dispatch problem such that emission effects are
included in the mathematical model. This paper presents a Particle
Swarm Optimization (PSO) algorithm to solve the Economic-
Emission Dispatch problem (EED) which gained recent attention due
to the deregulation of the power industry and strict environmental
regulations. The problem is formulated as a multi-objective one with
two competing functions, namely economic cost and emission
functions, subject to different constraints. The inequality constraints
considered are the generating unit capacity limits while the equality
constraint is generation-demand balance. A novel equality constraint
handling mechanism is proposed in this paper. PSO algorithm is
tested on a 30-bus standard test system. Results obtained show that
PSO algorithm has a great potential in handling multi-objective
optimization problems and is capable of capturing Pareto optimal
solution set under different loading conditions.
Abstract: Environmental conflicts produced by economic development and natural resources exploitation, are discussed. Main causes of conflicts in developing countries were shown to arise from geographically external investments, inefficiency of the Environmental Impact Assessment (EIA), and the lack of communication between government and Non-Government Organizations (NGOs). Citizen participation can only intervene during late stages of the EIA, which is considered as one of the main shortcomings in satisfying demands of local people.
Abstract: The White Kwao (Pueraria mirifica), a potent phytoestrogenic medicinal plant, has long been use in Thailand as a traditional folkmedicine. However, no scientific information of the direct effect of White Kwao on the development of mammalian embryo was available. Therefore, the purpose of this study was to investigate the effect of White Kwao extract on the in vitro development and implantation rate of mouse embryos. This study was designed into two experiments. In the first experiment, the two-cell stage mouse embryos were collected from the oviduct of superovulated mature female mice, and randomly cultured in three different media, the M16, M16 supplemented with 0.52μg esthinylestradiol-17β, and M16 supplemented with 10 mg/ml White Kwao extract. The culture was incubated in CO2 incubator at 37 oC . After the embryos were cultivated, the developments of embryos were observed every 24 hours for 5 days. The development rate of embryos from the two-cell stage to blastocyst stage in the media was with White Kwao was significantly higher (p
Abstract: Sweet potato products are necessary for the provision
of essential nutrients in every household, regardless of their poverty
status. Their consumption appears to be highly influenced by socioeconomic
factors, such as malnutrition, food insecurity and
unemployment. Therefore, market availability is crucial for these
cultivars to resolve some of the socio-economic factors. The aim of
the study was to investigate market availability of sweet potato
cultivars in the North West Province. In this study, both qualitative
and quantitative research methodologies were used. Qualitative
methodology was used to explain the quantitative outcomes of the
variables. On the other hand, quantitative results were used to test the
hypothesis. The study used SPSS software to analyse the data. Crosstabulation
and Chi-square statistics were used to obtain the
descriptive and inferential analyses, respectively. The study found
that the Blesbok cultivar is dominating the markets of the North West
Province, with the Monate cultivar dominating in the Bojanala
Platinum (75%) and Dr Ruth Segomotsi Mompati (25%) districts. It
is also found that a unit increase in the supply of sweet potato
cultivars in both local and district municipal markets is accompanied
by a reduced demand of 28% and 33% at district and local markets,
respectively. All these results were found to be significant at p
Abstract: Nowadays, power systems, energy generation by wind
has been very important. Noting that the production of electrical
energy by wind turbines on site to several factors (such as wind speed
and profile site for the turbines, especially off the wind input speed,
wind rated speed and wind output speed disconnect) is dependent. On
the other hand, several different types of turbines in the market there.
Therefore, selecting a turbine that its capacity could also answer the
need for electric consumers the efficiency is high something is
important and necessary. In this context, calculating the amount of
wind power to help optimize overall network, system operation, in
determining the parameters of wind power is very important.
In this article, to help calculate the amount of wind power plant,
connected to the national network in the region Manjil wind,
selecting the best type of turbine and power delivery profile
appropriate to the network using Monte Carlo method has been.
In this paper, wind speed data from the wind site in Manjil, as minute
and during the year has been. Necessary simulations based on
Random Numbers Simulation method and repeat, using the software
MATLAB and Excel has been done.
Abstract: Power transformer consists of components which are
under consistent thermal and electrical stresses. The major
component which degrades under these stresses is the paper
insulation of the power transformer. At site, lightning impulses and
cable faults may cause the winding deformation. In addition, the
winding may deform due to impact during transportation. A
deformed winding will excite more stress to its insulating paper thus
will degrade it. Insulation degradation will shorten the life-span of
the transformer. Currently there are two methods of detecting the
winding deformation which are Sweep Frequency Response
Analysis (SFRA) and Low Voltage Impulse Test (LVI). The latter
injects current pulses to the winding and capture the admittance
plot. In this paper, a transformer which experienced overheating and
arcing was identified, and both SFRA and LVI were performed.
Next, the transformer was brought to the factory for untanking. The
untanking results revealed that the LVI is more accurate than the
SFRA method for this case study.
Abstract: This study reveals that anti-immigrant policies in
Europe result from a process of securitization, and that, within this
process, radical right parties have been formulating discourses and
approaches through a construction process by using some common
security themes. These security themes can be classified as national
security, economic security, cultural security and internal security.
The frequency with which radical right parties use these themes may
vary according to the specific historical, social and cultural
characteristics of a particular country.
Abstract: An optical fiber Fabry-Perot interferometer (FFPI) is
proposed and demonstrated for dynamic measurements in a
mechanical vibrating target. A polishing metal with a low reflectance
value adhered to a mechanical vibrator was excited via a function
generator at various excitation frequencies. Output interference
fringes were generated by modulating the reference and sensing
signal at the output arm. A fringe-counting technique was used for
interpreting the displacement information on the dedicated computer.
The fiber interferometer has been found the capability of the
displacement measurements of 1.28 μm – 96.01 μm. A commercial
displacement sensor was employed as a reference sensor for
investigating the measurement errors from the fiber sensor. A
maximum percentage measurement error of approximately 1.59 %
was obtained.
Abstract: Through the time, the higher education has changed
the learning system since mother tongue to bilingual, and in this new
century has been coming develop a multilingual education. All as
part of globalization process of the countries and the education.
Nevertheless, this change only has been effectively in countries of the
first world, the rest have been lagging. Therefore, these countries
require strengthen their higher education systems through models that
give way to multilingual and bilingual education. In this way, shows
a new model adapted from a systemic form to allow a higher
bilingual and multilingual education in Latin America. This
systematization aims to increase the skills and competencies
student’s, decrease the time learning of a second tongue, add to
multilingualism in the American Latin Universities, also, contribute
to position the region´s countries in a better global status, and
stimulate the development of new research in this area.
Abstract: Different numerical methods are employed and developed for simulating interfacial flows. A large range of applications belong to this group, e.g. two-phase flows of air bubbles in water or water drops in air. In such problems surface tension effects often play a dominant role. In this paper, various models of surface tension force for interfacial flows, the CSF, CSS, PCIL and SGIP models have been applied to simulate the motion of small air bubbles in water and the results were compared and reviewed. It has been pointed out that by using SGIP or PCIL models, we are able to simulate bubble rise and obtain results in close agreement with the experimental data.
Abstract: In order to assess optical fiber reliability in different environmental and stress conditions series of testing are performed simulating overlapping of chemical and mechanical controlled varying factors. Each series of testing may be compared using statistical processing: i.e. Weibull plots. Due to the numerous data to treat, a software application has appeared useful to interpret selected series of experiments in function of envisaged factors. The current paper presents a software application used in the storage, modelling and interpretation of experimental data gathered from optical fibre testing. The present paper strictly deals with the software part of the project (regarding the modelling, storage and processing of user supplied data).
Abstract: The importance of happiness understanding research is caused by cardinal changes experiences in system of people values in the post-Soviet countries territory. «The time of changes», which characterized with destruction of old values and not creativeness of new, stimulating experiences by the person of existential vacuum. The given research is actual not only in connection with sense formation, but also in connection with necessity creatively to adapt in integrative space. According to numerous works [1,2,3], we define happiness as the peak experience connected with satisfaction correlated system of needs, dependent on style of subject's coping behavior.
Abstract: More and more governments around the world are
introducing e-government as a means of reducing costs, improving
services, saving time and increasing effectiveness and efficiency in
the public sector Therefore e-government has been identified as one
of the top priorities for Saudi government and all its agencies.
However, the adoption of e-government is facing many challenges
and barriers such as technological, cultural, organizational, and social
issues which must be considered and treated carefully by any
government contemplating its adoption. This paper reports on a pilot
study amongst online (e-ready) citizens to identify the challenges and
barriers that affect the adoption of e-government services especially
from their perspective in Saudi society. Based on the analysis of data
collected from an online survey the researcher was able to identify
some of the important barriers and challenges from the e-ready
citizen perspective. As a result, this study has generated a list of
possible strategies to move towards successful adoption of egovernment
services in Saudi Arabia.
Abstract: This paper presents the optimum design for a double
stator, cup rotor machine; a novel type of BLDC PM Machine. The optimization approach is divided into two stages: the first stage is
calculating the machine configuration using Matlab, and the second stage is the optimization of the machine using Finite Element
Modeling (FEM). Under the design specifications, the machine
model will be selected from three pole numbers, namely, 8, 10 and 12 with an appropriate slot number. A double stator brushless DC
permanent magnet machine is designed to achieve low cogging torque; high electromagnetic torque and low ripple torque.
Abstract: In this work, we present for the first time in our perception an efficient digital watermarking scheme for mpeg audio layer 3 files that operates directly in the compressed data domain, while manipulating the time and subband/channel domain. In addition, it does not need the original signal to detect the watermark. Our scheme was implemented taking special care for the efficient usage of the two limited resources of computer systems: time and space. It offers to the industrial user the capability of watermark embedding and detection in time immediately comparable to the real music time of the original audio file that depends on the mpeg compression, while the end user/audience does not face any artifacts or delays hearing the watermarked audio file. Furthermore, it overcomes the disadvantage of algorithms operating in the PCMData domain to be vulnerable to compression/recompression attacks, as it places the watermark in the scale factors domain and not in the digitized sound audio data. The strength of our scheme, that allows it to be used with success in both authentication and copyright protection, relies on the fact that it gives to the users the enhanced capability their ownership of the audio file not to be accomplished simply by detecting the bit pattern that comprises the watermark itself, but by showing that the legal owner knows a hard to compute property of the watermark.
Abstract: In this paper, we propose a novel frequency offset
estimation scheme for orthogonal frequency division multiplexing
(OFDM) systems. By correlating the OFDM signals within the coherence
phase bandwidth and employing a threshold in the frequency
offset estimation process, the proposed scheme is not only robust to
the timing offset but also has a reduced complexity compared with
that of the conventional scheme. Moreover, a timing offset estimation
scheme is also proposed as the next stage of the proposed frequency
offset estimation. Numerical results show that the proposed scheme
can estimate frequency offset with lower computational complexity
and does not require additional memory while maintaining the same
level of estimation performance.