ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则．讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

关于两类函数的大范围同胚

基于微分方程与优化中解存在唯一性问题，对Ｌｉｐｓｃｈｉｔｚ函数类与弱一致单调函数的大范围同胚作了理论上的探讨．推广了一些Ｌｉｐｓｃｈｉｔｚ函数类已有文献的结果，给出了弱一致单调函数的定义以及几个大范围同胚的命题。     

大型室内停车场车辆出入计算机自动识别与管理系统

本文着重对大型室内停车场计算机管理系统中，采用８０３１单片机组成的出入口车辆自动识别与自动门控制系统的工作原理及软、硬件结构作了介绍。     

矮败小麦不育株与可育株同工酶的研究

采用聚丙烯酰胺凝胶电泳法，对矮败小麦不育株和可育株的旗叶、穗下节间（以下简称节间）及雌蕊等不同器官、不同发育时期的过氧化物酶（ＰＯＤ）同工酶和酯酶（ＥＳＴ）同工酶分别进行了比较研究。结果表明，不育株与可育株相比较，在相同发育时期同一器官中的两种同工酶酶谱带数均无差异，并且各条对应酶带的迁移率也相同，无异常同工酶产生，说明显性雄性核不育基因ＭＳ２对旗叶、节间、雌蕊中的ＰＯＤ基因和ＥＳＴ基因的表达无异常影响。     

利用Tsuprem4和Medici对200伏VDMOS进行虚拟制造

通过将已知工艺参数与工艺模拟软件Tsuprem4结合起来，将模拟结果直接导入器件模拟软件Medici，对击穿电压及阈值电压，终端保护环进行了模拟计算，获得了具体的设计参数，并对利用这两个软件进行虚拟制造的过程中需要注意的问题进行了阐述．     

SBAR中好氧颗粒污泥的培养与除污效果研究

以好氧-厌氧耦合反应器中的活性污泥为种泥,采用通过控制运行条件在SBAR中成功地培养出了好氧颗粒污泥。研究表明,该好氧颗粒污泥具有良好的去除COD和TOC的性能。好氧颗粒污泥成熟后平均直径为0.5~2.0mm,沉降速度为14.9~31.8m/h,反应器对COD和TOC的去除率分别小于91.42%和93.46%。     

试论弗洛姆的“逃避自由”观

弗洛姆是西方马克思主义的重要代表人物,他把自由的获得与自由的丧失视为共生的两极,人类越是获得自由,同时也就意味着越是丧失自由。现代人陷人了普遍的生存困惑中,从而选择了"逃避自由"。     

现阶段邮政企业财务管理的问题及对策

随着邮政企业改革进程的加快,邮政企业财务管理也面临着许多新的问题,本文通过对现阶段邮政企业财务管理存在的主要问题的分析,提出了加强邮储财务管理的几点对策。     

胜利油田孤东矿区老第三系沙河街组辫状河三角洲沉积

胜利油田孤东矿区老第三系沙河街组中发现丰富的湖泊辫状河三角洲沉积物 ,其特征显著 ,明显有别于其他类型的三角洲 ,可见到 8种特征各异的微相。辫状河三角洲的主体为辫状河道砂坝及水下分流河道砂坝 ,单一河道砂坝呈透镜状 ,由含砾砂岩及中、粗粒砂岩组成向上变细层序 ,常见多个河道砂坝在纵向上互相叠置。三角洲中交错层理丰富 ,其中尤以水道砂坝侧向迁移加积而形成的侧积交错层发育为标志。在上述基础上 ,归纳总结了辫状河三角洲的鉴别标志 ,这对于在其他地区鉴别辫状河三角洲沉积具有意义。     

一种大容量和远接入距离的接入网Super PON

介绍了光纤接入网OAN的最新进展Super PON，首先引入了Super PON的系统结构，给出了Super PON的帧结构；分析了Super PON的主要部件OLT和ONU的工作原理；最后讨论了Super PON的媒质接入控制MAC算法，并给出了一种较为合理的算法及其应用。