碳源对MoO_3/Al_2O_3碳化过程的影响

利用几种常见的液态烃作为碳源对MoO3/Al2O3进行了程序升温碳化(TPC),通过在线质谱(MS)的跟踪分析以及对所得催化剂的XRD表征,研究了这些烃在TPC过程中对MoO3/Al2O3物相转变的影响以及这些烃在不断转化催化剂表面的化学行为.结果显示在不同温度范围内这些烃具有不同的碳化活性,对MoO3/Al2O3的完全碳化来说,正己烷表现出了最好的活性.TPC-MS的分析结果也见证了MoO3/Al2O3碳化时的中间物相及其对链烃的脱氢芳构化作用,这对于不同用途的钼基碳化物催化剂制备时合适碳源的选择极具参考意义.     

可加性模糊系统(AFS)权系数W的最小二乘估计

本文对模糊规则的前件进行非模糊化,从而给出了被广泛应用于现代控制理论中的可加性模糊系统（ＡＦＳ）权系数Ｗ 的最小二乘估计。     

G—R型模糊命题逻辑系统完备的一个充分必要条件

引入基模糊公式的概念,在Gaines-Rescher蕴函算子下,给出模糊命题逻辑系统完备的一个充分必要条件。     

银行信息化的标志及关键技术

论述了银行信息化的主要标志及若干关键技术。     

负载型碳氧化钼催化剂的制备及其二苯并噻吩的HDS活性

通过XRD物相分析和利用小型在线质谱仪,对负载的或体相的氧化钼利用正己烷作为碳源,进行程序升温碳化考察,对所制备的负载型催化剂进行了二苯并噻吩（DBT）加氢脱硫（HDS）活性评价。实验发现,与采用甲烷相比,采用正己烷作为碳源进行碳化可以适当降低碳化所需要的温度,但对于HDS反应来说,并不是碳化越完全催化效果越好。对30%MoO3/γ-Al2O3进行碳化时,碳化原料组成为正己烷/氢气＝0.025（摩尔比）,在620℃碳化1ｈ所得催化剂具有比较好的DBT HDS活性。讨论了制备因素对HDS活性的影响。     

亚模糊命题与重言式

引入了亚模糊命题的概念。在Gaines-Rescher的蕴涵算子下,证明了简单亚析取式A是重言式的必要条件为A包含环公式为其子公式。     

Lukasiewicz多值逻辑系统中的广义重言式理论

引入一类特殊的公式序列Ａｋ,ｋ＝１,２,…,证明了在Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统,对任意真值ａ∈Ｌｎ而言,可达ａ－重言式类类不空,进一步证明了系统中广义重言式的类类互异定理,最后讨论了Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统与经典二值逻辑系统中重言式之间的关系。     

论域为区间[0,1]上的三角形模糊数的比较

利用包含度(小于度)理论,建立了一个全新的模糊数之间的关系,即,“β-小于等于”关系。研究了其相关性质,并且在此基础上讨论了论域为区间[0,1]上的三角形模糊数的比较。最后利用β-小于等于关系给出了模糊线性规划问题的一种新解法。     

无线网络下的便携式维修辅助终端设计研究

本文将重点研究无线网络下便携式维修辅助终端设计的完善,通过引入万用表、网络摄像机和移动数据库等模块使得整个运维系统更为安全和高效,以期通过下文对终端设计的阐释为其他设计者提供参考,从而在技术革新和广泛应用的背景下,实现信息化、智能化的应用效果。