离心级联水力学的扰动分析

为了提高离心级联的分离效果,研究各级机器参数扰动时所引起的流体状态偏移。在求解离心级联水力学静态特征根的基础上,以扰动级为界,通过对级联贫化、浓化部分分段求解,得到了水力学流体状态偏移的解析解,并用数值实验加以验证。结果表明:对于小扰动情况下的离心级联,解析与数值两种方法得到的流体状态偏移曲线十分相似,主静态特征根Z2对级联中压强和流量的偏移起主导作用。因此,该解析解可以为实际离心级联参数的调整和设计提供参考依据。     

功率型发光二极管芯片的温度场与应力场

发光二极管(LED)的结点温度和应力分布对它的发光效率、可靠性和寿命有着至关重要的影响。为了优化器件的性能,该文利用有限元方法对功率型LED芯片在不同输入功率、基板材料、换热条件下的温度和热应力进行了模拟与分析。结果表明,目前广泛应用的Sapphire基板效果不是很好,如果能减小晶格不匹配的影响,采用硅基板是较好的选择。当基板导热系数、换热系数大于一定值后,单纯的改进基板的导热系数或强化基板换热,对提高器件的性能已经没有明显的效果。     

Out-of-Bounds Array Access Fault Model and Automatic Testing Method Study

Out-of-bounds array access(OOB) is one of the fault models commonly employed in the objectoriented programming language. At present, the technology of code insertion and optimization is widely used in the world to detect and fix this kind of fault. Although this method can examine some of the faults in OOB programs, it cannot test programs thoroughly, neither to find the faults correctly. The way of code insertion makes the test procedures so inefficient that the test becomes costly and time-consuming. This paper, uses a kind of special static test technology to realize the fault detection in OOB programs. We first establish the fault models in OOB program, and then develop an automatic test tool to detect the faults. Some experiments have exercised and the results show that the method proposed in the paper is efficient and feasible in practical applications.     

Practical Strategies to Improve Test Efficiency

This paper introduces strategies to detect software bugs in earlier life cycle stage in order to improve test efficiency. Static analysis tool is one of the effective methods to reveal software bugs during software development. Three popular static analysis tools are introduced, two of which, PolySpace and Splint, are compared with each other by analyzing a set of test cases generatedd by the authors. PolySpace can reveal 60% bugs with 100% R/W ratio (ratio of real bugs and total warnings), while Splint reveal 73.3% bugs with 44% R/W ratio. And they are good at finding different categories of bugs. Two strategies are concluded to improve test efficiency, under the guideline that static analysis tools should be used in finding different categories of bugs according to their features. The first one aims at finding bugs as many as possible, while the second concentrates to reduce the average time on bug revelation. Experimental data shows the first strategy can find 100% bugs with 60% R/W ratio, the second one find 80% bugs with 66.7% R/W ratio. Experiment results prove that these two strategies can improve the test efficiency in both fault coverage and testing time.     

静电场电势零点的选择

关于静电场中电势零点的选择,在原则上是可以任意选定的,而在某些情况下电势零点的选择要受到一定的限制。本文将从数学和物理的角度说明其选择的任意性,以及如何选择电势零点才既有物理意义又方便解题。最后讨论零点不同的电势如何进行叠加。     

Er(NO3)3在DMF中活度系数的测定

应用电导法在293K～313K温度范围内测定了Er(NO3)3在DMF溶剂中的电导率,利用Debye-Hücker 和Osager-Falkenhangen公式计算了Er(NO3)3在DMF溶剂中的平均活度系数,并讨论了温度和浓度对电解质溶液活度系数的影响.     

Windows API与DLL

本文讨论了Windows API的不同版本以及不同版本的API的调用对程序运行产生的影响，据此解释了一些软件在某个版本的Windows中能够运行但在另一个版本的Windows中无法运行的原因。文中同时阐述了Windows API与动态链接库DLL的关系，并相对与静态链接论述了动态链接DLL的优越性。     

电力系统电压崩溃特征判据综述

综述了基于不同系统模型的电压崩溃特征判据在电力系统电压稳定分析中的应用状况 ,评述了各判据的优点和缺点 ,提出了判据进一步完善的建议     

单双层球面网壳结构的静力特性及其稳定性能分析

结合一工程实例，将单层球面网壳结构与双层抽空四角锥球面壳结构结合起来，设计了一种新型的空间结构型式，即单双层抽空四角锥球面壳结构，简要介绍了该网壳的设计过程，并采用全铰接模型分析了单双层网壳结构的承载力，应用Lanczos法求解了网壳结构的特征值及特征向量，并运用柱面弧长法跟踪了结构的非线性平衡路径，同时考虑了初始几何缺陷的影响，对比分析了两种不同支座条件的线性及非线性屈曲特征，并得出一些结论，供工程界参考。     

活性炭填充电极电解法处理含酚废水的试验研究

初步探讨了活性炭填充电极电解法处理苯酚废水的机理,对影响活性炭填充电极电解法处理苯酚废水去除率的各种要素,如反应时间、电流密度、原水浓度、pH值等进行了条件试验,得出了活性炭填充电极电解法去除苯酚静态试验的最佳试验条件。