Abstract: In this paper, first, a characterization of spherical
Pseudo null curves in Semi-Euclidean space is given. Then, to
investigate position vector of a pseudo null curve, a system of
differential equation whose solution gives the components of the
position vector of a pseudo null curve on the Frenet axis is
established by means of Frenet equations. Additionally, in view of
some special solutions of mentioned system, characterizations of
some special pseudo null curves are presented.
Abstract: The ability of UML to handle the modeling process of complex industrial software applications has increased its popularity to the extent of becoming the de-facto language in serving the design purpose. Although, its rich graphical notation naturally oriented towards the object-oriented concept, facilitates the understandability, it hardly successes to report all domainspecific aspects in a satisfactory way. OCL, as the standard language for expressing additional constraints on UML models, has great potential to help improve expressiveness. Unfortunately, it suffers from a weak formalism due to its poor semantic resulting in many obstacles towards the build of tools support and thus its application in the industry field. For this reason, many researches were established to formalize OCL expressions using a more rigorous approach. Our contribution join this work in a complementary way since it focuses specifically on OCL predefined properties which constitute an important part in the construction of OCL expressions. Using formal methods, we mainly succeed in expressing rigorously OCL predefined functions.
Abstract: In many buildings we rely on large footings to offer
structural stability. Designers often compensate for the lack of
knowledge available with regard to foundation-soil interaction by
furnishing structures with overly large footings. This may lead to a
significant increase in building expenditures if many large
foundations are present. This paper describes the interface material
law that governs the behavior along the contact surface of adjacent
materials, and the behavior of a large foundation under ultimate limit
loading. A case study is chosen that represents a common
foundation-soil system frequently used in general practice and
therefore relevant to other structures. Investigations include
compressing versus uplifting wind forces, alterations to the
foundation size and subgrade compositions, the role of the slab
stiffness and presence and the effect of commonly used structural
joints and connections. These investigations aim to provide the
reader with an objective design approach, efficiently preventing
structural instability.
Abstract: In this paper, we seek to determine one reasonable
local hub port and optimal routes for a containership fleet,
performing pick-ups and deliveries, between the hub and spoke ports
in a same region. The relationship between a hub port, and traffic in
feeder lines is analyzed. A new network planning method is proposed,
an integrated hub port location and route design, a capacitated vehicle
routing problem with pick-ups, deliveries and time deadlines are
formulated and solved using an improved genetic algorithm for
positioning the hub port and establishing routes for a containership
fleet. Results on the performance of the algorithm and the feasibility
of the approach show that a relatively small fleet of containerships
could provide efficient services within deadlines.
Abstract: Numerical analysis for the aerodynamic characteristics
of the WIG (wing-in ground effect) craft with highly cambered and
aspect ratio of one is performed to predict the ground effect for the
case of with- and without- lower-extension endplate. The analysis is
included varying angles of attack from 0 to10 deg. and ground
clearances from 5% of chord to 50%. Due to the ground effect, the lift
by rising in pressure on the lower surface is increased and the
influence of wing-tip vortices is decreased. These two significant
effects improve the lift-drag ratio. On the other hand, the endplate
prevents the high-pressure air escaping from the air cushion at the
wing tip and causes to increase the lift and lift-drag ratio further. It is
found from the visualization of computation results that two wing-tip
vortices are generated from each surface of the wing tip and their
strength are weak and diminished rapidly. Irodov-s criteria are also
evaluated to investigate the static height stability. The comparison of
Irodov-s criteria shows that the endplate improves the deviation of the
static height stability with respect to pitch angles and heights. As the
results, the endplate can improve the aerodynamic characteristics and
static height stability of wings in ground effect, simultaneously.
Abstract: The objective of this paper is to construct a creativity
composite index designed to capture the growing role of creativity in
driving economic and social development for the 27 European Union
countries.
The paper proposes a new approach for the measurement of EU-27
creative potential and for determining its capacity to attract and
develop creative human capital. We apply a modified version of the
3T model developed by Richard Florida and Irene Tinagli for
constructing a Euro-Creativity Index. The resulting indexes establish
a quantitative base for policy makers, supporting their efforts to
determine the contribution of creativity to economic development.
Abstract: Appropriate description of business processes through
standard notations has become one of the most important assets for
organizations. Organizations must therefore deal with quality faults
in business process models such as the lack of understandability and
modifiability. These quality faults may be exacerbated if business
process models are mined by reverse engineering, e.g., from existing
information systems that support those business processes. Hence,
business process refactoring is often used, which change the internal
structure of business processes whilst its external behavior is
preserved. This paper aims to choose the most appropriate set of
refactoring operators through the quality assessment concerning
understandability and modifiability. These quality features are
assessed through well-proven measures proposed in the literature.
Additionally, a set of measure thresholds are heuristically established
for applying the most promising refactoring operators, i.e., those that
achieve the highest quality improvement according to the selected
measures in each case.
Abstract: The approach of subset selection in polynomial
regression model building assumes that the chosen fixed full set of
predefined basis functions contains a subset that is sufficient to
describe the target relation sufficiently well. However, in most cases
the necessary set of basis functions is not known and needs to be
guessed – a potentially non-trivial (and long) trial and error process.
In our research we consider a potentially more efficient approach –
Adaptive Basis Function Construction (ABFC). It lets the model
building method itself construct the basis functions necessary for
creating a model of arbitrary complexity with adequate predictive
performance. However, there are two issues that to some extent
plague the methods of both the subset selection and the ABFC,
especially when working with relatively small data samples: the
selection bias and the selection instability. We try to correct these
issues by model post-evaluation using Cross-Validation and model
ensembling. To evaluate the proposed method, we empirically
compare it to ABFC methods without ensembling, to a widely used
method of subset selection, as well as to some other well-known
regression modeling methods, using publicly available data sets.
Abstract: Using mobile Internet access technologies and eservices,
various economic agents can efficiently offer their products
or services to a large number of clients. With the support of mobile
communications networks, the clients can have access to e-services,
anywhere and anytime. This is a base to establish a convergence of
technological and financial interests of mobile operators, software
developers, mobile terminals producers and e-content providers. In
this paper, a client server system is presented, using 3G, EDGE,
mobile terminals, for Stock Exchange e-services access.
Abstract: This paper addresses the problem of the partial state
feedback stabilization of a class of nonlinear systems. In order to
stabilization this class systems, the especial place of this paper is
to reverse designing the state feedback control law from the method
of judging system stability with the center manifold theory. First of
all, the center manifold theory is applied to discuss the stabilization
sufficient condition and design the stabilizing state control laws for a
class of nonlinear. Secondly, the problem of partial stabilization for a
class of plane nonlinear system is discuss using the lyapunov second
method and the center manifold theory. Thirdly, we investigate specially
the problem of the stabilization for a class of homogenous plane
nonlinear systems, a class of nonlinear with dual-zero eigenvalues and
a class of nonlinear with zero-center using the method of lyapunov
function with homogenous derivative, specifically. At the end of this
paper, some examples and simulation results are given show that the
approach of this paper to this class of nonlinear system is effective
and convenient.
Abstract: In order to evaluation the effects of soil organic
matter and biofertilizer on chickpea quality and biological
nitrogen fixation, field experiments were carried out in 2007
and 2008 growing seasons. In this research the effects of
different strategies for soil fertilization were investigated on
grain yield and yield component, minerals, organic compounds
and cooking time of chickpea. Experimental units were
arranged in split-split plots based on randomized complete
blocks with three replications. Main plots consisted of (G1):
establishing a mixed vegetation of Vicia panunica and
Hordeum vulgare and (G2): control, as green manure levels.
Also, five strategies for obtaining the base fertilizer
requirement including (N1): 20 t.ha-1 farmyard manure; (N2):
10 t.ha-1 compost; (N3): 75 kg.ha-1 triple super phosphate;
(N4): 10 t.ha-1 farmyard manure + 5 t.ha-1 compost and (N5):
10 t.ha-1 farmyard manure + 5 t.ha-1 compost + 50 kg.ha-1
triple super phosphate were considered in sub plots.
Furthermoree four levels of biofertilizers consisted of (B1):
Bacillus lentus + Pseudomonas putida; (B2): Trichoderma
harzianum; (B3): Bacillus lentus + Pseudomonas putida +
Trichoderma harzianum; and (B4): control (without
biofertilizers) were arranged in sub-sub plots. Results showed
that integrating biofertilizers (B3) and green manure (G1)
produced the highest grain yield. The highest amounts of yield
were obtained in G1×N5 interaction. Comparison of all 2-way
and 3-way interactions showed that G1N5B3 was determined
as the superior treatment. Significant increasing of N, P2O5,
K2O, Fe and Mg content in leaves and grains emphasized on
superiority of mentioned treatment because each one of these
nutrients has an approved role in chlorophyll synthesis and
photosynthesis abilities of the crops. The combined application
of compost, farmyard manure and chemical phosphorus (N5)
in addition to having the highest yield, had the best grain
quality due to high protein, starch and total sugar contents, low
crude fiber and reduced cooking time.
Abstract: In this paper, a nonlinear delay population model is investigated. Choosing the delay as a bifurcation parameter, we demonstrate that Hopf bifurcation will occur when the delay exceeds a critical value. Global existence of bifurcating periodic solutions is established. Numerical simulations supporting the theoretical findings are included.
Abstract: In this paper, we consider the problem of logic simplification for a special class of logic functions, namely complementary Boolean functions (CBF), targeting low power implementation using static CMOS logic style. The functions are uniquely characterized by the presence of terms, where for a canonical binary 2-tuple, D(mj) ∪ D(mk) = { } and therefore, we have | D(mj) ∪ D(mk) | = 0 [19]. Similarly, D(Mj) ∪ D(Mk) = { } and hence | D(Mj) ∪ D(Mk) | = 0. Here, 'mk' and 'Mk' represent a minterm and maxterm respectively. We compare the circuits minimized with our proposed method with those corresponding to factored Reed-Muller (f-RM) form, factored Pseudo Kronecker Reed-Muller (f-PKRM) form, and factored Generalized Reed-Muller (f-GRM) form. We have opted for algebraic factorization of the Reed-Muller (RM) form and its different variants, using the factorization rules of [1], as it is simple and requires much less CPU execution time compared to Boolean factorization operations. This technique has enabled us to greatly reduce the literal count as well as the gate count needed for such RM realizations, which are generally prone to consuming more cells and subsequently more power consumption. However, this leads to a drawback in terms of the design-for-test attribute associated with the various RM forms. Though we still preserve the definition of those forms viz. realizing such functionality with only select types of logic gates (AND gate and XOR gate), the structural integrity of the logic levels is not preserved. This would consequently alter the testability properties of such circuits i.e. it may increase/decrease/maintain the same number of test input vectors needed for their exhaustive testability, subsequently affecting their generalized test vector computation. We do not consider the issue of design-for-testability here, but, instead focus on the power consumption of the final logic implementation, after realization with a conventional CMOS process technology (0.35 micron TSMC process). The quality of the resulting circuits evaluated on the basis of an established cost metric viz., power consumption, demonstrate average savings by 26.79% for the samples considered in this work, besides reduction in number of gates and input literals by 39.66% and 12.98% respectively, in comparison with other factored RM forms.
Abstract: DNA shuffling is a powerful method used for in vitro
evolute molecules with specific functions and has application in areas
such as, for example, pharmaceutical, medical and agricultural
research. The success of such experiments is dependent on a variety
of parameters and conditions that, sometimes, can not be properly
pre-established. Here, two computational models predicting DNA
shuffling results is presented and their use and results are evaluated
against an empirical experiment. The in silico and in vitro results
show agreement indicating the importance of these two models and
motivating the study and development of new models.
Abstract: Particle Swarm Optimization (PSO) with elite PSO
parameters has been developed for power flow analysis under
practical constrained situations. Multiple solutions of the power flow
problem are useful in voltage stability assessment of power system.
A method of determination of multiple power flow solutions is
presented using a hybrid of Particle Swarm Optimization (PSO) and
local search technique. The unique and innovative learning factors of
the PSO algorithm are formulated depending upon the node power
mismatch values to be highly adaptive with the power flow problems.
The local search is applied on the pbest solution obtained by the PSO
algorithm in each iteration. The proposed algorithm performs reliably
and provides multiple solutions when applied on standard and illconditioned
systems. The test results show that the performances of
the proposed algorithm under critical conditions are better than the
conventional methods.
Abstract: An optimal power flow (OPF) based on particle swarm
optimization (PSO) was developed with more realistic generator
security constraint using the capability curve instead of only Pmin/Pmax
and Qmin/Qmax. Neural network (NN) was used in designing digital
capability curve and the security check algorithm. The algorithm is
very simple and flexible especially for representing non linear
generation operation limit near steady state stability limit and under
excitation operation area. In effort to avoid local optimal power flow
solution, the particle swarm optimization was implemented with
enough widespread initial population. The objective function used in
the optimization process is electric production cost which is
dominated by fuel cost. The proposed method was implemented at
Java Bali 500 kV power systems contain of 7 generators and 20
buses. The simulation result shows that the combination of generator
power output resulted from the proposed method was more economic
compared with the result using conventional constraint but operated
at more marginal operating point.
Abstract: This study is concerned with a new adaptive impedance control strategy to compensate for unknown time-varying environment stiffness and position. The uncertainties are expressed by Function Approximation Technique (FAT), which allows the update laws to be derived easily using Lyapunov stability theory. Computer simulation results are presented to validate the effectiveness of the proposed strategy.
Abstract: The spiral angle of the elementary cellulose fibril in
the wood cell wall, often called microfibril angle, (MFA). Microfibril
angle in hardwood is one of the key determinants of solid timber
performance due to its strong influence on the stiffness, strength,
shrinkage, swelling, thermal-dynamics mechanical properties and
dimensional stability of wood. Variation of MFA (degree) in the S2
layer of the cell walls among Acacia mangium trees was determined
using small-angle X-ray scattering (SAXS). The length and
orientation of the microfibrils of the cell walls in the irradiated
volume of the thin samples are measured using SAXS and optical
microscope for 3D surface measurement. The undetermined
parameters in the analysis are the MFA, (M) and the standard
deviation (σФ) of the intensity distribution arising from the wandering
of the fibril orientation about the mean value. Nine separate pairs of
values are determined for nine different values of the angle of the
incidence of the X-ray beam relative to the normal to the radial
direction in the sample. The results show good agreement. The
curve distribution of scattered intensity for the real cell wall structure
is compared with that calculated with that assembly of rectangular
cells with the same ratio of transverse to radial cell wall length. It is
demonstrated that for β = 45°, the peaks in the curve intensity
distribution for the real and the rectangular cells coincide. If this
peak position is Ф45, then the MFA can be determined from the
relation M = tan-1 (tan Ф45 / cos 45°), which is precise for rectangular
cells. It was found that 92.93% of the variation of MFA can be
attributed to the distance from pith to bark. Here we shall present our
results of the MFA in the cell wall with respect to its shape, structure
and the distance from pith to park as an important fast check and yet
accurate towards the quality of wood, its uses and application.
Abstract: This paper demonstrates the application of craziness based particle swarm optimization (CRPSO) technique for designing the 8th order low pass Infinite Impulse Response (IIR) filter. CRPSO, the much improved version of PSO, is a population based global heuristic search algorithm which finds near optimal solution in terms of a set of filter coefficients. Effectiveness of this algorithm is justified with a comparative study of some well established algorithms, namely, real coded genetic algorithm (RGA) and particle swarm optimization (PSO). Simulation results affirm that the proposed algorithm CRPSO, outperforms over its counterparts not only in terms of quality output i.e. sharpness at cut-off, pass band ripple, stop band ripple, and stop band attenuation but also in convergence speed with assured stability.
Abstract: The precision of heat flux simulation influences the
temperature field and test aberration for TB test and also reflects the
test level for spacecraft development. This paper describes TB tests for
a small satellite using solar simulator, electric heaters, calrod heaters
to evaluate the difference of the three methods. Under the same
boundary condition, calrod heaters cases were about 6oC higher than
solar simulator cases and electric heaters cases for
non-external-heat-flux cases (extreme low temperature cases). While
calrod heaters cases and electric heaters cases were 5~7oC and 2~3oC
lower than solar simulator cases respectively for high temperature
cases. The results show that the solar simulator is better than calrod
heaters for its better collimation, non-homogeneity and stability.