A Systematic Review and Performance Evaluation of Open-Source Tools for Smart Contract Vulnerability Detection

With the rise of blockchain technology,the security issues of smart contracts have become increasingly critical.Despite the availability of numerous smart contract vulnerability detection tools,many face challenges such as slow updates,usability issues,and limited installation methods.These challenges hinder the adoption and practicality of these tools.This paper examines smart contract vulnerability detection tools from 2016 to 2023,sourced from the Web of Science(WOS)and Google Scholar.By systematically collecting,screening,and synthesizing relevant research,38 open-source tools that provide installation methods were selected for further investigation.From a developer’s perspective,this paper offers a comprehensive survey of these 38 open-source tools,discussing their operating principles,installation methods,environmental dependencies,update frequencies,and installation challenges.Based on this,we propose an Ethereum smart contract vulnerability detection framework.This framework enables developers to easily utilize various detection tools and accurately analyze contract security issues.To validate the framework’s stability,over 1700 h of testing were conducted.Additionally,a comprehensive performance test was performed on the mainstream detection tools integrated within the framework,assessing their hardware requirements and vulnerability detection coverage.Experimental results indicate that the Slither tool demonstrates satisfactory performance in terms of system resource consumption and vulnerability detection coverage.This study represents the first performance evaluation of testing tools in this domain,providing significant reference value.

Validity and reliability of the evaluation tool of TCM confidence in students with TCM learning experience

Objective:This study aimed to design an evaluation scale of traditional Chinese medicine(TCM)confidence and then evaluate its validity and reliability.Methods:Three parallel samples with TCM learning experience were included in this current study.Randomly selected 500 nursing students were included factor analysis and reliability and validity analyses.After 4 weeks,200 nursing students were recruited to retest the reliability.The evaluation tool of TCM confidence included 6 dimensions and 25 entries.Results:Cronbach's a coefficient of the evaluation scale was 0.95 and that of the 6 observed aspects were higher than 0.90,and splithalf reliability was 0.81.For the retest reliability,Cronbach's a coefficient of the evaluation scale was 0.93 and that of the 6 examined aspects was all over 0.80.The index of content validity Scale Content Validity Index(S-CVI)was 0.92 and Item Content Validity Index(I-CVI)was 0.83–1.00.Conclusions:Observed results may indicate that the designed tool can be used to assess the TCM confidence level of students with TCM studied experience and also can evaluate results of TCM education during studying TCM lectures.

The formation evaluation tool and its application in offshore China

The Formation Evaluation Tool （FET） introduced in the paper represents a new generation of formation evaluation systems developed and manufactured by China Oilfield Services Limited （COSL）, CNOOC, using a FET technology transfer from Crocker Research, Australia. The system has been applied successfully in the Bohai Sea and South China Sea. For instance, a multilayered oil and water system has been confirmed with the aid of accurate formation pressure tests, even in very thin beds and edge water reservoirs, overcoming the difficulty of determining this kind of oil-water and gas-water contacts. Moreover, the FET pumping and real-time fluid monitoring function allows acquiring a true sample of formation fluid unpolluted by drilling mud which plays an important role in determining the fluid properties of the target stratum and analyzing the fluid component. The principles and purpose of the Formation Evaluation Tool （FET） will be briefly introduced and successful examples of the application of the technology will be described in detail in this paper.

Deterministic tools to predict gas assisted gravity drainage recovery factor

Naturally fractured rocks contain most of the world's petroleum reserves.This significant amount of oil can be recovered efficiently by gas assisted gravity drainage(GAGD).Although,GAGD is known as one of the most effective recovery methods in reservoir engineering,the lack of available simulation and mathematical models is considerable in these kinds of reservoirs.The main goal of this study is to provide efficient and accurate methods for predicting the GAGD recovery factor using data driven techniques.The proposed models are developed to relate GAGD recovery factor to the various parameters including model height,matrix porosity and permeability,fracture porosity and permeability,dip angle,viscosity and density of wet and non-wet phases,injection rate,and production time.In this investigation,by considering the effective parameters on GAGD recovery factor,three different efficient,smart,and fast models including artificial neural network(ANN),least square support vector machine(LSSVM),and multi-gene genetic programming(MGGP)are developed and compared in both fractured and homogenous porous media.Buckinghamπtheorem is also used to generate dimensionless numbers to reduce the number of input and output parameters.The efficiency of the proposed models is examined through statistical analysis of R-squared,RMSE,MSE,ARE,and AARE.Moreover,the performance of the generated MGGP correlation is compared to the traditional models.Results demonstrate that the ANN model predicts the GAGD recovery factor more accurately than the LSSVM and MGGP models.The maximum R^(2)of 0.9677 and minimum RMSE of 0.0520 values are obtained by the ANN model.Although the MGGP model has the lowest performance among the other used models(the R2 of 0.896 and the RMSE of 0.0846),the proposed MGGP correlation can predict the GAGD recovery factor in fractured and homogenous reservoirs with high accuracy and reliability compared to the traditional models.Results reveal that the employed models can easily predict GAGD recovery factor without requiring complicate governing equations or running complex and time-consuming simulation models.The approach of this research work improves our understanding about the most significant parameters on GAGD recovery and helps to optimize the stages of the process,and make appropriate economic decisions.

Evaluation of Eco-efficiency and Effect on Environment of Remanufacturing A Case Study of CNC-remanufacturing for Used Machining Tools

A case of remanufacturing used lathes via CNC technology is introduced, whose environmental and economic benefits are evaluated respectively. The results indicate that these environmental and economic benefits are remarkable, which are directly affected by remanufacturing design, more than 90% materials in used lathes are reused. Finally, the causes of economic and environmental benefits of remanufacturing machine tools are put forward. The remanufacturing design method, implementation procedure, and evaluation method of economic and environmental benefits presented are helpful for other equipment remanufacturing.

Research Progress of Assessment Tools for Peripheral Venous Access Difficulties in Children

Objective:To review the research progress of peripheral venous access difficulty assessment tools in children and to provide a reference for clinical nurses to select and develop appropriate assessment tools.Methods:Search the literature at home and abroad and summarize and analyze the existing evaluation tools.Results:There is no unified assessment tool about difficult venous access in children at home and abroad.The existing tools include the difficult venous access assessment scale and peripheral venous grading assessment tool.Conclusion:The current assessment tools for venous access difficulties in children have their own limitations,and it is necessary to develop further the assessment tools suitable for the cultural background of children's venous access difficulties.This paper summarized the current progress of research on peripheral venous access difficulty assessment tools.It also analyzed and summarized the shortcomings of existing tools to provide a reference for clinical staff to choose appropriate assessment tools.

Standardization of Quality Evaluation of Educational Software and Electronic Learning Tools—Analysis of Opinions of Selected Experts

Our research was focused on the identification of features, which was essential for educational digital products and the determination of their quality. The introductory analytical part of our research is focused on the analysis of existing sources of information related to the problems of research, production, appropriate use and evaluation of educational software environments. Consequently, we have divided the existing software products into three basic groups according to our main distinguishing feature. Second part of our paper is focused on various aspects, which are to be considered when assessing the quality of software solutions. The final part contains the presentation of results of our findings related to the most important features expected and required from digital learning tools by professional experts and specialists in given field.

System-Level Performance Evaluation of Very High Complexity Media Applications : A H264/AVC Encoder Case Study

Given the substantially increasing complexity of embedded systems, the use of relatively detailed clock cycle-accurate simulators for the design-space exploration is impractical in the early design stages. Raising the abstraction level is nowadays widely seen as a solution to bridge the gap between the increasing system complexity and the low design productivity. For this, several system-level design tools and methodologies have been introduced to efficiently explore the design space of heterogeneous signal processing systems. In this paper, we demonstrate the effectiveness and the flexibility of the Sesame/Artemis system-level modeling and simulation methodology for efficient peformance evaluation and rapid architectural exploration of the increasing complexity heterogeneous embedded media systems. For this purpose, we have selected a system level design of a very high complexity media application;a H.264/AVC (Advanced Video Codec) video encoder. The encoding performances will be evaluated using system-level simulations targeting multiple heterogeneous multiprocessors platforms.

Evaluation of the Early Functional Outcome Following Arthroscopic Partial Meniscectomy for Meniscal Tears

Meniscal tears are among the common knee pathologies which affect activities of daily living if not managed properly. Arthroscopic knee surgery is an evolving procedure in our environment and patient satisfaction with this procedure needs to be evaluated. This was a prospective study carried out between June 2017 and May 2018 with the aim to determine the effectiveness of Arthroscopic Partial Meniscectomy in the management of meniscal tears in our environment. The Western Ontario Meniscal Evaluation Tool (WOMET) Knee Score was used to assess patient satisfaction with this procedure. A total of thirty-one patients were recruited into the study consisting of eighteen males and thirteen females with an average age of thirteen years (17 - 48 years) who underwent arthroscopic partial meniscectomy. Preoperative and postoperative knee scores at 6 weeks and 12 weeks were compared using the Western Ontario Meniscal Evaluation Tool. At the end of the study period, data collated were analyzed using the specified tools. In terms of clinical outcomes, arthroscopic partial meniscectomy showed statistically significant improvement of symptoms as evidenced by a mean knee score of 75.6 (SD 9.3) at 6 weeks, 87.7 (SD 4.7) at 12 weeks compared with a preoperative knee score of 46.7. Medial meniscal tears were more common than lateral meniscal tears in all age groups and both sexes recruited into the study. The most common type of meniscal tear seen was the longitudinal type of tear while complex tear is the least type of tear seen. The surgery (arthroscopic partial meniscectomy) is an evolving area of sports medicine that requires sub-specialization, however solves the problem of increased mobility following open surgery. This study will tend to add to existing knowledge as patients who are mostly sports inclined can return to play very early with better outcome scores as regards pain and function.

Comprehensive evaluation method of epidemic prewarning and treatment for COVID-19 in general hospitals

In recent years, due to frequent occurrence of public health emergencies, outbreaks of major infectious diseases represented by COVID-19have brought great harm to the lives and health of people. General hospitals are indispensable in disease prevention and control. The studyanalyzed a comprehensive evaluation method of epidemic prewarning and treatment for COVID‑19 in general hospitals through literature reviewand provided a reference for constructing urban public health prewarning and treatment system.

5种认知功能筛查量表在老年人中的应用效果分析

目的:评价三级甲等综合医院记忆门诊常用的5种认知筛查量表的应用效果,以期为临床医护人员进行神经认知障碍的评估和诊断提供参考依据。方法:选取2020年10月—2022年5月就诊于记忆门诊且主诉记忆减退的155例病人,经神经内科医生初诊,在征得病人同意后,开具认知障碍筛查处方,病人预约后由具有认知筛查培训资质的护士依次对病人及家属完成中文版认知功能检查量表-Ⅲ(ACE-Ⅲ)、简易智力状态检查量表(MMSE)、画钟测试4分法(CDT4)、蒙特利尔认知评估量表(MoCA)、认知障碍自评量表(AD8)和日常生活能力(ADL)量表的筛查,病人携带认知筛查结果、相关实验室及影像学检查结果到神经内科初诊专家处进行诊疗。结果:155例病人中,正常对照组72人,认知障碍组38例,痴呆组45例。5种认知筛查量表与相关因素间相关性比较结果显示,年龄、教育年限、认知障碍程度与中文版ACE-Ⅲ、MoCA相关性更为显著;认知障碍组病人中文版ACE-Ⅲ、MMSE、MoCA和AD8的受试者工作特征曲线下面积为0.698~0.788,MoCA、中文版ACE-Ⅲ和AD8对轻度认知障碍诊断的特异性分别为78.9%、76.3%和73.7%,敏感性分别为70.8%、58.3%和56.9%;痴呆组病人的中文版ACE-Ⅲ、MMSE、MoCA量表的受试者工作特征曲线下面积为0.915~0.931,其中MMSE、中文版ACE-Ⅲ和MoCA对痴呆诊断的敏感性分别为91.7%,84.7%和83.3%,特异性分别为86.7%、84.4%和84.4%。结论:对于具有记忆力减退、高龄、具有一定学历的病人宜选用MoCA、中文版ACE-Ⅲ在三级甲等综合医院记忆门诊筛查使用;认知筛查量表对轻度认知障碍筛查的准确性依次为MoCA>中文版ACE-Ⅲ>AD8,对痴呆筛查的准确性MMSE>中文版ACE-Ⅲ>MoCA。

眩晕相关评价量表研究进展及应用

眩晕是前庭功能障碍的主要症状,发生在中老年人群中十分常见。临床上可使用问卷或量表量化患者的严重程度,应用合适的量表有助于疾病的诊断及治疗方案的完善。本文介绍了目前常用的眩晕相关量表,并将其分成三类:症状评估量表、日常生活质量问卷和特异性筛查问卷,以为临床医生提供更多选择,促进眩晕量表在临床使用的标准化和科学化。

面向综合评估的船舶工装设计方法

针对船舶建造工装设计标准化程度低、设计不规范以及设计管理落后等问题,提出一种面向综合评估的工装设计方法。从工装库构建、智能设计、仿真评估与优化等角度开展工装数字化设计研究。基于工装模型库实现设计模型的有效管理和调用,并通过集成寻优算法实现工装最优布局,在此基础上基于有限元仿真和工艺仿真技术,结合具体指标,实现工装结构力学性能和工艺仿真评估,同时利用结构优化技术对设计结果进行优化,在满足使用需求的基础上降低了加工成本。基于达索三维体验平台开发数字化工装设计系统,固化设计流程,并通过分段吊马设计的实际应用,实现设计效率提升200%,同时重量减轻12.8%。

四款主流语料对齐工具性能对比探析

利用实验研究的方法,以科技、旅游、文学、政治四种中英双语文本为样本,对四款语料对齐工具进行了对比研究。研究发现,从基础技术指标来看,Matecat Aligner、ABBYY Aligner 2.0、Tmxmall Aligner更有优势;从非基础技术指标来看,Matecat Aligner和DéjàVu X3 Alignment在断句准确率方面更为突出,ABBYY Aligner 2.0在对齐准确率方面要优于其他工具;ABBYY Aligner 2.0和Matecat Aligner具有纠错功能。通过具体分析发现,使用不同类型的文本,对齐质量也有所不同;不同的语料对齐工具适合不同文本的对齐。

颈淋巴结清扫术后颈肩功能障碍患者报告结局测量工具的研究进展

对国内外颈淋巴结清扫术后颈肩功能障碍患者报告结局测量工具进行综述,旨在为我国临床护理人员选择和开发颈淋巴结清扫术后颈肩功能障碍患者报告结局测量工具提供参考。

ICU患者静脉血栓栓塞风险评估模型的研究进展

ICU患者是发生静脉血栓栓塞(VTE)的高危人群,早期识别VTE发生风险至关重要。但目前专门用于ICU患者的VTE风险评估模型非常有限。本文主要针对可应用于ICU患者的VTE风险评估模型进行综述,旨在为临床选择适合的风险评估模型及构建适合我国ICU患者的VTE风险评估模型提供参考。

学前儿童身心发展评价工具述评

学前儿童发展评价一直以来都是学前教育工作中的重点和难点。随着时代的变迁,学者围绕学前儿童发展评价这一主题,在评价标准、评价内容和评价方法等方面进行研究,许多评价工具也在教育实践中被广泛应用,同时也暴露出了一些不足之处。对近30年心理学、教育学等领域学前儿童身心发展评价的相关研究进行回溯,分析学前儿童身心发展评价工具的整体发展历程,比较评价内容、评价维度、评价指标等方面的变化,分类介绍多个信效度较高的评价工具,以探讨适用于当前学前儿童身心发展评价研究的有效测评工具,为开发、编制新的实用工具提供参考和建议。

某重型数控机床可靠性建模及评估研究

与传统的机床相比,重型数控机床存在结构复杂、故障溯源困难、样本少、数据不足等缺点,因此对它进行可靠性研究比较困难。针对这一问题,分析某厂TH系列重型数控机床的故障数据,利用威布尔分布函数建立某重型数控机床的可靠性模型;为了获得更高的拟合精度,采用最小二乘线性回归分析法、极大似然估计法和灰色模型估计法3种方法来进行参数估计并选取最优值。通过K-S检验证明了以极大似然估计法所建立模型的威布尔分布拟合误差最小、精度最高;以极大似然估计出的模型作为可靠性评估模型,通过计算得到此系列重型数控机床的观测值与点估计值分别为298.155 0、298.675 9 h,二者基本相等,证明了模型的正确性。

大数据技术赋能财政科技资金监管:一种创新工具

财政科技资金是科技创新的基础条件。近年来,伴随内外环境变化及社会经济转型,基于财政科技资金投入规模持续扩大、资金监管日趋复杂的现状,大数据技术成为赋能财政科技资金监管的创新工具。针对当前资金监管在监督主体、资金配置、监管模式等方面存在的问题,大数据技术在重塑理念价值、重构组织结构与监管模式、增强监管的动态化与精确性等方面的作用明显。置于现实场域,以大数据技术赋能财政科技资金监管,应采取包容多元价值、强化大数据思维方式,构建权责清晰、高效互动的组织体系,完善监管机制、实现信息化运行管理等措施。

肿瘤多学科协作诊疗有效性评价工具研究系统综述

目的了解肿瘤多学科协作诊疗(multidisciplinary diagnosis and treatment,MDT)的有效性评价研究,分析国内外有效性评价工具的发展现状以及差异,为后续肿瘤MDT的总结评价和持续改进、强化MDT监管提供借鉴与参考。方法检索国内外4个文献数据库以获取相关研究文献,并进行文献筛选和系统综述。结果最终纳入文献87篇,中文和英文文献分别为26篇和61篇,发表数量最多的年份是2020年,第一作者所属国家主要为英国。国外评价工具侧重于结构和过程的关键要素,国内评价体系侧重于结果层面的指标内容。结论在国内研究中,MDT评价指标选择的科学性和全面性有待提升,对MDT结构、过程层面的影响因素分析尚需加强,现有评价体系的外推性仍待验证。建议强化评价指标选择的证据支持,重视过程环节的评价,促进对肿瘤MDT影响因素的深入研究,进一步鼓励现有评价体系的实证应用。