Pipe-like formations are vertical, complex and shape-diverse subsurface structures. The accurate seismic interpretation is essential for understanding their fluid dynamics environmental impacts. However, conventional exploration techniques struggle to accurately resolve critical areas due a general decline in imaging quality. This challenge significant three-dimensional nature, as some exaggerated forms impact imaging, despite appearing similar 2D slices. limited perspective commonly used...

Hybrid systems model checking is a great success in guaranteeing the safety of computerized control cyber-physical (CPS). However, when applying hybrid to Medical Device Plug-and-Play (MDPnP) CPS, we encounter two challenges due complexity human body: 1) there are no good offline differential equation-based models for many body parameters; 2) can result variables, complicating system model. In an attempt address challenges, propose alter traditional approach time-unbounded (i.e., infinite...

Microarray data usually contains a huge number of genes (features) and comparatively small samples, which make accurate classification or prediction diseases challenging. Feature selection techniques can help us identify important irrelevant (unimportant) features by applying certain criteria. However, different feature algorithms based on various theoretical arguments often produce results when applied to the same set. This makes selecting an optimal near subset for set difficult. In this...

Hybrid systems model checking is a great success in guaranteeing the safety of computerized control cyber-physical (CPS). However, when applying hybrid to Medical Device Plug-and-Play(MDPnP) CPS, we encounter two challenges due complexity human body: i) there are no good offline differential equation based models for many body parameters, ii) can result variables, complicating system model. In an attempt address challenges, propose alter traditional approach time-unbounded (i.e., long-run)...

The difficulty of feature extraction and the small sample size are two challenges in field mechanical fault diagnosis for a long time. Here we propose an intelligent method scenario with datasets. This can not only diagnose bearing faults but also gear faults, has strong generalization performance. We use convolutional neural network to realize automatic extraction. Through sliding window scanning, one set is expanded three sub-sample sets different scales meet needs deep learning training....

Cyber-Physical Systems (CPS) integrate discretetime computing and continuous-time physical-world entities, which are often wirelessly interlinked.The use of wireless safety critical CPS (control, healthcare etc.) requires guarantees despite communication faults.This paper focuses on one important set such rules: Proper-Temporal-Embedding (PTE).Our solution introduces hybrid automata to formally describe analyze design patterns.We propose a novel lease based pattern, along with closed-form...

Cyber-Physical Systems (CPS) integrate discrete-time computing and continuous-time physical-world entities, which are often wirelessly interlinked. The use of wireless safety-critical CPS requires safety guarantees despite communication faults. This paper focuses on one important set such rules: Proper-Temporal-Embedding (PTE), where distributed entities must enter/leave risky states according to properly nested temporal pattern certain duration spacing. Our solution introduces hybrid...

As a classical visualization tool for seismic facies analysis, the clustering process of self-organizing map (SOM) is generally divided into two stages: feature extraction and clustering. However, when horizon pickings are ambiguous waveforms chaotic, structural cannot correspond well to topological structure SOM. To improve performance classification, we propose one-stage method deep embedded SOM (DESOM) which means that extracting representation completed simultaneously. Moreover,...

To compare the performance between compartment model and autoregressive integrated moving average (ARIMA) that were applied to prediction of new infections during coronavirus disease 2019 (COVID-19) epidemic.The ARIMA established based on daily cases infection reported in China from December 2, April 8, 2020. The goodness fit two models was compared using coefficient determination (R2).The predicts number without a cordon sanitaire, i.e., restriction mobility prevent spread disease, will...

The Shaximiao Formation in the Zhongjiang Gas Field of Sichuan Basin was initially a high-productivity gas field with bright spot channel as vital exploration target. With further development, wells were obtained some nonbright areas, which caused interpreters to pay great attention channels abnormal amplitudes. We have developed method delineate from complicated sand-mudstone contact relationship. First, we classified sandstone into types I, IIa, IIb, and III, depending on responses...

The quality factor Q is generally used to describe seismic attenuation that leads amplitude decay (AD) and wavelet distortion. Time-frequency transforms are commonly measure on surface data. These methods capture frequency changes over time using a fixed or variable sliding window. Other adaptive also can provide localization, they often superior for estimation. In this study, we compare three time-frequency indicate how the choice of fixed- variable-time window an transform affects accuracy...

Glycidyl methacrylate (GMA) is a widely used industrial polymerization material. Current occupational exposure limits (OELs) for GMA in China show significant disparities compared to those established by international regulatory bodies, including the United States, European Union, and Japan. A comprehensive revision of crucial ensuring optimal worker protection. This investigation analyzed data from 104-week inhalation carcinogenicity study mice conducted identified statistically...

Control Cyber-Physical Systems (CPS) is a major category of CPS. In control CPS, besides the well-studied noises within physical subsystem, we are particularly interested in better understanding cross-domain noises: those come from "physical" propagate through "cyber" computing and go back to subsystem. The focus this paper propose framework profile propagation noises.

Often times IC test solutions are constrained by the capability of choice or targeted tester technology in terms parametric functional specifications. This is usually main majority platform that being used a given organization. paper will focus on methodology to extend said for higher precision measurement. It not cover enhancement capability. In this paper, use circuit designs and programming detailed create novel solution, way creative programmable-gain instrumentation amplifier board...

One-dimensional convolutional neural networks have achieved great success in time series classification problems due to their ability automatically learn feature representations. Therefore, the mainstream researches focus on optimization of 1D network structure enhance accuracy. In this paper, we propose a novel considering and 2D images transformed by for classification. Furthermore, from computer vision view, influence accuracy image methods sizes are discussed. The experimental results...

Building a system based on variants of disparate individual components/programs is usually challenging task. The are not designed to communicate with each other but the whole construction does require seamless collaboration among them. In this paper, targeting at protein structure prediction, pluggable application server framework presented. capable combining various existing programs into an efficient unit and design devoted provide model which able integrate heterogeneous quickly without...