Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

灰色模型在电力负荷预测中的应用

应用灰色系统理论分析了某电力系统电力负荷的动态变化趋势。并用灰色预测理论对该系统现有的年用电量时间数据序列进行处理,进而建立了GM(1,1)预测数学模型,最后提供了预测实例。     

流固耦合管道系统的模态分析和汽蚀监测

运用数值计算和试验研究相结合的方法对流固耦合管道系统进行了模态分析,并将其用于轴流泵的汽蚀共振分析,从而提出了水泵汽蚀监测的振动分析法。     

对偶原理

本文在考察数学领域中各种具体对偶原理的基础上,概括出对偶原理的一般模式,阐述了对偶原理的产生、方法论功能及其性质。指出对偶原理具有发展理论和简化理论的作用,它是真善美的统一。     

增压循环流化床操作特性的研究

为了研究和开发增压循环床燃烧装置,在一个床体内径为80mm,高为6m的增压循环床内对其流动及操作特性进行了冷态试验研究。本文发表了床料粒径、筛分对床内空隙率分布的影响以及压力对增压循环流化床运行特性影响的试验结果,并讨论了它们对煤在增压循环流化床中燃烧可能产生的影响。     

燃煤磁流体发电研究的现状与前景

扼要介绍了开展燃煤磁流体发电研究的各主要国家的研究现状,和燃煤磁流体发电装置的各主要部件研究的进展。根据已经取得的研究结果,对这项技术的实用化进程,提出了展望。     

邻羟基苄基氨乙酸及其配合物的研究(VII)——三价钴配合物的合成、性质及结构

在氨-氯化铵水溶液中,以氯化钴(Ⅱ),HBG(邻羟基苄基氮乙酸)为原料,经配位取代、氧化反应得到了Co(Ⅲ)的配合物,即氯化二[二邻羟基苄基氨乙酸合钴(Ⅲ)酸]·六氨合钴(Ⅲ)·七水盐,其分子式为[Co(NH_3)_6]·[Co(OC_6H_4CH_2NHCH_2COO)_2]_2,·Cl·7H_2O。进行了元素分析、摩尔电导、磁性、热谱测定,红外及紫外可见光谱的表征。培养得到了单晶,并用X射线分析测定它的晶体结构,其中配位阴离子CoL_2~-的配位环境是一个微变形的八面体。     

REPORT ON A PROJECT AIMED AT INCREASING THE STRENGTH OF FRICTION SPUN YARN BY USING A FALSE TWIST PROCESS

The lower strength of friction spun yarns has became a key problem that hinder the develop-ment of friction spinning,especially in high speeds and fine yarns.In this paper a project aimed atincreasing the strength of friction spun yarns by using a false twist process has been made.In re-ported experiment false twist was inserted into the yarn which has been formed on a friction spin-ning machine,so that it made the yarn untwist at first,then regain the twist.In the meantime draftwas applied to generate more tension than that which had been experienced during yarn formationon the friction spinning machine.It made the yarn reforming and the loosely bound fibres in thefriction spun yarn formed due to extremely low tension on the friction spinning machine becametighter.Results indicate that with the proper draft,tension and false twist the tenacity of processedyarn will increase more than 10%.This project is an attempt to discover whether improvements can be made and whether it isworth pursuing research into modifications of yarn structure.The results imply that if the yarntension can be raised during yarn formation on the friction spinning machine or a chance is offeredto the yarn to reform after the yarn formation the yarn tenacity will be increased obviously.     

提花手套花型信息处理软件的研制

手套花型信息处理软件由花型编辑、数据文件格式转换、EPROM的读写操作和花型的存取所组成。花型编辑可以利用系统提供的图形命令集,采用交互方式来实现。在花型设计完成以后,可将花型作为数据文件存储,将图形信息转换成01码,并用于手套提花过程的自动控制。在执行根文件EPRALL.EXE以后,可进行EPROM写操作,并能自动检验其正确性。该软件已通过专家鉴定,并用于生产,取得了良好的社会效益和经济效益。     

用于建立状态方程的一类传输网络研究

在网络拓扑图上应用主割集—主回路法可得到一种信号流图,其中关于建立状态方程的一类中间变量节点构成一种传输网络 T。用数码法处理 T,得出 T 的全部所需传输增益,并以这些信息取代 T,则可以用叠加法简单地填写状态方程系数矩阵的各个元素。