The modal is a type of auxiliary verb that is used to indicate modality.There are thirteen modal auxiliaries including some past tense forms.In this paper,the modals and semi-modals will be studied through analyzing f...The modal is a type of auxiliary verb that is used to indicate modality.There are thirteen modal auxiliaries including some past tense forms.In this paper,the modals and semi-modals will be studied through analyzing fifteen sample sentences and referring some grammar books.At last,some suggestions for ESL or ESL teacher to teach modals will be provided.展开更多
In this research, the author considers the evidence provided by a corpus of Late Modem English grammars for our understanding of the development of the modals as politeness markers. It is possible to see how the modal...In this research, the author considers the evidence provided by a corpus of Late Modem English grammars for our understanding of the development of the modals as politeness markers. It is possible to see how the modals and their accompanied senses are explained in an official （and often either prescriptive or proscriptive） perspective. This is another aspect which cannot be ascertained from the usage based on corpora which seem to be popular as sources of evidence in historical pragmatics. In this sense, this research brings some novel perspective to this aspect of academic study. It is possible to notice that the significations involves concept or senses which extend across a semantic--pragmatic domain which includes politeness. We can see that certain softening senses are key elements to mark polite usage. The main data used come from the descriptions of the modal auxiliary verb in a corpus of grammar books from the period. Usage and manner books are also consulted as a secondary resource. The manner book in particular is quite helpful for our understanding of how linguistic politeness was regarded at the time. Such texts also help us to find a certain network of senses which are related to polite expressions.展开更多
With the development of global economy, more and more business negotiations are proceeding in which conflicts and disputes are inevitable. Business negotiations involve interpersonal relationships, which is usually ex...With the development of global economy, more and more business negotiations are proceeding in which conflicts and disputes are inevitable. Business negotiations involve interpersonal relationships, which is usually expressed by mood and modality. Modal verbs, as an essential approach for expressing politeness with rich meanings of modality, are widely employed in business negotiations.This paper focuses on analyzing the polite usages of modal verbs in business negotiations by Politeness Principle. Based on this theory, three interpersonal functions expressed by modal verbs are to be studied: Cost-and-Benefit, Humor and Choice.展开更多
An articulated vehicle is simplified as a multibody system. tires are simplified asparagraphic linear springs with damping, and the differential equations of system motion aregiven. Taking the ZL10 loader as an exampl...An articulated vehicle is simplified as a multibody system. tires are simplified asparagraphic linear springs with damping, and the differential equations of system motion aregiven. Taking the ZL10 loader as an example, and measuring three-dimensional dynamicstiffness and damping of the tires, seven orders of natural frequencies and related natural modesare obtained by modal analysis, and shown on the computer with three-dimensional moving pic-tures. The following conclusions are obtained: the first order frequency relates to the horizontalstability, the second order frequency relates to the vertical stability, and each order of frequencyrelates to the comfortability. All results of this work can be applied .to monitor stability and eval-uate comfortability.展开更多
Present of wind power is sporadically and cannot be utilized as the only fundamental load of energy sources.This paper proposes a wind-solar hybrid energy storage system(HESS)to ensure a stable supply grid for a longe...Present of wind power is sporadically and cannot be utilized as the only fundamental load of energy sources.This paper proposes a wind-solar hybrid energy storage system(HESS)to ensure a stable supply grid for a longer period.A multi-objective genetic algorithm(MOGA)and state of charge(SOC)region division for the batteries are introduced to solve the objective function and configuration of the system capacity,respectively.MATLAB/Simulink was used for simulation test.The optimization results show that for a 0.5 MW wind power and 0.5 MW photovoltaic system,with a combination of a 300 Ah lithium battery,a 200 Ah lead-acid battery,and a water storage tank,the proposed strategy reduces the system construction cost by approximately 18,000 yuan.Additionally,the cycle count of the electrochemical energy storage systemincreases from4515 to 4660,while the depth of discharge decreases from 55.37%to 53.65%,achieving shallow charging and discharging,thereby extending battery life and reducing grid voltage fluctuations significantly.The proposed strategy is a guide for stabilizing the grid connection of wind and solar power generation,capability allocation,and energy management of energy conservation systems.展开更多
Accurately estimating the State of Health(SOH)and Remaining Useful Life(RUL)of lithium-ion batteries(LIBs)is crucial for the continuous and stable operation of battery management systems.However,due to the complex int...Accurately estimating the State of Health(SOH)and Remaining Useful Life(RUL)of lithium-ion batteries(LIBs)is crucial for the continuous and stable operation of battery management systems.However,due to the complex internal chemical systems of LIBs and the nonlinear degradation of their performance,direct measurement of SOH and RUL is challenging.To address these issues,the Twin Support Vector Machine(TWSVM)method is proposed to predict SOH and RUL.Initially,the constant current charging time of the lithium battery is extracted as a health indicator(HI),decomposed using Variational Modal Decomposition(VMD),and feature correlations are computed using Importance of Random Forest Features(RF)to maximize the extraction of critical factors influencing battery performance degradation.Furthermore,to enhance the global search capability of the Convolution Optimization Algorithm(COA),improvements are made using Good Point Set theory and the Differential Evolution method.The Improved Convolution Optimization Algorithm(ICOA)is employed to optimize TWSVM parameters for constructing SOH and RUL prediction models.Finally,the proposed models are validated using NASA and CALCE lithium-ion battery datasets.Experimental results demonstrate that the proposed models achieve an RMSE not exceeding 0.007 and an MAPE not exceeding 0.0082 for SOH and RUL prediction,with a relative error in RUL prediction within the range of[-1.8%,2%].Compared to other models,the proposed model not only exhibits superior fitting capability but also demonstrates robust performance.展开更多
In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset ...In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset spaces which are more general than topological spaces.The minimal modal logic which is strongly sound and complete with respect to the class of subset spaces is found.Soundness and completeness results of some famous modal logics(e.g.S4,S5 and Tr)with respect to various important classes of subset spaces(eg intersection structures and complete fields of sets)are also proved.In the meantime,some known results,e.g.the soundness and completeness of Tr with respect to the class of discrete topological spaces,are proved directly using some modifications of the method of canonical mode1,without a detour via neighbourhood semantics or relational semantics.展开更多
In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided i...In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.展开更多
Normal mode extraction has attracted extensive attention over the past few decades due to its practical value in enhancing the performance of underwater acoustic signal processing.Singular value decomposition(SVD)is a...Normal mode extraction has attracted extensive attention over the past few decades due to its practical value in enhancing the performance of underwater acoustic signal processing.Singular value decomposition(SVD)is an effective method to extract modal depth functions using vertical line arrays(VLA),particularly in scenarios when no prior environment information is available.However,the SVD method requires rigorous orthogonality conditions,and its performance severely degenerates in the presence of mode degeneracy.Consequently,the SVD approach is often not feasible in practical scenarios.This paper proposes a full rank decomposition(FRD)method to address these issues.Compared to the SVD method,the FRD method has three distinct advantages:1)the conditions that the FRD method requires are much easier to be fulfilled in practical scenarios;2)both modal depth functions and wavenumbers can be simultaneously extracted via the FRD method;3)the FRD method is not affected by the phenomenon of mode degeneracy.Numerical simulations are conducted in two types of waveguides to verify the FRD method.The impacts of environment configurations and noise levels on the precision of the extracted modal depth functions and wavenumbers are also investigated through simulation.展开更多
BACKGROUND Glaucoma is the leading cause of irreversible blindness worldwide,with 60.5 million affected individuals,of whom 11 million are from India.Due to its asymptomatic nature,the disease largely remains underdia...BACKGROUND Glaucoma is the leading cause of irreversible blindness worldwide,with 60.5 million affected individuals,of whom 11 million are from India.Due to its asymptomatic nature,the disease largely remains underdiagnosed or diagnosed in advanced stages,where little can be done to salvage functional vision.The literature suggests that a lack of knowledge is one of the reasons for its grave consequences.Assessment of awareness is the first step in planning management.Several studies have been conducted in the Indian community,but data from healthcare providers,who play a significant role in educating the masses directly or indirectly,are limited.AIM To identify awareness,knowledge,and attitudes about glaucoma among healthcare workers in a tertiary center in India.METHODS This cross-sectional study was conducted at a tertiary care institute in Eastern India.Data were collected from 423 participants by systematic stratified sampling after Institutional Ethics Committee approval via a pretested,self-designed,semistructured,validated questionnaire.Statistical analyses were performed using the Statistical Package for Social Sciences Software v22.0.Continuous variables are expressed as the means±SD for parametric values and medians with interquartile ranges for nonparametric values.The associations between the variables were studied via multivariate linear and logistic regression.P<0.05 was considered statistically significant.RESULTS Most respondents were 20–30 years old(n=345,81.6%).The knowledge regarding glaucoma was good,and almost 56.3%of the participants gained knowledge from their medical training.The majority were aware that it has a familial predisposition and is secondary to high intraocular pressure,leading to irreversible peripheral vision loss.Only 42%knew about the life-long requirements of treatment.The resident group scored highest on knowledgeand attitude-based questions,whereas the faculty group scored highest on practice-based questions.Although 62%of the nursing staff had good attitude scores,their knowledge and practice scores were lower.The occupation group response difference was statistically significant(P<0.05)for all the knowledge-based questions.CONCLUSION Although the majority of healthcare providers are aware of glaucoma,there is a dearth of knowledge about treatment modalities.Education via seminars and media can improve their knowledge,attitudes,and practices.展开更多
This paper addresses the problem of a viscoelastic Euler-Bernoulli beam under the influence of a constant velocity moving mass and different types of appendages.Four types of boundary conditions are considered:pinned-...This paper addresses the problem of a viscoelastic Euler-Bernoulli beam under the influence of a constant velocity moving mass and different types of appendages.Four types of boundary conditions are considered:pinned-pinned,fixed-pinned,fixed-free(or cantilever),and fixed-fixed.Appendages considered include lumped masses,dampers,and springs.The modal decomposition method is employed to derive the equation of motion of the beam,for which an analytical closed-form expression of the dynamic vibration response is generated.The proposed method enables the study of the effect of a single appendage or a combination of the three types of appendages on the non-dimensional dynamic response of the beam.Numerical examples are presented to illustrate the effects of these appendages and compare them to the reference cases of a beam with no appendages.The results demonstrate the importance of considering these parameters in the design of structures.The proposed method is compared to other techniques in the literature and found to be advantageous due to its direct approach.The method also offers a versatile tool for investigating various configurations,aiding in engineering design and structural analysis for which establishing a precise prediction of beam vibrations is crucial.展开更多
Accurate brain tumour segmentation is critical for diagnosis and treatment planning, yet challenging due to tumour complexity. Manual segmentation is time-consuming and variable, necessitating automated methods. Deep ...Accurate brain tumour segmentation is critical for diagnosis and treatment planning, yet challenging due to tumour complexity. Manual segmentation is time-consuming and variable, necessitating automated methods. Deep learning, particularly 3D U-Net architectures, has revolutionised medical image analysis by leveraging volumetric data to capture spatial context, enhancing segmentation accuracy. This paper reviews brain tumour segmentation methods, emphasising 3D U-Net advancements. We analyse contributions from the Brain Tumour Segmentation (BraTS) challenges (2014-2023), highlighting key improvements and persistent challenges, including tumour heterogeneity, limited annotated data, varied imaging protocols, computational constraints, and model generalisation. Unlike previous reviews, we synthesise these challenges, proposing targeted research directions: enhancing model robustness through domain adaptation and multi-institutional data sharing, developing lightweight architectures for clinical deployment, integrating multi-modal and clinical data, and incorporating explainability techniques to build clinician trust. By addressing these challenges, we aim to guide future research toward developing more robust, generalisable, and clinically applicable segmentation models, ultimately improving patient outcomes in neuro-oncology.展开更多
The cross-modal person re-identification task aims to match visible and infrared images of the same individual.The main challenges in this field arise from significant modality differences between individuals and the ...The cross-modal person re-identification task aims to match visible and infrared images of the same individual.The main challenges in this field arise from significant modality differences between individuals and the lack of high-quality cross-modal correspondence methods.Existing approaches often attempt to establish modality correspondence by extracting shared features across different modalities.However,these methods tend to focus on local information extraction and fail to fully leverage the global identity information in the cross-modal features,resulting in limited correspondence accuracy and suboptimal matching performance.To address this issue,we propose a quadratic graph matching method designed to overcome the challenges posed by modality differences through precise cross-modal relationship alignment.This method transforms the cross-modal correspondence problem into a graph matching task and minimizes the matching cost using a center search mechanism.Building on this approach,we further design a block reasoning module to uncover latent relationships between person identities and optimize the modality correspondence results.The block strategy not only improves the efficiency of updating gallery images but also enhances matching accuracy while reducing computational load.Experimental results demonstrate that our proposed method outperforms the state-of-the-art methods on the SYSU-MM01,RegDB,and RGBNT201 datasets,achieving excellent matching accuracy and robustness,thereby validating its effectiveness in cross-modal person re-identification.展开更多
Aging is a persistent topic of interest,with skin aging as its most visible manifestation,characterized by a reduction in intact collagen and elastic fibers in the dermis.Hyaluronic acid,a vital component of the extra...Aging is a persistent topic of interest,with skin aging as its most visible manifestation,characterized by a reduction in intact collagen and elastic fibers in the dermis.Hyaluronic acid,a vital component of the extracellular matrix present in the skin,has become a mainstream method for skin rejuvenation through injections.However,the rapid degradation of pure hyaluronic acid,combined with insufficient maintenance duration and often limited therapeutic effects,presents significant challenges for injectable treatments.Additionally,low patient compliance due to discomfort from needles penetrating the dermal layer further complicates its use.In this review,we summarize and compare existing interventions for skin aging,focusing on strategies to prolong the degradation cycle of hyaluronic acid,including variations in cross-linking modalities and injection techniques.We conclude that the injection of cross-linked modified hyaluronic acid via microneedles represents a promising approach to extend the degradation cycle,offering valuable insights for current therapeutic strategies.展开更多
Reinforced concrete buildings may experience partial damage after earthquakes or some human-induced actions.A decision about the future of those buildings requires detailed analyses,while determining the dynamic chara...Reinforced concrete buildings may experience partial damage after earthquakes or some human-induced actions.A decision about the future of those buildings requires detailed analyses,while determining the dynamic characteristics of a real building in its pre-and post-event situations can guide the analysis.Hence,this study was planned to monitor the dynamic response of an existing six-story,reinforced concrete building with regard to structural damage.The modal characteristics of the original building were initially determined by the use of operational modal analysis.Next,three steps of progressive structural damage were applied to the building.The first damage level peeled off the clear cover of a beam and three columns on a corner of the building’s ground floor.whereas the second and third levels completely razed the damaged columns.Operational modal analysis was repeated at each damage stage to extract the frequencies and detailed mode shapes.Moreover,numerical models based on the finite element method were constructed to confirm the obtained experimental findings.The well-agreed experimental and numerical findings revealed the damage sensitivity of the building’s dynamic response.The quantified amount of frequency change favored a retrofit of the partially damaged buildings rather than their replacement.展开更多
BACKGROUND Sarcopenia is prevalent among patients with end-stage liver disease(ESLD)and is associated with adverse outcomes both before and after liver transplantation(LT).Accurate assessment of muscle mass is essenti...BACKGROUND Sarcopenia is prevalent among patients with end-stage liver disease(ESLD)and is associated with adverse outcomes both before and after liver transplantation(LT).Accurate assessment of muscle mass is essential for effective risk stratification and optimization of transplant outcomes.AIM To identify imaging modalities used to assess sarcopenia in ESLD patients awaiting LT,and evaluate the clinical utility of each technique in predicting waitlist mortality,length of hospital stay,and post-transplant survival.METHODS A systematic search was conducted in PubMed,MEDLINE,EMBASE,and Scopus for studies published between May 2015 and May 2025.Eligible studies included original research evaluating sarcopenia using imaging techniques in ESLD patients listed for LT.Due to heterogeneity in study design,diagnostic criteria,and outcomes,data were synthesized qualitatively.RESULTS A total of 17 studies met the inclusion criteria,encompassing modalities such as computed tomography(CT),magnetic resonance imaging,dual-energy X-ray absorptiometry,and ultrasound.CT at the third lumbar vertebra level was most frequently used,exhibiting consistent prognostic values for pre-and post-transplant outcomes.However,considerable variability in cutoff values and sarcopenia definitions was observed.Emerging evidence also supports the prognostic relevance of muscle quality indicators,including muscle attenuation and fat infiltration.CONCLUSION CT and magnetic resonance imaging are the most robust imaging methods for sarcopenia diagnosis in patients with ESLD.Standardized diagnostic criteria incorporating muscle quality metrics are essential for improving prognostic accuracy and guiding clinical decision making in LT candidates.Such integration would also support the development of unified frameworks for sarcopenia assessment in transplantation practice.展开更多
Bird monitoring and protection are essential for maintaining biodiversity,and fine-grained bird classification has become a key focus in this field.Audio-visual modalities provide critical cues for this task,but robus...Bird monitoring and protection are essential for maintaining biodiversity,and fine-grained bird classification has become a key focus in this field.Audio-visual modalities provide critical cues for this task,but robust feature extraction and efficient fusion remain major challenges.We introduce a multi-stage fine-grained audiovisual fusion network(MSFG-AVFNet) for fine-grained bird species classification,which addresses these challenges through two key components:(1) the audiovisual feature extraction module,which adopts a multi-stage finetuning strategy to provide high-quality unimodal features,laying a solid foundation for modality fusion;(2) the audiovisual feature fusion module,which combines a max pooling aggregation strategy with a novel audiovisual loss function to achieve effective and robust feature fusion.Experiments were conducted on the self-built AVB81and the publicly available SSW60 datasets,which contain data from 81 and 60 bird species,respectively.Comprehensive experiments demonstrate that our approach achieves notable performance gains,outperforming existing state-of-the-art methods.These results highlight its effectiveness in leveraging audiovisual modalities for fine-grained bird classification and its potential to support ecological monitoring and biodiversity research.展开更多
Double-shaft-driven needle punching machine is a specialized equipment designed for processing C/C crucible preforms.Its main needle punching module is operated by two sets of reciprocating crank-slider mechanisms.The...Double-shaft-driven needle punching machine is a specialized equipment designed for processing C/C crucible preforms.Its main needle punching module is operated by two sets of reciprocating crank-slider mechanisms.The intense vibration during needle punching not only generates huge noise,but also substantially reduces the quality of the preform.It is imperative to perform a dynamic analysis and optimization of the entire needle punching machine.In this paper,the three-dimensional(3D)model of the entire double-shaft-driven needle punching machine for C/C crucible preforms is established.Based on the modal analysis theory,the modal characteristics of the needle punching machine under various operating conditions are analyzed and its natural frequencies and vibration modes are determined.The harmonic response analysis is then employed to obtain the amplitude of the needle plate at different frequencies,and the structural weak points of the needle punching machine are identified and improved.The feasibility of the optimized scheme is subsequently reevaluated and verified.The results indicate that the first six natural frequencies of the machine increase,and the maximum amplitude of the needle plate decreases by 70.3%.The enhanced dynamic characteristics of the machine significantly improve its performance,enabling more efficient needle punching of C/C crucible preforms.展开更多
The rocket sled system is not only a high-speed dynamic ground test system,but also one of the future aerospace horizontal launch schemes.The winged load,as a common type of payload,has greater vibration and noise int...The rocket sled system is not only a high-speed dynamic ground test system,but also one of the future aerospace horizontal launch schemes.The winged load,as a common type of payload,has greater vibration and noise intensity than the wingless load.Due to the severe aerodynamic instability prior to separation,the head-up or head-down phenomena are more evident and the test accuracy significantly decreases.The high-precision computer fluid dynamics and aeroacoustic analysis are employed to explore the multifield coupling mechanism of a rocket sled with the winged payload in the wide speed range(Ma=0.5–2).The results show that as the incoming velocity increases,the cone angle of the shock wave of the rocket sled decreases,the shock pressure increases quickly,and the vortex between the slippers splits and gradually shrinks in size.The velocity of the rocket sled exerts little influence on the modal resonance frequency.The wing has a significant impact on aerodynamic noise,and as the sound pressure level rises,the propagation direction gradually shifts towards the rear and upper regions of the wing.展开更多
In this paper,the sentiment classification method of multimodal adversarial autoencoder is studied.This paper includes the introduction of the multimodal adversarial autoencoder emotion classification method and the e...In this paper,the sentiment classification method of multimodal adversarial autoencoder is studied.This paper includes the introduction of the multimodal adversarial autoencoder emotion classification method and the experiment of the emotion classification method based on the encoder.The experimental analysis shows that the encoder has higher precision than other encoders in emotion classification.It is hoped that this analysis can provide some reference for the emotion classification under the current intelligent algorithm mode.展开更多
文摘The modal is a type of auxiliary verb that is used to indicate modality.There are thirteen modal auxiliaries including some past tense forms.In this paper,the modals and semi-modals will be studied through analyzing fifteen sample sentences and referring some grammar books.At last,some suggestions for ESL or ESL teacher to teach modals will be provided.
文摘In this research, the author considers the evidence provided by a corpus of Late Modem English grammars for our understanding of the development of the modals as politeness markers. It is possible to see how the modals and their accompanied senses are explained in an official （and often either prescriptive or proscriptive） perspective. This is another aspect which cannot be ascertained from the usage based on corpora which seem to be popular as sources of evidence in historical pragmatics. In this sense, this research brings some novel perspective to this aspect of academic study. It is possible to notice that the significations involves concept or senses which extend across a semantic--pragmatic domain which includes politeness. We can see that certain softening senses are key elements to mark polite usage. The main data used come from the descriptions of the modal auxiliary verb in a corpus of grammar books from the period. Usage and manner books are also consulted as a secondary resource. The manner book in particular is quite helpful for our understanding of how linguistic politeness was regarded at the time. Such texts also help us to find a certain network of senses which are related to polite expressions.
文摘With the development of global economy, more and more business negotiations are proceeding in which conflicts and disputes are inevitable. Business negotiations involve interpersonal relationships, which is usually expressed by mood and modality. Modal verbs, as an essential approach for expressing politeness with rich meanings of modality, are widely employed in business negotiations.This paper focuses on analyzing the polite usages of modal verbs in business negotiations by Politeness Principle. Based on this theory, three interpersonal functions expressed by modal verbs are to be studied: Cost-and-Benefit, Humor and Choice.
文摘An articulated vehicle is simplified as a multibody system. tires are simplified asparagraphic linear springs with damping, and the differential equations of system motion aregiven. Taking the ZL10 loader as an example, and measuring three-dimensional dynamicstiffness and damping of the tires, seven orders of natural frequencies and related natural modesare obtained by modal analysis, and shown on the computer with three-dimensional moving pic-tures. The following conclusions are obtained: the first order frequency relates to the horizontalstability, the second order frequency relates to the vertical stability, and each order of frequencyrelates to the comfortability. All results of this work can be applied .to monitor stability and eval-uate comfortability.
基金supported by a Horizontal Project on the Development of a Hybrid Energy Storage Simulation Model for Wind Power Based on an RT-LAB Simulation System(PH2023000190)the Inner Mongolia Natural Science Foundation Project and the Optimization of Exergy Efficiency of a Hybrid Energy Storage System with Crossover Control for Wind Power(2023JQ04).
文摘Present of wind power is sporadically and cannot be utilized as the only fundamental load of energy sources.This paper proposes a wind-solar hybrid energy storage system(HESS)to ensure a stable supply grid for a longer period.A multi-objective genetic algorithm(MOGA)and state of charge(SOC)region division for the batteries are introduced to solve the objective function and configuration of the system capacity,respectively.MATLAB/Simulink was used for simulation test.The optimization results show that for a 0.5 MW wind power and 0.5 MW photovoltaic system,with a combination of a 300 Ah lithium battery,a 200 Ah lead-acid battery,and a water storage tank,the proposed strategy reduces the system construction cost by approximately 18,000 yuan.Additionally,the cycle count of the electrochemical energy storage systemincreases from4515 to 4660,while the depth of discharge decreases from 55.37%to 53.65%,achieving shallow charging and discharging,thereby extending battery life and reducing grid voltage fluctuations significantly.The proposed strategy is a guide for stabilizing the grid connection of wind and solar power generation,capability allocation,and energy management of energy conservation systems.
基金funded by the Pyramid Talent Training Project of Beijing University of Civil Engineering and Architecture under Grant GJZJ20220802。
文摘Accurately estimating the State of Health(SOH)and Remaining Useful Life(RUL)of lithium-ion batteries(LIBs)is crucial for the continuous and stable operation of battery management systems.However,due to the complex internal chemical systems of LIBs and the nonlinear degradation of their performance,direct measurement of SOH and RUL is challenging.To address these issues,the Twin Support Vector Machine(TWSVM)method is proposed to predict SOH and RUL.Initially,the constant current charging time of the lithium battery is extracted as a health indicator(HI),decomposed using Variational Modal Decomposition(VMD),and feature correlations are computed using Importance of Random Forest Features(RF)to maximize the extraction of critical factors influencing battery performance degradation.Furthermore,to enhance the global search capability of the Convolution Optimization Algorithm(COA),improvements are made using Good Point Set theory and the Differential Evolution method.The Improved Convolution Optimization Algorithm(ICOA)is employed to optimize TWSVM parameters for constructing SOH and RUL prediction models.Finally,the proposed models are validated using NASA and CALCE lithium-ion battery datasets.Experimental results demonstrate that the proposed models achieve an RMSE not exceeding 0.007 and an MAPE not exceeding 0.0082 for SOH and RUL prediction,with a relative error in RUL prediction within the range of[-1.8%,2%].Compared to other models,the proposed model not only exhibits superior fitting capability but also demonstrates robust performance.
基金supported by the National Social Science Fund of China(No.20CZX048)。
文摘In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset spaces which are more general than topological spaces.The minimal modal logic which is strongly sound and complete with respect to the class of subset spaces is found.Soundness and completeness results of some famous modal logics(e.g.S4,S5 and Tr)with respect to various important classes of subset spaces(eg intersection structures and complete fields of sets)are also proved.In the meantime,some known results,e.g.the soundness and completeness of Tr with respect to the class of discrete topological spaces,are proved directly using some modifications of the method of canonical mode1,without a detour via neighbourhood semantics or relational semantics.
基金supported by the Chinese Ministry of Education of Humanities and Social Science Project(23YJC72040003)the Key Project of Chinese Ministry of Education(22JJD720021)supported by the Natural Science Foundation of Shandong Province,China(project number:ZR2023QF021)。
文摘In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.
基金supported by the National Natural Science Foundation of China(Nos.12304504,12304506 and U22 A2012)the Youth Innovation Promotion Association,Chinese Academy of Sciences(No.2021023)+1 种基金the Strategy Priority Research Program(Category B)of Chinese Academy of Sciences(Nos.XDB0700100 and XDB0700000)the Natural Science Foundation of Tianjin(No.22JCYBJC00070).
文摘Normal mode extraction has attracted extensive attention over the past few decades due to its practical value in enhancing the performance of underwater acoustic signal processing.Singular value decomposition(SVD)is an effective method to extract modal depth functions using vertical line arrays(VLA),particularly in scenarios when no prior environment information is available.However,the SVD method requires rigorous orthogonality conditions,and its performance severely degenerates in the presence of mode degeneracy.Consequently,the SVD approach is often not feasible in practical scenarios.This paper proposes a full rank decomposition(FRD)method to address these issues.Compared to the SVD method,the FRD method has three distinct advantages:1)the conditions that the FRD method requires are much easier to be fulfilled in practical scenarios;2)both modal depth functions and wavenumbers can be simultaneously extracted via the FRD method;3)the FRD method is not affected by the phenomenon of mode degeneracy.Numerical simulations are conducted in two types of waveguides to verify the FRD method.The impacts of environment configurations and noise levels on the precision of the extracted modal depth functions and wavenumbers are also investigated through simulation.
文摘BACKGROUND Glaucoma is the leading cause of irreversible blindness worldwide,with 60.5 million affected individuals,of whom 11 million are from India.Due to its asymptomatic nature,the disease largely remains underdiagnosed or diagnosed in advanced stages,where little can be done to salvage functional vision.The literature suggests that a lack of knowledge is one of the reasons for its grave consequences.Assessment of awareness is the first step in planning management.Several studies have been conducted in the Indian community,but data from healthcare providers,who play a significant role in educating the masses directly or indirectly,are limited.AIM To identify awareness,knowledge,and attitudes about glaucoma among healthcare workers in a tertiary center in India.METHODS This cross-sectional study was conducted at a tertiary care institute in Eastern India.Data were collected from 423 participants by systematic stratified sampling after Institutional Ethics Committee approval via a pretested,self-designed,semistructured,validated questionnaire.Statistical analyses were performed using the Statistical Package for Social Sciences Software v22.0.Continuous variables are expressed as the means±SD for parametric values and medians with interquartile ranges for nonparametric values.The associations between the variables were studied via multivariate linear and logistic regression.P<0.05 was considered statistically significant.RESULTS Most respondents were 20–30 years old(n=345,81.6%).The knowledge regarding glaucoma was good,and almost 56.3%of the participants gained knowledge from their medical training.The majority were aware that it has a familial predisposition and is secondary to high intraocular pressure,leading to irreversible peripheral vision loss.Only 42%knew about the life-long requirements of treatment.The resident group scored highest on knowledgeand attitude-based questions,whereas the faculty group scored highest on practice-based questions.Although 62%of the nursing staff had good attitude scores,their knowledge and practice scores were lower.The occupation group response difference was statistically significant(P<0.05)for all the knowledge-based questions.CONCLUSION Although the majority of healthcare providers are aware of glaucoma,there is a dearth of knowledge about treatment modalities.Education via seminars and media can improve their knowledge,attitudes,and practices.
文摘This paper addresses the problem of a viscoelastic Euler-Bernoulli beam under the influence of a constant velocity moving mass and different types of appendages.Four types of boundary conditions are considered:pinned-pinned,fixed-pinned,fixed-free(or cantilever),and fixed-fixed.Appendages considered include lumped masses,dampers,and springs.The modal decomposition method is employed to derive the equation of motion of the beam,for which an analytical closed-form expression of the dynamic vibration response is generated.The proposed method enables the study of the effect of a single appendage or a combination of the three types of appendages on the non-dimensional dynamic response of the beam.Numerical examples are presented to illustrate the effects of these appendages and compare them to the reference cases of a beam with no appendages.The results demonstrate the importance of considering these parameters in the design of structures.The proposed method is compared to other techniques in the literature and found to be advantageous due to its direct approach.The method also offers a versatile tool for investigating various configurations,aiding in engineering design and structural analysis for which establishing a precise prediction of beam vibrations is crucial.
文摘Accurate brain tumour segmentation is critical for diagnosis and treatment planning, yet challenging due to tumour complexity. Manual segmentation is time-consuming and variable, necessitating automated methods. Deep learning, particularly 3D U-Net architectures, has revolutionised medical image analysis by leveraging volumetric data to capture spatial context, enhancing segmentation accuracy. This paper reviews brain tumour segmentation methods, emphasising 3D U-Net advancements. We analyse contributions from the Brain Tumour Segmentation (BraTS) challenges (2014-2023), highlighting key improvements and persistent challenges, including tumour heterogeneity, limited annotated data, varied imaging protocols, computational constraints, and model generalisation. Unlike previous reviews, we synthesise these challenges, proposing targeted research directions: enhancing model robustness through domain adaptation and multi-institutional data sharing, developing lightweight architectures for clinical deployment, integrating multi-modal and clinical data, and incorporating explainability techniques to build clinician trust. By addressing these challenges, we aim to guide future research toward developing more robust, generalisable, and clinically applicable segmentation models, ultimately improving patient outcomes in neuro-oncology.
文摘The cross-modal person re-identification task aims to match visible and infrared images of the same individual.The main challenges in this field arise from significant modality differences between individuals and the lack of high-quality cross-modal correspondence methods.Existing approaches often attempt to establish modality correspondence by extracting shared features across different modalities.However,these methods tend to focus on local information extraction and fail to fully leverage the global identity information in the cross-modal features,resulting in limited correspondence accuracy and suboptimal matching performance.To address this issue,we propose a quadratic graph matching method designed to overcome the challenges posed by modality differences through precise cross-modal relationship alignment.This method transforms the cross-modal correspondence problem into a graph matching task and minimizes the matching cost using a center search mechanism.Building on this approach,we further design a block reasoning module to uncover latent relationships between person identities and optimize the modality correspondence results.The block strategy not only improves the efficiency of updating gallery images but also enhances matching accuracy while reducing computational load.Experimental results demonstrate that our proposed method outperforms the state-of-the-art methods on the SYSU-MM01,RegDB,and RGBNT201 datasets,achieving excellent matching accuracy and robustness,thereby validating its effectiveness in cross-modal person re-identification.
基金financial support from several corporate sponsors.Contributions were made by the National Natural Science Foundation of China(Grant No.32071332)Shenzhen Science and Technology Innovation Project(Grant No.JCYJ20210324095802006)+2 种基金Ningbo Bureau of Science and Technology(Grant No.2023Z187)TransEasy Medical Tech.Co.,Ltd.(Grant No.2021114)Shenzhen University MedTech Innovation Fund(2023YG027).
文摘Aging is a persistent topic of interest,with skin aging as its most visible manifestation,characterized by a reduction in intact collagen and elastic fibers in the dermis.Hyaluronic acid,a vital component of the extracellular matrix present in the skin,has become a mainstream method for skin rejuvenation through injections.However,the rapid degradation of pure hyaluronic acid,combined with insufficient maintenance duration and often limited therapeutic effects,presents significant challenges for injectable treatments.Additionally,low patient compliance due to discomfort from needles penetrating the dermal layer further complicates its use.In this review,we summarize and compare existing interventions for skin aging,focusing on strategies to prolong the degradation cycle of hyaluronic acid,including variations in cross-linking modalities and injection techniques.We conclude that the injection of cross-linked modified hyaluronic acid via microneedles represents a promising approach to extend the degradation cycle,offering valuable insights for current therapeutic strategies.
基金supported by the Scientific and Technological Research Council of Türkiye(TUBITAK)under Research Grant 116M254.
文摘Reinforced concrete buildings may experience partial damage after earthquakes or some human-induced actions.A decision about the future of those buildings requires detailed analyses,while determining the dynamic characteristics of a real building in its pre-and post-event situations can guide the analysis.Hence,this study was planned to monitor the dynamic response of an existing six-story,reinforced concrete building with regard to structural damage.The modal characteristics of the original building were initially determined by the use of operational modal analysis.Next,three steps of progressive structural damage were applied to the building.The first damage level peeled off the clear cover of a beam and three columns on a corner of the building’s ground floor.whereas the second and third levels completely razed the damaged columns.Operational modal analysis was repeated at each damage stage to extract the frequencies and detailed mode shapes.Moreover,numerical models based on the finite element method were constructed to confirm the obtained experimental findings.The well-agreed experimental and numerical findings revealed the damage sensitivity of the building’s dynamic response.The quantified amount of frequency change favored a retrofit of the partially damaged buildings rather than their replacement.
文摘BACKGROUND Sarcopenia is prevalent among patients with end-stage liver disease(ESLD)and is associated with adverse outcomes both before and after liver transplantation(LT).Accurate assessment of muscle mass is essential for effective risk stratification and optimization of transplant outcomes.AIM To identify imaging modalities used to assess sarcopenia in ESLD patients awaiting LT,and evaluate the clinical utility of each technique in predicting waitlist mortality,length of hospital stay,and post-transplant survival.METHODS A systematic search was conducted in PubMed,MEDLINE,EMBASE,and Scopus for studies published between May 2015 and May 2025.Eligible studies included original research evaluating sarcopenia using imaging techniques in ESLD patients listed for LT.Due to heterogeneity in study design,diagnostic criteria,and outcomes,data were synthesized qualitatively.RESULTS A total of 17 studies met the inclusion criteria,encompassing modalities such as computed tomography(CT),magnetic resonance imaging,dual-energy X-ray absorptiometry,and ultrasound.CT at the third lumbar vertebra level was most frequently used,exhibiting consistent prognostic values for pre-and post-transplant outcomes.However,considerable variability in cutoff values and sarcopenia definitions was observed.Emerging evidence also supports the prognostic relevance of muscle quality indicators,including muscle attenuation and fat infiltration.CONCLUSION CT and magnetic resonance imaging are the most robust imaging methods for sarcopenia diagnosis in patients with ESLD.Standardized diagnostic criteria incorporating muscle quality metrics are essential for improving prognostic accuracy and guiding clinical decision making in LT candidates.Such integration would also support the development of unified frameworks for sarcopenia assessment in transplantation practice.
基金supported by the Beijing Natural Science Foundation(No.5252014)the Open Fund of The Key Laboratory of Urban Ecological Environment Simulation and Protection,Ministry of Ecology and Environment of the People's Republic of China (No.UEESP-202502)the National Natural Science Foundation of China (No.62303063&32371874)。
文摘Bird monitoring and protection are essential for maintaining biodiversity,and fine-grained bird classification has become a key focus in this field.Audio-visual modalities provide critical cues for this task,but robust feature extraction and efficient fusion remain major challenges.We introduce a multi-stage fine-grained audiovisual fusion network(MSFG-AVFNet) for fine-grained bird species classification,which addresses these challenges through two key components:(1) the audiovisual feature extraction module,which adopts a multi-stage finetuning strategy to provide high-quality unimodal features,laying a solid foundation for modality fusion;(2) the audiovisual feature fusion module,which combines a max pooling aggregation strategy with a novel audiovisual loss function to achieve effective and robust feature fusion.Experiments were conducted on the self-built AVB81and the publicly available SSW60 datasets,which contain data from 81 and 60 bird species,respectively.Comprehensive experiments demonstrate that our approach achieves notable performance gains,outperforming existing state-of-the-art methods.These results highlight its effectiveness in leveraging audiovisual modalities for fine-grained bird classification and its potential to support ecological monitoring and biodiversity research.
基金Open Project of Shanghai Key Laboratory of Lightweight Composite,China(No.2232021A4-04)。
文摘Double-shaft-driven needle punching machine is a specialized equipment designed for processing C/C crucible preforms.Its main needle punching module is operated by two sets of reciprocating crank-slider mechanisms.The intense vibration during needle punching not only generates huge noise,but also substantially reduces the quality of the preform.It is imperative to perform a dynamic analysis and optimization of the entire needle punching machine.In this paper,the three-dimensional(3D)model of the entire double-shaft-driven needle punching machine for C/C crucible preforms is established.Based on the modal analysis theory,the modal characteristics of the needle punching machine under various operating conditions are analyzed and its natural frequencies and vibration modes are determined.The harmonic response analysis is then employed to obtain the amplitude of the needle plate at different frequencies,and the structural weak points of the needle punching machine are identified and improved.The feasibility of the optimized scheme is subsequently reevaluated and verified.The results indicate that the first six natural frequencies of the machine increase,and the maximum amplitude of the needle plate decreases by 70.3%.The enhanced dynamic characteristics of the machine significantly improve its performance,enabling more efficient needle punching of C/C crucible preforms.
基金supported by the National Natural Science Foundation of China(No.12104047)。
文摘The rocket sled system is not only a high-speed dynamic ground test system,but also one of the future aerospace horizontal launch schemes.The winged load,as a common type of payload,has greater vibration and noise intensity than the wingless load.Due to the severe aerodynamic instability prior to separation,the head-up or head-down phenomena are more evident and the test accuracy significantly decreases.The high-precision computer fluid dynamics and aeroacoustic analysis are employed to explore the multifield coupling mechanism of a rocket sled with the winged payload in the wide speed range(Ma=0.5–2).The results show that as the incoming velocity increases,the cone angle of the shock wave of the rocket sled decreases,the shock pressure increases quickly,and the vortex between the slippers splits and gradually shrinks in size.The velocity of the rocket sled exerts little influence on the modal resonance frequency.The wing has a significant impact on aerodynamic noise,and as the sound pressure level rises,the propagation direction gradually shifts towards the rear and upper regions of the wing.
文摘In this paper,the sentiment classification method of multimodal adversarial autoencoder is studied.This paper includes the introduction of the multimodal adversarial autoencoder emotion classification method and the experiment of the emotion classification method based on the encoder.The experimental analysis shows that the encoder has higher precision than other encoders in emotion classification.It is hoped that this analysis can provide some reference for the emotion classification under the current intelligent algorithm mode.
