药品库的微机管理

介绍化学系药品库的微机管理系统，描述了该系统的结构和作用及系统内的各种模块。     

专家系统知识库验证：Ⅱ.基于决策表的知识库验证工具KBV

说明决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ。给出了在ＫＢＶ中检查冗余，矛盾，循环，守完备性的算法。ＫＢＶ能对包含特定规则，通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系，ＫＢＶ得到的结果是全局的。     

一类非线性时滞差分方程的振动性判据

考虑非线性时滞差分方程xn 1-xnexp[rn(1-xn-k)](n＝0，1，2，…），x-k＋，x-1≥0,xo＞0其中{rn}是非负实数列,k是正整数，本文获得了方程的每个正解关于正平衡点振动的充分条件，本结果改进了有关的结论。     

不动点集为∪ form i=1 to m (HP_i(n))光滑流形的对合

设 (Mr,T)是 1个在 r维闭光滑流形 Mr 上的不平凡光滑对合 ,它的不动点集为 F,给出了F =∪mi=1 H Pi(n) (4 n 相似文献   

构造柱在砖混结构房屋中的应用

构造柱不仅在砖混结构房屋中主要起抗震作用，而用还具有承重柱及代梁垫的作用。构造柱的多种用途经在实际中试用．其技术经济效益较好，既可提高房屋的抗震能力，又可扩大砖砌体在工程上的应用范围，结构安全可靠，符合有关设计规范，很有发展前途。     

泥浆工程设计专家系统开发与应用

论述了泥浆设计专家系统的研制目标，关键技术以及该系统开发策略、总体方案和技术措施。对所形成系统的特点和初步应用效果作了简析。     

固定床催化体系中苯酚与苯乙烯的反应

用固定床反应器研究了固体酸催化的苯乙烯与苯酚的烷基化反应，表明选择合适的反应条件有利于生成较为有用的对位产物，该反应体系不仅具有釜式反应体系的活性好，选择性高的特点，还可大大减少苯酚用量，简化了产物的后处理，有很好的应用前景。     

分布式数据库中关系运算结果大小的估计

本文在分析了原有的几种估计关系运算结果大小的方法的基础上,提出了一新的估计模型——UDB,并对其建造方法、使用方法、适用情况及估计精度做了较详细的讨论。     

移动通信双基站工作时接收场强的计算及模拟

对开阔地在双基站设置时的场强分布进行了探讨和计算，计算结果与实测数据较好符合。并通过计算机模拟，得到了有关电磁波在自由空间的传播损耗，大地表面的反射系数及相位等特性参数。     

关于映象族的一个公共不动点定理

本文建立了一个关于映象族的公共不动点定理,该结果推广了 Iseki 的一个定理,并在稍强的条件下大大加强了 S.A.Husain 和 V.M.Sehgal 的一个定理,从而推广了另外几位作者的一些结果。