Petri网系统的可达性分析

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

浅谈路由器qos技术

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

甲基萘转移甲基化合成2,6-二甲基萘

以β-甲基萘和混合甲基萘为原料,均四甲苯和偏三甲苯为烷基化剂,无水alCl3为催化剂,二氯甲烷为溶剂,进行转移甲基化反应合成2,6-二甲基萘.考察了反应温度、催化剂和烷基化剂的加入量以及烷基化剂种类对反应结果的影响.     

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

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

钢-混凝土连续组合梁桥的理论分析和试验研究

根据完全剪力连接的连续组合梁桥的构造特点及各部分受力机理,做出合理假设,提出分层平面框架计算模型该计算模型用于沈阳市东西快速干道工程某段连续组合梁桥,计算值与静载试验实测值非常接近,证明了本计算模型用于钢-混凝土连续组合梁桥正确实用的.     

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

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

金属在福州地热水中的腐蚀热力学研究──(I)、铜—地热水系统

作者从热力学角度以电位－ｐＨ图探讨金属在福州地热水中的腐蚀趋势．本文报导铜－地热水系统，采用ＢＡＳＩＣ语言编制程序在ＡＰＰＬＥ－Ⅱ微机上计算高温热力学数据，并以ＤＸＹ－８００绘图仪绘制电位－ｐＨ图．同时，测定了铜在福州Ｇｗ２井地热水中的实际腐蚀电位．结果表明：在此地热水中，当温度低于３１８Ｋ，铜表面生成Ｃｕ２Ｏ膜，高于３１８Ｋ，生成ＣｕＯ膜，二者都位于钝化区．     

双溢流阀系统动态特性研究及故障仿真分析

分析了双溢流阀系统的工作过程,用功率健合图法建立了该系统的数学模型,并转换为状态方程,用Matlab/Simulink对双溢流阀系统进行了数字仿真,对双溢流阀卸荷和建压系统中位卸荷后,建立系统工作压力的过程进行了动态特性分析,仿真分析了故障原因,为液压静力压桩机液压系统的改进提供理论基础。     

纳米固体超强酸SO42-/ZnO催化合成乙酸异戊酯的研究

本文利用纳米固体超强酸SO4^2-/ZnO催化合成乙酸异戊酯的最佳反应条件,既反应时间2.0h,催化剂用量为酸质量的1.0%,酸醇比为1∶2,验证实验产率为96.7%,且该实验反应时间短,无腐蚀无污染,催化剂可回收可重复利用.     

创新在修旧利废工作中的作用

创新在各项工作发展前进的不竭动力,LS-80-1600型多功能割带机是兴隆庄煤矿自主创新研制成功的废皮带加工装置,本文重点介绍该机器的工作原理和经济效益。