This paper studies a strongly convergent inertial forward-backward-forward algorithm for the variational inequality problem in Hilbert spaces.In our convergence analysis,we do not assume the on-line rule of the inerti...This paper studies a strongly convergent inertial forward-backward-forward algorithm for the variational inequality problem in Hilbert spaces.In our convergence analysis,we do not assume the on-line rule of the inertial parameters and the iterates,which have been assumed by several authors whenever a strongly convergent algorithm with an inertial extrapolation step is proposed for a variational inequality problem.Consequently,our proof arguments are different from what is obtainable in the relevant literature.Finally,we give numerical tests to confirm the theoretical analysis and show that our proposed algorithm is superior to related ones in the literature.展开更多
The work is dedicated to develop a one-step eco-friendly method to prepare antibacterial polyethylene terephthalate(PET).We report a one-step eco-friendly method to manufacture antibacterial PET via on-line amination ...The work is dedicated to develop a one-step eco-friendly method to prepare antibacterial polyethylene terephthalate(PET).We report a one-step eco-friendly method to manufacture antibacterial PET via on-line amination reaction by melt coextrusion.Beside evenly mixing of poly(hexamethylene guanidine)(PHMG)and PET in the melt coextrusion procedure,the amination reaction also occurred between PHMG and PET under high temperature(230-270℃).The antibacterial ability of composite PET showed obvious PHMG concentration dependence,and antibacterial activity reached more than 99%when PHMG content was 2.5 wt%.Moreover,LIVE/DEAD fluorescence test further confirmed that the composite PET could kill bacteria quickly and efiectively(within 30 min);while negligible cytotoxicity was observed to HSF and HUVEC cells.Onestep eco-friendly fabrication of composite antibacterial PET was accomplished by on-line melt coextrusion.The composite antibacterial PET has potential use in multiple fields to combat with pathogenic including textiles,packaging materials,decoration materials and biomedical devices,etc.展开更多
BACKGROUND As one of the fatal diseases with high incidence,lung cancer has seriously endangered public health and safety.Elderly patients usually have poor self-care and are more likely to show a series of psychologi...BACKGROUND As one of the fatal diseases with high incidence,lung cancer has seriously endangered public health and safety.Elderly patients usually have poor self-care and are more likely to show a series of psychological problems.AIM To investigate the effectiveness of the initial check,information exchange,final accuracy check,reaction(IIFAR)information care model on the mental health status of elderly patients with lung cancer.METHODS This study is a single-centre study.We randomly recruited 60 elderly patients with lung cancer who attended our hospital from January 2021 to January 2022.These elderly patients with lung cancer were randomly divided into two groups,with the control group taking the conventional propaganda and education and the observation group taking the IIFAR information care model based on the conventional care protocol.The differences in psychological distress,anxiety and depression,life quality,fatigue,and the locus of control in psychology were compared between these two groups,and the causes of psychological distress were analyzed.RESULTS After the intervention,Distress Thermometer,Hospital Anxiety and Depression Scale(HADS)for anxiety and the HADS for depression,Revised Piper’s Fatigue Scale,and Chance Health Locus of Control scores were lower in the observation group compared to the pre-intervention period in the same group and were significantly lower in the observation group compared to those of the control group(P<0.05).After the intervention,Quality of Life Questionnaire Core 30(QLQ-C30),Internal Health Locus of Control,and Powerful Others Health Locus of Control scores were significantly higher in the observation and the control groups compared to the pre-intervention period in their same group,and QLQ-C30 scores were significantly higher in the observation group compared to those of the control group(P<0.05).CONCLUSION The IIFAR information care model can help elderly patients with lung cancer by reducing their anxiety and depression,psychological distress,and fatigue,improving their tendencies on the locus of control in psychology,and enhancing their life qualities.展开更多
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as s...Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.展开更多
The principle and the constitution of an intelligent system for on-line and real-time montitoring tool cutting state were discussed and a synthetic sensors schedule combined a new type fluid acoustic emission sens...The principle and the constitution of an intelligent system for on-line and real-time montitoring tool cutting state were discussed and a synthetic sensors schedule combined a new type fluid acoustic emission sensor (AE) with motor current sensor was presented. The parallel communication between control system of machine tools, the monitoring intelligent system,and several decision-making systems for identifying tool cutting state was established It can auto - matically select the sensor way ,monitoring mode and identifying method in machining process- ing so as to build a successful and effective intelligent system for on -line and real-time moni- toring cutting tool states in FMS.展开更多
This paper introduces the development and industrial application of an on-line corrosion monitoring device for condenser tubes. Corrosion sensors are made up of representative condenser tubes chosen by eddy current te...This paper introduces the development and industrial application of an on-line corrosion monitoring device for condenser tubes. Corrosion sensors are made up of representative condenser tubes chosen by eddy current test, which enable the monitoring result to be consistent with the corrosion of actual condenser tubes. Localized corrosion rate of condenser tubes can be measured indirectly by a galvanic couple made up of tube segments with and without pits. Using this technology, corrosion problems can be found in time and accurately, and anticorrosive measures be made more economic and effective. Applications in two power plants showed the corrosion measurements are fast and accurate.展开更多
The effects of on-line solution, off-line solution and aging heat treatment on the microstructure and hardness of the die-cast AZ91D alloys were investigated. Brinell hardness of die-cast AZ91D alloy increases through...The effects of on-line solution, off-line solution and aging heat treatment on the microstructure and hardness of the die-cast AZ91D alloys were investigated. Brinell hardness of die-cast AZ91D alloy increases through on-line solution and off-line aging treatment but decreases after off-line solution treatment. By X-ray diffractometry, optical microscopy, differential thermal analysis, scanning electron microscopy and X-ray energy dispersive spectroscopy, it is found that the microstructures of the die-cast AZ91D magnesium alloy before and after on-line solution and off-line aging are similar, consisting of α-Mg and β-Al12Mg17. The precipitation of Al element is prevented by on-line solution so that the effect of solid solution strengthening is enhanced. The β-Al12Mg17 phases precipitate from supersaturated Mg solid solution after off-line aging treatment, and lead to microstructure refinement of AZ91D alloy, so the effect of precipitation hardening is enhanced. The β-Al12Mg17 phases dissolve in the substructure after off-line solution treatment, which leads to that the grain boundary strengthening phase is reduced significantly and the hardness of die cast AZ91D is reduced.展开更多
A technique of detecting cutting tool fracture and ultimate wear by si- multaneously monitoring both the spindle motor current and cutting process related acoustic emission(AE)in the cutting process is reported.The te...A technique of detecting cutting tool fracture and ultimate wear by si- multaneously monitoring both the spindle motor current and cutting process related acoustic emission(AE)in the cutting process is reported.The technique can detect breakage of drills having diameter over 0.8mm,turning cutter crack of area over 0.2mm,and the ultimate wear.The principle,system construction,experimental method and result of the technique are discussed.The ratio of success in detection approaches 96% or higher.展开更多
Based on the fact that on-line chat has become the most developing language form in the information age, this article point out the stylistic features of on-line English chat. Though in written language form, such lan...Based on the fact that on-line chat has become the most developing language form in the information age, this article point out the stylistic features of on-line English chat. Though in written language form, such language is spoken language in nature, thus it is worthwhile to analyze this special phaenomenon in lexical and grammatical level.展开更多
文摘This paper studies a strongly convergent inertial forward-backward-forward algorithm for the variational inequality problem in Hilbert spaces.In our convergence analysis,we do not assume the on-line rule of the inertial parameters and the iterates,which have been assumed by several authors whenever a strongly convergent algorithm with an inertial extrapolation step is proposed for a variational inequality problem.Consequently,our proof arguments are different from what is obtainable in the relevant literature.Finally,we give numerical tests to confirm the theoretical analysis and show that our proposed algorithm is superior to related ones in the literature.
基金Funded by the National Natural Science Foundation of China(No.51703169)Key Program of Science and Technology of Jieyang City(No.2019016)Key Research and Development Program of Shandong Province of China(No.2019JZZY010338)。
文摘The work is dedicated to develop a one-step eco-friendly method to prepare antibacterial polyethylene terephthalate(PET).We report a one-step eco-friendly method to manufacture antibacterial PET via on-line amination reaction by melt coextrusion.Beside evenly mixing of poly(hexamethylene guanidine)(PHMG)and PET in the melt coextrusion procedure,the amination reaction also occurred between PHMG and PET under high temperature(230-270℃).The antibacterial ability of composite PET showed obvious PHMG concentration dependence,and antibacterial activity reached more than 99%when PHMG content was 2.5 wt%.Moreover,LIVE/DEAD fluorescence test further confirmed that the composite PET could kill bacteria quickly and efiectively(within 30 min);while negligible cytotoxicity was observed to HSF and HUVEC cells.Onestep eco-friendly fabrication of composite antibacterial PET was accomplished by on-line melt coextrusion.The composite antibacterial PET has potential use in multiple fields to combat with pathogenic including textiles,packaging materials,decoration materials and biomedical devices,etc.
文摘BACKGROUND As one of the fatal diseases with high incidence,lung cancer has seriously endangered public health and safety.Elderly patients usually have poor self-care and are more likely to show a series of psychological problems.AIM To investigate the effectiveness of the initial check,information exchange,final accuracy check,reaction(IIFAR)information care model on the mental health status of elderly patients with lung cancer.METHODS This study is a single-centre study.We randomly recruited 60 elderly patients with lung cancer who attended our hospital from January 2021 to January 2022.These elderly patients with lung cancer were randomly divided into two groups,with the control group taking the conventional propaganda and education and the observation group taking the IIFAR information care model based on the conventional care protocol.The differences in psychological distress,anxiety and depression,life quality,fatigue,and the locus of control in psychology were compared between these two groups,and the causes of psychological distress were analyzed.RESULTS After the intervention,Distress Thermometer,Hospital Anxiety and Depression Scale(HADS)for anxiety and the HADS for depression,Revised Piper’s Fatigue Scale,and Chance Health Locus of Control scores were lower in the observation group compared to the pre-intervention period in the same group and were significantly lower in the observation group compared to those of the control group(P<0.05).After the intervention,Quality of Life Questionnaire Core 30(QLQ-C30),Internal Health Locus of Control,and Powerful Others Health Locus of Control scores were significantly higher in the observation and the control groups compared to the pre-intervention period in their same group,and QLQ-C30 scores were significantly higher in the observation group compared to those of the control group(P<0.05).CONCLUSION The IIFAR information care model can help elderly patients with lung cancer by reducing their anxiety and depression,psychological distress,and fatigue,improving their tendencies on the locus of control in psychology,and enhancing their life qualities.
基金The work is partially supported by Natural Science Foundation of Ningxia(Grant No.AAC03300)National Natural Science Foundation of China(Grant No.61962001)Graduate Innovation Project of North Minzu University(Grant No.YCX23152).
文摘Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.
文摘The principle and the constitution of an intelligent system for on-line and real-time montitoring tool cutting state were discussed and a synthetic sensors schedule combined a new type fluid acoustic emission sensor (AE) with motor current sensor was presented. The parallel communication between control system of machine tools, the monitoring intelligent system,and several decision-making systems for identifying tool cutting state was established It can auto - matically select the sensor way ,monitoring mode and identifying method in machining process- ing so as to build a successful and effective intelligent system for on -line and real-time moni- toring cutting tool states in FMS.
文摘This paper introduces the development and industrial application of an on-line corrosion monitoring device for condenser tubes. Corrosion sensors are made up of representative condenser tubes chosen by eddy current test, which enable the monitoring result to be consistent with the corrosion of actual condenser tubes. Localized corrosion rate of condenser tubes can be measured indirectly by a galvanic couple made up of tube segments with and without pits. Using this technology, corrosion problems can be found in time and accurately, and anticorrosive measures be made more economic and effective. Applications in two power plants showed the corrosion measurements are fast and accurate.
基金Projects (2011BAE22B01, 2011BAE22B06) supported by the National Key Technologies R&D Program During the 12th Five-Year Plan Period of ChinaProject (2010NC018) supported by the Innovation Fund of Inner Mongolia University of Science and Technology, China
文摘The effects of on-line solution, off-line solution and aging heat treatment on the microstructure and hardness of the die-cast AZ91D alloys were investigated. Brinell hardness of die-cast AZ91D alloy increases through on-line solution and off-line aging treatment but decreases after off-line solution treatment. By X-ray diffractometry, optical microscopy, differential thermal analysis, scanning electron microscopy and X-ray energy dispersive spectroscopy, it is found that the microstructures of the die-cast AZ91D magnesium alloy before and after on-line solution and off-line aging are similar, consisting of α-Mg and β-Al12Mg17. The precipitation of Al element is prevented by on-line solution so that the effect of solid solution strengthening is enhanced. The β-Al12Mg17 phases precipitate from supersaturated Mg solid solution after off-line aging treatment, and lead to microstructure refinement of AZ91D alloy, so the effect of precipitation hardening is enhanced. The β-Al12Mg17 phases dissolve in the substructure after off-line solution treatment, which leads to that the grain boundary strengthening phase is reduced significantly and the hardness of die cast AZ91D is reduced.
文摘A technique of detecting cutting tool fracture and ultimate wear by si- multaneously monitoring both the spindle motor current and cutting process related acoustic emission(AE)in the cutting process is reported.The technique can detect breakage of drills having diameter over 0.8mm,turning cutter crack of area over 0.2mm,and the ultimate wear.The principle,system construction,experimental method and result of the technique are discussed.The ratio of success in detection approaches 96% or higher.
文摘Based on the fact that on-line chat has become the most developing language form in the information age, this article point out the stylistic features of on-line English chat. Though in written language form, such language is spoken language in nature, thus it is worthwhile to analyze this special phaenomenon in lexical and grammatical level.
