大型网络系统可靠度计算软件的空间可压缩性理念及相应处理技术

针对用最小路集法求解网络系统可靠度这一问题阐述了大型网络系统可靠度计算软件设计中的空间可压缩性理念,同时介绍相应的空间压缩处理技术,从而指出大型网络系统可靠度计算软件优化设计的发展趋势。     

TDMA系统中语音和数据多路复用的最优化设计

现代移动通信领域中,数据业务的发展,需要把越来越多的数字信号与传统的语音信号复合起来在信道中传输。如果没有有效的机制,语音信号的传输常常会被数据信号所阻断,而数据信号的时延也会令人无法忍受。该文应用最优化设计理论中惩罚函数的算法,搜索语音与数据在帧中最佳相对位置,使语音传输被阻断的概率和数据排队的延迟达到最小。从而优化了结构,获得最大的吞吐量、提高了TDMA传输系统的性能。     

基于故障仿真确定测试矢量最小测试集方法的研究

为了减少测试矢量，有必要对电路中的故障加以分析，寻找各类故障之间的关系，以求压缩测试矢量。本文提出了一种通过并行故障仿真来确定测试矢量最小故障集的方法。该方法将并行故障仿真与布尔约简法相结合，利用并行故障仿真结果确定出故障点和测试矢量的对应关系。然后根据布尔约简法即可求出测试矢量的最小故障集。     

Ozonation of Continuous-Flow Activated Sludge for Reduction of Waste Solids

The ultimate disposal of wastewater sludge has been, and continues to be, one of the most expensive problems faced by wastewater utilities in the United States. The objective of this research was to apply cell lysis and cryptic growth principles to activated sludge to study the applicability of ozonation to reduce the mass of secondary sludge. The study produced data and details for application of ozone to reduce secondary sludge production. The application of ozone reduced the mass of waste sludge by 30 to 50% depending on the ozonation rate and period.     

Computing behavior of finite fuzzy machines – Algorithm and its application to reduction and minimization

We define finite fuzzy machines and investigate their behavior. Algorithm and software are proposed for computing behavior, for establishing equivalence and redundancy of states and for solving reduction and minimization problems. Computational complexity of the algorithm is discussed. Testing examples are supplied. The results are valid for finite max–min, min–max and max–product fuzzy machines.     

模拟的概念、计算及在自动机最小化上的应用

对Bachi自动机进行优化是提高基于自动机的模型检测效率的重要手段。本文对直接模拟关系，延迟模拟关系和公平模拟关系的概念，算法进行了比较，并探讨了基于这些模拟关系的自动机优化方法。最后对未来的研究方向作了简要的介绍。     

核电厂放射性废物最少化的目标及其具体实施

本文介绍了核电厂放射性废物最少化的定义、目标,从源项控制、物料的再循环和复用、废物减容技术的应用以及管理最优化等四个方面讨论了如何在我国核电厂具体实施废物最少化,并对开展这方面的工作提出了一些建议。     

An Adaptive Weighted Bisection Method For Finding Roots Of Non-Linear Equations

In this paper, an algorithm for finding the roots of non-linear equations is developed by introducing a weight in the formula of the Bisection Method (BM). Initially, we use a fixed weight to solve an equation in the least possible number of iterations. In a second stage, we develop a method termed as the Adaptive Weighted Bisection Method (AWBM) in order to update the weight at each iteration. The adaptation is achieved by minimizing the function values of the iterates with respect to the weight. Our numerical experiments show that, the AWBM, based on minimizing a function value with respect to the weight, achieves quadratic convergence. However, the method differs from the classic second order Newton-Raphson by guaranteeing convergence through bracketing.     

Two-Level Multiple-Output Logic Minimization Using A Single Function

A new method for obtaining a two-level collective minimal cover for a set of incompletely-specified switching functions $S=\{f_1,f_2,\ldots,f_n\}$ is presented. The method relies on the introduction of a single auxiliary function F whose subfunctions (restrictions) with respect to some additional auxiliary variables $y_1,y_2,\ldots,y_{n-1}$ are certain members of S . The complete sum of F has full information on the multiple-output prime implicants (MOPIs) of the set of functions S . A particularly constrained minimal cover for F contains only labeled versions of some paramount prime implicants (PPIs) of S and can be used to construct a multiple-output minimal cover for S . The present method can proceed by map, algebraic or tabular techniques, though only the map version is presented herein. This version employs a single map whose construction avoids the ANDing operations needed in the classical method, and whose size is almost one half the total size of the maps used by the classical method, and whose entries can be variable as well as constant. The minimization process is a direct two-step technique that avoids constructing the set of all PPIs as it produces only these PPIs needed in the minimal cover. Details of the method are carefully explained and illustrated via a typical example.     

用西门子数控系统双电动机驱动消隙功能提高机床传动精度

介绍了西门子数控系统双电动机驱动消隙功能及原理,阐述了双电动机驱动消隙功能在数控龙门镗铣床上的应用方法。