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.展开更多
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.展开更多
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: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.展开更多
The exponential growth of the Internet of Things(IoT)has revolutionized various domains such as healthcare,smart cities,and agriculture,generating vast volumes of data that require secure processing and storage in clo...The exponential growth of the Internet of Things(IoT)has revolutionized various domains such as healthcare,smart cities,and agriculture,generating vast volumes of data that require secure processing and storage in cloud environments.However,reliance on cloud infrastructure raises critical security challenges,particularly regarding data integrity.While existing cryptographic methods provide robust integrity verification,they impose significant computational and energy overheads on resource-constrained IoT devices,limiting their applicability in large-scale,real-time scenarios.To address these challenges,we propose the Cognitive-Based Integrity Verification Model(C-BIVM),which leverages Belief-Desire-Intention(BDI)cognitive intelligence and algebraic signatures to enable lightweight,efficient,and scalable data integrity verification.The model incorporates batch auditing,reducing resource consumption in large-scale IoT environments by approximately 35%,while achieving an accuracy of over 99.2%in detecting data corruption.C-BIVM dynamically adapts integrity checks based on real-time conditions,optimizing resource utilization by minimizing redundant operations by more than 30%.Furthermore,blind verification techniques safeguard sensitive IoT data,ensuring privacy compliance by preventing unauthorized access during integrity checks.Extensive experimental evaluations demonstrate that C-BIVM reduces computation time for integrity checks by up to 40%compared to traditional bilinear pairing-based methods,making it particularly suitable for IoT-driven applications in smart cities,healthcare,and beyond.These results underscore the effectiveness of C-BIVM in delivering a secure,scalable,and resource-efficient solution tailored to the evolving needs of IoT ecosystems.展开更多
Ecosystem services(ES)mapping and models have advanced in recent years.Improvements were made,and the assessments have transitioned from qualitative to quantitative.Although this is an important advancement,the ES map...Ecosystem services(ES)mapping and models have advanced in recent years.Improvements were made,and the assessments have transitioned from qualitative to quantitative.Although this is an important advancement,the ES mapping and modelling validation step has been overlooked,and this raises an important question in the credibility of the outcomes.This has been an important and unsolved issue in the ES research community that needs to be tackled.This highlight paper discusses the importance of validating single ES mapping and models.Conducting this using field or proximal/remote sensing raw data and not data from other models or stakeholder evaluation is important.A validation step should be mandatory in ES frameworks since it can assess the models’veracity,contribute to identifying the model’s weaknesses/strengths and ultimately represent a scientific advance in the field.This is easier to apply to the biophysical mapping and models of regulating and provisioning ES than to cultural ES,as the latter rely more on perception and cultural contexts.Also,ES supply models are easier to validate than demand and flow models.Robust and well-grounded models are essential for ensuring the reliability of individual ES maps and models and should be integrated into decision-making processes.Although several challenges arise related to the costs of data collection,in several cases prohibitive,and the time and the expertise needed to conduct this sampling and analysis,this is likely an imperative step that needs to be considered in the future.This will be beneficial in establishing ES research and improving decision-making and wellbeing.展开更多
Combining the characteristics of the course“Comprehensive Training of E-Commerce Live Streaming,”this paper embeds the CDIO(Conceive-Design-Implement-Operate)method into the live streaming training process,carries o...Combining the characteristics of the course“Comprehensive Training of E-Commerce Live Streaming,”this paper embeds the CDIO(Conceive-Design-Implement-Operate)method into the live streaming training process,carries out the virtual scene“e-commerce live streaming”course design and project-based teaching reform that integrates teaching training with learning effects,and establishes a set of cross-professional student live streaming training procedures guided by the CDIO engineering method.The training results show that the CDIO practical teaching model supported by data feedback plays an important role and significance in improving students’learning effects,and also provides some new experiences for integrating engineering thinking into the construction of new liberal arts.展开更多
Objectives This study aimed to validate the Russian version of the Copenhagen Burnout Inventory(R-CBI)among nurses in Kazakhstan and Kyrgyzstan and explored factors contributing to burnout.Methods The original Copenha...Objectives This study aimed to validate the Russian version of the Copenhagen Burnout Inventory(R-CBI)among nurses in Kazakhstan and Kyrgyzstan and explored factors contributing to burnout.Methods The original Copenhagen Burnout Inventory(CBI)was translated into the R-CBI using a rigorous forward-backward method and reviewed by experts.Between July and November 2022,1,530 nurses were recruited through convenience sampling method from various nursing settings in Kazakhstan and Kyrgyzstan to test the scale’s reliability and validity,including confirmatory factor analysis(CFA),internal consistency reliability,and concurrent validity.A linear regression analysis was conducted to identify influencing factors of burnout.Results The content of the R-CBI is consistent with the original CBI,consisting of 19 items with three dimensions.The Cronbach’sαcoefficient is 0.926 in Kazakhstan and 0.922 in Kyrgyzstan,ranging from 0.830 to 0.898 for three dimensions.The CFA results among nurses in Kazakhstan and Kyrgyzstan supported the three-factor structure of R-CBI with good fit indices.Concurrent validity was established through significant correlations(P<0.001)with job satisfaction questionnaire(r=−0.457),Depression Anxiety Stress Scales(r=0.506 in depression,r=0.485 in anxiety,r=0.564 in stress),and WHO-5 Well-Being Index(r=−0.528).The overall burnout level was 36.1±17.6 and 37.5±17.4 in Kazakhstani and Kyrgyzstani nurses,respectively.Significant influencing factors of burnout included gender,age,educational level,and COVID-19 infection history.Conclusions The R-CBI was proved to be a reliable and valid tool for assessing nurses’burnout in Kazakhstan and Kyrgyzstan.展开更多
基金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 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.
基金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.
基金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.
基金supported by King Saud University,Riyadh,Saudi Arabia,through Researchers Supporting Project number RSP2025R498.
文摘The exponential growth of the Internet of Things(IoT)has revolutionized various domains such as healthcare,smart cities,and agriculture,generating vast volumes of data that require secure processing and storage in cloud environments.However,reliance on cloud infrastructure raises critical security challenges,particularly regarding data integrity.While existing cryptographic methods provide robust integrity verification,they impose significant computational and energy overheads on resource-constrained IoT devices,limiting their applicability in large-scale,real-time scenarios.To address these challenges,we propose the Cognitive-Based Integrity Verification Model(C-BIVM),which leverages Belief-Desire-Intention(BDI)cognitive intelligence and algebraic signatures to enable lightweight,efficient,and scalable data integrity verification.The model incorporates batch auditing,reducing resource consumption in large-scale IoT environments by approximately 35%,while achieving an accuracy of over 99.2%in detecting data corruption.C-BIVM dynamically adapts integrity checks based on real-time conditions,optimizing resource utilization by minimizing redundant operations by more than 30%.Furthermore,blind verification techniques safeguard sensitive IoT data,ensuring privacy compliance by preventing unauthorized access during integrity checks.Extensive experimental evaluations demonstrate that C-BIVM reduces computation time for integrity checks by up to 40%compared to traditional bilinear pairing-based methods,making it particularly suitable for IoT-driven applications in smart cities,healthcare,and beyond.These results underscore the effectiveness of C-BIVM in delivering a secure,scalable,and resource-efficient solution tailored to the evolving needs of IoT ecosystems.
基金supported by the project Monetary valuation of soil ecosystem services and creation of initiatives to invest in soil health:setting a framework for the inclusion of soil health in business and in the policy making process(InBestSoil)(Horizon Europe)Grant agreement ID:101091099。
文摘Ecosystem services(ES)mapping and models have advanced in recent years.Improvements were made,and the assessments have transitioned from qualitative to quantitative.Although this is an important advancement,the ES mapping and modelling validation step has been overlooked,and this raises an important question in the credibility of the outcomes.This has been an important and unsolved issue in the ES research community that needs to be tackled.This highlight paper discusses the importance of validating single ES mapping and models.Conducting this using field or proximal/remote sensing raw data and not data from other models or stakeholder evaluation is important.A validation step should be mandatory in ES frameworks since it can assess the models’veracity,contribute to identifying the model’s weaknesses/strengths and ultimately represent a scientific advance in the field.This is easier to apply to the biophysical mapping and models of regulating and provisioning ES than to cultural ES,as the latter rely more on perception and cultural contexts.Also,ES supply models are easier to validate than demand and flow models.Robust and well-grounded models are essential for ensuring the reliability of individual ES maps and models and should be integrated into decision-making processes.Although several challenges arise related to the costs of data collection,in several cases prohibitive,and the time and the expertise needed to conduct this sampling and analysis,this is likely an imperative step that needs to be considered in the future.This will be beneficial in establishing ES research and improving decision-making and wellbeing.
基金phased research achievement of the Major Project of Philosophy and Social Sciences Research in Jiangsu Universities“Research on the Intervention Mechanism of Short Video Addiction”(2024SJZD145)。
文摘Combining the characteristics of the course“Comprehensive Training of E-Commerce Live Streaming,”this paper embeds the CDIO(Conceive-Design-Implement-Operate)method into the live streaming training process,carries out the virtual scene“e-commerce live streaming”course design and project-based teaching reform that integrates teaching training with learning effects,and establishes a set of cross-professional student live streaming training procedures guided by the CDIO engineering method.The training results show that the CDIO practical teaching model supported by data feedback plays an important role and significance in improving students’learning effects,and also provides some new experiences for integrating engineering thinking into the construction of new liberal arts.
文摘Objectives This study aimed to validate the Russian version of the Copenhagen Burnout Inventory(R-CBI)among nurses in Kazakhstan and Kyrgyzstan and explored factors contributing to burnout.Methods The original Copenhagen Burnout Inventory(CBI)was translated into the R-CBI using a rigorous forward-backward method and reviewed by experts.Between July and November 2022,1,530 nurses were recruited through convenience sampling method from various nursing settings in Kazakhstan and Kyrgyzstan to test the scale’s reliability and validity,including confirmatory factor analysis(CFA),internal consistency reliability,and concurrent validity.A linear regression analysis was conducted to identify influencing factors of burnout.Results The content of the R-CBI is consistent with the original CBI,consisting of 19 items with three dimensions.The Cronbach’sαcoefficient is 0.926 in Kazakhstan and 0.922 in Kyrgyzstan,ranging from 0.830 to 0.898 for three dimensions.The CFA results among nurses in Kazakhstan and Kyrgyzstan supported the three-factor structure of R-CBI with good fit indices.Concurrent validity was established through significant correlations(P<0.001)with job satisfaction questionnaire(r=−0.457),Depression Anxiety Stress Scales(r=0.506 in depression,r=0.485 in anxiety,r=0.564 in stress),and WHO-5 Well-Being Index(r=−0.528).The overall burnout level was 36.1±17.6 and 37.5±17.4 in Kazakhstani and Kyrgyzstani nurses,respectively.Significant influencing factors of burnout included gender,age,educational level,and COVID-19 infection history.Conclusions The R-CBI was proved to be a reliable and valid tool for assessing nurses’burnout in Kazakhstan and Kyrgyzstan.
