带中西文量纲演算与转换的符号演算系统

本文介绍作者在自己研制的一个集成化支撑环境支持下，采用公理化方法所开发出的又一个应用系统。在这个系统中，除了可以把古今外多种单位制转换为SI制，可以作多种单位间的量纲转换外，还可以对带中西文量钠的广义表达式作符号演算和数值计算，这是目前其他中外系统暂时都无法实现的功能。这个系统已集成到《推理与计算混合软件包》中。     

W-HMS催化剂的制备及评价

采用原位合成法将W6+引入六方介孔全硅分子筛(HM S)骨架中,制备了应用于环戊烯催化氧化合成戊二醛反应的W-HM S催化剂。实验结果表明:钨酸是制备W-HM S催化剂很好的钨源,以钨酸为原料制备的催化剂具有很高的催化活性和选择性,使溶剂叔丁醇用量大为减少。采用小角度X射线衍射(XRD)、电子能谱扫描(EDS)以及电位滴定法对所制备的催化剂结构进行表征,显示催化性能与W含量密切相关。在nS i∶nW≥30时,催化剂能保持完好的HM S分子筛结构,W原子以嵌入HM S骨架的形式高度分散于载体内表面,构成催化活性中心。在优化的反应条件下,环戊烯氧化反应转化率达到100%,生成戊二醛的收率达到79.3%,而且催化剂具有连续套用7次的良好稳定性。     

SO2-4/TiO2固体超强酸催化合成乙酸异戊酯的研究

研究以SO2-4/TiO2固体超强酸为催化剂合成乙酸异戊酯,并考察影响酯化反应的因素,讨论催化剂的重复使用性能.实验结果表明,最佳反应条件是酸醇物质的量比为12.0,催化剂用量为1.5g,反应时间为1.5h,催化剂的最佳焙烧温度为500℃.催化剂的催化活性高,可重复使用,在最佳反应条件下,乙酸的酯化率为96.7%,产品收率为90.3%.     

美国民族理论考释

美国的民族理论包括“盎格鲁遵从”理论、“熔炉”理论及“文化多元”理论等。对于它们的了解有助于我们理解和解释日渐复杂的美国族裔集团之间的关系及族裔集团在美国的认同与同化的进程     

中国-东盟博览会境外客商办证系统的设计与应用

从境外客商办证工作范围、网上办证、宾馆境外客商分布办证、现场办证等方面,介绍了中国-东盟博览会的境外客商办证系统的设计与应用情况.     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

小碳团族链状结构的紧束缚理论方法

本文作者利用紧束缚分子动力学模拟退火方法研究了小碳团族(Cn(n=2-5))的链状结构性质和能 量,通过与前人工作结果(C2-C5)的比较,发现本理论方法的结果相当精确地再现了Abinitio方法计算的结论。 因此,证明了紧束缚方法对于碳团族研究的可行性。     

论列维-斯特劳斯与马克思的理论联系

列维 -斯特劳斯是现代人文学科中影响重大而深远的理论家 ,他与马克思的关系是众所周知并且是一个颇有争议的问题。从整体上看 ,他与马克思的关系至少包括两个方面 :一是他对马克思自我意识的消化与认同 ,二是别人对他与马克思关系的认识与批判     

资源有限条件下的商业银行多点布局的优选方法

对于资源限制条件下商业银行多点布局优选方法.西方工程经济学的传统解法与日本学者提出的双向排序均衡法各有各的优缺点,其对大部分的多方案优选问题都给以了很好的解决,但也存在着一些不足.本文提出采用0-1整数规划模型来解决资源限制条件下的商业银行多点布局优选评价,并用WinQSB软件求解取得了良好的效果.     

界面构象对共聚物-(PPP)_m-(PT)_n-光学性质的影响

采用半经验的AM1方法研究了共聚物-(PPP)m-(PT)n-中性态和带电态的稳定构型,中性态下界面处的扭转角为25°时构型最稳定,带电态下界面处的扭转角为0°时构型最稳定.在AM1优化的基础上采用ZINDO方法研究共聚物界面处构象的改变对其光吸收性质的影响,计算发现共聚物-(PPP)m-(PT)n-的电子光吸收谱将依赖于界面处扭转角的变化,扭转角从0°到90°变化时,中性态下第一、二、三激发跃迁能随扭转角的增加而增加,而且随分子链长的变短和含苯环比例的增大,此种变化趋势越显著;在掺杂两个电荷的情况下,第一、二、三激发跃迁能随扭转角的增加而减小.