STRONGLY CONVERGENT INERTIAL FORWARD-BACKWARD-FORWARD ALGORITHM WITHOUT ON-LINE RULE FOR VARIATIONAL INEQUALITIES

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.

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

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.

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.

Influence of initial check, information exchange, final accuracy check, reaction information nursing on the psychology of elderly with lung cancer

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.

One-step Eco-friendly Fabrication of Antibacterial Polyester Via On-line Amination Reaction by Melt Coextrusion

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.

Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes

Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is finding ways to make software more reliable. This review provides an overview of techniques developed over time in the field of software model checking to solve the problem of detecting errors in program code. In addition, the challenges posed by this technology are discussed and ways to mitigate them in future research and applications are proposed. A comprehensive examination of the various model verification methods used to detect program code errors is intended to lay the foundation for future research in this area.

导学互动整合式教学模式对重症监护室住培医师Check-list量表评分及满意度的影响

目的探讨导学互动整合式教学模式对重症监护室住院医师规范化培训(简称住培)医师Check-list量表评分及满意度的影响。方法选取2022年1月—2023年12月南京医科大学附属无锡人民医院重症监护室的60名住培医师为研究对象,根据不同的教学模式分为传统组(n=30,采用传统教学方式)和导学组(n=30,采用导学互动整合式教学方式)。比较两组住培医师的Check-list量表评分、考核成绩、教学满意度。结果出科时,导学组的Check-list量表(询问医学面谈技能、体格检查、人文/职业素养、整体临床能力)评分均高于传统组,理论考核、技能考核、病例分析成绩均高于传统组,差异有统计学意义(P均<0.05)。导学组的教学满意度为93.33%(28/30),高于传统组的73.33%(22/30),差异有统计学意义(χ^(2)=4.320,P<0.05)。结论导学互动整合式教学在重症监护室住培医师临床能力的教学培养中能明显提高医师的知识掌握程度,促进教学质量的提升和满意度的提高。

Multi-Sensor Intelligent System for On-Line and Real-Time Moneitoring Tool Cutting State in FMS

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.

On-line血液透析滤过对移植肾功能延迟恢复的影响

目的 研究On -line血液透析滤过 (HDF)在移植肾功能延迟恢复患者中的应用。方法 我院2 0 0 2年 1月至 2 0 0 3年 7月肾移植术后发生移植肾功能延迟恢复患者 38例 ,2 9例采用Freseniuson -lineHDF透析机 ,F6 0透析器 ,透析滤过时间 3～ 4h ,血流量在 180～ 2 5 0ml/min ,置换液采取前稀释法 ,9例行HD治疗 ,采用GambroAK2 0 0透析机 ,F7透析器。结果 38例移植肾功能延迟恢复患者 ,2 9例用联机血液透析滤过 ,平均肾功能恢复时间为 ( 11.2± 5 .6 )天 ,治疗期间收缩压变化在 110～ 170mmHg,透析期间低血压发生率为 2 .6 % ,9例HD治疗者平均肾功能恢复时间为 ( 2 2 .3± 15 .7)天 ,透析期间低血压发生率为 13.2 %。结论 与HD比较 ,On -lineHDF对血压影响较小 ,可缩短移植肾功能恢复的时间。

Development and Application of On-Line Corrosion Monitoring Device for Condenser Tube

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.

平行机的实时到达on-line算法下界的改进

本文考虑了平行机实时到达的在线问题．模型中，工件是陆续到达的，工件的个数、到达时间是事先未知的，而且只有当工件到达，才知其加工时间，目标是使所有工件都加工完的时间达到最小．Ｃｈｅｎ与Ｖｅｓｔｊｅｎｓ（１９９６年）证明了该在线问题不存在性能比小于１．３４７３的ｏｎ－ｌｉｎｅ算法．本文将此界改进为（５－５）／２．

Effects of on-line solution and off-line heat treatment on microstructure and hardness of die-cast AZ91D alloy

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.

On-line血液透析滤过对维持性血液透析患者心率变异性的影响

目的探讨On-line血液透析滤过技术对维持性血液透析患者心率变异性(HRV)的影响。方法 50例维持性血液透析(MHD)患者随机分为常规血液透析治疗组(HD组)和On-line血液透析滤过治疗组(OL-HDF组),每组各25例。患者每周行3次、每次4 h的血液透析治疗或OL-HDF,治疗24个月。比较两组常规的实验室检查和24h动态心电图监测结果。结果治疗24个月后,OL-HDF组的β2-微球蛋白(β2-MG)由基线值30.1±7.2 mg/dl降至21.7±6.1 mg/dl(P<0.05),HD组的β2-MG则无明显下降。OL-HDF组HRV的时域性和频域性指标均值高于基线值(P<0.05),HD组的HRV指标则无显著性变化(P>0.05)。结论与普通血液透析比较,OL-HDF能更好地改善MHD患者的HRV,改善自主神经功能。

On-line置换液与生理盐水在血液透析滤过回血中的应用效果比较

[目的]探讨On-line置换液与生理盐水在血液透析滤过(HDF)病人回血中的应用效果,以期为临床护理工作提供理论依据。[方法]选取30例规律HDF病人为研究对象,采用自身对照方法,每例病人每周依次采用On-line置换液和生理盐水回血,比较回血过程中残余血量、静脉壶液体温度、护士的工作量及经济效益。[结果]采用On-line置换液回血法残余血量及回血后静脉壶温度分别为(1.89±0.91)mL,(33.36±0.15)℃,而采用生理盐水法为(2.88±0.23)mL、(27.13±0.14)℃,差异均有统计学意义(P<0.01);而透析器凝血状况比较差异无统计学意义(P=0.08);采用On-line置换液回血时护士工作量减少,回血液体成本降低。[结论]应用接近生理温度的On-line置换液回血能稀释血液、降低血液黏稠度,减少血路管残余血量,增加病人舒适感,提高工作效率。

On-lineHDF的临床观察及护理

目的 探讨应用On -lineHDF治疗慢性肾衰尿毒症患者的临床效果及护理对策。方法 回顾性分析 15例维持性HD患者应用On -lineHDF的治疗及护理过程。结果 15例患者经每 1～ 2周 1次的On -lineHDF治疗后 ,病情稳定 ,部分患者心功能、血压、食欲、体力及睡眠不同成度得到改善 ,在促红细胞生成素使用量不变的情况下 ,4例病人的血红蛋白有所增加。结论 On -lineHDF是当今最佳的肾脏替代疗法技术之一。

Completeness of bounded model checking temporal logic of knowledge

In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.

On-Line Monitoring of Cutting Tool Fracture & Wear

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.

On-line HDF治疗维持性透析患者并发症的护理

对20例维持性透析并发难治性高血压、顽固性瘙痒、不安腿综合征等患者,采用每周2次血液透析+1次on-line HDF,加强观察和护理。患者血压得到良好的控制,皮肤瘙痒得到明显改善,不安腿症状有所好转,贫血、食欲减退、精神和神经症状得到改善,生活质量明显提高。