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

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

产品原理方案的功能设计法──“管接头标记自动压印机”的原理方案设计

本文通过“管接头标记自动压印机”原理方案的构思过程，说明产品原理方案设计的功能论方法的一般原理和特点及其应用。     

矩阵序列与多重线性多项式

引入矩阵序列的概念，研究了一般环上矩阵环的多重线性多项式。     

用实二次型理论解多元函数的极值问题

文章以二次型理论为依据,提出了解决多元函数极值问题的另一种方法.     

巧选样本空间解决古典概型问题

对于古典概型问题,一般通过排列组合方法计算,但有的时候计算过于复杂。本文通过几个例题来说明选取合适的样本空间可以简便的解决问题,同时还对这两种方法作比较。     

Petri网系统的可达性分析

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

浅谈路由器qos技术

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

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

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

关于多项式互异根个数的矩阵表示

本文利用矩阵给出了C，R，Q上的多项式互异根个数的表示。     

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

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