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).

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.

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.

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.

Assessment of International GNSS Service Global Ionosphere Map products over China region based on measurements from the Crustal Movement Observation Network of China

The global ionosphere maps(GIM)provided by the International GNSS Service(IGS)are extensively utilized for ionospheric morphology monitoring,scientific research,and practical application.Assessing the credibility of GIM products in data-sparse regions is of paramount importance.In this study,measurements from the Crustal Movement Observation Network of China(CMONOC)are leveraged to evaluate the suitability of IGS-GIM products over China region in 2013-2014.The indices of mean error(ME),root mean square error(RMSE),and normalized RMSE(NRMSE)are then utilized to quantify the accuracy of IGS-GIM products.Results revealed distinct local time and latitudinal dependencies in IGS-GIM errors,with substantially high errors at nighttime(NRMSE:39%)and above 40°latitude(NRMSE:49%).Seasonal differences also emerged,with larger equinoctial deviations(NRMSE:33.5%)compared with summer(20%).A preliminary analysis implied that the irregular assimilation of sparse IGS observations,compounded by China’s distinct geomagnetic topology,may manifest as error variations.These results suggest that modeling based solely on IGS-GIM observations engenders inadequate representations across China and that a thorough examination would proffer the necessary foundation for advancing regional total electron content(TEC)constructions.

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.

A Study on Chengdu Museum’s Endeavor to Expand Its International Influence

Expanding a city’s cultural influence through museums is a growing trend in local efforts to promote cultural advancement and communication in China in the context of international engagement in the new era.Chengdu Museum,which opened its new venue to the public in 2016,has emphasized the importance of engagement with foreign visitors as a key focus of its recent development.This aligns with Chengdu’s goal of establishing itself as a world-renowned cultural and creative city during the 14th Five-Year Plan period(2021–2025).This paper summarizes the approaches of renowned Chinese and foreign museums to expanding their international influence,citing examples such as the British Museum,the Louvre Museum,and the National Museum of China.Based on a case study of Chengdu Museum’s efforts to enhance its international communication capacity since 2016,several suggestions are put forward for urban museums regarding how to increase research capability,create a media matrix,and develop cloud exhibition platforms.This study aims to provide some insights for museums to effectively integrate resources to preserve urban culture urban culture and enhance the global influence of Chinese culture.

New food sources and production systems:a comparison of international regulations and China’s advancements in novel foods with synthetic biology

The global shift towards sustainable food systems has sparked innovations in food sources and production systems,including cell-based meat,plant-based food products,precision fermentation,and 3D food printing.These advancements pose regulatory challenges and opportunities,with China emerging as a critical player in adopting and regulating new food technologies.This review explores the international landscape of new food sources and production systems(NFPS),focusing on China’s role and regulatory approaches compared to global practices.Through this comparative analysis,we aim to contribute to the ongoing dialogue on food safety regulation,offering insights and recommendations for policymakers,industry stakeholders,and researchers engaged in the global food system’s evolution.This comprehensive overview underscores the dynamic nature of regulatory frameworks governing NFPS,highlighting the international efforts to ensure food safety,consumer protection,and the sustainable evolution of the food industry.

Exploring the impacts of major events on the systemic risk of the international energy market

This study examines the systemic risk caused by major events in the international energy market(IEM)and proposes a management strategy to mitigate it. Using the tail-event driven network(TENET)method, this study constructed a tail-risk spillover network(TRSN) of IEM and simulated the dynamic spillover tail-risk process through the cascading failure mechanism. The study found that renewable energy markets contributed more to systemic risk during the Paris Agreement and the COVID-19pandemic, while fossil energy markets played a larger role during the Russia-Ukraine conflict. This study identifies systemically important markets(SM) and critical tail-risk spillover paths as potential sources of systemic risk. The research confirms that cutting off the IEM risk spillover path can greatly reduce systemic risk and the influence of SM. This study offers insights into the management of systemic risk in IEM and provides policy recommendations to reduce the impact of shock events.

International Communication of Acupuncture and Moxibustion Popular in the West

With the development of traditional Chinese medicine(TCM)acupuncture and moxibustion,research on acupuncture and moxibustion in the Western world is deepening.The concept of acupuncture and moxibustion popular in the West is formed.By investigating the localization of acupuncture and moxibustion in the Western world,this paper introduces several kinds of acupuncture and moxibustion popular in the West and concludes the spread of acupuncture and moxibustion popular in the West through hospitals and clinics,academic works,social organizations,education,and training.This paper provides a global vision developing domestic acupuncture and moxibustion and promoting academic prosperity and technical progress of world acupuncture and moxibustion system.

A Study on the Symbol-Based Narrative in the International Communication of Cities

Cultural symbols,a manifestation of cities’cultural resources,are not only signs that frame concepts but also forms that express meanings.Exploring the international communication of cities from the perspective of symbols,this paper analyzes in depth how cities create their cultural symbols in the dynamic process of international communication in an era of symbol-based digital media,and how they develop their narratives and explain meanings through the dissemination of symbols when telling their stories to international audiences,thus enhancing the efficiency and effectiveness of their international communication efforts.

Establishing a mechanism for international cooperation for Fukushima nuclear-contaminated water monitoring

The Japanese government’s unilateral decision to discharge the nuclear-contaminated water from the Fukushima nuclear power plant into the ocean has caused immense nuclear safety risks.Monitoring the unclear contaminated water is a starting point to combat these risks and seek remedies for the rights and interests of all concerned parties.The establishment of a mechanism for international cooperation in this respect is necessary to handle the risks of the Fukushima nuclear-contaminated water and to lay the foundation of a framework for tackling any future disposal of nuclear-contaminated water following Japan’s example.At present,the international legal systems in the spheres of nuclear safety and security,marine environmental protection,and other areas,as well as the questioning of the monitoring reports of the International Atomic Energy Agency(IAEA)by the relevant parties,the monitoring practices of historical nuclear accidents,and numerous radioactivity monitoring mechanisms have provided the institutional and practical basis for constructing such a mechanism.The mechanism can be promoted by the IAEA through its existing mechanisms or be jointly initiated by China,the Russian Federation,the Republic of Korea,the Democratic People’s Republic of Korea,and the Pacific Island countries,among other stakeholders.Specifically,this mechanism should consist of three levels:first,the framework of the basic legal system,including the cooperative principles of national sovereignty,interest-relatedness,and procedural fairness,and the signing of the Framework Convention on the Monitoring of Fukushima’s nuclear-contaminated water and its Optional Protocol;second,the organizational structure and its responsibilities,which may include the Conference of Parties as the decision-making body,the Secretariat as the central coordinating body,and the monitoring committees in various fields as specific implementing agencies;and third,specific administrative arrangements,which involve the standardization of monitoring,the management system of monitoring networks and stations,the rules for monitoring procedures,and the rules for the utilization of the monitoring data,etc.With the urgent need for the scientific and fair monitoring of Fukushima’s nuclear-contaminated water,China,as a stakeholder country,can promote the establishment of such a mechanism for monitoring nuclear-contaminated water through the following paths:①It is necessary to clarify the factors affecting the construction of an international cooperation mechanism for monitoring nuclear-contaminated water so as to ascertain the standpoints of the stakeholders,claims of their interests,contents of their cooperation,and the relevant international relations.②On the basis of existing practices,China should consider improving the monitoring mechanism to cope with the risks of the discharge of Fukushima’s nuclear-contaminated water by formulating targeted policies and systems,setting up specialized monitoring institutions,and establishing a systematic monitoring network system.③This is an effective way for China to actively promote the participation of stakeholders in the construction of an international cooperation mechanism for monitoring nuclear-contaminated water in Fukushima by further innovating the dissemination mechanism to address the risk of Fukushima’s nuclear-contaminated water discharging into the sea and facilitating the identification of issues for international cooperation in monitoring Fukushima’s nuclear-contaminated water based on the concept of a community with a shared future for mankind.

Impact of US Financial Sanctions on the Dollar's International Status

In 2022,the United States stepped up its sanctions on Russia.Most notably,it restricted the flow of the Russian Central Bank's foreign exchange(forex)assets,using financial administrative power as a source of strategic leverage.This move should have reduced the appeal of US dollar assets but in reality has not accelerated as expected the decline of the greenback as a store of value.The US dollar's share of global forex reserves increased instead of decreased during 2022 and 2023.Despite the rise of economic costs caused by tightened US financial sanctions,countries that recognize the geopolitical role of the United States have further accepted the dollar's international status;their continued willingness to live with the dollar's“security premium”has given a fillip to the US dollar in the short term,boosting its appeal as a reserve currency.Meanwhile,de-dollarization of forex reserves has yet to reach a sufficient scale,thus falling short of significantly challenging the dollar's reign.From a longer-term perspective,as economic and security conditions shift,countries that accept the dollar's international role or seek de-dollarization may change their choices.As a result,four possible scenarios may arise:(i)the preeminence of the US dollar remains unthreatened;(ii)the international monetary system splits into blocs;(iii)the international monetary system fragments;and(iv)the dollar loses its throne.The author believes that the last scenario is the most likely outcome.

Research on Jiangxi’s International Image Based on NOW Corpus

This paper retrieves and classifies reports on Jiangxi from 2010 to June 2024 in the NOW corpus,analyzing the status quo of Jiangxi’s international image portrayed by English news media through word frequency and collocates.It is found that international attention towards Jiangxi is closely related to the holding of the World Conference on VR Industry in Nanchang,and there are apparent regional disparities.With a severe labeling of its mining industry,Jiangxi’s international image lacks independence and distinctiveness,resulting in a relatively monotonous overall image.Based on this,relevant suggestions for further enhancing Jiangxi’s international image are proposed.

Adoption of network and plan-do-check-action in the international classification of disease 10 coding

BACKGROUND with the widespread application of computer network systems in the medical field,the plan-do-check-action(PDCA)and the international classification of diseases tenth edition(ICD-10)coding system have also achieved favorable results in clinical medical record management.However,research on their combined application is relatively lacking.Objective:it was to explore the impact of network systems and PDCA management mode on ICD-10 encoding.Material and Method:a retrospective collection of 768 discharged medical records from the Medical Record Management Department of Meishan People’s Hospital was conducted.They were divided into a control group(n=232)and an observation group(n=536)based on whether the PDCA management mode was implemented.The two sets of coding accuracy,time spent,case completion rate,satisfaction,and other indicators were compared.AIM To study the adoption of network and PDCA in the ICD-10.METHODS A retrospective collection of 768 discharged medical records from the Medical Record Management Department of Meishan People’s Hospital was conducted.They were divided into a control group(n=232)and an observation group(n=536)based on whether the PDCA management mode was implemented.The two sets of coding accuracy,time spent,case completion rate,satisfaction,and other indicators were compared.RESULTS In the 3,6,12,18,and 24 months of PDCA cycle management mode,the coding accuracy and medical record completion rate were higher,and the coding time was lower in the observation group as against the controls(P<0.05).The satisfaction of coders(80.22%vs 53.45%)and patients(84.89%vs 51.72%)in the observation group was markedly higher as against the controls(P<0.05).CONCLUSION The combination of computer networks and PDCA can improve the accuracy,efficiency,completion rate,and satisfaction of ICD-10 coding.

Discovering hidden patterns:Association rules for cardiovascular diseases in type 2 diabetes mellitus

BACKGROUND It is increasingly common to find patients affected by a combination of type 2 diabetes mellitus(T2DM)and coronary artery disease(CAD),and studies are able to correlate their relationships with available biological and clinical evidence.The aim of the current study was to apply association rule mining(ARM)to discover whether there are consistent patterns of clinical features relevant to these diseases.ARM leverages clinical and laboratory data to the meaningful patterns for diabetic CAD by harnessing the power help of data-driven algorithms to optimise the decision-making in patient care.AIM To reinforce the evidence of the T2DM-CAD interplay and demonstrate the ability of ARM to provide new insights into multivariate pattern discovery.METHODS This cross-sectional study was conducted at the Department of Biochemistry in a specialized tertiary care centre in Delhi,involving a total of 300 consented subjects categorized into three groups:CAD with diabetes,CAD without diabetes,and healthy controls,with 100 subjects in each group.The participants were enrolled from the Cardiology IPD&OPD for the sample collection.The study employed ARM technique to extract the meaningful patterns and relationships from the clinical data with its original value.RESULTS The clinical dataset comprised 35 attributes from enrolled subjects.The analysis produced rules with a maximum branching factor of 4 and a rule length of 5,necessitating a 1%probability increase for enhancement.Prominent patterns emerged,highlighting strong links between health indicators and diabetes likelihood,particularly elevated HbA1C and random blood sugar levels.The ARM technique identified individuals with a random blood sugar level>175 and HbA1C>6.6 are likely in the“CAD-with-diabetes”group,offering valuable insights into health indicators and influencing factors on disease outcomes.CONCLUSION The application of this method holds promise for healthcare practitioners to offer valuable insights for enhancing patient treatment targeting specific subtypes of CAD with diabetes.Implying artificial intelligence techniques with medical data,we have shown the potential for personalized healthcare and the development of user-friendly applications aimed at improving cardiovascular health outcomes for this high-risk population to optimise the decision-making in patient care.

Exploration on Teaching Reform of Medical Functional Experimental Science for International Students

Medical Functional Experiment Science, a bridge between basic medicine and clinical medicine, integrates classical experimental teaching contents of three courses including physiology, pathophysiology and pharmacology. This course not only helps students to verify and reinforce theoretical knowledge, but also cultivates their capability of scientific thinking to discover and solve problems. Based on the characteristics of international students and current situation of the teaching platform in the laboratory at Yangtze University, this paper discusses a series of problems in the Medical Functional Experiment Science teaching for international students and puts forward some measures for teaching reform including optimizing experimental content, innovating experimental teaching methods and establishing effective experimental evaluation mode, in order to cultivate more international medical students with innovative ability.

Influence of Quantum Information Technology on International Security

Humanity is currently undergoing the fourth industrial revolution,characterized by advancements in artificial intelligence,clean energy,quantum information technology,virtual reality,and biotechnology.This technological revolution is poised to have a profound impact on the world.Quantum information technology encompasses both quantum computing and the transmission of quantum information.This article aims to integrate quantum information technology with international security concerns,exploring its implications for international security and envisioning its groundbreaking significance.

Verification and Application Evaluation of Intelligent Audit Rules for The UN9000 Urine Analysis System

Objective:To apply and verify the application of intelligent audit rules for urine analysis by Cui et al.Method:A total of 1139 urine samples of hospitalized patients in Tai’an Central Hospital from September 2021 to November 2021 were randomly selected,and all samples were manually microscopic examined after the detection of the UN9000 urine analysis line.The intelligent audit rules(including the microscopic review rules and manual verification rules)were validated based on the manual microscopic examination and manual audit,and the rules were adjusted to apply to our laboratory.The laboratory turnaround time(TAT)before and after the application of intelligent audit rules was compared.Result:The microscopic review rate of intelligent rules was 25.63%(292/1139),the true positive rate,false positive rate,true negative rate,and false negative rate were 27.66%(315/1139),6.49%(74/1139),62.34%(710/1139)and 3.51%(40/1139),respectively.The approval consistency rate of manual verification rules was 84.92%(727/856),the approval inconsistency rate was 0%(0/856),the interception consistency rate was 12.61%(108/856),and the interception inconsistency rate was 0%(0/856).Conclusion:The intelligence audit rules for urine analysis by Cui et al.have good clinical applicability in our laboratory.

Review of Arbitral Award of Network Loan and Analysis of Construction of Implementation Review Rules

The network arbitration cases arising from the network lending disputes are pouring into the courts in large numbers.It is reported that the network arbitration system of some arbitration institutions even“can accept more than 10,000 cases every day,”while online lending is booming,it has also caused a lot of contradictions and disputes,and traditional dispute resolution methods have failed to effectively respond to the need for efficient and convenient resolution of online lending disputes.This paper tries to study the arbitral award of online loans and proposes the construction of implementation review rules.