Abstract: Probabilistic techniques in computer programs are becoming
more and more widely used. Therefore, there is a big
interest in the formal specification, verification, and development
of probabilistic programs. In our work-in-progress project, we are
attempting to make a constructive framework for developing probabilistic
programs formally. The main contribution of this paper
is to introduce an intermediate artifact of our work, a Z-based
formalism called PZ, by which one can build set theoretical models of
probabilistic programs. We propose to use a constructive set theory,
called CZ set theory, to interpret the specifications written in PZ.
Since CZ has an interpretation in Martin-L¨of-s theory of types, this
idea enables us to derive probabilistic programs from correctness
proofs of their PZ specifications.
Abstract: Simulation and modeling computer programs are
concerned with construction of models for analyzing different
perspectives and possibilities in changing conditions environment.
The paper presents theoretical justification and evaluation of
qualitative e-learning development model in perspective of advancing
modern technologies. There have been analyzed principles of
qualitative e-learning in higher education, productivity of studying
process using modern technologies, different kind of methods and
future perspectives of e-learning in formal education. Theoretically
grounded and practically tested model of developing e-learning
methods using different technologies for different type of classroom,
which can be used in professor-s decision making process to choose
the most effective e-learning methods has been worked out.
Abstract: Cognitive Science appeared about 40 years ago,
subsequent to the challenge of the Artificial Intelligence, as common
territory for several scientific disciplines such as: IT, mathematics,
psychology, neurology, philosophy, sociology, and linguistics. The
new born science was justified by the complexity of the problems
related to the human knowledge on one hand, and on the other by the
fact that none of the above mentioned sciences could explain alone
the mental phenomena. Based on the data supplied by the
experimental sciences such as psychology or neurology, models of
the human mind operation are built in the cognition science. These
models are implemented in computer programs and/or electronic
circuits (specific to the artificial intelligence) – cognitive systems –
whose competences and performances are compared to the human
ones, leading to the psychology and neurology data reinterpretation,
respectively to the construction of new models. During these
processes if psychology provides the experimental basis, philosophy
and mathematics provides the abstraction level utterly necessary for
the intermission of the mentioned sciences.
The ongoing general problematic of the cognitive approach
provides two important types of approach: the computational one,
starting from the idea that the mental phenomenon can be reduced to
1 and 0 type calculus operations, and the connection one that
considers the thinking products as being a result of the interaction
between all the composing (included) systems. In the field of
psychology measurements in the computational register use classical
inquiries and psychometrical tests, generally based on calculus
methods. Deeming things from both sides that are representing the
cognitive science, we can notice a gap in psychological product
measurement possibilities, regarded from the connectionist
perspective, that requires the unitary understanding of the quality –
quantity whole. In such approach measurement by calculus proves to
be inefficient. Our researches, deployed for longer than 20 years,
lead to the conclusion that measuring by forms properly fits to the
connectionism laws and principles.
Abstract: Concrete performance is strongly affected by the
particle packing degree since it determines the distribution of the
cementitious component and the interaction of mineral particles. By
using packing theory designers will be able to select optimal
aggregate materials for preparing concrete with low cement content,
which is beneficial from the point of cost. Optimum particle packing
implies minimizing porosity and thereby reducing the amount of
cement paste needed to fill the voids between the aggregate particles,
taking also the rheology of the concrete into consideration. For
reaching good fluidity superplasticizers are required. The results from
pilot tests at Luleå University of Technology (LTU) show various
forms of the proposed theoretical models, and the empirical approach
taken in the study seems to provide a safer basis for developing new,
improved packing models.
Abstract: Many difficulties are faced in the process of learning
computer programming. This paper will propose a system framework
intended to reduce cognitive load in learning programming. In first
section focus is given on the process of learning and the
shortcomings of the current approaches to learning programming.
Finally the proposed prototype is suggested along with the
justification of the prototype. In the proposed prototype the concept
map is used as visualization metaphor. Concept maps are similar to
the mental schema in long term memory and hence it can reduce
cognitive load well. In addition other method such as part code
method is also proposed in this framework to can reduce cognitive
load.
Abstract: Over 90% of the world trade is carried by the
international shipping industry. As most of the countries are
developing, seaborne trade continues to expand to bring benefits for
consumers across the world. Studies show that world trade will
increase 70-80% through shipping in the next 15-20 years. Present
global fleet of 70000 commercial ships consumes approximately 200
million tonnes of diesel fuel a year and it is expected that it will be
around 350 million tonnes a year by 2020. It will increase the
demand for fuel and also increase the concentration of CO2 in the
atmosphere. So, it-s essential to control this massive fuel
consumption and CO2 emission. The idea is to utilize a diesel-wind
hybrid system for ship propulsion. Use of wind energy by installing
modern wing-sails in ships can drastically reduce the consumption of
diesel fuel. A huge amount of wind energy is available in oceans.
Whenever wind is available the wing-sails would be deployed and
the diesel engine would be throttled down and still the same forward
speed would be maintained. Wind direction in a particular shipping
route is not same throughout; it changes depending upon the global
wind pattern which depends on the latitude. So, the wing-sail
orientation should be such that it optimizes the use of wind energy.
We have made a computer programme in which by feeding the data
regarding wind velocity, wind direction, ship-motion direction; we
can find out the best wing-sail position and fuel saving for
commercial ships. We have calculated net fuel saving in certain
international shipping routes, for instance, from Mumbai in India to
Durban in South Africa. Our estimates show that about 8.3% diesel
fuel can be saved by utilizing the wind. We are also developing an
experimental model of the ship employing airfoils (small scale wingsail)
and going to test it in National Wind Tunnel Facility in IIT
Kanpur in order to develop a control mechanism for a system of
airfoils.