The structure of canalizing functions

The structure of a canalizing function is discussed. Using a new matrix product, namely semitensor product, the logical function is expressed in its matrix form. From its matrix expression, a criterion is obtained to test whether a logical function is a canalizing function. Then a formula is obtained to calculate the number of canalizing functions. Moreover, an algorithm is presented to generate canalizing functions. Finally, some results obtained are extended to seminested canalizing functions.     

Development of a sequential robust–tolerance design model for a destructive quality characteristic

Robust design (RD) and tolerance design (TD) have received much attention from researchers and practitioners for more than two decades, and a number of methodologies for modeling and optimizing the RD and TD processes have been studied. However, there is ample room for improvement. Because most existing research considers RD and TD as separate research fields, the primary objective of this paper is to develop a sequential robust–tolerance design method to jointly determine the best factor settings and the closed-form solutions for the optimal specification limits. We then apply the proposed method to a destructive quality characteristic. Finally, a case study and sensitivity analyses are performed for verification purposes, and further studies are discussed.     

Numerical method using cubic B-spline for the heat and wave equation

In the present paper, the cubic B-splines method is considered for solving one-dimensional heat and wave equations. A typical finite difference approach had been used to discretize the time derivative while the cubic B-spline is applied as an interpolation function in the space dimension. The accuracy of the method for both equations is discussed. The efficiency of the method is illustrated by some test problems. The numerical results are found to be in good agreement with the exact solution.     

Fault tolerant machine learning for nanoscale cognitive radio

We introduce a machine learning-based classifier that identifies free radio channels for cognitive radio. The architecture is designed for nanoscale implementation, under nanoscale implementation constraints; we do not describe all physical details but believe future physical implementation to be feasible. The system uses analog computation and consists of cyclostationary feature extraction and a radial basis function network for classification. We describe a model for nanoscale faults in the system, and simulate experimental performance and fault tolerance in recognizing WLAN signals, under different levels of noise and computational errors. The system performs well under expected non-ideal manufacturing and operating conditions.     

A systematic approach to improve multiple Lyapunov function stability and stabilization conditions for fuzzy systems

This paper presents a systematic approach for decreasing conservativeness in stability analysis and control design for Takagi-Sugeno (TS) systems. This approach is based on the idea of multiple Lyapunov functions together with simple techniques for introducing slack matrices. Unlike some previous approaches based on multiple Lyapunov functions, both the stability and the stabilization conditions are written as linear matrix inequality (LMI) problems. The proposed approach reduces the number of inequalities and guarantees extra degrees of freedom to the LMI problems. Numeric examples illustrate the effectiveness of this method.     

Stability analysis of discrete-time switched systems: a switched homogeneous Lyapunov function method

This paper addresses the stability issue of discrete-time switched systems with guaranteed dwell-time. The approach of switched homogeneous Lyapunov function of higher order is formally proposed. By means of this approach, a necessary and sufficient condition is established to check the exponential stability of the considered system. With the observation that switching signal is actually arbitrary if the dwell time is one sample time, a necessary and sufficient condition is also presented to verify the exponential stability of switched systems under arbitrary switching signals. Using the augmented argument, a necessary and sufficient exponential stability criterion is given for discrete-time switched systems with delays. A numerical example is provided to show the advantages of the theoretical results.     

基于平行截面上轮廓之间重构问题的研究

研究了基于平行截面上两多边形轮廓重构的基本问题,给出了利用体积最大化作为度量标准来求得一个"较好"并且合法的重构的目标函数,然后得出:其中一个多边形轮廓在其所在的截面上沿着法向平移、在截面内平移和在截面内等比例缩放都不影响最大化体积后的结果。该结论对于三维实体的可视化和几何造型领域具有重要的实用价值。