讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件,并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件.
<正> 环咽肌失弛缓症临床少见,国内几未见报导。笔者查阅了1956~1984年英、美、日、苏等国的部分主要有关期刊文献,仅得188例曾用环咽肌手术治疗本病的报道。环咽肌失弛缓症首
21世纪后,上海出现了商住混合开发的社区模式,它是一种能激发城市活力、鼓励城市多样性的城市居住模式,但也存在不足之处。以创智坊这一商住混合的居住社区为例,总结商住混合
研究儒家思想对我国数学文化和数学教育的影响,探讨了中、西方数学文化的教育价值.
通过分析图书馆数字化资源的特点和使用方法,提出了基于SOA架构通过桌面技术实施数字化资源统一检索的策略,利用SOA架构实现对各数据库的操作,采用桌面技术来实现对SOA中间件的
通过分析接地种类和接地技术原理,结合工程实际,详细分析了目前变电站工程设计及实际应用中,各种接地技术应用存在的问题及问题产生的原因,论证了正确的接地方法及在工程应用中需
本文采用数值模拟方法,对增压锅炉烟气发生器设计结构方案的燃烧流场进行数值分析,分析内部的流动规律以及原始设计中存在的问题。通过改进烟气发生器的几何结构,得出更加合