Optimal infinite scheduling for multi-priced timed automata

This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start out by introducing an extension of the (priced) timed automata model that includes both costs and rewards as separate modelling features. A precise definition is then given of what constitutes optimal infinite behaviours for this class of models. We subsequently show that the derivation of optimal non-terminating schedules for such double-priced timed automata is computable. This is done by a reduction of the problem to the determination of optimal mean-cycles in finite graphs with weighted edges. This reduction is obtained by introducing the so-called corner-point abstraction, a powerful abstraction technique of which we show that it preserves optimal schedules. This work has been mostly done while visiting CISS at Aalborg University in Denmark and has been supported by CISS and by ACI Cortos, a program of the French Ministry of Research.     

CNN parameter design based on fault signal analysis and its application in bearing fault diagnosis

As a representative deep learning network, Convolutional Neural Network (CNN) has been extensively used in bearing fault diagnosis and many good results have been reported. In Prognostics and Health Management (PHM) field, the CNN’s input size is usually designed as a 1D vector or 2D square matrix, and the convolution kernel size is also defined as a square shape like 3 × 3 and 5 × 5, which are directly adopted from the image recognition. Though satisfying results can be obtained, CNN with such parameter specifications is not optimal and efficient. To this end, this paper elaborated the physical characteristics of bearing acceleration signals to guide the CNN design. First, the fault period under different fault types and shaft rotation frequency were used to determine the size of CNN’s input. Next, an exponential function was involved in fitting the envelope of decaying acceleration signal during each fault period, and signal length within different decaying ratios was used to define the CNN’s kernel size. Finally, the designed CNN was validated with the Case Western Reserve University bearing dataset and Paderborn University bearing dataset. Results confirm that the physics-guided CNN (PGCNN) with rectangular input shape and rectangular convolution kernel works better than the baseline CNN with higher accuracy and smaller uncertainty. The feasibility of designing CNN parameters with physics-guided rules derived from bearing fault signal analysis has also been verified.     

Optimization of correlated multi-response quality engineering by the upside-down normal loss function

Most of the published literature on robust design is basically concerned with a single response. However, the reality is that common industrial problems usually involve several quality characteristics, which are often correlated. Traditional approaches to multidimensional quality do not offer much information on how much better or worse a process is when finding optimal settings. Köksoy and Fan [Engineering Optimization 44 (8): 935–945] pointed out that the upside-down normal loss function provides a more reasonable risk assessment to the losses of being off-target in product engineering research. However, they only consider the single-response case. This article generalizes their idea to more than one response under possible correlations and co-movement effects of responses on the process loss. The response surface methodology has been adapted, estimating the expected multivariate upside-down normal loss function of a multidimensional system to find the optimal control factor settings of a given problem. The procedure and its merits are illustrated through an example.     

Precise identification of moving vehicular parameters based on improved glowworm swarm optimization algorithm

This paper proposes an indirect method for the identification of moving vehicular parameters using the dynamic responses of the vehicle. The moving vehicle is modelled as 2-DOF system with 5 parameters and 4-DOF system with 12 parameters, respectively. Finite element method is used to establish the equation of the coupled bridge–vehicle system. The dynamic responses of the system are calculated by Newmark direct integration method. The parameter identification problem is transformed into an optimization problem by minimizing errors between the calculated dynamic responses of the moving vehicle and those of the simulated measured responses. Glowworm swarm optimization algorithm (GSO) is used to solve the objective function of the optimization problem. A local search method is introduced into the movement phase of GSO to enhance the accuracy and convergence rate of the algorithm. Several test cases are carried out to verify the efficiency of the proposed method and the results show that the vehicular parameters can be identified precisely with the present method and it is not sensitive to artificial measurement noise.     

Approximate dynamic programming solutions with a single network adaptive critic for a class of nonlinear systems

Approximate dynamic programming (ADP) formulation implemented with an adaptive critic (AC)-based neural network (NN) structure has evolved as a powerful technique for solving the Hamilton-Jacobi-Bellman (HJB) equations. As interest in ADP and the AC solutions are escalating with time, there is a dire need to consider possible enabling factors for their implementations. A typical AC structure consists of two interacting NNs, which is computationally expensive. In this paper, a new architecture, called the ‘cost-function-based single network adaptive critic (J-SNAC)’ is presented, which eliminates one of the networks in a typical AC structure. This approach is applicable to a wide class of nonlinear systems in engineering. In order to demonstrate the benefits and the control synthesis with the J-SNAC, two problems have been solved with the AC and the J-SNAC approaches. Results are presented, which show savings of about 50% of the computational costs by J-SNAC while having the same accuracy levels of the dual network structure in solving for optimal control. Furthermore, convergence of the J-SNAC iterations, which reduces to a least-squares problem, is discussed; for linear systems, the iterative process is shown to reduce to solving the familiar algebraic Ricatti equation.     

EDA9033A在分布式风机性能测试系统中的应用

针对以单片机为核心的风机性能测试系统存在稳定性差、抗干扰能力差、精度低等问题,开发了以PLC为核心、采用互感式采集模块EDA9033A采集风机电参数的分布式风机性能测试系统,给出了该风机性能测试系统的结构,详细介绍了EDA9033A的硬件及软件设计。实际应用表明,EDA9033A采集的风机电参数结果稳定、快速、准确。     

2HL055恒流二极管参数测试

2HL055是贵州博越公司生产的恒流二极管,该类器件恒定电流大,极限电压低,可以直接驱动负载,但器件形成实验室成品后,没有进行过参数测试,其基本参数范围不能确定。文章拟通过试验,进一步测试2HL055器件的基本参数,并确定部分参数的测试方法。     

Stochastic differential equations driven by a Wiener process and fractional Brownian motion: Convergence in Besov space with respect to a parameter

A stochastic differential equation involving both a Wiener process and fractional Brownian motion, with nonhomogeneous coefficients and random initial condition, is considered. The coefficients and initial condition depend on a parameter. The assumptions on the coefficients and the initial condition supplying continuous dependence of the solution on a parameter, with respect to the Besov space norm, are established.