Design of Fully Automatic Specification Selection System for Resistance Welding Equipment

A system for fully automatic selection of welding specifications in resistance welding equipment has been developed to address the problem of workers frequently choosing the wrong specifications during manual welding of multiple parts on a single machine in automobile factories. The system incorporates an automatic recognition system for different workpiece materials using the added machine fixture,visual detection system for nuts and bolts,and secondary graphical confirmation to ensure the correctness of specification calling. This system achieves reliable,fully automatic selection of welding specifications in resistance welding equipment and has shown significant effects in improving welding quality for massproduced workpieces,while solving the problem of specification calling errors that can occur with traditional methods involving process charts and code adjustments. This system is particularly suitable for promoting applications in manual welding of multiple parts on a single machine in automobile factories,ensuring correct specification calling and welding quality.

SHADOWING,EXPANSIVENESS AND SPECIFICATION FOR C^1-CONSERVATIVE SYSTEMS

We prove that a Cl-generic volume-preserving dynamical system （diffeomor- phism or flow） has the shadowing property or is expansive or has the weak specification property if and only if it is Anosov. Finally, as in [10, 27], we prove that the Cl-robustness, within the volume-preserving context, of the expansiveness property and the weak specifica- tion property, imply that the dynamical system （diffeomorphism or flow） is Anosov.

Conversion of Object Oriented System into Software Product Line with Delta Modeling Abstract Behavioral Specification

This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports SPL development with delta modeling. The case study of this thesis is a digital library system called Library Automation and Digital Archive (LONTAR). Originally, LONTAR only uses SOAP-based web service. With ABS, LONTAR will be converted into SPL and implement another web service called REST. The motivation of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS than using regular object oriented. Product definition in ABS is relatively easier than creating a new subclass and do customization to make it works well.

A Z Specification for Employment Clerical System

Z has become recognized as a very effective formal specification language in improving the quality of software and ensuring the cost effectiveness of the development process. This paper presents part of a case study of Z notations, ClericalTemps, which is an agency that provides a clerical help to its clients.

Product Specification Analysis for Modular Product Design Using Big Sales Data

Big data on product sales are an emerging resource for supporting modular product design to meet diversified customers’requirements of product specification combinations.To better facilitate decision-making of modular product design,correlations among specifications and components originated from customers’conscious and subconscious preferences can be investigated by using big data on product sales.This study proposes a framework and the associated methods for supporting modular product design decisions based on correlation analysis of product specifications and components using big sales data.The correlations of the product specifications are determined by analyzing the collected product sales data.By building the relations between the product components and specifications,a matrix for measuring the correlation among product components is formed for component clustering.Six rules for supporting the decision making of modular product design are proposed based on the frequency analysis of the specification values per component cluster.A case study of electric vehicles illustrates the application of the proposed method.

Significance of carcinoembryonic antigen detection in the early diagnosis of colorectal cancer:A systematic review and metaanalysis

BACKGROUND Colorectal cancer(CRC)is a prevalent malignant tumor involving adenomas that develop into malignant lesions.Carcinoembryonic antigen(CEA)is a non-specific serum biomarker upregulated in CRC.The concentration of CEA is modulated by tumor stage and grade,tumor site in the colon,ploidy status,and patient smoking status.This study aimed to evaluate current evidence regarding the diagnostic power of CEA levels in the early detection of CRC recurrence in adults.AIM To evaluate current evidence regarding the diagnostic power of CEA levels in the early detection of CRC recurrence in adults.METHODS A systematic search was performed using four databases:MEDLINE,Cochrane Trials,EMBASE,and the Web of Science.The inclusion criteria were as follows:Adult patients aged≥18 years who had completed CRC curative treatment and were followed up postoperatively;reporting the number of CRC recurrences as an outcome;and randomized,clinical,cohort,and case-control study designs.Studies that were not published in English and animal studies were excluded.The following data were extracted by three independent reviewers:Study design,index tests,follow-up,patient characteristics,and primary outcomes.All statistical analyses were performed using the RevMan 5.4.1.RESULTS A total of 3232 studies were identified,with 73 remaining following the elimination of duplicates.After screening on predetermined criteria,12 studies were included in the final analysis.At a reference standard of 5 mg/L,CEA detected only approximately half of recurrent CRCs,with a pooled sensitivity of 59%(range,33%–83%)and sensitivity of 89%(range,58%–97%).CONCLUSION CEA is a significant marker for CRC diagnosis.However,it has insufficient sensitivity and specificity to be used as a single biomarker of early CRC recurrence,with an essential proportion of false negatives.

Cost-effectiveness of patient specific vs conventional instrumentation for total knee arthroplasty:A systematic review and meta-analysis

BACKGROUND Over the past years,patient specific instrumentation(PSI)for total knee arthroplasty(TKA)has been implemented and routinely used.No clear answer has been given on its associated cost and cost-effectiveness when compared to conventional instrumentation(CI)for TKA.AIM To compare the cost and cost-effectiveness of PSI TKA compared to CI TKA.METHODS A literature search was performed in healthcare,economical healthcare,and medical databases(MEDLINE,EMBASE,CINAHL,Web of Science,Cochrane Library,EconLit).It was conducted in April 2021 and again in January 2022.Relevant literature included randomised controlled trials,retrospective studies,prospective studies,observational studies,and case control studies.All studies were assessed on methodological quality.Relevant outcomes included incremental cost-effectiveness ratio,quality-adjusted life years,total costs,imaging costs,production costs,sterilization associated costs,surgery duration costs and readmission rate costs.All eligible studies were assessed for risk of bias.Meta-analysis was performed for outcomes with sufficient data.RESULTS Thirty-two studies were included into the systematic review.Two were included in the metaanalysis.3994 PSI TKAs and 13267 CI TKAs were included in the sample size.The methodological quality of the included studies,based on Consensus on Health Economic Criteria-scores and risk of bias,ranged from average to good.PSI TKA costs less than CI TKA when considering mean operating room time and its associated costs and tray sterilization per patient case.PSI TKA costs more compared to CI TKA when considering imaging and production costs.Considering total costs per patient case,PSI TKA is more expensive in comparison to CI TKA.Meta-analysis comparing total costs for PSI TKA,and CI TKA showed a significant higher cost for PSI TKA.CONCLUSION Cost for PSI and CI TKA can differ when considering distinct aspects of their implementation.Total costs per patient case are increased for PSI TKA when compared to CI TKA.

A TSE based design for MMSE and QRD of MIMO systems based on ASIP

A Taylor series expansion(TSE) based design for minimum mean-square error(MMSE) and QR decomposition(QRD) of multi-input and multi-output(MIMO) systems is proposed based on application specific instruction set processor(ASIP), which uses TSE algorithm instead of resource-consuming reciprocal and reciprocal square root(RSR) operations.The aim is to give a high performance implementation for MMSE and QRD in one programmable platform simultaneously.Furthermore, instruction set architecture(ISA) and the allocation of data paths in single instruction multiple data-very long instruction word(SIMD-VLIW) architecture are provided, offering more data parallelism and instruction parallelism for different dimension matrices and operation types.Meanwhile, multiple level numerical precision can be achieved with flexible table size and expansion order in TSE ISA.The ASIP has been implemented to a 28 nm CMOS process and frequency reaches 800 MHz.Experimental results show that the proposed design provides perfect numerical precision within the fixed bit-width of the ASIP, higher matrix processing rate better than the requirements of 5G system and more rate-area efficiency comparable with ASIC implementations.

The User Interfaces Transition Diagram-Editor: A Tool to Simplify User-System Interaction Modeling

The User Interface Transition Diagram (UITD) is a formal modeling notation that simplifies the specification and design of user-system interactions. It is a valuable communication tool for technical and non-technical stakeholders during the requirements elicitation phase, as it provides a simple yet technically complete notation that is easy to understand. In this paper, we investigated the efficiency of creating UITDs using draw.io, a widely used diagramming software, compared to a dedicated UITD editor. We conducted a study to compare the time required to use each tool to complete the task of creating a medium size UITD, as well as the subjective ease of use and satisfaction of participants with the dedicated Editor. Our results show that the UITD editor is more efficient and preferred by participants, highlighting the importance of using specialized tools for creating formal models such as UITDs. The findings of this study have implications for software developers, designers, and other stakeholders involved in the specification and design of user-system interactions.

Transcriptional regulation in the development and dysfunction of neocortical projection neurons

Glutamatergic projection neurons generate sophisticated excitatory circuits to integrate and transmit information among different cortical areas,and between the neocortex and other regions of the brain and spinal cord.Appropriate development of cortical projection neurons is regulated by certain essential events such as neural fate determination,proliferation,specification,differentiation,migration,survival,axonogenesis,and synaptogenesis.These processes are precisely regulated in a tempo-spatial manner by intrinsic factors,extrinsic signals,and neural activities.The generation of correct subtypes and precise connections of projection neurons is imperative not only to support the basic cortical functions(such as sensory information integration,motor coordination,and cognition)but also to prevent the onset and progression of neurodevelopmental disorders(such as intellectual disability,autism spectrum disorders,anxiety,and depression).This review mainly focuses on the recent progress of transcriptional regulations on the development and diversity of neocortical projection neurons and the clinical relevance of the failure of transcriptional modulations.

渐近平均伪轨跟踪性质、弱specification性质和分布混沌

证明了有渐近平均伪轨跟踪性质的非平凡紧致动力系统具有一致分布混沌或者按序列分布混沌。此外,在具有渐近平均伪轨跟踪性质系统中的分布混沌在测度中心是一致和稠密的,即有一个不可数的一致分布混沌集是由这样的点组成,它们的轨道闭包包含测度中心。作为一个推论,具有弱specification性质的系统也有类似的结果。

关于弱Specification性质的一个注记

该文证明具有弱specification性质的系统在其测度中心的限制系统也具有弱specification性质,并且其逆不真.作为推论得到在未有满射的假设下,弱specification性质蕴含渐近平均跟踪性质.最后证明具有弱specification性质的满射系统是一致分布混沌的.

弱Specification和逆极限空间上移位映射(英文)

对度量空间上连续自映射引进弱Ｓｐｅｃｉｆｉｃａｔｉｏｎ概念，研究了它与浑沌和拓扑熵的联系，此外还讨论了逆极限空间上移位映射的弱Ｓｐｅｃｉｆｉｃａｔｉｏｎ性质。

A novel saliva-based miRNA profile to diagnose and predict oral cancer

Oral cancer (OC) is the most common form of head and neck cancer. Despite the high incidence and unfavourable patient outcomes, currently, there are no biomarkers for the early detection of OC. This study aims to discover, develop, and validate a novel saliva-based microRNA signature for early diagnosis and prediction of OC risk in oral potentially malignant disorders (OPMD).The Cancer Genome Atlas (TCGA) miRNA sequencing data and small RNA sequencing data of saliva samples were used to discover differentially expressed miRNAs. Identified miRNAs were validated in saliva samples of OC (n=50), OPMD (n=52), and controls(n=60) using quantitative real-time PCR. Eight differentially expressed miRNAs (miR-7-5p, miR-10b-5p, miR-182-5p, miR-215-5p,miR-431-5p, miR-486-3p, miR-3614-5p, and miR-4707-3p) were identified in the discovery phase and were validated. The efficiency of our eight-miRNA signature to discriminate OC and controls was:area under curve (AUC):0.954, sensitivity:86%, specificity:90%,positive predictive value (PPV):87.8%and negative predictive value (NPV):88.5%whereas between OC and OPMD was:AUC:0.911,sensitivity:90%, specificity:82.7%, PPV:74.2%and NPV:89.6%. We have developed a risk probability score to predict the presence or risk of OC in OPMD patients. We established a salivary miRNA signature that can aid in diagnosing and predicting OC,revolutionising the management of patients with OPMD. Together, our results shed new light on the management of OC by salivary miRNAs to the clinical utility of using miRNAs derived from saliva samples.

Magnetic and electrical transport properties in GdAlSi and SmAlGe

We conduct a detailed examination of the magnetic and electrical transport properties in GdAlSi and SmAlGe crystals,which possess a LaPtSi-type structure(space group I4_(1)md).The magnetic susceptibility data unambiguously reveal magnetic ordering below a characteristic transition temperature(T_(N)).For GdAlSi,a hysteresis loop is observed in the magnetization and magnetoresistance curves within the ab plane when the magnetic field is applied below T_(N),which is around32 K.Notable specific heat anomalies are detected at 32 K for GdAlSi and 6 K for SmAlGe,confirming the occurrence of magnetic transitions.In addition,the extracted magnetic entropy at high temperatures is consistent with the theoretical value of Rln(2J+1) for J=7/2 in Gd^(3+) and J=5/2 in Sm^(3+),respectively.SmAlGe also exhibits Schottky-like specific heat contributions.Additionally,both GdAlSi and SmAlGe exhibit positive magnetoresistance and a normal Hall effect.

Review of the SiC LDMOS power device

Silicon carbide(SiC),as a third-generation semiconductor material,possesses exceptional material properties that significantly enhance the performance of power devices.The SiC lateral double-diffused metal–oxide–semiconductor(LDMOS)power devices have undergone continuous optimization,resulting in an increase in breakdown voltage(BV)and ultra-low specific on-resistance(Ron,sp).This paper has summarized the structural optimizations and experimental progress of SiC LDMOS power devices,including the trench-gate technology,reduced surface field(RESURF)technology,doping technology,junction termination techniques and so on.The paper is aimed at enhancing the understanding of the operational mechanisms and providing guidelines for the further development of SiC LDMOS power devices.

Gamma oscillations and their role in orchestrating balance and communication following stroke

Induced brain oscillations in the gamma range have recently garnered attention due to their reported neuroprotective effects in the treatment of Alzheimer’s disease.This method differs from pharmacological approaches by tapping into the neuronal population dynamics that underlie the homeostatic processes in the brain that are crucial for the recovery of function.Recently,induced gamma-range oscillations have been used to improve cerebral blood flow,motor function,and synaptic plasticity in a mouse model of focal stroke,highlighting the broad potential of recruiting intrinsic recovery processes for the treatment of neurological conditions.Addressing open questions,such as the frequency specificity of the benefits,will shed light on the intrinsic processes involved and allow clinicians to optimize recovery after stroke.

Linear magnetoresistance and structural distortion in layered SrCu_(4-x)P_(2) single crystals

We report a systematic study on layered metal SrCu_(4-x)P_(2) single crystals via transport, magnetization, thermodynamic measurements and structural characterization. We find that the crystals show large linear magnetoresistance without any sign of saturation with a magnetic field up to 30T. We also observe a phase transition with significant anomalies in resistivity and heat capacity at T_(p)~140 K. Thermal expansion measurement reveals a subtle lattice parameter variation near Tp, i.e.,?L_(c)/L_(c)~0.062%. The structural characterization confines that there is no structure transition below and above T_(p). All these results suggest that the nonmagnetic transition of SrCu_(4-x)P_(2) could be associated with structural distortion.

Durable K-ion batteries with 100% capacity retention up to 40,000 cycles

Currently,the major challenge in terms of research on K-ion batteries is to ensure that they possess satisfactory cycle stability and specific capacity,especially in terms of the intrinsically sluggish kinetics induced by the large radius of K+ions.Here,we explore high-performance K-ion half/full batteries with high rate capability,high specific capacity,and extremely durable cycle stability based on carbon nanosheets with tailored N dopants,which can alleviate the change of volume,increase electronic conductivity,and enhance the K+ion adsorption.The as-assembled K-ion half-batteries show an excellent rate capability of 468 mA h g^(−1) at 100 mA g^(−1),which is superior to those of most carbon materials reported to date.Moreover,the as-assembled half-cells have an outstanding life span,running 40,000 cycles over 8 months with a specific capacity retention of 100%at a high current density of 2000 mA g^(−1),and the target full cells deliver a high reversible specific capacity of 146 mA h g^(−1) after 2000 cycles over 2 months,with a specific capacity retention of 113%at a high current density of 500 mA g^(−1),both of which are state of the art in the field of K-ion batteries.This study might provide some insights into and potential avenues for exploration of advanced K-ion batteries with durable stability for practical applications.

Accurate diagnosis of severe coronary stenosis based on resting magnetocardiography: a prospective, single-center, cross-sectional analysis

OBJECTIVE To evalu ate the role of resting magnetocardiography in identifying seve re coronary artery stenosis in patients with suspected coronary artery disease.METHODS A total of 513 patients with angina symptoms were included and divided into two groups based on the extent of coronary artery disease determined by angiography:the non-severe coronary stenusis group(<70% stenosis) and the severe coronary stenosis group(≥70% stenosis).The diagnostic model was constructed using magnetic field map(MFM) parameters,either individually or in combination with clinical indicators.The performance of the models was evaluated using receiver operating characteristic curves,accuracy,sensitivity,specificity,positive predictive value(PPV) and ne gative predictive value(NPV).Calibration plots and decision curve analysis were performed to investigate the clinical utility and performance of the models,respectively.RESULTS In the severe coronary stenosis group,QR_MCTDd,S_MDp,and TT_(MA)C_(50) were significantly higher than those in the non-severe coronary stenosis group(10,46±10.66 vs,5.11±6.07,P <0.001;7.2±8.64 vs.4.68±6.95,P=0.003;0.32±57.29 vs.0.26±57.29,P <0.001).While,QR_MV_(amp),R_(MA),and T_(MA) in the severe coronary stenosis group were lower(0.23±0.16 vs.0.28±0.16,P<0.001;55.06±48.68 vs.59.24±53.01,P<0.001;51.67±39.32 vs. 60.45±51.33,P <0.001).Seven MFM parameters were integrated into the model,resulting in an area under the curve of 0.810(95% CI:0.765-0.855).The sensitivity,specificity,PPV,NPV,and accurecy were 71.7%,80.4%,93.3%,42.8 %,and 73.5%;respectevely.The combined model exhibited an area under the curve of 0.845(95% CI:0.798-0.892).The sensitivity,specificity,PPV,NPV,and accuracy were 84.3%,73.8%,92.6%,54.6%,and 82.1%;respectively.Calibration curves demonstrate d excellent agreement between the nomogram prediction and actual observation.The decision curve analysis showed that the c ombine d model provided greater net benefit compared to the magnetocardingraphy model.CONCLUSIONS The novel quantitative MFM parameters,whether used individually or in combination with clinical indicators,have been shown to effectively pre dict the risk of severe coronary stenosis in patients presenting with angina-like symptoms.Magnetocardiography,an emerging non-invasive diagnostic tool,warrants further exploration for its potential in diagnosing coronary heart disease.