关于割集分析法

本文分析了某些电路使用不同树支割集求解同一物理量时出现错误的原因,指出了这类电路使用割集分析的正确方法.     

巩河水库正常溢洪道裂缝成因研究

结合巩河水库加固工程正常溢洪道发生裂缝的工程实际，应用弹塑性有限元法研究了大坝在渗流及加固施工过程共同影响下的工作状态，探讨了其正常溢洪道裂缝成因．     

关于应答式以太网的改进方案

简要叙述了应答式以太网协议，针对其不足提出了两种改进方案，并给出了详细的算法流程。     

反演关系的机械化证明

反演关系是组合论中的一个重要内容，其证明十分繁杂，又要求很高的技巧，将近几年刚刚发展起来的证明组合恒等式的ＷＺ方法运用到反演关系的证明中，从而给出了两类反演关系的机械化证明方法。     

膨化料的特点及用于小鼠的试验研究

本研究通过对两种类型饲料的比较，发现没传统的干烤鼠料相比，膨化过程在对饲料做熟化、臌化处理以提高适口性的同时，还兼有一定的灭菌作用；此外，膨化时短时间高温高压对饲料中不稳定养分一维生素类破坏作用弱。膨化料比干烤鼠料硬、不易破碎，浪费少。用膨化料饲喂生长、繁殖实验小鼠，也获得了同干烤鼠料相同的饲喂效果。因此认为膨化料不仅适用于实验犬、猴、也是一种较为理想的实验小鼠饲料。     

Morphological characteristics of α-Al2O3 crystallites obtained direct1y from hydro /solvothermal solvents

The morphological characteristics of α-Al₂O₃ crystallites obtained directly from hydro/solv othermal solvents are reported and the formation mechanisms of corundum morphology are discussed from crystal growth and crystal chemistry principles. The crystal growth process is considered as a process of incorporation of growth units on the growth interfaces, and the crystal morphology is determined by the linkage of the coordinated polyhedra.     

圆锥螺旋铣刀的铣削力仿真

应用微分几何理论，给出了圆锥螺旋赞和何特性，据此导出了三维非线性铣削力模型，继而采用非线性规划识别切削力系数。     

神农架国家级自然保护区沼泽皱蒴藓沼泽特征分析

神农架巴山冷杉采伐迹地第一次发现了沼泽皱蒴藓沼泽，阐述了沼泽皱蒴藓的生物学特征、群落学特征，初步探讨了沼泽形成原因和演替的过程。     

线性多步法的B-收敛性

本文讨论线性多步法用于求解Hilbert空间中非线性Stiff初值问题时数值解的误差特性。证明了任何A稳定的且经典相容阶为p的线性k步方法必是p阶最佳B-收敛的,这里k≥1,p=1,2.并给出了确定计算初值的一种新的手段,它使得初始误差对整体误差的影响不依赖于问题的刚性。     

甘肃联通GSM网络LAC现状分析及解决方案

GSM网络LAC区的合理规划对移动网络的寻呼成功率、切换成功率、位置更新成功率起到关键的作用。随着移动手机普及,原有LAC区承载的话务量和用户数急剧增加,LAC区内寻呼负荷高,拥塞增加,造成寻呼成功率降低。文章对甘肃省联通公司GSM网络LAC区的寻呼成功率及承载能力进行分析,并针对问题LAC提出了规划调整方案。寻呼性能分析主要评估了甘肃联通现网26个LAC位置区的寻呼负荷,同时给出一些BTS寻呼容量及负荷的计算。