Real time video frames allocation in mobile networks using cooperative pre-fetching

In this paper, we study the bandwidth allocation problem for serving video requests in a mobile real-time video player system. One of the main issues to maintain the quality of services (QoS) in mobile video playback is to ensure sufficient number of video frames available at the client side while a video is being played. However, due to the limited bandwidth of a mobile network and variable workload streaming video, this is not easy to achieve in practice. In addition, the communication link between mobile clients and a video server is subject to frequent errors and temporary disconnection. In this paper, we propose to use the notion of buffered bandwidth in addition to the network bandwidth to support real-time playback of videos at mobile clients. Based on this, we designed a bandwidth allocation scheme called Cooperative Pre-Fetching (CP) in which the amount of bandwidth to be allocated to serve a video request depends on the current buffer level of the video at the client relative to the target buffer level of the client. In determining the target buffer level, we consider the errors in communication to the client as well as the other clients who are concurrently served by the system. The buffered video frames at the clients are then used to minimize the impact of error in communications on the overall QoS of video playbacks in the whole system.

Fault-based test suite prioritization for specification-based testing

Context

Existing test suite prioritization techniques usually rely on code coverage information or historical execution data that serve as indicators for estimating the fault-detecting ability of test cases. Such indicators are primarily empirical in nature and not theoretically driven; hence, they do not necessarily provide sound estimates. Also, these techniques are not applicable when the source code is not available or when the software is tested for the first time.

Objective

We propose and develop the novel notion of fault-based prioritization of test cases which directly utilizes the theoretical knowledge of their fault-detecting ability and the relationships among the test cases and the faults in the prescribed fault model, based on which the test cases are generated.

Method

We demonstrate our approach of fault-based prioritization by applying it to the testing of the implementation of logical expressions against their specifications. We then validate our proposal by an empirical study that evaluates the effectiveness of prioritization techniques using two different metrics.

Results

A theoretically guided fault-based prioritization technique generally outperforms other techniques under study, as assessed by two different metrics. Our empirical results also show that the technique helps to reveal all target faults by executing only about 72% of the prioritized test suite, thereby reducing the effort required in testing.

Conclusions

The fault-based prioritization approach is not only applicable to the instance empirically validated in this paper, but should also be adaptable to other fault-based testing strategies. We also envisage new research directions to be opened up by our work.     

Solid-State Control-Low Voltage Heating of Motors

In recent years, industrial plants have been utilizing more electric motors as drivers because of their high efficiency and reliability and lower maintenance costs. Electrified continuous process plants are using electric motors for both primary and standby drives. When these standby motors are not operating during normal plant runs, their windings collect moisture. Moisture attacks insulation and causes insulation failure. A breakdown of motor insulation may occur when a standby motor is suddenly energized to take the place of the primary motor. When it is not in operation, directly heating the motor winding with a low voltage system, coupled with automatic control, will guard the motor from moisture attack and extend its service life. The experience with low voltage heating of motor windings as described by M. H. Yuen in his article [1] has proved its effectiveness. However, conventional relays, timers, contactors, etc., were utilized in the circuits.     

Two-Stage Structural Health Monitoring Approach for Phase I Benchmark Studies

This paper presents a two-stage structural health monitoring methodology and applies it to the Phase I benchmark study sponsored by the IASC-ASCE Task Group on Structural Health Monitoring. In the first stage, modal parameters are identified using measured structural response from the undamaged system and then from the (possibly) damaged system. In the second stage, these data are used to update a parametrized structural model of the system using Bayesian system identification. The approach allows one to obtain not only estimates of the stiffness parameters but also the probability that damage in any substructure exceeds any specified threshold expressed in terms of a fractional stiffness loss. It successfully identifies the location and severity of damage in all cases of the benchmark problem.     

A Silica‐Aerogel‐Reinforced Composite Polymer Electrolyte with High Ionic Conductivity and High Modulus

High‐energy all‐solid‐state lithium (Li) batteries have great potential as next‐generation energy‐storage devices. Among all choices of electrolytes, polymer‐based systems have attracted widespread attention due to their low density, low cost, and excellent processability. However, they are generally mechanically too weak to effectively suppress Li dendrites and have lower ionic conductivity for reasonable kinetics at ambient temperature. Herein, an ultrastrong reinforced composite polymer electrolyte (CPE) is successfully designed and fabricated by introducing a stiff mesoporous SiO₂ aerogel as the backbone for a polymer‐based electrolyte. The interconnected SiO₂ aerogel not only performs as a strong backbone strengthening the whole composite, but also offers large and continuous surfaces for strong anion adsorption, which produces a highly conductive pathway across the composite. As a consequence, a high modulus of ≈0.43 GPa and high ionic conductivity of ≈0.6 mS cm^?1 at 30 °C are simultaneously achieved. Furthermore, LiFePO₄–Li full cells with good cyclability and rate capability at ambient temperature are obtained. Full cells with cathode capacity up to 2.1 mAh cm^?2 are also demonstrated. The aerogel‐reinforced CPE represents a new design principle for solid‐state electrolytes and offers opportunities for future all‐solid‐state Li batteries.     

Design and analysis of power‐CMOS‐gate‐based switched‐capacitor DC–DC converter with step‐down and step‐up modes

A unified multi‐stage power‐CMOS‐transmission‐gate‐based quasi‐switched‐capacitor (QSC) DC–DC converter is proposed to integrate both step‐down and step‐up modes all in one circuit configuration for low‐power applications. In this paper, by using power‐CMOS‐transmission‐gate as a bi‐directional switch, the various topologies for step‐down and step‐up modes can be integrated in the same circuit configuration, and the configuration does not require any inductive elements, so the IC fabrication is promising for realization. In addition, both large‐signal state‐space equation and small‐signal transfer function are derived by state‐space averaging technique, and expressed all in one unified formulation for both modes. Based on the unified model, it is all presented for control design and theoretical analysis, including steady‐state output and power, power efficiency, maximum voltage conversion ratio, maximum power efficiency, maximum output power, output voltage ripple percentage, capacitance selection, closed‐loop control and stability, etc. Finally, a multi‐stage QSC DC–DC converter with step‐down and step‐up modes is made in circuit layout by PSPICE tool, and some topics are discussed, including (1) voltage conversion, output ripple percentage, and power efficiency, (2) output robustness against source noises and (3) regulation capability of converter with loading variation. The simulated results are illustrated to show the efficacy of the unified configuration proposed. Copyright © 2003 John Wiley & Sons, Ltd.     

Isolation and characterisation of collagen from the ribbon jellyfish (Chrysaora sp.)

Pepsin‐solubilised collagen from the ribbon jellyfish (Chrysaora sp., morphotype 1) umbrella (JPSC) was isolated and characterised. The yield of collagen varied (9–19%, based on ash‐free dry weight) depending on the amount of pepsin used. Type II collagen was the major component of extracted collagen. The peptide map of JPSC differed from that of standard collagen type II, which indicates their different primary structures. FTIR spectra of JPSC, however, did not differ significantly from those of type II collagen. The T_max of JPSC was 37.38 °C, which is higher than that of other marine collagens. Glycine was the main amino acid in JPSC (320 residues per 1000 residues), followed by glutamic acid, alanine, proline, aspartic acid and hydroxyproline. The isoelectric point of JPSC was 6.64. These results indicate that this jellyfish species has the potential to be a marine source of type II collagen that can be used in place of land‐based sources.     

Modeling of a membrane reactor system for crude palm oil transesterification. Part II: Transport phenomena

The mechanistic modeling of biodiesel production process in membrane reactor with the consideration of chemical reaction, phase equilibrium, and ultrafiltration is important for the membrane reactor design. In part II of this work, the chemical and phase equilibrium (CPE) model for crude palm oil transesterification reaction in the membrane reactor developed in part I is extended to an integration of CPE with modified Maxwell–Stefan model, which considers multicomponent mass transport phenomena of concentration polarization and intramembrane. A good fit of simulated permeate fluxes and apparent solute rejection to the experimental data shows that the model has a good prediction capability. Reversible fouling was found to be the major fouling and no pore plugging was observed. Simulation results verified that micelles were retained by the membrane at CPO:MEOH molar ratio of 1:24 and catalyst concentration of 0.5 wt %. However, phase inversion happened when catalyst concentration of 0.05 and 0.1 wt % were used. © 2015 American Institute of Chemical Engineers AIChE J, 61: 1981–1996, 2015     

Rock brittleness indices and their applications to different fields of rock engineering:A review

Brittleness is an important parameter controlling the mechanical behavior and failure characteristics of rocks under loading and unloading conditions,such as fracability,cutability,drillability and rockburst proneness.As such,it is of high practical value to correctly evaluate rock brittleness.However,the definition and measurement method of rock brittleness have been very diverse and not yet been standardized.In this paper,the definitions of rock brittleness are firstly reviewed,and several representative definitions of rock brittleness are identified and briefly discussed.The development and role of rock brittleness in different fields of rock engineering are also studied.Eighty brittleness indices publicly available in rock mechanics literature are compiled,and the measurement method,applicability and limitations of some indices are discussed.The results show that(1)the large number of brittleness indices and brittleness definitions is attributed to the different foci on the rock behavior when it breaks;(2)indices developed in one field usually are not directly applicable to other fields;and(3)the term“brittleness”is sometimes misused,and many empirically-obtained brittleness indices,which lack theoretical basis,fail to truly reflect rock brittleness.On the basis of this review,three measurement methods are identified,i.e.(1)elastic deformation before fracture,(2)shape of post-peak stressestrain curves,and(3)methods based on fracture mechanics theory,which have the potential to be further refined and unified to become the standard measurement methods of rock brittleness.It is highly beneficial for the rock mechanics community to develop a robust definition of rock brittleness.This study will undoubtedly provide a comprehensive timely reference for selecting an appropriate brittleness index for their applications,and will also pave the way for the development of a standard definition and measurement method of rock brittleness in the long term.     

Simultaneous quantification of free fatty acids,free sterols,squalene, and acylglycerol molecular species in palm oil by high-temperature gas chromatography-flame ionization detection

This paper discusses a rapid GC-FID technique for the simultaneous quantitative analysis of FFA, MAG, DAG, TAG, sterols, and squalene in vegetable oils, with special reference to palm oil. The FFA content determined had a lower SE compared with a conventional titrimetric method. Squalene and individual sterols, consisting of β-sitosterol, stigmasterol, campesterol, and cholesterol, were accurately quantified without any losses. This was achieved through elimination of tedious conventional sample pretreatments, such as saponification and preparative TLC. With this technique, the separation of individual MAG, consisting of 16∶0, 18∶0, and 18∶1 FA, and the DAG species, consisting of the 1,2(2,3)- and 1,3-positions, was sufficient to enable their quantification. This technique enabled the TAG to be determined according to their carbon numbers in the range of C₄₄ to C₅₆. Comparisons were made with conventional methods, and the results were in good agreement with those reported in the literature.