Abstract: The main aim of this study was to examine whether
people understand indicative conditionals on the basis of syntactic
factors or on the basis of subjective conditional probability. The
second aim was to investigate whether the conditional probability of
q given p depends on the antecedent and consequent sizes or derives
from inductive processes leading to establish a link of plausible cooccurrence
between events semantically or experientially associated.
These competing hypotheses have been tested through a 3 x 2 x 2 x 2
mixed design involving the manipulation of four variables: type of
instructions (“Consider the following statement to be true", “Read the
following statement" and condition with no conditional statement);
antecedent size (high/low); consequent size (high/low); statement
probability (high/low). The first variable was between-subjects, the
others were within-subjects. The inferences investigated were Modus
Ponens and Modus Tollens. Ninety undergraduates of the Second
University of Naples, without any prior knowledge of logic or
conditional reasoning, participated in this study.
Results suggest that people understand conditionals in a syntactic
way rather than in a probabilistic way, even though the perception of
the conditional probability of q given p is at least partially involved in
the conditionals- comprehension. They also showed that, in presence
of a conditional syllogism, inferences are not affected by the
antecedent or consequent sizes. From a theoretical point of view these
findings suggest that it would be inappropriate to abandon the idea
that conditionals are naturally understood in a syntactic way for the
idea that they are understood in a probabilistic way.
Abstract: This paper presents a low-voltage low-power differential linear transconductor with near rail-to-rail input swing. Based on the current-mirror OTA topology, the proposed transconductor combines the Flipped Voltage Follower (FVF) technique to linearize the transconductor behavior that leads to class- AB linear operation and the virtual transistor technique to lower the effective threshold voltages of the transistors which offers an advantage in terms of low supply requirement. Design of the OTA has been discussed. It operates at supply voltages of about ±0.8V. Simulation results for 0.18μm TSMC CMOS technology show a good input range of 1Vpp with a high DC gain of 81.53dB and a total harmonic distortion of -40dB at 1MHz for an input of 1Vpp. The main aim of this paper is to present and compare new OTA design with high transconductance, which has a potential to be used in low voltage applications.
Abstract: This paper presents a mark-up approach to service creation in Next Generation Networks. The approach allows deriving added value from network functions exposed by Parlay/OSA (Open Service Access) interfaces. With OSA interfaces service logic scripts might be executed both on callrelated and call-unrelated events. To illustrate the approach XMLbased language constructions for data and method definitions, flow control, time measuring and supervision and database access are given and an example of OSA application is considered.
Abstract: The aim of this work is to analyze a viscous flow in
the axisymmetric nozzle taken into account the mesh size both in the
free stream and into the boundary layer. The resolution of the Navier-
Stokes equations is realized by using the finite volume method to
determine the supersonic flow parameters at the exit of convergingdiverging
nozzle. The numerical technique uses the Flux Vector
Splitting method of Van Leer. Here, adequate time stepping
parameter, along with CFL coefficient and mesh size level is selected
to ensure numerical convergence. The effect of the boundary layer
thickness is significant at the exit of the nozzle. The best solution is
obtained with using a very fine grid, especially near the wall, where
we have a strong variation of velocity, temperature and shear stress.
This study enabled us to confirm that the determination of boundary
layer thickness can be obtained only if the size of the mesh is lower
than a certain value limits given by our calculations.
Abstract: This paper addresses the problem of forbidden states in
non safe Petri Nets. In the system, for preventing it from entering the
forbidden states, some linear constraints can be assigned to them.
Then these constraints can be enforced on the system using control
places. But when the number of constraints in the system is large, a
large number of control places must be added to the model of system.
This concept complicates the model of system. There are some
methods for reducing the number of constraints in safe Petri Nets.
But there is no a systematic method for non safe Petri Nets. In this
paper we propose a method for reducing the number of constraints in
non safe Petri Nets which is based on solving an integer linear
programming problem.
Abstract: Nowadays, the pace of business change is such that,
increasingly, new functionality has to be realized and reliably
installed in a matter of days, or even hours. Consequently, more and
more business processes are prone to a continuous change. The
objective of the research in progress is to use the MAP model, in a
conceptual modeling method for flexible and adaptive business
process. This method can be used to capture the flexibility
dimensions of a business process; it takes inspiration from
modularity concept in the object oriented paradigm to establish a
hierarchical construction of the BP modeling. Its intent is to provide
a flexible modeling that allows companies to quickly adapt their
business processes.
Abstract: Human always tried to create a suitable situation for their life according to environmental conditions. In fact, geography has an important role in the shape of our living area. Iran also as a four-season country has different climate type: hot and humid, hot and dry, mid and humid, and cold; therefore, we can find different architecture styles in Iran. Gilan-s traditional architecture is a suitable sample of sustainable construction in Iran. Because the main factors of every dwelling are the climatic, social, economic and cultural effects which demonstrate the interaction between environment and people settlement. This paper was determined the interaction between environmental factors and the rural dwellings in the Gilan province. Also, traditional village (city) of Masouleh as a rare sample of rural and sustainable architecture was introduced.
Abstract: The objective of this paper, is to apply support vector machine (SVM) approach for the classification of cancerous and normal regions of prostate images. Three kinds of textural features are extracted and used for the analysis: parameters of the Gauss- Markov random field (GMRF), correlation function and relative entropy. Prostate images are acquired by the system consisting of a microscope, video camera and a digitizing board. Cross-validated classification over a database of 46 images is implemented to evaluate the performance. In SVM classification, sensitivity and specificity of 96.2% and 97.0% are achieved for the 32x32 pixel block sized data, respectively, with an overall accuracy of 96.6%. Classification performance is compared with artificial neural network and k-nearest neighbor classifiers. Experimental results demonstrate that the SVM approach gives the best performance.
Abstract: One of the most challengeable issues in ESL
(Electronic System Level) design is the lack of a general modeling
scheme for on chip communication architecture. In this paper some
of the mostly used methodologies for modeling and representation of
on chip communication are investigated. Our goal is studying the
existing methods to extract the requirements of a general
representation scheme for communication architecture synthesis. The
next step, will be introducing a modeling and representation method
for being used in automatically synthesis process of on chip
communication architecture.
Abstract: The evolution of current modeling specifications gives rise to the problem of generating automated test cases from a variety of application tools. Past endeavours on behavioural testing of UML statecharts have not systematically leveraged the potential of existing graph theory for testing of objects. Therefore there exists a need for a simple, tool-independent, and effective method for automatic test generation. An architecture, codenamed ACUTE-J (Automated stateChart Unit Testing Engine for Java), for automating the unit test generation process is presented. A sequential approach for converting UML statechart diagrams to JUnit test classes is described, with the application of existing graph theory. Research byproducts such as a universal XML Schema and API for statechart-driven testing are also proposed. The result from a Java implementation of ACUTE-J is discussed in brief. The Chinese Postman algorithm is utilised as an illustration for a run-through of the ACUTE-J architecture.
Abstract: In order to study of hydropriming and halopriming on
germination and early growth stage of wheat (Triticum aestivum) an
experiment was carried out in laboratory of the Department of
Agronomy and Plant breeding, Shahrood University of Technology.
Seed treatments consisted of T1: control (untreated seeds), T2:
soaking in distilled water for 18 h (hydropriming). T3: soaking in -
1.2 MPa solution of CaSO4 for 36 h (halopriming). Germination and
early seedling growth were studied using distilled water (control) and
under osmotic potentials of -0.4, -0.8 and -1.2 MPa for NaCl and
polyethylene glycol (PEG 6000), respectively. Results showed that
Hydroprimed seeds achieved maximum germination seedling dry
weight, especially during the higher osmotic potentials. Minimum
germination was recorded at untreated seeds (control) followed by
osmopriming. Under high osmotic potentials, hydroprimed seeds had
higher GI (germination index) as compared to haloprimed or
untreated seeds. Interaction effect of seed treatment and osmotic
potential significantly affected the seedling vigour index (SVI).
Abstract: This research aims to study the preferable tourism and
the elements of choosing tourist destination from domestic tourist in
Bangkok and the nearby areas in Thailand.The data were collected by
using 1249 set of questionnaires, in mid-August 2012. The result
illustrates that religious destinations are the most preferable places
for the tourist. The average expense per travel is approximately 47
USD a time. Travellers travel based on the advertisement in the
television and internet and their decisions is based on the reputation
of the destinations.
The result on a place dimension demonstrates the neatness and
well managed location play a crucial role on tourist destination.
Gender, age, marriage status and their origins are affecting their
spending and travelling behaviour. The researcher reckon that
providing the area of arcade, selling the souvenir and promoting
tourism among a young professional group would be an important
key follow the income distribution policy, including managing the
destination to welcome the family group, which the result is to
identified as the highest spending.
Abstract: Sol-gel immobilization of enzymes, which can improve considerably their properties, is now one of the most used techniques. By deposition of the entrapped lipase on a solid support, a new and improved biocatalyst was obtained, which can be used with excellent results in acylation reactions. In this paper, lipase B from Candida antarctica was double immobilized on different adsorbents. These biocatalysts were employed in the kinetic resolution of several aliphatic secondary alcohols in organic medium. High total recovery yields of enzymatic activity, up to 560%, were obtained. For all the studied alcohols the enantiomeric ratios E were over 200. The influence of the reaction medium was studied for the kinetic resolution of 2-pentanol.
Abstract: The purpose of this study is to suggest energy efficient
routing for ad hoc networks which are composed of nodes with limited
energy. There are diverse problems including limitation of energy
supply of node, and the node energy management problem has been
presented. And a number of protocols have been proposed for energy
conservation and energy efficiency. In this study, the critical point of
the EA-MPDSR, that is the type of energy efficient routing using only
two paths, is improved and developed. The proposed TP-MESR uses
multi-path routing technique and traffic prediction function to increase
number of path more than 2. It also verifies its efficiency compared to
EA-MPDSR using network simulator (NS-2). Also, To give a
academic value and explain protocol systematically, research
guidelines which the Hevner(2004) suggests are applied. This
proposed TP-MESR solved the existing multi-path routing problem
related to overhead, radio interference, packet reassembly and it
confirmed its contribution to effective use of energy in ad hoc
networks.
Abstract: An investigation of the process of deformation hardening and evolution of deformation defect medium in dispersion-hardened materials with face centered cubic matrices and nanoparticles was done. Mathematical model including balance equation for the deformation defects was used.
Abstract: Composite steel-concrete slabs using thin-walled
corrugated steel sheets with embossments represent a modern and
effective combination of steel and concrete. However, the design
of new types of sheeting is conditional on the execution of expensive
and time-consuming laboratory testing. The effort to develop
a cheaper and faster method has lead to many investigations all over
the world. In our paper we compare the results from our experiments
involving vacuum loading, four-point bending and small-scale shear
tests.
Abstract: An Ad hoc wireless network comprises of mobile
terminals linked and communicating with each other sans the aid of
traditional infrastructure. Optimized Link State Protocol (OLSR) is a
proactive routing protocol, in which routes are discovered/updated
continuously so that they are available when needed. Hello messages
generated by a node seeks information about its neighbor and if the
latter fails to respond to a specified number of hello messages
regulated by neighborhood hold time, the node is forced to assume
that the neighbor is not in range. This paper proposes to evaluate
OLSR routing protocol in a random mobility network having various
neighborhood hold time intervals. The throughput and delivery ratio
are also evaluated to learn about its efficiency for multimedia loads.
Abstract: Electrolytic dissolution characteristics of UO2 and
SIMFUEL electrodes were studied at several potentials in carbonate
solutions of a high concentration at several pHs. The electrolytic
uranium dissolution was much affected by a corrosion product of
UO2CO3 generated at the electrode during the dissolution in carbonate
solution. The corrosion product distorted the voltammogram at UO2
and SIMFUEL electrodes in the potential region of oxygen evolution
and increased the overpotential of oxygen evolution at the electrode.
The effective dissolution in a carbonate solution could be obtained at
an applied potential such as +4 V (vs SSE) or more which had an
overpotential of oxygen evolution high enough to rupture the
corrosion product on the electrode surface.
Abstract: To study the performance of soybean (Glycine max L.) cultivars in varying weeding regimes, a field experiment was conducted in 2010. The experiment was split plot in a randomized complete block design with 3 replicates. The four cultivars and two lines of soybean including: Sahar, Hill, Sari, Telar, 032 and 033 in main plot and weeding regime consist of no weeding (control), one weeding (35 days after planting) and two weeding (35+20 days after planting) were randomized in sub plot. In weed infested plots inevitably had the highest yield reduction in all varieties. On the other hand, plots weeded twice showed the best performance for all cultivars and lines. Although 033 had the highest yield over weeding regimes, but Hill was the best cultivar in suppression of weeds, which indicated the competitiveness of this cultivar. Double weeding, with the use of competitive soybean cultivars would be an effective approach for producing yield.
Abstract: The experimental and theoretical results of a ZVS
(Zero Voltage Switching) isolated flyback DC-DC converter using
multilayered coreless PCB step down 2:1 transformer are presented.
The performance characteristics of the transformer are shown which
are useful for the parameters extraction. The measured energy
efficiency of the transformer is found to be more than 94% with the
sinusoidal input voltage excitation. The designed flyback converter
has been tested successfully upto the output power level of 10W,
with a switching frequency in the range of 2.7MHz-4.3MHz. The
input voltage of the converter is varied from 25V-40V DC.
Frequency modulation technique is employed by maintaining
constant off time to regulate the output voltage of the converter. The
energy efficiency of the isolated flyback converter circuit under ZVS
condition in the MHz frequency region is found to be approximately
in the range of 72-84%. This paper gives the comparative results in
terms of the energy efficiency of the hard switched and soft switched
flyback converter in the MHz frequency region.