Derivative Spectroscopy and its Application at Detecting the Weak Emission/Absorption Lines

The development of spectroscopic survey telescopes like Large Sky Area Multi-Object Fiber Spectroscopic Telescope(LAMOST),Apache Point Observatory Galactic Evolution Experiment and Sloan Digital Sky Survey has opened up unprecedented opportunities for stellar classification.Specific types of stars,such as early-type emission-line stars and those with stellar winds,can be distinguished by the profiles of their spectral lines.In this paper,we introduce a method based on derivative spectroscopy(DS)designed to detect signals within complex backgrounds and provide a preliminary estimation of curve profiles.This method exhibits a unique advantage in identifying weak signals and unusual spectral line profiles when compared to other popular line detection methods.We validated our approach using synthesis spectra,demonstrating that DS can detect emission signals three times fainter than Gaussian fitting.Furthermore,we applied our method to 579,680 co-added spectra from LAMOST Medium-Resolution Spectroscopic Survey,identifying 16,629 spectra with emission peaks around the Hαline from 10,963 stars.These spectra were classified into three distinct morphological groups,resulting in nine subclasses as follows.(1)Emission peak above the pseudo-continuum line(single peak,double peaks,emission peak situated within an absorption line,P Cygni profile,Inverse P Cygni profile);(2)Emission peak below the pseudo-continuum line(sharp emission peak,double absorption peaks,emission peak shifted to one side of the absorption line);(3)Emission peak between the pseudo-continuum line.

Experimental,Numerical,and Analytical Studies on the Bending of Mechanically Lined Pipe

Mechanically lined pipe(MLP)is often used for offshore oil and gas transport because of its low cost and corrosion resistance.During installation and operation,the pipe may undergo severe bending deformation,which causes the liner to separate from the outer pipe and buckles,affecting the stability of the whole line.In this paper,the buckling response of MLP subjected to bending is investigated to clarify its bending characteristics by employing both experiments,numerical simulation,as theoretical methods.Two types of MLPs were manufactured with GB 45 carbon steel(SLP)and Al 6061(ALP)used as the outer pipe material,respectively.The hydraulic expansion and bending experiments of small-scale MLPs are conducted.In addition to the ovalized shape of the cross-section for the SLP specimens,the copper liner was found to wrinkle on the compressive side.In contrast,the liner of ALP remains intact without developing any wrinkling and collapse mode.In addition,a dedicated numerical framework and theoretical models were also established.It was found both the manufacturing and bending responses of the MLP can be well reproduced,and the predicted maximum moment and critical curvatures are in good agreement with the experimental results.

Petrology of Spinel-Lherzolite Xenoliths from Mazéléand Others Northen Xenoliths Localities of Cameroon Volcanic Line: Exchange Reactions and Equilibrium State

The alkaline volcanism of the Cameroon Volcanic Line in its northern domain has raised many fresh enclaves of peridotites. The samples selected come from five (05) different localities (Liri, in the plateau of Kapsiki, Mazélé in the NE of Ngaoundéré, Tello and Ganguiré in the SE of Ngaoundéré and Likok, locality located in the west of Ngaoundé). The peridotite enclaves of the above localities show restricted mineralogical variation. Most are four-phase spinel-lherzolites, indicating that this is the main lithology that forms the lithospheric mantle below the shallow zone. No traces of garnet or primary plagioclase were detected, which strongly limits the depth range from which the rock fragments were sampled. The textures and the wide equilibrium temperatures (884˚C - 1115˚C) indicate also entrainment of lherzolite xenoliths from shallow depths within the lithosphere and the presence of mantle diapirism. The exchange reactions and equilibrium state established in this work make it possible to characterize the chemical composition of the upper mantle of each region and test the equilibrium state of the phases between them. Variations of major oxides and incompatible elemental concentrations in clinopyroxene indicate a primary control by partial melting. The absence of typical “metasomatic” minerals, low equilibration temperatures and enriched LREE patterns indicate that the upper mantle below septentrional crust of Cameroun underwent an event of cryptic metasomatic enrichment prior to partial melting. The distinctive chemical features, LREE enrichment, strong U, Ce and Pr, depletion relative to Ba, Nb, La, Pb, and T, fractionation of Zr and Hf and therefore ligh high Zr/Hf ratio, low La/Yb, Nb/La and Ti/Eu are all results of interaction of refractory peridotite residues with carbonatite melts.

Evaluation of red soil-bentonite mixtures for compacted clay liners

Compacted clay liners are an integral part of the waste landfills,which are provided to contain the leachate within the landfills and protect the surrounding environment.Generally,locally available natural soils are used for the construction of compacted clay liners if they satisfy the design criteria.However,not all soils in their natural state satisfy all the design criteria for the liner materials.Thus,there is a definite need to modify the locally available natural soils by blending with bentonite to meet the required design criteria for the liners.In view of this,the present study evaluates the suitability of an Indian red soil enhanced with bentonite as a liner material.To achieve this,a series of experiments were carried out using locally available red soil and bentonite.First,the suitability of the red soil was evaluated as a liner material.The experimental results showed that the red soil met all the selection criteria stipulated by the Environmental Protection Agencies(EPAs)for the liners except the hydraulic conductivity criterion.Therefore,the red soil was mixed with bentonite contents of 10%,20%and 30%,and the red soil-bentonite mixtures were evaluated for their suitability for liners in their compacted state.Further,as the liners in the arid and semi-arid regions are subjected to moisture variations due to seasonal moisture fluctuations and other factors,the red soil-bentonite mixtures were subjected to wetdry cycles,and their suitability was evaluated after wet-dry cycles.The experimental results revealed that all the red soil-bentonite mixtures met the stipulated EPA criteria for the liners in the as-compacted state.However,the red soil-bentonite mixtures with 20%and 30%bentonite contents only satisfied the hydraulic conductivity requirement even after wet-dry cycles.The experimental findings were supplemented with the microstructural insights captured through digital camera images,scanning electron microscopy(SEM),and mercury intrusion porosimetry(MIP)studies.

Characterization of the infectivity of an Indonesian Zika virus strain in mammalian cell lines

Objective:To characterize the infection patterns and growth characteristics of the Zika virus(ZIKV)strain JMB-185 from Indonesia in various mammalian cell lines.Methods:ZIKV was grown in human(A549,HEK293,HepG2,Huh7,Jurkat,and THP-1)and non-human mammalian(RAW264.7,Vero,and Vero76)cell lines.Viral replication kinetics were measured using plaque assay,while intra-and extracellular viral RNA concentrations were assessed using RT-PCR.Flow cytometry was used to quantify the infected cells and cell viability was measured using an MTT assay.The ability of ZIKV to infect cell lines was visualized using a fluorescence immunostaining assay.Results:This ZIKV strain preferentially infected the lung,kidney,and liver cell lines A549,HEK293,Huh7,Vero,and Vero76,but not the immune cells Jurkat,RAW264.7,and THP-1.By contrast,the ZIKV showed no sign of infection in HepG2 cells,while maintaining viral titer over 3 days post-infection,with no infection recorded in immunostaining,no increase in viral RNA,and no indication of cell deterioration.Conclusions:The Indonesian ZIKV strain has a similar infection profile as other strains,except for its poor infectivity on HepG2 cells.Information on the growth characteristics of Indonesia ZIKV will help expand our understanding of the biology of ZIKV which will be useful for various applications including antiviral discovery.

On traceable iterated line graph and hamiltonian path index

Xiong and Liu[21]gave a characterization of the graphs G for which the n-iterated line graph L^(n)(G)is hamiltonian,for n≥2.In this paper,we study the existence of a hamiltonian path in L^(n)(G),and give a characterization of G for which L^(n)(G)has a hamiltonian path.As applications,we use this characterization to give several upper bounds on the hamiltonian path index of a graph.

Learning Epipolar Line Window Attention for Stereo Image Super-Resolution Reconstruction

Transformer-based stereo image super-resolution reconstruction(Stereo SR)methods have significantly improved image quality.However,existing methods have deficiencies in paying attention to detailed features and do not consider the offset of pixels along the epipolar lines in complementary views when integrating stereo information.To address these challenges,this paper introduces a novel epipolar line window attention stereo image super-resolution network(EWASSR).For detail feature restoration,we design a feature extractor based on Transformer and convolutional neural network(CNN),which consists of(shifted)window-based self-attention((S)W-MSA)and feature distillation and enhancement blocks(FDEB).This combination effectively solves the problem of global image perception and local feature attention and captures more discriminative high-frequency features of the image.Furthermore,to address the problem of offset of complementary pixels in stereo images,we propose an epipolar line window attention(EWA)mechanism,which divides windows along the epipolar direction to promote efficient matching of shifted pixels,even in pixel smooth areas.More accurate pixel matching can be achieved using adjacent pixels in the window as a reference.Extensive experiments demonstrate that our EWASSR can reconstruct more realistic detailed features.Comparative quantitative results show that in the experimental results of our EWASSR on the Middlebury and Flickr1024 data sets for 2×SR,compared with the recent network,the Peak signal-to-noise ratio(PSNR)increased by 0.37 dB and 0.34 dB,respectively.

Evolution Mechanism of a Severe Squall Line Triggered by the Coupling of a Sea Breeze Front and a Gust Front

In the present study, a severe squall line(SL) was analyzed by using intensive observational surface data and radar monitoring products. In this process, mesoscale convergence lines, such as the sea breeze front(SBF), gust front and dry line, served as the main triggering and strengthening factors. The transition from convection triggering to the formation of the initial shape was mainly affected by the convergence line of the SBF, which combined with thermal convection to form the main parts of the SL. In the later stage, the convergence line of the gust front merged with other convergence lines to form a series of strong convective cells. The SBF had good indicative significance in terms of severe convective weather warnings. The suitable conditions of heat, water vapor and vertical wind shear on the Shandong Peninsula were beneficial to the maintenance of the SL. Before SL occurrence, tropopause folding strengthened, which consequently enhanced the baroclinic property in the middle and upper troposphere. The high sensible heat flux at the surface easily produced a positive potential vorticity anomaly in the low layer, resulting in convective instability, which was conducive to the maintenance of these processes. In the system, when precipitation particles passed through the unsaturated air layer, they underwent strong evaporation, melting or sublimation, and the cooling effect formed negative buoyancy, which accelerated the sinking of the air and promoted the sustained development of the surface gale. Together with the development of lowlevel mesocyclones, the air pressure decreased rapidly, which was conducive to gale initiation.

Rigidity Symmetry Line for Thermodynamic Fluid Equations-of-State

We report progress towards a modern scientific description of thermodynamic properties of fluids following the discovery (in 2012) of a coexisting critical density hiatus and a supercritical mesophase defined by percolation transitions. The state functions density ρ(p,T), and Gibbs energy G(p,T), of fluids, e.g. CO2, H2O and argon exhibit a symmetry characterised by the rigidity, ω = (dp/dρ)T, between gaseous and liquid states along any isotherm from critical (Tc) to Boyle (TB) temperatures, on either side of the supercritical mesophase. Here, using experimental data for fluid argon, we investigate the low-density cluster physics description of an ideal dilute gas that obeys Dalton’s partial pressure law. Cluster expansions in powers of density relate to a supercritical liquid-phase rigidity symmetry (RS) line (ω = ρrs(T) = RT) to gas phase virial coefficients. We show that it is continuous in all derivatives, linear within stable fluid phase, and relates analytically to the Boyle-work line (BW) (w = (p/ρ)T = RT), and to percolation lines of gas (PB) and liquid (PA) phases by: ρBW(T) = 2ρPA(T) = 3ρPB(T) = 3ρRS(T)/2 for T TB. These simple relationships arise, because the higher virial coefficients (bn, n ≥ 4) cancel due to clustering equilibria, or become negligible at all temperatures (0 T TB) within the gas phase. The Boyle-work line (p/ρBW)T is related exactly at lower densities as T → TB, and accurately for liquid densities, by ρBW(T) = −(b2/b3)T. The RS line, ω(T) = RT, defines a new liquid-density ground-state physical constant (ρRS(0) = (2/3)ρBW(0) for argon). Given the gas-liquid rigidity symmetry, the entire thermodynamic state functions below TB are obtainable from b2(T). A BW-line ground-state crystal density ρBW(0) can be defined by the pair potential minimum. The Ar2 pair potential, ∅ij(rij) determines b2(T) analytically for all T. This report, therefore, advances the salient objective of liquid-state theory: an argon p(ρ,T) Equation-of-state is obtained from ∅ij(rij) for all fluid states, without any adjustable parameters.

Digital Twin Modeling and Simulation Optimization of Transmission Front and Middle Case Assembly Line

As the take-off of China’s macro economy,as well as the rapid development of infrastructure construction,real estate industry,and highway logistics transportation industry,the demand for heavy vehicles is increasing rapidly,the competition is becoming increasingly fierce,and the digital transformation of the production line is imminent.As one of themost important components of heavy vehicles,the transmission front andmiddle case assembly lines have a high degree of automation,which can be used as a pilot for the digital transformation of production.To ensure the visualization of digital twins(DT),consistent control logic,and real-time data interaction,this paper proposes an experimental digital twin modeling method for the transmission front and middle case assembly line.Firstly,theDT-based systemarchitecture is designed,and theDT model is created by constructing the visualization model,logic model,and data model of the assembly line.Then,a simulation experiment is carried out in a virtual space to analyze the existing problems in the current assembly line.Eventually,some improvement strategies are proposed and the effectiveness is verified by a new simulation experiment.

Simulation and Experimental Study of Staple Line Reinforcement Surgery

The aim of this study was to evaluate the effectiveness of BM (basement membrane) and SIS (small intestine submucosa) composite extracellular matrix staple line reinforcement in surgical procedures through finite element modelling simulations and leak-proof performance experiments. The mechanical analyses of soft tissues with and without staple line reinforcement were performed by establishing finite element models of three tissues, namely, stomach, intestine and lungs, under the use scenarios of different anastomosis staple models;and the leak-proof performance of the staple line reinforcement was evaluated by simulating leak-proof experiments of gastric incision margins, intestinal sections, and lung incision margins in vitro. The results showed that the equivalent average stresses of the staple line reinforcement were increased by 20 kPa-68 kPa in gastric and intestinal tissues, and 8 kPa-22 kPa in lung tissues. and that the BM and SIS composite extracellular matrix staple line reinforcement could strengthen the anastomotic structure, and at the same time disperse the high stresses of the anastomosed tissues, which could effectively reduce the postoperative complications such as anastomotic bleeding and anastomotic leakage, and provide a safer and more effective optimized design for surgical mechanical anastomosis. It can effectively reduce postoperative complications such as anastomotic bleeding and anastomotic leakage, and provide a safer and more effective optimized design for surgical mechanical anastomosis.

Research on Transmission Line Tower Tilting and Foundation State Monitoring Technology Based onMulti-Sensor Cooperative Detection and Correction

The transmission line tower will be affected by bad weather and artificial subsidence caused by the foundation and other factors in the power transmission.The tower’s tilt and severe deformation will cause the building to collapse.Many small changes caused the tower’s collapse,but the early staff often could not intuitively notice the changes in the tower’s state.In the current tower online monitoring system,terminal equipment often needs to replace batteries frequently due to premature exhaustion of power.According to the need for real-time measurement of power line tower,this research designed a real-time monitoring device monitoring the transmission tower attitude tilting and foundation state based on the inertial sensor,the acceleration of 3 axis inertial sensor and angular velocity raw data to pole average filtering pre-processing,and then through the complementary filtering algorithm for comprehensive calculation of tilt angle,the system meets the demand for inclined online monitoring of power line poles and towers regarding measurement accuracy,with low cost and power consumption.The optimization multi-sensor cooperative detection and correction measured tilt angle result relative accuracy can reach 1.03%,which has specific promotion and application value since the system has the advantages of unattended and efficient calculation.

N^(6)-腺苷甲基化修饰及其对LINE-1的调控机制

长散布元件-1(long interspersed elements-1,LINE-1)是现今在人类基因组中唯一具有自主转座能力的转座子,其转座会引起细胞基因组结构和功能的改变,是导致多种严重疾病的重要因素。在转座过程中,LINE-1 mRNA是转座中间体的核心,宿主细胞对其进行相关修饰直接影响转座。N^(6)-腺苷甲基化修饰(m^(6)A)是真核细胞RNA上最丰富且动态可逆的表观遗传修饰。目前发现m^(6)A修饰也存在于LINE-1 mRNA上,参与LINE-1整个生命周期的调控,影响其转座和基因组中LINE-1相邻基因的表达,进而影响基因组稳定性、细胞自我更新与分化潜能,在人类发育和疾病中具有重要作用。本文介绍了LINE-1 m^(6)A修饰的位置、功能以及相关机制,并总结了LINE-1的m^(6)A修饰对其转座调控的研究进展,以期为相关疾病发生发展的机制研究和治疗提供新的思路。

Multi-Branch Fault Line Location Method Based on Time Difference Matrix Fitting

The distribution network exhibits complex structural characteristics,which makes fault localization a challenging task.Especially when a branch of the multi-branch distribution network fails,the traditional multi-branch fault location algorithm makes it difficult to meet the demands of high-precision fault localization in the multi-branch distribution network system.In this paper,the multi-branch mainline is decomposed into single branch lines,transforming the complex multi-branch fault location problem into a double-ended fault location problem.Based on the different transmission characteristics of the fault-traveling wave in fault lines and non-fault lines,the endpoint reference time difference matrix S and the fault time difference matrix G were established.The time variation rule of the fault-traveling wave arriving at each endpoint before and after a fault was comprehensively utilized.To realize the fault segment location,the least square method was introduced.It was used to find the first-order fitting relation that satisfies the matching relationship between the corresponding row vector and the first-order function in the two matrices,to realize the fault segment location.Then,the time difference matrix is used to determine the traveling wave velocity,which,combined with the double-ended traveling wave location,enables accurate fault location.

GATA binding protein 2 mediated ankyrin repeat domain containing 26 high expression in myeloid-derived cell lines

BACKGROUND Thrombocytopenia 2,an autosomal dominant inherited disease characterized by moderate thrombocytopenia,predisposition to myeloid malignancies and normal platelet size and function,can be caused by 5’-untranslated region(UTR)point mutations in ankyrin repeat domain containing 26(ANKRD26).Runt related transcription factor 1(RUNX1)and friend leukemia integration 1(FLI1)have been identified as negative regulators of ANKRD26.However,the positive regulators of ANKRD26 are still unknown.AIM To prove the positive regulatory effect of GATA binding protein 2(GATA2)on ANKRD26 transcription.METHODS Human induced pluripotent stem cells derived from bone marrow(hiPSC-BM)INTRODUCTION Ankyrin repeat domain containing protein 26(ANKRD26)acts as a regulator of adipogenesis and is involved in the regulation of feeding behavior[1-3].The ANKRD26 gene is located on chromosome 10 and shares regions of homology with the primate-specific gene family POTE.According to the Human Protein Atlas database,the ANKRD26 protein is localized to the Golgi apparatus and vesicles,and its expression can be detected in nearly all human tissues[4].Moreover,UniProt annotation revealed that ANKRD26 is localized in the centrosome and contains coiled-coil domains formed by spectrin helices and ankyrin repeats[5,6].The most common disease related to ANKRD26 is thrombocytopenia 2(THC2),which is a rare autosomal dominant inherited disease characterized by lifelong mild-to-moderate thrombocytopenia and mild bleeding[7-9].Caused by the variants in the 5’-untranslated region(UTR)of ANKRD26,THC2 is defined by a decrease in the number of platelets in circulating blood and results in increased bleeding and decreased clotting ability[8,10].Due to the point mutations that occur in the 5’-UTR of ANKRD26,its negative transcription factors(TFs),Runt related transcription factor 1(RUNX1)and friend leukemia integration 1(FLI1),lose their repression effect[11].The persistent expression of ANKRD26 increases the activity of the mitogen activated protein kinase and extracellular signal regulated kinase 1/2 signaling pathways,which are potentially involved in the regulation of thrombopoietin-dependent signaling and further impair proplatelet formation by megakaryocytes(MKs)[11].However,the positive regulators of ANKRD26,which might be associated with THC2 pathology,are still unknown.

Pumpingline管道预制与安装研究——以2023 SH 二次配Pumping-line工程项目为例

本文以中芯南方集成电路制造有限公司负责的2023?SH?二次配Pumping-line工程项目为例,首先对Pumping line管道预制与安装流程进行了简单介绍。在此基础上,本文围绕机台Pumping line会勘、Pumping line管道测量绘图作业、Pumping line管道的预制与现场安装作业要素、机台Monve-in定位后Hook up相关作业要素等展开分析,希望为相关从业人员提供一定的参考。

Analysis of the Design and Application of a Novel CT Secondary Cable Line Calibrator

With the rapid development of electrical power systems,ensuring the accuracy and reliability of power transmis-sion has become particularly crucial.The secondary cable line calibrator for current transformers(CT)plays an essential role in calibrating electrical power systems.It is not only related to the safe operation of the system but also directly im-pacts the accuracy of energy metering.This study aims to design and analyze an efficient CT secondary cable line calibra-tor to explore its application effects in the power system.By thoroughly analyzing the characteristics of CT secondary ca-ble lines and the design requirements of the calibrator,this paper proposes an innovative design scheme for the calibrator.This device demonstrates significant effects in enhancing the accuracy and stability of power system calibration,providing robust technical support for the optimization and upgrade of the power system.This research not only offers a theoretical basis and practical guidance for the design and application of CT secondary cable line calibrators but also contributes new ideas and methods for the precise calibration and efficient management of the power system.

Online-SPE-UPLC-MS/MS检测生活污水中20种毒品

对生活污水的前处理进行优化,建立了一种在线固相萃取-超高效液相色谱-串联质谱法(Online-SPE-UPLC-MS/MS)同时测定污水中20种毒品及人口标记物的方法。用金属螯合剂Na_(2)EDTA·2H_(2)O处理污水后加入同位素内标,接着用滤膜过滤后,以双柱交替模式上样。用Waters Oasis HLB固相萃取柱(2.1 mm×30 mm,20μm)进行富集浓缩后,用流动相将固相萃取柱上吸附的目标物反冲洗到Waters ACQUITY UPLC HSS T3色谱柱(2.1 mm×100 mm,1.8μm)上。柱温40℃,以乙腈-0.1%(体积分数)甲酸水溶液为流动相,采用梯度程序洗脱。采用电喷雾离子源正离子、多反应监测(MRM)模式定量检测。可替宁的线性范围在20~5000 ng·L^(-1),其余20种物质的线性范围在1~250 ng·L^(-1)之间,相关系数R2均大于0.99,检出限在0.01~0.25 ng·L^(-1)之间,加标回收率在91.57%~113.94%,精密度均小于15%。基于Online-SPE-UPLC-MS/MS建立了同时测定污水中20种毒品及人口标记物方法,该方法操作简单、灵敏高,具有良好的准确度和精密度,已成功应用于城市污水中的毒品检测,用于监测毒品滥用情况。

Development and characterization of a novel common wheat–Mexico Rye T1DL·1RS translocation line with stripe rust and powdery mildew resistance

Rye(Secale cereale L., 2n=2x=14, RR) is a significant genetic resource for improving common wheat because of its resistance to multiple diseases and abiotic-stress tolerant traits. The 1RS chromosome from the German cultivated rye variety Petkus is critical in wheat breeding. However, its weakened disease resistance highlights the need to identify new resources. In the present study, a novel derived line called D27 was developed from common wheat and Mexico Rye.Cytological observations characterized the karyotype of D27 as 2n=42=21 Ⅱ. Genomic in situ hybridization indicated that a pair of whole-arm translocated Mexico Rye chromosomes were inherited typically in the mitotic and meiosis stages of D27. Experiments using fluorescence in situ hybridization(FISH) and gliadin electrophoresis showed that D27 lacked wheat 1DS chromosomes. They were replaced by 1RS chromosomes of Mexico Rye, supported by wheat simple-sequence repeat markers, rye sequence characterized amplified region markers, and wheat 40K SNP array analysis.The wheat 1DS chromosomes could not be detected by molecular markers and wheat SNP array, but the presence of rye 1RS chromosomes was confirmed. Agronomic trait assessments indicated that D27 had a higher tiller number and enhanced stripe rust and powdery mildew resistance. In addition, dough properties analysis showed that replacing 1DS led to higher viscosity and lower dough elasticity in D27, which was beneficial for cake making. In conclusion, the novel cytogenetically stable common wheat–Mexico Rye T1DL·1RS translocation line D27 offers excellent potential as outstanding germplasm in wheat breeding programs focusing on disease resistance and yield improvement. Additionally,it can be valuable for researching the rye 1RS chromosome’s genetic diversity.

Identifying Counterexamples Without Variability in Software Product Line Model Checking

Product detection based on state abstraction technologies in the software product line(SPL)is more complex when compared to a single system.This variability constitutes a new complexity,and the counterexample may be valid for some products but spurious for others.In this paper,we found that spurious products are primarily due to the failure states,which correspond to the spurious counterexamples.The violated products correspond to the real counterexamples.Hence,identifying counterexamples is a critical problem in detecting violated products.In our approach,we obtain the violated products through the genuine counterexamples,which have no failure state,to avoid the tedious computation of identifying spurious products dealt with by the existing algorithm.This can be executed in parallel to improve the efficiency further.Experimental results showthat our approach performswell,varying with the growth of the system scale.By analyzing counterexamples in the abstract model,we observed that spurious products occur in the failure state.The approach helps in identifying whether a counterexample is spurious or genuine.The approach also helps to check whether a failure state exists in the counterexample.The performance evaluation shows that the proposed approach helps significantly in improving the efficiency of abstraction-based SPL model checking.