Semantic Consistency and Correctness Verification of Digital Traffic Rules

The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers.Using formal or digital methods,natural language traffic rules can be translated into machine language and used by autonomous vehicles.In this paper,a translation flow is designed.Beyond the translation,a deeper examination is required,because the semantics of natural languages are rich and complex,and frequently contain hidden assumptions.The issue of how to ensure that digital rules are accurate and consistent with the original intent of the traffic rules they represent is both significant and unresolved.In response,we propose a method of formal verification that combines equivalence verification with model checking.Reasonable and reassuring digital traffic rules can be obtained by utilizing the proposed traffic rule digitization flow and verification method.In addition,we offer a number of simulation applications that employ digital traffic rules to assess vehicle violations.The experimental findings indicate that our digital rules utilizing metric temporal logic(MTL)can be easily incorporated into simulation platforms and autonomous driving systems(ADS).

Analysis of the History and Current Situation of the Development of General Practice Teaching Clinics in China

A summary of the exploration of the teaching mode of the general practice teaching clinic, a summary of the deficiencies of the teaching clinic and a summary of the significance of the establishment of the general practice teaching clinic are presented with a view to promoting the development of general practice and cultivating more excellent successors in general practice.

Culturally competent care across borders: Implementing culturally responsive teaching for nurses in diverse workforces

The migration of healthcare professionals,including nurses,is a global phenomenon.It is driven by various factors,including the pursuit of better opportunities,living conditions,and professional development,as well as political instability or conflict in their home countries.The World Health Organization(WHO)has noted that high-income countries often rely on foreign-trained nurses to fill gaps in their healthcare systems[1].For instance,as of 2021,over 40%(52 million)of all nurses in the United States(US)were expatriates[2].In the United Kingdom(UK),the percentage of expatriate nurses was even higher,reaching approximately 18%in 2021[3].Owing to globalization and migration,healthcare providers must possess cultural competence to deliver improved care[4,5].Culturally responsive teaching(CRT)is rooted in the idea that culture plays a vital role in shaping people’s behaviors,beliefs,values,and communication styles[6].Furthermore,these cultural factors influence patients’perspectives on health,illness,healing,and their preferences for care and communication[7].By recognizing and embracing these cultural differences,nurses can provide more effective and compassionate care to their diverse patient population[8].

Study on the Medication Rules of Traditional Chinese Medicine Prescriptions for the Treatment of New Crown Pneumonia Based on Data Mining Technology

[Objectives]This study was conducted to analyze the medication rules of clinical prescriptions of traditional Chinese medicine decoction pieces for the treatment of novel coronavirus pneumonia(COVID-19)during the epidemic in multiple regions based on data mining technology,so as to provide a reference for the treatment of COVID-19 with traditional Chinese medicine.[Methods]The traditional Chinese medicine prescriptions used since the outbreak of COVID-19 in Hubei Province during the fight against the epidemic from February 25,2020 to February 14,2022,the traditional Chinese medicine prescriptions used by Guizhou traditional Chinese medicine expert team aiding Hubei Province,the traditional Chinese medicine prescriptions for rehabilitation and conditioning of patients in Ezhou of Hubei Province after discharge,the traditional Chinese medicine prescriptions for the prevention and treatment of COVID-19 in Guizhou Province,and the traditional Chinese medicine prescriptions for the treatment of COVID-19 collected from the end of 2019 to the present from the Chinese database of CNKI were collected as the data of this study.Excel was used to establish a database and enter it into the TCM inheritance calculation platform V3.5,and the association rules and k-means clustering algorithm were used to analyze the frequency of herbal medicines in prescriptions during the treatment of COVID-19,the frequency of four natures,five flavors,meridian distribution,and drug combinations.[Results]A total of 1859 COVID-19 patients treated with traditional Chinese medicine were included,and the proportion of males was higher than that of females,and middle-aged and elderly people were the most common group.A total of 2170 prescriptions of traditional Chinese medicine were included,involving a total of 383 traditional Chinese medicines.High-frequency medicines included poria,Radix Bupleuri,Radix Scutellariae,Herba Pogostemonis,Fructus Forsythiae,Flos Loniceraeetc.The four natures were mainly concentrated in cold,warm and neutral,and the five flavors were mainly concentrated in bitter,pungent and sweet.The herbal medicines were mainly attributed to the lungs and stomach meridians,and were mainly of heat-clearing,exterior syndrome-relieving and diuresis-promoting and damp-clearing types.A total of 24 high-frequency herbal combinations and 35 association rule were excavated,and 3 types of formulas were obtained by cluster analysis.[Conclusions]The analysis results and medicine combinations obtained in the formulas are consistent with the traditional Chinese medicine treatment theory of COVID-19 caused by wind-heat filth accompanied with damp and toxin.

Exploration on Teaching Reform of Synthetic Biology Course Based on the New Engineering Concept

Synthetic biology is a new frontier of life science,which aims to design,transform and even synthesize organisms with engineering design concept.Doing a good job in the teaching of"synthetic biology"is of great significance to the cultivation and reserve of biotechnology professionals in China,and also has an important impact on students' employment competitiveness.Under the background of"new engineering",the course reform of"synthetic biology"was carried out in terms of the construction of teaching staff,teaching methods,students' participation and the innovation of course content,and specific reform suggestions were put forward,hoping to effectively promote the sustainable development of"synthetic biology"and effectively improve the quality of education.

Density Clustering Algorithm Based on KD-Tree and Voting Rules

Traditional clustering algorithms often struggle to produce satisfactory results when dealing with datasets withuneven density. Additionally, they incur substantial computational costs when applied to high-dimensional datadue to calculating similarity matrices. To alleviate these issues, we employ the KD-Tree to partition the dataset andcompute the K-nearest neighbors (KNN) density for each point, thereby avoiding the computation of similaritymatrices. Moreover, we apply the rules of voting elections, treating each data point as a voter and casting a votefor the point with the highest density among its KNN. By utilizing the vote counts of each point, we develop thestrategy for classifying noise points and potential cluster centers, allowing the algorithm to identify clusters withuneven density and complex shapes. Additionally, we define the concept of “adhesive points” between two clustersto merge adjacent clusters that have similar densities. This process helps us identify the optimal number of clustersautomatically. Experimental results indicate that our algorithm not only improves the efficiency of clustering butalso increases its accuracy.

Practical effect of different teaching modes in teaching gastrointestinal surgery nursing

BACKGROUND With the continuous development and progress of medical technology,the position of surgical nursing in the field of clinical medicine is becoming in-creasingly prominent.As an important branch of the surgical field,the nursing requirements and difficulty of gastrointestinal surgery are also increasing.In order to improve the teaching quality of nursing care in gastrointestinal surgery,many educators and researchers are actively exploring new teaching methods.Among them,the teaching method case-based learning(CBL),scene-simulated learning(SSL),task-based learning(TBL),combining self-evaluation and training mode is considered as an effective method.This method aims to help students to better master knowledge and skills and improve their comprehensive quality by cultivating their self-evaluation ability.AIM To explore the practical effect of CBL-SSL-TBL combined with training mode and student self-assessment in nursing teaching of gastrointestinal surgery.METHODS Seventy-one nursing interns in our hospital from December 2020 to December 2021 were selected.According to different teaching modes,they were divided into observation group CBL-SSL-TBL combined with training mode combined with student self-assessment and control group(conventional teaching mode),of which 36 were in observation group and 35 were in control group.The results of operational skills,theoretical knowledge,nursing students'satisfaction,learning effectiveness questionnaire and teaching effect were compared between the two groups.RESULTS Compared between the two groups,the operational skills and theoretical knowledge scores of the observation group were higher than those of the control group,and the difference was statistically significant(P<0.05).Compared between the two groups,the total satisfaction ratio of the observation group was higher than that of the control group,the difference was statistically significant(P<0.05).Compared between the two groups,the observation group was lower than the control group in the questionnaire results of learning efficacy,and the difference was statistically significant(P<0.05).Compared between the two groups,the proportion of thinking ability,subjective initiative and understanding of theoretical knowledge in the observation group was higher than that in the control group,the difference was statistically significant(P<0.05).CONCLUSION The use of CBL-SSL-TBL combined with training mode and student self-assessment in gastrointestinal surgery nursing teaching can improve the operational skills of nursing interns,theoretical knowledge and satisfaction scores of nursing students,improve the results of learning efficiency questionnaire and teaching effect,which can be popularized in clinical teaching.

Improved STNModels and Heuristic Rules for Cooperative Scheduling in Automated Container Terminals

Improving the cooperative scheduling efficiency of equipment is the key for automated container terminals to copewith the development trend of large-scale ships. In order to improve the solution efficiency of the existing spacetimenetwork (STN) model for the cooperative scheduling problem of yard cranes (YCs) and automated guidedvehicles (AGVs) and extend its application scenarios, two improved STN models are proposed. The flow balanceconstraints in the original model are decomposed, and the trajectory constraints of YCs and AGVs are added toacquire the model STN_A. The coupling constraint in STN_A is updated, and buffer constraints are added toSTN_A so that themodel STN_B is built.As the size of the problem increases, the solution speed of CPLEX becomesthe bottleneck. So a heuristic method containing three groups of heuristic rules is designed to obtain a near-optimalsolution quickly. Experimental results showthat the computation time of STN_A is shortened by 49.47% on averageand the gap is reduced by 1.69% on average compared with the original model. The gap between the solution ofthe heuristic rules and the solution of CPLEX is less than 3.50%, and the solution time of the heuristic rules is onaverage 99.85% less than the solution time of CPLEX. Compared with STN_A, the computation time for solvingSTN_B increases by 58.93% on average.

Exploration of Teaching Reform of Food Machinery and Equipment Course Based on New Engineering Concept

The new engineering concept aims to train high-quality engineering talents to meet the needs of future science and technology and industrial development through the reform of education and teaching.Under the background of"new engineering",by introducing cutting-edge knowledge of the industry and interdisciplinary integration,adopting innovative teaching methods such as project-driven teaching and flipped classroom,strengthening experimental teaching and school-enterprise cooperation,and establishing comprehensive evaluation and feedback mechanism,Food Machinery and Equipment course is reformed to improve the teaching quality and train high-quality engineering talents to meet the needs of modern food processing industry.

Learning Vector Quantization-Based Fuzzy Rules Oversampling Method

Imbalanced datasets are common in practical applications,and oversampling methods using fuzzy rules have been shown to enhance the classification performance of imbalanced data by taking into account the relationship between data attributes.However,the creation of fuzzy rules typically depends on expert knowledge,which may not fully leverage the label information in training data and may be subjective.To address this issue,a novel fuzzy rule oversampling approach is developed based on the learning vector quantization(LVQ)algorithm.In this method,the label information of the training data is utilized to determine the antecedent part of If-Then fuzzy rules by dynamically dividing attribute intervals using LVQ.Subsequently,fuzzy rules are generated and adjusted to calculate rule weights.The number of new samples to be synthesized for each rule is then computed,and samples from the minority class are synthesized based on the newly generated fuzzy rules.This results in the establishment of a fuzzy rule oversampling method based on LVQ.To evaluate the effectiveness of this method,comparative experiments are conducted on 12 publicly available imbalance datasets with five other sampling techniques in combination with the support function machine.The experimental results demonstrate that the proposed method can significantly enhance the classification algorithm across seven performance indicators,including a boost of 2.15%to 12.34%in Accuracy,6.11%to 27.06%in G-mean,and 4.69%to 18.78%in AUC.These show that the proposed method is capable of more efficiently improving the classification performance of imbalanced data.

Research on Blended Teaching Mode:A Case Study of Floristry

In order to better carry out research on education and teaching,the author consulted relevant literature on blended teaching mode from 2011-2021 through CNKI,Web of Science and other websites,summarized and analyzed the research status of blended teaching mode,in order to lay a good foundation for studying blended teaching mode in course teaching.

A Structured Method of Teaching Epidural Block reduces the incidence of accidental dural puncture in inexperienced trainees.

Background: The rate of accidental dural puncture is particularly high during the period of training, especially in novices. The structured epidural teaching model (SETM) includes three standardized video lessons, the construction of a 3D epidural module by trainees and practical training by using an epidural simulator with and without the CompuFlo™ Epidural instrument. In this study we report the retrospective analysis of the accidental dural puncture rate of inexperienced trainees during their 6 months clinical practice rotation in obstetrics before and after the introduction of the SETM in our Institution. Method: We evaluated the incidence of accidental dural puncture before the introduction of the SETM methodology and afterwards by analyzing our departmental database from February 2019 to January 2023. All epidural blocks were executed by trainees who had never previously performed an epidural block and were about to begin their obstetrics rotation. Results: We analyzed 7415 epidurals: 3703 were performed before the introduction of the SETM methodology (control group) and 3712 afterwards (study group). The incidence of accidental dural puncture was 0.37% for the control group and 0.13% for the study group (p<.05). The probability of making an accidental dural puncture was 64% (OR: 0.36) lower for trainees who had the training than for those who did not. Conclusions: After the introduction of the structured teaching method, we observed a significant reduction of accidental dural puncture during the training period. We hope that our observation will encourage a constructive discussion among experts about the need to use standardized and validated tools as a valuable aid in teaching epidural anesthesia.

Thinking on Improving Presentation Teaching-Based on the Empirical Analysis of Presentation in College English Classes of Junior Non-English Majors in Universities of Science and Engineering

Based on the empirical investigation of presentation in college English classes for junior non-English majors in science and engineering universities,the author explains her own thinking on how to improve presentation teaching from four aspects:setting teaching objectives,selecting teaching contents,using teaching methods,and evaluating and implementing methods.

Principles of Shiology——Revealing the Basic Rules of Human Shiance

The objective principles of shiology are mainly reflected in three fields as food acquisition, eaters' health and shiance order. Most of the objective principles in the field of food acquisition have been revealed by agronomy and foodstuff science. This research mainly focuses on 10 principles in the field of eaters' health and shiance order and in addition, there are also five lemmas that extend from the above principles. The 10 principles are the core theory of the shiology knowledge system, which play an important role in the objective principles revealed by human beings and constitute one of the basic principles of human civilization. Compared with the scientific principles of mathematics, physics, chemistry and economics, the principles of shiology have three characteristics as popularity, practicability and survivability. The principles of shiology in the field of eaters' health are all around us, and everyone can understand and master them. Using the principles of shiology can improve the healthy life span of 8 billion people. The principles of shiology in the field of shiance order is an important tool of social governance, which can reduce human social conflicts, reduce social involution, improve overall efficiency of social operation, and maintain the sustainable development of human beings.

Reform of Hospitality English Teaching Based on the Educational Concept of Outcome-Based Education(OBE)

The Outcome-Based Education(OBE)educational concept,proposed by renowned American educator Spady,aims to guide students in mastering learning laws and ultimately achieving expected learning outcomes.The application of OBE educational concept in Hospitality English curriculum not only can effectively enhance the learning effect but also promote the reform of the Hospitality English curriculum,thus improving students’learning enthusiasm.Therefore,taking the Hospitality English curriculum as an example,this paper points out the existing problems in the teaching of this course and suggests the reform measures based on the OBE teaching concept,hoping to provide guidelines for related educational work.

Construction and Practice of Teaching Evaluation System Based on Data Mining

The teaching quality evaluation system based on data mining technology can accurately and fairly identify the core driving factors to improve teaching quality.This method adopts the analysis of big data correlation rules,including data collection and processing preparation steps,builds the data warehouse of association rules,and then generates an educational quality evaluation framework using the principle of data mining.Based on this,this paper analyzes the construction design and method of the teaching evaluation system under data mining,hoping to provide help for the improvement of the teaching evaluation system and the improvement of teaching quality.

Student-Centered Strategy in Academic English Teaching

Based on the current situation of academic English teaching, this paper discusses “student-centered” teaching strategy in the Academic English Reading and Writing, and explore how to integrate it in classroom activities.

Application of Perceived Teaching with Moderate Elimination of“Graphics”in Architectural Design Courses

Starting from the traditional form of“graphic”architectural education,this paper explores a teaching method of entity construction experience,instrument assistance,and digital virtual expression symbiosis symbiosis from three aspects:environmental perception,ontology perception,and extension perception.Using physical perception as a medium,and gradually rising from active perception to a comprehensive expression of visual audience perception through practical operation,it allows students to have a more comprehensive understanding of the meaning of architectural design on the basis of the“graphic”expression paradigm.

Opinions of Students on the Contribution of the DIVA 3D Virtual Dissection Table to the Teaching of Anatomy at the Faculty of Medicine and Odontostomatology of Bamako

Objective: Study the contribution of the DIVA 3D dissection table in the teaching of anatomy at the Faculty of Medicine and Odontology of Bamako. Material and Methods: This was a qualitative study carried out from November 1 to December 30, 2023 at the clinical and morphological anatomy laboratory of the Faculty of Medicine and Odontostomatology of Bamako. Included in this study were students who participated in practical and tutorial sessions. The variables studied during this study were: the previous performance of dissection on a cadaver by the students, the opinion of the students on dissection on a cadaver, the replacement of dissection on a cadaver by virtual dissection in the absence of a body, the level student satisfaction. Results: We surveyed 130 participants. The average age was 22 ± 0.2 years with extremes of 17 and 29 years. 95.3% of participants were students. According to 66.7% of participants, virtual dissection is a good palliative in the absence of a corpse. 95.3% of participants found using the virtual dissection table easy with an average of 7.88 ± 1.4. The overall assessment was well rated by 99.3% of participants. Conclusion: According to the results of this study, the virtual dissection table should be improved by integrating commented videos. The use of the DIVA 3D virtual dissection table during practical and tutorial sessions is well appreciated by the students. We believe that the teaching of anatomy using 3D digital technology should be included in the study programs of the Faculty of Medicine and Odontostomatology.

Exploration of the Teaching Path of Landscape Architecture in the Context of New Media Environment

The rapid advancement of network information technology has established new media technology as a significant tool for instruction in higher education both domestically and internationally.Its impact has increasingly extended into the realm of landscape architecture education,resulting in unprecedented transformations and innovative potential within traditional teaching methodologies.This study initially delineates the conceptual framework of new media technologies and subsequently conducts a comprehensive analysis of the novel opportunities and challenges that advancements in these technologies present for landscape architecture education.This study examines the effective integration of new media technology into the teaching of landscape architecture within the context of the new media environment.The objective is to innovate and modernize teaching methodologies,thereby enhancing students academic interest and fostering their capacity for innovation.Finally,several strategic recommendations for reforming teaching practices within the context of the new media environment in landscape architecture are presented,aiming to serve as a valuable reference for educators in the field.