首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 93 毫秒
1.
一个在费协调逻辑中的限制   总被引:3,自引:2,他引:1  
林作铨 《软件学报》1995,6(5):290-295
本通过应用限制到一个费协调逻辑给出一种费协调限制,费协调限制是一种费协调非单调逻辑,它能被极小化语义所刻划,并具有两方面优点:非单调逻辑在包含矛盾时是不平凡的;费协调逻辑在矛盾没有影响时等介于经典逻辑。  相似文献   

2.
一个在弗协调逻辑中的限制   总被引:1,自引:1,他引:1  
林作铨 《软件学报》1995,6(5):290-295
本文通过应用限制到一个弗协调逻辑给出一种弗协调限制,弗协调限制是一种弗协调非单调逻辑,它能被极小化语义所刻划,并具有两方面优点:非单调逻辑在包含矛盾时是不平凡的;弗协调逻辑在矛盾没有影响时等价于经典逻辑.  相似文献   

3.
超协调逻辑(Ⅱ)—新超协调逻辑研究   总被引:3,自引:0,他引:3  
这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。  相似文献   

4.
超协调限制逻辑   总被引:2,自引:1,他引:2  
林作铨 《计算机学报》1995,18(9):665-670
本文给出了一阶超协调限制逻辑LPs的定义,并证明了它与悖论逻辑(LP与LPm)和限制逻辑(CIRC)的关系,LP作为一种非单调超协调逻辑具有非单逻辑和超协调逻辑的优点,而用能解决非单调逻辑和超协调逻辑存在的问题,它可作为在不完全与不协调知识下常识推理的形式化,因此它的知识表示中具有广泛的应用。  相似文献   

5.
超协调逻辑(I)—传统超协调逻辑研究   总被引:5,自引:0,他引:5  
  相似文献   

6.
超协调逻辑(Ⅳ)—非单调超协调逻辑研究   总被引:2,自引:0,他引:2  
这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义,最后,讨论了超协调逻辑的应用,特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。  相似文献   

7.
介绍电动EGC系统的组成及在中厚板轧制过程中的控制方法.  相似文献   

8.
MES是一个能精确调度、发送、跟踪、监控车间生产信息和过程,且能够及时测量和报告其实时性能的制造执行系统。本文重点讨论了济钢三炼钢-中厚板一体化中的生产计划信息的采集、传递和管理以及MES系统在其中的作用。  相似文献   

9.
吕霞  王鹏  康凯 《传感器世界》2011,17(10):30-32
在中厚板轧制工艺中,宽度的控制尤为重要,准确的宽度控制可以提高成材率、降低损耗.对宽度精确控制的前提是对钢板宽度的准确测量,宽度的精确测量对于宽度控制模型以及钢板的成型轧制起到了重要的作用.但是恶劣的测量环境和板材的高温,给板坯宽度测量带来了困难.在中厚板生产线上,一般采用测宽仪来测量板坯宽度,并实时传递给二级控制系统...  相似文献   

10.
多模型加权自适应控制在中厚板层流冷却系统中的应用   总被引:2,自引:0,他引:2  
在控制冷却过程中, 中厚板的层流冷却过程厚度总是含有较大的不确定性. 如果用单一的精确的数学模型进行控制, 那么当厚度发生剧烈变化时, 难以获得满意的控制效果. 本文提出了一种基于加权策略的多模型自适应控制方法. 首先根据历史数据分析钢铁企业中不同厚度中厚板的生产过程, 针对生产批次多、生产量大、历史数据丰富的中厚板, 在各厚度工作点处建立多个冷却模型, 并设计相应的PID控制器, 以实现生产批次最多的中厚板终冷温度的精确控制. 对于生产批次少、生产量小导致历史数据匮乏的中厚板, 将终冷温度的实际输出与上述建立的多个冷却模型的输出进行比较, 根据输出偏差计算出各个冷却模型的加权系数, 然后采用多PID控制器加权的自适应方法, 以提高终冷温度的控制精度. 而对于由于新生产计划的下达首次出现的新钢种、新厚度的中厚板, 利用最接近该厚度的加权系数实现初始控制、减少初始误差, 同时实时调整加权系数, 以满足控制精度的要求. 最后通过仿真研究予以验证. 该方法一方面采用PID控制器对生产批量大的中厚板在其厚度附近实现精确控制, 具有较强的鲁棒性. 另一方面, 采用多模型加权方法提高生产批量小或者从未生产过的中厚板的控制精度, 具有一定的自适应能力. 因此, 该方法针对层流冷却过程中厚度高度不确定、快时变的特点, 使控制系统同时具有较强的鲁棒性和自适应能力, 从而实现终冷温度控制精度的提高.  相似文献   

11.
知识处理的发展对“否定知识”的认识提出了新的要求。中介逻辑是一个完全形式化的系统,其完整地反映了矛盾和对立等否定关系以及推理关系。文章针对模糊知识,在中介逻辑无穷值语义模型的基础上,研究了基于中介逻辑的近似推理问题。文章分析了模糊知识中的否定关系,并以中介逻辑及其无穷值语义模型给予其语形与语义描述。然后,扩展了近似推理的CRI算法。同时,给出了语义匹配度的度量,包括语义距离和相似度,进而提出了基于语义匹配度度量的近似推理方法。  相似文献   

12.
建立了车辆整车7自由度模型的主动悬架控制的系统状态方程模型,设计了两种模糊控制策略,方法一针对整车模型,采用一种控制方法,方法二针对整车模型的运动方式,设计不同的模糊控制器,垂直振动模糊控制器,俯仰振动模糊控制器,侧倾振动模糊控制器和逻辑控制器,仿真结果表明,所设计的模糊控制器对提高车辆的舒适性与操纵稳定性有较好的效果.  相似文献   

13.
中介命题逻辑一种新的无穷值语义模型及意义   总被引:1,自引:1,他引:0       下载免费PDF全文
中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种无穷值语义模型,并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上,给出一种真值域为[0,λ)∪(λ,1](λ∈(0.5,1))的无穷值语义模型,研究了它的性质,证明了中介命题逻辑在该模型下也具有可靠性与完备性。新模型的存在进一步表明,认定中介逻辑是一种三值逻辑的理由是不充分的。新模型不仅反映了中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了基础。  相似文献   

14.
本文从DEB协调控制系统中锅炉主指令信号运算原理入手,对实际运行中影响信号安全运行的主要因素和指令运算限制逻辑的设计情况展开分析,阐述提高指令可靠性的改进对策和加强指令限制逻辑的调试、维护、管理的重要性.  相似文献   

15.
为实现多智能体网络系统的协调控制,设计了一种新型的带有自适应协调器的控制器.基于动态图建立了多智能体网络系统的模型,并考虑了系统的非线性互联和不可避免存在的时变时滞.应用分布式控制策略,设计了自适应参数估计的协调器,用于调节智能体之间的互联强度,使网络达到稳定的预设水平.并基于Lyapunov-Kra-sovskii泛函和自适应动态偏差反馈控制技术,根据拉萨尔不变集原理证明了偏差控制系统的渐近收敛性.这种控制方法,可在系统参数不确定的情况下,同时完成参数估计和协调控制.所设计的控制律和自适应律简单,易于实现,仿真示例验证了所提方法的有效性.  相似文献   

16.
基于Lagrange-Germain弹性薄板理论,采用Hamilton列式求解方法,研究了悬臂板动力学与振动控制问题.确定了平板中纵横振动模式存在的色散关系,给出了问题的解析解.基于乎板振动的构造解,对板条结构的振动实施了主动控制.本文还做了数值仿真,并对结果进行了分析讨论.  相似文献   

17.
基于中介逻辑的模糊知识推理的搜索处理   总被引:4,自引:2,他引:2       下载免费PDF全文
中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识,合理修改与或图,将每一谓词表达式视为状态结点,把逻辑规则集合表示为状态搜索空间。在传统与或图搜索算法的基础上,修改启发函数,将模糊知识的推理问题转化为状态空间中的搜索问题,并给出了一种否定信息的处理方法。  相似文献   

18.
In this paper, the type-2 fuzzy logic system (T2FLS) controller using the feedback error learning (FEL) strategy has been proposed for load frequency control (LFC) in the restructure power system. The original FEL strategy consists of an intelligent feedforward controller (INFC) (i.e. artificial neural network (ANN)) and the conventional feedback controller (CFC). The CFC acting as a general feedback controller to guarantee the stability of the system plays a crucial role in the transient state. The INFC is adopted in forward path to take over the control problem in the steady state. In this work, to improve the performance of the FEL strategy, the T2FLS is adopted instead of ANN in the INFC part due to its ability to model uncertainties, which may exist in the rules and measured data of sensors more effectively. The proposed FEL controller has been compared with a type-1 fuzzy logic system (T1FLS) – based FEL controller and the proportional, integral and derivative (PID) controller to highlight the effectiveness of the proposed method.  相似文献   

19.
ABSTRACT

Unfalsified Adaptive Switching Supervisory Control (UASSC) is a performance-based data-driven methodology to control uncertain systems with the least possible plant assumptions. There are a set of pre-designed controllers in the controller bank, and the goal is to select the best controller at each time instance. The Multi-Model UASSC (MMUASSC) uses the UASSC concept, but it also benefits from a set of pre-specified models in the model bank. This paper introduces a method to improve the performance of the UASSC and MMUASSC by cost function manipulations and fuzzy logic concepts. To achieve this, fuzzy UASSC and fuzzy MMUASSC methods are introduced. In these methods, a time-varying coefficient, which is the output of a fuzzy system, is used along with the conventional cost functions. The input of this fuzzy system is chosen to properly reflect the performance of the corresponding controller in the controller bank. Using this method, the performance of the outside loop controllers is accurately evaluated, and closed-loop stability proof is provided. Also, as the existence of non-minimum phase controllers is problematic, a solution is provided to handle such cases. Finally, simulation results are used to show the effectiveness of the introduced methods.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号