论文部分内容阅读
根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征,将基础逻辑系统BL中的部分公理代数化,建立一种新的代数结构QBL-代数,并证明了QBL-代数与BL-代数的等价性,以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.
QBL-代数及其与BL-代数的等价性
【摘 要】
：
根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征,将基础逻辑系统BL中的部分公理代数化,建立一种新的代数结构QBL-代数,并证明了QBL-代数与BL-代数的等价性,以两
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
吉林大学学报：理学版
【发表日期】
：
2011年1期
【基金项目】
：
国家自然科学基金（批准号：10871121）
其他文献
传统最小二乘支持向量机（LSSVM）一般通过随机选择部分样本得到核矩阵的低秩近似提高解的稀疏性,为了使该近似分解用尽可能小的低秩矩阵更好地近似原核矩阵,提出一种基于正交三
通过引入双边群Smash余积的概念,给出了双边群Smash余积成为Hopf群余代数的充要条件,并利用群余代数中积分理论讨论了双边群Smash余积的半单性.
在对城市道路网进行网格划分的基础上,提出一种利用参考历史数据和前瞻数据的三段式匹配思想与权重模型思想相融合的地图匹配算法.该算法可减少浮动车GPS定位点待匹配路段的搜索范围,从而极大降低算法的复杂度,实现较高的匹配精度.
针对非理想情况下虹膜图像定位失败的问题,提出一种新的虹膜定位算法.该算法先使用基于极坐标特征的改进模糊C-均值算法对虹膜外圆半径进行粗定位,再采用圆周差分法对外圆参数进行准确计算.该算法通过使用极坐标作为聚类特征及放宽模糊聚类的聚类条件,提高了虹膜定位算法的鲁棒性.实验结果表明,该方法有效提高了非理想情况下虹膜图像的定位精度.
利用线性矩阵不等式（LMI）研究一类不确定离散广义系统的鲁棒H2/H∞优化控制问题.对系统所有允许的不确定参数,提出了满足鲁棒H2/H∞混合性能的一个充分条件,以设计状态反馈控制
患者女,28岁.因停经3月余出现下腹不适数天到外院行B超检查,超声诊断:宫内孕合并宫外孕.第二天来我院妇科就诊,未做妇检,直接做B超检查,超声所见(如图):子宫前位,饱满,宫腔内
研究紫花苜蓿东苜1号幼苗在乙酸钙镁盐(CMA)胁迫、人工模拟冻融胁迫(10,5,0,-3,0,5,10℃)及冻融与CMA复合胁迫下的叶片相对含水量(RWC)、净光合速率(A)、蒸腾速率(E)和水分利