Verification and validation(V&V)is a helpful tool for evaluating simulation errors,but its application in unsteady cavitating flow remains a challenging issue due to the difficulty in meeting the requirement of an...Verification and validation(V&V)is a helpful tool for evaluating simulation errors,but its application in unsteady cavitating flow remains a challenging issue due to the difficulty in meeting the requirement of an asymptotic range.Hence,a new V&V approach for large eddy simulation(LES)is proposed.This approach offers a viable solution for the error estimation of simulation data that are unable to satisfy the asymptotic range.The simulation errors of cavitating flow around a projectile near the free surface are assessed using the new V&V method.The evident error values are primarily dispersed around the cavity region and free surface.The increasingly intense cavitating flow increases the error magnitudes.In addition,the modeling error magnitudes of the Dynamic Smagorinsky-Lilly model are substantially smaller than that of the Smagorinsky-Lilly model.The present V&V method can capture the decrease in the modeling errors due to model enhancements,further exhibiting its applicability in cavitating flow simulations.Moreover,the monitoring points where the simulation data are beyond the asymptotic range are primarily dispersed near the cavity region,and the number of such points grows as the cavitating flow intensifies.The simulation outcomes also suggest that the re-entrant jet and shedding cavity collapse are the chief sources of vorticity motions,which remarkably affect the simulation accuracy.The results of this study provide a valuable reference for V&V research.展开更多
systematic verification and validation(V&V)of our previously proposed momentum source wave generation method is performed.Some settings of previous numerical wave tanks(NWTs)of regular and irregular waves have bee...systematic verification and validation(V&V)of our previously proposed momentum source wave generation method is performed.Some settings of previous numerical wave tanks(NWTs)of regular and irregular waves have been optimized.The H2-5 V&V method involving five mesh sizes with mesh refinement ratio being 1.225 is used to verify the NWT of regular waves,in which the wave height and mass conservation are mainly considered based on a Lv3(H s=0.75 m)and a Lv6(H s=5 m)regular wave.Additionally,eight different sea states are chosen to validate the wave height,mass conservation and wave frequency of regular waves.Regarding the NWT of irregular waves,five different sea states with significant wave heights ranging from 0.09 m to 12.5 m are selected to validate the statistical characteristics of irregular waves,including the profile of the wave spectrum,peak frequency and significant wave height.Results show that the verification errors for Lv3 and Lv6 regular wave on the most refined grid are−0.018 and−0.35 for wave height,respectively,and−0.14 and for−0.17 mass conservation,respectively.The uncertainty estimation analysis shows that the numerical error could be partially balanced out by the modelling error to achieve a smaller validation error by adjusting the mesh size elaborately.And the validation errors of the wave height,mass conservation and dominant frequency of regular waves under different sea states are no more than 7%,8% and 2%,respectively.For a Lv3(H_(s)=0.75 m)and a Lv6(H_(s)=5 m)regular wave,simulations are validated on the wave height in wave development section for safety factors FS≈1 and FS≈0.5-1,respectively.Regarding irregular waves,the validation errors of the significant wave height and peak frequency are both lower than 2%.展开更多
Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model...Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/ validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/ validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.展开更多
Background:Investigators from low-,middle-,and high-income countries representing 6 continents contributed to the development of the Global Adolescent and Child Physical Activity Questionnaire(GAC-PAQ).The GAC-PAQ is ...Background:Investigators from low-,middle-,and high-income countries representing 6 continents contributed to the development of the Global Adolescent and Child Physical Activity Questionnaire(GAC-PAQ).The GAC-PAQ is designed to assess physical activity(PA)across all key domains(i.e.,school,chores,work/volunteering,transport,free time,outdoor time).It aimed to address multiple gaps in global PA surveillance(e.g.,omission of important PA domains,insufficient cultural adaptation,underrepresentation of rural areas in questionnaire validation studies).The purpose of this study was to assess the content validity of the GAC-PAQ among PA experts,8-to 17-year-olds,and one of their parents/guardians,and to discuss changes made to the questionnaire based on participants'feedback.Methods:Sixty-two experts in PA measurement and/or surveillance from 24 countries completed an online survey that included both closed-and open-ended questions about the content validity of the GAC-PAQ.The proportion of experts who agreed or strongly agreed with the items was calculated.Child-parent/guardian dyads from 15 countries(n=250;10-40 per country)participated in a structured cognitive interview to assess the clarity of the questions and response options,and they were encouraged to provide suggestions to improve clarity and facilitate completion of the questionnaire.Participating countries are:Aotearoa New Zealand,Brazil,Canada,China,Colombia,Czech Republic,India,Malawi,Mexico,Nepal,Nigeria,Spain,Sweden,Thailand,and the United Arab Emirates.Interviews were conducted in 13 different languages and structured by PA domain.Generic images were included to help participants in answering questions about PA intensity.Results:Expert agreement with the items for each domain exceeded 75%,and their qualitative feedback was used to revise the questionnaire before cognitive interviews.In general,participants found the questionnaire to be comprehensive.Adolescents(12-17 years)found it easier than children(8-11 years)to answer the questions.Several children struggled to answer questions about the duration and intensity of activities and/or concepts related to travel modes,active trips,and organized activities.Many parents/guardians were unsure about the frequency,duration,and intensity of their children's or adolescents'PA at school and/or recommended using more culturally relevant and appropriate images.Some participants misunderstood the concept of activities that“make you stronger”(intended to assess resistance activities)and/or struggled to differentiate between work,volunteering,and chores.Conclusion:Participants'feedback was used to develop a revised,simplified,and culturally adapted GAC-PAQ,which will be pilot-tested in all15 countries in an App that will include country-specific images and narration in local languages.Further research is needed to assess the reliability and validity of the revised GAC-PAQ.展开更多
It remains difficult to automate the creation and validation of Unified Modeling Language(UML)dia-grams due to unstructured requirements,limited automated pipelines,and the lack of reliable evaluation methods.This stu...It remains difficult to automate the creation and validation of Unified Modeling Language(UML)dia-grams due to unstructured requirements,limited automated pipelines,and the lack of reliable evaluation methods.This study introduces a cohesive architecture that amalgamates requirement development,UML synthesis,and multimodal validation.First,LLaMA-3.2-1B-Instruct was utilized to generate user-focused requirements.Then,DeepSeek-R1-Distill-Qwen-32B applies its reasoning skills to transform these requirements into PlantUML code.Using this dual-LLM pipeline,we constructed a synthetic dataset of 11,997 UML diagrams spanning six major diagram families.Rendering analysis showed that 89.5%of the generated diagrams compile correctly,while invalid cases were detected automatically.To assess quality,we employed a multimodal scoring method that combines Qwen2.5-VL-3B,LLaMA-3.2-11B-Vision-Instruct and Aya-Vision-8B,with weights based on MMMU performance.A study with 94 experts revealed strong alignment between automatic and manual evaluations,yielding a Pearson correlation of r=0.82 and a Fleiss’Kappa of 0.78.This indicates a high degree of concordance between automated metrics and human judgment.Overall,the results demonstrated that our scoring system is effective and that the proposed generation pipeline produces UML diagrams that are both syntactically correct and semantically coherent.More broadly,the system provides a scalable and reproducible foundation for future work in AI-driven software modeling and multimodal verification.展开更多
The mathematical model used to describe the detonation multi-physics phenomenon is usually given by highly coupled nonlinear partial differential equations. Numerical simulation and the computer aided engineering (CAE...The mathematical model used to describe the detonation multi-physics phenomenon is usually given by highly coupled nonlinear partial differential equations. Numerical simulation and the computer aided engineering (CAE) technique has become the third pillar of detonation research, along with theory and experiment, due to the detonation phenomenon is difficult to explain by the theoretical analysis, and the cost required to accredit the reliability of detonation products is very high, even some physical experiments of detonation are impossible. The numerical simulation technique can solve these complex problems in the real situation repeatedly and reduce the design cost and time stunningly. But the reliability of numerical simulation software and the serviceability of the computational result seriously hinders the extension, application and the self-restoration of the simulation software, restricts its independently innovational ability. This article deals with the physical modeling, numerical simulation, and software development of detonation in a unified way. Verification and validation and uncertainty quantification (V&V&UQ) is an important approach in ensuring the credibility of the modeling and simulation of detonation. V&V of detonation is based on our independently developed detonation multiphysics software-LAD2D. We propose the verification method based on mathematical theory and program function as well as availability of its program execution. Validation is executed by comparing with the experiment data. At last, we propose the future prospect of numerical simulation software and the CAE technique, and we also pay attention to the research direction of V&V&UQ.展开更多
Verification and validation are objective and subjective measurements of hearing aid function. Many studies have provided rationales for performing these measurements as necessary for hearing aid practitioners to prov...Verification and validation are objective and subjective measurements of hearing aid function. Many studies have provided rationales for performing these measurements as necessary for hearing aid practitioners to provide the highest level of care. Several researchers have suggested that completing these measurements as part of routine clinical care will reduce the number of return visits, reduce the number of aids returned for credit, and increase patient satisfaction. The purpose of this review article is to provide background, method and rationale for practitioners to use these measurements to improve their practice of hearing healthcare.展开更多
IEEE 1012 [1] describes the SDLC phase activities for software independent verification and validation (IV & V) for nuclear power plant in truly general and conceptual manner, which requires the upward and/or down...IEEE 1012 [1] describes the SDLC phase activities for software independent verification and validation (IV & V) for nuclear power plant in truly general and conceptual manner, which requires the upward and/or downward tailoring on its interpretation for practical IV & V. It contains crucial and encompassing check points and guidelines to analyze the design integrity, without addressing the formalized and the specific criteria for IV & V activities confirming the technical integrity. It is necessary to list up the inspection viewpoint via interpretation of the standard that is practical review points checking design consistency. For fruitful IV & V of Control Element Driving Mechanism Control System (CEDMCS) software for Yonggwang Nuclear Power Plant unit 3 & 4, the specific viewpoints and approach are necessary based on the guidelines of IEEE 1012 to enhance the system quality by considering the level of implementation of the theoretical and the practical IV & V. Additionally IV & V guideline of IEEE 1012 does not specifically provide the concrete measure considering the system characteristics of CEDMCS. This paper provides the seven (7) characteristic criteria for CEDMCS IV & V, and by applying these viewpoints, the design analysis such as function, performance, interface and exception, backward and forward requirement traceability analysis has been conducted. The requirement, design, implementation, and test phase were only considered for IV & V in this project. This article also provides the translation of code to map theoretical verification and validation into practical verification and validation. This paper emphasizes the necessity of the intensive design inspection and walkthrough for requirement phase to resolve the design faults because the IV & V of early phase of SDLC obviously contributes to find out most of critical design inconsistency. Especially for test phase IV & V, it is strongly recommended to prepare the test plan document which is going to be the basis for the test coverage selection and test strategy. This test plan document should be based on the critical characteristics of function and performance of CEDMCS. Also to guarantee the independency of V & V organization participating in this project, and to acquire the full package of design details for IV & V, the systematic approach and efforts with an aspect of management is highlighted among the participants.展开更多
The new method proposed is based on the formation of hydralazine-Bromophenol blue ion pair simply and without further extraction or heating. The ion pair was prepared in the presence of pH 3 citrate buffer forming a y...The new method proposed is based on the formation of hydralazine-Bromophenol blue ion pair simply and without further extraction or heating. The ion pair was prepared in the presence of pH 3 citrate buffer forming a yellow-colored chromogen. A new maximum UV-visible band formed at 416 nm. The color was stable for more than 10 hours and obeyed Beer’s Law over the concentration range of 10 - 50 µg/mL. The calculated molar absorptivity and Sandell’s sensitivity were 1.01 × 104 L∙mol−1∙cm−1 and 0.0514 µg/mL, respectively. The elements of method validation stipulated by The International Conference on Harmonization [Q2 (R1)] were applied for hydralazine hydrochloride assay in pure and pharmaceutical tablet formulation. The average recoveries of the pure solution and the pharmaceutical formulation were 98.94% and 99.50%, respectively. The results were statistically compared by F-test, which indicates that the method can be precise and repeatable for both pure and pharmaceutical solutions. The method was found to be accurate, reproducible, and cost-effective, and validated for the assay of hydralazine in terms of the routine quality control.展开更多
Improving the accuracy of anthropogenic volatile organic compounds(VOCs)emission inventory is crucial for reducing atmospheric pollution and formulating control policy of air pollution.In this study,an anthropogenic s...Improving the accuracy of anthropogenic volatile organic compounds(VOCs)emission inventory is crucial for reducing atmospheric pollution and formulating control policy of air pollution.In this study,an anthropogenic speciated VOCs emission inventory was established for Central China represented by Henan Province at a 3 km×3 km spatial resolution based on the emission factormethod.The 2019 VOCs emission in Henan Provincewas 1003.5 Gg,while industrial process source(33.7%)was the highest emission source,Zhengzhou(17.9%)was the city with highest emission and April and August were the months with the more emissions.High VOCs emission regions were concentrated in downtown areas and industrial parks.Alkanes and aromatic hydrocarbons were the main VOCs contribution groups.The species composition,source contribution and spatial distribution were verified and evaluated through tracer ratio method(TR),Positive Matrix Factorization Model(PMF)and remote sensing inversion(RSI).Results show that both the emission results by emission inventory(EI)(15.7 Gg)and by TRmethod(13.6 Gg)and source contribution by EI and PMF are familiar.The spatial distribution of HCHO primary emission based on RSI is basically consistent with that of HCHO emission based on EI with a R-value of 0.73.The verification results show that the VOCs emission inventory and speciated emission inventory established in this study are relatively reliable.展开更多
For high Re number flows,a new computational fluid dynamics （CFD） validation method,namely,wall-surface compatibility criteria method and also called Gao＇s criteria,is proposed to verify near wall flows.As examples...For high Re number flows,a new computational fluid dynamics （CFD） validation method,namely,wall-surface compatibility criteria method and also called Gao＇s criteria,is proposed to verify near wall flows.As examples,Gao＇s criteria method and other two CFD verification methods （analytic solutions method and grid convergence analysis） are used to verify FLUENT＇s near wall flows solutions for two-dimensional incompressible laminar stagnation-point flows.The exact solution of the Navier-Stokes equations for laminar stagnation-point flows satisfy accurately all Gao＇s criteria,numerical simulations of laminar stagnation-point flows show that when physical parameters （the pressure coefficient and the Stanton number at wall surface） achieve convergence with more and more fine-screen grid,a part of Gao＇s criteria are not satisfied.展开更多
Kinship verification is a key biometric recognition task that determines biological relationships based on physical features.Traditional methods predominantly use facial recognition,leveraging established techniques a...Kinship verification is a key biometric recognition task that determines biological relationships based on physical features.Traditional methods predominantly use facial recognition,leveraging established techniques and extensive datasets.However,recent research has highlighted ear recognition as a promising alternative,offering advantages in robustness against variations in facial expressions,aging,and occlusions.Despite its potential,a significant challenge in ear-based kinship verification is the lack of large-scale datasets necessary for training deep learning models effectively.To address this challenge,we introduce the EarKinshipVN dataset,a novel and extensive collection of ear images designed specifically for kinship verification.This dataset consists of 4876 high-resolution color images from 157 multiracial families across different regions,forming 73,220 kinship pairs.EarKinshipVN,a diverse and large-scale dataset,advances kinship verification research using ear features.Furthermore,we propose the Mixer Attention Inception(MAI)model,an improved architecture that enhances feature extraction and classification accuracy.The MAI model fuses Inceptionv4 and MLP Mixer,integrating four attention mechanisms to enhance spatial and channel-wise feature representation.Experimental results demonstrate that MAI significantly outperforms traditional backbone architectures.It achieves an accuracy of 98.71%,surpassing Vision Transformer models while reducing computational complexity by up to 95%in parameter usage.These findings suggest that ear-based kinship verification,combined with an optimized deep learning model and a comprehensive dataset,holds significant promise for biometric applications.展开更多
Metal Additive Manufacturing(MAM) technology has become an important means of rapid prototyping precision manufacturing of special high dynamic heterogeneous complex parts. In response to the micromechanical defects s...Metal Additive Manufacturing(MAM) technology has become an important means of rapid prototyping precision manufacturing of special high dynamic heterogeneous complex parts. In response to the micromechanical defects such as porosity issues, significant deformation, surface cracks, and challenging control of surface morphology encountered during the selective laser melting(SLM) additive manufacturing(AM) process of specialized Micro Electromechanical System(MEMS) components, multiparameter optimization and micro powder melt pool/macro-scale mechanical properties control simulation of specialized components are conducted. The optimal parameters obtained through highprecision preparation and machining of components and static/high dynamic verification are: laser power of 110 W, laser speed of 600 mm/s, laser diameter of 75 μm, and scanning spacing of 50 μm. The density of the subordinate components under this reference can reach 99.15%, the surface hardness can reach 51.9 HRA, the yield strength can reach 550 MPa, the maximum machining error of the components is 4.73%, and the average surface roughness is 0.45 μm. Through dynamic hammering and high dynamic firing verification, SLM components meet the requirements for overload resistance. The results have proven that MEM technology can provide a new means for the processing of MEMS components applied in high dynamic environments. The parameters obtained in the conclusion can provide a design basis for the additive preparation of MEMS components.展开更多
The ongoing revolution in information technology is reshaping human life. In the realm of health behavior, wearable technology emerges as a leading digital solution,capturing physical behaviors (i.e., physical activit...The ongoing revolution in information technology is reshaping human life. In the realm of health behavior, wearable technology emerges as a leading digital solution,capturing physical behaviors (i.e., physical activity, sedentary habits, sleep patterns) within the 24-h cycle of daily life. Wearables are applied in research, clinical practice, and as lifestyle devices;most obvious, they promise to be a key element for increasing human physical activity, one of the biggest health challenges nowadays.展开更多
OBJECTIVE:To explore the potential molecular mechanism of Qigu capsule(芪骨胶囊,QGC) in the treatment of sarcopenia through network pharmacology and to verify it experimentally.METHODS:The active compounds of QGC and ...OBJECTIVE:To explore the potential molecular mechanism of Qigu capsule(芪骨胶囊,QGC) in the treatment of sarcopenia through network pharmacology and to verify it experimentally.METHODS:The active compounds of QGC and common targets between QGC and sarcopenia were screened from databases.Then the herbs-compounds-targets network,and protein-protein interaction(PPI) network was constructed.Gene ontology(GO) and Kyoto Encyclopedia of Genes and Genomes(KEGG) pathway enrichment analysis were performed by R software.Next,we used a dexamethasone-induced sarcopenia mouse model to evaluate the anti-sarcopenic mechanism of QGC.RESULTS:A total of 57 common targets of QGC and sarcopenia were obtained.Based on the enrichment analysis of GO and KEGG,we took the phosphatidylinositol 3-kinase(PI3K)/protein kinase B(Akt) signaling pathway as a key target to explore the mechanism of QGC on sarcopenia.Animal experiments showed that QGC could increase muscle strength and inhibit muscle fiber atrophy.In the model group,the expression of muscle ring finger-1 and Atrogin-1 were increased,while myosin heavy chain was decreased,QGC treatment reversed these changes.Moreover,compared with the model group,the expressions of pPI3K,p-Akt,p-mammalian target of rapamycin and pForkhead box O3 in the QGC group were all upregulated.CONCLUSION:QGC exerts an anti-sarcopenic effect by activating PI3K/Akt signaling pathway to regulate skeletal muscle protein metabolism.展开更多
Objective:Pelvic floor dysfunction is common among pregnant and postpartum women and significantly impacts quality of life.This study aims to translate the German Pelvic Floor Questionnaire for Pregnant and Postpartum...Objective:Pelvic floor dysfunction is common among pregnant and postpartum women and significantly impacts quality of life.This study aims to translate the German Pelvic Floor Questionnaire for Pregnant and Postpartum Women into Chinese and to evaluate its reliability and validity in the Chinese population.Methods:The questionnaire was translated using the Brislin model.A cross-sectional study was conducted among pregnant and postpartum women to assess the content validity,construct validity,Cronbach’sαcoefficient,test-retest reliability,and split-half reliability of the Chinese version.Results:A total of 72 women were included,with 6.9% being pregnant and 93.1% postpartum;the age was(32.3±3.6)years.The Chinese version of the questionnaire contains 4 dimensions and 45 items.The content validity index of individual items ranged from 0.833 to 1.000,with a scale-level content validity index of 0.977 and intraclass correlation coefficients(ICCs)exceeding 0.90.The overall Cronbach’s α coefficient was 0.891,with subscale coefficients ranging from 0.732 to 0.884(all ICCs>0.70).The testretest reliability of the total scale was 0.833,and for the 4 dimensions,bladder,bowel,prolapse,and sexual function,the values were 0.776,0.579,0.732,and 0.645,respectively.The split-half reliability was 0.74.Conclusion:The Chinese version of the questionnaire demonstrated good reliability and validity,indicating its applicability in assessing pelvic floor dysfunction and associated risk factors during pregnancy and postpartum.展开更多
The purpose of this paper is to look into how reliable and valid the Persian version of the Cannabis Use Disorder Identification Test-Revised (CUDIT-R-Pr) is. It will also compare the screening features of the CUDIT-R...The purpose of this paper is to look into how reliable and valid the Persian version of the Cannabis Use Disorder Identification Test-Revised (CUDIT-R-Pr) is. It will also compare the screening features of the CUDIT-R with those of the DSM-5 criteria for cannabis use disorder (CUD) based on the SCID-5-CT in a group of university students in Tehran, Iran. The study used the stratified random sampling technique to collect data from 541 students (19 to 24 years old) who used cannabis in Tehran universities in 2024. Confirmatory factor analysis confirmed the uni-dimensionality of the CUDIT-R-Pr. We checked the reliability of the CUDIT-R-Pr using Cronbach Alpha, split-half, inter-rater, test-retest stability over time, and parallel testing equivalence. The results indicated that CUDIT-R-Pr is reliable, reproducible, and responsive, with substantial agreement and adequate interpretability. The CUDIT-R shows that it can tell the difference between different levels of cannabis use severity, which is known as discriminant validity. Receiver operating characteristic analyses confirmed this, using an area under the receiver operating characteristics curve (AUC = 0.95) at a cutoff of ten or less. This allowed CUDIT-R-Pr to accurately predict any DSM-5 based on the highest correctly classified value (0.89), demonstrating high levels of sensitivity (0.96), specificity (0.69), and Youden value (0.65). The exact maximum Youden index (0.72) showed that CUDIT-R-Pr could also predict moderate DSM-5 with a cutoff of twelve or less. To validate and generalize the CUDIT-R-Pr for use among Iranian cannabis users, we need more research.展开更多
基金Supported by the National Key R&D Program of China(2022YFB3303501)the National Natural Science Foundation of China(Project Nos.52176041 and 12102308)the Fundamental Research Funds for the Central Universities(Project Nos.2042023kf0208 and 2042023kf0159).
文摘Verification and validation(V&V)is a helpful tool for evaluating simulation errors,but its application in unsteady cavitating flow remains a challenging issue due to the difficulty in meeting the requirement of an asymptotic range.Hence,a new V&V approach for large eddy simulation(LES)is proposed.This approach offers a viable solution for the error estimation of simulation data that are unable to satisfy the asymptotic range.The simulation errors of cavitating flow around a projectile near the free surface are assessed using the new V&V method.The evident error values are primarily dispersed around the cavity region and free surface.The increasingly intense cavitating flow increases the error magnitudes.In addition,the modeling error magnitudes of the Dynamic Smagorinsky-Lilly model are substantially smaller than that of the Smagorinsky-Lilly model.The present V&V method can capture the decrease in the modeling errors due to model enhancements,further exhibiting its applicability in cavitating flow simulations.Moreover,the monitoring points where the simulation data are beyond the asymptotic range are primarily dispersed near the cavity region,and the number of such points grows as the cavitating flow intensifies.The simulation outcomes also suggest that the re-entrant jet and shedding cavity collapse are the chief sources of vorticity motions,which remarkably affect the simulation accuracy.The results of this study provide a valuable reference for V&V research.
基金supported by the National Key R&D Program of China(Grant No.2022YFB3303500).
文摘systematic verification and validation(V&V)of our previously proposed momentum source wave generation method is performed.Some settings of previous numerical wave tanks(NWTs)of regular and irregular waves have been optimized.The H2-5 V&V method involving five mesh sizes with mesh refinement ratio being 1.225 is used to verify the NWT of regular waves,in which the wave height and mass conservation are mainly considered based on a Lv3(H s=0.75 m)and a Lv6(H s=5 m)regular wave.Additionally,eight different sea states are chosen to validate the wave height,mass conservation and wave frequency of regular waves.Regarding the NWT of irregular waves,five different sea states with significant wave heights ranging from 0.09 m to 12.5 m are selected to validate the statistical characteristics of irregular waves,including the profile of the wave spectrum,peak frequency and significant wave height.Results show that the verification errors for Lv3 and Lv6 regular wave on the most refined grid are−0.018 and−0.35 for wave height,respectively,and−0.14 and for−0.17 mass conservation,respectively.The uncertainty estimation analysis shows that the numerical error could be partially balanced out by the modelling error to achieve a smaller validation error by adjusting the mesh size elaborately.And the validation errors of the wave height,mass conservation and dominant frequency of regular waves under different sea states are no more than 7%,8% and 2%,respectively.For a Lv3(H_(s)=0.75 m)and a Lv6(H_(s)=5 m)regular wave,simulations are validated on the wave height in wave development section for safety factors FS≈1 and FS≈0.5-1,respectively.Regarding irregular waves,the validation errors of the significant wave height and peak frequency are both lower than 2%.
基金Project partially supported by the European Union and the European Social Fund(No.TAMOP-4.2.2.C-11/1/KONV-2012-0013)
文摘Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/ validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/ validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.
基金supported by a Project Grant(Grant No.PJT183705)an Early Career Investigator Prize(Grant No.ECP 184184)from the Canadian Institutes of Health Research+7 种基金a Prentice Institute Research Affiliate Fund Grant from the Prentice Institute for Global Population and Economy(Grant No.G00004116)a Te Herenga Waka Victoria University of Wellington Division of Science Health Engineering Architecture and Design Innovation Faculty Strategic Research Grant(Grant No.FSRG-SHEADI-10724)The Thailand Physical Activity Knowledge Development Centre(TPAK)/Thai Health Promotion Foundation provided funding for the cognitive interviews and pilot study in Thailand(Grant No.66-P1-0473)The University Pablo de Olavide provided a scholarship for 2 undergraduate students working on the project(codes PPI2207 and PPI2308)In the Czech Republicthe study was supported by Palacky University IGA(Grant No.IGA_FTK_2023_017)supported by the Division of Intramural Research at the National Institute on Minority Health and Health Disparities of the National Institutes of Healthsupported by the Key Project of the National Philosophy and Social Science Foundation of China(23&ZD197)。
文摘Background:Investigators from low-,middle-,and high-income countries representing 6 continents contributed to the development of the Global Adolescent and Child Physical Activity Questionnaire(GAC-PAQ).The GAC-PAQ is designed to assess physical activity(PA)across all key domains(i.e.,school,chores,work/volunteering,transport,free time,outdoor time).It aimed to address multiple gaps in global PA surveillance(e.g.,omission of important PA domains,insufficient cultural adaptation,underrepresentation of rural areas in questionnaire validation studies).The purpose of this study was to assess the content validity of the GAC-PAQ among PA experts,8-to 17-year-olds,and one of their parents/guardians,and to discuss changes made to the questionnaire based on participants'feedback.Methods:Sixty-two experts in PA measurement and/or surveillance from 24 countries completed an online survey that included both closed-and open-ended questions about the content validity of the GAC-PAQ.The proportion of experts who agreed or strongly agreed with the items was calculated.Child-parent/guardian dyads from 15 countries(n=250;10-40 per country)participated in a structured cognitive interview to assess the clarity of the questions and response options,and they were encouraged to provide suggestions to improve clarity and facilitate completion of the questionnaire.Participating countries are:Aotearoa New Zealand,Brazil,Canada,China,Colombia,Czech Republic,India,Malawi,Mexico,Nepal,Nigeria,Spain,Sweden,Thailand,and the United Arab Emirates.Interviews were conducted in 13 different languages and structured by PA domain.Generic images were included to help participants in answering questions about PA intensity.Results:Expert agreement with the items for each domain exceeded 75%,and their qualitative feedback was used to revise the questionnaire before cognitive interviews.In general,participants found the questionnaire to be comprehensive.Adolescents(12-17 years)found it easier than children(8-11 years)to answer the questions.Several children struggled to answer questions about the duration and intensity of activities and/or concepts related to travel modes,active trips,and organized activities.Many parents/guardians were unsure about the frequency,duration,and intensity of their children's or adolescents'PA at school and/or recommended using more culturally relevant and appropriate images.Some participants misunderstood the concept of activities that“make you stronger”(intended to assess resistance activities)and/or struggled to differentiate between work,volunteering,and chores.Conclusion:Participants'feedback was used to develop a revised,simplified,and culturally adapted GAC-PAQ,which will be pilot-tested in all15 countries in an App that will include country-specific images and narration in local languages.Further research is needed to assess the reliability and validity of the revised GAC-PAQ.
基金supported by the DH2025-TN07-07 project conducted at the Thai Nguyen University of Information and Communication Technology,Thai Nguyen,Vietnam,with additional support from the AI in Software Engineering Lab.
文摘It remains difficult to automate the creation and validation of Unified Modeling Language(UML)dia-grams due to unstructured requirements,limited automated pipelines,and the lack of reliable evaluation methods.This study introduces a cohesive architecture that amalgamates requirement development,UML synthesis,and multimodal validation.First,LLaMA-3.2-1B-Instruct was utilized to generate user-focused requirements.Then,DeepSeek-R1-Distill-Qwen-32B applies its reasoning skills to transform these requirements into PlantUML code.Using this dual-LLM pipeline,we constructed a synthetic dataset of 11,997 UML diagrams spanning six major diagram families.Rendering analysis showed that 89.5%of the generated diagrams compile correctly,while invalid cases were detected automatically.To assess quality,we employed a multimodal scoring method that combines Qwen2.5-VL-3B,LLaMA-3.2-11B-Vision-Instruct and Aya-Vision-8B,with weights based on MMMU performance.A study with 94 experts revealed strong alignment between automatic and manual evaluations,yielding a Pearson correlation of r=0.82 and a Fleiss’Kappa of 0.78.This indicates a high degree of concordance between automated metrics and human judgment.Overall,the results demonstrated that our scoring system is effective and that the proposed generation pipeline produces UML diagrams that are both syntactically correct and semantically coherent.More broadly,the system provides a scalable and reproducible foundation for future work in AI-driven software modeling and multimodal verification.
基金supported by Science Challenge Project [No TZ2018001]Shandong Provincial Natural Science Foundation [No ZR2017BA014]+1 种基金National Natural Science Foundation of China [No91630312]the Development Program for Defense Ministry of China [No.C1520110002]
文摘The mathematical model used to describe the detonation multi-physics phenomenon is usually given by highly coupled nonlinear partial differential equations. Numerical simulation and the computer aided engineering (CAE) technique has become the third pillar of detonation research, along with theory and experiment, due to the detonation phenomenon is difficult to explain by the theoretical analysis, and the cost required to accredit the reliability of detonation products is very high, even some physical experiments of detonation are impossible. The numerical simulation technique can solve these complex problems in the real situation repeatedly and reduce the design cost and time stunningly. But the reliability of numerical simulation software and the serviceability of the computational result seriously hinders the extension, application and the self-restoration of the simulation software, restricts its independently innovational ability. This article deals with the physical modeling, numerical simulation, and software development of detonation in a unified way. Verification and validation and uncertainty quantification (V&V&UQ) is an important approach in ensuring the credibility of the modeling and simulation of detonation. V&V of detonation is based on our independently developed detonation multiphysics software-LAD2D. We propose the verification method based on mathematical theory and program function as well as availability of its program execution. Validation is executed by comparing with the experiment data. At last, we propose the future prospect of numerical simulation software and the CAE technique, and we also pay attention to the research direction of V&V&UQ.
文摘Verification and validation are objective and subjective measurements of hearing aid function. Many studies have provided rationales for performing these measurements as necessary for hearing aid practitioners to provide the highest level of care. Several researchers have suggested that completing these measurements as part of routine clinical care will reduce the number of return visits, reduce the number of aids returned for credit, and increase patient satisfaction. The purpose of this review article is to provide background, method and rationale for practitioners to use these measurements to improve their practice of hearing healthcare.
文摘IEEE 1012 [1] describes the SDLC phase activities for software independent verification and validation (IV & V) for nuclear power plant in truly general and conceptual manner, which requires the upward and/or downward tailoring on its interpretation for practical IV & V. It contains crucial and encompassing check points and guidelines to analyze the design integrity, without addressing the formalized and the specific criteria for IV & V activities confirming the technical integrity. It is necessary to list up the inspection viewpoint via interpretation of the standard that is practical review points checking design consistency. For fruitful IV & V of Control Element Driving Mechanism Control System (CEDMCS) software for Yonggwang Nuclear Power Plant unit 3 & 4, the specific viewpoints and approach are necessary based on the guidelines of IEEE 1012 to enhance the system quality by considering the level of implementation of the theoretical and the practical IV & V. Additionally IV & V guideline of IEEE 1012 does not specifically provide the concrete measure considering the system characteristics of CEDMCS. This paper provides the seven (7) characteristic criteria for CEDMCS IV & V, and by applying these viewpoints, the design analysis such as function, performance, interface and exception, backward and forward requirement traceability analysis has been conducted. The requirement, design, implementation, and test phase were only considered for IV & V in this project. This article also provides the translation of code to map theoretical verification and validation into practical verification and validation. This paper emphasizes the necessity of the intensive design inspection and walkthrough for requirement phase to resolve the design faults because the IV & V of early phase of SDLC obviously contributes to find out most of critical design inconsistency. Especially for test phase IV & V, it is strongly recommended to prepare the test plan document which is going to be the basis for the test coverage selection and test strategy. This test plan document should be based on the critical characteristics of function and performance of CEDMCS. Also to guarantee the independency of V & V organization participating in this project, and to acquire the full package of design details for IV & V, the systematic approach and efforts with an aspect of management is highlighted among the participants.
文摘The new method proposed is based on the formation of hydralazine-Bromophenol blue ion pair simply and without further extraction or heating. The ion pair was prepared in the presence of pH 3 citrate buffer forming a yellow-colored chromogen. A new maximum UV-visible band formed at 416 nm. The color was stable for more than 10 hours and obeyed Beer’s Law over the concentration range of 10 - 50 µg/mL. The calculated molar absorptivity and Sandell’s sensitivity were 1.01 × 104 L∙mol−1∙cm−1 and 0.0514 µg/mL, respectively. The elements of method validation stipulated by The International Conference on Harmonization [Q2 (R1)] were applied for hydralazine hydrochloride assay in pure and pharmaceutical tablet formulation. The average recoveries of the pure solution and the pharmaceutical formulation were 98.94% and 99.50%, respectively. The results were statistically compared by F-test, which indicates that the method can be precise and repeatable for both pure and pharmaceutical solutions. The method was found to be accurate, reproducible, and cost-effective, and validated for the assay of hydralazine in terms of the routine quality control.
基金supported by Zhengzhou PM_(2.5)and O_(3)Collaborative Control and Monitoring Project(No.20220347A)the 2020 National Supercomputing Zhengzhou Center Innovation Ecosystem Construction Technology Project(No.201400210700).
文摘Improving the accuracy of anthropogenic volatile organic compounds(VOCs)emission inventory is crucial for reducing atmospheric pollution and formulating control policy of air pollution.In this study,an anthropogenic speciated VOCs emission inventory was established for Central China represented by Henan Province at a 3 km×3 km spatial resolution based on the emission factormethod.The 2019 VOCs emission in Henan Provincewas 1003.5 Gg,while industrial process source(33.7%)was the highest emission source,Zhengzhou(17.9%)was the city with highest emission and April and August were the months with the more emissions.High VOCs emission regions were concentrated in downtown areas and industrial parks.Alkanes and aromatic hydrocarbons were the main VOCs contribution groups.The species composition,source contribution and spatial distribution were verified and evaluated through tracer ratio method(TR),Positive Matrix Factorization Model(PMF)and remote sensing inversion(RSI).Results show that both the emission results by emission inventory(EI)(15.7 Gg)and by TRmethod(13.6 Gg)and source contribution by EI and PMF are familiar.The spatial distribution of HCHO primary emission based on RSI is basically consistent with that of HCHO emission based on EI with a R-value of 0.73.The verification results show that the VOCs emission inventory and speciated emission inventory established in this study are relatively reliable.
基金Sponsored by the National Natural Science Foundation of China(10702009)
文摘For high Re number flows,a new computational fluid dynamics （CFD） validation method,namely,wall-surface compatibility criteria method and also called Gao＇s criteria,is proposed to verify near wall flows.As examples,Gao＇s criteria method and other two CFD verification methods （analytic solutions method and grid convergence analysis） are used to verify FLUENT＇s near wall flows solutions for two-dimensional incompressible laminar stagnation-point flows.The exact solution of the Navier-Stokes equations for laminar stagnation-point flows satisfy accurately all Gao＇s criteria,numerical simulations of laminar stagnation-point flows show that when physical parameters （the pressure coefficient and the Stanton number at wall surface） achieve convergence with more and more fine-screen grid,a part of Gao＇s criteria are not satisfied.
文摘Kinship verification is a key biometric recognition task that determines biological relationships based on physical features.Traditional methods predominantly use facial recognition,leveraging established techniques and extensive datasets.However,recent research has highlighted ear recognition as a promising alternative,offering advantages in robustness against variations in facial expressions,aging,and occlusions.Despite its potential,a significant challenge in ear-based kinship verification is the lack of large-scale datasets necessary for training deep learning models effectively.To address this challenge,we introduce the EarKinshipVN dataset,a novel and extensive collection of ear images designed specifically for kinship verification.This dataset consists of 4876 high-resolution color images from 157 multiracial families across different regions,forming 73,220 kinship pairs.EarKinshipVN,a diverse and large-scale dataset,advances kinship verification research using ear features.Furthermore,we propose the Mixer Attention Inception(MAI)model,an improved architecture that enhances feature extraction and classification accuracy.The MAI model fuses Inceptionv4 and MLP Mixer,integrating four attention mechanisms to enhance spatial and channel-wise feature representation.Experimental results demonstrate that MAI significantly outperforms traditional backbone architectures.It achieves an accuracy of 98.71%,surpassing Vision Transformer models while reducing computational complexity by up to 95%in parameter usage.These findings suggest that ear-based kinship verification,combined with an optimized deep learning model and a comprehensive dataset,holds significant promise for biometric applications.
基金funded by the National Natural Science Foundation of China Youth Fund(Grant No.62304022)Science and Technology on Electromechanical Dynamic Control Laboratory(China,Grant No.6142601012304)the 2022e2024 China Association for Science and Technology Innovation Integration Association Youth Talent Support Project(Grant No.2022QNRC001).
文摘Metal Additive Manufacturing(MAM) technology has become an important means of rapid prototyping precision manufacturing of special high dynamic heterogeneous complex parts. In response to the micromechanical defects such as porosity issues, significant deformation, surface cracks, and challenging control of surface morphology encountered during the selective laser melting(SLM) additive manufacturing(AM) process of specialized Micro Electromechanical System(MEMS) components, multiparameter optimization and micro powder melt pool/macro-scale mechanical properties control simulation of specialized components are conducted. The optimal parameters obtained through highprecision preparation and machining of components and static/high dynamic verification are: laser power of 110 W, laser speed of 600 mm/s, laser diameter of 75 μm, and scanning spacing of 50 μm. The density of the subordinate components under this reference can reach 99.15%, the surface hardness can reach 51.9 HRA, the yield strength can reach 550 MPa, the maximum machining error of the components is 4.73%, and the average surface roughness is 0.45 μm. Through dynamic hammering and high dynamic firing verification, SLM components meet the requirements for overload resistance. The results have proven that MEM technology can provide a new means for the processing of MEMS components applied in high dynamic environments. The parameters obtained in the conclusion can provide a design basis for the additive preparation of MEMS components.
基金funded in part by the German Research Foundation(Grant reference:496846758).
文摘The ongoing revolution in information technology is reshaping human life. In the realm of health behavior, wearable technology emerges as a leading digital solution,capturing physical behaviors (i.e., physical activity, sedentary habits, sleep patterns) within the 24-h cycle of daily life. Wearables are applied in research, clinical practice, and as lifestyle devices;most obvious, they promise to be a key element for increasing human physical activity, one of the biggest health challenges nowadays.
基金Shanghai Clinical Research Center for Chronic Musculoskeletal Diseases (20MC1920600)Shanghai Key Clinical Specialty "Traditional Chinese Medicine Orthopaedic Traumatology"(shslczdzk03901)+3 种基金The Second Round of Construction Project of National TCM Academic School Inheritance Studio "Shi's Trauma Department"[Letter of the People's Education of Traditional Chinese Medicine (2019) No.62]Shanghai High-level Local Universities "Chronic Muscle and Bone Damage Research and Transformation" Innovation Team [No.3 of Shanghai Education Commission (2022)]Program for Shanghai High-Level Local University Innovation Team (SZY20220315)Shanghai Shenkang Hospital Development Center Clinical Three-year Action Plan (SHDC2020CR3090B)。
文摘OBJECTIVE:To explore the potential molecular mechanism of Qigu capsule(芪骨胶囊,QGC) in the treatment of sarcopenia through network pharmacology and to verify it experimentally.METHODS:The active compounds of QGC and common targets between QGC and sarcopenia were screened from databases.Then the herbs-compounds-targets network,and protein-protein interaction(PPI) network was constructed.Gene ontology(GO) and Kyoto Encyclopedia of Genes and Genomes(KEGG) pathway enrichment analysis were performed by R software.Next,we used a dexamethasone-induced sarcopenia mouse model to evaluate the anti-sarcopenic mechanism of QGC.RESULTS:A total of 57 common targets of QGC and sarcopenia were obtained.Based on the enrichment analysis of GO and KEGG,we took the phosphatidylinositol 3-kinase(PI3K)/protein kinase B(Akt) signaling pathway as a key target to explore the mechanism of QGC on sarcopenia.Animal experiments showed that QGC could increase muscle strength and inhibit muscle fiber atrophy.In the model group,the expression of muscle ring finger-1 and Atrogin-1 were increased,while myosin heavy chain was decreased,QGC treatment reversed these changes.Moreover,compared with the model group,the expressions of pPI3K,p-Akt,p-mammalian target of rapamycin and pForkhead box O3 in the QGC group were all upregulated.CONCLUSION:QGC exerts an anti-sarcopenic effect by activating PI3K/Akt signaling pathway to regulate skeletal muscle protein metabolism.
基金supported by the Natural Science Foundation of Hunan Province(2024JJ6626)the Hunan Provincial Key Laboratory of Regional Hereditary Birth Defects Prevention and Control(HPKL202320),China.
文摘Objective:Pelvic floor dysfunction is common among pregnant and postpartum women and significantly impacts quality of life.This study aims to translate the German Pelvic Floor Questionnaire for Pregnant and Postpartum Women into Chinese and to evaluate its reliability and validity in the Chinese population.Methods:The questionnaire was translated using the Brislin model.A cross-sectional study was conducted among pregnant and postpartum women to assess the content validity,construct validity,Cronbach’sαcoefficient,test-retest reliability,and split-half reliability of the Chinese version.Results:A total of 72 women were included,with 6.9% being pregnant and 93.1% postpartum;the age was(32.3±3.6)years.The Chinese version of the questionnaire contains 4 dimensions and 45 items.The content validity index of individual items ranged from 0.833 to 1.000,with a scale-level content validity index of 0.977 and intraclass correlation coefficients(ICCs)exceeding 0.90.The overall Cronbach’s α coefficient was 0.891,with subscale coefficients ranging from 0.732 to 0.884(all ICCs>0.70).The testretest reliability of the total scale was 0.833,and for the 4 dimensions,bladder,bowel,prolapse,and sexual function,the values were 0.776,0.579,0.732,and 0.645,respectively.The split-half reliability was 0.74.Conclusion:The Chinese version of the questionnaire demonstrated good reliability and validity,indicating its applicability in assessing pelvic floor dysfunction and associated risk factors during pregnancy and postpartum.
文摘The purpose of this paper is to look into how reliable and valid the Persian version of the Cannabis Use Disorder Identification Test-Revised (CUDIT-R-Pr) is. It will also compare the screening features of the CUDIT-R with those of the DSM-5 criteria for cannabis use disorder (CUD) based on the SCID-5-CT in a group of university students in Tehran, Iran. The study used the stratified random sampling technique to collect data from 541 students (19 to 24 years old) who used cannabis in Tehran universities in 2024. Confirmatory factor analysis confirmed the uni-dimensionality of the CUDIT-R-Pr. We checked the reliability of the CUDIT-R-Pr using Cronbach Alpha, split-half, inter-rater, test-retest stability over time, and parallel testing equivalence. The results indicated that CUDIT-R-Pr is reliable, reproducible, and responsive, with substantial agreement and adequate interpretability. The CUDIT-R shows that it can tell the difference between different levels of cannabis use severity, which is known as discriminant validity. Receiver operating characteristic analyses confirmed this, using an area under the receiver operating characteristics curve (AUC = 0.95) at a cutoff of ten or less. This allowed CUDIT-R-Pr to accurately predict any DSM-5 based on the highest correctly classified value (0.89), demonstrating high levels of sensitivity (0.96), specificity (0.69), and Youden value (0.65). The exact maximum Youden index (0.72) showed that CUDIT-R-Pr could also predict moderate DSM-5 with a cutoff of twelve or less. To validate and generalize the CUDIT-R-Pr for use among Iranian cannabis users, we need more research.
