Software is everywhere. However, software is not always trustworthy. Confronting the demand of software trustworthiness evaluation, this paper proposes a novel software trustworthiness evaluation approach based on combination weights (CW) and improved TOPSIS methods. The determination of CW relies on exper gments and mathematical computation together. FAHP method is used to determine the import...

IRRA (IR-Ra) group participated in the 2012 Web track, with a system implementing a non-parametric term weighting method based on measuring the divergence from independence (DFI). This is the third year of participation for IRRA group, following the participations in TREC 2009 and 2010 Web tracks. In this year, the aim is to evaluate a new DFI-based term weighting model developed on the basis o...

One way to design a local search algorithm that is effective on many types of instances is allowing this algorithm to switch among heuristics. In this paper, we refer to the way in which non-weighting algorithm adaptGWSAT+ selects a variable to flip, as heuristic adaptGWSAT+, the way in which clause weighting algorithm RSAPS selects a variable to flip, as heuristic RSAPS, and the way in which v...

According to the Statistical Yearbook of China's sports undertakings and the related Statistical Yearbook, as well as related indicators Construction principles, the sustainable development evaluation index system of China's sports is constructed. This essay uses entropy coefficient method to research on the weight of every subsystem and indicator in the Sports sustainable development and find ...

This paper studies a Non-convex State-dependent Linear Quadratic Regulator (NSLQR) problem, in which the control penalty weighting matrix [Formula: see text] in the performance index is state-dependent. A necessary and sufficient condition for the optimal solution is established with a rigorous proof by Euler-Lagrange Equation. It is found that the optimal solution of the NSLQR problem can be o...

BACKGROUND Inefficient central processing and integration of visual, vestibular, and somatosensory information may contribute to poor balance and diminished postural control in children with fetal alcohol spectrum disorders (FASD). OBJECTIVES This pilot study examined sensorimotor performance and the sensory control of balance using a battery of clinical tests in combination with an experimen...

Two previous experiments demonstrated that f0 and duration are interdependent in the perception of rhythmic groups in speech and sentence rhythmicality, and that the relative weighting of tonal and durational cues depends on listeners' native language. The listeners were native speakers of Swiss German, Swiss French, or Metropolitan French (i.e. from France). The experiment reported here invest...

This paper presents a new strategy for behavior-based navigation of field mobile robots on challenging terrain, using a fuzzy logic approach and a novel measure of terrain traversability. A key feature of the proposed approach is real-time assessment of terrain characteristics and incorporation of this information in the robot navigation strategy. Three terrain characteristics that strongly aff...

Linear Quadratic Regulator (LQR) is an optimal multivariable feedback control approach that minimizes the excursion in state trajectories of a system while requiring minimum controller effort. The behaviour of a LQR controller is determined by two parameters: state and control weighting matrices. These two matrices are main design parameters to be selected by designer and greatly influence the ...

Supervised term weighting could improve the performance of text categorization. A way proven to be effective is to give more weight to terms with more imbalanced distributions across categories. This paper shows that supervised term weighting should not just assign large weights to imbalanced terms, but should also control the trade-off between over-weighting and under-weighting. Overweighting,...