逻辑代数的集合图方法

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

2~N—m计数器

计数器电路的分析讨论相当费时和麻烦。本文提出了一个分析此一问题的一般方法,总结且证明了同步2~N—m 进计数器定理。在此基础上构成了一系列各类计数器,使分析讨论简单明了。     

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

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

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

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

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

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

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

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

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

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

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

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

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

硒铟镓银多晶材料的合成研究

根据Ag2Se-Ga2Se3赝二元相图,对AgGa1-xInxSe2按同成分点配料,通过机械和温度振荡的方法合成出AgGa1-xInxSe2多晶材料.并对合成的多晶材料进行了XRD测试,与直接法合成的AgGa1-xInxSe多晶材料进行对比.结果表明,改进工艺后合成的AgGa1-xInxSe2多晶材料的图谱与标准PDF卡片相符,表明其是高纯单相的AgGa1-xInxSe2多晶材料.用新方法合成的AgGa1-xInxSe2多晶材料进行单晶生长,获得了完整的AgGa1-xInxSe2单晶体.实验结果表明,机械和温度振荡法是合成高质量AgGa1-xInxSe2多晶材料的一种有效方法.