Systematic packaging design tools integrating functional and environmental consequences on product life cycle: Case studies on laundry detergent and milk

This study presents systematic packaging design tools integrating functional and environmental consequences on product life cycle. To design packaging for sustainability, the trade-offs between functional and environmental aspects of packaging throughout the product life cycle should be considered. However, it is difficult for packaging designers to understand the overall trade-offs because the extent of the design consequences on the entire life cycle of packaging and its contents is unclear. We developed two tools for packaging design: the Life Cycle Association Matrix (LCAM) and the Function Network Diagram (FND). The following three steps, based on literature reviews and interviews with industrial experts, were applied. Firstly, we listed the product functions and design variables related to the functions as the attributes allocated to the product life cycle. Secondly, the attributes were connected appropriately based on causal relationships. Lastly, we identified the factors to support decision making in the packaging design procedure. As a result, the LCAM depicts the design consequences on the life cycle, and the FND determines the stakeholders affected by the design consequences. Two case studies were demonstrated to analyze the trade-offs by using our tools. In the case studies, a liquid laundry detergent bottle and a milk carton were redesigned. The tools identified the design consequences and stakeholders affected by the redesign of the usability and protective function for the detergent and milk cases, respectively. The results showed the significance of understanding the design consequences on the product life cycle by integrating the functional and environmental aspects.     

M-estimator based Chinese Remainder Theorem with few remainders using a Kroenecker product based mapping vector

The Chinese Remainder Theorem (CRT) explains how to estimate an integer-valued number from the knowledge of the remainders obtained by dividing such unknown integer by co-prime integers. As an algebraic theorem, CRT is the basis for several techniques concerning data processing. For instance, considering a single-tone signal whose frequency value is above the sampling rate, the respective peak in the DFT informs the impinging frequency value modulo the sampling rate. CRT is nevertheless sensitive to errors in the remainders, and many efforts have been developed in order to improve its robustness. In this paper, we propose a technique to estimate real-valued numbers by means of CRT, employing for this goal a Kroenecker based M-Estimation (ME), specially suitable for CRT systems with low number of remainders. Since ME schemes are in general computationally expensive, we propose a mapping vector obtained via Kroenecker products which considerably reduces the computational complexity. Furthermore, our proposed technique enhances the probability of estimating an unknown number accurately even when the errors in the remainders surpass 1/4 of the greatest common divisor of all moduli. We also provide a version of the mapping vectors based on tensorial n-mode products, delivering in the end the same information of the original method. Our approach outperforms the state-of-the-art CRT methods not only in terms of percentage of successful estimations but also in terms of smaller average error.     

螺旋槽管强化传热原理及在石化装置上的应用前景

详细介绍了螺旋槽管换热器的强化传热原理 ,阐明了在无相变和有相变两种工况下 ,螺旋槽管换热器的强化作用 ,并介绍了螺旋槽管换热器的设计计算方法。说明了在石油化工装置上应用的必要性     

多项式正交滤波器与共轭正交滤波器组

主要讨论了多项式正交滤波器和共轭正交滤波器组的构造方法，首先利用Riesz引理和特殊的余弦三角形多项式，给出了一种多项式正交滤波器的构造算法，该算法可以构造出一系列特性各异的紧支撑正交小波基；还给出了由一个矩阵CQFs派生多个新的矩阵CQFs的共轭正交滤波器组算法,包括由低阶矩阵CQFs构造高阶矩阵CQFs。     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Symmetric BEM formulations for 2-D steady-state and transit potential problems

This paper presents a new concept for symmetric boundary element method (SBEM) applicable to 2-D steady-state and transit potential problems. Two kinds of SBEM formulations are derived. Symmetry is obtained simply through matrix manipulation, and no hypersingularity appears. Therefore, SBEM is much easier than the traditional symmetric Galerkin BEM. Compared with the traditional asymmetric BEM, the present SBEM can reduce the computational cost for time domain problems only. However, when applied to BEM/FEM coupling procedure, SBEM can reduce the computational cost for both steady-state and time domain problems. Three numerical examples are included to illustrate the effectiveness and accuracy of the present formulations.     

爱立信/Juniper路由器集群方案介绍

首先简要介绍了集群技术和路由器集群方案,重点说明了其核心——交换网络的结构及其原理,最后对该方案的优点进行了归纳、总结。     

Equivalent Conditions for Convergence of Splittings of Non-Hermitian Indefinite Matrices

We present some sufficient and necessary conditions for convergent splitting of a non-Hermitian indefinite matrix. Some sufficient conditions to determinate a matrix with a (strongly) dominant symmetric part for a class of boundary value problem are also obtained. These results are applicable to identify the convergence of iterative methods for solving large sparse systems of linear equations.