首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 93 毫秒
1.
对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果.  相似文献   

2.
扰动模糊逻辑I2的最大子代数及其广义重言式   总被引:9,自引:0,他引:9  
陈图云  韩莹  廖士中 《工程数学学报》2003,20(2):118-120,91
运用R0-蕴涵算子,找到扰动模糊命题逻辑I^2的一个最大子代数IR,进而将逻辑系统否中的广义重言式理论推广到IR中,得到类似的结果。由此说明关于一维赋值格的结果需要加一定的限制条件才能推广到二维赋值格上去。  相似文献   

3.
通过对模糊命题演算的形式演绎系统L^*及修正的Kleene逻辑系统^-W,W,Wκ的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了,广义语义HS规则和广义语义MP规则,为进一步对修证的Kleene逻辑系统的研究提供一个有益的工具。  相似文献   

4.
为了合理进行船舶风险评估,提出了一种基于模糊逻辑系统的船舶风险评估方法.根据模糊逻辑系统的基本原理,建立了船舶风险评估的模糊逻辑模型;按照国家标准、规范,并结合经验建立了风险指标的模糊集合、风险矩阵厦模糊规则,然后进行了模糊推理,得到了系统的风险等级,并制定了预防风险的措施.以某艇消防系统的风险评估为例,证明了其能够合理地评估出系统的风险,可为决策提供参考,  相似文献   

5.
为了提高刚性机械臂轨迹跟踪控制的精度,本文在分析RBF神经网络与模糊逻辑系统的函数等价性基础上,提出了一种基于T-S型模糊推理方法的RBF模糊神经网络,设计出基于RBF模糊神经网络的工业机器人控制器.研究发现,与普通的模糊神经网络相比,该网络结构简单,层数少,训练速度快,能自动寻优,通过在线调整网络隶属函数的中心值和宽度,优化了模糊规则,实现了对非线性系统的高精度轨迹跟踪控制,而且表现出有效性和鲁棒性.  相似文献   

6.
对传统的一阶逻辑进行了扩张,建立了一个模糊逻辑系统,使之有表达和处理模糊现象的能力,在这个形式系统中,模糊命题的表示通过在模糊谓词符号中添加模糊词、程度词和特征词来实现,因此,模糊命题不涉及隶属函数。此系统在本文中已安全形式化。  相似文献   

7.
为了研究半主动空气悬架系统对车辆行驶性能的影响,提出基于半主动空气悬架的模糊滑模backstepping控制。建立1/4二自由度半主动空气悬架动力学模型,用模糊逻辑系统逼近未知函数,解决了阻尼系数不易测的问题。该方法设计的控制器能够适应因车辆行驶状态或者环境发生改变而引起的系统参数在一定范围内的变化。仿真结果表明,与被动悬架相比,模糊滑模backstepping控制器对于提高半主动空气悬架系统减振效果更加明显。  相似文献   

8.
针对单输入单输出的非线性时延系统,本文考虑了其自适应模糊跟踪控制问题。构建了一种自适应时延模糊逻辑系统用来逼近未知时延函数;设计了补偿器来抵消模糊逼近误差和外部扰动。根据跟踪误差给出了参数调节规律。构造了包含时延的李亚普诺夫函数,从而证明了误差闭环系统满足期望的跟踪性能。仿真结果表明了该方案的可行性。  相似文献   

9.
R0代数的对偶代数   总被引:6,自引:0,他引:6  
对于R0代数,给出了它的一个等价形式,并建立了它的对偶代数,从此刻划了R0代数内部结构的特征,也为从语义的角度进一步研究模糊逻辑系统提供了一个新的途径。  相似文献   

10.
针对带有未知控制方向、未知非线性函数以及执行器故障的不确定非线性系统,研究了相应的模糊自适应事件触发容错控制问题。首先,运用反步法和模糊逻辑系统 (FLS) 理论知识相结合,构造出自适应事件触发容错控制器和自适应更新律,有效地补偿了执行器故障对系统的影响。其次,在自适应事件触发容错控制器的设计中引入了 Nussbaum 函数。最后,所设计的控制方案保证了闭环信号在给定紧集内一致最终有界,且仿真结果验证了本文所提出的控制方案的有效性。  相似文献   

11.
对模糊命题演算的形式演绎系统中的公理L10:(A→B)V((A→B)→A∨B)进行了较为深刻的研究,一方面应用L10讨论了£~*系统与Lukasiewicz系统,Godel系统的相互独立性,说明L10是£~*系统区别于其它模糊命题演算的形式演译系统的特征标志,另一方面应用L10证明了£~*系统中的条件演绎定理,给出了L10在£~*中的一个重要应用。  相似文献   

12.
彩色印刷图像平面呈色模型的验证与应用研究   总被引:4,自引:1,他引:3  
徐敏  徐锦林 《包装工程》2004,25(2):34-35,38
介绍彩色印刷网点图像平面呈色模型的基本内容,用FORGA及笔者自测的数据,采用回归及曲线拟合算法,建立IT8.7/3标准色谱中三色胶印色块的平面方程,列出具体的平面方程系数和曲线系数,并做了详细的误差分析,验证了平面模型的正确性,并对此呈色模型的进一步研究与应用前景做了初步探索.  相似文献   

13.
浸渍-煅烧法合成棒状α-MnO_2及其电化学电容器性能   总被引:2,自引:0,他引:2  
以可再生、廉价、天然多孔的锯末和锰源化合物为主要原料,采用浸渍-煅烧法成功地合成了棒状α-MnO2。借助X-射线衍射(XRD)、透射电镜(TEM)、循环伏安以及恒流充放电等测试技术对产物性能进行了系统表征,测试结果表明所得样品为棒状α-MnO2,在1 mol.L-1Na2SO4电解液中,显示出一定的电容特性。  相似文献   

14.
This paper describes how in order to evaluate and compare the quality, in terms of trapping mechanisms, of conventional and pseudomorphic HEMTs (S-HEMTs and PM-HEMTs, respectively), isothermal drain current transients and G-R noise analysis have been investigated. The influence of HEMT epitaxial structures, growth techniques (MBE or MOCVD) and surface treatments on electrical performances are then discussed. Finally, the experimental data demonstrates the complementarity of these two techniques.  相似文献   

15.
<正> The fast atom bobardment mass spectra of phenolate-bridged N_8O_3 Schiff-2base cryptands derived from tris (2-aminoethyl) amine (tren) with 2, 6-dlformyl-4-R-phenol (Cryptand H_3L~1, R=OMe) H_3L~3, Br, and H_3L~4, Ph) in the presence of NaOH or KON in methanol at ambient temperature was investigaed and compared with IR, UV-Vis, ~1H and ~(13)H NMR. The characteristic spectra of the cryptates posseessing different proton form cryptands were discussed.  相似文献   

16.
Abstract

Sheabutter is an abundant raw material in certain West African countries, but its low melting point for a tropical climate and the variability of its chemical composition, due to its extraction method, limit its use.

However this work has permitted to realize lipophile bases from sheabutter, with satisfactory pharmacotechnical characteristics (melting point, consistence, heat stability) according to the following procedure

_ Comparison of Burkina Faso sheabutter(BB) physicochemical properties with those of a purified sheabutter, Cetiol SB 45* (CT).

_ Formulation and control of lipophilic ointments

_ Evaluation of griseofulvin availability, widely used in Burkina Faso. from different formulations.

The appropriate choice of auxiliary substances has allowed to obtain a dermatological formulation having a suitable consistence, a proper heat stability and a satisfactory activity release in comparison with reference formulation.  相似文献   

17.
The dynamics of valence excitations of rare gas solids were studied with time–and spectrally resolved luminescence experiments. From the decay curves of the free–exciton luminescence in solid X e , information concerning exciton transport and electron–hole recombination was deduced. The peculiar role of excitons stimulating the luminescence of surface centers and of desorption phenomena was analysed in a simple model system (Kr doped solid Ar). From a time–resolved analysis of the luminescence of surface centers, thermally activated lateral diffusion of Kr* metastables on the surface of the Ar host was established.  相似文献   

18.
本文采用微分脉冲极谱法于浓度为0.5mol·L~(-1)的KCl底液,5.84×10~(-4)mol·L~(-1)的柠檬酸标准液,pH为5.65,CdCO_3粉末加入量为0.2g,通N_27min的条件下测定饮料中的总酸量。本法的线性方程为y=9.0288x+0.4192,线性浓度范围1.2×10~(-5)~8.4×10~(-5)mol/L,相关系数R=0.9995,标准偏差为0.142,测定结果与中和滴定法和电位滴定法对比,表明微分脉冲极谱法可以简单、快速、准确测定饮料中的总酸量。  相似文献   

19.
We considerk(k)≥2 independent populations (treatments or systems) and an solutely continuous member of location-scale family of distributions, index by the location parameter μ i (-∞ < μ i < ∞) and scale parameter θ i i > 0), is used to model the observations from the ith population,i=1,...k. The problem of simultaneous selection of two subsets, one containing population associated with the smallest ϕ-value and other containing population with the largest ϕ-value with probability at least a pre-specified value is considered when the data are censored. We also construct 100P *% simultaneous upper and two-sided confidence intervals for where θ[1] ≤ ... ≤ θ[k] denotes the ordered values of ϕs. The proposed procedures, based on sample quasi ranges, are useful when the experimenter has smaller samples or censored samples or there is suspicion of outliers in the samples. The results are applied to exponential populations model and, for thes casi: (i) the constants have been computed to apply the proposed multiple comparisons; (ii) two members of the proposed class have been compared with the existing procedure. A numerical example is also given.  相似文献   

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

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