期刊文献+
共找到50,063篇文章
< 1 2 250 >
每页显示 20 50 100
Next Generation Sequencing in Oncological Diagnostics: Hype or Hope?
1
作者 Rana Hallak Manfred Kuepper Amer Al Chikh Youssef 《Journal of Biosciences and Medicines》 2024年第2期244-256,共13页
The understanding of how genetic and epigenetic factors influence tumorigenesis, progression and invasion, is vastly growing since new technologies allow the analysis of the functional genome namely the exome, the tra... The understanding of how genetic and epigenetic factors influence tumorigenesis, progression and invasion, is vastly growing since new technologies allow the analysis of the functional genome namely the exome, the transcriptome and the epigenome, besides enabling genome-wide assessment of genetic variations. With the advent of new drugs that are indicated tissue agnostic, depending on certain mutations, there is a growing demand for fast and cost-effective genetic diagnosis. The method in focus that already became an indispensable tool in viral diagnosis is next-generation sequencing (NGS). This approach allows sequencing of literally every DNA molecule in the sample and can either be used to assess numerous genetic markers of one patient at a time, or to assess fewer markers of many patients in parallel, which reduces costs. We submitted 23 samples of different tumor entities to four diagnostic companies with different analysis profiles. The results as disclosed and discussed in this report indicate that so far, the main application of NGS is rather in cancer research than in diagnosis, as none of the reports had a real impact on the therapeutic scheme. We are perfectly aware that such a small cohort cannot be generalized, but considering the costs vs. benefits, NGS should be engaged upon a very stringent evaluation only. However, in cases where obtaining a tissue biopsy is impossible or unfavorable, analysis of liquid biopsy by NGS provides a vital alternative. 展开更多
关键词 ONCOLOGY Next generation Sequencing Tumor Diagnosis Personalized Medicine
下载PDF
Petroleum Generation Kinetics and Geological Implications for Jurassic Hydrocarbon Source Rocks,Hongqi Depression,Hailar Basin,Northeast China
2
作者 XIE Mingxian MA Feng +4 位作者 CHEN Guangpo LIU Chang XIAO Rong SU Yuping ZHANG Chengjun 《Acta Geologica Sinica(English Edition)》 SCIE CAS CSCD 2023年第2期548-561,共14页
A sample from the Jurassic Tamulangou Fm.and two comparison samples from the Cretaceous Fm.were used to document the hydrocarbon generation kinetics and phase behaviors at two heating rates using the confined gold tub... A sample from the Jurassic Tamulangou Fm.and two comparison samples from the Cretaceous Fm.were used to document the hydrocarbon generation kinetics and phase behaviors at two heating rates using the confined gold tube system.The results show that the different heating rates affect the reaction rates,paths and levels of organic matter evolution.The average activation energy and dominant frequency activation energy of liquid hydrocarbon are significantly lower than those of gaseous.Moreover,igneous intrusion had a positive effect on the blooming,enrichment and preservation of organic matter,promoting a Ro increase of 0.09%–1.07%in the Jurassic Tamulangou Fm.Two models were used to simulate the normal and abnormal evolution caused by thermal events combined hydrocarbon generation kinetic parameters.Thermal simulation analysis shows that oil generation was initially slow and then increased rapidly until a burial depth of 1500 m was reached at~128 Ma.The largest hydrocarbon expulsion began at~120 Ma,corresponding to a burial depth of 2450 m.The maximum cumulative yield is 510 mg/g TOC,and it is still in the peak period of hydrocarbon generation,which demonstrates a favorable potential for hydrocarbon exploration. 展开更多
关键词 KINETICS hydrocarbon generation history igneous intrusion Jurassic Tamulangou Fm. Hailar Basin
下载PDF
A Formal Model for Analyzing Fair Exchange Protocols Based on Event Logic
3
作者 Ke Yang Meihua Xiao Zehuan Li 《Computer Modeling in Engineering & Sciences》 SCIE EI 2024年第3期2641-2663,共23页
Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and elec... Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions. 展开更多
关键词 Fair exchange protocols FAIRNESS formal analysis logic reasoning
下载PDF
Logical stochastic resonance in a cross-bifurcation non-smooth system
4
作者 张宇青 雷佑铭 《Chinese Physics B》 SCIE EI CAS CSCD 2024年第3期659-667,共9页
This paper investigates logical stochastic resonance(LSR)in a cross-bifurcation non-smooth system driven by Gaussian colored noise.In this system,a bifurcation parameter triggers a transition between monostability,bis... This paper investigates logical stochastic resonance(LSR)in a cross-bifurcation non-smooth system driven by Gaussian colored noise.In this system,a bifurcation parameter triggers a transition between monostability,bistability and tristability.By using Novikov's theorem and the unified colored noise approximation method,the approximate Fokker-Planck equation is obtained.Then we derive the generalized potential function and the transition rates to analyze the LSR phenomenon using numerical simulations.We simulate the logic operation of the system in the bistable and tristable regions respectively.We assess the impact of Gaussian colored noise on the LSR and discover that the reliability of the logic response depends on the noise strength and the bifurcation parameter.Furthermore,it is found that the bistable region has a more extensive parameter range to produce reliable logic operation compared with the tristable region,since the tristable region is more sensitive to noise than the bistable one. 展开更多
关键词 logical stochastic resonance BIFURCATION mean first passage time
原文传递
RESTlogic: Detecting Logic Vulnerabilities in Cloud REST APIs
5
作者 Ziqi Wang Weihan Tian Baojiang Cui 《Computers, Materials & Continua》 SCIE EI 2024年第2期1797-1820,共24页
logical testing model and resource lifecycle information,generate test cases and complete parameters,and alleviate inconsistency issues through parameter inference.Once again,we propose a method of analyzing test resu... logical testing model and resource lifecycle information,generate test cases and complete parameters,and alleviate inconsistency issues through parameter inference.Once again,we propose a method of analyzing test results using joint state codes and call stack information,which compensates for the shortcomings of traditional analysis methods.We will apply our method to testing REST services,including OpenStack,an open source cloud operating platform for experimental evaluation.We have found a series of inconsistencies,known vulnerabilities,and new unknown logical defects. 展开更多
关键词 Cloud services RESTful API logic defects inconsistency issues
下载PDF
A Railway Fastener Inspection Method Based on Abnormal Sample Generation
6
作者 Shubin Zheng Yue Wang +3 位作者 Liming Li Xieqi Chen Lele Peng Zhanhao Shang 《Computer Modeling in Engineering & Sciences》 SCIE EI 2024年第4期565-592,共28页
Regular fastener detection is necessary to ensure the safety of railways.However,the number of abnormal fasteners is significantly lower than the number of normal fasteners in real railways.Existing supervised inspect... Regular fastener detection is necessary to ensure the safety of railways.However,the number of abnormal fasteners is significantly lower than the number of normal fasteners in real railways.Existing supervised inspectionmethods have insufficient detection ability in cases of imbalanced samples.To solve this problem,we propose an approach based on deep convolutional neural networks(DCNNs),which consists of three stages:fastener localization,abnormal fastener sample generation based on saliency detection,and fastener state inspection.First,a lightweight YOLOv5s is designed to achieve fast and precise localization of fastener regions.Then,the foreground clip region of a fastener image is extracted by the designed fastener saliency detection network(F-SDNet),combined with data augmentation to generate a large number of abnormal fastener samples and balance the number of abnormal and normal samples.Finally,a fastener inspection model called Fastener ResNet-8 is constructed by being trained with the augmented fastener dataset.Results show the effectiveness of our proposed method in solving the problem of sample imbalance in fastener detection.Qualitative and quantitative comparisons show that the proposed F-SDNet outperforms other state-of-the-art methods in clip region extraction,reaching MAE and max F-measure of 0.0215 and 0.9635,respectively.In addition,the FPS of the fastener state inspection model reached 86.2,and the average accuracy reached 98.7%on 614 augmented fastener test sets and 99.9%on 7505 real fastener datasets. 展开更多
关键词 Railway fastener sample generation inspection model deep learning
下载PDF
Automatic Generation of Artificial Space Weather Forecast Product Based on Sequence-to-sequence Model
7
作者 罗冠霆 ZOU Yenan CAI Yanxia 《空间科学学报》 CAS CSCD 北大核心 2024年第1期80-94,共15页
Both analyzing a large amount of space weather observed data and alleviating personal experience bias are significant challenges in generating artificial space weather forecast products.With the use of natural languag... Both analyzing a large amount of space weather observed data and alleviating personal experience bias are significant challenges in generating artificial space weather forecast products.With the use of natural language generation methods based on the sequence-to-sequence model,space weather forecast texts can be automatically generated.To conduct our generation tasks at a fine-grained level,a taxonomy of space weather phenomena based on descriptions is presented.Then,our MDH(Multi-Domain Hybrid)model is proposed for generating space weather summaries in two stages.This model is composed of three sequence-to-sequence-based deep neural network sub-models(one Bidirectional Auto-Regressive Transformers pre-trained model and two Transformer models).Then,to evaluate how well MDH performs,quality evaluation metrics based on two prevalent automatic metrics and our innovative human metric are presented.The comprehensive scores of the three summaries generating tasks on testing datasets are 70.87,93.50,and 92.69,respectively.The results suggest that MDH can generate space weather summaries with high accuracy and coherence,as well as suitable length,which can assist forecasters in generating high-quality space weather forecast products,despite the data being starved. 展开更多
关键词 Space weather Deep learning Data-to-text Natural language generation
下载PDF
Natural high-porous diatomaceous-earth based self-floating aerogel for efficient solar steam power generation
8
作者 Aitang Zhang Kai Wang +6 位作者 Md Julker Nine Mengyu Cao Hanwen Zong Zhiqiang Liu Hanwen Guo Jingquan Liu Dusan Losic 《Green Energy & Environment》 SCIE EI CAS CSCD 2024年第2期378-389,共12页
The application of solar steam generation in seawater desalination is an effective way to solve the shortage of fresh water resources.At present,many kinds of photothermal conversion materials have been developed and ... The application of solar steam generation in seawater desalination is an effective way to solve the shortage of fresh water resources.At present,many kinds of photothermal conversion materials have been developed and used as evaporators in seawater desalination.However,some evaporators need additional thermal insulation or water supply devices to achieve efficient photothermal conversion.In addition,their complex,time consuming and no scalable preparation process,high cost of raw materials and poor salt resistance hinder the practical application of these evaporator.Owing to its distinctive nanoporous structure,diatomite as fossilized single-cells algae diatoms is a promising natural silica-based material for seawater desalination.They are taken from sea and that makes true sense to use them in the sea.Herein,we report the first example of synthesis robust three-dimensional(3D)natural-diatomite composite by assembling polyaniline nanoparticles covered diatomite into the polyvinyl alcohol pre-treated melamine foam frameworks and demonstrate its application as new evaporator for seawater desalination.The porous framework does not only improve the sunlight scattering efficiency,but also offer large network of channels for water transportation.The inherent mechanism behind salt desalination process involves the absorption of water molecules on the surface of the internal silica micro-nano pores,and evaporation under the heat induced by the polyaniline absorbed sunlight.Meanwhile,the metal ions are segregated by many available pores and channels to achieve the self-desalting effect.The developed evaporator possesses the superiority of multi-stage pore structure,strong hydrophilicity,low thermal conductivity,excellent light absorption,fast water transportation and salt-resistant crystallization as well as good durability.The evaporation rate without an additional device is found to be 1.689 kg m^(-2)h^(-1)under 1-Sun irradiation,and the energy conversion efficiency is as high as 95%.This work creates a platform and develops the prospect of employing green and sustainable natural-diatomite composite evaporator for practical applications of seawater desalination. 展开更多
关键词 DIATOMITE Micro/nanopores Polyaniline Three-dimensional composite Solar steam generation
下载PDF
Implementation of Fuzzy Logic Control into an Equivalent Minimization Strategy for Adaptive Energy Management of A Parallel Hybrid Electric Vehicle
9
作者 Jared A. Diethorn Andrew C. Nix +1 位作者 Mario G. Perhinschi W. Scott Wayne 《Journal of Transportation Technologies》 2024年第1期88-118,共31页
As government agencies continue to tighten emissions regulations due to the continued increase in greenhouse gas production, automotive industries are seeking to produce increasingly efficient vehicle technology. Hybr... As government agencies continue to tighten emissions regulations due to the continued increase in greenhouse gas production, automotive industries are seeking to produce increasingly efficient vehicle technology. Hybrid electric vehicles (HEVs) have been introduced to mitigate problems while improving fuel economy. HEVs have led to the demand of creating more advanced controls software to consider multiple components for propulsive power in a vehicle. A large section in the software development process is the implementation of an optimal energy management strategy meant to improve the overall fuel efficiency of the vehicle. Optimal strategies can be implemented when driving conditions are known a prior. The Equivalent Consumption Minimization Strategy (ECMS) is an optimal control strategy that uses an equivalence factor to equate electrical to mechanical power when performing torque split determination between the internal combustion engine and electric motor for propulsive and regenerative torque. This equivalence factor is determined from offline vehicle simulations using a sensitivity analysis to provide optimal fuel economy results while maintaining predetermined high voltage battery state of charge (SOC) constraints. When the control hierarchy is modified or different driving styles are applied, the analysis must be redone to update the equivalence factor. The goal of this work is to implement a fuzzy logic controller that dynamically updates the equivalence factor to improve fuel economy, maintain a strict charge sustaining window of operation for the high voltage battery, and reduce computational time required during algorithm development. The adaptive algorithm is validated against global optimum fuel economy and charge sustaining results from a sensitivity analysis performed for multiple drive cycles. Results show a maximum fuel economy improvement of 9.82% when using a mild driving style and a 95% success rate when maintaining an ending SOC within 5% of the desired SOC regardless of starting SOC. 展开更多
关键词 Hybrid Electric Vehicle Fuzzy logic Adaptive Control Charge Sustainability
下载PDF
Numerical Simulation of Droplet Generation in Coaxial Microchannels
10
作者 Zongjun Yin Rong Su Hui Xu 《Fluid Dynamics & Materials Processing》 EI 2024年第3期487-504,共18页
In this study,numerical simulations of the pinching-off phenomena displayed by the dispersed phase in a continuous phase have been conducted using COMSOL Multiphysics(level-set method).Four flow patterns,namely“drop ... In this study,numerical simulations of the pinching-off phenomena displayed by the dispersed phase in a continuous phase have been conducted using COMSOL Multiphysics(level-set method).Four flow patterns,namely“drop flow”,“jet flow”,“squeeze flow”,and“co-flow”,have been obtained for different flow velocity ratios,channel diameter ratios,density ratios,viscosity ratios,and surface tension.The flow pattern map of two-phase flow in coaxial microchannels has been obtained accordingly,and the associated droplet generation process has been critically discussed considering the related frequency,diameter,and pinch-off length.In particular,it is shown that the larger the flow velocity ratio,the smaller the diameter of generated droplets and the shorter the pinch-off length.The pinch-off length of a droplet is influenced by the channel diameter ratio and density ratio.The changes in viscosity ratio have a negligible influence on the droplet generation pinching frequency.With an increase in surface tension,the frequency of generation and pinch-off length of droplets decrease,but for small surface tension the generation diameter of droplet increases. 展开更多
关键词 Droplet generation characteristics coaxial microchannels flow patterns pinch-off length
下载PDF
Quantitative effect of kerogen type on the hydrocarbon generation potential of Paleogene lacustrine source rocks,Liaohe Western Depression,China
11
作者 Sha-Sha Hui Xiong-Qi Pang +7 位作者 Fu-Jie Jiang Chen-Xi Wang Shu-Xing Mei Tao Hu Hong Pang Min Li Xiao-Long Zhou Kan-Yuan Shi 《Petroleum Science》 SCIE EI CAS CSCD 2024年第1期14-30,共17页
Kerogen types exert a decisive effect on the onset and capacity of hydrocarbon generation of source rocks.Lacustrine source rocks in the Liaohe Western Depression are characterized by thick deposition,high total organ... Kerogen types exert a decisive effect on the onset and capacity of hydrocarbon generation of source rocks.Lacustrine source rocks in the Liaohe Western Depression are characterized by thick deposition,high total organic carbon(TOC)content,various kerogen types,and a wide range of thermal maturity.Consequently,their hydrocarbon generation potential and resource estimation can be misinterpreted.In this study,geochemical tests,numerical analysis,hydrocarbon generation kinetics,and basin modeling were integrated to investigate the differential effects of kerogen types on the hydrocarbon generation potential of lacustrine source rocks.Optimized hydrocarbon generation and expulsion(HGE)models of different kerogen types were established quantitatively upon abundant Rock-Eval/TOC/vitrinite reflectance(R_(o))datasets.Three sets of good-excellent source rocks deposited in the fourth(Es4),third(Es3),and first(Es1)members of Paleogene Shahejie Formation,are predominantly types I-II_(1),II_(1)-II_(2),and II-III,respectively.The activation energy of types I-II_(2)kerogen is concentrated(180-230 kcal/mol),whereas that of type III kerogen is widely distributed(150-280 kcal/mol).The original hydrocarbon generation potentials of types I,II_(1),II_(2),and III kerogens are 790,510,270,and 85 mg/g TOC,respectively.The Ro values of the hydrocarbon generation threshold for type I-III source rocks gradually increase from 0.42%to 0.74%,and Ro values of the hydrocarbon expulsion threshold increase from 0.49%to 0.87%.Types I and II_(1)source rocks are characterized by earlier hydrocarbon generation,more rapid hydrocarbon expulsion,and narrower hydrocarbon generation windows than types II_(2)and III source rocks.The kerogen types also affect the HGE history and resource potential.Three types(conventional,tight,and shale oil/gas)and three levels(realistic,expected,and prospective)of hydrocarbon resources of different members in the Liaohe Western Depression are evaluated.Findings suggest that the Es3 member has considerable conventional and unconventional hydrocarbon resources.This study can quantitatively characterize the hydrocarbon generation potential of source rocks with different kerogen types,and facilitate a quick and accurate assessment of hydrocarbon resources,providing strategies for future oil and gas exploration. 展开更多
关键词 Kerogen type Hydrocarbon generation potential Lacustrine source rocks Liaohe western depression
下载PDF
Blade Wrap Angle Impact on Centrifugal Pump Performance:Entropy Generation and Fluid-Structure Interaction Analysis
12
作者 Hayder Kareem Sakran Mohd Sharizal Abdul Aziz Chu Yee Khor 《Computer Modeling in Engineering & Sciences》 SCIE EI 2024年第7期109-137,共29页
The centrifugal pump is a prevalent power equipment widely used in different engineering patterns,and the impeller blade wrap angle significantly impacts its performance.A numerical investigation was conducted to anal... The centrifugal pump is a prevalent power equipment widely used in different engineering patterns,and the impeller blade wrap angle significantly impacts its performance.A numerical investigation was conducted to analyze the influence of the blade wrap angle on flow characteristics and energy distribution of a centrifugal pump evaluated as a low specific speed with a value of 69.This study investigates six impellermodels that possess varying blade wrap angles(95°,105°,115°,125°,135°,and 145°)that were created while maintaining the same volute and other geometrical characteristics.The investigation of energy loss was conducted to evaluate the values of total and entropy generation rates(TEG,EGR).The fluid-structure interaction was considered numerically using the software tools ANSYS Fluent and ANSYSWorkbench.The elastic structural dynamic equation was used to estimate the structural response,while the shear stress transport k–ωturbulence model was utilized for the fluid domain modeling.The findings suggest that the blade wrap angle has a significant influence on the efficiency of the pump.The impeller featuring a blade wrap angle of 145°exhibits higher efficiency,with a notable increase of 3.76%relative to the original model.Variations in the blade wrap angle impact the energy loss,shaft power,and pump head.The model with a 145°angle exhibited a maximum equivalent stress of 14.8MPa and a total deformation of 0.084 mm.The results provide valuable insights into the intricate flow mechanism of the centrifugal pump,particularly when considering various blade wrap angles. 展开更多
关键词 Centrifugal pump blade wrap angle entropy generation theory fluid-structure interaction hydraulic performance
下载PDF
MTTSNet:Military time-sensitive targets stealth network via real-time mask generation
13
作者 Siyu Wang Xiaogang Yang +4 位作者 Ruitao Lu Zhengjie Zhu Fangjia Lian Qing-ge Li Jiwei Fan 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2024年第3期601-612,共12页
The automatic stealth task of military time-sensitive targets plays a crucial role in maintaining national military security and mastering battlefield dynamics in military applications.We propose a novel Military Time... The automatic stealth task of military time-sensitive targets plays a crucial role in maintaining national military security and mastering battlefield dynamics in military applications.We propose a novel Military Time-sensitive Targets Stealth Network via Real-time Mask Generation(MTTSNet).According to our knowledge,this is the first technology to automatically remove military targets in real-time from videos.The critical steps of MTTSNet are as follows:First,we designed a real-time mask generation network based on the encoder-decoder framework,combined with the domain expansion structure,to effectively extract mask images.Specifically,the ASPP structure in the encoder could achieve advanced semantic feature fusion.The decoder stacked high-dimensional information with low-dimensional information to obtain an effective mask layer.Subsequently,the domain expansion module guided the adaptive expansion of mask images.Second,a context adversarial generation network based on gated convolution was constructed to achieve background restoration of mask positions in the original image.In addition,our method worked in an end-to-end manner.A particular semantic segmentation dataset for military time-sensitive targets has been constructed,called the Military Time-sensitive Target Masking Dataset(MTMD).The MTMD dataset experiment successfully demonstrated that this method could create a mask that completely occludes the target and that the target could be hidden in real time using this mask.We demonstrated the concealment performance of our proposed method by comparing it to a number of well-known and highly optimized baselines. 展开更多
关键词 Deep learning Military application Targets stealth network Mask generation Generative adversarial network
下载PDF
Insight into the dynamics of non-Newtonian Carreau fluid when viscous dissipation,entropy generation,convective heating and diffusion are significant
14
作者 ZHOU Shuang-shuang Muhammad Ijaz Khan +1 位作者 Sami Ullah Khan Sumaira Qayyum 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 2024年第1期34-46,共13页
The investigation endorsed the convective flow of Carreau nanofluid over a stretched surface in presence of entropy generation optimization.The novel dynamic of viscous dissipation is utilized to analyze the thermal m... The investigation endorsed the convective flow of Carreau nanofluid over a stretched surface in presence of entropy generation optimization.The novel dynamic of viscous dissipation is utilized to analyze the thermal mechanism of magnetized flow.The convective boundary assumptions are directed in order to examine the heat and mass transportation of nanofluid.The thermal concept of thermophoresis and Brownian movements has been re-called with the help of Buongiorno model.The problem formulated in dimensionless form is solved by NDSolve MATHEMATICA.The graphical analysis for parameters governed by the problem is performed with physical applications.The affiliation of entropy generation and Bejan number for different parameters is inspected in detail.The numerical data for illustrating skin friction,heat and mass transfer rate is also reported.The motion of the fluid is highest for the viscosity ratio parameter.The temperature of the fluid rises via thermal Biot number.Entropy generation rises for greater Brinkman number and diffusion parameter. 展开更多
关键词 heat generation surface reaction CNTs based nano uid stretching/shrinking sheet thermal radiation
下载PDF
Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems
15
作者 Xia Li Zhanyou Ma +3 位作者 Zhibao Mian Ziyuan Liu Ruiqi Huang Nana He 《Computers, Materials & Continua》 SCIE EI 2024年第3期4129-4152,共24页
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as s... Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system. 展开更多
关键词 Model checking multi-agent systems fuzzy epistemic interpreted systems fuzzy computation tree logic transformation algorithm
下载PDF
Test Case Generation Evaluator for the Implementation of Test Case Generation Algorithms Based on Learning to Rank
16
作者 Zhonghao Guo Xinyue Xu Xiangxian Chen 《Computer Systems Science & Engineering》 2024年第2期479-509,共31页
In software testing,the quality of test cases is crucial,but manual generation is time-consuming.Various automatic test case generation methods exist,requiring careful selection based on program features.Current evalu... In software testing,the quality of test cases is crucial,but manual generation is time-consuming.Various automatic test case generation methods exist,requiring careful selection based on program features.Current evaluation methods compare a limited set of metrics,which does not support a larger number of metrics or consider the relative importance of each metric to the final assessment.To address this,we propose an evaluation tool,the Test Case Generation Evaluator(TCGE),based on the learning to rank(L2R)algorithm.Unlike previous approaches,our method comprehensively evaluates algorithms by considering multiple metrics,resulting in a more reasoned assessment.The main principle of the TCGE is the formation of feature vectors that are of concern by the tester.Through training,the feature vectors are sorted to generate a list,with the order of the methods on the list determined according to their effectiveness on the tested assembly.We implement TCGE using three L2R algorithms:Listnet,LambdaMART,and RFLambdaMART.Evaluation employs a dataset with features of classical test case generation algorithms and three metrics—Normalized Discounted Cumulative Gain(NDCG),Mean Average Precision(MAP),and Mean Reciprocal Rank(MRR).Results demonstrate the TCGE’s superior effectiveness in evaluating test case generation algorithms compared to other methods.Among the three L2R algorithms,RFLambdaMART proves the most effective,achieving an accuracy above 96.5%,surpassing LambdaMART by 2%and Listnet by 1.5%.Consequently,the TCGE framework exhibits significant application value in the evaluation of test case generation algorithms. 展开更多
关键词 Test case generation evaluator learning to rank RFLambdaMART
下载PDF
The Fundamental Theory of Artificial Intelligence—Logic Structure and Logic Engineering
17
作者 Dong H. Liu 《Intelligent Control and Automation》 2024年第1期28-62,共35页
The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. Th... The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology. 展开更多
关键词 Bionic logic Structural Diagram of logical Equation Data logic INTELLIGENCE
下载PDF
High-order harmonic generation of ZnO crystals in chirped and static electric fields
18
作者 张玲玉 何永林 +5 位作者 谢卓璇 高芳艳 徐清芸 葛鑫磊 罗香怡 郭静 《Chinese Physics B》 SCIE EI CAS CSCD 2024年第1期335-343,共9页
High harmonic generation in ZnO crystals under chirped single-color field and static electric field are investigated by solving the semiconductor Bloch equation(SBE). It is found that when the chirp pulse is introduce... High harmonic generation in ZnO crystals under chirped single-color field and static electric field are investigated by solving the semiconductor Bloch equation(SBE). It is found that when the chirp pulse is introduced, the interference structure becomes obvious while the harmonic cutoff is not extended. Furthermore, the harmonic efficiency is improved when the static electric field is included. These phenomena are demonstrated by the classical recollision model in real space affected by the waveform of laser field and inversion symmetry. Specifically, the electron motion in k-space shows that the change of waveform and the destruction of the symmetry of the laser field lead to the incomplete X-structure of the crystal-momentum-resolved(k-resolved) inter-band harmonic spectrum. Furthermore, a pre-acceleration process in the solid four-step model is confirmed. 展开更多
关键词 high-order harmonic generation the semiconductor Bloch equation k-resolved inter-band harmonic spectrum four-step semiclassical model
原文传递
Multi-objective optimization and evaluation of supercritical CO2 Brayton cycle for nuclear power generation
19
作者 Guo-Peng Yu Yong-Feng Cheng +1 位作者 Na Zhang Ping-Jian Ming 《Nuclear Science and Techniques》 SCIE EI CAS CSCD 2024年第2期183-209,共27页
The supercritical CO2 Brayton cycle is considered a promising energy conversion system for Generation IV reactors for its simple layout,compact structure,and high cycle efficiency.Mathematical models of four Brayton c... The supercritical CO2 Brayton cycle is considered a promising energy conversion system for Generation IV reactors for its simple layout,compact structure,and high cycle efficiency.Mathematical models of four Brayton cycle layouts are developed in this study for different reactors to reduce the cost and increase the thermohydraulic performance of nuclear power generation to promote the commercialization of nuclear energy.Parametric analysis,multi-objective optimizations,and four decision-making methods are applied to obtain each Brayton scheme’s optimal thermohydraulic and economic indexes.Results show that for the same design thermal power scale of reactors,the higher the core’s exit temperature,the better the Brayton cycle’s thermo-economic performance.Among the four-cycle layouts,the recompression cycle(RC)has the best overall performance,followed by the simple recuperation cycle(SR)and the intercooling cycle(IC),and the worst is the reheating cycle(RH).However,RH has the lowest total cost of investment(C_(tot))of$1619.85 million,and IC has the lowest levelized cost of energy(LCOE)of 0.012$/(kWh).The nuclear Brayton cycle system’s overall performance has been improved due to optimization.The performance of the molten salt reactor combined with the intercooling cycle(MSR-IC)scheme has the greatest improvement,with the net output power(W_(net)),thermal efficiencyη_(t),and exergy efficiency(η_(e))improved by 8.58%,8.58%,and 11.21%,respectively.The performance of the lead-cooled fast reactor combined with the simple recuperation cycle scheme was optimized to increase C_(tot) by 27.78%.In comparison,the internal rate of return(IRR)increased by only 7.8%,which is not friendly to investors with limited funds.For the nuclear Brayton cycle,the molten salt reactor combined with the recompression cycle scheme should receive priority,and the gas-cooled fast reactor combined with the reheating cycle scheme should be considered carefully. 展开更多
关键词 Supercritical CO2 Brayton cycle Nuclear power generation Thermo-economic analysis Multi-objective optimization Decision-making methods
下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部