Flocking in Fixed and Switching Networks

This note analyzes the stability properties of a group of mobile agents that align their velocity vectors, and stabilize their inter-agent distances, using decentralized, nearest-neighbor interaction rules, exchanging information over networks that change arbitrarily (no dwell time between consecutive switches). These changes introduce discontinuities in the agent control laws. To accommodate for arbitrary switching in the topology of the network of agent interactions we employ nonsmooth analysis. The main result is that regardless of switching, convergence to a common velocity vector and stabilization of inter-agent distances is still guaranteed as long as the network remains connected at all times     

A criterion for atomicity revisited

Concurrent and reactive programs are specified by their behaviours in the presence of a nondeterministic environment. In a natural way, this gives a specification (ARW) of an atomic variable in the style of Abadi and Lamport. Several implementations of atomic variables by lower level primitives are known. A few years ago, we formulated a criterion to prove the correctness of such implementations. The proof of correctness of the criterion itself was based on Lynch’s definition of atomicity by serialization points. Here, this criterion is reformulated as a specification HRW in the formal sense. Simulations from HRW to ARW and vice versa are constructed. These now serve as a constructive proof of correctness of the criterion. Eternity variables are used in the simulation from HRW to ARW. We propose so-called gliding simulations to deal with the problems that appear when occasionally the concrete implementation needs fewer steps than the abstract specification.     

建立基于模型设计文化的最佳策略

本文引入了基于模型设计的概念,突出了其中的一些优点,详细讨论了组织中采用基于模型设计文化的10个最佳策略。这些最佳策略从不同工业领域的公司中收集,包括向基于模型设计的成功或者不成功的过渡。     

Decoder Initializing Technique for Improving Frame-Erasure Resilience of a CELP Speech Codec

The authors present and evaluate a technique for synchronizing the internal states of a code-excited-linear-prediction (CELP) encoder and decoder after the occurrence of frame erasure. The designed technique, called ldquoduplicated transmission (DT),rdquo uses some redundant information for realizing synchronization. The encoder performs encoding processes twice and sends two codes for each frame. One code is encoded by an encoder that is initialized. The code is used in cases where the previous frame is erased. An onset detector is combined with the DT technique to select the frames to which the DT should be applied. Subjective test results suggest that, by introducing DT selectively, the number of DT frames is reducible by about 80% without degrading the subjective quality. Results demonstrate that synchronization of the internal states is effective in cases of erasure of onset. The DT technique requires no additional algorithmic delay. For that reason, it would a better choice for particular applications for which the delay has a significant impact.     

On a responsive replenishment system: a fuzzy logic approach

In today's competitive business environment, it is important that customers are able to obtain their preferred items in the shops they visit, particularly for convenience store chains such as 7–Eleven where popular items are expected to be readily available on the shelves of the stores for buyers. To minimize the cost of running such store chains, it is essential that stocks be kept to a minimum and at the same time large varieties of popular items are available for customers. In this respect, the replenishment system needs to be able to cope with the taxing demands of minimal inventory but at the same time keeping large varieties of needed items. This paper proposes a replenishment system which is able to respond to the fluctuating demands of customers and provide a timely supply of needed items in a cost–effective way. The proposed system embraces the principle of fuzzy logic which is able to deal with uncertainties by virtue of its fuzzy rules reasoning mechanism, thereby leveraging the responsiveness of the entire replenishment system for the chain stores. To validate the feasibility of the approach, a case study has been conducted in an emulated environment with promising results.     

Swelling properties of chemically modified oil palm empty fruit bunch based polyurethane composites

In this study, the diffusion of various types of solvent in oil palm empty fruit bunch/polyurethane composites, produced from chemically modified empty fruit bunches, was investigated. The solubility parameters and polymer–solvent interaction parameters of the produced composites were determined. The void contents of the composites were also determined before swelling tests to eliminate the free solvent present in the system. From the results obtained, we found that the diffusion of the solvents was dependent on the compatible group available and the voids present in the system. The solubility parameters of the empty fruit bunch/polyurethane composites with different degrees of chemical modification were 11.6 and 11.7 (cal/cm^?3)^1/2. © 2008 Wiley Periodicals, Inc. J Appl Polym Sci, 2008     

Thermal and mechanical properties of epoxy composites reinforced by a natural hydrophobic sand

If a low weight percentage of crude fine fillers can improve properties of polymer materials directly without complicated chemical treatment process involved, it will be significant for many industrial applications. Our previous study indicated that a kind of Cancun natural sand could be an effective filler material for polymer composites. In this current work, the epoxy composites reinforced by this kind of natural sand particles were prepared and thermal and mechanical properties of the composites containing up to 5 wt % of the sand particles were characterized. Results showed that the highest flexural strength appears in the epoxy composite containing 1 wt % sand particles. A damage model was used to interpret the flexural properties, which showed an acceptable agreement with the experimental results. The glass transition temperature, high temperature storage modulus, and dimensional stability of the sand/epoxy composites monotonically increased with the addition of the sand particles. The sand particle/epoxy composites also displayed a noticeable enhancement in thermal conductivity. Theoretical analysis showed that in addition to conduction, other heat transport mechanisms played roles in the improved heat transmission through the composites. As a natural porous micron-scale material, Cancun sand has the potential for applications in cost-effective composites with enhanced mechanical and thermal properties. © 2008 Wiley Periodicals, Inc. J Appl Polym Sci, 2008     

pH and salt responsive poly(N,N-dimethylaminoethyl methacrylate) cylindrical brushes and their quaternized derivatives

We present the synthesis and characterization of poly(N,N-dimethylaminoethyl methacrylate) (PDMAEMA) cylindrical brushes, their pH responsiveness, and the corresponding quaternized analog, poly{[2-(methacryloyloxy)ethyl] trimethylammonium iodide} (PMETAI) brushes. PDMAEMA brushes were prepared by atom transfer radical polymerization (ATRP) using the grafting-from strategy. Initiating efficiencies of the ATRP processes were determined by cleaving the side-chains and gel permeation chromatography (GPC) analysis. Due to the slow initiation and steric hindrance, the initiating efficiency is only around 50%. The PDMAEMA brushes show worm-like structures and pH responsiveness, as proven by dynamic light scattering (DLS), atomic force microscopy (AFM), and cryogenic transmission electron microscopy (cryo-TEM) measurements. Strong cationic polyelectrolyte PMETAI brushes were produced by quaternization of the PDMAEMA brushes. AFM and cryo-TEM images showed similar worm-like morphologies for the PMETAI brushes. The PMETAI brushes collapsed in solution with high concentration of monovalent salt, as proven by DLS and AFM results.