多项式不等式的证明历来是机器自动证明领域里比较难的课题.本文对多项式不等式可读证明的若干技术进行了研究,对其中的差分代换方法进行了若干改进,针对该算法无法在有限时
在世界古代剧场史中,中国传统戏场建筑别具一格,迥异于欧洲古典剧场的形式和布局。明清时期,安徽的戏曲文化非常兴盛,特别是明末清初形成的徽剧更是遍及全国,不少地方剧种受
目的 炎症性肠病 (IBD)的发病机制与T细胞免疫应答过度有关。细胞毒T淋巴细胞相关抗原 4(CTLA 4)主要在已激活的T细胞上表达 ,通过与CD2 8竞争与B7结合 ,抑制T细胞激活 ,维
探讨了汽车双离合器自动变速器的起步控制技术,以提高汽车起步品质和减小起步离合器片的磨损为原则,提出了基于发动机局部恒转速和起步时采用两个离合器同时参与起步过程并最
目的:比较白内障超声乳化联合房角分离术与单纯小梁切除术治疗急性闭角型青光眼合并白内障的临床疗效。方法:选取我院就诊的急性闭角型青光眼合并白内障患者46例60眼,其中行
为研究结合面非线性特性对法兰螺栓连接结构动态性能的影响,基于有限元分析与试验相结合的方法,首先,针对"L"型连接梁建立了完全bonded(绑定)、螺栓位置bonded和全摩擦三种模
<正>信,是深信本来圆满具足的自性。在人生道路上,以至诚心,排除万难,便能让所处之境达到善美的境界。愿,是切愿,发自深心的志愿,立意正向,目标切实,愿望就有实现的可能。行,
目的探讨冠状动脉旁路移植术后神经系统并发症的危险因素。方法回顾性分析280例冠状动脉旁路移植术患者的临床资料。结果主动脉粥样硬化、颈动脉粥样硬化、高龄与冠状动脉旁
从理论分析和模拟计算的角度，定性、定量的分析了柴油机压缩比与其工作参数的关系和对整机性能参数的影响规律。通过分析计算，为柴油机压缩比的合理选择和燃烧系统准确设计提供