In a distributed system, programs interact with each other to achieve its functionality. To build a robust system, developers should care about exception handling. this paper propose a dynamic analysis method to explo...
详细信息
ISBN:
(纸本)9781538614457
In a distributed system, programs interact with each other to achieve its functionality. To build a robust system, developers should care about exception handling. this paper propose a dynamic analysis method to explore exception handling strategies of a third-party library without looking code. In result section, we explore an operation which connects to a MySQL server.
Machine learning has opened up the opportunity for understanding how the brain works. In this paper, functional magnetic resonance imaging (fMRI) data are analyzed with reduced dimension. We have carried out a perform...
详细信息
ISBN:
(纸本)9781728129723
Machine learning has opened up the opportunity for understanding how the brain works. In this paper, functional magnetic resonance imaging (fMRI) data are analyzed with reduced dimension. We have carried out a performance comparison of random projection (RP) and principal component analysis (PCA) with different number of components of fMRI data. In addition to that, six different types of machine learning algorithm have been used. In particular, the Haxby dataset is chosen for our experiment. the dataset comprises 9 classes for object recognition. 10-fold cross validation step has been employed. We have discovered that RP outperforms PCA when the former is paired with logistic regression, Gaussian Naive Bayes and linear support vector machine. the best pair for this study was found to be PCA and k-nearest neighbors. Nevertheless, each algorithm was found to have its own strengths for fMRI classification approach.
Drivers can easily be distracted by their handheld devices while they are driving and this ultimately contributed to the increase of road accidents. this work proposed a steering wheel cover that is designed using an ...
详细信息
the key to any nameless representation of syntax is how it indicates the variables we choose to use and thus, implicitly, those we discard. Standard de Bruijn representations delay discarding maximally till the leaves...
the key to any nameless representation of syntax is how it indicates the variables we choose to use and thus, implicitly, those we discard. Standard de Bruijn representations delay discarding maximally till the leaves of terms where one is chosen from the variables in scope at the expense of the rest. Consequently, introducing new but unused variables requires term traversal. this paper introduces a nameless 'co-de-Bruijn' representation which makes the opposite canonical choice, delaying discarding minimally, as near as possible to the root. It is literate Agda: dependent types make it a practical joy to express and be driven by strong intrinsic invariants which ensure that scope is aggressively whittled down to just the support of each subterm, in which every remaining variable occurs somewhere. the construction is generic, delivering a universe of syntaxes with higher-order meta variables, for which the appropriate notion of substitution is hereditary. the implementation of simultaneous substitution exploits tight scope control to avoid busywork and shift terms without traversal. Surprisingly, it is also intrinsically terminating, by structural recursion alone.
the Smith-Waterman algorithm is very sensitive but computationally intensive on general purpose CPUs. On the other hand, the FPGA has proven to be an excellent platform for accelerating the algorithm in addition to it...
详细信息
ISBN:
(纸本)9781538642337
the Smith-Waterman algorithm is very sensitive but computationally intensive on general purpose CPUs. On the other hand, the FPGA has proven to be an excellent platform for accelerating the algorithm in addition to its low cost and power consumption. this paper therefore proposes the use of the parallelism and carry-free propagation properties of Residue Number Systems (RNS) to accelerate the algorithm on an FPGA;a deviation from the usual binary/decimal implementations. Compared to the only previous known work that uses RNS for this task, our implementation is (1) the first to employ the use of Linear Systolic Arrays (LSA), (2) avoid the use of Lookup Tables, (3) has a larger dynamic range and (4) aligns long sequences. Implemented on a modest hardware and on a Kintex7 FPGA, we achieved a performance improvement of 169 times over the general-purpose processor implementation. this result was obtained using the naive implementation of LSAs, indicating the positive effects of using RNS.
functional Dependency extraction is a useful way to find inherent rules that apply in a given dataset. However, not all of such rules are exact, datasets comprised of real-world measurements can often contain rules th...
ISBN:
(数字)9781728156255
ISBN:
(纸本)9781728156262
functional Dependency extraction is a useful way to find inherent rules that apply in a given dataset. However, not all of such rules are exact, datasets comprised of real-world measurements can often contain rules that are supported by a significant portion of the dataset (so-called Approximate functional Dependencies), with only a few exceptions. Extracting such rules is also very beneficial, e.g. for estimating the achievable classification precision on a dataset. Sequential Indexing Tables (SITs) are an extended version of Lookup Tables, in which multidimensional problem space is broken down to a sequence of 1D and 2D lookup tables, where each member of the sequence forms a layer and processes the values of one given attribute. In this paper, a SIT -based dependency extractor is proposed that can be used to extract Approximate functional Dependencies from datasets.
the increase in households with grid connected Photovoltaic (PV) battery system poses challenge for the grid due to high PV feed-in as a result of mismatch in energy production and load demand. the purpose of this pap...
详细信息
ISBN:
(纸本)9789897582929
the increase in households with grid connected Photovoltaic (PV) battery system poses challenge for the grid due to high PV feed-in as a result of mismatch in energy production and load demand. the purpose of this paper is to show how a Model Predictive Control (MPC) strategy could be applied to an existing grid connected household with PV battery system such that the use of battery is maximized and at the same time peaks in PV energy and load demand are reduced. the benefits of this strategy are to allow increase in PV hosting capacity and load hosting capacity of the grid without the need for external signals from the grid operator. the paper includes the optimal control problem formulation to achieve the peak shaving goals along withthe experiment set up and preliminary experiment results. the goals of the experiment were to verify the hardware and software interface to implement the MPC and as well to verify the ability of the MPC to deal withthe weather forecast deviation. A prediction correction has also been introduced for a short time horizon of one hour within this MPC strategy to estimate the PV output power behavior.
Java language is the standard platform of Internet and network programs, and it also is the development language that students of software and other computer-related majors must masterBut its syntax and abundance of c...
Java language is the standard platform of Internet and network programs, and it also is the development language that students of software and other computer-related majors must masterBut its syntax and abundance of constructs are still difficult for beginners to learnIn this research, we introduce a method that Java can be made more accessible to beginners, and it can improve the efficiency of teaching through a lightweight java pedagogic programming environmentthis tool is implemented as a pure java application and use just standard Java classes in Java SE API.
Location accuracy of wireless sensor network relies on noise level and connection of non-line of ***,Location correcting algorithm based on semi-definite programming is proposed and it is based on edge-semi-definite p...
详细信息
Location accuracy of wireless sensor network relies on noise level and connection of non-line of ***,Location correcting algorithm based on semi-definite programming is proposed and it is based on edge-semi-definite programming;it is denoted as ESDP algorithm and it aims to increase location precision and reduce location time in severe *** algorithm is modified and robustness of ESDP algorithm in high error environment of distance measurement is increased for ESDP algorithm through quoting dithering *** algorithm handles high noise and deviation of non-line of sight through seeking low-rank *** result indicates that location precision of ESDP algorithm is better than algorithms of the same kind and calculation complexity is also reduced in environment of high noise and that most distance measurement is non-line of sight.
作者：
Abdellah BenzaouiaAhmed El HajjajiMustapha OuladsineLAEPT
University Cadi Ayyad Marrakech Morocco 7
Rue de Moulin Neuf 8000 Amiens University of Picardie Jules Vernes (UPJV) France LIS-UMR 7020
University of Paul Cezanne-Aix-Marseille Domaine Universitaire de Saint-Jerome Avenue Escadrille Normandie-Niemen 13397 Marseille Cedex 20 France
this paper studies the stability and stabilization problem of Takagi-Sugeno (T-S) fuzzy systems with time-varying delay by using linear programming (LP) technique while imposing positivity in closed-loop. New delay-de...
this paper studies the stability and stabilization problem of Takagi-Sugeno (T-S) fuzzy systems with time-varying delay by using linear programming (LP) technique while imposing positivity in closed-loop. New delay-dependent stabilization conditions are derived using a new Lyapunov-Krasovskii functional (LKF). To show the advantages of the proposed design procedure, a numerical example is studied.
暂无评论