Abstract: Optimizing equipment selection in heavy earthwork
operations is a critical key in the success of any construction project.
The objective of this research incentive was geared towards
developing a computer model to assist contractors and construction
managers in estimating the cost of heavy earthwork operations.
Economical operation analysis was conducted for an equipment fleet
taking into consideration the owning and operating costs involved in
earthwork operations. The model is being developed in a Microsoft
environment and is capable of being integrated with other estimating
and optimization models. In this study, Caterpillar® Performance
Handbook [5] was the main resource used to obtain specifications of
selected equipment. The implementation of the model shall give
optimum selection of equipment fleet not only based on cost
effectiveness but also in terms of versatility. To validate the model, a
case study of an actual dam construction project was selected to
quantify its degree of accuracy.
Abstract: Bone marrow-derived stem cells have been widely
studied as an alternative source of stem cells. Mesenchymal stem
cells (MSCs) were mostly investigated and studies showed MSCs can
promote neurogenesis. Little is known about the non-mesenchymal
mononuclear cell fraction, which contains both hematopoietic and
nonhematopoietic cells, including monocytes and endothelial
progenitor cells. This study focused on unfractionated bone marrow
mononuclear cells (BMMCs), which remained 72 h after MSCs were
adhered to the culture plates. We showed that BMMC-conditioned
medium promoted morphological changes of human SH-SY5Y
neuroblastoma cells from an epithelial-like phenotype towards a
neuron-like phenotype as indicated by an increase in neurite
outgrowth, like those observed in retinoic acid (RA)-treated cells.
The result could be explained by the effects of trophic factors
released from BMMCs, as shown in the RT-PCR results that
BMMCs expressed nerve growth factor (NGF), brain-derived
neurotrophic factor (BDNF), and ciliary neurotrophic factor (CNTF).
Similar results on the cell proliferation rate were also observed
between RA-treated cells and cells cultured in BMMC-conditioned
medium, suggesting that cells creased proliferating and differentiated
into a neuronal phenotype. Using real-time RT-PCR, a significantly
increased expression of tyrosine hydroxylase (TH) mRNA in SHSY5Y
cells indicated that BMMC-conditioned medium induced
catecholaminergic identities in differentiated SH-SY5Y cells.
Abstract: In the LFC problem, the interconnections among some areas are the input of disturbances, and therefore, it is important to suppress the disturbances by the coordination of governor systems. In contrast, tie-line power flow control by TCPS located between two areas makes it possible to stabilize the system frequency oscillations positively through interconnection, which is also expected to provide a new ancillary service for the further power systems. Thus, a control strategy using controlling the phase angle of TCPS is proposed for provide active control facility of system frequency in this paper. Also, the optimum adjustment of PID controller's parameters in a robust way under bilateral contracted scenario following the large step load demands and disturbances with and without TCPS are investigated by Particle Swarm Optimization (PSO), that has a strong ability to find the most optimistic results. This newly developed control strategy combines the advantage of PSO and TCPS and has simple stricture that is easy to implement and tune. To demonstrate the effectiveness of the proposed control strategy a three-area restructured power system is considered as a test system under different operating conditions and system nonlinearities. Analysis reveals that the TCPS is quite capable of suppressing the frequency and tie-line power oscillations effectively as compared to that obtained without TCPS for a wide range of plant parameter changes, area load demands and disturbances even in the presence of system nonlinearities.
Abstract: In this paper, we consider a multi user multiple input
multiple output (MU-MIMO) based cooperative reporting system for
cognitive radio network. In the reporting network, the secondary
users forward the primary user data to the common fusion center
(FC). The FC is equipped with linear equalizers and an energy
detector to make the decision about the spectrum. The primary user
data are considered to be a digital video broadcasting - terrestrial
(DVB-T) signal. The sensing channel and the reporting channel are
assumed to be an additive white Gaussian noise and an independent
identically distributed Raleigh fading respectively. We analyzed the
detection probability of MU-MIMO system with linear equalizers and
arrived at the closed form expression for average detection
probability. Also the system performance is investigated under
various MIMO scenarios through Monte Carlo simulations.
Abstract: Mercury is a natural occurring element and present in
various concentrations in the environment. Due to its toxic effects, it
is desirable to research mercury sensitive materials to adsorb
mercury. This paper describes the preparation of Au nanoparticles for
mercury adsorption by using a microwave (MW)-polyol method in
the presence of three different Sodium Chloride (NaCl)
concentrations (10, 20 and 30 mM). Mixtures of spherical, triangular,
octahedral, decahedral particles and 1-D product were obtained using
this rapid method. Sizes and shapes was found strongly depend on the
concentrations of NaCl. Without NaCl concentration, spherical,
triangular plates, octahedral, decahedral nanoparticles and 1D
product were produced. At the lower NaCl concentration (10 mM),
spherical, octahedral and decahedral nanoparticles were present,
while spherical and decahedral nanoparticles were preferentially form
by using 20 mM of NaCl concentration. Spherical, triangular plates,
octahedral and decahedral nanoparticles were obtained at the highest
NaCl concentration (30 mM). The amount of mercury adsorbed using
20 ppm mercury solution is the highest (67.5 %) for NaCl
concentration of 30 mM. The high yield of polygonal particles will
increase the mercury adsorption. In addition, the adsorption of
mercury is also due to the sizes of the particles. The sizes of particles
become smaller with increasing NaCl concentrations (size ranges, 5-
16 nm) than those synthesized without addition of NaCl (size ranges
11-32 nm). It is concluded that NaCl concentrations affects the
formation of sizes and shapes of Au nanoparticles thus affects the
mercury adsorption.
Abstract: Many companies have switched their processes to project-oriented in the last years. This brings new possibilities and effectiveness not only in the field of external processes connected with the product delivery but also the internal processes as well. However centralized project organization which is based on the role of project manager in the team has proved insufficient in some cases. Agile methods of project organization are trying to solve this problem by bringing new view on the project organization, roles, processes and competences. Scrum is one of these methods which builds on the principles of knowledge management to drive the project to effectiveness from all view angles. Using this method to organize internal and delivery projects helps the organization to create and share knowledge throughout the company. It also supports forming unique competences of individuals and project teams and drives innovations in the company.
Abstract: As the data-driven economy is growing faster than
ever and the demand for energy is being spurred, we are facing
unprecedented challenges of improving energy efficiency in data
centers. Effectively maximizing energy efficiency or minimising the
cooling energy demand is becoming pervasive for data centers. This
paper investigates overall energy consumption and the energy
efficiency of cooling system for a data center in Finland as a case
study. The power, cooling and energy consumption characteristics
and operation condition of facilities are examined and analysed.
Potential energy and cooling saving opportunities are identified and
further suggestions for improving the performance of cooling system
are put forward. Results are presented as a comprehensive evaluation
of both the energy performance and good practices of energy
efficient cooling operations for the data center. Utilization of an
energy recovery concept for cooling system is proposed. The
conclusion we can draw is that even though the analysed data center
demonstrated relatively high energy efficiency, based on its power
usage effectiveness value, there is still a significant potential for
energy saving from its cooling systems.
Abstract: The Norwegian Military Academy (Army) has
initiated a project with the main ambition to explore possible avenues
to enhancing operational effectiveness through an increased use of
simulation-based training and exercises. Within a cost/benefit
framework, we discuss opportunities and limitations of vertical and
horizontal integration of the existing tactical training system. Vertical
integration implies expanding the existing training system to span the
full range of training from tactical level (platoon, company) to
command and staff level (battalion, brigade). Horizontal integration
means including other domains than army tactics and staff
procedures in the training, such as military ethics, foreign languages,
leadership and decision making. We discuss each of the integration
options with respect to purpose and content of training, "best
practice" for organising and conducting simulation-based training,
and suggest how to evaluate training procedures and measure
learning outcomes. We conclude by giving guidelines towards further
explorative work and possible implementation.
Abstract: Before performing polymerase chain reactions (PCR), a feasible primer set is required. Many primer design methods have been proposed for design a feasible primer set. However, the majority of these methods require a relatively long time to obtain an optimal solution since large quantities of template DNA need to be analyzed. Furthermore, the designed primer sets usually do not provide a specific PCR product. In recent years, evolutionary computation has been applied to PCR primer design and yielded promising results. In this paper, a particle swarm optimization (PSO) algorithm is proposed to solve primer design problems associated with providing a specific product for PCR experiments. A test set of the gene CYP1A1, associated with a heightened lung cancer risk was analyzed and the comparison of accuracy and running time with the genetic algorithm (GA) and memetic algorithm (MA) was performed. A comparison of results indicated that the proposed PSO method for primer design finds optimal or near-optimal primer sets and effective PCR products in a relatively short time.
Abstract: The concept of e-Learning is now emerging in Sub Saharan African countries like Tanzania. Due to economic constraints and other social and cultural factors faced by these countries, the use of Information and Communication Technology (ICT) is increasing at a very low pace. The digital divide threat has propelled the Government of Tanzania to put in place the national ICT Policy in 2003 which defines the direction of all ICT activities nationally. Among the main focused areas is the use of ICT in education, since for the development of any country, there is a need of creating knowledge based society. This paper discusses the initiatives made so far to introduce the use of ICT tools to some secondary schools using open source software in e-content development to facilitate a self-learning environment
Abstract: A steady two-phase flow model has been developed to simulate the drying process of porous particle in a pneumatic conveying dryer. The model takes into account the momentum, heat and mass transfer between the continuous phase and the dispersed phase. A single particle model was employed to calculate the evaporation rate. In this model the pore structure is simplified to allow the dominant evaporation mechanism to be readily identified at all points within the duct. The predominant mechanism at any time depends upon the pressure, temperature and the diameter of pore from which evaporating is occurring. The model was validated against experimental studies of pneumatic transport at low and high speeds as well as pneumatic drying. The effects of operating conditions on the dryer parameters are studied numerically. The present results show that the drying rate is enhanced as the inlet gas temperature and the gas flow rate increase and as the solid mass flow rate deceases. The present results also demonstrate the necessity of measuring the inlet gas velocity or the solid concentration in any experimental analysis.
Abstract: Children and adolescents developing in the worlds of today are facing a getting array of new and old challenges. School counselling is improving rapidly in contemporary education systems around the world. It can be said that counselling system in Turkey was newly borning. In this study, “Family of the Blood" activity is improved with respect to compherensive guidance school program. The sample included 22 adolescents who were high school students. The activity was carried out in 4 sessions, each of which lasted 45 minutes. In the first session, students- personal-social needs were determined. In the second session, in order to warm up, the students were asked three questions consisting of the constructional aspect. In the third session, the counselor and the teacher shared the results of students- responses obtained in the previous session. In the fourth session, the tables formed by students were presented in the classroom. In order to evaluate the activity, three questions were asked of the teacher and counselor. According to the results, the lesson aims of curriculum and counselling aims of curriculum were attained. In the light of literature, the results were discussed and some suggestions were made. It is taken into consideration that the activitiy was beneficial in many respects, similar studies should be carried out in the near future.
Abstract: An application framework provides a reusable design
and implementation for a family of software systems. Frameworks
are introduced to reduce the cost of a product line (i.e., a family of
products that shares the common features). Software testing is a timeconsuming
and costly ongoing activity during the application
software development process. Generating reusable test cases for the
framework applications during the framework development stage,
and providing and using the test cases to test part of the framework
application whenever the framework is used reduces the application
development time and cost considerably. This paper introduces the
Framework Interface State Transition Tester (FIST2), a tool for
automated unit testing of Java framework applications. During the
framework development stage, given the formal descriptions of the
framework hooks, the specifications of the methods of the
framework-s extensible classes, and the illegal behavior description
of the Framework Interface Classes (FICs), FIST2 generates unitlevel
test cases for the classes. At the framework application
development stage, given the customized method specifications of
the implemented FICs, FIST2 automates the use, execution, and
evaluation of the already generated test cases to test the implemented
FICs. The paper illustrates the use of the FIST2 tool for testing
several applications that use the SalesPoint framework.
Abstract: This paper attempts to discuss the evolution of the
retrieval techniques focusing on development, challenges and trends
of the image retrieval. It highlights both the already addressed and
outstanding issues. The explosive growth of image data leads to the
need of research and development of Image Retrieval. However,
Image retrieval researches are moving from keyword, to low level
features and to semantic features. Drive towards semantic features is
due to the problem of the keywords which can be very subjective and
time consuming while low level features cannot always describe high
level concepts in the users- mind.
Abstract: In this article, a formal specification and verification of the Rabin public-key scheme in a formal proof system is presented. The idea is to use the two views of cryptographic verification: the computational approach relying on the vocabulary of probability theory and complexity theory and the formal approach based on ideas and techniques from logic and programming languages. A major objective of this article is the presentation of the first computer-proved implementation of the Rabin public-key scheme in Isabelle/HOL. Moreover, we explicate a (computer-proven) formalization of correctness as well as a computer verification of security properties using a straight-forward computation model in Isabelle/HOL. The analysis uses a given database to prove formal properties of our implemented functions with computer support. The main task in designing a practical formalization of correctness as well as efficient computer proofs of security properties is to cope with the complexity of cryptographic proving. We reduce this complexity by exploring a light-weight formalization that enables both appropriate formal definitions as well as efficient formal proofs. Consequently, we get reliable proofs with a minimal error rate augmenting the used database, what provides a formal basis for more computer proof constructions in this area.
Abstract: The growing importance of sustainability in corporate
policies represents a great opportunity for workers to gain more
consideration, with great benefits to their well being. Sustainable
work is believed to be one which improves the organization-s
performance and fosters professional development as well as
workers- health. In a multiple case study based on document
research, information was sought about work activities and their
sustainability or corporate social responsibility (CSR) policies, as
disseminated by corporations. All the companies devoted attention to
work activities and delivered a good amount of information about
them. Nevertheless, the information presented was generic; all the
actions developed were top-down and there was no information about
the impact of changes aimed at sustainability on the workers-
activities. It was found that the companies seemed to be at an early
stage. In the future, they need to show more commitment through
concrete goals: they must be aware that workers contribute directly to
the corporations- sustainability. This would allow room for
Ergonomics and Work Psychodynamics to be incorporated and to be
useful for both companies and society, so as to promote and ensure
work sustainability.
Abstract: Software maintenance, which involves making enhancements, modifications and corrections to existing software systems, consumes more than half of developer time. Specification comprehensibility plays an important role in software maintenance as it permits the understanding of the system properties more easily and quickly. The use of formal notation such as B increases a specification-s precision and consistency. However, the notation is regarded as being difficult to comprehend. Semi-formal notation such as the Unified Modelling Language (UML) is perceived as more accessible but it lacks formality. Perhaps by combining both notations could produce a specification that is not only accurate and consistent but also accessible to users. This paper presents an experiment conducted on a model that integrates the use of both UML and B notations, namely UML-B, versus a B model alone. The objective of the experiment was to evaluate the comprehensibility of a UML-B model compared to a traditional B model. The measurement used in the experiment focused on the efficiency in performing the comprehension tasks. The experiment employed a cross-over design and was conducted on forty-one subjects, including undergraduate and masters students. The results show that the notation used in the UML-B model is more comprehensible than the B model.
Abstract: The impact of a proposed pier on tidal current
alteration was evaluated. The proposed pier location was in Salad
Bay on Koa Kood Island, Trat province, Thailand, and was designed
to accommodate passenger ships with a draft of less than 2 m. The
study began with collecting necessary data, including bathymetric,
water elevation and tidal current characteristics. The impact was
assessed using a software package (MIKE21). Although the results
showed that the pier would affect the existing current pattern, the
change was determined to be insignificant, as the design of the piles
for the pier provided sufficient spacing to let the current flow as
freely as possible. Consequences of the altered current, such as
seabed erosion, water stagnation, sediment deposition and
navigational risk were assessed. Environmental mitigation measures
might be necessary if the impacts were considered unacceptable.
Abstract: We present a general comparison of punctual kriging based image restoration for different neighbourhood sizes. The formulation of the technique under consideration is based on punctual kriging and fuzzy concepts for image restoration in spatial domain. Three different neighbourhood windows are considered to estimate the semivariance at different lags for studying its effect in reduction of negative weights resulted in punctual kriging, consequently restoration of degraded images. Our results show that effect of neighbourhood size higher than 5x5 on reduction in negative weights is insignificant. In addition, image quality measures, such as structure similarity indices, peak signal to noise ratios and the new variogram based quality measures; show that 3x3 window size gives better performance as compared with larger window sizes.
Abstract: The whole work is based on possibility to use Lego Mindstorms robotics systems to reduce costs. Lego Mindstorms consists of a wide variety of hardware components necessary to simulate, programme and test of robotics systems in practice. To programme algorithm, which simulates space using the ultrasonic sensor, was used development environment supplied with kit. Software Matlab was used to render values afterwards they were measured by ultrasonic sensor. The algorithm created for this paper uses theoretical knowledge from area of signal processing. Data being processed by algorithm are collected by ultrasonic sensor that scans 2D space in front of it. Ultrasonic sensor is placed on moving arm of robot which provides horizontal moving of sensor. Vertical movement of sensor is provided by wheel drive. The robot follows map in order to get correct positioning of measured data. Based on discovered facts it is possible to consider Lego Mindstorm for low-cost and capable kit for real-time modelling.