期刊文献+
任意字段
题名或关键词
题名
关键词
摘要
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到832篇文章
< 1 2 … 42 >
每页显示 20 50 100
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Design and verification of pressure-preserved computed tomography testing for deep oil and gas exploration 认领 引用
1
作者 Xin Fang Heping Xie +4 位作者 Cong Li Da Guo Dingming Wang Yiwei Zhang Le Zhao 《Journal of Rock Mechanics and Geotechnical Engineering》 SCIE CSCD 2026年第4期2794-2810,共17页
Pressure-preserved coring is a highly effective technique for preserving the structural integrity and fluid composition of reservoir cores.However,the lack of specialized testing methodologies hinders the precise eval... Pressure-preserved coring is a highly effective technique for preserving the structural integrity and fluid composition of reservoir cores.However,the lack of specialized testing methodologies hinders the precise evaluation of pressure-preserved core fidelity parameters.To address this challenge,a comprehensive study was conducted on the entire process of pressure-preserved transfer,cutting,and testing,culminating in the development of a pressure-preserved computed tomography(CT)scanning device.The critical technical challenges encountered during the development process were systematically analyzed through mechanical testing,CT scanning,and numerical simulations.Special emphasis was placed on material influencesduring testing,mechanical assembly interactions,and the accuracy of key parameter measurements in oil and gas exploration.Through comparative analysis and multitiered validation methods,polyether ether ketone(PEEK)material was ultimately selected as the key component of the coring device.The simulation and experimental results demonstrated that PEEK,with a maximum tensile strength of 104 MPa,sufficiently meets most core breakage thresholds of 93.942 MPa.Furthermore,CT scanning revealed a porosity measurement error of only 0.111%,confirmingthe reliability of the pressure-preserved CT test equipment.These findingsoffer valuable guidance for improving the precision of pressure-preserved core testing in deep oil and gas reservoirs. 展开更多
关键词 Deep oil and gas Pressure-preserved coring Full-process pressure-preserved testing Pressure-preserved computed tomography(CT)test scanning equipment Test accuracy verification
暂未订购 下载PDF
Deep-Learning Approaches to Text-Based Verification for Digital and Fake News Detection 认领 引用
2
作者 Raed Alotaibi Muhammad Atta Othman Ahmed +1 位作者 Omar Reyad Nahla Fathy Omran 《Computers, Materials & Continua》 SCIE EI 2026年第6期1463-1479,共17页
The widespread use of social media has made assessing users’tastes and preferences increasingly complex and important.At the same time,the rapid dissemination of misinformation on these platforms poses a critical cha... The widespread use of social media has made assessing users’tastes and preferences increasingly complex and important.At the same time,the rapid dissemination of misinformation on these platforms poses a critical challenge,driving significant efforts to develop effective detection methods.This study offers a comprehensive analysis leveraging advanced Machine Learning(ML)techniques to classify news articles as fake or true,contributing to discourse on media integrity and combating misinformation.The suggested method employed a diverse dataset encompassing a wide range of topics.The method evaluates the performance of five ML models:Artificial Neural Networks(ANNs),Convolutional Neural Networks(CNNs),Long Short-Term Memory networks(LSTMs),Decision Trees(DTs),and Support Vector Machines with Radial Basis Function(SVM-RBF)kernels.The presented methodology included thorough data preprocessing,detailed parameter tuning during model training,and robust statistical analyses to ensure fair and accurate performance comparisons.The results demonstrate that the combination of Term Frequency-Inverse Document Frequency(TF-IDF)with ANN and CNN achieved the highest accuracy of 99.13%,showcasing the effectiveness of these approaches in text-based news classification.The LSTM model followed closely with an accuracy of 98.59%,while the DT and SVM-RBF models achieved accuracies of 85.67%and 90.22%,respectively.These findings highlight the superior performance of deep learning(DL)models when combined with effective feature extraction techniques such as TF-IDF.The models offer practical utility and show promising potential for integration into editorial workflows to facilitate pre-publication news verification.Furthermore,statistical test methods such as Analysis of Variance(ANOVA)and Tukey’s Honestly Significant Difference(HSD)tests are also performed.The obtained results clarify significant performance differences among the evaluated models,highlighting their unique capabilities and comparative strengths in the context of fake news detection.Hence,the presented study reinforces the importance of artificial intelligence based tools in promoting media reliability and provides a foundation for future advancements in automated misinformation detection systems. 展开更多
关键词 Text verification fake news detection machine learning deep learning CNN LSTM news classification systems misinformation detection
暂未订购 下载PDF
NetVerifier:Scalable Verification for Programmable Networks 认领 引用
3
作者 Ying Yao Le Tian +1 位作者 Yuxiang Hu Pengshuai Cui 《Computers, Materials & Continua》 SCIE EI 2026年第5期1830-1848,共19页
In the process of programmable networks simplifying network management and increasing network flexibility through custom packet behavior,security incidents caused by human logic errors are seriously threatening their ... In the process of programmable networks simplifying network management and increasing network flexibility through custom packet behavior,security incidents caused by human logic errors are seriously threatening their safe operation,robust verificationmethods are required to ensure their correctness.As one of the formalmethods,symbolic execution offers a viable approach for verifying programmable networks by systematically exploring all possible paths within a program.However,its application in this field encounters scalability issues due to path explosion and complex constraint-solving.Therefore,in this paper,we propose NetVerifier,a scalable verification system for programmable networks.Tomitigate the path explosion issue,we developmultiple pruning strategies that strategically eliminate irrelevant execution paths while preserving verification integrity by precisely identifying the execution paths related to the verification purpose.To address the complex constraint-solving problem,we introduce an execution results reuse solution to avoid redundant computation of the same constraints.To apply these solutions intelligently,a matching algorithm is implemented to automatically select appropriate solutions based on the characteristics of the verification requirement.Moreover,Language Aided Verification(LAV),an assertion language,is designed to express verification intentions in a concise form.Experimental results on diverse open-source programs of varying scales demonstrate NetVerifier’s improvement in scalability and effectiveness in identifying potential network errors.In the best scenario,compared with ASSERT-P4,NetVerifier reduced the execution path,verification time,and memory occupation of the verification process by 99.92%,94.76%,and 65.19%,respectively. 展开更多
关键词 Programmable network network verification symbolic execution scalability
暂未订购 下载PDF
Current-State Opacity Verification in Petri Nets Using Fusion-Based Opacity Analysis and Graph Isomorphism Networks 认领 引用
4
作者 Sichen Ding Zhiwu Li 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2026年第5期1122-1134,共13页
Current-state opacity is a critical security property for discrete event systems,but its verification in large-scale Petri nets is hampered by the state-space explosion problem.To address this challenge,we propose the... Current-state opacity is a critical security property for discrete event systems,but its verification in large-scale Petri nets is hampered by the state-space explosion problem.To address this challenge,we propose the fusion-based opacity analysis and graph isomorphism network(FOA-GIN),a novel deep learning framework.The method transforms current-state opacity verification into a graph classification task by applying a tailored graph isomorphism network to basis reachability graphs—a compact representation of the system's dynamics.This approach integrates the theoretical strengths of basis reachability graphs with the scalability of graph neural networks to capture essential structural and behavioral features for opacity analysis.Unlike classical algorithms that require exponential state-space traversal,the proposed model's online verification complexity is linear in the size of the input basis reachability graph.Experiments demonstrate high accuracy and robustness,establishing FOAGIN as a powerful and practical solution for verifying currentstate opacity in complex,large-scale systems. 展开更多
关键词 Basis reachability graph(BRG) current-state opacity verification fusion-based opacity analysis graph isomorphism network(FOA-GIN) Petri net
暂未订购 下载PDF
Editorial:Verification,Falsification,and the Methodology Paradigm Shift for Scientific Psychology 认领 引用
5
作者 Jianxin Zhang 《PsyCh Journal》 CSCD 2026年第3期1-3,共3页
One might ask:Is the role of psychology in today's rapidly changing human life becoming increasingly insignificant?In recent years,artificial intelligence(AI)has developed rapidly and has had a tangible and signif... One might ask:Is the role of psychology in today's rapidly changing human life becoming increasingly insignificant?In recent years,artificial intelligence(AI)has developed rapidly and has had a tangible and significant impact on human life,yet the human intelligence studied by psychology seems to have lost its role“as a template for AI”that it held in the late twentieth century;the resolution of human mental disorders increasingly relies on discoveries in neuroscience,biochemistry,and genetics;psychology's solutions to everyday human psychological distress have become more diverse and fragmented,without demonstrating significant improvements in counseling and therapeutic efficacy;in the face of frequent disputes and even wars between nations,ethnic groups,and social classes around the world,psychology appears even more at a loss.The same is true of Chinese psychology:while the number of research papers published across various categories has skyrocketed,its overall performance in addressing the urgent problems facing contemporary China and humanity can be characterized as“quantity far exceeding quality,”with few disruptive new theories or widely applicable new methods emerging. 展开更多
关键词 human intelligence editorial psychology resolution human mental disorders verification falsification methodology paradigm shift
Verification of Mitigation Capability for Total Loss of Feedwater Accident and Sensitivity Study on Feed-and-Bleed Cooling in a CPR1000 Nuclear Power Plant 认领 引用
6
作者 Bo Zhang Zhenhua Zhang 《Energy Engineering》 EI 2026年第9期530-547,共18页
Total loss of feedwater accident is a typical transient among the design extension conditions for pressurized water reactor nuclear power plants,directly related to the loss of core cooling capability.Chinese nuclear ... Total loss of feedwater accident is a typical transient among the design extension conditions for pressurized water reactor nuclear power plants,directly related to the loss of core cooling capability.Chinese nuclear safety regulations require in-depth analysis of such conditions,while most of the Generation II and modified Generation II units currently in operation were designed prior to the issuance of these regulatory requirements,and their mitigation capability remains to be verified.To evaluate the mitigation capability of CPR1000 nuclear power units in operation in China for this accident,an accident sequence involving main feedwater pump trip combined with complete failure of the auxiliary feedwater system under full power condition was simulated based on a high-fidelity simulation platform.By strictly following the emergency operating procedures for operator interventions,the transient responses of key safety parameters including primary coolant system pressure,coolant inventory,core outlet temperature,fuel temperature,and containment pressure were analyzed.The results show that,under the synergistic effect of automatic system actions and procedure guidance,the operator manually opened all three sets of pressurizer safety valves at about 60 min,establishing the feed-and-bleed cooling mode.The minimum reactor pressure vessel water level was 67.7%,the core remained uncovered,and both the peak fuel cladding temperature and core outlet temperature remained below the limits.At about 98 min,the residual heat removal system entry conditions were satisfied,and the core was successfully brought to a safe state.A sensitivity study on the influence of the number of opened safety valve sets was performed.The results indicate that when only two sets of safety valves were successfully opened,all acceptance criteria were still satisfied;when only one set was opened,the heat removal capacity of the safety valves was insufficient,with the pressure exhibiting saw-tooth fluctuations in the range of 2.3-3.7 MPa(a),and the residual heat removal system entry conditions could not be satisfied,thus making a smooth transition to a safe state difficult.These results provide an engineering reference for similar units in coping with total loss of feedwater accidents and for optimizing the feed-and-bleed cooling operational strategy. 展开更多
关键词 Nuclear power plant total loss of feedwater mitigation capability verification feed-and-bleed cooling sensitivity study
暂未订购 下载PDF
Job Crafting and Incentive Evolution in the AI Era:A Structural Framework for the Rise of Verification Labor 认领 引用
7
作者 Mengyuan Zhao 《Proceedings of Business and Economic Studies》 2026年第5期40-46,共7页
Most of the current research on artificial intelligence(AI)and work transformation remains confined to the analytical paradigm of occupational determinism,relying on occupational labels to determine the intensity of A... Most of the current research on artificial intelligence(AI)and work transformation remains confined to the analytical paradigm of occupational determinism,relying on occupational labels to determine the intensity of AI impact.This approach struggles to effectively explain the significant variations in AI effects across different positions within the same occupation.This paper breaks away from the traditional occupational classification framework and constructs a three-dimensional work structure model based on cognitive demand,structural autonomy,and task interdependence(Cog×Aut×Int).It introduces the core concept of verification labor and employs structured comparative sampling and mixed research methods to conduct a systematic analysis based on 503 questionnaire responses and 20 in-depth interview records.The study elucidates the intrinsic mechanism by which AI drives the transformation of work patterns from executiondominance to verification and anomaly handling-dominance.The findings reveal that the reshaping of work by AI is not unidirectionally determined by the technology itself but is jointly regulated by the configuration of the three-dimensional work structure.Positions with low cognitive demand and low autonomy exhibit significant execution substitution characteristics,those with medium cognitive demand and medium autonomy demonstrate a coexistence of technological enhancement and job substitution,and positions with high cognitive demand and high autonomy experience a simultaneous increase in performance and identity pressure.Verification labor shows differentiated distribution across various structural contexts,becoming the most representative new form of labor in the AI era.This paper updates and expands the labor process theory to a certain extent,providing a structured perspective and theoretical support for organizations to design work,reconstruct incentive mechanisms,and for individuals to achieve career adaptation. 展开更多
关键词 Artificial intelligence Work reshaping Verification labor Three-dimensional structural model Incentive evolution
暂未订购 下载PDF
A Tibetan Speaker Verification Method Based on the Improved MFA-NConformer Model 认领 引用
8
作者 Yitong Gong Yuting Chen 《Journal of Electronic Research and Application》 2026年第3期21-27,共7页
MFA-conformer methods are widely used in English and Chinese speaker recognition.Theoretically language-independent but practically language-related,Tibetan speaker recognition currently relies on traditional models w... MFA-conformer methods are widely used in English and Chinese speaker recognition.Theoretically language-independent but practically language-related,Tibetan speaker recognition currently relies on traditional models with poor performance.To address this,we adopt MFA-conformer as the basic framework and propose improvements:integrating 1D depth-wise separable convolution and channel attention into the conformer feed-forward network,fusing multi-block features,and adding an intra-class correlation regularizer to GE2E loss.Experiments show the improved model reduces the equal error rate(EER)compared with the conformer baseline. 展开更多
关键词 Conformer block Tibetan GE2E loss Speaker verification
暂未订购 下载PDF
Establishment and verification of anthropogenic speciated VOCs emission inventory of Central China 认领 引用 被引量：5
9
作者 Xuan Lu Dong Zhang +9 位作者 Lanxin Wang Shefang Wang Xinran Zhang Yali Liu Keying Chen Xinshuai Song Shasha Yin Ruiqin Zhang Shanshan Wang Minghao Yuan 《Journal of Environmental Sciences》 SCIE EI CAS CSCD 2025年第3期406-418,共13页
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. 展开更多
关键词 VOCs verification Species composition Tracer ratio PMF Remote sensing inversion
暂未订购 下载PDF
Verification and Validation for Large Eddy Simulation of Cavitating Flow Around a Projectile Near the Free Surface 认领 引用 被引量：2
10
作者 Linfeng Deng Yun Long +1 位作者 Huaiyu Cheng Bin Ji 《哈尔滨工程大学学报（英文版）》 CSCD 2025年第4期659-681,共23页
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. 展开更多
关键词 Cavitating flow Free surface Verification and validation Error analyses Asymptotic range
暂未订购 下载PDF
Toward next-generation networks:A blockchain-based approach for core network architecture and roaming identity verification 认领 引用 被引量：1
11
作者 Yi Gong Boyuan Yu +4 位作者 Lei Yang Fanke Meng Lei Liu Xinjue Hu Zhan Xu 《Digital Communications and Networks》 SCIE EI CSCD 2025年第2期326-336,共11页
With the evolution of next-generation communication networks,ensuring robust Core Network(CN)architecture and data security has become paramount.This paper addresses critical vulnerabilities in the architecture of CN ... With the evolution of next-generation communication networks,ensuring robust Core Network(CN)architecture and data security has become paramount.This paper addresses critical vulnerabilities in the architecture of CN and data security by proposing a novel framework based on blockchain technology that is specifically designed for communication networks.Traditional centralized network architectures are vulnerable to Distributed Denial of Service(DDoS)attacks,particularly in roaming scenarios where there is also a risk of private data leakage,which imposes significant operational demands.To address these issues,we introduce the Blockchain-Enhanced Core Network Architecture(BECNA)and the Secure Decentralized Identity Authentication Scheme(SDIDAS).The BECNA utilizes blockchain technology to decentralize data storage,enhancing network security,stability,and reliability by mitigating Single Points of Failure(SPoF).The SDIDAS utilizes Decentralized Identity(DID)technology to secure user identity data and streamline authentication in roaming scenarios,significantly reducing the risk of data breaches during cross-network transmissions.Our framework employs Ethereum,free5GC,Wireshark,and UERANSIM tools to create a robust,tamper-evident system model.A comprehensive security analysis confirms substantial improvements in user privacy and network security.Simulation results indicate that our approach enhances communication CNs security and reliability,while also ensuring data security. 展开更多
关键词 Blockchain Core network Privacy data protection Decentralized identity Roaming identity verification
暂未订购 下载PDF
Contextual design and real-time verification for agile casting design 认领 引用 被引量：1
12
作者 Dong Xiang Chu-hao Zhou +3 位作者 Xuan-pu Dong Shu-ren Guo Yan-song Ding Hua-tang Cao 《China Foundry》 SCIE EI CAS CSCD 2025年第2期231-238,共8页
In the foundry industries,process design has traditionally relied on manuals and complex theoretical calculations.With the advent of 3D design in casting,computer-aided design(CAD)has been applied to integrate the fea... In the foundry industries,process design has traditionally relied on manuals and complex theoretical calculations.With the advent of 3D design in casting,computer-aided design(CAD)has been applied to integrate the features of casting process,thereby expanding the scope of design options.These technologies use parametric model design techniques for rapid component creation and use databases to access standard process parameters and design specifications.However,3D models are currently still created through inputting or calling parameters,which requires numerous verifications through calculations to ensure the design rationality.This process may be significantly slowed down due to repetitive modifications and extended design time.As a result,there are increasingly urgent demands for a real-time verification mechanism to address this issue.Therefore,this study proposed a novel closed-loop model and software development method that integrated contextual design with real-time verification,dynamically verifying relevant rules for designing 3D casting components.Additionally,the study analyzed three typical closed-loop scenarios of agile design in an independent developed intelligent casting process system.It is believed that foundry industries can potentially benefit from favorably reduced design cycles to yield an enhanced competitive product market. 展开更多
关键词 agile design context-design casting process design real-time verification smart manufacturing
暂未订购 下载PDF
C-BIVM:A Cognitive-Based Integrity Verification Model for IoT-Driven Smart Cities 认领 引用
13
作者 Radhika Kumari Kiranbir Kaur +4 位作者 Ahmad Almogren Ayman Altameem Salil Bharany Yazeed Yasin Ghadi Ateeq Ur Rehman 《Computers, Materials & Continua》 SCIE EI 2025年第9期5509-5525,共17页
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. 展开更多
关键词 Internet of Things(IoT) smart cities data integrity verification BDI cognitive intelligence algebraic signatures batch auditing resource-constrained devices blind verification
暂未订购 下载PDF
Verification and validation of a numerical wave tank with momentum source wave generation 认领 引用
14
作者 Housheng Zhang Yijing Hu +1 位作者 Biao Huang Xin Zhao 《Acta Mechanica Sinica》 SCIE EI CAS CSCD 2025年第3期23-38,共16页
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(Hs=0.75 m)and a Lv6(Hs=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%. 展开更多
关键词 Verification and validation Wave generation Momentum source function Regular wave Irregular wave Uncertainty estimation
暂未订购 下载PDF
Research on Variable Condition Properties and Experimental Verification of a Variable Cross-Section Scroll Expander 认领 引用
15
作者 Junying Wei Guangxian Yin +5 位作者 Jihao Zhang Wenwen Chang Chenrui Zhang Zhengyi Li Long Chang Minghan Peng 《Frontiers in Heat and Mass Transfer》 EI CAS 2025年第4期1185-1201,共17页
The scroll expander,as the core component of the micro-compressed air energy storage and power generation system,directly affects the output efficiency of the system.Meanwhile,the scroll profile plays a central role i... The scroll expander,as the core component of the micro-compressed air energy storage and power generation system,directly affects the output efficiency of the system.Meanwhile,the scroll profile plays a central role in determining the output performance of the scroll expander.In this study,in order to investigate the output characteristics of a variable cross-section scroll expander,numerical simulation and experimental studies were con-ducted by using Computational Fluid Dynamics(CFD)methods and dynamic mesh techniques.The impact of critical parameters on the output performance of the scroll expander was analyzed through the utilization of the control variable method.It is found that increasing the inlet pressure and temperature within a certain range can improve the output power of the scroll expander.However,the increase in temperature and meshing clearance leads to a decline in the overall output performance of the scroll expander,leading to a decrease in volumetric efficiency by 8.43%and 12.79%,respectively.The experiments demonstrate that under equal inlet pressure conditions,increasing the inlet temperature elevates both the rotational speed and torque output of the scroll expander.Specifically,compared to operating at normal temperatures,the output torque increases by 21.8%under high-temperature conditions.However,the rate of speed and torque variation decreases as a consequence of enlarged meshing clearance,resulting in increased internal leakage and reduction in isentropic efficiency. 展开更多
关键词 Circular involute variable cross-section scroll expander numerical simulation internal flow field output characteristics experimental verification
暂未订购 下载PDF
Program Derivation and Mechanized Verification of Edit Distance Algorithm 认领 引用
16
作者 YOU Zhen ZHANG Chen +1 位作者 SUN Huan ZUO Zhengkang 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2025年第6期576-588,共13页
Edit distance is an algorithm to measure the difference between two strings,usually represented as the minimum number of editing operations required to transform one string into another.The edit distance algorithm inv... Edit distance is an algorithm to measure the difference between two strings,usually represented as the minimum number of editing operations required to transform one string into another.The edit distance algorithm involves complex dependencies and constraints,making state management and verification work tedious.This paper proposes a derivation and verification method that avoids directly handling dependencies and constraints by proving the equivalence between the edit distance algorithm and existing functional modeling.First,the derivation process of edit distance algorithm mainly includes 1)describing problem specifications,2)inductively deducing recursive relations,3)formally constructing loop invariants using the optimization theory(memorization technology and optimal decision table)and properties(optimal substructure property and subproblems overlapping property)of the edit distance algorithm,4)generating the Minimalistic Imperative Programming Language(IMP)code based on the recursive relations.Second,the problem specification,loop invariants,and generated IMP code are input into Verification Condition Generator(VCG),which automatically generate five verification conditions,and then the correctness of edit distance algorithm is verified in the Isabelle/HOL theorem prover.The method utilizes formal technologies and theorem prover to complete the derivation and verification of the edit distance algorithm,and it can be applied to linear and nonlinear dynamic programming problems. 展开更多
关键词 Isabelle/HOL mechanized verification edit distance Verification Condition Generator(VCG)
暂未订购 下载PDF
Research on multi-scale simulation and dynamic verification of high dynamic MEMS components in additive manufacturing 认领 引用 被引量：1
17
作者 Sining Lv Hengzhen Feng +2 位作者 Wenzhong Lou Chuan Xiao Shiyi Li 《Defence Technology（防务技术）》 SCIE EI CAS CSCD 2025年第5期275-291,共17页
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. 展开更多
关键词 Additive manufacturing High dynamic MEMS components Multiscale control Process optimization High dynamic verification
暂未订购 下载PDF
Enhanced Kinship Verification through Ear Images:A Comparative Study of CNNs,Attention Mechanisms,and MLP Mixer Models 认领 引用 被引量：1
18
作者 Thien-Tan Cao Huu-Thanh Duong +3 位作者 Viet-Tuan Le Hau Nguyen Trung Vinh Truong Hoang Kiet Tran-Trung 《Computers, Materials & Continua》 SCIE EI 2025年第6期4373-4391,共19页
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. 展开更多
关键词 Biometric analytics ear kin Inceptionv4 kinship verification kin ear images
暂未订购 下载PDF
Design and Ground Verification for Vision-Based Relative Navigation Systems of Microsatellites 认领 引用 被引量：2
19
作者 DU Ronghua LIAO Wenhe ZHANG Xiang 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI CSCD 2025年第1期37-55,共19页
This paper presents the design and ground verification for vision-based relative navigation systems of microsatellites,which offers a comprehensive hardware design solution and a robust experimental verification metho... This paper presents the design and ground verification for vision-based relative navigation systems of microsatellites,which offers a comprehensive hardware design solution and a robust experimental verification methodology for practical implementation of vision-based navigation technology on the microsatellite platform.Firstly,a low power consumption,light weight,and high performance vision-based relative navigation optical sensor is designed.Subsequently,a set of ground verification system is designed for the hardware-in-the-loop testing of the vision-based relative navigation systems.Finally,the designed vision-based relative navigation optical sensor and the proposed angles-only navigation algorithms are tested on the ground verification system.The results verify that the optical simulator after geometrical calibration can meet the requirements of the hardware-in-the-loop testing of vision-based relative navigation systems.Based on experimental results,the relative position accuracy of the angles-only navigation filter at terminal time is increased by 25.5%,and the relative speed accuracy is increased by 31.3% compared with those of optical simulator before geometrical calibration. 展开更多
关键词 microsatellites vision-based relative navigation optical simulator ground verification angles-only navigation
暂未订购 下载PDF
Genome-wide identification of the JAZ gene family in non-heading Chinese cabbage and the functional verification of BcJAZ2 in the biosynthesis ofβ-caryophyllene 认领 引用 被引量：1
20
作者 Tiantian Han Haibin Wang +6 位作者 Zhile Liang Aimei Bai Huanhuan Xu Jianjun Wang Tongkun Liu Xilin Hou Ying Li 《Vegetable Research》 2025年第1期430-441,共12页
JASMONATE ZIM DOMAIN(JAZ)proteins function as negative regulators of the JA signaling pathway and participate in plant development,stress responses,and secondary metabolism.β-caryophyllene is a volatile sesquiterpene... JASMONATE ZIM DOMAIN(JAZ)proteins function as negative regulators of the JA signaling pathway and participate in plant development,stress responses,and secondary metabolism.β-caryophyllene is a volatile sesquiterpene compound that contributes to the formation of plant aromas and possesses antibacterial,anti-inflammatory,and antifungal biological activities.In our previous experiments,we found that the BcJAZ2 was closely related toβ-caryophyllene synthesis under low-temperature treatment in non-heading Chinese cabbage(NHCC).To further explore the function of BcJAZ2,we characterized JAZ gene family in NHCC.In this study,25 BcJAZ genes were discovered in NHCC,and comprehensively analyzed the evolutionary relationships and structural characterizations of BcJAZs.BcMYC2,a positive regulator of terpenoid synthesis,interacted with BcJAZ2 confirmed by yeast two-hybrid and bimolecular fluorescence complementation assays.Overexpression of BcJAZ2 in Arabidopsis and silencing of BcJAZ2 in NHCC showed that BcJAZ2 acted as a negative regulator ofβ-caryophyllene biosynthesis.In addition,three transcription factors BcbHLH137,BcHBI1.1,and BcHBI1.2 were confirmed to be positive regulators of BcJAZ2 by yeast one-hybrid and LUC assays.The above results enrich our understanding of the regulation ofβ-caryophyllene synthesis and provide the foundation for in-depth exploration of regulatory mechanisms of BcJAZs. 展开更多
关键词 ja signaling pathway jaz gene family functional verification sesquiterpene compound genome wide identification bcjaz plant aromas non heading chinese cabbage
暂未订购 下载PDF
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 42 下一页 到第 页
在线咨询 使用帮助 返回顶部 意见反馈