逻辑代数的集合图方法

本文提出了一种新的逻辑代数分析方法，集合图法。它兼具代数法与图解法的功能，与传统的卡诺图法相比，具有一些独到的特点。     

一类资源分配问题的最优化方法的研究

建立了树型生产系统的一类资源分配问题的数学模型和计算法,并给出一般网络简化为树型网络的树化变换。然后建立了一般生产系统资源分配问题的网络优化算法。     

用MUX实现组合逻辑的卡诺图列解法

本文采用卡诺图列解法来处理MUX组件的地址变量少于待发生逻辑函数变量的设计问题。方法简单易行、适用范围广。尤其是对于含有任意项的逻辑函数中任意项的处理,提供了寻找最佳方案的途径。     

利用ICAP／4仿真系统进行电子电路虚拟实验

以串联型稳压电源为例，介绍利用数／模混合电路仿真软件系统ICAP／4进行虚拟实验及故障诊断的方法，并给出仿真波形。     

用变分法分析地基-箱形基础-上部结构相互作用

利用空间子结构法凝聚上部结构的刚度与荷载,形成一个超级单元,同时,采用有限分层地基模型,并计及基础自身刚度的影响,建立起基于能量变分原理的地基-箱形基础-上部结构相互作用的数学模型.由于该模型合理的体现了三者协同工作的机制,从而可以对问题进行较为全面的分析.     

(NH4)2SO4存在下氯化亚锡一丙醇体系萃取分离铂(Ⅱ)的研究

研究了用(NH4)2SO4存在下氯化亚锡-丙醇体系萃取分离铂(Ⅱ)的行为及体系在盐酸介质中的分相条件.实验表明在盐酸介质中体系可萃取铂(Ⅱ),其萃取率为99.4%,该方法可用于从贱金属中分离铂(Ⅱ).     

集成系统中工艺卡片填写与工序图绘制的研究

利用VBA实现CAD和CAPP系统集成，讨论了基于Word平台进行工艺卡填写，并在此基础上进行工艺卡填写和工序图并行输出的一般问题。工艺文件的填写是在CAPP数据库的支持下，直接读取CAD所提供的CAPP工艺数据文件，经推理机推理自动生产工艺过程；工序图绘制是在特征图表级和参数化绘图原理的基础上进行的。     

与半群的完全不可逆生成集相关的几个性质

讨论了半群环的两个性质以及关于半群的a.c.c.p.（主理想升链条件）的一个结论。     

具粘性双曲型方程组解的整体存在性

对于具粘性双曲型方程组Cauchy问题，通过引进Lax熵-熵流对的方法，得到了解的整体存在性，利用补偿紧致的方法证明了L∞逼近解的收敛性.