期刊文献+
共找到1,185,378篇文章
< 1 2 250 >
每页显示 20 50 100
Some results on entropy dimension for non-autonomous systems
1
作者 YANG Yan-juan WANG Lin WANG Wei 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 2020年第3期281-292,共12页
In this paper,the preimage branch t-entropy and entropy dimension for nonautonomous systems are studied and some systems with preimage branch t-entropy zero are introduced.Moreover,formulas calculating the s-topologic... In this paper,the preimage branch t-entropy and entropy dimension for nonautonomous systems are studied and some systems with preimage branch t-entropy zero are introduced.Moreover,formulas calculating the s-topological entropy of a sequence of equi-continuous monotone maps on the unit circle are given.Finally,examples to show that the entropy dimension of non-autonomous systems can be attained by any positive number s are constructed. 展开更多
关键词 entropy dimension homemorphism finite graphs non-autonomous systems
下载PDF
Adaptive coupled synchronization of non-autonomous systems in ring networks 被引量:1
2
作者 过榴晓 徐振源 胡满峰 《Chinese Physics B》 SCIE EI CAS CSCD 2008年第3期836-841,共6页
The adaptive coupled synchronization method for non-autonomous systems is proposed. This method can avoid estimating the value of coupling coefficient. Under the uniform Lipschitz assumption, we derive the asymptotica... The adaptive coupled synchronization method for non-autonomous systems is proposed. This method can avoid estimating the value of coupling coefficient. Under the uniform Lipschitz assumption, we derive the asymptotical synchronization for a general coupling ring network with N identical non-autonomous systems~ even when N is large enough. Strict theoretical proofs are given. Numerical simulations illustrate the effectiveness of the present method. 展开更多
关键词 non-autonomous system adaptive synchronization chaotic synchronization ring net-works
下载PDF
Mean Dimension for Non-autonomous Iterated Function Systems
3
作者 Meng Deyu Zhao Cao 《数学理论与应用》 2024年第3期119-129,共11页
In this paper we introduce the notions of mean dimension and metric mean dimension for non-autonomous iterated function systems(NAIFSs for short)on countably infinite alphabets which can be regarded as generalizations... In this paper we introduce the notions of mean dimension and metric mean dimension for non-autonomous iterated function systems(NAIFSs for short)on countably infinite alphabets which can be regarded as generalizations of the mean dimension and the Lindenstrauss metric mean dimension for non-autonomous iterated function systems.We also show the relationship between the mean topological dimension and the metric mean dimension. 展开更多
关键词 non-autonomous iterated function system Mean dimension Metric mean dimension
下载PDF
EXISTENCE OF PERIODIC SOLUTIONS OF A CLASS OF SECOND-ORDER NON-AUTONOMOUS SYSTEMS
4
作者 Yuan Qi Kun Liu 《Annals of Applied Mathematics》 2016年第1期30-35,共6页
In this paper, we are concerned with the existence of periodic solutions of second-order non-autonomous systems. By applying the Schauder's fixed point theorem and Miranda's theorem, a new existence result of period... In this paper, we are concerned with the existence of periodic solutions of second-order non-autonomous systems. By applying the Schauder's fixed point theorem and Miranda's theorem, a new existence result of periodic solutions is established. 展开更多
关键词 second-order non-autonomous systems periodic solutions Schauder's fixed point theorem Miranda's theorem
原文传递
Sensitivity of the Product System of Set-Valued Non-Autonomous Discrete Dynamical Systems
5
作者 Yongxi Jiang Tianxiu Lu +1 位作者 Jingmin Pi Xiaofang Yang 《Journal of Applied Mathematics and Physics》 2021年第11期2706-2716,共11页
This paper is concerned with the sensitivity of set-valued discrete systems. Firstly, this paper obtained the equivalence between <img src="Edit_7024f70b-0568-4ca8-a554-c0d05abc0df0.bmp" alt="" ... This paper is concerned with the sensitivity of set-valued discrete systems. Firstly, this paper obtained the equivalence between <img src="Edit_7024f70b-0568-4ca8-a554-c0d05abc0df0.bmp" alt="" />or <img src="Edit_95636a59-7d5d-4b6c-8bd5-f699dd9208df.bmp" alt="" /> and the product system <img src="Edit_c714caaf-0ed9-46bc-b3e1-b0223474a8f5.bmp" alt="" /> in sensitivity, infinite sensitivity, <em>F</em>-sensitivity, (<em>F</em><sub>1</sub>, <em>F</em><sub>2</sub>)-sensitivity. Then, the relation between (<em>X</em>, <em>f</em><sub>1,∞</sub>) or (<em>Y</em>, <em>g</em><sub>1,∞</sub>) and <img src="Edit_55b4ce47-89f3-4476-a8a8-4d4db5a4e8eb.bmp" alt="" /> in ergodic sensitivity is obtained. Where <img src="Edit_a99604c4-2f72-4e75-a998-8057b8790e03.bmp" alt="" /> is the set-valued dynamical system induced by a non-autonomous discrete dynamical system (<em>X</em>, <em>f</em><sub>1,∞</sub>). 展开更多
关键词 Sensitivity Set-Valued system Product Mapping non-autonomous systems
下载PDF
Dynamic Interaction Analysis of Coupled Axial-Torsional-Lateral Mechanical Vibrations in Rotary Drilling Systems
6
作者 Sabrina Meddah Sid Ahmed Tadjer +3 位作者 Abdelhakim Idir Kong Fah Tee Mohamed Zinelabidine Doghmane Madjid Kidouche 《Structural Durability & Health Monitoring》 EI 2025年第1期77-103,共27页
Maintaining the integrity and longevity of structures is essential in many industries,such as aerospace,nuclear,and petroleum.To achieve the cost-effectiveness of large-scale systems in petroleum drilling,a strong emp... Maintaining the integrity and longevity of structures is essential in many industries,such as aerospace,nuclear,and petroleum.To achieve the cost-effectiveness of large-scale systems in petroleum drilling,a strong emphasis on structural durability and monitoring is required.This study focuses on the mechanical vibrations that occur in rotary drilling systems,which have a substantial impact on the structural integrity of drilling equipment.The study specifically investigates axial,torsional,and lateral vibrations,which might lead to negative consequences such as bit-bounce,chaotic whirling,and high-frequency stick-slip.These events not only hinder the efficiency of drilling but also lead to exhaustion and harm to the system’s components since they are difficult to be detected and controlled in real time.The study investigates the dynamic interactions of these vibrations,specifically in their high-frequency modes,usingfield data obtained from measurement while drilling.Thefindings have demonstrated the effect of strong coupling between the high-frequency modes of these vibrations on drilling sys-tem performance.The obtained results highlight the importance of considering the interconnected impacts of these vibrations when designing and implementing robust control systems.Therefore,integrating these compo-nents can increase the durability of drill bits and drill strings,as well as improve the ability to monitor and detect damage.Moreover,by exploiting thesefindings,the assessment of structural resilience in rotary drilling systems can be enhanced.Furthermore,the study demonstrates the capacity of structural health monitoring to improve the quality,dependability,and efficiency of rotary drilling systems in the petroleum industry. 展开更多
关键词 Rotary drilling systems mechanical vibrations structural durability dynamic interaction analysis field data analysis
下载PDF
Uniform attractors for non-autonomous Klein-Gordon-Schrdinger lattice systems 被引量:3
7
作者 黄锦舞 韩晓莹 周盛凡 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2009年第12期1597-1607,共11页
The existence of a compact uniform attractor for a family of processes corre- sponding to the dissipative non-autonomous Klein-Gordon-SchrSdinger lattice dynamical system is proved. An upper bound of the Kolmogorov en... The existence of a compact uniform attractor for a family of processes corre- sponding to the dissipative non-autonomous Klein-Gordon-SchrSdinger lattice dynamical system is proved. An upper bound of the Kolmogorov entropy of the compact uniform attractor is obtained, and an upper semicontinuity of the compact uniform attractor is established. 展开更多
关键词 compact uniform attractor non-autonomous Klein-Gordon-SchrSoinger lattice system Kolmogorov entropy upper semicontinuity
下载PDF
ON THE EXISTENCE THEOREMS OF NONTRIVIAL PERIODIC SOLUTIONS TO A CLASS OF NONLINEAR NON-AUTONOMOUS SYSTEMS
8
作者 高占海 张棣 《Annals of Differential Equations》 1996年第1期48-50,共3页
In this paper, the nonlinear non-autonomous system (1. 1) is studied, and the existence of at least one w-periodic solution is obtained under the appropriate assumptions on A(t) and g(t,x).
关键词 Periodic solution Fixed point non-autonomous system
原文传递
Design of an adaptive finite-time controller for synchronization of two identical/different non-autonomous chaotic flywheel governor systems
9
作者 Mohammad Pourmahmood Aghababa 《Chinese Physics B》 SCIE EI CAS CSCD 2012年第3期101-111,共11页
The centrifugal flywheel governor (CFG) is a mechanical device that automatically controls the speed of an engine and avoids the damage caused by sudden change of load torque. It has been shown that this system exhi... The centrifugal flywheel governor (CFG) is a mechanical device that automatically controls the speed of an engine and avoids the damage caused by sudden change of load torque. It has been shown that this system exhibits very rich and complex dynamics such as chaos. This paper investigates the problem of robust finite-time synchronization of non-autonomous chaotic CFGs. The effects of unknown parameters, model uncertainties and external disturbances are fully taken into account. First, it is assumed that the parameters of both master and slave CFGs have the same value and a suitable adaptive finite-time controller is designed. Second, two CFGs are synchronized with the parameters of different values via a robust adaptive finite-time control approach. Finally, some numerical simulations are used to demonstrate the effectiveness and robustness of the proposed finite-time controllers. 展开更多
关键词 finite-time controller chaos synchronization non-autonomous centrifugal flywheel gov-ernor chaotic system
下载PDF
Finite Fractal Dimensionality of Compact Kernel Sections for Dissipative Non-Autonomous Klein-Gordon-Schrödinger Lattice Systems
10
作者 Jinwu Huang 《Journal of Applied Mathematics and Physics》 2020年第12期2919-2929,共11页
In this paper, an upper bound of fractal dimension of the compact kernel sections for the dissipative non-autonomous Klein-Gordon-Schr<span style="white-space:nowrap;">&#246;</span>dinger lat... In this paper, an upper bound of fractal dimension of the compact kernel sections for the dissipative non-autonomous Klein-Gordon-Schr<span style="white-space:nowrap;">&#246;</span>dinger lattice system is obtained, by applying a criterion for estimating fractal dimension of a family of compact subsets of a separable Hilbert space. 展开更多
关键词 Compact Kernel Sections DISSIPATIVE Fractal Dimension non-autonomous Klein-Gordon-Schrödinger Lattice system
下载PDF
Global Existence and Asymptotic Behavior of Non-autonomous Timoshenko Systems
11
作者 ZHENG Xiu-zhen QIN Yu-ming 《Chinese Quarterly Journal of Mathematics》 2017年第3期246-254,共9页
Considering Timoshenko systems under the Cattaneo thermal law, the purpose of the article is to obtain the global existence of linear Timoshenko system and semilinear Timoshenko system for the solutions of non-autonom... Considering Timoshenko systems under the Cattaneo thermal law, the purpose of the article is to obtain the global existence of linear Timoshenko system and semilinear Timoshenko system for the solutions of non-autonomous situations. The main method is converting the systems into abstract ODE, constructing proper spaces and proving the global existence by using semigroup methods. For asymptotic behavior, there will be a remark to describe the results. 展开更多
关键词 Timoshenko systems global existence semigroup methods
下载PDF
EXACT NULL CONTROLLABILITY OF NON-AUTONOMOUS FUNCTIONAL EVOLUTION SYSTEMS WITH NONLOCAL CONDITIONS 被引量:2
12
作者 傅显隆 张玉 《Acta Mathematica Scientia》 SCIE CSCD 2013年第3期747-757,共11页
In this article, by using theory of linear evolution system and Schauder fixed point theorem, we establish a sufficient result of exact null controllability for a non-autonomous functional evolution system with nonloc... In this article, by using theory of linear evolution system and Schauder fixed point theorem, we establish a sufficient result of exact null controllability for a non-autonomous functional evolution system with nonlocal conditions. In particular, the compactness condition or Lipschitz condition for the function g in the nonlocal conditions appearing in various literatures is not required here. An example is also provided to show an application of the obtained result. 展开更多
关键词 Exact null controllability nonlocal condition linear evolution system Schauder fixed point theorem
下载PDF
Conventional Geothermal Systems and Unconventional Geothermal Developments: An Overview 被引量:1
13
作者 Maryam Khodayar Sveinbjörn Björnsson 《Open Journal of Geology》 CAS 2024年第2期196-246,共51页
This paper provides an overview of conventional geothermal systems and unconventional geothermal developments as a common reference is needed for discussions between energy professionals. Conventional geothermal syste... This paper provides an overview of conventional geothermal systems and unconventional geothermal developments as a common reference is needed for discussions between energy professionals. Conventional geothermal systems have the heat, permeability and fluid, requiring only drilling down to °C, normal heat flow or decaying radiogenic granite as heat sources, and used in district heating. Medium-temperature (MT) 100°C - 190°C, and high-temperature (HT) 190°C - 374°C resources are mostly at plate boundaries, with volcanic intrusive heat source, used mostly for electricity generation. Single well capacities are °C - 500°C) and a range of depths (1 m to 20 Km), but lack permeability or fluid, thus requiring stimulations for heat extraction by conduction. HVAC is 1 - 2 m deep and shallow geothermal down to 500 m in wells, both capturing °C, with °C are either advanced by geothermal developers at <7 Km depth (Enhanced Geothermal Systems (EGS), drilling below brittle-ductile transition zones and under geothermal fields), or by the Oil & Gas industry (Advanced Geothermal Systems, heat recovery from hydrocarbon wells or reservoirs, Superhot Rock Geothermal, and millimeter-wave drilling down to 20 Km). Their primary aim is electricity generation, relying on closed-loops, but EGS uses fractures for heat exchange with earthquake risks during fracking. Unconventional approaches could be everywhere, with shallow geothermal already functional. The deeper and hotter unconventional alternatives are still experimental, overcoming costs and technological challenges to become fully commercial. Meanwhile, the conventional geothermal resources remain the most proven opportunities for investments and development. 展开更多
关键词 Conventional Geothermal systems Unconventional Geothermal Developments Shallow and Deep Closed-Loops Enhanced Geothermal systems Supercritical and Millimeter-Wave Drilling
下载PDF
Systems Theory-Driven Framework for AI Integration into the Holistic Material Basis Research of Traditional Chinese Medicine 被引量:1
14
作者 Jingqi Zeng Xiaobin Jia 《Engineering》 SCIE EI CAS CSCD 2024年第9期28-50,共23页
This paper introduces a systems theory-driven framework to integration artificial intelligence(AI)into traditional Chinese medicine(TCM)research,enhancing the understanding of TCM’s holistic material basis while adhe... This paper introduces a systems theory-driven framework to integration artificial intelligence(AI)into traditional Chinese medicine(TCM)research,enhancing the understanding of TCM’s holistic material basis while adhering to evidence-based principles.Utilizing the System Function Decoding Model(SFDM),the research progresses through define,quantify,infer,and validate phases to systematically explore TCM’s material basis.It employs a dual analytical approach that combines top-down,systems theory-guided perspectives with bottom-up,elements-structure-function methodologies,provides comprehensive insights into TCM’s holistic material basis.Moreover,the research examines AI’s role in quantitative assessment and predictive analysis of TCM’s material components,proposing two specific AIdriven technical applications.This interdisciplinary effort underscores AI’s potential to enhance our understanding of TCM’s holistic material basis and establishes a foundation for future research at the intersection of traditional wisdom and modern technology. 展开更多
关键词 Artificial intelligence systems theory Traditional Chinese medicine Material basis BOTTOM-UP
下载PDF
Computational Experiments for Complex Social Systems:Experiment Design and Generative Explanation 被引量:2
15
作者 Xiao Xue Deyu Zhou +5 位作者 Xiangning Yu Gang Wang Juanjuan Li Xia Xie Lizhen Cui Fei-Yue Wang 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2024年第4期1022-1038,共17页
Powered by advanced information technology,more and more complex systems are exhibiting characteristics of the cyber-physical-social systems(CPSS).In this context,computational experiments method has emerged as a nove... Powered by advanced information technology,more and more complex systems are exhibiting characteristics of the cyber-physical-social systems(CPSS).In this context,computational experiments method has emerged as a novel approach for the design,analysis,management,control,and integration of CPSS,which can realize the causal analysis of complex systems by means of“algorithmization”of“counterfactuals”.However,because CPSS involve human and social factors(e.g.,autonomy,initiative,and sociality),it is difficult for traditional design of experiment(DOE)methods to achieve the generative explanation of system emergence.To address this challenge,this paper proposes an integrated approach to the design of computational experiments,incorporating three key modules:1)Descriptive module:Determining the influencing factors and response variables of the system by means of the modeling of an artificial society;2)Interpretative module:Selecting factorial experimental design solution to identify the relationship between influencing factors and macro phenomena;3)Predictive module:Building a meta-model that is equivalent to artificial society to explore its operating laws.Finally,a case study of crowd-sourcing platforms is presented to illustrate the application process and effectiveness of the proposed approach,which can reveal the social impact of algorithmic behavior on“rider race”. 展开更多
关键词 Agent-based modeling computational experiments cyber-physical-social systems(CPSS) generative deduction generative experiments meta model
下载PDF
Prescribed Performance Tracking Control of Time-Delay Nonlinear Systems With Output Constraints 被引量:1
16
作者 Jin-Xi Zhang Kai-Di Xu Qing-Guo Wang 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2024年第7期1557-1565,共9页
The problem of prescribed performance tracking control for unknown time-delay nonlinear systems subject to output constraints is dealt with in this paper. In contrast with related works, only the most fundamental requ... The problem of prescribed performance tracking control for unknown time-delay nonlinear systems subject to output constraints is dealt with in this paper. In contrast with related works, only the most fundamental requirements, i.e., boundedness and the local Lipschitz condition, are assumed for the allowable time delays. Moreover, we focus on the case where the reference is unknown beforehand, which renders the standard prescribed performance control designs under output constraints infeasible. To conquer these challenges, a novel robust prescribed performance control approach is put forward in this paper.Herein, a reverse tuning function is skillfully constructed and automatically generates a performance envelop for the tracking error. In addition, a unified performance analysis framework based on proof by contradiction and the barrier function is established to reveal the inherent robustness of the control system against the time delays. It turns out that the system output tracks the reference with a preassigned settling time and good accuracy,without constraint violations. A comparative simulation on a two-stage chemical reactor is carried out to illustrate the above theoretical findings. 展开更多
关键词 Nonlinear systems output constraints prescribed performance reference tracking time delays
下载PDF
Finite-time Prescribed Performance Time-Varying Formation Control for Second-Order Multi-Agent Systems With Non-Strict Feedback Based on a Neural Network Observer 被引量:1
17
作者 Chi Ma Dianbiao Dong 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2024年第4期1039-1050,共12页
This paper studies the problem of time-varying formation control with finite-time prescribed performance for nonstrict feedback second-order multi-agent systems with unmeasured states and unknown nonlinearities.To eli... This paper studies the problem of time-varying formation control with finite-time prescribed performance for nonstrict feedback second-order multi-agent systems with unmeasured states and unknown nonlinearities.To eliminate nonlinearities,neural networks are applied to approximate the inherent dynamics of the system.In addition,due to the limitations of the actual working conditions,each follower agent can only obtain the locally measurable partial state information of the leader agent.To address this problem,a neural network state observer based on the leader state information is designed.Then,a finite-time prescribed performance adaptive output feedback control strategy is proposed by restricting the sliding mode surface to a prescribed region,which ensures that the closed-loop system has practical finite-time stability and that formation errors of the multi-agent systems converge to the prescribed performance bound in finite time.Finally,a numerical simulation is provided to demonstrate the practicality and effectiveness of the developed algorithm. 展开更多
关键词 Finite-time control multi-agent systems neural network prescribed performance control time-varying formation control
下载PDF
Robust adaptive leaderless consensus of unknown non-minimum phase linear multi-agent systems subject to disturbances and/or unmodeled dynamics 被引量:1
18
作者 Wenji Cao Gang Feng 《Journal of Automation and Intelligence》 2024年第2期92-100,共9页
This article investigates the problem of robust adaptive leaderless consensus for heterogeneous uncertain nonminimumphase linear multi-agent systems over directed communication graphs. Each agent is assumed tobe of un... This article investigates the problem of robust adaptive leaderless consensus for heterogeneous uncertain nonminimumphase linear multi-agent systems over directed communication graphs. Each agent is assumed tobe of unknown nominal dynamics and also subject to external disturbances and/or unmodeled dynamics. Anovel distributed robust adaptive control strategy is proposed. It is shown that the robust adaptive leaderlessconsensus problem is solved with the proposed control strategy under some sufficient conditions. Two examplesare provided to demonstrate the efficacy of the proposed control strategy. 展开更多
关键词 Cooperative control Non-minimum phase Leaderless consensus Multi-agent systems Robust adaptive control
下载PDF
Attribute Reduction of Hybrid Decision Information Systems Based on Fuzzy Conditional Information Entropy 被引量:1
19
作者 Xiaoqin Ma Jun Wang +1 位作者 Wenchang Yu Qinli Zhang 《Computers, Materials & Continua》 SCIE EI 2024年第5期2063-2083,共21页
The presence of numerous uncertainties in hybrid decision information systems(HDISs)renders attribute reduction a formidable task.Currently available attribute reduction algorithms,including those based on Pawlak attr... The presence of numerous uncertainties in hybrid decision information systems(HDISs)renders attribute reduction a formidable task.Currently available attribute reduction algorithms,including those based on Pawlak attribute importance,Skowron discernibility matrix,and information entropy,struggle to effectively manages multiple uncertainties simultaneously in HDISs like the precise measurement of disparities between nominal attribute values,and attributes with fuzzy boundaries and abnormal values.In order to address the aforementioned issues,this paper delves into the study of attribute reduction withinHDISs.First of all,a novel metric based on the decision attribute is introduced to solve the problem of accurately measuring the differences between nominal attribute values.The newly introduced distance metric has been christened the supervised distance that can effectively quantify the differences between the nominal attribute values.Then,based on the newly developed metric,a novel fuzzy relationship is defined from the perspective of“feedback on parity of attribute values to attribute sets”.This new fuzzy relationship serves as a valuable tool in addressing the challenges posed by abnormal attribute values.Furthermore,leveraging the newly introduced fuzzy relationship,the fuzzy conditional information entropy is defined as a solution to the challenges posed by fuzzy attributes.It effectively quantifies the uncertainty associated with fuzzy attribute values,thereby providing a robust framework for handling fuzzy information in hybrid information systems.Finally,an algorithm for attribute reduction utilizing the fuzzy conditional information entropy is presented.The experimental results on 12 datasets show that the average reduction rate of our algorithm reaches 84.04%,and the classification accuracy is improved by 3.91%compared to the original dataset,and by an average of 11.25%compared to the other 9 state-of-the-art reduction algorithms.The comprehensive analysis of these research results clearly indicates that our algorithm is highly effective in managing the intricate uncertainties inherent in hybrid data. 展开更多
关键词 Hybrid decision information systems fuzzy conditional information entropy attribute reduction fuzzy relationship rough set theory(RST)
下载PDF
Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems
20
作者 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
上一页 1 2 250 下一页 到第
使用帮助 返回顶部