欧洲模糊逻辑标准化动向

欧洲模糊逻辑标准化动向居绍一编译１９９０年初，由于应用模糊逻辑的许多日本产品涌入欧洲市场，使得沉静了多年的模糊逻辑控制技术又引起了欧洲各国工程技术界的广泛注意。到１９９４年５月，欧洲已有６８４个项目成功地应用了模糊逻辑技术。这些应用项目证明了模糊技术...     

数字式液压逻辑流量阀的设计

数字工流量阀采用数字控制方式，调节系统流量以达到液压系统调整目的，它本身具有控制响应快、精度高、稳定性好、适应范围大等优点，在行走机械上将会得到广泛地应用。     

容纳矛盾逻辑系统与悖论

分析了目前各种容纳矛盾逻辑系统的不足,提出了正域、反域、不动域的概念,进而发现悖论是逻辑思维领域的不动点,建立了一个容纳矛盾的逻辑系统S,并给出了系统S的语义模型,证明了系统S的元定理.在系统S中,命题演算被分成3个独立的域,正域、反域中所有经典逻辑的定理与演算模式都是有效的;不动域是一个包含矛盾的域,在不动域中,可以证明悖论是一个定理.系统S与Da Costa的次协调逻辑系统Cn相比较,它不但可以容纳矛盾,并且可以把矛盾解释清晰.以此逻辑系统为基础,可以建立一个容纳矛盾的数学基础.     

基于EDA技术的数字系统设计

EDA是现代电子数字系统设计的核心技术,其基于电子芯片设计自动化特征,可实现电路数字逻辑系统设计,简化电路硬件设计的结构,提高数字系统可靠性和灵活性。对EDA技术的特征进行分析,介绍EDA设计工具及技术要点,以基于EDA技术的数字系统实例分析为基础介绍EDA技术在数字系统设计中的具体应用,证明EDA技术在电子设计和数字逻辑系统设计中的实用性。     

不确定非线性系统的模糊鲁棒??∞ 跟踪控制

针对一类不确定非线性系统,提出一种新的模糊鲁棒H∞跟踪控制方案。应用模糊T-S模型表征非线性系统,系统不确定性通过模糊逻辑系统消除。由线性矩阵不等式和自适应律给出了模糊控制器存在的一个充分条件。基于Lyapunov稳定性理论,模糊控制方案在所有闭环信号最终一致有界下保证了期望的H∞跟踪性能。两连杆机械臂的仿真结果表明了该方案的可行性。     

Observer-based adaptive fuzzy control for a class of nonlinear time-delay systems

An observer-based adaptive fuzzy control is presented for a class of nonlinear systems with unknown time delays. The state observer is first designed, and then the controller is designed via the adaptive fuzzy control method based on the observed states. Both the designed observer and controller are independent of time delays. Using an appropriate Lyapunov-Krasovskii functional, the uncertainty of the unknown time delay is compensated, and then the fuzzy logic system in Mamdani type is utilized to approximate the unknown nonlinear functions. Based on the Lyapunov stability theory, the constructed observer-based controller and the closed-loop system are proved to be asymptotically stable. The designed control law is independent of the time delays and has a simple form with only one adaptive parameter vector, which is to be updated on-line. Simulation results are presented to demonstrate the effectiveness of the proposed approach.     

逻辑系统Gn中理论的真度概念及其应用

首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统G_n中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。     

逻辑系统Hα中广义语义MP规则证明的改进

将修正的Kleene逻辑系统中语义MP规则推广后应用于H_α逻辑系统中,讨论了H_α逻辑系统中广义重言式理论的语义（[α]-MP）规则,语义（[α⁺]-MP）规则,使得对H_α系统中的广义语义MP规则有了更进一步的认识。另外,逻辑系统W中的广义语义MP规则也成为一个特例。     

逻辑系统Gdel,Luk,L*中命题真度值的分布

分别研究了Gdel,Luk,L*逻辑系统中公式的真度的分布情况,得到了公式的真度集均为[0,1]∩Q的重要结论。