Abstract: For a variety of safety and economic reasons, engineering undergraduates in Australia have experienced diminishing access to the real hardware that is typically the embodiment of their theoretical studies. This trend will delay the development of practical competence, decrease the ability to model and design, and suppress motivation. The author has attempted to address this concern by creating a software tool that contains both photographic images of real machinery, and sets of graphical modeling 'tools'. Academics from a range of disciplines can use the software to set tutorial tasks, and incorporate feedback comments for a range of student responses. An evaluation of the software demonstrated that students who had solved modeling problems with the aid of the electronic tutor performed significantly better in formal examinations with similar problems. The 2-D graphical diagnostic routines in the Tutor have the potential to be used in a wider range of problem-solving tasks.
Abstract: Software development is moving towards agility with use cases and scenarios being used for requirements stories. Estimates of software costs are becoming even more important than before as effects of delays is much larger in successive short releases context of agile development. Thus, this paper reports on the development of new linear use case based software cost estimation model applicable in the very early stages of software development being based on simple metric. Evaluation showed that accuracy of estimates varies between 43% and 55% of actual effort of historical test projects. These results outperformed those of wellknown models when applied in the same context. Further work is being carried out to improve the performance of the proposed model when considering the effect of non-functional requirements.
Abstract: This paper focuses on a critical component of the situational awareness (SA), the neural control of autonomous constant depth flight of an autonomous underwater vehicle (AUV). Autonomous constant depth flight is a challenging but important task for AUVs to achieve high level of autonomy under adverse conditions. The fundamental requirement for constant depth flight is the knowledge of the depth, and a properly designed controller to govern the process. The AUV, named VORAM, is used as a model for the verification of the proposed hybrid control algorithm. Three neural network controllers, named NARMA-L2 controllers, are designed for fast and stable diving maneuvers of chosen AUV model. This hybrid control strategy for chosen AUV model has been verified by simulation of diving maneuvers using software package Simulink and demonstrated good performance for fast SA in real-time searchand- rescue operations.
Abstract: A lightpipe is an about 99 percent specular reflective
mirror pipe or duct that is used for the transmission of the daylight
from the outside into a building. The lightpipes are usually used in
the daylighting buildings, in the residential, industrial and
commercial sectors. This paper is about the performances of a
lightpipe installed in a laboratory (3 m x 2.6 m x 3 m) without
windows. The aim is to analyse the luminous intensity distribution
for several sky/sun conditions. The lightpipe was monitored during
the year 2006. The lightpipe is 1 m long and the diameter of the top
collector and of the internal diffuser device is 0.25 m. In the
laboratory there are seven illuminance sensors: one external is
located on the roof of the laboratory and six internal sensors are
connected to a data acquisition system. The internal sensors are
positioned under the internal diffusive device at an height of 0.85 m
from the floor to simulate a working plane. The numerical data are
obtained through a simulation software. This paper shows the
comparison between the experimental and numerical results
concerning the behavior of the lightpipe.
Abstract: The theory of Groebner Bases, which has recently been
honored with the ACM Paris Kanellakis Theory and Practice Award,
has become a crucial building block to computer algebra, and is
widely used in science, engineering, and computer science. It is wellknown
that Groebner bases computation is EXP-SPACE in a general
polynomial ring setting.
However, for many important applications in computer science
such as satisfiability and automated verification of hardware and
software, computations are performed in a Boolean ring. In this paper,
we give an algorithm to show that Groebner bases computation is PSPACE
in Boolean rings. We also show that with this discovery,
the Groebner bases method can theoretically be as efficient as
other methods for automated verification of hardware and software.
Additionally, many useful and interesting properties of Groebner
bases including the ability to efficiently convert the bases for different
orders of variables making Groebner bases a promising method in
automated verification.
Abstract: The major focus of this work was to characterize hydrodynamics in a packed-bed with and without static mixer by using Computational Fluid Dynamic (CFD). The commercial software: COMSOL MULTIPHYSICSTM Version 3.3 was used to simulate flow fields of mixed-gas reactants i.e. CO and H2. The packed-bed was a single tube with the inside diameter of 0.8 cm and the length of 1.2 cm. The static mixer was inserted inside the tube. The number of twisting elements was 1 with 0.8 cm in diameter and 1.2 cm in length. The packed-bed with and without static mixer were both packed with approximately 700 spherical structures representing catalyst pellets. Incompressible Navier-Stokes equations were used to model the gas flow inside the beds at steady state condition, in which the inlet Reynolds Number (Re) was 2.31. The results revealed that, with the insertion of static mixer, the gas was forced to flow radially inward and outward between the central portion of the tube and the tube wall. This could help improving the overall performance of the packed-bed, which could be utilized for heterogeneous catalytic reaction such as reforming and Fischer- Tropsch reactions.
Abstract: Work-life balance has been acknowledged and
promoted for the sake of employee retention. It is essential for a
manager to realize the human resources situation within a company to
help employees work happily and perform at their best. This paper
suggests knowledge management and critical thinking are useful to
motivate employees to think about their work-life balance. A
qualitative case study is presented, which aimed to discover the
meaning of work-life balance-s meaning from the perspective of Thai
knowledge workers and how it affects their decision-making towards
work resignation. Results found three types of work-life balance
dimensions; a work- life balance including a workplace and a private
life setting, an organizational working life balance only, and a worklife
balance only in a private life setting. These aspects all influenced
the decision-making of the employees. Factors within a theme of an
organizational work-life balance were involved with systematic
administration, fair treatment, employee recognition, challenging
assignments to gain working experience, assignment engagement,
teamwork, relationship with superiors, and working environment,
while factors concerning private life settings were about personal
demands such as an increasing their salary or starting their own
business.
Abstract: Currently is characterized production engineering
together with the integration of industrial automation and robotics
such very quick view of to manufacture the products. The production
range is continuously changing, expanding and producers have to be
flexible in this regard. It means that need to offer production
possibilities, which can respond to the quick change. Engineering
product development is focused on supporting CAD software, such
systems are mainly used for product design. That manufacturers are
competitive, it should be kept procured machines made available
capable of responding to output flexibility. In response to that
problem is the development of flexible manufacturing systems,
consisting of various automated systems. The integration of flexible
manufacturing systems and subunits together with product design and
of engineering is a possible solution for this issue. Integration is
possible through the implementation of CIM systems. Such a solution
and finding a hyphen between CAD and procurement system ICIM
3000 from Festo Co. is engaged in the research project and this
contribution. This can be designed the products in CAD systems and
watch the manufacturing process from order to shipping by the
development of methods and processes of integration, This can be
modeled in CAD systems products and watch the manufacturing
process from order to shipping to develop methods and processes of
integration, which will improve support for product design
parameters by monitoring of the production process, by creating of
programs for production using the CAD and therefore accelerates the
a total of process from design to implementation.
Abstract: Since the beginning of human history, human
activities have caused many changes in the environment. Today, a
particular attention should be paid to gaining knowledge about water
quality of wetlands which are pristine natural environments rich in
genetic reserves. If qualitative conditions of industrial areas (in terms
of both physicochemical and biological conditions) are not addressed
properly, they could cause disruption in natural ecosystems,
especially in rivers. With regards to the quality of water resources,
determination of pollutant sources plays a pivotal role in engineering
projects as well as designing water quality control systems. Thus,
using different methods such as flow duration curves, dischargepollution
load model and frequency analysis by HYFA software
package, risk of various industrial pollutants in international and
ecologically important Gavkhoni wetland is analyzed. In this study, a
station located at Varzaneh City is used as the last station on
Zayanderud River, from where the river water is discharged into the
wetland. Results showed that elements- concentrations often
exceeded the allowed level and river water can endanger regional
ecosystem. In addition, if the river discharge is managed on Q25
basis, this basis can lower concentrations of elements, keeping them
within the normal level.
Abstract: This paper presents a controller design technique for
Synchronous Reluctance Motor to improve its dynamic performance
with fast response and high accuracy. The sliding mode control is the
most attractive and suitable method to use for this purpose, since it is
simple in design and for its insensitivity to parameter variations or
external disturbances. When this method implemented it yields fast
dynamic response without overshoot and a zero steady-state error.
The current loop control with decentralized sliding mode is presented
in this paper. The mathematical model for the synchronous machine,
the inverter and the controller is developed. The stability of the
sliding mode controller is analyzed. Simulation of synchronous
reluctance motor and the controller with PWM-inverter has been
curried out, using the SIMULINK software package of MATLAB.
Simulation results are presented to show the effectiveness of the
approach.
Abstract: Domain-specific languages describe specific solutions to problems in the application domain. Traditionally they form a solution composing black-box abstractions together. This, usually, involves non-deep transformations over the target model. In this paper we argue that it is potentially powerful to operate with grey-box abstractions to build a domain-specific software system. We present parametric code templates as grey-box abstractions and conceptual tools to encapsulate and manipulate these templates. Manipulations introduce template-s merging routines and can be defined in a generic way. This involves reasoning mechanisms at the code templates level. We introduce the concept of Neurath Modelling Language (NML) that operates with parametric code templates and specifies a visualisation mapping mechanism for target models. Finally we provide an example of calculating a domain-specific software system with predefined NML elements.
Abstract: Ontology-based modelling of multi-formatted
software application content is a challenging area in content
management. When the number of software content unit is huge and
in continuous process of change, content change management is
important. The management of content in this context requires
targeted access and manipulation methods. We present a novel
approach to deal with model-driven content-centric information
systems and access to their content. At the core of our approach is an
ontology-based semantic annotation technique for diversely
formatted content that can improve the accuracy of access and
systems evolution. Domain ontologies represent domain-specific
concepts and conform to metamodels. Different ontologies - from
application domain ontologies to software ontologies - capture and
model the different properties and perspectives on a software content
unit. Interdependencies between domain ontologies, the artifacts and
the content are captured through a trace model. The annotation traces
are formalised and a graph-based system is selected for the
representation of the annotation traces.
Abstract: Regression testing is a maintenance activity applied to
modified software to provide confidence that the changed parts are
correct and that the unchanged parts have not been adversely affected
by the modifications. Regression test selection techniques reduce the
cost of regression testing, by selecting a subset of an existing test
suite to use in retesting modified programs. This paper presents the
first general regression-test-selection technique, which based on code
and allows selecting test cases for any programs written in any
programming language. Then it handles incomplete program. We
also describe RTSDiff, a regression-test-selection system that
implements the proposed technique. The results of the empirical
studied that performed in four programming languages java, C#, Cµ
and Visual basic show that the efficiency and effective in reducing
the size of test suit.
Abstract: An application framework provides a reusable design
and implementation for a family of software systems. Application
developers extend the framework to build their particular
applications using hooks. Hooks are the places identified to show
how to use and customize the framework. Hooks define the
Framework Interface Classes (FICs) and their possible specifications,
which helps in building reusable test cases for the implementations of
these classes. This paper introduces a novel technique called all
paths-state to generate state-based test cases to test the FICs at class
level. The technique is experimentally evaluated. The empirical
evaluation shows that all paths-state technique produces test cases
with a high degree of coverage for the specifications of the
implemented FICs comparing to test cases generated using round-trip
path and all-transition techniques.
Abstract: The development and use of mobile devices as well as its integration within education systems to deliver electronic contents and to support real-time communications was the focus of this research. In order to investigate the software engineering issues in using mobile devices a research on electronic content was initiated. The Developed MP3 mobile software solution was developed as a prototype for testing and developing a strategy for designing a usable m-learning environment. The mobile software solution was evaluated using mobile device using the link: http://projects.seeu.edu.mk/mlearn. The investigation also tested the correlation between the two mobile learning indicators: electronic content and attention, based on the Task Based learning instructional method. The mobile software solution ''M-Learn“ was developed as a prototype for testing the approach and developing a strategy for designing usable m-learning environment. The proposed methodology is about what learning modeling approach is more appropriate to use when developing mobile learning software.
Abstract: Nowadays there are many methods for representing
knowledge such as semantic network, neural network, and conceptual
graphs. Nonetheless, these methods are not sufficiently efficient
when applied to perform and deduce on knowledge domains about
supporting in general education such as algebra, analysis or plane
geometry. This leads to the introduction of computational network
which is a useful tool for representation knowledge base, especially
for computational knowledge, especially knowledge domain about
general education. However, when dealing with a practical problem,
we often do not immediately find a new solution, but we search
related problems which have been solved before and then proposing
an appropriate solution for the problem. Besides that, when finding
related problems, we have to determine whether the result of them
can be used to solve the practical problem or not. In this paper, the
extension model of computational network has been presented. In this
model, Sample Problems, which are related problems, will be used
like the experience of human about practical problem, simulate the
way of human thinking, and give the good solution for the practical
problem faster and more effectively. This extension model is applied
to construct an automatic system for solving algebraic problems in
middle school.
Abstract: Enzymatic hydrolysis of starch from natural sources
finds potential application in commercial production of alcoholic
beverage and bioethanol. In this study the effect of starch
concentration, temperature, time and enzyme concentration were
studied and optimized for hydrolysis of Potato starch powder (of
mesh 80/120) into glucose syrup by immobilized (using Sodium
arginate) α-amylase using central composite design. The
experimental result on enzymatic hydrolysis of Potato starch was
subjected to multiple linear regression analysis using MINITAB 14
software. Positive linear effect of starch concentration, enzyme
concentration and time was observed on hydrolysis of Potato starch
by α-amylase. The statistical significance of the model was validated
by F-test for analysis of variance (p ≤ 0.01). The optimum value of
starch concentration, enzyme concentration, temperature, time and
were found to be 6% (w/v), 2% (w/v), 40°C and 80min respectively.
The maximum glucose yield at optimum condition was 2.34 mg/mL.
Abstract: Time interleaved sigma-delta (TIΣΔ) architecture is a
potential candidate for high bandwidth analog to digital converters
(ADC) which remains a bottleneck for software and cognitive radio
receivers. However, the performance of the TIΣΔ architecture is
limited by the unavoidable gain and offset mismatches resulting
from the manufacturing process. This paper presents a novel digital
calibration method to compensate the gain and offset mismatch
effect. The proposed method takes advantage of the reconstruction
digital signal processing on each channel and requires only few logic
components for implementation. The run time calibration is estimated
to 10 and 15 clock cycles for offset cancellation and gain mismatch
calibration respectively.
Abstract: This paper discusses the investigation of a wearable
textile monopole antenna on specific absorption rate (SAR) for bodycentric
wireless communication applications at 2.45 GHz. The
antenna is characterized on a realistic 8 x 8 x 8 mm3 resolution
truncated Hugo body model in CST Microwave Studio software. The
result exhibited that the simulated SAR values were reduced
significantly by 83.5% as the position of textile monopole was
varying between 0 mm and 15 mm away from the human upper arm.
A power absorption reduction of 52.2% was also noticed as the
distance of textile monopole increased.
Abstract: Developers need to evaluate software's performance to make software efficient. This paper suggests a performance evaluation system for embedded software. The suggested system consists of code analyzer, testing agents, data analyzer, and report viewer. The code analyzer inserts additional code dependent on target system into source code and compiles the source code. The testing agents execute performance test. The data analyzer translates raw-level results data to class-level APIs for reporting viewer. The report viewer offers users graphical report views by using the APIs. We hope that the suggested tool will be useful for embedded-related software development,because developers can easily and intuitively analyze software's performance and resource utilization.