CESS-模的直和

研究了CESS-模的任意直和在什么条件下仍是CESS-模.例如,证明了M=( )i∈IMi是CESS-模当且仅当存在自然数n≥2和Ⅰ的子集{j1j2……,jn},使得对M的任意闭子模K,若SocK≤eK且K ∩Mj1≤eK,或K ∩Mj2≤eK,…,或K ∩jn≤eK或K ∩Mj1=K ∩ Mk2=…=K ∩Mjn=0,则K是M的直和项.     

关于n-余挠模

设 R 为环,M 为右 R 模,n是一个给定的非负整数.若对任意平坦右R模 N 都有Ext n 1 R (N, M) = 0则称M 为 n-余挠模.若对任意n-余挠右R-模 N都有 Ext1R(M, N) = 0则称M为n-平坦模.本文给出了n-余挠模与n-平坦模的一些性质.     

P-平坦模,P-内射模和某些环

文章首先根据文献[1]和[2]中P-平坦模和P-内射模的定义给出了它们的一些等价条件,然后利用这两种模来刻画了P.P,Von Neumann正则环.并推广了左凝聚环的概念,引入了左P-凝聚环的概念,最后也用P-平坦模和P-内射模来刻画了左P-凝聚环.     

平坦模与内射模对偶性的一个注记

我们从投射模和内射模的交换图定义中,可以发现它们是对偶命题,可随着研究的深入,发现它们的对偶性不是很好,例如所有的内射模都有内射包络,而所有的投射模不一定有投射覆盖.本文从维数角度给出了内射模和平坦模的一个等价刻画,从而再次说明了内射模和平坦模具有更好的对偶性.     

发电厂机组运行及故障信息管理系统的开发

介绍了TELEPROMMEDCS系统总体结构及组成,论述了系统设计的基本原则,描述了软件功能模块。     

学位论文全文数据库系统的设计

指出了学位论文全文数据库系统建设的重要性,探讨了学位论文系统结构及功能,介绍了学位论文系统设计。     

基于组态软件的矿山电力调度微机监控系统

针对中小工矿企业电力调度系统缺点和不足，采用目前通用的电力系统远动技术，利用局域网实现调度端与厂站端互连和数据通讯，利用485总线和智能模块实现各分站设备互连及现场数据采集。结合工业组态软件编程，把现场采集到的数据实时送入微型计算机，并通过系统数据库进行数据汇总和分析，形成控制指令，完成对电力系统的监控任务，从而实现地区电网的实时数据采集及监控（SCADA）。     

CS环和Exchnge环的正则性

对CS环、Exchange环和von Neumann正则环的关系进行了研究,给出了CS环中的自内射环是正则环的充要条件,同时也给出了CS环和Exchange环成为von Neumann正则环的条件.     

高通量空气隙膜蒸馏系统的实验研究

该文提出一种高通量的新型膜组件,它采用热液旋转切向湍流入流以冲刷膜面,减小温度和浓度边界层,改善温度和浓度极化,提高传热传质效率,并采用小间隙及膜与冷壁部分接触以减小空气隙的传热传质阻力,从而显著提高蒸馏通量。实验结果表明:最佳切向入流角为30,°膜面接触率为75%~80%。采用这种膜组件的空气隙膜蒸馏系统,当用自来水作为热溶液、间隙为1mm、冷热水温差为65℃时,蒸馏通量可高达120 kg.m-2.h-1,而传统的空气隙膜蒸馏系统(间隙为4mm以上)的最大蒸馏通量仅为28 kg.m-2.h-1。热溶液为15%的浓盐水的蒸馏通量实验也得到类似结果。     

边界约束下的增量式布图规划算法

快速地在局部范围内调整布图已经成为一种设计需要。该文提出了一种二阶段法来实现边界约束下的增量式布图规划算法。根据已有布图规划建立松弛推移图,直观描述各模块之间"空白区"和松弛量的情况;同时建立模块交换图,记录所有具有形状相似特征的模块集合,基于这2个图进行增量式布图规划。第1阶段,基于推移图和交换图调整布图规划,使其满足边界约束。第2阶段,再次利用交换图进行互连性能优化。实验结果表明该算法在较短的时间里不仅对原有布图规划进行了有效调整满足了给定的所有的几何约束,而且还保证了芯片的面积和线长效果。