Abstract: In this paper, we present a model-based regression test
suite reducing approach that uses EFSM model dependence analysis
and probability-driven greedy algorithm to reduce software regression
test suites. The approach automatically identifies the difference
between the original model and the modified model as a set of
elementary model modifications. The EFSM dependence analysis is
performed for each elementary modification to reduce the regression
test suite, and then the probability-driven greedy algorithm is adopted
to select the minimum set of test cases from the reduced regression test
suite that cover all interaction patterns. Our initial experience shows
that the approach may significantly reduce the size of regression test
suites.
Abstract: This paper focuses on a critical component of the
situational awareness (SA), the control of autonomous vertical flight
for vectored thrust aerial vehicle (VTAV). With the SA strategy, we
proposed a neural network motion control procedure to address the
dynamics variation and performance requirement difference of flight
trajectory for a VTAV. This control strategy with using of NARMAL2
neurocontroller for chosen model of VTAV has been verified by
simulation of take-off and forward maneuvers using software
package Simulink and demonstrated good performance for fast
stabilization of motors, consequently, fast SA with economy in
energy can be asserted during search-and-rescue operations.
Abstract: Model transformation, as a pivotal aspect of Modeldriven
engineering, attracts more and more attentions both from
researchers and practitioners. Many domains (enterprise engineering,
software engineering, knowledge engineering, etc.) use model
transformation principles and practices to serve to their domain
specific problems; furthermore, model transformation could also be
used to fulfill the gap between different domains: by sharing and
exchanging knowledge. Since model transformation has been widely
used, there comes new requirement on it: effectively and efficiently
define the transformation process and reduce manual effort that
involved in. This paper presents an automatic model transformation
methodology based on semantic and syntactic comparisons, and
focuses particularly on granularity issue that existed in transformation
process. Comparing to the traditional model transformation
methodologies, this methodology serves to a general purpose: crossdomain
methodology. Semantic and syntactic checking
measurements are combined into a refined transformation process,
which solves the granularity issue. Moreover, semantic and syntactic
comparisons are supported by software tool; manual effort is replaced
in this way.
Abstract: Under active stress conditions, a rigid cantilever
retaining wall tends to rotate about a pivot point located within the
embedded depth of the wall. For purely granular and cohesive soils, a
methodology was previously reported called minimization of moment
ratio to determine the location of the pivot point of rotation. The
usage of this new methodology is to estimate the rotational stability
safety factor. Moreover, the degree of improvement required in a
backfill to get a desired safety factor can be estimated by the concept
of the shear strength demand. In this article, the accuracy of this
method for another type of cantilever walls called Contiguous Bored
Pile (CBP) retaining wall is evaluated by using physical modeling
technique. Based on observations, the results of moment ratio
minimization method are in good agreement with the results of the
carried out physical modeling.
Abstract: This paper presents an approach for the classification of
an unstructured format description for identification of file formats.
The main contribution of this work is the employment of data mining
techniques to support file format selection with just the unstructured
text description that comprises the most important format features for
a particular organisation. Subsequently, the file format indentification
method employs file format classifier and associated configurations to
support digital preservation experts with an estimation of required file
format. Our goal is to make use of a format specification knowledge
base aggregated from a different Web sources in order to select file
format for a particular institution. Using the naive Bayes method,
the decision support system recommends to an expert, the file format
for his institution. The proposed methods facilitate the selection of
file format and the quality of a digital preservation process. The
presented approach is meant to facilitate decision making for the
preservation of digital content in libraries and archives using domain
expert knowledge and specifications of file formats. To facilitate
decision-making, the aggregated information about the file formats is
presented as a file format vocabulary that comprises most common
terms that are characteristic for all researched formats. The goal is to
suggest a particular file format based on this vocabulary for analysis
by an expert. The sample file format calculation and the calculation
results including probabilities are presented in the evaluation section.
Abstract: This paper presents a computational study of steady
state three dimensional very high turbulent flow and heat transfer
characteristics in a constant temperature-surfaced circular duct fitted
with 900 hemispherical inline baffles. The computations are based on
realizable k-ɛ model with standard wall function considering the
finite volume method, and the SIMPLE algorithm has been
implemented. Computational Study are carried out for Reynolds
number, Re ranging from 80000 to 120000, Prandtl Number, Pr of
0.73, Pitch Ratios, PR of 1,2,3,4,5 based on the hydraulic diameter of
the channel, hydrodynamic entry length, thermal entry length and the
test section. Ansys Fluent 15.0 software has been used to solve the
flow field. Study reveals that circular pipe having baffles has a higher
Nusselt number and friction factor compared to the smooth circular
pipe without baffles. Maximum Nusselt number and friction factor
are obtained for the PR=5 and PR=1 respectively. Nusselt number
increases while pitch ratio increases in the range of study; however,
friction factor also decreases up to PR 3 and after which it becomes
almost constant up to PR 5. Thermal enhancement factor increases
with increasing pitch ratio but with slightly decreasing Reynolds
number in the range of study and becomes almost constant at higher
Reynolds number. The computational results reveal that optimum
thermal enhancement factor of 900 inline hemispherical baffle is
about 1.23 for pitch ratio 5 at Reynolds number 120000.It also shows
that the optimum pitch ratio for which the baffles can be installed in
such very high turbulent flows should be 5. Results show that pitch
ratio and Reynolds number play an important role on both fluid flow
and heat transfer characteristics.
Abstract: By the evolvement in technology, the way of
expressing opinions switched direction to the digital world. The
domain of politics, as one of the hottest topics of opinion mining
research, merged together with the behavior analysis for affiliation
determination in texts, which constitutes the subject of this paper.
This study aims to classify the text in news/blogs either as
Republican or Democrat with the minimum number of features. As
an initial set, 68 features which 64 were constituted by Linguistic
Inquiry and Word Count (LIWC) features were tested against 14
benchmark classification algorithms. In the later experiments, the
dimensions of the feature vector reduced based on the 7 feature
selection algorithms. The results show that the “Decision Tree”,
“Rule Induction” and “M5 Rule” classifiers when used with “SVM”
and “IGR” feature selection algorithms performed the best up to
82.5% accuracy on a given dataset. Further tests on a single feature
and the linguistic based feature sets showed the similar results. The
feature “Function”, as an aggregate feature of the linguistic category,
was found as the most differentiating feature among the 68 features
with the accuracy of 81% in classifying articles either as Republican
or Democrat.
Abstract: In this work, the Ictalurus punctatus species estimated
available physical habitat is compared with the estimated physical
habitat for the same but modified river reach, with the aim of creating
a linear park, along a length of 5 500 m.
To determine the effect of ecological park construction, on
physical habitat of the Lerma river stretch of study, first, the available
habitat for the Ictalurus punctatus species was estimated through the
simulation of the physical habitat, by using surveying, hydraulics,
and habitat information gotten at the river reach in its actual situation.
Second, it was estimated the available habitat for the above species,
upon the simulation of the physical habitat through the proposed
modification for the ecological park creation. Third, it is presented a
comparison between both scenarios in terms of available habitat
estimated for Ictalurus punctatus species, concluding that in cases of
adult and spawning life stages, changes in the channel to create an
ecological park would produce a considerable loss of potentially
usable habitat (PUH), while in the case of the juvenile life stage PUH
remains virtually unchanged, and in the case of life stage fry the PUH
would increase due to the presence of velocities and depths of lesser
magnitude, due to the presence of minor flow rates and lower volume
of the wet channel.
It is expected that habitat modification for linear park construction
may produce the lack of Ictalurus punktatus species conservation at
the river reach of the study.
Abstract: A pilot field study was conducted at the Jagjeetpur
Municipal Sewage treatment plant situated in the Haridwar town in
Uttarakhand state, India. The objectives of the present study were to
study the effect of treated wastewater on the production of various
paddy varieties (Sharbati, PR-114, PB-1, Menaka, PB1121 and PB
1509) and the emission of GHG gases (CO2, CH4 and N2O) as
compared to the same varieties grown in the control plots irrigated
with fresh water. Of late, the concept of water footprint assessment
has emerged, which explains enumeration of various types of water
footprints of an agricultural entity from its production to processing
stages. Paddy, the most water demanding staple crop of Uttarakhand
state, displayed a high green water footprint value of 2474.12 m3/
Ton. Most of the wastewater irrigated varieties displayed up to 6%
increase in production, except Menaka and PB-1121, which showed a
reduction in production (6% and 3% respectively), due to pest and
insect infestation. The treated wastewater was observed to be rich in
Nitrogen (55.94 mg/ml Nitrate), Phosphorus (54.24 mg/ml) and
Potassium (9.78 mg/ml), thus rejuvenating the soil quality and not
requiring any external nutritional supplements. A Percentage increase
of GHG gases of irrigation with treated municipal wastewater as
compared to control plots was observed as 0.4% - 8.6% (CH4), 1.1%
- 9.2% (CO2), and 0.07% - 5.8% (N2O). The variety, Sharbati,
displayed maximum production (5.5 ton/ha) and emerged as the most
resistant variety against pests and insects. The emission values of
CH4, CO2 and N2O were 729.31 mg/m2/d, 322.10 mg/m2/d and
400.21 mg/m2/d in water stagnant condition.
This study highlighted a successful possibility of reuse of
wastewater for non-potable purposes offering the potential for
exploiting this resource that can replace or reduce the existing use of
fresh water sources in agriculture sector.
Abstract: Experimental economics is subject to criticism with
regards to frequently discussed the trade-off between internal and
external validity requirements, which seems to be critically flawed.
This paper evaluates incompatibility of trade-off condition and
condition of internal validity as a prerequisite for external validity. In
addition, it outlines the imprecise concept of artificiality, which is
found to be rather improving the external validity and seems to
strengthen the illusory status of external versus internal validity
tension. Internal validity is further analyzed with regards to Duhem-
Quine problem, where unpredictability argument is significantly
weakened trough application of inductivism within the illustrative
hypothetical-deductive model. Our discussion partially weakens
critical arguments related to the robustness of results in experimental
economics, if the perfectly controlled experimental environment is
secured.
Abstract: In this study, the experiments were carried out to
determine the best coolant for the quenching process among waterbased
silica, alumina, titania and copper oxide nanofluids (0.1 vol%).
A sphere made up off brass material was used in the experiments.
When the spherical test specimen was heated at high temperatures, it
was suddenly immersed into the nanofluids. All experiments were
carried out at saturated conditions and under atmospheric pressure.
After the experiments, the cooling curves were obtained by using the
temperature-time data of the specimen. The experimental results
showed that the cooling performance of test specimen depended on
the type of nanofluids. The silica nanoparticles enhanced the
performance of boiling heat transfer and it is the best coolant for the
quenching among other nanoparticles.
Abstract: This paper shows the connection between emoticons and politeness in written computer-mediated communication. It studies if there are some differences in the use of emoticon between Czech and English written tweets. The assumptions about the use of emoticons were based on the use of greetings and thanks in real, faceto-face situations. The first assumption, that welcome greeting phrase would be accompanied by positive emoticon, was correct. But for the farewell greeting are both positive and negative emoticons possible. The results show lower frequency of negative emoticons in this context. There were also quite often found both positive and negative emoticon in the same tweet. The expression of gratitude is associated with positive emotions. The results show that emoticons accompany polite phrases of greeting and thanks very often both in Czech and English. The use of emoticons with studied polite phrases shows that emoticons have become an integral part of these phrases.
Abstract: Past literature on business incubators distinguished incubators based on their mission statements. However, more and more mission statements become a slogan rather than a reality. It is therefore more appropriate to identify business incubators based on their real activities, rather than the missions they declared. With a sample of technology business incubators (TBIs) in China, we try to investigate business incubators’ real activities by examining the incubation efficiency along the following five dimensions, i.e., survival of new ventures, technology transfer, local economic growth, job creation, and profit generation. Furthermore, we identified six types of business incubators. The results indicate that generally Chinese TBIs have a greater preference for acquiring profits over other dimensions.
Abstract: Biodiesel as an alternative diesel fuel is steadily gaining more attention and significance. However, there are some drawbacks while using biodiesel regarding its properties that requires it to be blended with petrol based diesel and/or additives to improve the fuel characteristics. This study analyses thermal cracking as an alternative technology to improve biodiesel characteristics in which, FAME based biodiesel produced by transesterification of castor oil is fed into a continuous thermal cracking reactor at temperatures range of 450-500°C and flowrate range of 20-40 g/hr. Experiments designed by response surface methodology and subsequent statistical studies show that temperature and feed flowrate significantly affect the products yield. Response surfaces were used to study the impact of temperature and flowrate on the product properties. After each experiment, the produced crude bio-oil was distilled and diesel cut was separated. As shorter chain molecules are produced through thermal cracking, the distillation curve of the diesel cut fitted more with petrol based diesel curve in comparison to the biodiesel. Moreover, the produced diesel cut properties adequately pose within property ranges defined by the related standard of petrol based diesel. Cold flow properties, high heating value as the main drawbacks of the biodiesel are improved by this technology. Thermal cracking decreases kinematic viscosity, Flash point and cetane number.
Abstract: There is not much effective guideline on development of design parameters selection on spring back for advanced high strength steel sheet metal in U-channel process during cold forming process. This paper presents the development of predictive model for spring back in U-channel process on advanced high strength steel sheet employing Response Surface Methodology (RSM). The experimental was performed on dual phase steel sheet, DP590 in Uchannel forming process while design of experiment (DoE) approach was used to investigates the effects of four factors namely blank holder force (BHF), clearance (C) and punch travel (Tp) and rolling direction (R) were used as input parameters using two level values by applying Full Factorial design (24 ). From a statistical analysis of variant (ANOVA), result showed that blank holder force (BHF), clearance (C) and punch travel (Tp) displayed significant effect on spring back of flange angle (β2 ) and wall opening angle (β1 ), while rolling direction (R) factor is insignificant. The significant parameters are optimized in order to reduce the spring back behavior using Central Composite Design (CCD) in RSM and the optimum parameters were determined. A regression model for spring back was developed. The effect of individual parameters and their response was also evaluated. The results obtained from optimum model are in agreement with the experimental values.
Abstract: The present study is concerned with the problem of determining the shape of the free surface flow in a hydraulic channel which has an uneven bottom. For the mathematical formulation of the problem, the fluid of the two-dimensional irrotational steady flow in water is assumed inviscid and incompressible. The solutions of the nonlinear problem are obtained by using the usual conformal mapping theory and Hilbert’s technique. An experimental study, for comparing the obtained results, has been conducted in a hydraulic channel (subcritical regime and supercritical regime).
Abstract: This study was conducted to determine that carrot powder obtain by different drying methods (oven and vacuum-freeze dryer) of carrot unfit for human consumption that whether feed additives in animal nutrition or not. Carrots randomly divided 2 groups. First group was dried by using oven, second group was by using vacuum freeze dryer methods. Dried carrot prepared from fresh carrot was analysed nutrient matter (energy, crude protein, crude oil, crude ash, beta carotene, mineral concentration and colour). The differences between groups in terms of energy, crude protein, ash, Ca and Mg was not significant (P>0,05). Crude oil, P, beta carotene content and colour values (L, a, b) with vacuum-freeze dryer group was greater than oven group (P
Abstract: This study addresses a concept of the Sustainable Building Environmental Model (SBEM) developed to optimize energy consumption in air conditioning and ventilation (ACV) systems without any deterioration of indoor environmental quality (IEQ). The SBEM incorporates two main components: an adaptive comfort temperature control module (ACT) and a new carbon dioxide demand control module (nDCV). These two modules take an innovative approach to maintain satisfaction of the Indoor Environmental Quality (IEQ) with optimum energy consumption; they provide a rational basis of effective control. A total of 2133 sets of measurement data of indoor air temperature (Ta), relative humidity (Rh) and carbon dioxide concentration (CO2) were conducted in some Hong Kong offices to investigate the potential of integrating the SBEM. A simulation was used to evaluate the dynamic performance of the energy and air conditioning system with the integration of the SBEM in an air-conditioned building. It allows us make a clear picture of the control strategies and performed any pre-tuned of controllers before utilized in real systems. With the integration of SBEM, it was able to save up to 12.3% in simulation of overall electricity consumption, and maintain the average carbon dioxide concentration within 1000ppm and occupant dissatisfaction in 20%.
Abstract: Based on an indoor environmental quality (IEQ) index established by previous work that indicates the overall IEQ acceptance from the prospect of an occupant in residential buildings in terms of four IEQ factors - thermal comfort, indoor air quality, visual and aural comforts, this study develops a user-friendly IEQ calculator for iOS and Android users to calculate the occupant acceptance and compare the relative performance of IEQ in apartments. “IEQ calculator” is easy to use and it preliminarily illustrates the overall indoor environmental quality on the spot. Users simply input indoor parameters such as temperature, number of people and windows are opened or closed for the mobile application to calculate the scores in four areas: the comforts of temperature, brightness, noise and indoor air quality. The calculator allows the prediction of the best IEQ scenario on a quantitative scale. Any indoor environments under the specific IEQ conditions can be benchmarked against the predicted IEQ acceptance range. This calculator can also suggest how to achieve the best IEQ acceptance among a group of residents.
Abstract: Rapidly changing factors that affect daily life also affect operational environment and the way military leaders fulfill their missions. With the help of technological developments, traditional linearity of conflict and war has started to fade away. Furthermore, mission domain has broadened to include traditional threats, hybrid threats and new challenges of cyber and space. Considering the future operational environment, future military leaders need to adapt themselves to the new challenges of the future battlefield. But how to decide what kind of features of leadership are required to operate and accomplish mission in the new complex battlefield? In this article, the main aim is to provide answers to this question. To be able to find right answers, first leadership and leadership components are defined, and then characteristics of future operational environment are analyzed. Finally, leadership features that are required to be successful in redefined battlefield are explained.