ELNF归约演算

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

弘扬国学精粹 提高人文素质--高校非中文专业开设"中国古典文学鉴赏"课的必要性与可行性

从高校非中文专业学生知识结构的现状出发，阐述加强人文素质教育的重要性；“中国古典文学鉴赏”课的课程特点及其在人文素质教育中所起的作用决定了在高校非中文专业学生中开设这门课程的必要性和可行性。     

多用户多径环境下DOA估计算法研究

针对移动通信中多用户多径环境下的DOA估计问题，提出利用CARE算法求出各用户的空间循征矢量，进而利用基于对称阵列的改进MUSIC算法求出各用户对应多径信号DOA的联合算法，仿真结果表明：结合CARE算法，基于对称阵列的改进MUSIC算法能自动对多用户的DOA进行分组，并能对每个用户的多径相干信号进行DOA估计，不需要做平滑计算，不需要判断多径信号的个数，不增加计算量。     

半导体物理

本书是一本教材，系统地介绍了半导体物理的理论知识。为了使学生能更好地理解和应用这些理论和概念，本书还对一些基于半导体的重要系统的原理进行了简单的解释。全书共分10章。第1章半导体简介，介绍了半导体的定义和重要性、半导体理论的基础和一维理想结晶固体的量子态；第2章理想半导体的量子态，重点介绍了三维半导体的量子态；第3章纯半导体的激发态和含杂质半导体的量子态；第4章均相半导体的统计学；第5章半导体中的迁移现象；第6章光效应；     

贯通节理岩体等效模型与弹性参数确定

提出了一种研究贯通节理岩体等效弹性参数的近似模型,导出了贯通节岩体基本弹性常数的解析估算公式,在此模型基础上编写了相应的较为通用计算程序,分析了多组节理的存在以及节理的倾角对岩体性能的影响,预测得到的节理岩体弹性矩阵和弹性常数与节理有限元数值方法的结果十分接近,是一种预测贯通节理岩体等效弹性参数的简单而实用的方法。     

成本与变化性关系的灰色模型

在变化减少方案理论的基础上,对变化性二因素和制造系统成本的关系进行了研究,运用灰色系统理论,建立了成本与变化性关系的灰色模型;并应用某纺织机械厂浆纱机产品的成本与变化性关系对部分模型进行了验证．     

Preparation of composite tubular grafts for vascular repair via electrospinning

A novel type of composite vascular graft was developed via electrospinning in the present investigation.Collagen and chitosan were blended to form the inner and outer layer.Poly(1-lactide-co-caprolacto...     

大型钢管无溶剂环氧涂层自动涂装技术

介绍了大型钢管无溶剂环氧涂层自动涂装技术的系统组成、工艺流程、质量检验和涂层修补措施。大型钢管无溶剂环氧涂层自动涂装技术采用热固化技术、涂料加热技术,运用双组份喷涂设备喷涂无溶剂环氧涂料,漆膜均匀厚度偏差小,一次成膜厚、固化时间短,提高防腐涂层的整体防腐性能和生产率,降低工人的劳动强度。     

新可逆PWM整流器主电路参数设计仿真

利用美国Analogy公司的SaberDesinger软件构造了三相可逆PWM整流器的试验平台,分析了同步模式下整流器的工作方法．通过仿真得到了三相可逆PWM整流器主电路电感值、开关频率等参数对输入电流总谐波失真(THD)、电源功率因数以及系统输出直流电压的影响,为实际设计中确定主电路的参数提供了可靠依据,对工程中的三相可逆PWM整流器设计有实际意义．     

工序间在制品库存的优化研究

通过分析车间的设备状态、生产任务的工艺参数等因素对车间在制品库存在的影响，提出了确定工序间在制品库存的数学模型，该模型以满足生产的条件为前提，将车间在制品库存最小化作为目标，同时建立了在制品库存的管理调度算法，以便控制工序间在制品的库存。