Abstract: This paper introduces a temporal epistemic logic
CBCTL that updates agent-s belief states through communications
in them, based on computational tree logic (CTL). In practical
environments, communication channels between agents may not be
secure, and in bad cases agents might suffer blackouts. In this study,
we provide inform* protocol based on ACL of FIPA, and declare the
presence of secure channels between two agents, dependent on time.
Thus, the belief state of each agent is updated along with the progress
of time. We show a prover, that is a reasoning system for a given
formula in a given a situation of an agent ; if it is directly provable
or if it could be validated through the chains of communications, the
system returns the proof.
Abstract: Software Development Risks Identification (SDRI),
using Fault Tree Analysis (FTA), is a proposed technique to identify
not only the risk factors but also the causes of the appearance of the
risk factors in software development life cycle. The method is based
on analyzing the probable causes of software development failures
before they become problems and adversely affect a project. It uses
Fault tree analysis (FTA) to determine the probability of a particular
system level failures that are defined by A Taxonomy for Sources of
Software Development Risk to deduce failure analysis in which an
undesired state of a system by using Boolean logic to combine a
series of lower-level events. The major purpose of this paper is to use
the probabilistic calculations of Fault Tree Analysis approach to
determine all possible causes that lead to software development risk
occurrence
Abstract: The design of a modern aircraft is based on three pillars: theoretical results, experimental test and computational simulations.
As a results of this, Computational Fluid Dynamic (CFD) solvers are
widely used in the aeronautical field. These solvers require the correct
selection of many parameters in order to obtain successful results. Besides, the computational time spent in the simulation depends on
the proper choice of these parameters.
In this paper we create an expert system capable of making an
accurate prediction of the number of iterations and time required for the convergence of a computational fluid dynamic (CFD) solver.
Artificial neural network (ANN) has been used to design the expert system. It is shown that the developed expert system is capable of making an accurate prediction the number of iterations and time
required for the convergence of a CFD solver.
Abstract: Analytical solution of the first-order and third-order
shear deformation theories are developed to study the free vibration
behavior of simply supported functionally graded plates. The
material properties of plate are assumed to be graded in the thickness
direction as a power law distribution of volume fraction of the
constituents. The governing equations of functionally graded plates
are established by applying the Hamilton's principle and are solved
by using the Navier solution method. The influence of side-tothickness
ratio and constituent of volume fraction on the natural
frequencies are studied. The results are validated with the known
data in the literature.
Abstract: In this paper we compare the response of linear and
nonlinear neural network-based prediction schemes in prediction of
received Signal-to-Interference Power Ratio (SIR) in Direct
Sequence Code Division Multiple Access (DS/CDMA) systems. The
nonlinear predictor is Multilayer Perceptron MLP and the linear
predictor is an Adaptive Linear (Adaline) predictor. We solve the
problem of complexity by using the Minimum Mean Squared Error
(MMSE) principle to select the optimal predictors. The optimized
Adaline predictor is compared to optimized MLP by employing
noisy Rayleigh fading signals with 1.8 GHZ carrier frequency in an
urban environment. The results show that the Adaline predictor can
estimates SIR with the same error as MLP when the user has the
velocity of 5 km/h and 60 km/h but by increasing the velocity up-to
120 km/h the mean squared error of MLP is two times more than
Adaline predictor. This makes the Adaline predictor (with lower
complexity) more suitable than MLP for closed-loop power control
where efficient and accurate identification of the time-varying
inverse dynamics of the multi path fading channel is required.
Abstract: Supplier selection is a multi criteria decision-making process that comprises tangible and intangible factors. The majority of previous supplier selection techniques do not consider strategic perspective. Besides, uncertainty is one of the most important obstacles in supplier selection. For the first, time in this paper, the idea of the algorithm " Knapsack " is used to select suppliers Moreover, an attempt has to be made to take the advantage of a simple numerical method for solving model .This is an innovation to resolve any ambiguity in choosing suppliers. This model has been tried in the suppliers selected in a competitive environment and according to all desired standards of quality and quantity to show the efficiency of the model, an industry sample has been uses.
Abstract: In this paper, we proposed a new routing protocol for
Unmanned Aerial Vehicles (UAVs) that equipped with directional
antenna. We named this protocol Directional Optimized Link State
Routing Protocol (DOLSR). This protocol is based on the well
known protocol that is called Optimized Link State Routing Protocol
(OLSR). We focused in our protocol on the multipoint relay (MPR)
concept which is the most important feature of this protocol. We
developed a heuristic that allows DOLSR protocol to minimize
the number of the multipoint relays. With this new protocol the
number of overhead packets will be reduced and the End-to-End
delay of the network will also be minimized. We showed through
simulation that our protocol outperformed Optimized Link State
Routing Protocol, Dynamic Source Routing (DSR) protocol and Ad-
Hoc On demand Distance Vector (AODV) routing protocol in
reducing the End-to-End delay and enhancing the overall
throughput. Our evaluation of the previous protocols was based
on the OPNET network simulation tool.
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: Over half of the total electricity consumption is used in buildings. Air-conditioning and electric lighting are the two main resources of electricity consumption in high rise buildings. One way to reduce electricity consumption would be to limit heat gain into buildings, therefore reduce the demand for air-conditioning during hot summer months especially in hot regions. On the other hand natural daylight can be used to reduce the use of electricity for artificial lighting. In this paper effective factors on minimizing heat gain and achieving required day light were reviewed .As daylight always accompanied by solar heat gain. Also interactions between heat gain and daylight were discussed through previous studies and equations which are related to heat gain and day lighting especially in high rise buildings. As a result importance of building-s form and its component on energy consumption in buildings were clarified.
Abstract: In this paper a new robust and efficient algorithm to automatic text extraction from colored book and journal cover sheets is proposed. First, we perform wavelet transform. Next for edge detecting from detail wavelet coefficient, we use dynamic threshold. By blurring approximate coefficients with alternative heuristic thresholding, achieve effective edge,. Afterward, with ROI technique get binary image. Finally text boxes would be extracted with new projection profile.
Abstract: Green Forestation Plan (GFP) was expected to promote the reforestation of plains totaling 60,000 has within the first 8 years. Annual subsidies were budgeted at $120,000 per ha, and $2.4 million for 20 years. In this research we have surveyed landlords- opinions toward the GFP in an attempt to understand landlords- incentives for participating in the GFP and their levels of concern and agreement toward the policy design. Based our analysis of landlords- opinions on the policy design, we expect to derive appropriate complementary measures, establish effective promotional schemes, and raise the policy effectiveness of the GFP. According to the results of this research, there was still a relatively high proportion of population who were not aware of GFP; more than 50% of landlords were neutral or willing to participate given high reforestation subsidies; approximately 30% of landlords were unwilling to participate. In terms of the designs of GFP, more than 50% of respondents were concerned and agreed with the policy design. In terms of the period of this policy, 52.7% of respondents indicated that it should be shortened to 15 years or lower. In terms of the amount of the subsidy, 41.7% of respondents showed that it should be raised to approximately $250,000/ha. In terms of land area restrictions, 88.0% of respondents believed that the minimum should be lowered to 0.4 ha. More than 70% of respondents owned less than 0.4 has of land, and since they do not own enough land to be eligible for the program, more than 80% of landlords wished to lower the minimum requirements of land area. In addition, 59.3% of respondents were reluctant to participate in reforestation because their lands were too small to be eligible; 15.0% of respondents were reluctant because the duration was too long. Responses to the question about “how the policy can be adjusted to provide incentives for landlords- participation" revealed that almost 40% of respondents desired higher subsidies. Some policy suggestions are provided as follows: (1) many landlords are still unaware of the GFP so the government should enhance the promotion of the policy; (2) many landlords are unwilling to participate in GFP mainly because they do not own enough lands to be eligible, hence the government should consider adjusting its requirements for minimum agricultural land area; (3) for subsequent promotions on GFP, the government may consider targeting on the landlords with high income and high level of education; (4) because the subsidy of this policy alone provides limited help to landlords, the government should help the landlords to explore other revenue possibilities from afforestation in addition to the existing subsidies and raise the participation incentives.
Abstract: This paper presents the Function Approximation
Technique (FAT) based adaptive impedance control for a robotic
finger. The force based impedance control is developed so that the
robotic finger tracks the desired force while following the reference
position trajectory, under unknown environment position and
uncertainties in finger parameters. The control strategy is divided into
two phases, which are the free and contact phases. Force error
feedback is utilized in updating the uncertain environment position
during contact phase. Computer simulations results are presented to
demonstrate the effectiveness of the proposed technique.
Abstract: Nanocrystals (NC) alloyed composite CdSxSe1-x(x=0
to 1) have been prepared using the chemical solution deposition
technique. The energy band gap of these alloyed nanocrystals of
approximately the same size, have been determined by scanning
tunneling spectroscopy (STS) technique at room temperature. The
values of the energy band gap obtained directly using STS are
compared to those measured by optical spectroscopy. Increasing the
molar fraction ratio x from 0 to 1 causes clearly observed increase in
the band gap of the alloyed composite nanocrystal. Vegard-s law was
applied to calculate the parameters of the effective mass
approximation (EMA) model and the dimension obtained were
compared to the values measured by STM. The good agreement of
the calculated and measured values is a direct result of applying
Vegard's law in the nanocomposites.
Abstract: In our current political climate of assessment and
accountability initiatives we are failing to prepare our children for a
participatory role in the creative economy. The field of education is
increasingly falling prey to didactic methodologies which train a
nation of competent test takers, foregoing the opportunity to educate
students to find problems and develop multiple solutions. No where is
this more evident than in the area of art education. Due to a myriad of
issues including budgetary shortfalls, time constraints and a general
misconception that anyone who enjoys the arts is capable of teaching
the arts, our students are not developing the skills they require to
become fully literate in critical thinking and creative processing.
Although art integrated curriculum is increasingly being viewed as a
reform strategy for motivating students by offering alternative
presentation of concepts and representation of knowledge acquisition,
misinformed administrators are often excluding the art teacher from
the integration equation. The paper to follow addresses the problem
of the need for divergent thinking and conceptualization in our
schools. Furthermore, this paper explores the role of education, and
specifically, art education in the development of a creatively literate
citizenry.
Abstract: Although so far, many methods for ranking fuzzy numbers
have been discussed broadly, most of them contained some shortcomings,
such as requirement of complicated calculations, inconsistency
with human intuition and indiscrimination. The motivation of
this study is to develop a model for ranking fuzzy numbers based
on the lexicographical ordering which provides decision-makers with
a simple and efficient algorithm to generate an ordering founded on
a precedence. The main emphasis here is put on the ease of use
and reliability. The effectiveness of the proposed method is finally
demonstrated by including a comprehensive comparing different
ranking methods with the present one.
Abstract: The rangelands, as one of the largest dynamic biomes
in the world, have very capabilities. Regulation of greenhouse gases
in the Earth's atmosphere, particularly carbon dioxide as the main
these gases, is one of these cases. The attention to rangeland, as
cheep and reachable resources to sequestrate the carbon dioxide,
increases after the Industrial Revolution. Rangelands comprise the
large parts of Iran as a steppic area. Rudshur (Saveh), as area index of
steppic area, was selected under three sites include long-term
exclosure, medium-term exclosure, and grazable area in order to the
capable of carbon dioxide’s sequestration of dominated species.
Canopy cover’s percentage of two dominated species (Artemisia
sieberi Besser & Stipa barbata Desf) was determined via establishing
of random 1 square meter plot. The sampling of above and below
ground biomass style was obtained by complete random. After
determination of ash percentage in the laboratory; conversion ratio of
plant biomass to organic carbon was calculated by ignition method.
Results of the paired t-test showed that the amount of carbon
sequestration in above ground and underground biomass of Artemisia
sieberi Besser & Stipa barbata Desf is different in three regions. It,
of course, hasn’t any difference between under and surface ground’s
biomass of Artemisia sieberi Besser in long-term exclosure. The
independent t-test results indicate differences between underground
biomass corresponding each other in the studied sites. Carbon
sequestration in the Stipa barbata Desf was totally more than
Artemisia sieberi Besser. Altogether, the average sequestration of the
long-term exclosure was 5.842gr/m², the medium-term exclosure was
4.115gr/m², and grazable area was 5.975gr/m² so that there isn’t
valuable statistical difference in term of total amount of carbon
sequestration to three sites.
Abstract: Acid rain occurs when sulphur dioxide (SO2) and
nitrogen oxides (Nox) gases react in the atmosphere with water,
oxygen, and other chemicals to form various acidic compounds. The
result is a mild solution of sulfuric acid and nitric acid. Soil has a
greater buffering capacity than aquatic systems. However excessive
amount of acids introduced by acid rains may disturb the entire soil
chemistry. Acidity and harmful action of toxic elements damage
vegetation while susceptible microbial species are eliminated. In
present study, the effects of simulated sulphuric acid and nitric acid
rains were investigated on crop Glycine max. The effect of acid rain
on change in soil fertility was detected in which pH of control sample
was 6.5 and pH of 1%H2SO4 and 1%HNO3 were 3.5. Nitrogen nitrate
in soil was high in 1% HNO3 treated soil & Control sample.
Ammonium nitrogen in soil was low in 1% HNO3 & H2SO4 treated
soil. Ammonium nitrogen was medium in control and other samples.
The effect of acid rain on seed germination on 3rd day of germination
control sample growth was 7 cm, 0.1% HNO3 was 8cm, and 0.001%
HNO3 & 0.001% H2SO4 was 6cm each. On 10th day fungal growth
was observed in 1% and 0.1%H2SO4 concentrations, when all plants
were dead. The effect of acid rain on crop productivity was
investigated on 3rd day roots were developed in plants. On12th day
Glycine max showed more growth in 0.1% HNO3, 0.001% HNO3 and
0.001% H2SO4 treated plants growth were same as compare to control
plants. On 20th day development of discoloration of plant pigments
were observed on acid treated plants leaves. On 38th day, 0.1, 0.001%
HNO3 and 0.1, 0.001% H2SO4 treated plants and control plants were
showing flower growth. On 42th day, acid treated Glycine max variety
and control plants were showed seeds on plants. In Glycine max
variety 0.1, 0.001% H2SO4, 0.1, 0.001% HNO3 treated plants were
dead on 46th day and fungal growth was observed. The toxicological
study was carried out on Glycine max plants exposed to 1% HNO3
cells were damaged more than 1% H2SO4. Leaf sections exposed to
0.001% HNO3 & H2SO4 showed less damaged of cells and
pigmentation observed in entire slide when compare with control
plant. The soil analysis was done to find microorganisms in HNO3 &
H2SO4 treated Glycine max and control plants. No microorganism
growth was observed in 1% HNO3 & H2SO4 but control plant showed
microbial growth.
Abstract: The development of Web has affected different aspects of our lives, such as communication, sharing knowledge, searching for jobs, social activities, etc. The web portal as a gateway in the World Wide Web is a starting point for people who are connecting to the Internet. The web portal as the type of knowledge management system provides a rich space to share and search information as well as communication services like free email or content provision for the users. This research aims to discover the university needs to the web portal as a necessary tool for students in the universities to help them in getting the required information. A survey was conducted to gather students' requirements which can be incorporated in to portal to be developed.
Abstract: With the advent of social web initiatives, some argued
that these new emerging tools might be useful in tacit knowledge
sharing through providing interactive and collaborative technologies.
However, there is still a poverty of literature to understand how and
what might be the contributions of social media in facilitating tacit
knowledge sharing. Therefore, this paper is intended to theoretically
investigate and map social media concepts and characteristics with
tacit knowledge creation and sharing requirements. By conducting a
systematic literature review, five major requirements found that need
to be present in an environment that involves tacit knowledge
sharing. These requirements have been analyzed against social media
concepts and characteristics to see how they map together. The
results showed that social media have abilities to comply some of the
main requirements of tacit knowledge sharing. The relationships have
been illustrated in a conceptual framework, suggesting further
empirical studies to acknowledge findings of this study.
Abstract: This research proposes an algorithm for the simulation
of time-periodic unsteady problems via the solution unsteady Euler
and Navier-Stokes equations. This algorithm which is called Time
Spectral method uses a Fourier representation in time and hence
solve for the periodic state directly without resolving transients
(which consume most of the resources in a time-accurate scheme).
Mathematical tools used here are discrete Fourier transformations. It
has shown tremendous potential for reducing the computational cost
compared to conventional time-accurate methods, by enforcing
periodicity and using Fourier representation in time, leading to
spectral accuracy. The accuracy and efficiency of this technique is
verified by Euler and Navier-Stokes calculations for pitching airfoils.
Because of flow turbulence nature, Baldwin-Lomax turbulence
model has been used at viscous flow analysis. The results presented
by the Time Spectral method are compared with experimental data. It
has shown tremendous potential for reducing the computational cost
compared to the conventional time-accurate methods, by enforcing
periodicity and using Fourier representation in time, leading to
spectral accuracy, because results verify the small number of time
intervals per pitching cycle required to capture the flow physics.