大孔磺酸树脂负载FeCl3固体超强酸催化剂的制备

以D72磺酸型树脂及无水FeCl3为原料,采用液固法进行络合反应制备了树脂负载FeCl3型固体酸催化剂.对影响络合反应的树脂型号、溶剂选择、反应时间及树脂干燥程度等多种因素进行了研究.结果表明,以乙醇为溶剂,反应温度78.3℃,干燥时间30h,反应时间7h,D72树脂络合铁量可达4.35%,这种催化剂对部分酯化反应具有较好的催化活性.     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于平台的系统级芯片设计方法

介绍了系统设计方法和基于平台的SoC设计，描述了基于模块和系统统的IP复用设计方法，讨论了硬件和软件的协同设计以及系统芯片设计发展中所需要改进的关键问题并展望了未来的研究方向。     

铁素体球墨铸铁损伤力学特性

根据损伤力学的基本原理,利用测量电阻的方法,研究了拉伸受力状态下,铁素体球墨铸铁的损伤力学特性。得出了损伤变量随应力和应变而变化的演变规律。认为球墨铸铁存在损伤阈值,其大小随球化率提高而呈直线增大,但损伤阈值皆小于屈服强度;临界损伤变量与球化率的关系不大,在本试验条件下,约为0.060～0.068。研究结果表明,当应力大于一定程度时,损伤发生,且随应力增加而逐渐增大。     

新型脱除SO2催化剂的研究

采用离子交换法对天然丝光沸石材料进行改性制备，获取高效、廉价且再生性能好的新型S02脱除催化剂，SO2脱除效率提高近1倍，达到89％，具有工业应用价值．并利用FT—IR和XPS及计算机软件CERIUS^2对有关机理进行了研究，确定新型二氧化硫脱除催化剂的作用机理和材料制备工艺．     

乙烯基乙酸酯合成催化剂的有效导热系数和壁给热系数测定

以壁冷式固定床测定了4种相同材质不同几何形状的负载型催化剂的传热参数，建立了二维拟均相模型，并以正交配置法对催化剂床层的径向有效导热系数和壁给热系数进行了求解。比较了催化剂几何形状的不同对于床层传热参数的影响。     

钢铁材料热轧过程组织演化的数学模型研究

材料研究的深入和相关工业的需求 ,推动材料向模型化、定量化的方向发展。模型化和组织演变预测技术是研究钢铁热轧过程预测不同化学成分、不同工艺条件下组织演变规律与性能的投资小、见效快的好方法。本文较系统总结了钢铁材料热轧过程中动态再结晶组织演化的数学模型 ,静态再结晶组织演化的数学模型和晶粒尺寸数学模型的描述 ,并给出了它们的适用条件及范围和发展方向     

基于QFD的网站用户需求分析

以最终用户满意为驱动力,基于质量功能展开原理,提出一种将网站用户需求转化为对网站各个环节的要求的多层次演绎分析方法,即网站用户需求展开,为将用户满意理念贯穿于网站的设计与管理之中提供了理论框架与操作方法。     

太行山地区铁矿尾矿特点及应用前景

对太行山地区铁矿进行了研究，分析了矽卡岩型铁矿的成因，并对矽卡岩型铁矿尾矿矿物组成及成分进行了分析，指出了此类尾矿的特殊性。还对其应用前景进行了简单的探讨，其中对尾矿还进行了几个方面的工业应用研究。     

纳米固体超强酸SO42-/Fe2O3催化合成柠檬酸三丁酯

合成了纳米固体超强酸，考察了该催化剂在柠檬酸三丁酯合成中的催化活性，并与非纳米的SO4^2-/TiO2,SO4^2-/ZrO2,SO4^2-/Fe2O3，浓H2SO4催化剂进行了比较，同时对酯化反应的几种影响因素进行了研究。