Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．     

钢液定氧测头响应时间和热平衡态

本文分别研究了ＺｒＯ２（ＭｇＯ）固体电解质管头壁厚，参比电极量对定氧测头响应时间的影响，得出了以ＺｒＯ２管头壁厚为０．６０－０．８０ｍｍ，Ｃｒ／Ｃｒ２Ｏ３参比电极加入量为４０－６０ｍｇ所组成的定氧测头响应速度最快，同时采用了“双偶法”对定氧测头在工作过程中的热平衡态进行了研究。结果表明：氧浓差电池中的传热是响应过程的控速步骤，氧电势曲线上峰值的产生是起源于电池中的热平衡态。     

基于强跟踪滤波器估计的最优融合方法

在分布式雷达数据处理模式中 ,数据融合是获得较精确的目标轨迹的主要环节。为克服卡尔曼滤波器对初始值敏感、鲁棒性差和对机动目标跟踪性能差的缺陷 ,通过利用各传感器的观测数据 ,采用强跟踪滤波器对目标进行跟踪 ,以改善目标状态估计的精度。对判定源于同一目标的状态估计值 ,给出了一种估计状态线进行性组合的最优融合准则。得出了实际数据的实验结果。     

可编程控制器调速器

本文以联合研制成功的水电站可编程控制调速器为对象，详细介绍其硬件与软件构成及工作原理。同时，对多种调节模式等方面也进行了一些探索。     

高含固量聚苯乙烯－聚丙烯酸酯复合乳胶的合成及表征

本文采用种子乳液聚合技术，合成聚苯乙烯－聚丙烯酸酯复合乳液，用ＴＥＭ电镜观察其乳液的形态，用ＧＰＣ方法测定了乳胶聚合物的化学组成。     

工矿企业能量平衡通用模式的研究

提出了适用于工矿企业能量平衡的一种通用模式，将与ＧＢ３４８４－８３《企业能量平衡通则》再增加“一表两图”──“企业能量平衡表”、“企业能源网络图”和“企业能流图”的效果相一致，能更加科学、合理地反映企业能量平衡的结果。     

AC=BD在微分方程中的应用

利用AC＝BD的思想，将变系数广义KdV方程约化成常微分方程，求出了KdV方程的Lax对。     

实验选课系统的设计及实现

在实行学分制的情况下,配合校级中心实验室的管理模式和实验室管理软件进行设计和开发的实验选课系统,既适应了学分制的要求,完善了实验室的管理机制,也提高了管理水平和工作效率。     

格序半群同余格LC（S）的完全分配性

本文首先引入值和正则Ｌ－同余的概念并讨论了正则Ｌ－同余的基本性质，在此基础上，给出了格ＬＣ（Ｓ）是完全分配格的几个等价刻化。