This paper is based on the theory of Finite State Automata (FSA's), models a web service as FSA, extends WSDL for conceptually describing behaviors Web services, and introduces concept Temporal Logic Actions (short TLA) to describe specify behavior in formal way.

The 4 × 4.5 m radio telescope array at Guizhou Normal University is an astronomical observation facility in operation, mainly aiming the scientific detection of pulsars and fast bursts. To adequately address observational requirements this array, we developed scheduling system. This system able to predict plot elevation change curves observed targets relation during whole day. In addition, for multiple targets, it provides intelligent processing according observable time. also offers a...

Abstract Image alignment plays a crucial role in solar physics research, primarily involving translation, rotation, and scaling. The different wavelength images of the chromosphere transition region have structural complexity differences similarity, which poses challenge to their alignment. Therefore, novel approach based on dense optical flow (OF) RANSAC algorithm is proposed this paper. It takes OF vectors similar regions between be used as feature points for matching. Then, it calculates...

We hereby report the discovery of ATLAS17jrp as an extraordinary TDE in star-forming galaxy SDSSJ162034.99+240726.5 our recent sample mid-infrared outbursts nearby galaxies. Its optical/UV light curves rise to a peak luminosity $\sim1.06\times10^{44}\rm\,erg\,s^{-1}$ about month and then decay $\rm t^{-5/3}$ with roughly constant temperature around 19000~K, optical spectra show blue continuum very broad Balmer lines FWHM$\sim$15000 km/s which gradually narrowed 1400 within 4 years, all...

We present a novel solution to enable portrait relief modeling from single image. The main challenges are geometry reconstruction, facial details recovery and depth structure preservation. Previous image-based methods developed for bas-relief in 2.5D form, but not adequate 3D-like high with undercut features. In this paper, we propose template-based framework generate reliefs of various forms. Our method benefits Shape-from-Shading (SFS). Specifically, use bi-Laplacian mesh deformation guide...

Post-operative nausea and vomiting (PONV) is a major peri-operative complication. It has numerous adverse consequences that seriously affect the post-operative recovery of patients. The aim present study was to investigate efficacy intravenous lidocaine in improving PONV after laparoscopic gynaecological surgery. A total 40 patients were randomly assigned 2 groups: Group L (lidocaine group) C (control group). received throughout operation, while given saline infusion. Vital signs, time,...

Aiming to advance a support problem for roadways used with the longwall coal mining method, S1202 working face of Ningtiaota Coal Mine is taken as engineering background. The monitoring and analysis bolt force, anchor cable force surrounding rock deformation two types within whole pressure influence range are carried out in present paper. Based on this, numerical calculation model consistent field established, comparison tests under different influencing factors out. rationality test results...

Abstract The New Vacuum Solar Telescope (NVST) has been releasing its novel winged H α data (WHD) since 2021 April, namely the imaging spectroscopic data. Compared with prior released version, new are further co-aligned among off-band images and packaged into a standard solar physics community format. In this study, we illustrate alignment algorithm used by WHD, which is mainly based on optical flow method to obtain translation offset between images. To quantitatively evaluate results of two...

Suppressing the interference of atmospheric turbulence and obtaining observation data with a high spatial resolution is an issue to be solved urgently for ground observations. One way solve this problem perform statistical reconstruction short-exposure speckle images. Combining rapidity Shift-Add accuracy masking, paper proposes novel algorithm-NASIR (Non-rigid Alignment based Solar Image Reconstruction). NASIR reconstructs phase object image at each frequency by building computational model...

Atmospheric data from National Centers for Environmental Prediction (NCEP) analyses and orbital parameters 133 real Global Positioning System (GPS) meteorological soundings are used to compute the "true" bending angle profiles using an accurate 3D ray-tracing procedure. They then compared with approximate obtained spherical symmetry assumption efficient 2D model. The average fractional error of angles due is less than 0.15%. use model slightly greater that assumption. vertical correlations...

The ground-based solar high-resolution observation usually only covers a small part of the disk, so determining field view position an observed image on Helioprojective-Cartesian coordinates is first step in data processing. In present, most physicists manually adjust parameters by trial and error to complete this step, because mapping information may not be included flexible transport system (FITS) header raw image. manual approach cannot guarantee accuracy. It inefficient has plagued many...

We investigate the UV continuum slope $\alpha$ of a large quasar sample from SDSS DR7. By using specific windows, we build two samples at lower ($0.71<z<1.19$) and higher ($1.90<z<3.15$) redshifts, which correspond to slopes longer (NUV) shorter (FUV) rest wavelength ranges respectively. Overall, average are $-0.36$ $-0.51$ for $\alpha_{\rm NUV}$ FUV}$ with similar dispersions $\sigma_{\alpha} \sim 0.5$. For both samples, confirm luminosity dependence slope, i.e., fainter quasars have redder...

Supermassive black hole binaries (SMBHs) are a fascinating byproduct of galaxy mergers in the hierarchical universe. In last stage their orbital evolution, gravitational wave radiation drives binary inspiral and produces loudest siren awaiting to be detected by observatories. Periodically varying emission from active galactic nuclei has been proposed as powerful approach probe such systems, although none identified candidates close final coalescence that observed periods stay constant time....

Context. Nanoflares are impulsive energy releases that occur due to magnetic reconnection in the braided coronal field, which is a potential mechanism for heating corona. However, there still sporadic observations of interchange braiding structure segments and footpoints inside loops, predicted be morphological evolution reconnecting bundles nanoflare picture. Aims. This work aims detect evolutions pairs strands within apparent single loops observed Atmospheric Imaging Assembly (AIA) images....

Let $M = S^n/ Γ$ and $h$ be a nontrivial element of finite order $p$ in $π_1(M)$, where the integer $n≥2$, $Γ$ is group which acts freely isometrically on $n$-sphere therefore $M$ diffeomorphic to compact space form. In this paper, we establish first resonance identity for non-contractible homologically visible minimal closed geodesics class $[h]$ every Finsler form $(M, F)$ when there exist only finitely many distinct F)$. Then as an application identity, prove existence at least two with...

The method of solar magnetic field calibration for the filter-based magnetograph is normally linear under weak-field approximation that cannot generate strong region well due to saturation effect. We try provide a new carry out nonlinear with help neural networks obtain more accurate fields. employed data from Hinode/SP construct training, validation and test dataset. narrow-band Stokes I, Q, U, V maps at one wavelength point were selected all 112 points observed by SP so as simulate...

Context. The magnetic field is the underlying cause of solar activities. Spectropolarimetric Stokes inversions have been routinely used to extract vector from observations for about 40 years. In contrast, photospheric continuum images an observational history more than 100 Aims. We suggest a new method quickly estimate unsigned radial component field, | B r |, and transverse t , just ( I ) using deep convolutional neural networks (CNN). Methods. Two independent models, that is, versus are...

Medical CT imaging has an important sense in the treatment process. However, low resolution of images could easily affect final diagnosis, which is influenced by and radiation dosage. We propose to solve this problem using adaptive image super-resolution reconstr uction algorithm. First, algorithm quad-tree decomposition obtains access different scales patches. Then, we exploit K-means clustering determine cluster center. Using center cluster, can obtain mapping function between...

After orthodontic treatment, gingivitis can cause swelling, pain, bleeding, and other symptoms, which significantly compromise gum health reduce the quality of life. Clinically, dental plaque removal is considered an effective treatment strategy for gingivitis. However, controlling formation extended period through mechanical challenging. Current options include Western medicine drug nursing, but solely relying on antibiotics does not effectively prevent inflammation damage in long run....