研究了命题演算系统f中一类特殊理论——Boole型理论的内部结构．从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件．利用Boole型理论在全体公式集F（S）中引入了
研究了C^n中单位球上混和赋范空间中一个Bergman型算子的有界性，得到了：（1）若T是Lp.q(Φ）上的有界算子，则m≥-b,(2)若t>b>a>-m，则T是Lp.q(Φ）上的有界算子。
1956年4月10～19日，全国机械工业先进生产者会议在北京召开，这是新中国机械工业史上的一件大事，当时称之为“中国机械工业历史上规模最大的一次交流先进经验的会议”（1956年4月11日
提出了对偶quantale的概念，研究了对偶quantale的性 质及其构造．利用quantale上的nucleus与余nucleus算子，给出了任一quantale的对偶quan tale商的完全构造及quantale上的开模态
<正> 文章概述了解放后中国轧钢技术的发展历程,对2000年中国轧钢技术的发展进行了探讨,指出今后发展要点是:充分发挥现有轧机潜力,推进技术改造,以适应扩大钢材品种、提高质
三、EGB应用1．同步格式同步格式具体如附表所示。
从施密特正交化出发，得到了：（１）可逆矩阵的ＱＲ分解定理；（２）经过矩阵的初等变换可将Ｒｎ的一个基标准正交化．并从这两个结论中得到向量组正交化的一种简便方法和矩阵ＱＲ分解的一种方法
目的：了解某高校离退休干部的药物使用情况以及对药物不良反应,尤其是抗菌药物不良反应的认知度,为药物的合理使用提供参考。方法：自行设计调查问卷,进行现场问卷调查。结果：共
采用分子动力学模拟和MM-PBSA相结合方法计算了HIV蛋白酶和抑制剂的结合自由能．并且运用能量分解方法考察了蛋白酶主要残基与抑制剂之间的相互作用．在MM—PBSA中，体系的焓通过分
中枢神经系统损伤以及退行性疾病的病理过程复杂多样,但均伴有不同程度的星形胶质细胞氧化应激.在各种不同神经疾病的病理过程中,活性氧(ROS)生产过剩是星形胶质细胞活化的一个重要的潜在因素.各种内源性及外源性因素可直接或间接地通过NADPH氧化酶刺激ROS的产生,ROS激活MAPK家族,通过NF-κB使sPLA2的表达增加.近年来研究发现,多酚化合物白藜芦醇(RES)具有抗氧化、抗炎、抗细胞增殖等多种