共查询到19条相似文献,搜索用时 93 毫秒
1.
对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果. 相似文献
2.
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.
10.
11.
对模糊命题演算的形式演绎系统中的公理L10:(A→B)V((A→B)→A∨B)进行了较为深刻的研究,一方面应用L10讨论了£~*系统与Lukasiewicz系统,Godel系统的相互独立性,说明L10是£~*系统区别于其它模糊命题演算的形式演译系统的特征标志,另一方面应用L10证明了£~*系统中的条件演绎定理,给出了L10在£~*中的一个重要应用。 相似文献
12.
彩色印刷图像平面呈色模型的验证与应用研究 总被引:4,自引:1,他引:3
介绍彩色印刷网点图像平面呈色模型的基本内容,用FORGA及笔者自测的数据,采用回归及曲线拟合算法,建立IT8.7/3标准色谱中三色胶印色块的平面方程,列出具体的平面方程系数和曲线系数,并做了详细的误差分析,验证了平面模型的正确性,并对此呈色模型的进一步研究与应用前景做了初步探索. 相似文献
13.
14.
N. Saysset N. Labat A. Touboul Y. Danto J. M. Dumas 《Quality and Reliability Engineering International》1996,12(4):309-315
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.
《Drug development and industrial pharmacy》2013,39(13):2091-2107
AbstractSheabutter 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.
Georg Zimmerer 《Journal of Low Temperature Physics》1998,111(3-4):629-644
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. 相似文献