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.展开更多
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.展开更多
It is important to select suitable organisms to adapt the requirement of different environment monitoring purposes.Following our previous study,the behavioral responses of Daphnia magna and Japanese madaka (Oryzias l...It is important to select suitable organisms to adapt the requirement of different environment monitoring purposes.Following our previous study,the behavioral responses of Daphnia magna and Japanese madaka (Oryzias latipes) were investigated and compared under flow-through conditions in an on-line biomonitoring system.The results showed that both D.magna and Japanese madaka had similar biological clock,but the circadian rhythms of Japanese madaka was more clearly recorded than that of D.magna.And the sensitivity of D.magna was about two orders of magnitudes higher than that of Japanese madaka in different types of toxic chemicals (dichlorovos,deltamethrin and cadmium chloride).However,when both animals were used in an on-line biomonitoring system,the life span of D.magna was less than 7 days and Japanese madaka could last for more than one month without feeding.Therefore,D.magna was proposed to be a more sensitive bioindicator and was suitable for short term monitoring the pollution events at concentration level closing to the water quality standard,while Japanese madaka was more suitable for the long-term monitoring for accidental discharges.展开更多
A newly developed on-line visual ferrograph(OLVF) gives a new way for engine wear state monitoring. However, the reliability of on-line wear debris image processing is challenged in both monitoring ship engines and ...A newly developed on-line visual ferrograph(OLVF) gives a new way for engine wear state monitoring. However, the reliability of on-line wear debris image processing is challenged in both monitoring ship engines and the Caterpillar bench test, which weren't reported in previous studies. Two problems were encountered in monitoring engines and processing images. First, small wear debris becomes hard to be identified from the image background after monitoring for a period of time. Second, the identification accuracy for wear debris is greatly reduced by background noise because of oil getting dark after nmning a period of time. Therefore, the methods adopted in image processing are examined. Two main reasons for the problems in wear debris identification are generalized as follows. Generally, the binary threshold was determined by global image pixels, and was easily affected by the non-objective zone in the image. The boundary of the objective zone in the binary image was misrecognized because of oil color becoming lighter during monitoring. Accordingly, improvements were made as follows. The objective zone in a global binary image was identified by scanning a column of pixels, and then a secondary binary process confined in the objective zone was carried out to identify small wear debris. Linear filtering with a specific template was used to depress noise in a binary image, and then a low-pass filtering was performed to eliminate the residual noise. Furthermore, the morphology parameters of single wear debris were extracted by separating each wear debris by a gray stack, and two indexes, WRWR (relative wear rate) and WRWS (relative wear severity), were proposed for wear description. New indexes were provided for on-line monitoring of engines.展开更多
文摘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.
文摘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.
基金supported by the National Key Program for Water Pollution Control (No. 2009ZX07210-009,2009ZX07209-005,2009ZX07527-002)the State Key Laboratory of Environmental Aquatic Chemistry (No.08K07ESPCR)
文摘It is important to select suitable organisms to adapt the requirement of different environment monitoring purposes.Following our previous study,the behavioral responses of Daphnia magna and Japanese madaka (Oryzias latipes) were investigated and compared under flow-through conditions in an on-line biomonitoring system.The results showed that both D.magna and Japanese madaka had similar biological clock,but the circadian rhythms of Japanese madaka was more clearly recorded than that of D.magna.And the sensitivity of D.magna was about two orders of magnitudes higher than that of Japanese madaka in different types of toxic chemicals (dichlorovos,deltamethrin and cadmium chloride).However,when both animals were used in an on-line biomonitoring system,the life span of D.magna was less than 7 days and Japanese madaka could last for more than one month without feeding.Therefore,D.magna was proposed to be a more sensitive bioindicator and was suitable for short term monitoring the pollution events at concentration level closing to the water quality standard,while Japanese madaka was more suitable for the long-term monitoring for accidental discharges.
基金supported by National Basic Research Program of China (973 Program, Grant No. 2009CB724404)National Hitech Research and Development Program of China (863 Program, Grant No. 2006AA04Z431)National Natural Science Foundation of China (Grant No. 50905135)
文摘A newly developed on-line visual ferrograph(OLVF) gives a new way for engine wear state monitoring. However, the reliability of on-line wear debris image processing is challenged in both monitoring ship engines and the Caterpillar bench test, which weren't reported in previous studies. Two problems were encountered in monitoring engines and processing images. First, small wear debris becomes hard to be identified from the image background after monitoring for a period of time. Second, the identification accuracy for wear debris is greatly reduced by background noise because of oil getting dark after nmning a period of time. Therefore, the methods adopted in image processing are examined. Two main reasons for the problems in wear debris identification are generalized as follows. Generally, the binary threshold was determined by global image pixels, and was easily affected by the non-objective zone in the image. The boundary of the objective zone in the binary image was misrecognized because of oil color becoming lighter during monitoring. Accordingly, improvements were made as follows. The objective zone in a global binary image was identified by scanning a column of pixels, and then a secondary binary process confined in the objective zone was carried out to identify small wear debris. Linear filtering with a specific template was used to depress noise in a binary image, and then a low-pass filtering was performed to eliminate the residual noise. Furthermore, the morphology parameters of single wear debris were extracted by separating each wear debris by a gray stack, and two indexes, WRWR (relative wear rate) and WRWS (relative wear severity), were proposed for wear description. New indexes were provided for on-line monitoring of engines.