一类分数阶微积分的中值定理及应用

Riemann-Liouville分数阶微积分算子是一类带有一个函数的分数阶微积分算子的特殊情形，以Riemann-Liouville分数阶微积分算子的积分中值定理和微分中值定理为基础，我们得到了一类带有一个函数的分数阶微积分算子的积分中值定理和微分中值定理，并给出其在计算方面的一些应用。     

Integrated Inspection of QoM,QoP, and QoS for AOI Industries in Metaverses

With the rapid development of information technologies such as digital twin, extended reality, and blockchain, the hype around "metaverse" is increasing at astronomical speed. However, much attention has been paid to its entertainment and social functions. Considering the openness and interoperability of metaverses, the market of quality inspection promises explosive growth. In this paper, taking advantage of metaverses, we first propose the concept of Automated Quality Inspection (AutoQI), which performs integrated inspection covering the entire manufacturing process, including Quality of Materials, Quality of Manufacturing (QoM), Quality of Products, Quality of Processes (QoP), Quality of Systems, and Quality of Services (QoS). Based on the scenarios engineering theory, we discuss how to perform interactions between metaverses and the physical world for virtual design instruction and physical validation feedback. Then we introduce a bottom-up inspection device development workflow with productivity tools offered by metaverses, making development more effective and efficient than ever. As the core of quality inspection, we propose Quality Transformers to complete detection task, while federated learning is integrated to regulate data sharing. In summary, we point out the development directions of quality inspection under metaverse tide.      

Study of planar structure applying reciprocity technique combined with MGEC and analysis of discontinuity

The 3D structure electromagnetic computation presents several difficulties related to the volume mesh. In fact, the entire volume space must be taken into account even the smallest details. In this article, we propose a formulation based on the reciprocity theorem combined with the generalized equivalent circuit method to model a planar 3D structure with both coaxial and planar excitation. The major advantage of this formulation is the fact to reduce the computational volume into 2D ones in the discontinuity plane. In addition, we focused on the calculation of the discontinuity between the excitation source and the planar structure to determine the exact behavior of the electric coaxial excitation model. The obtained current density, electric field distributions, and the input impedance are presented and discussed in the following sections. An approximately good agreement of input impedance with those obtained by the simulator and measurement is shown.     

Weighted preliminary-summation-based principal component analysis for non-Gaussian processes

For industrial chemical process, preliminary-summation-based principal component analysis (PS-PCA), an amended PCA method was recently provided for coping with both Gaussian and non-Gaussian characteristics. By summing the training and monitoring data respectively, PS-PCA is capable of resolving the issue of non-Gaussian processes and achieves higher fault detection rate than the traditional PCA. However, in the PS-PCA summation operation, all data samples are regarded as the same weight, which results in the fault information of newly-samples may be diluted, leading to significant detection delays. To address this challenge, in this paper, we propose a novel weighted PS-PCA (WPS-PCA) method that employs an exponential weighting scheme to put more emphasis on recent information. Subsequently, a mathematical argument demonstrates that when the number of variables is enough plentiful, the obtained summation combined with the generalized central limit theorem conforms to approximately a Gaussian distribution. The kurtosis relationships indicate this conversion will bring out well-pleasing feasibility for conventional PCA. Ultimately, the proposed technique verifies detection performance using the Tennessee Eastman process, which is compared with the existing PCA and PS-PCA schemes, in terms of the fault detection time and fault detection rate. The simulation studies reveal that the proposed method is efficient and superior.     

一类Hilfer型分数阶微分方程解的存在和唯一性

用Banach不动点定理和上下解方法研究了α(1<α <2)阶数和β(0≤β ≤1)类型Hilfer分数阶微分方程的解,给出了方程解的存在和唯一性,并通过例证验证了本文所得结果的有效性.     

What determines the take-over time? An integrated model approach of driver take-over after automated driving

In recent years the automation level of driver assistance systems has increased continuously. One of the major challenges for highly automated driving is to ensure a safe driver take-over of the vehicle guidance. This must be ensured especially when the driver is engaged in non-driving related secondary tasks. For this purpose it is essential to find indicators of the driver’s readiness to take over and to gain more knowledge about the take-over process in general.     

The VALU3S ECSEL project: Verification and validation of automated systems safety and security

Manufacturers of automated systems and their components have been allocating an enormous amount of time and effort in R&D activities, which led to the availability of prototypes demonstrating new capabilities as well as the introduction of such systems to the market within different domains. Manufacturers need to make sure that the systems function in the intended way and according to specifications. This is not a trivial task as system complexity rises dramatically the more integrated and interconnected these systems become with the addition of automated functionality and features to them. This effort translates into an overhead on the V&V (verification and validation) process making it time-consuming and costly. In this paper, we present VALU3S, an ECSEL JU (joint undertaking) project that aims to evaluate the state-of-the-art V&V methods and tools, and design a multi-domain framework to create a clear structure around the components and elements needed to conduct the V&V process. The main expected benefit of the framework is to reduce time and cost needed to verify and validate automated systems with respect to safety, cyber-security, and privacy requirements. This is done through identification and classification of evaluation methods, tools, environments and concepts for V&V of automated systems with respect to the mentioned requirements. VALU3S will provide guidelines to the V&V community including engineers and researchers on how the V&V of automated systems could be improved considering the cost, time and effort of conducting V&V processes. To this end, VALU3S brings together a consortium with partners from 10 different countries, amounting to a mix of 25 industrial partners, 6 leading research institutes, and 10 universities to reach the project goal.