Optimal solutions for a dynamic bandwidth allocation scheme in high-speed networks

In this paper, we investigate the problem of determining the optimal bandwidth allocation for a Dynamic Bandwidth Allocation Scheme (DBAS). The objective is to minimize the total amount of bandwidth required to satisfy the Quality of Service (QoS) requirements of all traffic streams. It is shown that when the performance functions satisfy a certain number of conditions, there exists a unique optimal bandwidth allocation such that, for each traffic stream, either its QoS is just satisfied or its QoS is over-satisfied and it is allocated zero bandwidth. Such an allocation is said to be efficient. It is also shown that there exists a unique efficient allocation in the entire feasible region. An iterative algorithm is developed to compute the efficient allocation employing its special properties. Numerical examples are presented to demonstrate how the algorithm works. Future extensions of this work are also discussed.Partially supported by NSERC of Canada through grants OGP14020 and STRIN-200.     

Characterization of zero locations of polytopes of real polynomials

Given a stability region of a polytope of polynomials, the edge theorem can be used to verify certain root-clustering properties of the polytope. The authors consider the inverse problem; starting with a polytope of real polynomials, they present a result that allows the construction of the smallest set of regions in the complex plane which characterizes its zero location     

Real-Time Quality Evaluation of Wire Bonding Using Input Impedance

Input impedance characterizes the dynamic property of a linear system. A few existing technologies thus exploit input electrical impedance of wire bonders as the signature to monitor ultrasonic wire bonding processes. However, the waveforms of "impedance" in these technologies are evaluated only approximately. To overcome the shortcoming, we propose a method to detect the true waveforms of both the real and imaginary part of the input impedance. In the method, the voltage and current at the input port of a wire bonder are probed and processed to obtain impedance via Hilbert Transform. Because dynamics of a bonding process represented by these waveforms is fully responsible for the resulted bonding quality, a quality evaluation system based on pattern recognition of these waveforms is further proposed. An artificial neural network using back propagation as training scheme learns from a set of training data to correlate a few features of the impedance waveforms with the bonding strength of the corresponding bond identified by shearing tests. Through a set of verification data, the built system is validated to be capable of evaluating bonding quality right after a bonding process. The proposed method is not only in situ and real-time, but also sensorless, which means that the system is easy to be implemented without interfering operation     

Hot corrosion ofα-SiC ceramics by V2O5 melt

The corrosion behaviour of-SiC in V₂O₅ melt has been investigated at elevated temperatures. The corrosion products on the surface of the specimen are removed using HF. The morphologies are also examined. From the observations of bubble formation in the scale and the temperature dependence of the corrosion rate, a kinetic mechanism is proposed. Based on the consistency of the plotted data with the proposed equation and high values of surface reaction rate constant, a diffusion controlling process has been developed.     

Lead recovery from aqueous environment by using porous carbon of citrus fruits waste: equilibrium,kinetics and thermodynamic studies

ABSTRACT

The mixture of citrus fruits (orange, grapefruit, mandarin, and lemon) wastes was utilized to obtain high surface area activated carbon (AC) by H₃PO₄ activation. The production conditions were optimized and the optimum conditions were determined. The optimal-activated carbon (CFWAC) was characterized by various physicochemical techniques. CFWAC was also used as a sorbent for Pb (II) ions from water. Batch experiments were performed to explore the adsorption capacity and mechanism. The Langmuir isotherm and pseudo-second-order kinetic model showed good fitness to the experimental data. The maximum Pb (II) adsorption capacity of CFWAC was found to be 163.93 mg/g.     

A talking profile to distinguish identical twins

Identical twins pose a great challenge to face recognition due to high similarities in their appearances. Motivated by the psychological findings that facial motion contains identity signatures and the observation that twins may look alike but behave differently, we develop a talking profile to use the identity signatures in the facial motion to distinguish between identical twins. The talking profile for a subject is defined as a collection of multiple types of usual face motions from the video. Given two talking profiles, we compute the similarities of the same type of face motion in both profiles and then perform the classification based on those similarities. To compute the similarity of each type of face motion, we give higher weights to more abnormal motions which are assumed to carry more identity signature information.     

The kinetics of B‐a and P‐a type copolybenzoxazine via the ring opening process

The structure of benzoxazines is similar to that of phenolic resin through thermal self‐curing of the heterocyclic ring opening reaction that neither requires catalyst nor releases any condensation byproduct. These polybenzoxazine resins have several outstanding properties such as high thermal stability and high glass transition temperature. To better understand the curing kinetics of this copolybenzoxazine thermosetting resin, dynamic and isothermal differential scanning calorimetry measurements were performed. Three models, the Kissinger method, the Flynn–Wall–Osawa method, and the Kamal method, were used to describe the curing process. Dynamic kinetic activation energies based on Kissinger and Flynn–Wall–Osawa methods are 72.11 and 84.06 KJ/mol, respectively. The Kamal method based on an autocatalytic model results in a total order of reaction between 2.66 and 3.03, depending on curing temperature. Its activation energy and Arrhenius preexponential are 50.3 KJ/mol and 7959, respectively. © 2004 Wiley Periodicals, Inc. J Appl Polym Sci 95: 730–737, 2005     

Analysis of two authorization protocols using Colored Petri Nets

To prevent unauthorized access to protected trusted platform module (TPM) objects, authorization protocols, such as the object-specific authorization protocol (OSAP), have been introduced by the trusted computing group (TCG). By using OSAP, processes trying to gain access to the protected TPM objects need to prove their knowledge of relevant authorization data before access to the objects can be granted. Chen and Ryan’s 2009 analysis has demonstrated OSAP’s authentication vulnerability in sessions with shared authorization data. They also proposed the Session Key Authorization Protocol (SKAP) with fewer stages as an alternative to OSAP. Chen and Ryan’s analysis of SKAP using ProVerif proves the authentication property. The purpose of this paper was to examine the usefulness of Colored Petri Nets (CPN) and CPN Tools for security analysis. Using OSAP and SKAP as case studies, we construct intruder and authentication property models in CPN. CPN Tools is used to verify the authentication property using a Dolev–Yao-based model. Verification of the authentication property in both models using the state space tool produces results consistent with those of Chen and Ryan.     

Robust Kalman filtering for uncertain discrete-time systems with probabilistic parameters bounded within a polytope

We consider the problem of finite horizon discrete-time Kalman filtering for systems with parametric uncertainties. Specifically, we consider unknown but deterministic uncertainties where the uncertain parameters are assumed to lie in a convex polyhedron with uniform probability density. The condition and a procedure for the construction of a suboptimal filter that minimizes an expected error covariance over-bound are derived.