B值随机变量序列部分和的矩的收敛速度

本文讨论2阶一致光滑空间及2型空间中随机变量序列部分和的矩的收敛速度问题,所得定理推广了Chow的结果。     

丙酮缩二甲醇的合成及应用

介绍了丙酮缩二甲醇的合成方法及其主要用途,概要地报道了合成丙酮缩乙二醇及以此为原料合成丙酮缩二甲醇的新工艺。     

Petri网系统的可达性分析

对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.     

浅谈路由器qos技术

本文主要探讨路由器qos技术在下一代英特网中的应用,分别介绍集成服务(IntSer),区分服务(Dif-ser),以及其它一些探索性的路由器qos技术。     

船舶二维图形交换研究

船舶图形在不同的CAD系统中交换，共享是现代船舶工业发展的需求，主要论述了如何在2个船用CAD软件（CADDS5和TRIBON M1）之间进行二维图形信息的交换。     

一种基于B/S的农业资源综合数据服务系统──通用农业资源数据服务系统开发设计

基于浏览器 /服务器 (B/S)结构的通用农业资源数据库系统 ,将农业统计中常用的 5 0 0多个技术指标分成三大类 ,17个小类 ,基本涵盖了农业生产和管理统计的主要领域 普通用户通过浏览器实现对数据库的组合查询或浏览 ,也可将数据文件下载 系统提供了 9种统计分析方法以及 5种预测方法 ,授权用户可进行数据文件上载 管理员通过浏览器可对数据库进行管理维护     

一类带限制集值型投入产出方程的存在性定理

引入了一类带限制的集值型投入产出方程.通过利用某些非线性分析方法,得到了一些存在及连续相依性结果.     

中立型多滞量微分系统Runge-Kutta方法的A(a)稳定性分析

在中立型多滞量线性微分方程系统的理论解的基础上,讨论Runge-Kutta 方法的稳定性,得到一个)(aA稳定的充分条件。     

基于DELPHI5的高校选修课管理系统的设计与实现

主要介绍高校选修课管理系统的设计思想，并着重分析和讨论了后台数据库的设计方法和原理，最后讨论了运用Delphi5开发该系统的整个过程。     

用HZSM-5催化剂直接合成对甲乙苯的研究

本文用适当处理的HZSM-5催化剂进行甲苯乙烯烃化直接合成对甲乙苯,该催化剂经 过 200小时的长运转试验表明具有良好反应性能。还探讨了 HZSM-5沸石催化剂的表面酸 性质及微孔有效扩散系数与其择形催化的关系。 1.实验部分 1.1 催化剂制备 由本实验室用氨水合成的 ZSM-5与粘结剂 Al2O3混合成型,经硝酸铵溶液交换,制得 HZSM-5催化剂,再经适当处理制得五种不同性能的 HZSM-5催化 剂。 1.2 烷基化反应 该反应是在常压小型固定床积分反应器中进行,以甲苯转化率CT(mol%)表示催化剂活性;以产物中对甲乙苯与甲乙苯总和之比Sp(%)表示对位选…