可编程控制器在供热网中的应用

论述了可编程序控制器的工作原理及结构，结合实际分析了它具体的工作过程，介绍了可编程序控制器在供热网中热力站本地控制器、便携式流量计等方面的应用，指出了利用可编程PLC实时、多任务的特点对热力站进行调控的效果。     

支持POSIX权能机制的一个新的特权控制的形式模型

为了在操作系统中实施极小特权原理, 必须对进程的特权进行有效的控制; 但是进程的动态性使实现对它的控制变得困难重重. 在深入分析进程特权的形成过程和作用机制的基础上, 提出了实施极小特权原理的三层实现机制, 即管理层、功能控制层和执行层; 而且明确指出限制特权的有效范围是特权控制的重要环节, POSIX中已经提到了它, 但是POSIX的权能机制并不能有效地支持它. 在分析现有控制机制的优缺点的基础上, 不仅提出了改进的权能公式, 而且提出了基于RBAC, DTE和POSIX权能机制的新的进程控制机制的完整的形式模型; 模型中的新不变量反映了新机制与RBAC, DTE和POSIX权能机制的不同, 新机制推广了子域控制机制, 实现了子域控制机制的动态化.     

关于极小非幂零群的正规Sylow子群的换位子群的生成元集

讨论了极小非幂零群的正规Sylow子群P的换位子群P’，确定了换位子群P’的一个生成元集．从而用简单的和纯群论方法得到换位子群P’的阶|P’|的上界，并进而得到不等式|P’|≤|P|^1／3．此外，通过相关的本原单位根，给出了换位子群P’的阶|P’|达到这个上界的一个必要条件。     

关于混合Domain的几个问题

研究了Lawson紧的连续domainD的混合幂domainM(D)，给出了M(D)的极大元的刻画，证明了M(D)是其极大点空间Max(M(D))的domain环境，同时证明了FB-domain关于混合幂domain构造是封闭的。     

一个求外平面图最小反馈点集的多项式时间算法

如果从一个图中去掉某些顶点后得到的导出子图是无圈图，则所去的那些顶点组成的集合就是原图的反馈点集。本文讨论外平面图的反馈点集并给出了一个求外平面图最小反馈点集的多项式时间算法。     

一阶脉冲时滞微分方程解的全局存在性

考虑具有变时脉冲的时滞微分方程初值问题x′(t)=f(t,x(t-h)),t≠τk(x),Δx=Ik(x),t=τk(x),k=1,2,…，x(t)=φ0(t),t∈[t0-h,h0],x(t0 0)=x0,获得了其解全局存在的充分条件     

Orlicz空间单位球面上一点的一致单调系数和局部一致单调性

文章给出了Orlicz空间单位球面上一点的一致单调系数的表达式;该点为一致单调点的判别法以及空间局部一致单调性的充分必要条件     

温差电动势对测量灵敏电流计内阻的影响

以测量灵敏电流计内阻为例，分析了温差电动势产生的原因，是由于光点式灵敏电流计内部有照明光源，与外电路存在温差而引起的．并定量给出了由此带来的测量误差．介绍了消除温差电动势影响的方法．     

超图的最小边数与染色问题

讨论了3一致l-超图的最小边数问题,给出了上色数为2的3一致l-超图的最小边数的一个上界.     

全矩阵代数的一类子代数

研究了由一个矩阵生成的矩阵子代数的基本性质,给出了其极大理想的完全分类及这类子代数是半单代数的充要条件.