泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.     

C~3I系统工程可靠性评估技术研究

针对Ｃ￣３Ｉ系统分层管理拓扑结构模式，文章重点对系统可靠性度量指标及其相互关系、系统可靠性模型设计与可靠度计算等重要技术进行了研究。本文可对Ｃ￣３Ｉ系统工程总体技术设计可行性论证，以及系统验收评审提供参考。     

抗(耐)甜菜丛根病新品系—SN8901的选育

抗(耐)甜菜丛根病新品系—SN8901系从亲本8—67中优选单株,经丛根病圃培育,优选出的抗(耐)病品系.该品系属多粒2倍体自交系.试验、生产示范结果均优于对照新甜4号.根产量、含糖率、产糖量分别比对照新甜4号提高41.56%、2.66度和71.52%.     

多目标多阶段决策问题最优化方法及应用

本文提出了可行状态点,可行边和可行策略等概念,建立了一种新的解决多目标多阶段决策问题的方法,介绍了这一方法的应用实例:     

Petri网系统的可达性分析

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

浅谈路由器qos技术

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

三值、多值代数和类同构

将代数系统同构的概念扩展为类同构,并推出一些相关的定理,在类同构基础上完整地研究各种三值逻辑和三值电路理论,该电路理论可推广到任意多值电路和绝热电路中,以便建立二值电路,多值电路和绝热电路的统一理论.