一个适于更新语义的涉景条件句逻辑

传统条件句逻辑研究的条件句没有明显提述条件句的背景.本文提出了一种明显提述背景的条件句逻辑BCS,并证明了该系统相对于Veltman提出的更新语义的模型可靠性和模型完全性.     

治疗肝豆状核变性继发上消化道出血1例报告

肝豆状核变性又称Wilson病,临床上继发消化道出血的病例少见,该文报告了治疗该病的实例.     

厚煤层反复损伤的大巷矿压规律及支护研究

通过对王洼煤矿1380大巷受工作面反复损伤影响的软岩巷道现场矿压观测的分析和数值模拟计算，提出了软岩巷道相应的支护对策。     

西部高校基于WEB2．0数字化学习中心的构建探索

当今世界数字化学习浪潮席卷全球，西部高校的数字化建设过程中还存在的一定的问题。本文在分析西部高校数字化学习中普遍存在的问题的基础上，结合高等院校的实际应用情况以及WEB2．0技术在数字化学习中的应用，对适合西部高校的数字化学习中心的构建进行了探索。     

定子片模具的设计及工艺改进

介绍了电机定子冲片模具的结构设计思路及主要模具零件-阴模、阴阳模在设计和制造中应考虑的要点,如模具间隙的选择、通过热处理减少应力的影响等,探讨提高复合模具设计质量的方法及工艺保证措施。     

二氧化硅表面的铝修饰

本文研究了二氧化硅(硅胶)的铝修饰。用XPS(光电子能谱)、IR(红外光谱)、MASNMR(魔角核磁共振)以及正十六烷裂解和正丁醇脱水反应表征了铝修饰后的样品。实验证明,二氧化硅(硅胶)经铝修饰后,可以产生Brǒnsted和Lewis酸性,并对正十六烷裂解和正丁醇脱水反应有催化活性。     

中原新城一颗璀灿的明珠——访河南省巩义市机械制造公司总经理杨全中

<正> 1992年,在中原新城上空升起一颗璀灿的明珠,这颗明珠就是河南省巩义市机械制造公司,而公司总经理是一位搞了二十年机械行业领导、在巩义颇有名气的企业家杨全中同志。 1992年,该公司刚刚创办,一举投资1000万元,购一流的设备、盖一流的厂房、进一流的人才、实一流的管理,当年实现产值、利税居巩义市机械行业之冠;该公司被评为守信誉先进企业;全市行业检测第一名;总经理杨全中被评为河南省优秀青年企业家……。日前,记者慕名采访了创办领导巩义市机械制造公司的总经理杨全中同志。     

竹红菌甲素光敏氧化吲(口乃木)反应的研究

吲哚类化合物的光敏氧化分解作为生物体内加单氧酶(monoxygenase)和加双氧酶(dioxygenase)催化降解色氨酸的代谢模型反应引起了人们的极大兴趣。人们对取代吲哚(特别是3-取代吲哚)进行了广泛的研究。竹红菌甲素(以下简称HA,结构如图1)是从竹红     

似曾相识的BOT

如果您对经济问题感兴趣,或许会知道“BOT”这个词。BOT 是“Build—Oper—ate—Transfer”三个英文单词第一个字母的合成,意思是“建设—经营—转让”。它表示一种特定的投资和建设方式,即政府给予私营企业特许权,私营企业自己融资、投资、建设某项基础设施,如电厂、供排水系统、隧道、桥梁、收费公路等,建成后经营一段时期,最后将设施的所有权和经营权转让给政府部门或其他公共机构。这种方式有时也被称为“公共工程特许权”方式,当前在国际上较为流行。