- Sort by:
- Newest first
- Titles A to Z

### Filter by subject:

- Electrical and electronic engineering [90]
- Mechanical and production engineering [90]
- General topics in manufacturing and production engineering [90]
- General support functions [90]
- Engineering mathematics and numerical techniques [90]
- Algebra [90]
- General topics, engineering mathematics and materials science [89]
- Engineering mathematics and mathematical techniques [89]
- Algebra [83]
- Computer and control engineering [83]
- [69]
- http://iet.metastore.ingenta.com/content/subject/c1100,http://iet.metastore.ingenta.com/content/subject/c1110,http://iet.metastore.ingenta.com/content/subject/a,http://iet.metastore.ingenta.com/content/subject/a0000,http://iet.metastore.ingenta.com/content/subject/a0200,http://iet.metastore.ingenta.com/content/subject/c7000,http://iet.metastore.ingenta.com/content/subject/c7400,http://iet.metastore.ingenta.com/content/subject/a0210,http://iet.metastore.ingenta.com/content/subject/c7410,http://iet.metastore.ingenta.com/content/subject/b8000,http://iet.metastore.ingenta.com/content/subject/b0290,http://iet.metastore.ingenta.com/content/subject/c7410b,http://iet.metastore.ingenta.com/content/subject/e0210l,http://iet.metastore.ingenta.com/content/subject/c4000,http://iet.metastore.ingenta.com/content/subject/b8100,http://iet.metastore.ingenta.com/content/subject/c4100,http://iet.metastore.ingenta.com/content/subject/b0250,http://iet.metastore.ingenta.com/content/subject/b1000,http://iet.metastore.ingenta.com/content/subject/c1160,http://iet.metastore.ingenta.com/content/subject/e0210e,http://iet.metastore.ingenta.com/content/subject/b0290f,http://iet.metastore.ingenta.com/content/subject/b8110,http://iet.metastore.ingenta.com/content/subject/c4130,http://iet.metastore.ingenta.com/content/subject/b1100,http://iet.metastore.ingenta.com/content/subject/b1130,http://iet.metastore.ingenta.com/content/subject/b8300,http://iet.metastore.ingenta.com/content/subject/c7410d,http://iet.metastore.ingenta.com/content/subject/e1000,http://iet.metastore.ingenta.com/content/subject/b0260,http://iet.metastore.ingenta.com/content/subject/b1130b,http://iet.metastore.ingenta.com/content/subject/e0210g,http://iet.metastore.ingenta.com/content/subject/b0100,http://iet.metastore.ingenta.com/content/subject/c1180,http://iet.metastore.ingenta.com/content/subject/c3000,http://iet.metastore.ingenta.com/content/subject/c3300,http://iet.metastore.ingenta.com/content/subject/b0170,http://iet.metastore.ingenta.com/content/subject/b0240,http://iet.metastore.ingenta.com/content/subject/b1200,http://iet.metastore.ingenta.com/content/subject/b5000,http://iet.metastore.ingenta.com/content/subject/b6000,http://iet.metastore.ingenta.com/content/subject/c1140,http://iet.metastore.ingenta.com/content/subject/c1200,http://iet.metastore.ingenta.com/content/subject/c5000,http://iet.metastore.ingenta.com/content/subject/e0210j,http://iet.metastore.ingenta.com/content/subject/b0220,http://iet.metastore.ingenta.com/content/subject/b0290h,http://iet.metastore.ingenta.com/content/subject/b7000,http://iet.metastore.ingenta.com/content/subject/c5200,http://iet.metastore.ingenta.com/content/subject/e0210c,http://iet.metastore.ingenta.com/content/subject/e2000,http://iet.metastore.ingenta.com/content/subject/b0240z,http://iet.metastore.ingenta.com/content/subject/b6100,http://iet.metastore.ingenta.com/content/subject/c1140z,http://iet.metastore.ingenta.com/content/subject/c1300,http://iet.metastore.ingenta.com/content/subject/c4200,http://iet.metastore.ingenta.com/content/subject/e1600,http://iet.metastore.ingenta.com/content/subject/e2200,http://iet.metastore.ingenta.com/content/subject/a0250,http://iet.metastore.ingenta.com/content/subject/b0290t,http://iet.metastore.ingenta.com/content/subject/b2000,http://iet.metastore.ingenta.com/content/subject/b5100,http://iet.metastore.ingenta.com/content/subject/b5200,http://iet.metastore.ingenta.com/content/subject/b6140,http://iet.metastore.ingenta.com/content/subject/b8110b,http://iet.metastore.ingenta.com/content/subject/b8120,http://iet.metastore.ingenta.com/content/subject/b8310,http://iet.metastore.ingenta.com/content/subject/b8360,http://iet.metastore.ingenta.com/content/subject/c1120,http://iet.metastore.ingenta.com/content/subject/c1220,http://iet.metastore.ingenta.com/content/subject/c1310,http://iet.metastore.ingenta.com/content/subject/c3340,http://iet.metastore.ingenta.com/content/subject/c3340h,http://iet.metastore.ingenta.com/content/subject/c4140,http://iet.metastore.ingenta.com/content/subject/c4240,http://iet.metastore.ingenta.com/content/subject/c6000,http://iet.metastore.ingenta.com/content/subject/c6100,http://iet.metastore.ingenta.com/content/subject/c7420,http://iet.metastore.ingenta.com/content/subject/a0220,http://iet.metastore.ingenta.com/content/subject/a0230,http://iet.metastore.ingenta.com/content/subject/a0260,http://iet.metastore.ingenta.com/content/subject/b0170n,http://iet.metastore.ingenta.com/content/subject/b0290p,http://iet.metastore.ingenta.com/content/subject/b7200,http://iet.metastore.ingenta.com/content/subject/b8110c,http://iet.metastore.ingenta.com/content/subject/b8120c,http://iet.metastore.ingenta.com/content/subject/b8130,http://iet.metastore.ingenta.com/content/subject/b8350,http://iet.metastore.ingenta.com/content/subject/c1320,http://iet.metastore.ingenta.com/content/subject/c5290
- c1100,c1110,a,a0000,a0200,c7000,c7400,a0210,c7410,b8000,b0290,c7410b,e0210l,c4000,b8100,c4100,b0250,b1000,c1160,e0210e,b0290f,b8110,c4130,b1100,b1130,b8300,c7410d,e1000,b0260,b1130b,e0210g,b0100,c1180,c3000,c3300,b0170,b0240,b1200,b5000,b6000,c1140,c1200,c5000,e0210j,b0220,b0290h,b7000,c5200,e0210c,e2000,b0240z,b6100,c1140z,c1300,c4200,e1600,e2200,a0250,b0290t,b2000,b5100,b5200,b6140,b8110b,b8120,b8310,b8360,c1120,c1220,c1310,c3340,c3340h,c4140,c4240,c6000,c6100,c7420,a0220,a0230,a0260,b0170n,b0290p,b7200,b8110c,b8120c,b8130,b8350,c1320,c5290
- [68],[65],[38],[38],[38],[37],[37],[36],[34],[26],[21],[21],[21],[18],[16],[15],[14],[13],[13],[13],[12],[11],[11],[10],[10],[10],[10],[10],[9],[9],[9],[8],[8],[8],[8],[7],[7],[7],[7],[7],[7],[7],[7],[7],[6],[6],[6],[6],[6],[6],[5],[5],[5],[5],[5],[5],[5],[4],[4],[4],[4],[4],[4],[4],[4],[4],[4],[4],[4],[4],[4],[4],[4],[4],[4],[4],[4],[3],[3],[3],[3],[3],[3],[3],[3],[3],[3],[3],[3]
- /search/morefacet;jsessionid=3g1e0h9t32t9f.x-iet-live-01
- /content/searchconcept;jsessionid=3g1e0h9t32t9f.x-iet-live-01?option1=pub_concept&facetOptions=2+3&option2=pub_concept_facet&sortField=prism_publicationDate&pageSize=50&sortDescending=true&facetNames=pub_concept_facet+pub_concept_facet&value1=e0210a&operator2=AND&value2=b&operator3=AND&option3=pub_concept_facet&value3=
- See more See less

### Filter by content type:

### Filter by publication date:

- 1995 [6]
- 2015 [6]
- 2017 [5]
- 1996 [4]
- 1998 [4]
- 2002 [4]
- 2012 [4]
- 1997 [3]
- 2001 [3]
- 2009 [3]
- 2013 [3]
- 2014 [3]
- 2018 [3]
- 1977 [2]
- 1978 [2]
- 1983 [2]
- 1988 [2]
- 1993 [2]
- 2016 [2]
- 1982 [1]
- 1985 [1]
- 1992 [1]
- 1994 [1]
- 1999 [1]
- 2000 [1]
- 2003 [1]
- 2006 [1]
- 2010 [1]
- See more See less

### Filter by author:

- Yang Liu [3]
- Ai-Guo Wu [2]
- D. Khuong Tran [2]
- J.-S. Hong [2]
- A. Carter [1]
- A. Mahmood [1]
- A. Nacaroğlu [1]
- A. Van Londersele [1]
- A.C. Zambroni de Souza [1]
- A.M. Al-Kandari [1]
- A.M. Leite da Silva [1]
- A.R. Wood [1]
- A.R.J. Silva [1]
- Ahmed Alsaedi [1]
- Amin Nobakhti [1]
- Anlin Chen [1]
- B. Baran [1]
- B. Day [1]
- B. De Deckere [1]
- B. Sick [1]
- B.A. Fanthome [1]
- Babu Ram [1]
- Bei Chen [1]
- Biao Wang [1]
- Biao Zhang [1]
- Bin Hu [1]
- Boming Zhang [1]
- Bowen Li [1]
- C. Hong [1]
- C. Vinatoru [1]
- C.-H. Liu [1]
- C.B. Gray [1]
- C.C. Fung [1]
- C.D. Manning [1]
- C.J. Kotre [1]
- C.K. Cheung [1]
- C.M. Shen [1]
- C.M. Snowden [1]
- Chao Feng [1]
- Chao Li [1]
- Chen Renren [1]
- Chen Yushu [1]
- Cheng Tan [1]
- Chiou-Yng Lee [1]
- Chiu-Chin Wu [1]
- Chuanda Qi [1]
- Chun-Sheng Yang [1]
- Chunqi Chang [1]
- Chuxiong Hu [1]
- D. De Zutter [1]
- D. Owens [1]
- D. Romero-Romero [1]
- D. Rossiter [1]
- D. Vande Ginste [1]
- D.C. Martins [1]
- D.M. Falcao [1]
- D.Z. Fang [1]
- Daizhan Cheng [1]
- Dandan Xu [1]
- Derui Ding [1]
- Dong De-Cun [1]
- Due Phi [1]
- E. Fuchs [1]
- E. Iancu [1]
- E. Kaszkurewicz [1]
- E.W. Palmer [1]
- Fang Liu [1]
- Fei Han [1]
- Fei He [1]
- Feng Yan [1]
- Fuad Alsaadi [1]
- FuadE. Alsaadi [1]
- G. Cerri [1]
- G. Lightbody [1]
- G.-H. Yang [1]
- G.F. Ledwich [1]
- G.W. Irwin [1]
- Gook Hwa Cho [1]
- Guoliang Wei [1]
- H. Ito [1]
- H. Nagamochi [1]
- H. Wang [1]
- H.F. Wang [1]
- H.H. Zhang [1]
- Hamid-Reza Karimi [1]
- Hongwei Chen [1]
- Houshang Karimi [1]
- Huachao Liu [1]
- Huanshui Zhang [1]
- I. Chakrabarti [1]
- I.K. Proudler [1]
- I.O. Choi [1]
- I.R. Smith [1]
- J. Chen [1]
- J. Corr [1]
- J. Lobry [1]
- J. Robles-García [1]
- J. Usaola-García [1]
- J. Wang [1]
- J.A. Gómez-Hernández [1]
- See more See less

### Filter by access type:

For improved discrimination of a ballistic warhead from a decoy, a simple 3D feature vector (3DFV) is proposed that is composed of the fundamental frequency, the bandwidth, and the sinusoidal moment of the time–frequency image. Compared to two existing methods, the 3DFV was more efficient and gave results that were less sensitive to noise.

A new characterization of balanced rotation symmetric (*n*, *m*)-functions is presented. Based on the characterization, the nonexistence of balanced rotation symmetric (*p* ^{ r }, *m*)-functions is determined, where *p* is an odd prime and *m* ≥ 2. And there exist balanced rotation symmetric (2^{ r }, *m*)-functions for 2 ≤ *m* ≤ 2^{ r } − *r*. With the help of these results, we also prove that there exist rotation symmetric resilient (2^{ r }, *m*)-functions for 2 ≤ *m* ≤ 2^{ r } − *r* − 1.

In recent years, two new types of irreducible pentanomials, i.e. Type C.1 and Type C.2 pentanomials, and their associated generalised polynomials bases (GPBs) have been proposed to yield efficient bit-parallel multiplier architectures. The GPB squarer for Type C.1 pentanomial is also investigated previously. But no GPB squarer for Type C.2 pentanomial is given as these pentanomials are far more complicated. In this Letter, the authors give explicit GPB squarer formulae for all Type C.2 pentanomials by re-classifying these pentanomials into certain sub-groups, which is based on the parities of pentanomial parameters. As the main contribution of this Letter, the authors show that the GPB squarers for most Type C.2 pentanomials match the fastest results.

Using the linear representation of symmetric group in the structure vector of finite games as its representation space, the inside structures of several kinds of symmetric games are investigated. First of all, the symmetry, described as the action of symmetric group on payoff functions, is converted to the product of permutation matrices with structure vectors of payoff functions. Second, in the light of the linear representation of the symmetric group in structure vectors, the algebraic conditions for the ordinary, weighted, renaming and name-irrelevant symmetries are obtained as the invariance under the corresponding linear representations. The semi-tensor product of matrices is a fundamental tool in this approach.

Toeplitz matrix–vector product (TMVP) decomposition is an important approach for designing and implementing subquadratic multiplier. In this Letter, a symmetric matrix (SM), which is the sum of a symmetric TM and Hankel matrix, is proposed. Applying the symmetry property, 2-way, 3-way and *n*-way splitting methods of SMVP is presented. On the basis of 2-way splitting method, the recursive formula of SMVP is presented. Using the two cases *n* = 4 and 8, the SMVP decomposition approach has less space complexity than 2-way TMVP, TMVP block recombination and symmetric TMVP for even-type Gaussian normal basis multiplication.

The right and left con-Sylvester matrices for two polynomials are defined, and then the criteria for right and left coprimeness of two polynomials in the framework of conjugate product are given in terms of the determinant of the right and left con-Sylvester matrices, respectively. The results in this study can be viewed as a generalisation of the well-known Sylvester resultant criterion for coprimeness of two polynomials in the framework of ordinary product.

This study is concerned with the finite-horizon bounded synchronisation and state estimation for the discrete-time complex networks with missing measurements based on the local performance analysis. First, a new local description of the bounded synchronisation performance index is proposed, which considers only the synchronisation errors among neighbours. In addition, a more general sector-bounded condition is presented, where the parameter matrices are different for different node. Next, by establishing the vector dissipativity-like for the complex network dynamics, the synchronisation criterion is derived in term of the locally coupled conditions for each node. These conditions implemented in a cooperative manner can judge whether the complex network reaches synchronisation. Similarly, the existence conditions for the estimator on each node are obtained, and then the estimator parameters are designed via the recursive linear matrix inequalities. Notably, these conditions on each node by cooperation among neighbours can achieve the desirable performance index. The distinctive features of the authors' algorithms are low complexity, scalability, and distributed execution. At last, two numerical examples are utilised to verify the effectiveness and applicability of the proposed algorithms.

The positive fraction vector fitting (PFVF) is a special method to guarantee the passivity of rational models such as frequency-dependent network equivalents. It involves constraints that enforce each fraction of the rational model to be passive, which are much stricter than the original passive requirements. PFVF lacks theoretical foundation but works well in practise. This study explains the rationality of PFVF by revealing important features of rational models that the complex-pole fractions corresponding to dominant resonance peaks can be adjusted passive through a minor change. The numerical case corroborates the theoretical analysis.

Sequential order one negative exponential (SOONE) function is used to measure the sparsity of a two-dimensional (2D) signal. A 2D gradient projection (GP) method is developed to solve the SOONE function and thus the 2D-GP-SOONE algorithm is proposed. The algorithm can solve the sparse recovery of 2D signals directly. Theoretical analysis and simulation results show that the 2D-GP-SOONE algorithm has a better performance compared with the 2D smoothed L0 algorithm. Simulation results also show that the proposed algorithm has a better performance and requires less computation time than 2D iterative adaptive approach.

This appendix contains a short overview of the concept of vectors and linear transformations (dyadics) of vectors, and how these are represented in terms of their components. Transformations between different rotated coordinate systems are also reviewed as well as the corresponding transformation of the components of a dyadic. The appendix ends with a short overview of quaternions and their use to represent rotations.

Hierarchical scalar bases and hierarchical vector bases that span the Nédélec mixed-order spaces have been proposed for the most common two- and three-dimensional cells. These bases maintain appropriate continuity in a mesh containing multiple cell shapes. In particular, the vector bases maintain the tangential or normal continuity in the curl- or divergence-conforming case, respectively. The use of orthogonal scalar polynomials to systematically construct the basis functions is believed to offer a simpler approach for enhancing their linear independence as their polynomial order increases than the partial orthogonalization of the final vector functions. The process by which the basis functions were obtained is described in detail. Numerical results for the matrix condition numbers suggest that these hierarchical bases exhibit reasonable linear independence for large orders.

In this chapter, we consider the representation of vector functions (often referred to as “vector fields”) with low-order (constant and linear) polynomial basis functions on simple cells, such as triangles or quadrilateral cells in two dimensions or tetrahedrons and bricks in three dimensions. As will soon be apparent, there are multiple ways of defining vector basis functions, and therefore the approach requires some consideration. The proper representation of a function depends on what will be done with it-do we need to compute the curl of the function, for instance? If so, the representation might be different than if we need to compute the divergence of the function. We use the term curl conforming to denote the space of vector functions that maintain first-order tangential-vector continuity throughout the domain and can be differentiated via the curl operation, without producing unbounded or generalized functions (Dirac delta functions) in the process. The term divergence conforming is used to denote the complementary space of vector functions that maintain first-order normal-vector continuity throughout the domain and can therefore be differentiated via the divergence operation. (First order or C_{0} continuity is continuity of the function itself, but not necessarily continuity of its first derivatives.) The simple low-order polynomial vector basis functions in widespread use are either curl conforming or divergence conforming; seldom we will use functions that maintain complete continuity and belong to both the curl-conforming and divergence-conforming spaces, although it is possible to define such functions.

This paper describes an efficient implementation of a form of linear semi-infinite programming (LSIP). We look at maximizing (minimizing) a linear function over a set of constraints formed by positive trigonometric polynomials. Previous studies about LSIP are formulated using semi-definite programming (SDP), this is typically done by using the Kalman Yakubovich Popov (KYP) lemma or using a trace operation involving a Grammian matrix, which can be computationally expensive. The proposed algorithm is based on simplex method that directly solves the LSIP without any parameterization. Numerical results show that the proposed LISP algorithm is significantly more efficient than existing SDP solvers using KYP lemma and Grammian matrix, in both execution time and memory.

Given a graph G = (V, E) with a set W ⊆ V of vertices, we enumerate colorings to W such that for every two enumerated colorings c and c' the corresponding colored graphs (G, c) and (G, c') are not isomorphic. This problem has an important application in the study of isomers of chemical graphs such as generation of benzen isomers from a tree-like chemical graph structure. The number of such colorings can be computed efficiently based on Polya's theorem. However, enumerating each from the set of these colorings without using a large space is a challenging problem in general. In this paper, we propose a method for enumerating these colorings when the automorphisms of G are determined by two axial symmetries, and show that our algorithm can be implemented to run in polynomial delay and polynomial space.

Word search is a classical puzzle to search for all given words on a given assignment of letters to a rectangular grid (matrix). This problem is clearly in P. The inverse of this problem is more difficult, which asks to assign letters in a given alphabet to a matrix of given size so that every word in a given wordset can be found horizontally, vertically, or diagonally. This problem is in NP; it admits a trivial polynomial-size certificate. We prove its NP-hardness. It turns out to be so even under the following restrictions: 1) the alphabet size is 2 (binary) and 2) all the words to be found are of length at most 2. These results are optimal in the sense that decreasing these bounds 2 to 1 makes the problem be trivially in P.

Polynomial parahermitian matrices can accurately and elegantly capture the space-time covariance in broadband array problems. To factorise such matrices, a number of polynomial EVD (PEVD) algorithms have been suggested. At every step, these algorithms move various amounts of off-diagonal energy onto the diagonal, to eventually reach an approximate diagonalisation. In practical experiments, we have found that the relative performance of these algorithms depends quite significantly on the type of parahermitian matrix that is to be factorised. This paper aims to explore this performance space, and to provide some insight into the characteristics of PEVD algorithms.

This study deals with the design of a robust fault estimation and fault-tolerant control for vehicle lateral dynamics subject to external disturbance and unknown sensor faults. Firstly, a descriptor state and fault observer is designed to achieve the system state and sensor fault estimates simultaneously. Secondly, based on the information of on-line fault estimates, a robust fault-tolerant controller based on static output-feedback controller (SOFC) design approach is developed. To provide linear matrix inequalities of less conservatism, the results are conducted in the non-quadratic framework dealing with unmeasurable premise variables case. Simulation results show the effectiveness of the proposed control approach when the vehicle road adhesion conditions change and the sideslip angle is unavailable for measurement.

This study considers the pinning synchronisation in a network of coupled Lur’e dynamical systems under directed topology. By using tools from M-matrix theory, S-procedure and Lyapunov functional method, some simple pinning criteria in terms of linear matrix inequalities, whose dimensions are just determined by the size of a single Lur’e node, are derived for Lur’e networks with fixed and designed inner coupling matrices, respectively. A selective pinning scheme is proposed for a directed Lur’e network such that the network can be globally asymptotically pinned to a homogeneous state. Simulation results are provided to illustrate the effectiveness of the theoretical analysis.

We consider the computation of r-th roots in finite field-s. For the computation of square roots, there are two typical probabilistic methods: the Tonelli-Shanks method and the Cipolla-Lehmer method. The former method can be extended to the case of r-th roots, which is called the Adleman-Manders-Miller(AMM) method. The latter method had been generalized to the case of r-th roots with r prime. In this paper, we extend the Cipolla-Lehmer to the case of r-th root with r prime power and give the expected running time of our algorithm.

An approach for eigenvalue assignment in linear descriptor systems via output feedback is proposed. Sufficient conditions in order that a given set of eigenvalues is assignable are established. Parametric form of the desired output feedback gain matrix is also given. The approach assigns the full number of generalised eigenvalues, guarantees the closed-loop regularity and overcomes the defects of some previous works.

This study presents new sufficient conditions for Hurwitz and Schur stability of interval matrices. Tight bounds for the spectrum of interval matrices are estimated using computationally simple optimisation problems. The conservativeness is reduced further by application of ordinary similarity transformation. A necessary and sufficient vertex based criterion for the stability of a subclass of interval systems in continuous and discrete-time cases is also proposed. This enables the spectra for this class of interval systems to be determined exactly. A selection of various examples adopted from existing literature is used to demonstrate the utility of the proposed criteria.

Presented is a square root algorithm in _{q} which generalises Atkins's square root algorithm [see reference 6] for *q* ≡ 5 (mod 8) and Müller's algorithm [see reference 7] for *q* ≡ 9 (mod 16). The presented algorithm precomputes a primitive 2^{s}-th root of unity ξ where ** s** is the largest positive integer satisfying 2

_{s}|

*q*− 1, and is applicable for the cases when

*s*is small. The proposed algorithm requires one exponentiation for square root computation and is favourably compared with the algorithms of Atkin, Müuller and Kong

*et al.*

In the textile industry, the classfication of woven fabric is usually manual. To improve work efficiency, this paper purposes a novel approach to extract image features for woven fabric's recognition automatically. Firstly, the local binary pattern method and the gray level co-occurrence matrix are adopted to compute the fabric image features. Then, the principal component analysis is utilized to reduce the high dimensional feature data. Lastly, a support vector machine is used as a classifier to recognize the woven fabric type. The experiments show that these methods can automatically and accurately classify the plain weave fabrics, twill weave fabrics and satin weave fabrics.

This paper is concerned with the inverse eigenvalue problems for symmetric Toeplitz matrices. A kind of inverse problem for constructing a real symmetric Toeplitz matrix from the given k eigenpairs is proposed. By using the special structure of symmetric Toeplitz matrices, the Kronecker product and the vec operator of matrices, the problem is transformed into the system of linear equations. Some necessary and sufficient conditions for the solvability of the problem are given. The general solutions of the problem are presented.

This study presents a mathematical method to calculate the generating function of the specialized mechanisms in type synthesis with design constraints. First, the link permutation group is derived from a candidate kinematic chain according to the combinatorial theory. Next, according to the types of design constraints, joint, path, and adjacent (or non-adjacent) pair groups are derived from the link group respectively. Then, the generating function of these groups can be calculated mathematically based on four well defined operators and basic groups. The generating function is a polynomial to express the results of specialized mechanisms subjected to a specific design constraint. The benefit of the method is that the results of the type synthesis can be calculated directly by mathematical manner without any inspection of isomorphism.

The problem of norm invariance property of two-spin half systems is discussed in this paper. Based on the basis of tensor space, the Liouville-von Neumann equation of two-spin half systems is transformed into the coordinate differential equation by using matrices of adjoint operators of two-spin half systems. Then, norm invariance property of trajectory of the transformed coordinate differential system is established.

The study paper deals with sensor fault detection problem for a class of linear uncertain systems with bounded disturbances and non-zero constant reference inputs. The sensor faults are modelled as multi-mode, named as fault-free mode and faulty modes. A steady-state-based approach is proposed to detect the sensor faults. The steady-state-based approach can be used to detect lock-in-place sensor faults with arbitrary small magnitudes, which has not been well investigated in the literature. A convergent iterative algorithm based on linear matrix inequalities is given to obtain the solutions. A numerical example is given to illustrate the effectiveness of the proposed methods.

Vibration parameter of the train wheelset is a key technology of the estimated fault prediction and diagnosis of train. According to the nonlinear problem for the state signal of wheelset vibration diagnostic system, unscented transformation is introduced into Kaman filter. The UKF method could be applied to addresses the estimation inaccuracy of linear Kalman filter and the filtering divergence problem caused by error covariance matrix non-positive in general unscented Kalman filter. The results obtained from trail vertical irregularity simulation show that, UKF features rapid convergence, higher stability and accuracy, making it become an efficient estimation of diagnosis method for Vibration Diagnostic of train's wheelset.

A novel three-axis force sensor is presented in this paper. It uses strain gauge as sensing element for the detection of force. The elastic body is a thin cylinder on which four holes are opened evenly in two levels. There are three Wheatstone bridges on the beams to detect the force in three directions. The mathematic model of the sensor is analyzed, and strength check, stiffness design and the linearity of the sensor were studied with FEA. Finally, the transmission matrix is calculated. As indicated by the calculations and experiments, this sensor is not only of high sensitivity and adequate rigidity in the three directions, but also of fairly small cross sensitivities. (4 pages)

This part reviews complex-variable algebra.

In the application of active reflector units supporting mechanism for a large spherical radio telescope (five-hundred meter aperture spherical radio telescope: FAST), a spatial three-degree-of-freedom (DOF) parallel mechanism combining two degrees rotation and one degree translation is investigated. In this paper, the mechanism is described in detail and its inverse kinematics solutions are derived. The parasitic motion of this mechanism is analyzed, and the relationships between the parasitic motions and independent motions of the mechanism are illustrated, followed by the Jacobian matrix of the velocity equation. The distribution of conditioning index on the workspace of the mechanism is obtained. And the workspace of the mechanism is numerically generated. The analysis results prove that the parasitic motion is neglectable compared to the independent motion in this application and the mechanism can be used as the supporting mechanism of spherical radio telescope.

A methodology to optimise the reliability of a composite power system utilising an evolutionary algorithm is developed. The methodology uses optimal assignment of shunt compensation in nodes and parallel redundancy in lines with the highest participation in stationary voltage instability, subject to economic constraints. The minimum singular value (MSV) technique applying the reduced Jacobian matrix of the system is utilised to evaluate stationary voltage instability. The methodology is applied to an eastern area equivalent of the Mexican grid. Results are presented for several parameters of the evolutionary algorithm, showing evolutionary algorithms as a powerful and robust tool for the solution of complex optimisation problems.

Transient conditions such as switching operations and faults cause the generation of travelling waves on power transmission lines. Spatial current and voltage distributions on the transmission line are computed in the time domain using the state-space technique. The state-space representations of the transmission lines for short- and open-circuit faults and for various types of terminations are given. The results obtained by the method are compared with the solutions obtained in the frequency domain.

Although the full radix-4 CORDIC algorithm is efficient compared to the standard radix-2 version, the scale-factor overhead causes its improvement to be limited. In this work, an algorithm and its associated architecture have been proposed for parallel compensation of the scale factor for the radix-4 CORDIC algorithm in the rotation mode. The proposed method, which makes no prior assumptions about the elementary angles of rotation, reduces the latency from *n* to (*n*/2)+3, where *n* is the precision length in bits, at the cost of a reasonable increase in hardware complexity. The architecture presented relates to the redundant signed-digit number system. The architecture has been modelled in VHDL and simulated to establish its functional validity.

The speed of simulation of power system dynamics has been one of the topics most concerned with on-line security assessment. This paper proposes a new method for forming the constant Jacobian matrix for enhancing the speed of system simulation. By using the constant Jacobian matrix approach in system simulations, both for post-fault and fault-on duration, simulation efficiency is greatly enhanced. Techniques for speeding up the constant Jacobian matrix approach are discussed. Theoretical analysis is presented to demonstrate how the constant Jacobian matrix approach can be extended to a power system with generator controls. Simulation results with the constant Jacobian matrix approach in the 10-generator New England test system and the North China power system are compared with the results obtained by the use of commercial software BPA.

Various ray-tracing methods have been developed for wireless propagation predication. Most of them are hybrid 2D and 3D models (see Athanasiadou, G.E. and Nix, A.R., IEEE Trans. Veh. Technol., vol.49, no.4, p.1152-68, 2000; Liang, G. and Bertoni, H.L., IEEE Trans. Antennas Propagat., vol.46, no.6, p.853-63, 1998). They assume the walls are vertical, roofs and ceilings are horizontal and the ground is flat. These assumptions are not always true. This paper presents a new 3D ray-tracing method based on 3D geometry and vector calculations. Propagation path concepts of triangular reflection pyramid ray-tubes and diffraction hollow cones have been developed. This method applies to different terrains and both indoor and outdoor environments. Virtual reality (VR) is used to visualise the environments and line-of-sight (LOS) and non-LOS signal paths and allows us to verify the methods we used.

Boolean or switching equations are powerful mathematical tools for digital logic. Several problems in digital circuit design, such as automatic test pattern generation, could be efficiently solved if fast procedures for solving Boolean equations were available. Several methods for solving this class of equations have been developed, but their efficiency is a problem. A new formulation for the computation of Boolean operations based on cubic representation of Boolean functions, termed the cube set method, is presented. The solutions provided by this approach are given as a set of cubes satisfying the disjoint property. Some definitions and theorems are given to describe the method and experimental results are presented.

Obtaining the steady-state operation of a power electronic device by means of brute force computer simulation is not feasible in many practical cases. Fast steady-state algorithms that formulate the steady-state problem as a boundary problem and solve it using Newton's method have been proposed to overcome this difficulty. These algorithms are known as shooting algorithms. An extension of the shooting algorithm for piecewise linear circuits is provided. The complete Jacobian matrix that takes into account the switching instants variation is analytically derived for a state variable formulation of the steady-state problem of a piecewise linear circuit. A computer program PWiseSS based on this algorithm is used to solve a previously proposed test circuit of difficult convergence as well as to solve a realistic six-pulse converter of interest to the power electronics engineer.

The worksheet-and-test approach has proved a useful tool in improving students' basic algebra. It encourages continued practice. Advantages have been: relatively low staffing time required after initial setup; can easily be tailored to provide support for other modules; self-timed approach is popular with students; and the worksheets are useful revision material for other students. The main problem has been the necessity to bar students who already have A-level mathematics from taking the module as an easy option. (5 pages)

A direct method for frequency stability assessment of power systems is proposed in this paper, which is based on the latest Jacobian matrix of the Newton-Raphson load flow calculation. The method can directly calculate the final system frequency after the last switching without step-by-step integral, and the system frequency stability can be determined. The proposed method has been applied to the New England 68-bus system, and the results show that the method is of good accuracy and the fine prospect of online application.

In many applications neural networks use temporal information, i.e. any kind of information related to a time series. Temporal information can be either represented within a network using a dynamic network paradigm or embodied in the input features of a network. The paper presents two methods for an explicit use of temporal information in input features. A least-squares approximation of signals with orthogonal polynomials is used to infer information about trends in a signal (average, increase, curvature, etc.). Input information about the length of a time series up to a certain point in time may act as a decreasing threshold making the network more and more sensible to changes in other input features. The advantages of the two methods are demonstrated by means of a real-world application example, tool wear monitoring in turning.

Often in process control, it is necessary to use extra measurements, or so-called secondary outputs for monitoring processes. Traditionally, the selection of these outputs is based on criteria which need to be calculated scheme-by-scheme resulting in a combinatorial problem. In this work, it is shown that these secondary outputs can be selected using an efficient measure, the output effectiveness (OE) when the outputs are scaled in a special way. This method does not need any scheme-by-scheme calculation so that the combinatorial problem is avoided. Since the OE measure is dependent on output scaling, its sensitivity to this scaling is also discussed. A scaling sensitivity matrix is derived for the designer to quickly determine the effect of different choices of scaling factors on the OE measure. This information can then be used for efficient output selection. This is demonstrated on a distillation example.

In this paper, a new fault isolation method is proposed. This method is based on the inverse sensitivity analysis. The idea is to identify input command and parameter perturbations using the information provided by the output trajectory deviation and the sensitivity matrices. The estimated perturbation is then used for fault isolation and possibly system reconfiguration. The proposed fault isolation method has been applied to a simulated aircraft control system and the results confirm the effectiveness of this sensitivity analysis approach.

Local model (LM) networks are applied to the identification of the global nonlinear dynamics of a turbogenerator excitation loop. A hybrid algorithm is used to optimise the learning process. Extensive use of plant `a priori' information is used to form an initial estimate for the nonlinear interpolation regions. The resulting model was found to describe the behaviour of the nonlinear generator-exciter system over its entire operating range.

The problem of quality control of radiological systems is discussed in relation to the management and quantitative tools normally applied to it. An alternative approach is to consider the problem in terms of a control loop in which the sets of quality control measurements are compared with their previous values in the context of a numerical model of the system to produce quantitative corrections. A preliminary study of the method applied to mammographic quality control is discussed. By modelling the system with an appropriate set of simultaneous linear equations relating changes in the controlled parameters to the quality control measurements obtained, it is possible to identify quantitative changes in the controlled parameters from measured quality control data using the inverse of the model in matrix form. This method essentially encapsulates knowledge about the system in the form of the linear model. This is distinct from current work attempting to apply artificial intelligence knowledge-based techniques to the problem. (4 pages)

Sparse-matrix solution is a dominant part of execution time in simulating VLSI circuits by a detailed simulation program such as SPICE. The paper develops a parallel-block partitionable sparse-matrix-solution algorithm which exploits sparsity at the matrix block level as well as within a nonzero block. An efficient mapping scheme to assign different matrix blocks to processors is developed which maximises concurrency and minimises communication between processors. Associated reordering and efficient sparse storage schemes are also developed. Implementation of this parallel algorithm is carried out on a transputer processor array which plugs into a PC bus. The sparse matrix solver is tested on matrices generated from a transistor-level expansion of ISCAS-85 benchmark logic circuits. Good acceleration is obtained for all benchmark matrices up to the number of transputers available.

This paper outlines the method of obtaining the frequency response functions of a rotor system with strong gyroscopic effect and simulating it using MATLAB. The rotating effect causes unsymmetry in the system matrices, resulting in complexity in decoupling the mathematical models of the system for the purpose of modal analysis. A different method is therefore required, which can handle general system matrices rather than symmetrical matrices, which is normal for passive structures. In this paper the mathematical model of an overhung rotor system with two degrees of freedom is expressed. This model is then used to extract the right and left eigenvalues/vectors and subsequently the frequency response functions are extracted and simulated. MATLAB is used to carry out such simulation, since it has good capability for eigen analysis and also good graphical facility. The reflection of splitting of critical speeds of a rotating rotor on the frequency response functions are shown.

This paper presents a new parallel-in-space algorithm for power system transient stability simulations. The nonlinear differential equations are discretized by applying the trapezoidal rule and solved together with the nonlinear algebraic equations for each time step. A network partitioning scheme, which is based on the subdivision of the factorization path tree of the network matrix, is proposed to exploit the parallelism-in-space of the transient stability problem. The parallel version of the very dishonest Newton (VDHN) method, in which the parallel algorithm for solving large sparse network matrix equations is incorporated, is developed and tested on a distributed memory message passing multicomputer. Test results on a sample power system are presented to show the performance of the proposed algorithm.

Geometrical symmetry often occurs in computational electromagnetics. However, it is generally not taken into account when the excitations do not share this symmetry. A rationale is required, and group theory gives the only valuable tool for this purpose. It provides a symmetric decomposition of any problem that allows its study on a reduced part of the initial geometry. This way of treating field problems generally leads to substantial computational savings. The symmetry concept is applied in the paper to 3-D linear eddy-current analysis, where the numerical scheme used is a mixed FEM–BEM method. Detailed examples are presented to demonstrate the efficiency of the use of symmetry.

This paper presents developments made to the TLM method in the time to frequency-domain transformation of the impulse response solution. An improvement to the technique by which the three-dimensional TLM time-domain method is post-processed is presented. It is shown that the selective choice of a particular data windowing profile plays a significant role in the accuracy of the results, clarity of output response and the extraction of the S-parameters.