Abstract: The paper focuses on the area of context modeling with respect to the specification of context-aware systems supporting ubiquitous applications. The proposed approach, followed within the SIMPLICITY IST project, uses a high-level system ontology to derive context models for system components which consequently are mapped to the system's physical entities. For the definition of user and device-related context models in particular, the paper suggests a standard-based process consisting of an analysis phase using the Common Information Model (CIM) methodology followed by an implementation phase that defines 3GPP based components. The benefits of this approach are further depicted by preliminary examples of XML grammars defining profiles and components, component instances, coupled with descriptions of respective ubiquitous applications.
Abstract: Asphalt surfaces are exposed to various weather
conditions and dynamic loading caused by passing trucks and
vehicles. In such situations, asphalt cement shows so different
rheological-mechanical behavior. If asphalt cement isn-t compatible
enough, asphalt layer will be damaged immediately and expensive
repairing procedures should be performed then. To overcome this
problem, researchers study on mechanical improved asphalt cement.
In this study, bentonite was used in order to modify bitumen
characteristics and the modified bitumen's characteristics were
investigated by asphalt cement tests. Then, the optimal bitumen
content in various compounds was determined and asphalt samples
with different contents of additives were prepared and tested. Results
show using this kind of additive not only has caused improvement in
bitumen mechanical properties, but also improvement in Marshall
Parameters was achieved.
Abstract: Utilization of waste material in asphalt pavement
would be beneficial in order to find an alternative solution to increase
service life of asphalt pavement and reduce environmental pollution
as well. One of these waste materials is Polyethylene Terephthalate
(PET) which is a type of polyester material and is produced in a large
extent. This research program is investigating the effects of adding
waste PET particles into the asphalt mixture with a maximum size of
2.36 mm. Different percentages of PET were added into the mixture
during dry process. Gap-graded mixture (SMA 14) and PG 80-100
asphalt binder have been used for this study. To evaluate PET
reinforced asphalt mixture different laboratory investigations have
been conducted on specimens. Marshall Stability test was carried
out. Besides, stiffness modulus test and indirect tensile fatigue test
were conducted on specimens at optimum asphalt content. It was
observed that in many cases PET reinforced SMA mixture had better
mechanical properties in comparison with control mixture.
Abstract: Conventional approaches in the implementation of logic programming applications on embedded systems are solely of software nature. As a consequence, a compiler is needed that transforms the initial declarative logic program to its equivalent procedural one, to be programmed to the microprocessor. This approach increases the complexity of the final implementation and reduces the overall system's performance. On the contrary, presenting hardware implementations which are only capable of supporting logic programs prevents their use in applications where logic programs need to be intertwined with traditional procedural ones, for a specific application. We exploit HW/SW codesign methods to present a microprocessor, capable of supporting hybrid applications using both programming approaches. We take advantage of the close relationship between attribute grammar (AG) evaluation and knowledge engineering methods to present a programmable hardware parser that performs logic derivations and combine it with an extension of a conventional RISC microprocessor that performs the unification process to report the success or failure of those derivations. The extended RISC microprocessor is still capable of executing conventional procedural programs, thus hybrid applications can be implemented. The presented implementation is programmable, supports the execution of hybrid applications, increases the performance of logic derivations (experimental analysis yields an approximate 1000% increase in performance) and reduces the complexity of the final implemented code. The proposed hardware design is supported by a proposed extended C-language called C-AG.
Abstract: The Petri net tool INA is a well known tool by the
Petri net community. However, it lacks a graphical environment to
cerate and analyse INA models. Building a modelling tool for the
design and analysis from scratch (for INA tool for example) is
generally a prohibitive task. Meta-Modelling approach is useful to
deal with such problems since it allows the modelling of the
formalisms themselves. In this paper, we propose an approach based
on the combined use of Meta-modelling and Graph Grammars to
automatically generate a visual modelling tool for INA for analysis
purposes. In our approach, the UML Class diagram formalism is
used to define a meta-model of INA models. The meta-modelling
tool ATOM3 is used to generate a visual modelling tool according to
the proposed INA meta-model. We have also proposed a graph
grammar to automatically generate INA description of the
graphically specified Petri net models. This allows the user to avoid
the errors when this description is done manually. Then the INA tool
is used to perform the simulation and the analysis of the resulted INA
description. Our environment is illustrated through an example.
Abstract: Pattern matching based on regular tree grammars have been widely used in many areas of computer science. In this paper, we propose a pattern matcher within the framework of code generation, based on a generic and a formalized approach. According to this approach, parsers for regular tree grammars are adapted to a general pattern matching solution, rather than adapting the pattern matching according to their parsing behavior. Hence, we first formalize the construction of the pattern matches respective to input trees drawn from a regular tree grammar in a form of the so-called match trees. Then, we adopt a recently developed generic parser and tightly couple its parsing behavior with such construction. In addition to its generality, the resulting pattern matcher is characterized by its soundness and efficient implementation. This is demonstrated by the proposed theory and by the derived algorithms for its implementation. A comparison with similar and well-known approaches, such as the ones based on tree automata and LR parsers, has shown that our pattern matcher can be applied to a broader class of grammars, and achieves better approximation of pattern matches in one pass. Furthermore, its use as a machine code selector is characterized by a minimized overhead, due to the balanced distribution of the cost computations into static ones, during parser generation time, and into dynamic ones, during parsing time.
Abstract: This paper presents a research conducted to investigate the effect of mixing process on polypropylene (PP) modified bitumen mixed with well graded aggregate to form modified bituminous concrete mix. Two mode of mixing, namely dry and wet with different concentration of polymer polypropylene was used with 80/100 pen bitumen, to evaluate the bituminous concrete mix properties. Three percentages of polymer varying from 1-3% by the weight of bitumen was used in this study. Three mixes namely control mix, wet mix and dry mix were prepared. Optimum binder content was calculated considering Marshall Stability, flow, air voids and Marshall Quotient at different bitumen content varying from 4% - 6.5% for control, dry and wet mix. Engineering properties thus obtained at the calculated optimum bitumen content revealed that wet mixing process is advantageous in comparison to dry mixing as it increases the stiffness of the mixture with the increase in polymer content in bitumen. Stiffness value for wet mix increases with the increase in polymer content which is beneficial in terms of rutting. 1% PP dry mix also shows enhanced stiffness, with the air void content limited to 4%.The flow behaviour of dry mix doesn't indicate any major difference with the increase in polymer content revealing that polymer acting as an aggregate only without affecting the viscosity of the binder in the mix. Polypropylene (PP) when interacted with 80 pen base bitumen enhances its performance characteristics which were brought about by altered rheological properties of the modified bitumen. The decrease in flow with the increase in binder content reflects the increase in viscosity of binder which induces the plastic flow in the mix. Workability index indicates that wet mix were easy to compact up to desired void ratio in comparison to dry mix samples.
Abstract: Modeling of a manufacturing system enables one to
identify the effects of key design parameters on the system performance and as a result to make correct decision. This paper
proposes a manufacturing system modeling approach using a spreadsheet model based on queuing network theory, in which a
static capacity planning model and stochastic queuing model are integrated. The model was used to improve the existing system utilization in relation to product design. The model incorporates few
parameters such as utilization, cycle time, throughput, and batch size.
The study also showed that the validity of developed model is good enough to apply and the maximum value of relative error is 10%, far
below the limit value 32%. Therefore, the model developed in this
study is a valuable alternative model in evaluating a manufacturing system
Abstract: Creating3D environments, including characters and
cities, is a significantly time consuming process due to a large amount
of workinvolved in designing and modelling.There have been a
number of attempts to automatically generate 3D objects employing
shape grammars. However it is still too early to apply the mechanism
to real problems such as real-time computer games.The purpose of this
research is to introduce a time efficient and cost effective method to
automatically generatevarious 3D objects for real-time 3D games.
This Shape grammar-based real-time City Generation (RCG) model is
a conceptual model for generating 3Denvironments in real-time and
can be applied to 3D gamesoranimations. The RCG system can
generate even a large cityby applying fundamental principles of shape
grammars to building elementsin various levels of detailin real-time.
Abstract: A challenging problem in radar signal processing is to
achieve reliable target detection in the presence of interferences. In
this paper, we propose a novel algorithm for automatic censoring of
radar interfering targets in log-normal clutter. The proposed
algorithm, termed the forward automatic censored cell averaging
detector (F-ACCAD), consists of two steps: removing the corrupted
reference cells (censoring) and the actual detection. Both steps are
performed dynamically by using a suitable set of ranked cells to
estimate the unknown background level and set the adaptive
thresholds accordingly. The F-ACCAD algorithm does not require
any prior information about the clutter parameters nor does it require
the number of interfering targets. The effectiveness of the F-ACCAD
algorithm is assessed by computing, using Monte Carlo simulations,
the probability of censoring and the probability of detection in
different background environments.
Abstract: Nuclear energy sources have been widely used in the
past decades in order to power spacecraft subsystems. Nevertheless,
their use has attracted controversy because of the risk of harmful
material released into the atmosphere if an accident were to occur
during the launch phase of the mission, leading to the general
adoption of photovoltaic systems.
As compared to solar cells, wind turbines have a great advantage
on Mars, as they can continuously produce power both during dust
storms and at night-time: this paper focuses on the potential of a wind
energy conversion system (WECS) considering the atmospheric
conditions on Mars. Wind potential on Martian surface has been
estimated, as well as the average energy requirements of a Martian
probe or surface rover. Finally, the expected daily energy output of
the WECS has been computed on the basis of both the swept area of
the rotor and the equivalent wind speed at the landing site.
Abstract: The friction between two metal surfaces results in a
high frequency noise (squealing) which also occurs during the
braking of wagons with rail brakes in the process of shunting at a
marshalling yard with a hump. At that point the noise level may
exceed 130dB, which is extremely unpleasant for workers and
inhabitants. In our research we developed a new composite material
which does not change braking properties, is capable of taking
extremely high pressure loads, reduces noise and is environmentally
friendly. The noise reduction results had been very good and had
shown a decrease of the high frequency noise almost completely (by
99%) at its source. With our technology we had also reduced general
noise by more than 30dBA.
Abstract: Multifunctional structures are a potentially disruptive
technology that allows for significant mass savings on spacecraft.
The specific concept addressed herein is that of a multifunctional
power structure. In this paper, a parametric optimisation of the
design of such a structure that uses commercially available battery
cells is presented. Using numerical modelling, it was found that there
exists several trade-offs aboutthe conflict between the capacity of the
panel and its mechanical properties. It was found that there is no
universal optimal location for the cells. Placing them close to the
mechanical interfaces increases loading in the mechanically weak
cells whereas placing them at the centre of the panel increases the
stress inthe panel and reduces the stiffness of the structure.
Abstract: Hot Mix Asphalt (HMA) is one of the most
commonest constructed asphalts in Iran and the quality control of
constructed roads with HMA have been always paid due attention by
researchers. The quality control of constructed roads with this
method is being usually carried out by measuring volumetric
parameters of HMA marshall samples. One of the important
parameters that has a critical role in changing these volumetric
parameters is “compaction temperature"; which as a result of its
changing, volumetric parameters of Marshall Samples and
subsequently constructed asphalt is encountered with variations. In
this study, considering the necessity of preservation of the
compaction temperature, the effect of various temperatures on Hot
Mix Asphalt (HMA) samples properties has been evaluated. As well,
to evaluate the effect of this parameter on different grading, two
different grading (Top coat index grading and binder index grading)
have been used and samples were compacted at 5 various
temperatures.
Abstract: This paper present a new way to find the aerodynamic
characteristic equation of missile for the numerical trajectories
prediction more accurate. The goal is to obtain the polynomial
equation based on two missile characteristic parameters, angle of
attack (α ) and flight speed (ν ). First, the understudied missile is
modeled and used for flow computational model to compute
aerodynamic force and moment. Assume that performance range of
understudied missile where range -10< α
Abstract: The present study explains the effect of aggregate
gradation on moisture damage in bituminous mixes. Three types of
aggregate gradation and two types of binder; VG-30 and Polymer
modified bitumen (PMB-40) are used. Moisture susceptibility tests
like retained stability and tensile strength ratio (TSR) and static creep
test are conducted on Marshall specimens. The creep test was also
conducted for conditioned and unconditioned specimens to observe
the effect of moisture on creep behaviour. The results indicate that
Marshall stability value is higher in PMB-40 mix than VG-30 mixes.
Moisture susceptibility of PMB-40 mixes is low when compared with
mix using VG-30. The reduction in retained stability, and indirect
tensile strength and increase in creep are evaluated for finer, coarser
and normal gradation of aggregate to observe the effect of gradation
on moisture susceptibility of mixes. The retained stability is least
affected when compared with other moisture susceptibility
parameters
Abstract: Self-propelled forage harvesters in the 850
horsepower range were tested over three years for fuel consumption,
throughput and quality of chop for corn silage. Cut length had a
significant effect on fuel consumption, throughput and some aspects
of chop quality. Measure cut length was often different than
theoretical length of cut. Where cut length was equivalent fuel
consumption and throughput were equivalent across brands.
Shortening cut length from 17 to 11mm increases fuel consumption
53 percent measured as Mg of silage harvested per gallon of fuel used
and a 42 percent decrease in capacity as tons of fresh material per
hour run time.
Abstract: Future astronomical projects on large space x-ray
imaging telescopes require novel substrates and technologies for the
construction of their reflecting mirrors. The mirrors must be
lightweight and precisely shaped to achieve large collecting area with
high angular resolution. The new materials and technologies must be
cost-effective. Currently, the most promising materials are glass or
silicon foils. We focused on precise shaping these foils by thermal
forming process. We studied free and forced slumping in the
temperature region of hot plastic deformation and compared the
shapes obtained by the different slumping processes. We measured
the shapes and the surface quality of the foils. In the experiments, we
varied both heat-treatment temperature and time following our
experiment design. The obtained data and relations we can use for
modeling and optimizing the thermal forming procedure.
Abstract: This paper presents a new classification algorithm using colour and texture for obstacle detection. Colour information is computationally cheap to learn and process. However in many cases, colour alone does not provide enough information for classification. Texture information can improve classification performance but usually comes at an expensive cost. Our algorithm uses both colour and texture features but texture is only needed when colour is unreliable. During the training stage, texture features are learned specifically to improve the performance of a colour classifier. The algorithm learns a set of simple texture features and only the most effective features are used in the classification stage. Therefore our algorithm has a very good classification rate while is still fast enough to run on a limited computer platform. The proposed algorithm was tested with a challenging outdoor image set. Test result shows the algorithm achieves a much better trade-off between classification performance and efficiency than a typical colour classifier.
Abstract: This paper presents a formalisation of the different existing code mutation techniques (polymorphism and metamorphism) by means of formal grammars. While very few theoretical results are known about the detection complexity of viral mutation techniques, we exhaustively address this critical issue by considering the Chomsky classification of formal grammars. This enables us to determine which family of code mutation techniques are likely to be detected or on the contrary are bound to remain undetected. As an illustration we then present, on a formal basis, a proof-of-concept metamorphic mutation engine denoted PB MOT, whose detection has been proven to be undecidable.