Abstract: Leptospirosis occurs worldwide (except the
poles of the earth), urban and rural areas, developed and
developing countries, especially in Thailand. It can be
transmitted to the human by rats through direct and indirect
ways. Human can be infected by either touching the infected rats
or contacting with water, soil containing urine from the infected
rats through skin, eyes and nose. The data of the people who
are infected with this disease indicates that most of the
patients are adults. The transmission of this disease is studied
through mathematical model. The population is separated into human
and rat. The human is divided into two classes, namely juvenile
and adult. The model equation is constructed for each class. The
standard dynamical modeling method is then used for
analyzing the behaviours of solutions. In addition, the
conditions of the parameters for the disease free and endemic
states are obtained. Numerical solutions are shown to support the
theoretical predictions. The results of this study guide the way to
decrease the disease outbreak.
Abstract: This work will provide a new perspective of exploring innovation thematic. It will reveal that radical and incremental innovations are complementary during the innovation life cycle and accomplished through distinct ways of developing new products. Each new product development process will be constructed according to the nature of each innovation and the state of the product development. This paper proposes the inclusion of the organizational function areas that influence new product's development on the new product development process.
Abstract: A separation-kernel-based operating system (OS) has been designed for use in secure embedded systems by applying formal methods to the design of the separation-kernel part. The separation kernel is a small OS kernel that provides an abstract distributed environment on a single CPU. The design of the separation kernel was verified using two formal methods, the B method and the Spin model checker. A newly designed semi-formal method, the extended state transition method, was also applied. An OS comprising the separation-kernel part and additional OS services on top of the separation kernel was prototyped on the Intel IA-32 architecture. Developing and testing of a prototype embedded application, a point-of-sale application, on the prototype OS demonstrated that the proposed architecture and the use of formal methods to design its kernel part are effective for achieving a secure embedded system having a high-assurance separation kernel.
Abstract: Nagaland, the 16th state of India in order of
statehood, is situated between 25° 6' and 27° 4' latitude north and
between 93º 20' E and 95º 15' E longitude of equator in the North
Eastern part of the India. Endowed with varied topography, soil and
agro climatic conditions it is known for its potentiality to grow all
most all kinds of horticultural crops. Pineapple being grown since
long organically by default is one of the most promising crops of the
state with emphasis being laid for commercialization by the
government of Nagaland. In light of commercialization, globalization
and scope of setting small-scale industries, a research study was
undertaken to examine the socio-economic and personal
characteristics, entrepreneurial characteristics and attitude of the
pineapple growers towards improved package of practices of
pineapple cultivation. The study was conducted in Medziphema
block of Dimapur district of the Nagaland state of India following ex
post facto research design. Ninety pineapple growers were selected
from four different villages of Medziphema block based on
proportionate random selection procedure. Findings of the study
revealed that majority of the respondents had medium level of
entrepreneurial characteristics in terms of knowledge level, risk
orientation, self confidence, management orientation, farm decision
making ability and leadership ability and most of them had
favourable attitude towards improved package of practices of
pineapple cultivation. The variables age, education, farm size, risk
orientation, management orientation and sources of information
utilized were found important to influence the attitude of the
respondents. The study revealed that favourable attitude and
entrepreneurial characteristics of the pineapple cultivators might be
harnessed for increased production of pineapple in the state thereby
bringing socio economic upliftment of the marginal and small-scale
farmers.
Abstract: The available data on the cross sections of electronimpact
excitation of krypton 5s and 5p configuration levels out of the
ground state are represented in convenient and compact form. The
results are obtained by regression through all known published data
related to this process.
Abstract: Support vector regression (SVR) has been regarded
as a state-of-the-art method for approximation and regression. The
importance of kernel function, which is so-called admissible support
vector kernel (SV kernel) in SVR, has motivated many studies
on its composition. The Gaussian kernel (RBF) is regarded as a
“best" choice of SV kernel used by non-expert in SVR, whereas
there is no evidence, except for its superior performance on some
practical applications, to prove the statement. Its well-known that
reproducing kernel (R.K) is also a SV kernel which possesses many
important properties, e.g. positive definiteness, reproducing property
and composing complex R.K by simpler ones. However, there are a
limited number of R.Ks with explicit forms and consequently few
quantitative comparison studies in practice. In this paper, two R.Ks,
i.e. SV kernels, composed by the sum and product of a translation
invariant kernel in a Sobolev space are proposed. An exploratory
study on the performance of SVR based general R.K is presented
through a systematic comparison to that of RBF using multiple
criteria and synthetic problems. The results show that the R.K is
an equivalent or even better SV kernel than RBF for the problems
with more input variables (more than 5, especially more than 10) and
higher nonlinearity.
Abstract: Describes the current situation of educational Robotics
"the State of the art" its concept, its evolution their niches of
opportunity, academic and business and the importance of education
and academic outreach. It shows that the development of high-tech
automated educational materials influence the teaching-learning
process and that communication between machines and humans is a
reality.
Abstract: In the paper it is questioned whether effective state
social policy provides happiness and social progress. For this purpose
selected correlations between Human Development Index (HDI),
share of public social expenditures in GDP, the Happy Planet Index
(HPI), GDP per capita, and Government Effectiveness are examined
and the results are graphically presented. It is shown how a
government can affect well-being and happiness in different countries
of modern world. Also, it is tested the hypothesis about existence of a
certain optimum of well-being and public social expenditures, which
affect direction of social progress. It is concluded that efficient social
policy and wealth are not the only factors determining human
happiness.
Abstract: Majority of researches conducted on Iranian urban
development plans indicate that they have been almost unsuccessful
in terms of draft, execution and goal achievement. Lack or shortage
of essential statistics and information can be listed as an important
reason of the failure of these plans. Lack of figures and information
has turned into an obvious part of the country-s statistics officials.
This problem has made urban planner themselves to embark on
physical surveys including real estate and land pricing, population
and economic census of the city. Apart from the problems facing
urban developers, the possibility of errors is high in such surveys.
In the present article, applying the interview technique, it has
been mentioned that utilizing multipurpose cadastre system as a land
information system is essential for urban development plans in Iran.
It can minimize or even remove the failures facing urban
development plans.
Abstract: This paper will discuss about an active power generator scheduling method in order to increase the limit level of steady state systems. Some power generator optimization methods such as Langrange, PLN (Indonesian electricity company) Operation, and the proposed Z-Thevenin-based method will be studied and compared in respect of their steady state aspects. A method proposed in this paper is built upon the thevenin equivalent impedance values between each load respected to each generator. The steady state stability index obtained with the REI DIMO method. This research will review the 500kV-Jawa-Bali interconnection system. The simulation results show that the proposed method has the highest limit level of steady state stability compared to other optimization techniques such as Lagrange, and PLN operation. Thus, the proposed method can be used to create the steady state stability limit of the system especially in the peak load condition.
Abstract: In this paper we discuss the problems of the long-term management policy of Lake Peipsi and the roles of natural and anthropogenic factors in the ecological state of the lake. The reduction of the pollution during the last 15 years could not give significant changes of the chemical composition of the water, what implicates the essential role that natural factors have on the ecological state of lake. One of the most important factors having impact on the hydrochemical cycles and ecological state is the hydrological regime which is clearly expressed in L. Peipsi. The absence on clear interrelations of climate cycles and nutrients suggest that complex abiotic and biotic interactions, which take place in the lake ecosystem, plays a significant role in the matter circulation mechanism within lake.
Abstract: During the last couple of years, the degree of dependence on IT systems has reached a dimension nobody imagined to be possible 10 years ago. The increased usage of mobile devices (e.g., smart phones), wireless sensor networks and embedded devices (Internet of Things) are only some examples of the dependency of modern societies on cyber space. At the same time, the complexity of IT applications, e.g., because of the increasing use of cloud computing, is rising continuously. Along with this, the threats to IT security have increased both quantitatively and qualitatively, as recent examples like STUXNET or the supposed cyber attack on Illinois water system are proofing impressively. Once isolated control systems are nowadays often publicly available - a fact that has never been intended by the developers. Threats to IT systems don’t care about areas of responsibility. Especially with regard to Cyber Warfare, IT threats are no longer limited to company or industry boundaries, administrative jurisdictions or state boundaries. One of the important countermeasures is increased cooperation among the participants especially in the field of Cyber Defence. Besides political and legal challenges, there are technical ones as well. A better, at least partially automated exchange of information is essential to (i) enable sophisticated situational awareness and to (ii) counter the attacker in a coordinated way. Therefore, this publication performs an evaluation of state of the art Intrusion Detection Message Exchange protocols in order to guarantee a secure information exchange between different entities.
Abstract: The UML modeling of complex distributed systems often is a great challenge due to the large amount of parallel real-time operating components. In this paper the problems of verification of such systems are discussed. ECPN, an Extended Colored Petri Net is defined to formally describe state transitions of components and interactions among components. The relationship between sequence diagrams and Free Choice Petri Nets is investigated. Free Choice Petri Net theory helps verifying the liveness of sequence diagrams. By converting sequence diagrams to ECPNs and then comparing behaviors of sequence diagram ECPNs and statecharts, the consistency among models is analyzed. Finally, a verification process for an example model is demonstrated.
Abstract: A methodology to design a nonlinear observer in a
bond graph approach is proposed. The class of nonlinear observer
with multivariable nonlinearities is considered. A junction structure
of the bond graph observer is proposed. The proposed methodology
to an electrical transformer and a DC motor including the nonlinear
saturation is applied. Nonlinear observers for the transformer and DC
motor based on multivariable circle criterion in the physical domain
are proposed. In order to show the saturation effects on the
transformer and DC motor, simulation results are obtained. Finally,
the paper describes that convergence of the estimates to the true
states is achieved.
Abstract: Inadequate curriculum for software engineering is considered to be one of the most common software risks. A number of solutions, on improving Software Engineering Education (SEE) have been reported in literature but there is a need to collectively present these solutions at one place. We have performed a mapping study to present a broad view of literature; published on improving the current state of SEE. Our aim is to give academicians, practitioners and researchers an international view of the current state of SEE. Our study has identified 70 primary studies that met our selection criteria, which we further classified and categorized in a well-defined Software Engineering educational framework. We found that the most researched category within the SE educational framework is Innovative Teaching Methods whereas the least amount of research was found in Student Learning and Assessment category. Our future work is to conduct a Systematic Literature Review on SEE.
Abstract: In this paper, we use an M/G/C/C state dependent
queuing model within a complex network topology to determine the
different performance measures for pedestrian traffic flow. The
occupants in this network topology need to go through some source
corridors, from which they can choose their suitable exiting
corridors. The performance measures were calculated using arrival
rates that maximize the throughputs of source corridors. In order to
increase the throughput of the network, the result indicates that the
flow direction of pedestrian through the corridors has to be restricted
and the arrival rates to the source corridor need to be controlled.
Abstract: This paper analyses the unsteady, two-dimensional
stagnation point flow of an incompressible viscous fluid over a flat
sheet when the flow is started impulsively from rest and at the same
time, the sheet is suddenly stretched in its own plane with a velocity
proportional to the distance from the stagnation point. The partial
differential equations governing the laminar boundary layer forced
convection flow are non-dimensionalised using semi-similar
transformations and then solved numerically using an implicit finitedifference
scheme known as the Keller-box method. Results
pertaining to the flow and heat transfer characteristics are computed
for all dimensionless time, uniformly valid in the whole spatial region
without any numerical difficulties. Analytical solutions are also
obtained for both small and large times, respectively representing the
initial unsteady and final steady state flow and heat transfer.
Numerical results indicate that the velocity ratio parameter is found
to have a significant effect on skin friction and heat transfer rate at
the surface. Furthermore, it is exposed that there is a smooth
transition from the initial unsteady state flow (small time solution) to
the final steady state (large time solution).
Abstract: High-frequency (HF) communications have been used by military organizations for more than 90 years. The opportunity of very long range communications without the need for advanced equipment makes HF a convenient and inexpensive alternative of satellite communications. Besides the advantages, voice and data transmission over HF is a challenging task, because the HF channel generally suffers from Doppler shift and spread, multi-path, cochannel interference, and many other sources of noise. In constructing an HF data modem, all these effects must be taken into account. STANAG 4539 is a NATO standard for high-speed data transmission over HF. It allows data rates up to 12800 bps over an HF channel of 3 kHz. In this work, an efficient implementation of STANAG 4539 on a single Texas Instruments- TMS320C6747 DSP chip is described. The state-of-the-art algorithms used in the receiver and the efficiency of the implementation enables real-time high-speed data / digitized voice transmission over poor HF channels.
Abstract: Liposomal magnetofection is a simple, highly efficient
technology for cell transfection, demonstrating better outcome than a
number of other common gene delivery methods. However,
aggregate complexes distribution over the cell surface is non-uniform
due to the gradient of the permanent magnetic field. The aim of this
study was to estimate the efficiency of liposomal magnetofection for
prostate carcinoma PC3 cell line using newly designed device,
“DynaFECTOR", ensuring magnetofection in a dynamic gradient
magnetic field. Liposomal magnetofection in a dynamic gradient
magnetic field demonstrated the highest transfection efficiency for
PC3 cells – it increased for 21% in comparison with liposomal
magnetofection and for 42% in comparison with lipofection alone.
The optimal incubation time under dynamic magnetic field for PC3
cell line was 5 minutes and the optimal rotation frequency of
magnets – 5 rpm. The new approach also revealed lower cytotoxic
effect to cells than liposomal magnetofection.
Abstract: In CMOS integrated circuit design there is a trade-off between static power consumption and technology scaling. Recently, the power density has increased due to combination of higher clock speeds, greater functional integration, and smaller process geometries. As a result static power consumption is becoming more dominant. This is a challenge for the circuit designers. However, the designers do have a few methods which they can use to reduce this static power consumption. But all of these methods have some drawbacks. In order to achieve lower static power consumption, one has to sacrifice design area and circuit performance. In this paper, we propose a new method to reduce static power in the CMOS VLSI circuit using Variable Body Biasing technique without being penalized in area requirement and circuit performance.