论文部分内容阅读
给出了BCK-代数的两种扩张的方法。
BCK—代数的两种扩张
【摘 要】
：
给出了BCK-代数的两种扩张的方法。
【机 构】
：
西北师范大学数学系
【出 处】
：
西北师范大学学报：自然科学版
【发表日期】
：
1991年3期
其他文献
目的探讨异位脑膜瘤的临床病理特征、影像学特征、诊断及鉴别诊断、治疗及预后。方法回顾性分析中文文献报道的150例及该院确诊1例异位脑膜瘤,共151例。结果151例中男性68例,
摘要：针对目前研究生培养质量的现状，深入分析了工科硕士研究生实践、工程能力培养方面存在的问题，结合我校研究生培养的特点，提出了提高工科硕士研究生实践能力的具体措施，以期为我国工科硕士研究生的教育培养提供参考。 关键词：硕士研究生；工程能力；实践环节；科研能力 中图分类号：G643 文献标志码：A 文章编号：1674-9324（2015）26-0137-03 引言： 目前国内研究生的教育普遍
目的探究喜炎平与双歧杆菌、利巴韦林治疗小儿病毒腹泻的临床疗效。方法选取120例小儿病毒腹泻患儿,按照患儿的入院顺序将其均分为对照组和观察组（n=60）。对照组进行补液以及利
针对目前城市道路平面信号控制交叉口的交通拥挤问题,提出了交通组织与管理的优化设计方法及相应的评价方法,同时还建立了信控交叉口的通行能力和延误计算模型。
美国水下无人系统发展处于世界领先水平,跟踪和了解其现状和发展趋势具有非常重要的意义。介绍了美国若干个水下无人系统的发展规划内容,描述了美军典型的水下无人系统的主要
本文详细地介绍了美国海军武器性能、战备状态评估的四个方面,并对其基本构成、组织结构和运作模式精细地进行阐述和分析,形成一个完整的评估系统,最大限度地对军械装备的战
<正>皮肤病是临床中常见的一种疾病。导师孙玉信教授根据多年临床经验,针对皮肤病中内有湿热,外兼表邪一证进行辨证论治,运用麻黄连翘赤小豆汤治疗湿疹性牛皮癣验案1则,取得
在乙醇-水体系中用淀粉改性AM-DMDAAC阳离子絮凝剂,研究单体质量比、淀粉与单体质量比、引发剂用量和引发剂种类对聚合物性能的影响.结果表明AM∶DMDAAC=5∶1,AM∶淀粉=2∶1,
采用适合于非批量生产的二轴数控加工方案,基于球头铣刀虚拟制造的通用数学模型,结合具体的圆锥球头铣刀给出了应用实例.通过实例模拟计算,求出了圆锥球头铣刀刃口曲线方程、
收集514个对日软件服务外包企业招聘职位数据,分析对日软件服务外包人才的需求特质以及需求结构.将人才分为高中低三个层次,企业对这三个层次人才的需求比例为22.49%、58.03%