Aspect-oriented modeling can uncover potential design faults,yet most existing work fails to achieve both separation and composition in a natural and succinct way.This study presents an aspect-oriented modeling and an...Aspect-oriented modeling can uncover potential design faults,yet most existing work fails to achieve both separation and composition in a natural and succinct way.This study presents an aspect-oriented modeling and analysis approach with hierarchical Coloured Petri Nets(HCPN).HCPN has sub-models and well-defined semantics combining a set of submodels.These two characteristics of HCPN are nicely integrated into aspect oriented modeling.Submodels are used to model aspects while the combination mechanism contributes to aspects weaving.Furthermore,the woven aspect oriented HCPN model can be simulated and analyzed by the CPN Tools.A systematic web application case study is conducted.The results show the system original properties are satisfied after weaving aspects and all design flaws are revealed.As such,the approach can support web application design and analysis in an aspect-oriented fashion concisely and effectively.展开更多
Various redundancy tactics can be modeled at the design stage of safety-critical systems thereby providing a set of fault-tolerance guidelines for subsequent development activities. However, existing approaches usuall...Various redundancy tactics can be modeled at the design stage of safety-critical systems thereby providing a set of fault-tolerance guidelines for subsequent development activities. However, existing approaches usually interweave redundancy tactics into the functional models making them complex and cluttered; the maintenance of such models is time-consuming and error-prone. To address this problem, we provide a modeling approach to separate the redundancy tactics from the base functional models using aspect-oriented modeling. More specifically, the conceptual models of the redundancy tactics and their semantic constraints are first defined for deriving the relevant aspects. Subsequently, a UML profile is proposed to specify the tactic aspects followed by mapping these concepts to the corresponding concepts of aspect-oriented modeling based on pre-defined principles. In accordance with our proposed profile, reuse directives are applied to handle the overlap of structural features between redundancy tactics and other kinds of tactic. Based on our tactic aspects and their configured attributes, a weaving algorithm is proposed to associate the tactic aspects with the base functional models. The proposed approach is compared with a traditional tactic modeling approach using two safety-critical systems, revealing that： 1） our approach significantly reduces the number of extra model elements needed in the tactic design stage; 2） our approach can largely avoid the impact of changing of the base functional model as the model evolves.展开更多
Aspect-oriented programming modularizes crosscutting concerns into aspects with the advice invoked at the specified points of program execution. Aspects can be used in a harmful way that invalidates desired properties...Aspect-oriented programming modularizes crosscutting concerns into aspects with the advice invoked at the specified points of program execution. Aspects can be used in a harmful way that invalidates desired properties and even destroys the conceptual integrity of programs. To assure the quality of an aspect-oriented system, rigorous analysis and design of aspects are highly desirable. In this paper, we present an approach to aspect-oriented modeling and verification with finite state machines. Our approach provides explicit notations （e.g., pointcut, advice and aspect） for capturing crosscutting concerns and incremental modification requirements with respect to class state models. For verification purposes, we compose the aspect models and class models in an aspect-oriented model through a weaving mechanism. Then we transform the woven models and the class models not affected by the aspects into FSP （Finite State Processes）, which are to be checked by the LTSA （Labeled Transition System Analyzer） model checker against the desired system properties. We have applied our approach to the modeling and verification of three aspect-oriented systems. To further evaluate the effectiveness of verification, we created a large number of flawed aspect models and verified them against the system requirements. The results show that the verification has revealed all flawed models. This indicates that our approach is effective in quality assurance of aspect-oriented state models. As such, our approach can be used for model-checking state-based specification of aspect-oriented design and can uncover some system design problems before the system is implemented.展开更多
In recent years,there has been an increasing need for climate information across diverse sectors of society.This demand has arisen from the necessity to adapt to and mitigate the impacts of climate variability and cha...In recent years,there has been an increasing need for climate information across diverse sectors of society.This demand has arisen from the necessity to adapt to and mitigate the impacts of climate variability and change.Likewise,this period has seen a significant increase in our understanding of the physical processes and mechanisms that drive precipitation and its variability across different regions of Africa.By leveraging a large volume of climate model outputs,numerous studies have investigated the model representation of African precipitation as well as underlying physical processes.These studies have assessed whether the physical processes are well depicted and whether the models are fit for informing mitigation and adaptation strategies.This paper provides a review of the progress in precipitation simulation overAfrica in state-of-the-science climate models and discusses the major issues and challenges that remain.展开更多
Kinetic impact is the most practical planetary-defense technique,with momentum-transfer efficiency central to deflection design.We present a Monte Carlo photometric framework that couples ejecta sampling,dynamical evo...Kinetic impact is the most practical planetary-defense technique,with momentum-transfer efficiency central to deflection design.We present a Monte Carlo photometric framework that couples ejecta sampling,dynamical evolution,and image synthesis to compare directly with HST,LICIACube,ground-based and Lucy observations of the DART impact.Decomposing ejecta into(1)a highvelocity(~1600 m/s)plume exhibiting Na/K resonance,(2)a low-velocity(~1 m/s)conical component shaped by binary gravity and solar radiation pressure,and(3)meter-scale boulders,we quantify each component’s mass and momentum.Fitting photometric decay curves and morphological evolution yields size-velocity distributions and,via scaling laws,estimates of Dimorphos’bulk density,cratering parameters,and cohesive strength that agree with dynamical constraints.Photometric ejecta modeling therefore provides a robust route to constrain momentum enhancement and target properties,improving predictive capability for kinetic-deflection missions.展开更多
Automation and intelligence have become the primary trends in the design of investment casting processes.However,the design of gating and riser systems still lacks precise quantitative evaluation criteria.Numerical si...Automation and intelligence have become the primary trends in the design of investment casting processes.However,the design of gating and riser systems still lacks precise quantitative evaluation criteria.Numerical simulation plays a significant role in quantitatively evaluating current processes and making targeted improvements,but its limitations lie in the inability to dynamically reflect the formation outcomes of castings under varying process conditions,making real-time adjustments to gating and riser designs challenging.In this study,an automated design model for gating and riser systems based on integrated parametric 3D modeling-simulation framework is proposed,which enhances the flexibility and usability of evaluating the casting process by simulation.Firstly,geometric feature extraction technology is employed to obtain the geometric information of the target casting.Based on this information,an automated design framework for gating and riser systems is established,incorporating multiple structural parameters for real-time process control.Subsequently,the simulation results for various structural parameters are analyzed,and the influence of these parameters on casting formation is thoroughly investigated.Finally,the optimal design scheme is generated and validated through experimental verification.Simulation analysis and experimental results show that using a larger gate neck(24 mm in side length) and external risers promotes a more uniform temperature distribution and a more stable flow state,effectively eliminating shrinkage cavities and enhancing process yield by 15%.展开更多
To address the issues of frequent identity switches(IDs)and degraded identification accuracy in multi object tracking(MOT)under complex occlusion scenarios,this study proposes an occlusion-robust tracking framework ba...To address the issues of frequent identity switches(IDs)and degraded identification accuracy in multi object tracking(MOT)under complex occlusion scenarios,this study proposes an occlusion-robust tracking framework based on face-pedestrian joint feature modeling.By constructing a joint tracking model centered on“intra-class independent tracking+cross-category dynamic binding”,designing a multi-modal matching metric with spatio-temporal and appearance constraints,and innovatively introducing a cross-category feature mutual verification mechanism and a dual matching strategy,this work effectively resolves performance degradation in traditional single-category tracking methods caused by short-term occlusion,cross-camera tracking,and crowded environments.Experiments on the Chokepoint_Face_Pedestrian_Track test set demonstrate that in complex scenes,the proposed method improves Face-Pedestrian Matching F1 area under the curve(F1 AUC)by approximately 4 to 43 percentage points compared to several traditional methods.The joint tracking model achieves overall performance metrics of IDF1:85.1825%and MOTA:86.5956%,representing improvements of 0.91 and 0.06 percentage points,respectively,over the baseline model.Ablation studies confirm the effectiveness of key modules such as the Intersection over Area(IoA)/Intersection over Union(IoU)joint metric and dynamic threshold adjustment,validating the significant role of the cross-category identity matching mechanism in enhancing tracking stability.Our_model shows a 16.7%frame per second(FPS)drop vs.fairness of detection and re-identification in multiple object tracking(FairMOT),with its cross-category binding module adding aboute 10%overhead,yet maintains near-real-time performance for essential face-pedestrian tracking at small resolutions.展开更多
The intracontinental subduction of a>200-km-long section of the Tajik-Tarim lithosphere beneath the Pamir Mountains is proposed to explain nearly 30 km of shortening in the Tajik fold-thrust belt and the Pamir upli...The intracontinental subduction of a>200-km-long section of the Tajik-Tarim lithosphere beneath the Pamir Mountains is proposed to explain nearly 30 km of shortening in the Tajik fold-thrust belt and the Pamir uplift.Seismic imaging revealed that the upper slab was scraped and that the lower slab had subducted to a depth of>150 km.These features constitute the tectonic complexity of the Pamirs,as well as the thermal subduction mechanism involved,which remains poorly understood.Hence,in this study,high-resolution three-dimensional(3D)kinematic modeling is applied to investigate the thermal structure and geometry of the subducting slab beneath the Pamirs.The modeled slab configuration reveals distinct along-strike variations,with a steeply dipping slab beneath the southern Pamirs,a more gently inclined slab beneath the northern Pamirs,and apparent upper slab termination at shallow depths beneath the Pamirs.The thermal field reveals a cold slab core after delamination,with temperatures ranging from 400℃to 800℃,enveloped by a hotter mantle reaching~1400℃.The occurrence of intermediate-depth earthquakes aligns primarily with colder slab regions,particularly near the slab tear-off below the southwestern Pamirs,indicating a strong correlation between slab temperature and seismicity.In contrast,the northern Pamirs exhibit reduced seismicity at depth,which is likely associated with thermal weakening and delamination.The central Pamirs show a significant thermal anomaly caused by a concave slab,where the coldest crust does not descend deeply,further suggesting crustal detachment or mechanical failure.The lateral asymmetry in slab temperature possibly explains the mechanism of lateral tearing and differential slab-mantle coupling.展开更多
In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving ...In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach.展开更多
Software Product Line Development advocates software reuse by modeling common and variable artefacts separately across members of a family of products. Aspect-Oriented Software Development aims at separation of concer...Software Product Line Development advocates software reuse by modeling common and variable artefacts separately across members of a family of products. Aspect-Oriented Software Development aims at separation of concerns with “aspects” to increase modularity, reusability, maintainability and ease of evolution. In this paper, we apply an as-pect-oriented use case modeling approach to product line system modeling. A use case specification captures stake-holders concerns as interactions between a system and its actors. We adapt our previous work with the introduction of a “variability” relationship for the expression of variabilities. This relationship is used to model variable and common behaviours across a family of products as use cases. A variability composition mechanism enables building of executa-ble behaviour models for each member of a product line family by integrating common elements with the applicable variable elements.展开更多
As a key node of modern transportation network,the informationization management of road tunnels is crucial to ensure the operation safety and traffic efficiency.However,the existing tunnel vehicle modeling methods ge...As a key node of modern transportation network,the informationization management of road tunnels is crucial to ensure the operation safety and traffic efficiency.However,the existing tunnel vehicle modeling methods generally have problems such as insufficient 3D scene description capability and low dynamic update efficiency,which are difficult to meet the demand of real-time accurate management.For this reason,this paper proposes a vehicle twin modeling method for road tunnels.This approach starts from the actual management needs,and supports multi-level dynamic modeling from vehicle type,size to color by constructing a vehicle model library that can be flexibly invoked;at the same time,semantic constraint rules with geometric layout,behavioral attributes,and spatial relationships are designed to ensure that the virtual model matches with the real model with a high degree of similarity;ultimately,the prototype system is constructed and the case region is selected for the case study,and the dynamic vehicle status in the tunnel is realized by integrating real-time monitoring data with semantic constraints for precise virtual-real mapping.Finally,the prototype system is constructed and case experiments are conducted in selected case areas,which are combined with real-time monitoring data to realize dynamic updating and three-dimensional visualization of vehicle states in tunnels.The experiments show that the proposed method can run smoothly with an average rendering efficiency of 17.70 ms while guaranteeing the modeling accuracy(composite similarity of 0.867),which significantly improves the real-time and intuitive tunnel management.The research results provide reliable technical support for intelligent operation and emergency response of road tunnels,and offer new ideas for digital twin modeling of complex scenes.展开更多
With the development of smart cities and smart technologies,parks,as functional units of the city,are facing smart transformation.The development of smart parks can help address challenges of technology integration wi...With the development of smart cities and smart technologies,parks,as functional units of the city,are facing smart transformation.The development of smart parks can help address challenges of technology integration within urban spaces and serve as testbeds for exploring smart city planning and governance models.Information models facilitate the effective integration of technology into space.Building Information Modeling(BIM)and City Information Modeling(CIM)have been widely used in urban construction.However,the existing information models have limitations in the application of the park,so it is necessary to develop an information model suitable for the park.This paper first traces the evolution of park smart transformation,reviews the global landscape of smart park development,and identifies key trends and persistent challenges.Addressing the particularities of parks,the concept of Park Information Modeling(PIM)is proposed.PIM leverages smart technologies such as artificial intelligence,digital twins,and collaborative sensing to help form a‘space-technology-system’smart structure,enabling systematic management of diverse park spaces,addressing the deficiency in park-level information models,and aiming to achieve scale articulation between BIM and CIM.Finally,through a detailed top-level design application case study of the Nanjing Smart Education Park in China,this paper illustrates the translation process of the PIM concept into practice,showcasing its potential to provide smart management tools for park managers and enhance services for park stakeholders,although further empirical validation is required.展开更多
Architecture framework has become an effective method recently to describe the system of systems(SoS)architecture,such as the United States(US)Department of Defense Architecture Framework Version 2.0(DoDAF2.0).As a vi...Architecture framework has become an effective method recently to describe the system of systems(SoS)architecture,such as the United States(US)Department of Defense Architecture Framework Version 2.0(DoDAF2.0).As a viewpoint in DoDAF2.0,the operational viewpoint(OV)describes operational activities,nodes,and resource flows.The OV models are important for SoS architecture development.However,as the SoS complexity increases,constructing OV models with traditional methods exposes shortcomings,such as inefficient data collection and low modeling standards.Therefore,we propose an intelligent modeling method for five OV models,including operational resource flow OV-2,organizational relationships OV-4,operational activity hierarchy OV-5a,operational activities model OV-5b,and operational activity sequences OV-6c.The main idea of the method is to extract OV architecture data from text and generate interoperable OV models.First,we construct the OV meta model based on the DoDAF2.0 meta model(DM2).Second,OV architecture named entities is recognized from text based on the bidirectional long short-term memory and conditional random field(BiLSTM-CRF)model.And OV architecture relationships are collected with relationship extraction rules.Finally,we define the generation rules for OV models and develop an OV modeling tool.We use unmanned surface vehicles(USV)swarm target defense SoS architecture as a case to verify the feasibility and effectiveness of the intelligent modeling method.展开更多
Using a dynamic laser monitoring technique,the solubility of 3-nitro-1,2,4-triazole-5-one(NTO)was investigated in two different binary systems,namely hydroxylamine nitrate(HAN)-water and boric acid(HB)-water ranging f...Using a dynamic laser monitoring technique,the solubility of 3-nitro-1,2,4-triazole-5-one(NTO)was investigated in two different binary systems,namely hydroxylamine nitrate(HAN)-water and boric acid(HB)-water ranging from 278.15 K to 318.15 K.The solubility in each system was found to be positively correlated with temperature.Furthermore,solubility data were analyzed using four equations:the modified Apelblat equation,Van’t Hoff equation,λh equation and CNIBS/R-K equations,and they provided satisfactory results for both two systems.The average root-mean-square deviation(105RMSD)values for these models were less than 13.93.Calculations utilizing the Van’t Hoff equation and Gibbs equations facilitated the derivation of apparent thermodynamic properties of NTO dissolution in the two systems,including values for Gibbs free energy,enthalpy and entropy.The%ζ_(H)is larger than%ζ_(TS),and all the%ζ_(H)data are≥58.63%,indicating that the enthalpy make a greater contribution than entropy to theΔG_(soln)^(Θ).展开更多
BACKGROUND Emerging evidence implicates Candida albicans(C.albicans)in human oncogenesis.Notably,studies have supported its involvement in regulating outcomes in colorectal cancer(CRC).This study investigated the para...BACKGROUND Emerging evidence implicates Candida albicans(C.albicans)in human oncogenesis.Notably,studies have supported its involvement in regulating outcomes in colorectal cancer(CRC).This study investigated the paradoxical role of C.albicans in CRC,aiming to determine whether it promotes or suppresses tumor development,with a focus on the mechanistic basis linked to its metabolic profile.AIM To investigate the dual role of C.albicans in the development and progression of CRC through metabolite profiling and to establish a prognostic model that integrates the microbial and metabolic interactions in CRC,providing insights into potential therapeutic strategies and clinical outcomes.METHODSA prognostic model integrating C. albicans with CRC was developed, incorporating enrichment analysis, immuneinfiltration profiling, survival analysis, Mendelian randomization, single-cell sequencing, and spatial transcriptomics.The effects of the C. albicans metabolite mixture on CRC cells were subsequently validated in vitro. Theprimary metabolite composition was characterized using liquid chromatography-mass spectrometry.RESULTSA prognostic model based on five specific mRNA markers, EHD4, LIME1, GADD45B, TIMP1, and FDFT1, wasestablished. The C. albicans metabolite mixture significantly reduced CRC cell viability. Post-treatment analysisrevealed a significant decrease in gene expression in HT29 cells, while the expression levels of TIMP1, EHD4, andGADD45B were significantly elevated in HCT116 cells. Conversely, LIME1 expression and that of other CRC celllines showed reductions. In normal colonic epithelial cells (NCM460), GADD45B, TIMP1, and FDFT1 expressionlevels were significantly increased, while LIME1 and EHD4 levels were markedly reduced. Following metabolitetreatment, the invasive and migratory capabilities of NCM460, HT29, and HCT116 cells were reduced. Quantitativeanalysis of extracellular ATP post-treatment showed a significant elevation (P < 0.01). The C. albicans metabolitemixture had no effect on reactive oxygen species accumulation in CRC cells but led to a reduction in mitochondrialmembrane potential, increased intracellular lipid peroxidation, and induced apoptosis. Metabolomic profilingrevealed significant alterations, with 516 metabolites upregulated and 531 downregulated.CONCLUSIONThis study introduced a novel prognostic model for CRC risk assessment. The findings suggested that the C.albicans metabolite mixture exerted an inhibitory effect on CRC initiation.展开更多
Earth’s internal core and crustal magnetic fields,as measured by geomagnetic satellites like MSS-1(Macao Science Satellite-1)and Swarm,are vital for understanding core dynamics and tectonic evolution.To model these i...Earth’s internal core and crustal magnetic fields,as measured by geomagnetic satellites like MSS-1(Macao Science Satellite-1)and Swarm,are vital for understanding core dynamics and tectonic evolution.To model these internal magnetic fields accurately,data selection based on specific criteria is often employed to minimize the influence of rapidly changing current systems in the ionosphere and magnetosphere.However,the quantitative impact of various data selection criteria on internal geomagnetic field modeling is not well understood.This study aims to address this issue and provide a reference for constructing and applying geomagnetic field models.First,we collect the latest MSS-1 and Swarm satellite magnetic data and summarize widely used data selection criteria in geomagnetic field modeling.Second,we briefly describe the method to co-estimate the core,crustal,and large-scale magnetospheric fields using satellite magnetic data.Finally,we conduct a series of field modeling experiments with different data selection criteria to quantitatively estimate their influence.Our numerical experiments confirm that without selecting data from dark regions and geomagnetically quiet times,the resulting internal field differences at the Earth’s surface can range from tens to hundreds of nanotesla(nT).Additionally,we find that the uncertainties introduced into field models by different data selection criteria are significantly larger than the measurement accuracy of modern geomagnetic satellites.These uncertainties should be considered when utilizing constructed magnetic field models for scientific research and applications.展开更多
It is well known that coarse-grained super-elastic NiTi shape memory alloys(SMAs)exhibit localized rather than homogeneous martensite transformation(MT),which,however,can be strongly influenced by either internal size...It is well known that coarse-grained super-elastic NiTi shape memory alloys(SMAs)exhibit localized rather than homogeneous martensite transformation(MT),which,however,can be strongly influenced by either internal size(grain size,GS)or the external size(geometric size).The coupled effect of GS and geometric size on the functional properties has not been clearly understood yet.In this work,the super-elasticity,one-way,and stress-assisted two-way shape memory effects of the polycrystalline NiTi SMAs with different aspect ratios(length/width for the gauge section)and different GSs are investigated based on the phase field method.The coupled effect of the aspect ratio and GS on the functional properties is adequately revealed.The simulated results indicate that when the aspect ratio is lower than about 4:1,the stress biaxiality and stress heterogeneity in the gauge section of the sample become more and more obvious with decreasing the aspect ratio,which can significantly influence the microstructure evolution in the process involving external stress.Therefore,the corresponding functional property is strongly dependent on the aspect ratio.With decreasing the GS and the aspect ratio(to be lower than 4:1),both the aspect ratio and GS can affect the MT or martensite reorientation in each grain and the interaction among grains.Thus,due to the strong internal constraint(i.e.,the constraint of grain boundary)and the external constraint(i.e.,the constraint of geometric boundary),the capabilities of the functional properties of NiTi SMAs are gradually weakened and highly dependent on these two factors.展开更多
A 3D crustal model was constructed using a combination of cutting-edge techniques,which were integrated to provide a density model for Egypt and address the sporadic distribution of seismic data.These techniques inclu...A 3D crustal model was constructed using a combination of cutting-edge techniques,which were integrated to provide a density model for Egypt and address the sporadic distribution of seismic data.These techniques include obtaining gravity data from the Gravity Field and Steady-State Ocean Circulation Explorer(GOCE),creating seismic profiles,analyzing the receiver functions of seismic data,obtaining information from boreholes,and providing geological interpretations.GOCE satellite gravity data were processed to construct a preliminary model based on nonlinear inversions of the data.A regional crustal thickness model was developed using receiver functions,seismic refraction profiles,and geological insights.The inverted model was validated using borehole data and compared with seismic estimates.The model exhibited strong consistency and revealed a correlation between crustal thickness,geology,and tectonics of Egypt.It showed that the shallowest depths of the Moho are located in the north along the Mediterranean Sea and in the eastern part along the Red Sea,reflecting an oceanic plate with a thin,high-density crust.The deepest Moho depths are located in the southwestern part of Egypt,Red Sea coastal mountains,and Sinai Peninsula.The obtained 3D model of crustal thickness provided finely detailed Moho depth estimates that aligned closely with geology and tectonic characteristics of Egypt,contributing valuable insights into the subsurface structure and tectonic processes of region.展开更多
This review explores the use of agent-based modeling(ABM)within the framework of study human emotion and cognition in the context of its ability to simulate complex social interactions,adaptive changes,and evolutionar...This review explores the use of agent-based modeling(ABM)within the framework of study human emotion and cognition in the context of its ability to simulate complex social interactions,adaptive changes,and evolutionary processes.By representing agents and their defined environments with probabilistic interactions,ABM allows the assessment of the effects of individual behavior at the micro level on the greater social phenomena at the macro level.The review looks into the applications of ABM in portraying some of the key components of emotions and cognition-empathy,cooperation,decision making,and emotional transmission-and analyzes the problems including scalability,empirical validation,and description of sensitive emotional states.The most important conclusion is that merging ABM with information neurobiological data and artificial intelligence(AI)techniques would allow for deepening the interactions within the system and enhancing its responsiveness to stimuli.This review highlights approaches that aim to exploit the ABM methodology more fully and integrates methods from biology,neuroscience,and engineering.This integration could contribute to our understanding of the human behavior evolution and adaptation within systems relevant to policymaking,healthcare,and education.展开更多
In order to enhance the control performance of piezo-positioning system,the influence of hysteresis characteristics and its compensation method are studied.Hammerstein model is used to represent the dynamic hysteresis...In order to enhance the control performance of piezo-positioning system,the influence of hysteresis characteristics and its compensation method are studied.Hammerstein model is used to represent the dynamic hysteresis nonlinear characteristics of piezo-positioning actuator.The static nonlinear part and dynamic linear part of the Hammerstein model are represented by models obtained through the Prandtl-Ishlinskii(PI)model and Hankel matrix system identification method,respectively.This model demonstrates good generalization capability for typical input frequencies below 200 Hz.A sliding mode inverse compensation tracking control strategy based on P-I inverse model and integral augmentation is proposed.Experimental results show that compared with PID inverse compensation control and sliding mode control without inverse compensation,the sliding mode inverse compensation control has a more ideal step response and no overshoot,moreover,the settling time is only 6.2 ms.In the frequency domain,the system closed-loop tracking bandwidth reaches 119.9 Hz,and the disturbance rejection bandwidth reaches 86.2 Hz.The proposed control strategy can effectively compensate the hysteresis nonlinearity,and improve the tracking accuracy and antidisturbance capability of piezo-positioning system.展开更多
基金supported by the NSF of China under grants No.61173048 and No.61300041Specialized Research Fund for the Doctoral Program of Higher Education under grant No.20130074110015+2 种基金the Fundamental Research Funds for the Central Universities under Grant No.WH1314038the Humanities and Social Science Research Planning Fund of the Education Ministry of China under grant No.15YJCZH201the Research Innovation Program of Shanghai Municipal Education Commission under grant No.14YZ134
文摘Aspect-oriented modeling can uncover potential design faults,yet most existing work fails to achieve both separation and composition in a natural and succinct way.This study presents an aspect-oriented modeling and analysis approach with hierarchical Coloured Petri Nets(HCPN).HCPN has sub-models and well-defined semantics combining a set of submodels.These two characteristics of HCPN are nicely integrated into aspect oriented modeling.Submodels are used to model aspects while the combination mechanism contributes to aspects weaving.Furthermore,the woven aspect oriented HCPN model can be simulated and analyzed by the CPN Tools.A systematic web application case study is conducted.The results show the system original properties are satisfied after weaving aspects and all design flaws are revealed.As such,the approach can support web application design and analysis in an aspect-oriented fashion concisely and effectively.
基金Acknowledgements This work was supported by the National Natural Science Foundation of China （Grant No. 61370058） and the Project of the State Key Laboratory of Software Development Environment （SKLSDE-2014ZX- 17）, China.
文摘Various redundancy tactics can be modeled at the design stage of safety-critical systems thereby providing a set of fault-tolerance guidelines for subsequent development activities. However, existing approaches usually interweave redundancy tactics into the functional models making them complex and cluttered; the maintenance of such models is time-consuming and error-prone. To address this problem, we provide a modeling approach to separate the redundancy tactics from the base functional models using aspect-oriented modeling. More specifically, the conceptual models of the redundancy tactics and their semantic constraints are first defined for deriving the relevant aspects. Subsequently, a UML profile is proposed to specify the tactic aspects followed by mapping these concepts to the corresponding concepts of aspect-oriented modeling based on pre-defined principles. In accordance with our proposed profile, reuse directives are applied to handle the overlap of structural features between redundancy tactics and other kinds of tactic. Based on our tactic aspects and their configured attributes, a weaving algorithm is proposed to associate the tactic aspects with the base functional models. The proposed approach is compared with a traditional tactic modeling approach using two safety-critical systems, revealing that： 1） our approach significantly reduces the number of extra model elements needed in the tactic design stage; 2） our approach can largely avoid the impact of changing of the base functional model as the model evolves.
基金supported in part by the ND EPSCoR IIP-SG via NSF of USA under Grant No.EPS-047679The fourth author was supported in part by the National Natural Science Foundation of China under Grant No.60603036+1 种基金the National Basic Research 973 Program of China under Grant No.2009CB320702the National High-Tech Research and Development 863 Program of China under Grant No.2009AA01Z148
文摘Aspect-oriented programming modularizes crosscutting concerns into aspects with the advice invoked at the specified points of program execution. Aspects can be used in a harmful way that invalidates desired properties and even destroys the conceptual integrity of programs. To assure the quality of an aspect-oriented system, rigorous analysis and design of aspects are highly desirable. In this paper, we present an approach to aspect-oriented modeling and verification with finite state machines. Our approach provides explicit notations （e.g., pointcut, advice and aspect） for capturing crosscutting concerns and incremental modification requirements with respect to class state models. For verification purposes, we compose the aspect models and class models in an aspect-oriented model through a weaving mechanism. Then we transform the woven models and the class models not affected by the aspects into FSP （Finite State Processes）, which are to be checked by the LTSA （Labeled Transition System Analyzer） model checker against the desired system properties. We have applied our approach to the modeling and verification of three aspect-oriented systems. To further evaluate the effectiveness of verification, we created a large number of flawed aspect models and verified them against the system requirements. The results show that the verification has revealed all flawed models. This indicates that our approach is effective in quality assurance of aspect-oriented state models. As such, our approach can be used for model-checking state-based specification of aspect-oriented design and can uncover some system design problems before the system is implemented.
基金the World Climate Research Programme(WCRP),Climate Variability and Predictability(CLIVAR),and Global Energy and Water Exchanges(GEWEX)for facilitating the coordination of African monsoon researchsupport from the Center for Earth System Modeling,Analysis,and Data at the Pennsylvania State Universitythe support of the Office of Science of the U.S.Department of Energy Biological and Environmental Research as part of the Regional&Global Model Analysis(RGMA)program area。
文摘In recent years,there has been an increasing need for climate information across diverse sectors of society.This demand has arisen from the necessity to adapt to and mitigate the impacts of climate variability and change.Likewise,this period has seen a significant increase in our understanding of the physical processes and mechanisms that drive precipitation and its variability across different regions of Africa.By leveraging a large volume of climate model outputs,numerous studies have investigated the model representation of African precipitation as well as underlying physical processes.These studies have assessed whether the physical processes are well depicted and whether the models are fit for informing mitigation and adaptation strategies.This paper provides a review of the progress in precipitation simulation overAfrica in state-of-the-science climate models and discusses the major issues and challenges that remain.
基金supported by the National Natural Science Foundation of China(Grant No.12272018)the National Key Basic Research Project(2022JCJQZD20600).
文摘Kinetic impact is the most practical planetary-defense technique,with momentum-transfer efficiency central to deflection design.We present a Monte Carlo photometric framework that couples ejecta sampling,dynamical evolution,and image synthesis to compare directly with HST,LICIACube,ground-based and Lucy observations of the DART impact.Decomposing ejecta into(1)a highvelocity(~1600 m/s)plume exhibiting Na/K resonance,(2)a low-velocity(~1 m/s)conical component shaped by binary gravity and solar radiation pressure,and(3)meter-scale boulders,we quantify each component’s mass and momentum.Fitting photometric decay curves and morphological evolution yields size-velocity distributions and,via scaling laws,estimates of Dimorphos’bulk density,cratering parameters,and cohesive strength that agree with dynamical constraints.Photometric ejecta modeling therefore provides a robust route to constrain momentum enhancement and target properties,improving predictive capability for kinetic-deflection missions.
基金financially supported by the National Key Research and Development Program of China (2022YFB3706802)。
文摘Automation and intelligence have become the primary trends in the design of investment casting processes.However,the design of gating and riser systems still lacks precise quantitative evaluation criteria.Numerical simulation plays a significant role in quantitatively evaluating current processes and making targeted improvements,but its limitations lie in the inability to dynamically reflect the formation outcomes of castings under varying process conditions,making real-time adjustments to gating and riser designs challenging.In this study,an automated design model for gating and riser systems based on integrated parametric 3D modeling-simulation framework is proposed,which enhances the flexibility and usability of evaluating the casting process by simulation.Firstly,geometric feature extraction technology is employed to obtain the geometric information of the target casting.Based on this information,an automated design framework for gating and riser systems is established,incorporating multiple structural parameters for real-time process control.Subsequently,the simulation results for various structural parameters are analyzed,and the influence of these parameters on casting formation is thoroughly investigated.Finally,the optimal design scheme is generated and validated through experimental verification.Simulation analysis and experimental results show that using a larger gate neck(24 mm in side length) and external risers promotes a more uniform temperature distribution and a more stable flow state,effectively eliminating shrinkage cavities and enhancing process yield by 15%.
基金supported by the confidential research grant No.a8317。
文摘To address the issues of frequent identity switches(IDs)and degraded identification accuracy in multi object tracking(MOT)under complex occlusion scenarios,this study proposes an occlusion-robust tracking framework based on face-pedestrian joint feature modeling.By constructing a joint tracking model centered on“intra-class independent tracking+cross-category dynamic binding”,designing a multi-modal matching metric with spatio-temporal and appearance constraints,and innovatively introducing a cross-category feature mutual verification mechanism and a dual matching strategy,this work effectively resolves performance degradation in traditional single-category tracking methods caused by short-term occlusion,cross-camera tracking,and crowded environments.Experiments on the Chokepoint_Face_Pedestrian_Track test set demonstrate that in complex scenes,the proposed method improves Face-Pedestrian Matching F1 area under the curve(F1 AUC)by approximately 4 to 43 percentage points compared to several traditional methods.The joint tracking model achieves overall performance metrics of IDF1:85.1825%and MOTA:86.5956%,representing improvements of 0.91 and 0.06 percentage points,respectively,over the baseline model.Ablation studies confirm the effectiveness of key modules such as the Intersection over Area(IoA)/Intersection over Union(IoU)joint metric and dynamic threshold adjustment,validating the significant role of the cross-category identity matching mechanism in enhancing tracking stability.Our_model shows a 16.7%frame per second(FPS)drop vs.fairness of detection and re-identification in multiple object tracking(FairMOT),with its cross-category binding module adding aboute 10%overhead,yet maintains near-real-time performance for essential face-pedestrian tracking at small resolutions.
基金the Chinese Academy of Sciences Pioneer Hundred Talents Program and the Second Tibetan Plateau Scientific Expedition and Research Program(Grant No.2019QZKK0708)supported by a MEXT(Ministry of Education,Culture,Sports,Science and Technology)KAKENHI(Grants-in-Aid for Scientific Research)grant(Grant No.21H05203)Kobe University Strategic International Collaborative Research Grant(Type B Fostering Joint Research).
文摘The intracontinental subduction of a>200-km-long section of the Tajik-Tarim lithosphere beneath the Pamir Mountains is proposed to explain nearly 30 km of shortening in the Tajik fold-thrust belt and the Pamir uplift.Seismic imaging revealed that the upper slab was scraped and that the lower slab had subducted to a depth of>150 km.These features constitute the tectonic complexity of the Pamirs,as well as the thermal subduction mechanism involved,which remains poorly understood.Hence,in this study,high-resolution three-dimensional(3D)kinematic modeling is applied to investigate the thermal structure and geometry of the subducting slab beneath the Pamirs.The modeled slab configuration reveals distinct along-strike variations,with a steeply dipping slab beneath the southern Pamirs,a more gently inclined slab beneath the northern Pamirs,and apparent upper slab termination at shallow depths beneath the Pamirs.The thermal field reveals a cold slab core after delamination,with temperatures ranging from 400℃to 800℃,enveloped by a hotter mantle reaching~1400℃.The occurrence of intermediate-depth earthquakes aligns primarily with colder slab regions,particularly near the slab tear-off below the southwestern Pamirs,indicating a strong correlation between slab temperature and seismicity.In contrast,the northern Pamirs exhibit reduced seismicity at depth,which is likely associated with thermal weakening and delamination.The central Pamirs show a significant thermal anomaly caused by a concave slab,where the coldest crust does not descend deeply,further suggesting crustal detachment or mechanical failure.The lateral asymmetry in slab temperature possibly explains the mechanism of lateral tearing and differential slab-mantle coupling.
文摘In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach.
文摘Software Product Line Development advocates software reuse by modeling common and variable artefacts separately across members of a family of products. Aspect-Oriented Software Development aims at separation of concerns with “aspects” to increase modularity, reusability, maintainability and ease of evolution. In this paper, we apply an as-pect-oriented use case modeling approach to product line system modeling. A use case specification captures stake-holders concerns as interactions between a system and its actors. We adapt our previous work with the introduction of a “variability” relationship for the expression of variabilities. This relationship is used to model variable and common behaviours across a family of products as use cases. A variability composition mechanism enables building of executa-ble behaviour models for each member of a product line family by integrating common elements with the applicable variable elements.
基金National Natural Science Foundation of China(Nos.42301473,42271424,42171397)Chinese Postdoctoral Innovation Talents Support Program(No.BX20230299)+2 种基金China Postdoctoral Science Foundation(No.2023M742884)Natural Science Foundation of Sichuan Province(Nos.24NSFSC2264,2025ZNSFSC0322)Key Research and Development Project of Sichuan Province(No.24ZDYF0633).
文摘As a key node of modern transportation network,the informationization management of road tunnels is crucial to ensure the operation safety and traffic efficiency.However,the existing tunnel vehicle modeling methods generally have problems such as insufficient 3D scene description capability and low dynamic update efficiency,which are difficult to meet the demand of real-time accurate management.For this reason,this paper proposes a vehicle twin modeling method for road tunnels.This approach starts from the actual management needs,and supports multi-level dynamic modeling from vehicle type,size to color by constructing a vehicle model library that can be flexibly invoked;at the same time,semantic constraint rules with geometric layout,behavioral attributes,and spatial relationships are designed to ensure that the virtual model matches with the real model with a high degree of similarity;ultimately,the prototype system is constructed and the case region is selected for the case study,and the dynamic vehicle status in the tunnel is realized by integrating real-time monitoring data with semantic constraints for precise virtual-real mapping.Finally,the prototype system is constructed and case experiments are conducted in selected case areas,which are combined with real-time monitoring data to realize dynamic updating and three-dimensional visualization of vehicle states in tunnels.The experiments show that the proposed method can run smoothly with an average rendering efficiency of 17.70 ms while guaranteeing the modeling accuracy(composite similarity of 0.867),which significantly improves the real-time and intuitive tunnel management.The research results provide reliable technical support for intelligent operation and emergency response of road tunnels,and offer new ideas for digital twin modeling of complex scenes.
基金Under the auspices of National Natural Science Foundation of China(No.42330510)。
文摘With the development of smart cities and smart technologies,parks,as functional units of the city,are facing smart transformation.The development of smart parks can help address challenges of technology integration within urban spaces and serve as testbeds for exploring smart city planning and governance models.Information models facilitate the effective integration of technology into space.Building Information Modeling(BIM)and City Information Modeling(CIM)have been widely used in urban construction.However,the existing information models have limitations in the application of the park,so it is necessary to develop an information model suitable for the park.This paper first traces the evolution of park smart transformation,reviews the global landscape of smart park development,and identifies key trends and persistent challenges.Addressing the particularities of parks,the concept of Park Information Modeling(PIM)is proposed.PIM leverages smart technologies such as artificial intelligence,digital twins,and collaborative sensing to help form a‘space-technology-system’smart structure,enabling systematic management of diverse park spaces,addressing the deficiency in park-level information models,and aiming to achieve scale articulation between BIM and CIM.Finally,through a detailed top-level design application case study of the Nanjing Smart Education Park in China,this paper illustrates the translation process of the PIM concept into practice,showcasing its potential to provide smart management tools for park managers and enhance services for park stakeholders,although further empirical validation is required.
基金National Natural Science Foundation of China(71690233,71971213,71901214)。
文摘Architecture framework has become an effective method recently to describe the system of systems(SoS)architecture,such as the United States(US)Department of Defense Architecture Framework Version 2.0(DoDAF2.0).As a viewpoint in DoDAF2.0,the operational viewpoint(OV)describes operational activities,nodes,and resource flows.The OV models are important for SoS architecture development.However,as the SoS complexity increases,constructing OV models with traditional methods exposes shortcomings,such as inefficient data collection and low modeling standards.Therefore,we propose an intelligent modeling method for five OV models,including operational resource flow OV-2,organizational relationships OV-4,operational activity hierarchy OV-5a,operational activities model OV-5b,and operational activity sequences OV-6c.The main idea of the method is to extract OV architecture data from text and generate interoperable OV models.First,we construct the OV meta model based on the DoDAF2.0 meta model(DM2).Second,OV architecture named entities is recognized from text based on the bidirectional long short-term memory and conditional random field(BiLSTM-CRF)model.And OV architecture relationships are collected with relationship extraction rules.Finally,we define the generation rules for OV models and develop an OV modeling tool.We use unmanned surface vehicles(USV)swarm target defense SoS architecture as a case to verify the feasibility and effectiveness of the intelligent modeling method.
文摘Using a dynamic laser monitoring technique,the solubility of 3-nitro-1,2,4-triazole-5-one(NTO)was investigated in two different binary systems,namely hydroxylamine nitrate(HAN)-water and boric acid(HB)-water ranging from 278.15 K to 318.15 K.The solubility in each system was found to be positively correlated with temperature.Furthermore,solubility data were analyzed using four equations:the modified Apelblat equation,Van’t Hoff equation,λh equation and CNIBS/R-K equations,and they provided satisfactory results for both two systems.The average root-mean-square deviation(105RMSD)values for these models were less than 13.93.Calculations utilizing the Van’t Hoff equation and Gibbs equations facilitated the derivation of apparent thermodynamic properties of NTO dissolution in the two systems,including values for Gibbs free energy,enthalpy and entropy.The%ζ_(H)is larger than%ζ_(TS),and all the%ζ_(H)data are≥58.63%,indicating that the enthalpy make a greater contribution than entropy to theΔG_(soln)^(Θ).
基金Supported by Gansu Province Joint Fund General Program,No.24JRRA878Gansu Provincial Science and Technology Program Project,No.24JRRA1020+2 种基金Gansu Province Key Talent Program,No.2025RCXM006Teaching Research and Reform Program for Postgraduate Education at Gansu University of Traditional Chinese Medicine(GUSTCM),No.YBXM-202406Special Fund for Mentors of“Qihuang Talents”in the First-Level Discipline of Chinese Medicine,No.ZYXKBD-202415。
文摘BACKGROUND Emerging evidence implicates Candida albicans(C.albicans)in human oncogenesis.Notably,studies have supported its involvement in regulating outcomes in colorectal cancer(CRC).This study investigated the paradoxical role of C.albicans in CRC,aiming to determine whether it promotes or suppresses tumor development,with a focus on the mechanistic basis linked to its metabolic profile.AIM To investigate the dual role of C.albicans in the development and progression of CRC through metabolite profiling and to establish a prognostic model that integrates the microbial and metabolic interactions in CRC,providing insights into potential therapeutic strategies and clinical outcomes.METHODSA prognostic model integrating C. albicans with CRC was developed, incorporating enrichment analysis, immuneinfiltration profiling, survival analysis, Mendelian randomization, single-cell sequencing, and spatial transcriptomics.The effects of the C. albicans metabolite mixture on CRC cells were subsequently validated in vitro. Theprimary metabolite composition was characterized using liquid chromatography-mass spectrometry.RESULTSA prognostic model based on five specific mRNA markers, EHD4, LIME1, GADD45B, TIMP1, and FDFT1, wasestablished. The C. albicans metabolite mixture significantly reduced CRC cell viability. Post-treatment analysisrevealed a significant decrease in gene expression in HT29 cells, while the expression levels of TIMP1, EHD4, andGADD45B were significantly elevated in HCT116 cells. Conversely, LIME1 expression and that of other CRC celllines showed reductions. In normal colonic epithelial cells (NCM460), GADD45B, TIMP1, and FDFT1 expressionlevels were significantly increased, while LIME1 and EHD4 levels were markedly reduced. Following metabolitetreatment, the invasive and migratory capabilities of NCM460, HT29, and HCT116 cells were reduced. Quantitativeanalysis of extracellular ATP post-treatment showed a significant elevation (P < 0.01). The C. albicans metabolitemixture had no effect on reactive oxygen species accumulation in CRC cells but led to a reduction in mitochondrialmembrane potential, increased intracellular lipid peroxidation, and induced apoptosis. Metabolomic profilingrevealed significant alterations, with 516 metabolites upregulated and 531 downregulated.CONCLUSIONThis study introduced a novel prognostic model for CRC risk assessment. The findings suggested that the C.albicans metabolite mixture exerted an inhibitory effect on CRC initiation.
基金supported by the National Natural Science Foundation of China(42250101)the Macao Foundation。
文摘Earth’s internal core and crustal magnetic fields,as measured by geomagnetic satellites like MSS-1(Macao Science Satellite-1)and Swarm,are vital for understanding core dynamics and tectonic evolution.To model these internal magnetic fields accurately,data selection based on specific criteria is often employed to minimize the influence of rapidly changing current systems in the ionosphere and magnetosphere.However,the quantitative impact of various data selection criteria on internal geomagnetic field modeling is not well understood.This study aims to address this issue and provide a reference for constructing and applying geomagnetic field models.First,we collect the latest MSS-1 and Swarm satellite magnetic data and summarize widely used data selection criteria in geomagnetic field modeling.Second,we briefly describe the method to co-estimate the core,crustal,and large-scale magnetospheric fields using satellite magnetic data.Finally,we conduct a series of field modeling experiments with different data selection criteria to quantitatively estimate their influence.Our numerical experiments confirm that without selecting data from dark regions and geomagnetically quiet times,the resulting internal field differences at the Earth’s surface can range from tens to hundreds of nanotesla(nT).Additionally,we find that the uncertainties introduced into field models by different data selection criteria are significantly larger than the measurement accuracy of modern geomagnetic satellites.These uncertainties should be considered when utilizing constructed magnetic field models for scientific research and applications.
基金supported by the National Natural Science Foundation of China (Grant Nos.12202294 and 12022208)the Project funded by China Postdoctoral Science Foundation (Grant No.2022M712243)the Fundamental Research Funds for the Central Universities (Grant No.2023SCU12098).
文摘It is well known that coarse-grained super-elastic NiTi shape memory alloys(SMAs)exhibit localized rather than homogeneous martensite transformation(MT),which,however,can be strongly influenced by either internal size(grain size,GS)or the external size(geometric size).The coupled effect of GS and geometric size on the functional properties has not been clearly understood yet.In this work,the super-elasticity,one-way,and stress-assisted two-way shape memory effects of the polycrystalline NiTi SMAs with different aspect ratios(length/width for the gauge section)and different GSs are investigated based on the phase field method.The coupled effect of the aspect ratio and GS on the functional properties is adequately revealed.The simulated results indicate that when the aspect ratio is lower than about 4:1,the stress biaxiality and stress heterogeneity in the gauge section of the sample become more and more obvious with decreasing the aspect ratio,which can significantly influence the microstructure evolution in the process involving external stress.Therefore,the corresponding functional property is strongly dependent on the aspect ratio.With decreasing the GS and the aspect ratio(to be lower than 4:1),both the aspect ratio and GS can affect the MT or martensite reorientation in each grain and the interaction among grains.Thus,due to the strong internal constraint(i.e.,the constraint of grain boundary)and the external constraint(i.e.,the constraint of geometric boundary),the capabilities of the functional properties of NiTi SMAs are gradually weakened and highly dependent on these two factors.
文摘A 3D crustal model was constructed using a combination of cutting-edge techniques,which were integrated to provide a density model for Egypt and address the sporadic distribution of seismic data.These techniques include obtaining gravity data from the Gravity Field and Steady-State Ocean Circulation Explorer(GOCE),creating seismic profiles,analyzing the receiver functions of seismic data,obtaining information from boreholes,and providing geological interpretations.GOCE satellite gravity data were processed to construct a preliminary model based on nonlinear inversions of the data.A regional crustal thickness model was developed using receiver functions,seismic refraction profiles,and geological insights.The inverted model was validated using borehole data and compared with seismic estimates.The model exhibited strong consistency and revealed a correlation between crustal thickness,geology,and tectonics of Egypt.It showed that the shallowest depths of the Moho are located in the north along the Mediterranean Sea and in the eastern part along the Red Sea,reflecting an oceanic plate with a thin,high-density crust.The deepest Moho depths are located in the southwestern part of Egypt,Red Sea coastal mountains,and Sinai Peninsula.The obtained 3D model of crustal thickness provided finely detailed Moho depth estimates that aligned closely with geology and tectonic characteristics of Egypt,contributing valuable insights into the subsurface structure and tectonic processes of region.
文摘This review explores the use of agent-based modeling(ABM)within the framework of study human emotion and cognition in the context of its ability to simulate complex social interactions,adaptive changes,and evolutionary processes.By representing agents and their defined environments with probabilistic interactions,ABM allows the assessment of the effects of individual behavior at the micro level on the greater social phenomena at the macro level.The review looks into the applications of ABM in portraying some of the key components of emotions and cognition-empathy,cooperation,decision making,and emotional transmission-and analyzes the problems including scalability,empirical validation,and description of sensitive emotional states.The most important conclusion is that merging ABM with information neurobiological data and artificial intelligence(AI)techniques would allow for deepening the interactions within the system and enhancing its responsiveness to stimuli.This review highlights approaches that aim to exploit the ABM methodology more fully and integrates methods from biology,neuroscience,and engineering.This integration could contribute to our understanding of the human behavior evolution and adaptation within systems relevant to policymaking,healthcare,and education.
文摘In order to enhance the control performance of piezo-positioning system,the influence of hysteresis characteristics and its compensation method are studied.Hammerstein model is used to represent the dynamic hysteresis nonlinear characteristics of piezo-positioning actuator.The static nonlinear part and dynamic linear part of the Hammerstein model are represented by models obtained through the Prandtl-Ishlinskii(PI)model and Hankel matrix system identification method,respectively.This model demonstrates good generalization capability for typical input frequencies below 200 Hz.A sliding mode inverse compensation tracking control strategy based on P-I inverse model and integral augmentation is proposed.Experimental results show that compared with PID inverse compensation control and sliding mode control without inverse compensation,the sliding mode inverse compensation control has a more ideal step response and no overshoot,moreover,the settling time is only 6.2 ms.In the frequency domain,the system closed-loop tracking bandwidth reaches 119.9 Hz,and the disturbance rejection bandwidth reaches 86.2 Hz.The proposed control strategy can effectively compensate the hysteresis nonlinearity,and improve the tracking accuracy and antidisturbance capability of piezo-positioning system.
