共查询到20条相似文献，搜索用时 15 毫秒
1.
于鸿丽 《西安文理学院学报》2010,13(2):16-19
将修正的Kleene逻辑系统中语义HS规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义[α]-HS、[α+]-HS等规则,使得对Hα系统中的广义语义HS规则有了更进一步的认识. 相似文献
2.
研究了多值逻辑系统中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏. 相似文献
3.
于鸿丽 《西安文理学院学报》2007,10(1)
研究了文献[1]中提出的系统Hα的广义重言式理论,利用可达广义重言式的概念给出了F(S)的一个分划,证明了在系统Hα中,只有以下几种不同的广义重言式,即[0]-T(H12),[α2]-T(H12),[(α2) ]-T(H12),[α]-T(H12),[α ]-T(H12),T(H12)(α∈(0,1)) 相似文献
4.
研究赋值格为非线性序,蕴涵算子→取Gaines－Rescher的RGR的一种4值逻辑系统GR14,得到若干结果．特别是,在系统GR14中,α－MP规则都成立（α＞0）;GR14重言式必是GR14-准重言式,GR14-准重言式必是C2-重言式,即一个公式是GR14中的重言式当且仅当它既是I-重言式又是J-重言式,即． 相似文献
5.
6.
介绍了参数K leene系统和参数K leene系统的三-I算法,并将它们在运算方法随参数值的变化进行比较.把K leene系统三-I算法归入到逻辑演算意义下,有助于在系统Kp中研究模糊推理. 相似文献
7.
8.
针对一类具有时变状态时滞和参数不确定性的线性不确定时滞系统,研究了闭环极点具有α-稳定性限制的鲁棒H∞控制器设计问题.对所有容许的不确定,首先给出判断系统鲁棒α-稳定且具有干扰衰减γ的充分条件;而后基于线性矩阵不等式方法,分别提出了状态反馈和动态输出反馈控制器存在的充分条件及相应的控制器设计方法.数值算例验证了所给结果的有效性. 相似文献
9.
从Nα到Bμ空间的复合算子 总被引：1，自引：1，他引：0
介绍解析函数空间H（D）上的两个子空间Nα和Bμ构造Nα中的检测函数,结合解析函数φ：D→D的函数性质,研究了从Nα到Bμ及其子空间Bμ,0刚之间的复合算子的有界性与紧性． 相似文献
10.
吉仙枝 《三门峡职业技术学院学报》2015,(1):140-144
以野生山药为原材料,采用超声波辅助提取α淀粉酶浸提的方法分别研究了超声功率、超声时间、超声温度和α淀粉酶浸提阶段的α淀粉酶用量对野生山药多糖提取效果的影响;并通过正交实验得出超声波协同α淀粉酶提取野生山药多糖的最佳工艺参数。结果表明:各因素对野生山药多糖得率的影响次序为:超声功率>超声时间>超声温度>α淀粉酶用量。最佳参数组合是:固液比1g:50m L,前期超声提取阶段功率1000W,时间选定60min,温度70℃;后期α淀粉酶浸提阶段α淀粉酶用量0.2%,酶促反应体系温度60℃,p H为6.0,浸提时间为30min。按最佳工艺参数提取,野生山药多糖得率为11.5%。 相似文献
11.
定义了多值逻辑系统W中的否定度,利用否定度的定义和R0-代数的性质得出了多值逻辑系统W中否定度的基本性质,讨论了多值逻辑系统W中的否定度理论在模糊推理中的应用. 相似文献
12.
刘长柏 《中学生数理化(高中版)》2008,(2):22-23
同角三角函数的基本关系式主要有：sin^2α＋cos^2α=1,sinα/cosa=tanα.它反映了同一个角的不同,三角函数间的联系．下面就sin^2α＋cos^2α=1概述其常见的运用． 相似文献
13.
梁彪 《中山大学学报论丛》2000,(2)
多值逻辑是一门正在发展中的逻辑分支,无论是多值逻辑的形式系统,还是多值逻辑的语义解释都处于研究之中。本文对罗萨和图尔克特对卢卡西维茨多值逻辑的改进做综述性的介绍,通过比较的方式,说明罗萨和图尔克特的否定跟卢卡西维茨的否定之间的特点与作用,罗萨和图尔克特的公理系统与华兹堡的三值逻辑公理系统之间的同异与优劣。 相似文献
14.
15.
为进一步研究延长因子-1（elongationfactor-1α,E-1α）在调控心脏发育和果蝇心脏功能中发挥的作用,制备延长因子-1的抗体．利用生物信息学选择果蝇EF-1α基因抗原亲水区,并设计出特异性引物,PCR扩增出的片段克隆到原核表达pET-28a载体中,转入E．coli中后通过IPTG诱导融合蛋白表达,将His—EF-1α融合蛋白免疫新西兰大白兔制备多克隆抗体,再用WesternBlot检测抗体的效价和特异性．研究结果表明,获得了EF-1α原核表达重组融合蛋白以及高效价的、特异性兔抗EF-1α多克隆抗体．EF-1α多克隆抗体的效价可以达到1比1500,并且有很强的特异性,为后续研究EF-1α基因在心脏发育和心脏功能中的作用奠定了基础． 相似文献
16.
以L－Fuzzy拓扑空间中的α-网的θ-收敛为工具，引进并研究了L-FuzzyH-闭空间，推广了分明拓扑中的H—闭性的某些重要结论，得到了若干有用的结果．是文[2]的继续和深入． 相似文献
17.
通过构造一个特殊的锥,利用锥拉伸与压缩不动点定理对-α凹算予（α〉0）正不动点的存在性做了研究,并将结果应用到超线性Hammerstein积分方程． 相似文献
18.
利用α-羟基氧化铁(α-FeOOH)与H2O2组成的非均相Fenton体系(α-FeOOH/H2O2体系)对活性艳蓝(KN-R)进行脱色,利用X射线粉末衍射对羟基氧化铁进行表征.结果表明:当pH =7,反应温度为50℃,反应时间30 min,α-FeOOH的质量浓度为1.2 g/L,H2O2浓度为40 mmol/L以及KN-R的质量浓度25 mg/L时,α-FeOOH/H2 O2体系对KN-R的脱色率可达98.04％.机理研究表明:当溶液pH值小于α-FeOOH的等电荷点时,α-FeOOH表面带正电荷,与带负电荷的KN-R之间相互吸引,并在α-FeOOH表面与产生的羟基自由基发生反应.同时部分羟基氧化铁发生溶解,溶解的二价铁离子与H2O2形成Fenton体系;当溶液pH值大于α-FeOOH的等电荷点时,α-FeOOH带负电荷,KN-R因静电力被排斥,从而导致了KN-R脱色率的降低. 相似文献
19.
经典命题演算的多值模型 总被引：1，自引：0，他引：1
曹飞 《华东师范大学学报(哲学社会科学版)》1999,(1)
自Ｌｕｋａｓｉｅｗｉｃｚ创立多值逻辑以来,人们普遍认为经典命题演算只是二值逻辑系统。然而,这种观点实际上并不成立。本文用集合概念对逻辑学的基本概念“真值”作了精确定义,并以此区分了真值与真的概率,由此给出了经典命题演算的一般真值模型、有穷多值模型及无穷多值模型,并具体证明了可靠性定理和完全性定理,从理论上说明了经典命题演算不仅存在二值逻辑系统,而且存在多值逻辑系统,不仅存在有穷多值逻辑系统,而且存在无穷多值逻辑系统。 相似文献
20.
本文对交叉余积的特例—扭余积Cα（H）进行了讨论,得到了当H是弱Hopf代数,扭余积Cα（H）是弱双代数的充要条件,并进一步给出了弱双代数Cα（H）是弱Hopf代数的充分条件。 相似文献