Abstract: The intrusion detection problem has been frequently studied, but intrusion detection methods are often based on a single point of view, which always limits the results. In this paper, we introduce a new intrusion detection model based on the combination of different current methods. First we use a notion of distance to unify the different methods. Second we combine these methods using the Pearson correlation coefficients, which measure the relationship between two methods, and we obtain a combined distance. If the combined distance is greater than a predetermined threshold, an intrusion is detected. We have implemented and tested the combination model with two different public data sets: the data set of masquerade detection collected by Schonlau & al., and the data set of program behaviors from the University of New Mexico. The results of the experiments prove that the combination model has better performances.
Abstract: In this article, a mathematical programming model
for choosing an optimum portfolio of investments is developed.
The investments are considered as investment projects. The
uncertainties of the real world are associated through fuzzy
concepts for coefficients of the proposed model (i. e. initial
investment costs, profits, resource requirement, and total available
budget). Model has been coded by using LINGO 11.0 solver. The
results of a full analysis of optimistic and pessimistic derivative
models are promising for selecting an optimum portfolio of
projects in presence of uncertainty.
Abstract: One major difficulty that faces developers of
concurrent and distributed software is analysis for concurrency based
faults like deadlocks. Petri nets are used extensively in the
verification of correctness of concurrent programs. ECATNets [2] are
a category of algebraic Petri nets based on a sound combination of
algebraic abstract types and high-level Petri nets. ECATNets have
'sound' and 'complete' semantics because of their integration in
rewriting logic [12] and its programming language Maude [13].
Rewriting logic is considered as one of very powerful logics in terms
of description, verification and programming of concurrent systems.
We proposed in [4] a method for translating Ada-95 tasking
programs to ECATNets formalism (Ada-ECATNet). In this paper,
we show that ECATNets formalism provides a more compact
translation for Ada programs compared to the other approaches based
on simple Petri nets or Colored Petri nets (CPNs). Such translation
doesn-t reduce only the size of program, but reduces also the number
of program states. We show also, how this compact Ada-ECATNet
may be reduced again by applying reduction rules on it. This double
reduction of Ada-ECATNet permits a considerable minimization of
the memory space and run time of corresponding Maude program.
Abstract: In this article, the design of a Supply Chain Network
(SCN) consisting of several suppliers, production plants, distribution
centers and retailers, is considered. Demands of retailers are
considered stochastic parameters, so we generate amounts of data via
simulation to extract a few demand scenarios. Then a mixed integer
two-stage programming model is developed to optimize
simultaneously two objectives: (1) minimization the fixed and
variable cost, (2) maximization the service level. A weighting method
is utilized to solve this two objective problem and a numerical
example is made to show the performance of the model.
Abstract: In this paper, a new method of controlling position of AC Servomotor using Field Programmable Gate Array (FPGA). FPGA controller is used to generate direction and the number of pulses required to rotate for a given angle. Pulses are sent as a square wave, the number of pulses determines the angle of rotation and frequency of square wave determines the speed of rotation. The proposed control scheme has been realized using XILINX FPGA SPARTAN XC3S400 and tested using MUMA012PIS model Alternating Current (AC) servomotor. Experimental results show that the position of the AC Servo motor can be controlled effectively. KeywordsAlternating Current (AC), Field Programmable Gate Array (FPGA), Liquid Crystal Display (LCD).
Abstract: Investigations of the unimolecular decomposition of
vinyl ethyl ether (VEE), vinyl propyl ether (VPE) and vinyl butyl
ether (VBE) have shown that activation of the molecule of a ether
results in formation of a cyclic construction - the transition state (TS),
which may lead to the displacement of the thermodynamic
equilibrium towards the reaction products. The TS is obtained by
applying energy minimization relative to the ground state of an ether
under the program MM2 when taking into account the hydrogen bond
formation between a hydrogen atom of alkyl residue and the extreme
atom of carbon of the vinyl group. The dissociation of TS up to the
products is studied by energy minimization procedure using the
mathematical program Gaussian. The obtained calculation data for
VEE testify that the decomposition of this ether may be conditioned
by hydrogen bond formation for two possible versions: when α- or β-
hydrogen atoms of the ethyl group are bound to carbon atom of the
vinyl group. Applying the same calculation methods to other ethers
(VPE and VBE) it is shown that only in the case of hydrogen bonding
between α-hydrogen atom of the alkyl residue and the extreme atom
of carbon of the vinyl group (αH---C) results in decay of theses
ethers.
Abstract: Air conditioning is mainly to be used as human
comfort medium. It has been use more often in country in which the
daily temperatures are high. In scientific, air conditioning is defined
as a process of controlling the moisture, cooling, heating and cleaning
air. Without proper estimation of cooling load, big amount of waste
energy been used because of unsuitable of air conditioning system are
not considering to overcoming heat gains from surrounding. This is
due to the size of the room is too big and the air conditioning has to
use more energy to cool the room and the air conditioning is too
small for the room. The studies are basically to develop a program to
calculate cooling load. Through this study it is easy to calculate
cooling load estimation. Furthermore it-s help to compare the cooling
load estimation by hourly and yearly. Base on the last study that been
done, the developed software are not user-friendly. For individual
without proper knowledge of calculating cooling load estimation
might be problem. Easy excess and user-friendly should be the main
objective to design something. This program will allow cooling load
able be estimate by any users rather than estimation by using rule of
thumb. Several of limitation of case study is judged to sure it-s
meeting to Malaysia building specification. Finally validation is done
by comparison manual calculation and by developed program.
Abstract: In the article there have been revealed the properties
of designing the research teaching the military masters and in the context it has been offered the program of mastering by the masters
military men the methodology of research work, in the course of practical teaching activity there has been considered the developed
and approbated model of organization of the process of mastering by the masters the methodology of research work. As a whole, the research direction of master preparation leaves its
sign to the content of education, forms of organization of educational
process, scientific work of masters. In this connection the offered in
the article properties of organization of research teaching and a model
of organization of mastering by the masters military men the methodology of research work can be taken into account when
designing the content of master preparation.
Abstract: In this era of technology, fueled by the pervasive usage of the internet, security is a prime concern. The number of new attacks by the so-called “bots", which are automated programs, is increasing at an alarming rate. They are most likely to attack online registration systems. Technology, called “CAPTCHA" (Completely Automated Public Turing test to tell Computers and Humans Apart) do exist, which can differentiate between automated programs and humans and prevent replay attacks. Traditionally CAPTCHA-s have been implemented with the challenge involved in recognizing textual images and reproducing the same. We propose an approach where the visual challenge has to be read out from which randomly selected keywords are used to verify the correctness of spoken text and in turn detect the presence of human. This is supplemented with a speaker recognition system which can identify the speaker also. Thus, this framework fulfills both the objectives – it can determine whether the user is a human or not and if it is a human, it can verify its identity.
Abstract: Our study is concerned with the development of an Emergency Medical Services (EMS) ambulance location and allocation model called the Time-based Ambulance Zoning Optimization Model (TAZ_OPT). This paper presents the framework of the study. The model is formulated using the goal programming (GP), where the goals are to determine the satellite locations of ambulances and the number of ambulances to be allocated at these locations. The model aims at maximizing the expected demand coverage based on probability of reaching the emergency location within targetted time, and minimizing the ambulance busyness likelihood value. Among the benefits of the model is the increased accessibility and availability of ambulances, thus, enhanced quality of the EMS ambulance services.
Abstract: The main purpose of this study was to establish Professional Competency Contents for International Marketer in Taiwan. To establish these contents a set of interviews with international marketing managers and three rounds of Delphi Technique surveys were employed. Five international marketing managers were interviewed for discussions on definitions, framework, and items of international marketing competency. A questionnaire for the " Delphi Technique Survey " was developed based on the results acquired from the interviews. The resulting questionnaire was distributed to another group of 30 international marketer of trading companies in Taiwan. After three rounds of Delphi Technique Survey with these participants, the "Contents of Professional Competency for International Marketer " was established. Five dimensions and thirty indicators were identified. It is hoped that the proposed contents could be served as a self-evaluation tool for international marketer as well as the basis for staffing and training programs for international marketer in Taiwan.
Abstract: This paper presents the experimental results of the
investigation of various properties related to the durability and longterm
performance of mortars made of Fly Ash blended cement, FA
and Ordinary Portland cement, OPC. The properties that were
investigated in an experimental program include; equilibration of
specimen in different relative humidity, determination of total
porosity, compressive strength, chloride permeability index, and
electrical resistivity. Fly Ash blended cement mortar specimens
exhibited 10% to 15% lower porosity when measured at equilibrium
conditions in different relative humidities as compared to the
specimens made of OPC mortar, which resulted in 6% to 8% higher
compressive strength of FA blended cement mortar specimens. The
effects of ambient relative humidity during sample equilibration on
porosity and strength development were also studied. For specimens
equilibrated in higher relative humidity conditions, such as 75%, the
total porosity of different mortar specimens was between 35% to 50%
less than the porosity of samples equilibrated in 12% relative
humidity, consequently leading to higher compressive strengths of
these specimens.A valid statistical correlation between values of
compressive strength, porosity and the degree of saturation was
obtained. Measured values of chloride permeability index of fly ash
blended cement mortar were obtained as one fourth to one sixth of
those measured for OPC mortar specimens, which indicates high
resistance against chloride ion penetration in FA blended cement
specimens, hence resulting in a highly durable mortar.
Abstract: The paper suggests for the first time the use of dynamic programming techniques for optimal risk reduction in the railway industry. It is shown that by using the concept ‘amount of removed risk by a risk reduction option’, the problem related to optimal allocation of a fixed budget to achieve a maximum risk reduction in the railway industry can be reduced to an optimisation problem from dynamic programming. For n risk reduction options and size of the available risk reduction budget B (expressed as integer number), the worst-case running time of the proposed algorithm is O (n x (B+1)), which makes the proposed method a very efficient tool
for solving the optimal risk reduction problem in the railway industry.
Abstract: Calcium [Ca2+] is an important second messenger
which plays an important role in signal transduction. There are
several parameters that affect its concentration profile like buffer
source etc. The effect of stationary immobile buffer on Ca2+
concentration has been incorporated which is a very important
parameter needed to be taken into account in order to make the
model more realistic. Interdependence of all the important parameters
like diffusion coefficient and influx over [Ca2+] profile has been
studied. Model is developed in the form of advection diffusion
equation together with buffer concentration. A program has been
developed using finite volume method for the entire problem and
simulated on an AMD-Turion 32-bit machine to compute the
numerical results.
Abstract: In this study, we sought to investigate the mercury
removal efficiency of manganese oxides from natural gas. The
fundamental studies on mercury removal with manganese oxides
sorbents were carried out in a laboratory scale fixed bed reactor at 30
°C with a mixture of methane (20%) and nitrogen gas laden with 4.8
ppb of elemental mercury. Manganese oxides with varying surface
area and crystalline phase were prepared by conventional precipitation
method in this study. The effects of surface area, crystallinity and
other metal oxides on mercury removal efficiency were investigated.
Effect of Ag impregnation on mercury removal efficiency was also
investigated. Ag supported on metal oxide such titania and zirconia as
reference materials were also used in this study for comparison. The
characteristics of mercury removal reaction with manganese oxide
was investigated using a temperature programmed desorption (TPD)
technique.
Manganese oxides showed very high Hg removal activity (about
73-93% Hg removal) for first time use. Surface area of the manganese
oxide samples decreased after heat-treatment and resulted in complete
loss of Hg removal ability for repeated use after Hg desorption in the
case of amorphous MnO2, and 75% loss of the initial Hg removal
activity for the crystalline MnO2. Mercury desorption efficiency of
crystalline MnO2 was very low (37%) for first time use and high (98%)
after second time use. Residual potassium content in MnO2 may have
some effect on the thermal stability of the adsorbed Hg species.
Desorption of Hg from manganese oxides occurs at much higher
temperatures (with a peak at 400 °C) than Ag/TiO2 or Ag/ZrO2.
Mercury may be captured on manganese oxides in the form of mercury
manganese oxide.
Abstract: Markov games can be effectively used to design
controllers for nonlinear systems. The paper presents two novel
controller design algorithms by incorporating ideas from gametheory
literature that address safety and consistency issues of the
'learned' control strategy. A more widely used approach for
controller design is the H∞ optimal control, which suffers from high
computational demand and at times, may be infeasible. We generate
an optimal control policy for the agent (controller) via a simple
Linear Program enabling the controller to learn about the unknown
environment. The controller is facing an unknown environment and
in our formulation this environment corresponds to the behavior rules
of the noise modeled as the opponent. Proposed approaches aim to
achieve 'safe-consistent' and 'safe-universally consistent' controller
behavior by hybridizing 'min-max', 'fictitious play' and 'cautious
fictitious play' approaches drawn from game theory. We empirically
evaluate the approaches on a simulated Inverted Pendulum swing-up
task and compare its performance against standard Q learning.
Abstract: This paper presents the system identification by
physical-s law method and designs the controller for the Azimuth
Angle Control of the Platform of the Multi-Launcher Rocket System
(MLRS) by Root Locus technique. The plant mathematical model
was approximated using MATLAB for simulation and analyze the
system. The controller proposes the implementation of PID
Controller using Programmable Logic Control (PLC) for control the
plant. PID Controllers are widely applicable in industrial sectors and
can be set up easily and operate optimally for enhanced productivity,
improved quality and reduce maintenance requirement. The results
from simulation and experiments show that the proposed a PID
Controller to control the elevation angle that has superior control
performance by the setting time less than 12 sec, the rise time less
than 1.6 sec., and zero steady state. Furthermore, the system has a
high over shoot that will be continue development.
Abstract: This paper introduces a mixed integer programming model to find the optimum development plan for port Anzali. The model minimizes total system costs taking into account both port infrastructure costs and shipping costs. Due to the multipurpose function of the port, the model consists of 1020 decision variables and 2490 constraints. Results of the model determine the optimum number of berths that should be constructed in each period and for each type of cargo. In addition to, the results of sensitivity analysis on port operation quantity provide useful information for managers to choose the best scenario for port planning with the lowest investment risks. Despite all limitations-due to data availability-the model offers a straightforward decision tools to port planners aspiring to achieve optimum port planning steps.
Abstract: The aim of our research was to evaluate the effects of
physical exercise on lipid profile and anthropometric characteristics
in young subjects, diagnosed with metabolic syndrome (MS). The
study has been developed during 28 weeks on 20 young obese
patients which have undertaken an intermittent submaximal exercise
program. After 28 weeks of physical activity, the results show
significant effects on anthropometric characteristics and serum lipid
profile of research subjects. Additionally, the results of this study
confirms the major correlation between the variations of
intraabdominal adiposity, determined ultrasonographycally,
and the changes of serum lipid concentrations, a better
correlation than it is used abdominal circumference or body
weight index.
Abstract: The concept of the new government should focus on
forming a new relationship between public servants and citizens of
the state, formed on the principles of transparency, accountability,
protection of citizens' rights. These principles are laid down in the
problem of administrative reform in the Republic of Kazakhstan.
Also, this wish arises, contributing to the improvement of the system
of political management in our country. For the full realization of the
goals is necessary to develop a special state program designed to
improve the regulatory framework for public service, improving
training, retraining and advanced training of civil servants, forming a
system of incentives in public service and other activities aimed at
achieving the efficiency of the entire system government.