In this paper, auxiliary information is used to determine an estimator of finite population total using nonparametric regression under stratified random sampling. To achieve this, a model-based approach is adopted by ...In this paper, auxiliary information is used to determine an estimator of finite population total using nonparametric regression under stratified random sampling. To achieve this, a model-based approach is adopted by making use of the local polynomial regression estimation to predict the nonsampled values of the survey variable y. The performance of the proposed estimator is investigated against some design-based and model-based regression estimators. The simulation experiments show that the resulting estimator exhibits good properties. Generally, good confidence intervals are seen for the nonparametric regression estimators, and use of the proposed estimator leads to relatively smaller values of RE compared to other estimators.展开更多
Testing is an integral part of software development.Current fastpaced system developments have rendered traditional testing techniques obsolete.Therefore,automated testing techniques are needed to adapt to such system...Testing is an integral part of software development.Current fastpaced system developments have rendered traditional testing techniques obsolete.Therefore,automated testing techniques are needed to adapt to such system developments speed.Model-based testing(MBT)is a technique that uses system models to generate and execute test cases automatically.It was identified that the test data generation(TDG)in many existing model-based test case generation(MB-TCG)approaches were still manual.An automatic and effective TDG can further reduce testing cost while detecting more faults.This study proposes an automated TDG approach in MB-TCG using the extended finite state machine model(EFSM).The proposed approach integrates MBT with combinatorial testing.The information available in an EFSM model and the boundary value analysis strategy are used to automate the domain input classifications which were done manually by the existing approach.The results showed that the proposed approach was able to detect 6.62 percent more faults than the conventionalMB-TCG but at the same time generated 43 more tests.The proposed approach effectively detects faults,but a further treatment to the generated tests such as test case prioritization should be done to increase the effectiveness and efficiency of testing.展开更多
The speed regulation problem with only speed measurement is investigated in this paper for a permanent magnet direct current(DC)motor driven by a buck converter.By lumping all unknown matched/unmatched disturbances an...The speed regulation problem with only speed measurement is investigated in this paper for a permanent magnet direct current(DC)motor driven by a buck converter.By lumping all unknown matched/unmatched disturbances and uncertainties together,the traditional active disturbance rejection control(ADRC)approach provides an intuitive solution for the problem under consideration.However,for such a higher-order disturbed system,the increase of poles for the extended state observer(ESO)therein will lead to drastically growth of observer gains,which causes severe noise amplification.This paper aims to propose a new model-based disturbance rejection controller for the converter-driven DC motor system using output-feedback.Instead of estimating lumped disturbances directly,a new observer is constructed to estimate the desired steady state of control signal as well as errors between the real states and their desired steady-state responses.Thereafter,a controller with only speed measurement is proposed by utilizing the estimates.The performance of the proposed method is tested through experiments on dSPACE.It is further shown via numerical calculations and experimental results that the poles of the observer within the proposed control approach can be largely increased without significantly increasing magnitude of the observer gains.展开更多
This paper studies the problem of designing a modelbased decentralized dynamic periodic event-triggering mechanism(DDPETM)for networked control systems(NCSs)subject to packet losses and external disturbances.Firstly,t...This paper studies the problem of designing a modelbased decentralized dynamic periodic event-triggering mechanism(DDPETM)for networked control systems(NCSs)subject to packet losses and external disturbances.Firstly,the entire NCSs,comprising the triggering mechanism,packet losses and output-based controller,are unified into a hybrid dynamical framework.Secondly,by introducing dynamic triggering variables,the DDPETM is designed to conserve network resources while guaranteeing desired performance properties and tolerating the maximum allowable number of successive packet losses.Thirdly,some stability conditions are derived using the Lyapunov approach.Differing from the zero-order-hold(ZOH)case,the model-based control sufficiently exploits the model information at the controller side.Between two updates,the controller predicts the plant state based on the models and received feedback information.With the model-based control,less transmission may be expected than with ZOH.Finally,numerical examples and comparative experiments demonstrate the effectiveness of the proposed method.展开更多
Numerous clustering algorithms are valuable in pattern recognition in forest vegetation,with new ones continually being proposed.While some are well-known,others are underutilized in vegetation science.This study comp...Numerous clustering algorithms are valuable in pattern recognition in forest vegetation,with new ones continually being proposed.While some are well-known,others are underutilized in vegetation science.This study compares the performance of practical iterative reallocation algorithms with model-based clustering algorithms.The data is from forest vegetation in Virginia(United States),the Hyrcanian Forest(Asia),and European beech forests.Practical iterative reallocation algorithms were applied as non-hierarchical methods and Finite Gaussian mixture modeling was used as a model-based clustering method.Due to limitations on dimensionality in model-based clustering,principal coordinates analysis was employed to reduce the dataset’s dimensions.A log transformation was applied to achieve a normal distribution for the pseudo-species data before calculating the Bray-Curtis dissimilarity.The findings indicate that the reallocation of misclassified objects based on silhouette width(OPTSIL)with Flexible-β(-0.25)had the highest mean among the tested clustering algorithms with Silhouette width 1(REMOS1)with Flexible-β(-0.25)second.However,model-based clustering performed poorly.Based on these results,it is recommended using OPTSIL with Flexible-β(-0.25)and REMOS1 with Flexible-β(-0.25)for forest vegetation classification instead of model-based clustering particularly for heterogeneous datasets common in forest vegetation community data.展开更多
Unlike traditional propeller-driven underwater vehicles,blended-wing-body underwater gliders(BWBUGs)achieve zigzag gliding through periodic adjustments of their net buoyancy,enhancing their cruising capabilities while...Unlike traditional propeller-driven underwater vehicles,blended-wing-body underwater gliders(BWBUGs)achieve zigzag gliding through periodic adjustments of their net buoyancy,enhancing their cruising capabilities while mini-mizing energy consumption.However,enhancing gliding performance is challenging due to the complex system design and limited design experience.To address this challenge,this paper introduces a model-based,multidisciplinary system design optimization method for BWBUGs at the conceptual design stage.First,a model-based,multidisciplinary co-simulation design framework is established to evaluate both system-level and disciplinary indices of BWBUG performance.A data-driven,many-objective multidisciplinary optimization is subsequently employed to explore the design space,yielding 32 Pareto optimal solutions.Finally,a model-based physical system simulation,which represents the design with the largest hyper-volume contribution among the 32 final designs,is established.Its gliding perfor-mance,validated by component behavior,lays the groundwork for constructing the entire system’s digital prototype.In conclusion,this model-based,multidisciplinary design optimization method effectively generates design schemes for innovative underwater vehicles,facilitating the development of digital prototypes.展开更多
In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations...In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations will be dynamically set,and the system will be no longer static as it is initially designed.Thus,the static model generated by the traditional model-based safety assessment(MBSA)approach cannot be used to accurately assess the dependability.There mainly exists three problems.Complex:huge and complex behaviors make the modeling to be trivial manual;Dynamic:though there are thousands of states and transitions,the previous model must be resubmitted to assess whenever new management arrives;Unreusable:as for different systems,the model must be resubmitted by reconsidering both the management and the system itself at the same time though the management is the same.Motivated by solving the above problems,this research studies a formal management specifying approach with the advantages of agility modeling,dynamic modeling,and specification design that can be re-suable.Finally,three typical managements are specified in a series-parallel system as a demonstration to show the potential.展开更多
BACKGROUND Due to the increasing rate of thyroid nodules diagnosis,and the desire to avoid the unsightly cervical scar,remote thyroidectomies were invented and are increasingly performed.Transoral endoscopic thyroidec...BACKGROUND Due to the increasing rate of thyroid nodules diagnosis,and the desire to avoid the unsightly cervical scar,remote thyroidectomies were invented and are increasingly performed.Transoral endoscopic thyroidectomy vestibular approach and trans-areolar approaches(TAA)are the two most commonly used remote approaches.No previous meta-analysis has compared postoperative infections and swallowing difficulties among the two procedures.AIM To compared the same among patients undergoing lobectomy for unilateral thyroid carcinoma/benign thyroid nodule.METHODS We searched PubMed MEDLINE,Google Scholar,and Cochrane Library from the date of the first published article up to August 2025.The term used were transoral thyroidectomy vestibular approach,trans areolar thyroidectomy,scarless thyroidectomy,remote thyroidectomy,infections,postoperative,inflammation,dysphagia,and swallowing difficulties.We identified 130 studies,of them,30 full texts were screened and only six studies were included in the final meta-analysis.RESULTS Postoperative infections were not different between the two approaches,odd ratio=1.33,95%confidence interval:0.50-3.53,theχ2 was 1.92 and the P-value for overall effect of 0.57.Similarly,transient swallowing difficulty was not different between the two forms of surgery,with odd ratio=0.91,95%confidence interval:0.35-2.40;theχ2 was 1.32,and the P-value for overall effect of 0.85.CONCLUSION No significant statistical differences were evident between trans-oral endoscopic Mirghani H.Infections and swallowing difficulty in scarless thyroidectomy WJCC https://www.wjgnet.com 2 January 6,2026 Volume 14 Issue 1 thyroidectomy vestibular approach and trans-areolar approach regarding postoperative infection and transient swallowing difficulties.Further longer randomized trials are needed.展开更多
The photoacoustic imaging of lipid is intrinsically constrained by the feeble nature of endogenous lipid signals,posing a persistent sensitivity challenge that demands innovative solutions.Although adopting high-effic...The photoacoustic imaging of lipid is intrinsically constrained by the feeble nature of endogenous lipid signals,posing a persistent sensitivity challenge that demands innovative solutions.Although adopting high-efficiency excitation and detection elements may improve the imaging sensitivity to a certain extent,the application of the elements is inevitably subject to various limitations in practical applications,particularly during in vivo imaging and endoscopic imaging.In this study,we propose a multi-combinatorial approach to enhance the sensitivity of lipid photoacoustic imaging.The approach involves wavelet transform processing of one-dimensional A-line signals,gradient-based denoising of two-dimensional B-scan images,and finally,threedimensional spatial weighted averaging of the data processed by the previous two steps.This method not only significantly improves the signal-to-noise ratio(SNR)in distinguished feature regions of the image by around 10 dB,but also efficiently extracts weak signals with no distinct features in the original image.After processing with this method,the images acquired under single scanning were compared with those obtained under multiple scanning.The results showed highly consistent image features,with the structural similarity index increasing from 0.2 to 0.8,confirming the accuracy and reliability of the multi-combinatorial approach.展开更多
With the rapid development of intelligent navigation technology,efficient and safe path planning for mobile robots has become a core requirement.To address the challenges of complex dynamic environments,this paper pro...With the rapid development of intelligent navigation technology,efficient and safe path planning for mobile robots has become a core requirement.To address the challenges of complex dynamic environments,this paper proposes an intelligent path planning framework based on grid map modeling.First,an improved Safe and Smooth A*(SSA*)algorithm is employed for global path planning.By incorporating obstacle expansion and cornerpoint optimization,the proposed SSA*enhances the safety and smoothness of the planned path.Then,a Partitioned Dynamic Window Approach(PDWA)is integrated for local planning,which is triggered when dynamic or sudden static obstacles appear,enabling real-time obstacle avoidance and path adjustment.A unified objective function is constructed,considering path length,safety,and smoothness comprehensively.Multiple simulation experiments are conducted on typical port grid maps.The results demonstrate that the improved SSA*significantly reduces the number of expanded nodes and computation time in static environmentswhile generating smoother and safer paths.Meanwhile,the PDWA exhibits strong real-time performance and robustness in dynamic scenarios,achieving shorter paths and lower planning times compared to other graph search algorithms.The proposedmethodmaintains stable performance across maps of different scales and various port scenarios,verifying its practicality and potential for wider application.展开更多
As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many ...As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.展开更多
The challenge of transitioning from temporary humanitarian settlements to more sustainable human settlements is due to a significant increase in the number of forcibly displaced people over recent decades, difficultie...The challenge of transitioning from temporary humanitarian settlements to more sustainable human settlements is due to a significant increase in the number of forcibly displaced people over recent decades, difficulties in providing social services that meet the required standards, and the prolongation of emergencies. Despite this challenging context, short-term considerations continue to guide their planning and management rather than more integrated, longer-term perspectives, thus preventing viable, sustainable development. Over the years, the design of humanitarian settlements has not been adapted to local contexts and perspectives, nor to the dynamics of urbanization and population growth and data. In addition, the current approach to temporary settlement harms the environment and can strain limited resources. Inefficient land use and ad hoc development models have compounded difficulties and generated new challenges. As a result, living conditions in settlements have deteriorated over the last few decades and continue to pose new challenges. The stakes are such that major shortcomings have emerged along the way, leading to disruption, budget overruns in a context marked by a steady decline in funding. However, some attempts have been made to shift towards more sustainable approaches, but these have mainly focused on vague, sector-oriented themes, failing to consider systematic and integration views. This study is a contribution in addressing these shortcomings by designing a model-driving solution, emphasizing an integrated system conceptualized as a system of systems. This paper proposes a new methodology for designing an integrated and sustainable human settlement model, based on Model-Based Systems Engineering and a Systems Modeling Language to provide valuable insights toward sustainable solutions for displaced populations aligning with the United Nations 2030 agenda for sustainable development.展开更多
The 17 Sustainable Development Goals(SDGs)for 2030,adopted by all United Nations member states in 2015,are facing a range of challenges.Factors such as climate change,regional conflicts and economic recession are havi...The 17 Sustainable Development Goals(SDGs)for 2030,adopted by all United Nations member states in 2015,are facing a range of challenges.Factors such as climate change,regional conflicts and economic recession are having a significant impact,particularly on global poverty governance.As a platform for dialogue,exchange and technical cooperation,the 2025 International Seminar on Global Poverty Reduction Partnerships was held in Beijing on 10 December 2025.展开更多
The rapid identification of γ-emitting radionuclides with low activity levels in public areas is crucial for nuclear safety.However,classical methods rely on full-energy peaks in the integral spectrum,requiring suffi...The rapid identification of γ-emitting radionuclides with low activity levels in public areas is crucial for nuclear safety.However,classical methods rely on full-energy peaks in the integral spectrum,requiring sufficient count accumulation for evaluation,thereby limiting response time.The sequential Bayesian approach,which utilizes prior information and considers both photon energies and interarrival times,can significantly enhance the performance of radionuclides identification.This study proposes a theoretical optimization method for the traditional sequential Bayesian approach.Each photon is processed sequentially,and the corresponding posterior probability is updated in real time using a noninformative prior from the Bayesian theory.By comparing the posterior probabilities of the background and radionuclides based on the energy variance and time interval,the type of γ-rays can be identified(background characteristic γ-rays,Compton plateaus γ-rays,or radionuclide-specific characteristic γ-rays).By integrating the information from these multiple characteristic γ-rays,the presence and type of radionuclides were determined based on the final decision function and a set threshold.Based on theoretical research,verification experiments were conducted using a LaBr_(3)(Ce)detector in both low-and natural background radiation environments with typical radionuclides(^(137)Cs,^(60)Co,and ^(133)Ba).The results show that this approach can identify ^(137)Cs in 7.9 s and 8.5 s(source dose rate contribution:approximately 6.5×10^(−3)μGy/h),^(60)Co in 8.1 s and 9.8 s(approximately 4.8×10^(−2)μGy/h),and ^(133)Ba in 4.05 s and 5.99 s(approximately 3.4×10^(−2)μGy/h)under low and natural background radiation,respectively,with a miss rate below 0.01%.This demonstrates the effectiveness of the proposed approach for fast radionuclides identification,even at low activity levels and highlights its potential for enhancing public safety in diverse radiation environments.展开更多
The condition of rotor system must be assessed in order to develop condition-based maintenance for rotating machinery. It is determined by multiple variables such as unbalance degree, misalignment degree, the amount o...The condition of rotor system must be assessed in order to develop condition-based maintenance for rotating machinery. It is determined by multiple variables such as unbalance degree, misalignment degree, the amount of bending deformation of the shaft, occurrence of shaft crack of rotor system and so on. The estimation of the degrees of unbalance and misalignment in flexible coupling-rotor system is discussed. The model-based approach is employed to solve this problem. The models of the equivalent external loads for unbalance and misalignment are derived and analyzed. Then, the degrees of unbalance and misalignment are estimated by analyzing the components of the equivalent external loads of which the frequencies are equal to the 1 and 2 times running frequency respectively. The equivalent external loads are calculated according to the dynamic equation of the original rotor system and the differences between the dynamical responses in normal case and the vibrations when the degree of unbalance or misalignment or both changes. The denoise method based on bandpass filter is used to decrease the effect of noise on the estimation accuracy. The numerical examples are given to show that the proposed approach can estimate the degrees of unbalance and misalignment of the flexible coupling-rotor system accurately.展开更多
A tablet consisting of direct-acting antiviral agents,ledipasvir（a NS5 A protein inhibitor） and sofosbuvir（a NS5 B polymerase inhibitor）,is the first fixed-dose preparation used in the antiviral therapy of hepatit...A tablet consisting of direct-acting antiviral agents,ledipasvir（a NS5 A protein inhibitor） and sofosbuvir（a NS5 B polymerase inhibitor）,is the first fixed-dose preparation used in the antiviral therapy of hepatitis C.A model-based meta-analysis of ledipasvir and GS331007,the primary metabolite of sofosbuvir,enabled the integration of pharmacokinetic（PK） information from separate clinical trials and the quantitative characterization of the population pharmacokinetics of these two drugs.A systematic publication search was conducted for the clinical studies of ledipasvir and sofosbuvir.A total of 401 arm-level aggregate concentrations of GS331007 and 188 concentrations of ledipasvir were used for PK modeling.A two-compartment disposition model was used for both ledipasvir and GS331007.Zero-order absorption was applied for ledipasvir PK modeling,and a combined zero- and first-order absorption was used for the modeling of GS331007.Absorption lag was observed in concentration-time profiles of both ledipasvir and GS331007.To aid the development of direct-acting antiviral drugs,our established PK models provided a basis for the further PK-viral kinetic studies of ledipasvir and sofosbuvir.展开更多
This paper focuses on the use of models for increasing the precision of estimators in large-area forest surveys. It is motivated by the increasing availability of remotely sensed data, which facilitates the developmen...This paper focuses on the use of models for increasing the precision of estimators in large-area forest surveys. It is motivated by the increasing availability of remotely sensed data, which facilitates the development of models predicting the variables of interest in forest surveys. We present, review and compare three different estimation frameworks where models play a core role： model-assisted, model-based, and hybrid estimation. The first two are well known, whereas the third has only recently been introduced in forest surveys. Hybrid inference mixes design- based and model-based inference, since it relies on a probability sample of auxiliary data and a model predicting the target variable from the auxiliary data.We review studies on large-area forest surveys based on model-assisted, model- based, and hybrid estimation, and discuss advantages and disadvantages of the approaches. We conclude that no general recommendations can be made about whether model-assisted, model-based, or hybrid estimation should be preferred. The choice depends on the objective of the survey and the possibilities to acquire appropriate field and remotely sensed data. We also conclude that modelling approaches can only be successfully applied for estimating target variables such as growing stock volume or biomass, which are adequately related to commonly available remotely sensed data, and thus purely field based surveys remain important for several important forest parameters.展开更多
In previous researches on a model-based diagnostic system, the components are assumed mutually independent. Howerver , the assumption is not always the case because the information about whether a component is faulty ...In previous researches on a model-based diagnostic system, the components are assumed mutually independent. Howerver , the assumption is not always the case because the information about whether a component is faulty or not usually influences our knowledge about other components. Some experts may draw such a conclusion that 'if component m 1 is faulty, then component m 2 may be faulty too'. How can we use this experts' knowledge to aid the diagnosis? Based on Kohlas's probabilistic assumption-based reasoning method, we use Bayes networks to solve this problem. We calculate the posterior fault probability of the components in the observation state. The result is reasonable and reflects the effectiveness of the experts' knowledge.展开更多
Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness t...Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.展开更多
文摘In this paper, auxiliary information is used to determine an estimator of finite population total using nonparametric regression under stratified random sampling. To achieve this, a model-based approach is adopted by making use of the local polynomial regression estimation to predict the nonsampled values of the survey variable y. The performance of the proposed estimator is investigated against some design-based and model-based regression estimators. The simulation experiments show that the resulting estimator exhibits good properties. Generally, good confidence intervals are seen for the nonparametric regression estimators, and use of the proposed estimator leads to relatively smaller values of RE compared to other estimators.
基金The research was funded by Universiti Teknologi Malaysia(UTM)and the MalaysianMinistry of Higher Education(MOHE)under the Industry-International Incentive Grant Scheme(IIIGS)(Vote Number:Q.J130000.3651.02M67 and Q.J130000.3051.01M86)the Aca-demic Fellowship Scheme(SLAM).
文摘Testing is an integral part of software development.Current fastpaced system developments have rendered traditional testing techniques obsolete.Therefore,automated testing techniques are needed to adapt to such system developments speed.Model-based testing(MBT)is a technique that uses system models to generate and execute test cases automatically.It was identified that the test data generation(TDG)in many existing model-based test case generation(MB-TCG)approaches were still manual.An automatic and effective TDG can further reduce testing cost while detecting more faults.This study proposes an automated TDG approach in MB-TCG using the extended finite state machine model(EFSM).The proposed approach integrates MBT with combinatorial testing.The information available in an EFSM model and the boundary value analysis strategy are used to automate the domain input classifications which were done manually by the existing approach.The results showed that the proposed approach was able to detect 6.62 percent more faults than the conventionalMB-TCG but at the same time generated 43 more tests.The proposed approach effectively detects faults,but a further treatment to the generated tests such as test case prioritization should be done to increase the effectiveness and efficiency of testing.
基金supported in part by the Natural Science Foundation of China(61973080,61973081)by the Aviation Key Laboratory of Science and Technology on Aero Electromechanical System Integration(201928069002)the Key R&D Plan of Jiangsu Province(BE2020082-4)。
文摘The speed regulation problem with only speed measurement is investigated in this paper for a permanent magnet direct current(DC)motor driven by a buck converter.By lumping all unknown matched/unmatched disturbances and uncertainties together,the traditional active disturbance rejection control(ADRC)approach provides an intuitive solution for the problem under consideration.However,for such a higher-order disturbed system,the increase of poles for the extended state observer(ESO)therein will lead to drastically growth of observer gains,which causes severe noise amplification.This paper aims to propose a new model-based disturbance rejection controller for the converter-driven DC motor system using output-feedback.Instead of estimating lumped disturbances directly,a new observer is constructed to estimate the desired steady state of control signal as well as errors between the real states and their desired steady-state responses.Thereafter,a controller with only speed measurement is proposed by utilizing the estimates.The performance of the proposed method is tested through experiments on dSPACE.It is further shown via numerical calculations and experimental results that the poles of the observer within the proposed control approach can be largely increased without significantly increasing magnitude of the observer gains.
基金supported by the National Natural Science Foundation of China(U21A20477,61722302,61573069,61903290)the Fundamental Research Funds for the Central Universities(DUT19ZD218).
文摘This paper studies the problem of designing a modelbased decentralized dynamic periodic event-triggering mechanism(DDPETM)for networked control systems(NCSs)subject to packet losses and external disturbances.Firstly,the entire NCSs,comprising the triggering mechanism,packet losses and output-based controller,are unified into a hybrid dynamical framework.Secondly,by introducing dynamic triggering variables,the DDPETM is designed to conserve network resources while guaranteeing desired performance properties and tolerating the maximum allowable number of successive packet losses.Thirdly,some stability conditions are derived using the Lyapunov approach.Differing from the zero-order-hold(ZOH)case,the model-based control sufficiently exploits the model information at the controller side.Between two updates,the controller predicts the plant state based on the models and received feedback information.With the model-based control,less transmission may be expected than with ZOH.Finally,numerical examples and comparative experiments demonstrate the effectiveness of the proposed method.
基金financially supported by the vice chancellor for research and technology of Urmia University
文摘Numerous clustering algorithms are valuable in pattern recognition in forest vegetation,with new ones continually being proposed.While some are well-known,others are underutilized in vegetation science.This study compares the performance of practical iterative reallocation algorithms with model-based clustering algorithms.The data is from forest vegetation in Virginia(United States),the Hyrcanian Forest(Asia),and European beech forests.Practical iterative reallocation algorithms were applied as non-hierarchical methods and Finite Gaussian mixture modeling was used as a model-based clustering method.Due to limitations on dimensionality in model-based clustering,principal coordinates analysis was employed to reduce the dataset’s dimensions.A log transformation was applied to achieve a normal distribution for the pseudo-species data before calculating the Bray-Curtis dissimilarity.The findings indicate that the reallocation of misclassified objects based on silhouette width(OPTSIL)with Flexible-β(-0.25)had the highest mean among the tested clustering algorithms with Silhouette width 1(REMOS1)with Flexible-β(-0.25)second.However,model-based clustering performed poorly.Based on these results,it is recommended using OPTSIL with Flexible-β(-0.25)and REMOS1 with Flexible-β(-0.25)for forest vegetation classification instead of model-based clustering particularly for heterogeneous datasets common in forest vegetation community data.
基金supported by the Postdoctoral Fellowship Program of CPSF(Grant No.GZC20242194)the National Natural Science Foundation of China(Grant Nos.52175251 and 52205268)+1 种基金the Industry Key Technology Research Fund Project of Northwestern Polytechnical University(Grant No.HYGJXM202318)the National Basic Scientific Research Program(Grant No.JCKY2021206B005).
文摘Unlike traditional propeller-driven underwater vehicles,blended-wing-body underwater gliders(BWBUGs)achieve zigzag gliding through periodic adjustments of their net buoyancy,enhancing their cruising capabilities while mini-mizing energy consumption.However,enhancing gliding performance is challenging due to the complex system design and limited design experience.To address this challenge,this paper introduces a model-based,multidisciplinary system design optimization method for BWBUGs at the conceptual design stage.First,a model-based,multidisciplinary co-simulation design framework is established to evaluate both system-level and disciplinary indices of BWBUG performance.A data-driven,many-objective multidisciplinary optimization is subsequently employed to explore the design space,yielding 32 Pareto optimal solutions.Finally,a model-based physical system simulation,which represents the design with the largest hyper-volume contribution among the 32 final designs,is established.Its gliding perfor-mance,validated by component behavior,lays the groundwork for constructing the entire system’s digital prototype.In conclusion,this model-based,multidisciplinary design optimization method effectively generates design schemes for innovative underwater vehicles,facilitating the development of digital prototypes.
基金the National Natural Science Foundation of China(52105070,U21B2074)Department of Science and Technology of Liaoning Province China(2033JH1/10400007).
文摘In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations will be dynamically set,and the system will be no longer static as it is initially designed.Thus,the static model generated by the traditional model-based safety assessment(MBSA)approach cannot be used to accurately assess the dependability.There mainly exists three problems.Complex:huge and complex behaviors make the modeling to be trivial manual;Dynamic:though there are thousands of states and transitions,the previous model must be resubmitted to assess whenever new management arrives;Unreusable:as for different systems,the model must be resubmitted by reconsidering both the management and the system itself at the same time though the management is the same.Motivated by solving the above problems,this research studies a formal management specifying approach with the advantages of agility modeling,dynamic modeling,and specification design that can be re-suable.Finally,three typical managements are specified in a series-parallel system as a demonstration to show the potential.
文摘BACKGROUND Due to the increasing rate of thyroid nodules diagnosis,and the desire to avoid the unsightly cervical scar,remote thyroidectomies were invented and are increasingly performed.Transoral endoscopic thyroidectomy vestibular approach and trans-areolar approaches(TAA)are the two most commonly used remote approaches.No previous meta-analysis has compared postoperative infections and swallowing difficulties among the two procedures.AIM To compared the same among patients undergoing lobectomy for unilateral thyroid carcinoma/benign thyroid nodule.METHODS We searched PubMed MEDLINE,Google Scholar,and Cochrane Library from the date of the first published article up to August 2025.The term used were transoral thyroidectomy vestibular approach,trans areolar thyroidectomy,scarless thyroidectomy,remote thyroidectomy,infections,postoperative,inflammation,dysphagia,and swallowing difficulties.We identified 130 studies,of them,30 full texts were screened and only six studies were included in the final meta-analysis.RESULTS Postoperative infections were not different between the two approaches,odd ratio=1.33,95%confidence interval:0.50-3.53,theχ2 was 1.92 and the P-value for overall effect of 0.57.Similarly,transient swallowing difficulty was not different between the two forms of surgery,with odd ratio=0.91,95%confidence interval:0.35-2.40;theχ2 was 1.32,and the P-value for overall effect of 0.85.CONCLUSION No significant statistical differences were evident between trans-oral endoscopic Mirghani H.Infections and swallowing difficulty in scarless thyroidectomy WJCC https://www.wjgnet.com 2 January 6,2026 Volume 14 Issue 1 thyroidectomy vestibular approach and trans-areolar approach regarding postoperative infection and transient swallowing difficulties.Further longer randomized trials are needed.
基金supported by the National Key Research and Development Program of China(2022YFC2402400)the National Natural Science Foundation of China(82027803,62275062)+7 种基金the Guangdong Provincial Key Laboratory of Biomedical Optical Imaging Technology(2020B121201010)the Shenzhen Science and Technology Innovation Committee under Grant(JCYJ20220818101417039)the Shenzhen Key Laboratory for Molecular lmaging(ZDSY20130401165820357)the Shenzhen Medical Research Fund(D2404002)the Project of Shandong Innovation and Startup Community of High-end Medical Apparatus and Instruments(2023-SGTTXM-002 and 2024-SGTTXM-005)the Shandong Province Technology Innovation Guidance Plan(Central Leading Local Science and Technology Development Fund)(YDZX2023115)the Taishan Scholar Special Funding Project of Shandong Provinceand the Shandong Laboratory of Advanced Biomaterials and Medical Devices in Weihai(ZL202402).
文摘The photoacoustic imaging of lipid is intrinsically constrained by the feeble nature of endogenous lipid signals,posing a persistent sensitivity challenge that demands innovative solutions.Although adopting high-efficiency excitation and detection elements may improve the imaging sensitivity to a certain extent,the application of the elements is inevitably subject to various limitations in practical applications,particularly during in vivo imaging and endoscopic imaging.In this study,we propose a multi-combinatorial approach to enhance the sensitivity of lipid photoacoustic imaging.The approach involves wavelet transform processing of one-dimensional A-line signals,gradient-based denoising of two-dimensional B-scan images,and finally,threedimensional spatial weighted averaging of the data processed by the previous two steps.This method not only significantly improves the signal-to-noise ratio(SNR)in distinguished feature regions of the image by around 10 dB,but also efficiently extracts weak signals with no distinct features in the original image.After processing with this method,the images acquired under single scanning were compared with those obtained under multiple scanning.The results showed highly consistent image features,with the structural similarity index increasing from 0.2 to 0.8,confirming the accuracy and reliability of the multi-combinatorial approach.
文摘With the rapid development of intelligent navigation technology,efficient and safe path planning for mobile robots has become a core requirement.To address the challenges of complex dynamic environments,this paper proposes an intelligent path planning framework based on grid map modeling.First,an improved Safe and Smooth A*(SSA*)algorithm is employed for global path planning.By incorporating obstacle expansion and cornerpoint optimization,the proposed SSA*enhances the safety and smoothness of the planned path.Then,a Partitioned Dynamic Window Approach(PDWA)is integrated for local planning,which is triggered when dynamic or sudden static obstacles appear,enabling real-time obstacle avoidance and path adjustment.A unified objective function is constructed,considering path length,safety,and smoothness comprehensively.Multiple simulation experiments are conducted on typical port grid maps.The results demonstrate that the improved SSA*significantly reduces the number of expanded nodes and computation time in static environmentswhile generating smoother and safer paths.Meanwhile,the PDWA exhibits strong real-time performance and robustness in dynamic scenarios,achieving shorter paths and lower planning times compared to other graph search algorithms.The proposedmethodmaintains stable performance across maps of different scales and various port scenarios,verifying its practicality and potential for wider application.
文摘As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.
文摘The challenge of transitioning from temporary humanitarian settlements to more sustainable human settlements is due to a significant increase in the number of forcibly displaced people over recent decades, difficulties in providing social services that meet the required standards, and the prolongation of emergencies. Despite this challenging context, short-term considerations continue to guide their planning and management rather than more integrated, longer-term perspectives, thus preventing viable, sustainable development. Over the years, the design of humanitarian settlements has not been adapted to local contexts and perspectives, nor to the dynamics of urbanization and population growth and data. In addition, the current approach to temporary settlement harms the environment and can strain limited resources. Inefficient land use and ad hoc development models have compounded difficulties and generated new challenges. As a result, living conditions in settlements have deteriorated over the last few decades and continue to pose new challenges. The stakes are such that major shortcomings have emerged along the way, leading to disruption, budget overruns in a context marked by a steady decline in funding. However, some attempts have been made to shift towards more sustainable approaches, but these have mainly focused on vague, sector-oriented themes, failing to consider systematic and integration views. This study is a contribution in addressing these shortcomings by designing a model-driving solution, emphasizing an integrated system conceptualized as a system of systems. This paper proposes a new methodology for designing an integrated and sustainable human settlement model, based on Model-Based Systems Engineering and a Systems Modeling Language to provide valuable insights toward sustainable solutions for displaced populations aligning with the United Nations 2030 agenda for sustainable development.
文摘The 17 Sustainable Development Goals(SDGs)for 2030,adopted by all United Nations member states in 2015,are facing a range of challenges.Factors such as climate change,regional conflicts and economic recession are having a significant impact,particularly on global poverty governance.As a platform for dialogue,exchange and technical cooperation,the 2025 International Seminar on Global Poverty Reduction Partnerships was held in Beijing on 10 December 2025.
基金supported by the Program for NIM-Basic Research Business Expenses Key Field Program,China(No.AKYCX2315).
文摘The rapid identification of γ-emitting radionuclides with low activity levels in public areas is crucial for nuclear safety.However,classical methods rely on full-energy peaks in the integral spectrum,requiring sufficient count accumulation for evaluation,thereby limiting response time.The sequential Bayesian approach,which utilizes prior information and considers both photon energies and interarrival times,can significantly enhance the performance of radionuclides identification.This study proposes a theoretical optimization method for the traditional sequential Bayesian approach.Each photon is processed sequentially,and the corresponding posterior probability is updated in real time using a noninformative prior from the Bayesian theory.By comparing the posterior probabilities of the background and radionuclides based on the energy variance and time interval,the type of γ-rays can be identified(background characteristic γ-rays,Compton plateaus γ-rays,or radionuclide-specific characteristic γ-rays).By integrating the information from these multiple characteristic γ-rays,the presence and type of radionuclides were determined based on the final decision function and a set threshold.Based on theoretical research,verification experiments were conducted using a LaBr_(3)(Ce)detector in both low-and natural background radiation environments with typical radionuclides(^(137)Cs,^(60)Co,and ^(133)Ba).The results show that this approach can identify ^(137)Cs in 7.9 s and 8.5 s(source dose rate contribution:approximately 6.5×10^(−3)μGy/h),^(60)Co in 8.1 s and 9.8 s(approximately 4.8×10^(−2)μGy/h),and ^(133)Ba in 4.05 s and 5.99 s(approximately 3.4×10^(−2)μGy/h)under low and natural background radiation,respectively,with a miss rate below 0.01%.This demonstrates the effectiveness of the proposed approach for fast radionuclides identification,even at low activity levels and highlights its potential for enhancing public safety in diverse radiation environments.
基金supported by National Natural Science Foundation of China(Grant No. 10772061)Heilongjiang Provincial Natural Science Foundation of China(Grant No. ZJG0704)
文摘The condition of rotor system must be assessed in order to develop condition-based maintenance for rotating machinery. It is determined by multiple variables such as unbalance degree, misalignment degree, the amount of bending deformation of the shaft, occurrence of shaft crack of rotor system and so on. The estimation of the degrees of unbalance and misalignment in flexible coupling-rotor system is discussed. The model-based approach is employed to solve this problem. The models of the equivalent external loads for unbalance and misalignment are derived and analyzed. Then, the degrees of unbalance and misalignment are estimated by analyzing the components of the equivalent external loads of which the frequencies are equal to the 1 and 2 times running frequency respectively. The equivalent external loads are calculated according to the dynamic equation of the original rotor system and the differences between the dynamical responses in normal case and the vibrations when the degree of unbalance or misalignment or both changes. The denoise method based on bandpass filter is used to decrease the effect of noise on the estimation accuracy. The numerical examples are given to show that the proposed approach can estimate the degrees of unbalance and misalignment of the flexible coupling-rotor system accurately.
基金Janssen Research & DevelopmentChina，Pfizer Scholarship for Pharmacometrics during this project
文摘A tablet consisting of direct-acting antiviral agents,ledipasvir（a NS5 A protein inhibitor） and sofosbuvir（a NS5 B polymerase inhibitor）,is the first fixed-dose preparation used in the antiviral therapy of hepatitis C.A model-based meta-analysis of ledipasvir and GS331007,the primary metabolite of sofosbuvir,enabled the integration of pharmacokinetic（PK） information from separate clinical trials and the quantitative characterization of the population pharmacokinetics of these two drugs.A systematic publication search was conducted for the clinical studies of ledipasvir and sofosbuvir.A total of 401 arm-level aggregate concentrations of GS331007 and 188 concentrations of ledipasvir were used for PK modeling.A two-compartment disposition model was used for both ledipasvir and GS331007.Zero-order absorption was applied for ledipasvir PK modeling,and a combined zero- and first-order absorption was used for the modeling of GS331007.Absorption lag was observed in concentration-time profiles of both ledipasvir and GS331007.To aid the development of direct-acting antiviral drugs,our established PK models provided a basis for the further PK-viral kinetic studies of ledipasvir and sofosbuvir.
文摘This paper focuses on the use of models for increasing the precision of estimators in large-area forest surveys. It is motivated by the increasing availability of remotely sensed data, which facilitates the development of models predicting the variables of interest in forest surveys. We present, review and compare three different estimation frameworks where models play a core role： model-assisted, model-based, and hybrid estimation. The first two are well known, whereas the third has only recently been introduced in forest surveys. Hybrid inference mixes design- based and model-based inference, since it relies on a probability sample of auxiliary data and a model predicting the target variable from the auxiliary data.We review studies on large-area forest surveys based on model-assisted, model- based, and hybrid estimation, and discuss advantages and disadvantages of the approaches. We conclude that no general recommendations can be made about whether model-assisted, model-based, or hybrid estimation should be preferred. The choice depends on the objective of the survey and the possibilities to acquire appropriate field and remotely sensed data. We also conclude that modelling approaches can only be successfully applied for estimating target variables such as growing stock volume or biomass, which are adequately related to commonly available remotely sensed data, and thus purely field based surveys remain important for several important forest parameters.
文摘In previous researches on a model-based diagnostic system, the components are assumed mutually independent. Howerver , the assumption is not always the case because the information about whether a component is faulty or not usually influences our knowledge about other components. Some experts may draw such a conclusion that 'if component m 1 is faulty, then component m 2 may be faulty too'. How can we use this experts' knowledge to aid the diagnosis? Based on Kohlas's probabilistic assumption-based reasoning method, we use Bayes networks to solve this problem. We calculate the posterior fault probability of the components in the observation state. The result is reasonable and reflects the effectiveness of the experts' knowledge.
基金the Aeronautics Science Foundation of China(No.2011ZD51055)Science and Technology on Reliability&Environmental Engineering Laboratory(No.302367)the National Pre-Research Foundation of China(No.51319080201)
文摘Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop （HIL） testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.
