一类映射组在公共不动点定理

本文证明了赫金彪在辽宁师大学报１９９３年第２期文中的结果在删掉一些条件后仍成立；同时指出，在比弱可交换更弱的相容条件下，文中结果也成立。     

矿区铁路专用线下综采放顶煤开采的试验研究

介绍了国内第一个综采放顶煤开采矿区铁路线下压煤试验面的成功经验，总结了试采中对铁路所采取的各种分析和维护措施，分析了该采煤方法下的地在移动和变形特点，为我国“三下”采煤领域提供了具有特色的成功实例。     

Petri网系统的可达性分析

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

浅谈路由器qos技术

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

变系数Leslie模型在污染环境下生存问题的研究

研究了具有变系数Leslie模型在环境污染下种群的生存问题.利用微分方程的定性理论及比较定理,给出了种群弱持续生存和灭绝的条件.     

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

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

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

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

基于PC的电机云母槽自动下刻机测控系统的设计

采用工业用计算机实现自动下刻电机云母槽测控系统的设计方法.在加工工艺允许的情况下,系统采用接触式的检测方法能降低成本,提高可靠性,并提高其自动化的水平.在软件设计上,系统由找槽控制算法和下刻深度算法双闭环控制组成,槽控制算法与下刻深度算法之间相互切换直到加工完电机的所有槽.     

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

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

弱Hopf代数wslq2的代数结构

将弱Hopf代数的一个特例弱量子群wslq2分解为％（sl2）和二元多项式代数的直和，从而将wsl12的表示归结为％（sl2）和二元多项式代数的表示。还研究了wslq2的限制表示，证明了wslq2（m，n）同构于Uq（m，n）和一个带关系的二元多项式代数的直和，从而将wslq2的限制表示归结为％（sl2）和一个带关系的二元多项式代数的表示。