Pyrolysis characteristics of waste tire particles in fixed-bed reactor with internals

This study investigated the characteristics of pyrolysis for waste tire particles in the newly developed fixed-bed reactor with internals that are a central gas collection channel mounted inside reactor. And a few metallic plates vertically welded on the internal wall of the reactors and extending to the region closing their central gas collection pipe walls. Experiments were conducted in two laboratory fixed bed reactors with or without the internals. The results shown that employing internals produced more light oil at externally heating temperatures above 700 °C due to the inhibited secondary reactions in the reactor. The oil from the reactor with internals contained more aliphatic hydrocarbons and fewer aromatic hydrocarbons, leading to its higher H/C atomic ratios as for crude petroleum oil. The char yield was relatively stable for two beds and showed the higher heating values (HHVs) of about 23 MJ/kg. The gaseous product of pyrolysis mainly consisted of H2 and CH4, but the use of internals led to less pyrolysis gas through its promotion of oil production. Keywords: Pyrolysis, Waste tire, Fixed bed, Internals, Secondary reaction

Embedded Palmprint Recognition System Using OMAP 3530

We have proposed in this paper an embedded palmprint recognition system using the dual-core OMAP 3530 platform. An improved algorithm based on palm code was proposed first. In this method, a Gabor wavelet is first convolved with the palmprint image to produce a response image, where local binary patterns are then applied to code the relation among the magnitude of wavelet response at the ccentral pixel with that of its neighbors. The method is fully tested using the public PolyU palmprint database. While palm code achieves only about 89% accuracy, over 96% accuracy is achieved by the proposed G-LBP approach. The proposed algorithm was then deployed to the DSP processor of OMAP 3530 and work together with the ARM processor for feature extraction. When complicated algorithms run on the DSP processor, the ARM processor can focus on image capture, user interface and peripheral control. Integrated with an image sensing module and central processing board, the designed device can achieve accurate and real time performance

Electromagnetic Transient-Transient Stability Analysis Hybrid Real-Time Simulation Method of Variable Area of Interest

To make the object of electromagnetic transient (EMT) simulation flexible to change, the authors propose using the method of electromagnetic transient-transient stability analysis (TSA) hybrid real-time simulation of the variable area of interest. The area where the fault is to be set, or where the operation takes place, is defined as the area of interest. The simulation object is divided into multiple sub-networks. The EMT simulation range is determined according to the voltage drop depth at the boundary of the adjacent sub-network caused by the three-phase short-circuit fault at the boundary of an area of interest. The Norton equivalent is obtained by using the sub-network as a basic unit. The electromagnetic sub-network forms its own Norton equivalent on the TSA side by means of the Norton equivalent admittance of its TSA model. Based on this, the overall framework of hybrid real-time simulation of the variable area of interest is constructed. The fundamental phasor prediction and Norton equivalent current source prediction are adopted to reduce the interface error. The performance of the proposed method in terms of feasibility, flexibility, and effectiveness have been verified by the simulation studies on the IEEE 118-bus system

On the Parallel Complexity of Model Checking in the Modal Mu-Calculus

The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We show that Model Checking in the Modal Mu-Calculus (MCMMC) --- the problem of checking whether an LTS is a model of a formula of the propositional modal mu-calculus --- is P-hard even for a very restrictive version of the problem involving the alternation-free fragment. In particular, MCMMC is P-hard even if the formula is fixed and alternationfree, and the LTS is deterministic, acyclic, and has fan-in and fan-out bounded by 2. The reduction used is from a restricted version of the circuit value problem known as Synchronous Alternating Monotone Fanout 2 Circuit Value Problem. Our P-hardness result is tight in the sense that placing any further non-trivial restrictions on either the formula or the LTS results in membership in NC for MCMMC. Specifically, we exhibit NC-algorithms for two potentially useful versio..

China biomass-to-heat market evaluation and policy recommendations of development

This research focused on comparative analysis on the economic efficiency of biomass-to-heat with that of traditional modes of heat production by coal, oil and natural gas in a bid to determine the competitiveness, and potential for scaling up and commercialization. The research showed that BMF-to-heat is competitive and its cost is equivalent to coal in some regions in China, especially where with a higher demand for clean energy, BMF will become the best alternative. However, in regions where coal price is low, BMF is less competitive and supportive government policies are required to further promote its application. Biomass gasification and biomethane/biogas are slightly less competitive than coal, but slightly more than gas. They are relatively promising to commercialize. Based on the market evaluation research results, this paper proposes the policy recommendations for the large-scale and commercial development of biomass energy heating in China

Cultivating New Agricultural Operators to Promote the Transformation and Upgrading of Traditional Agriculture——A Case Study of Nanchong City

In order to provide reference for cultivating new agricultural operators to promote the transformation and upgrading of traditional agriculture, the main practices, achievements and problems of cultivating new agricultural operators to promote the transformation and upgrading of traditional agriculture in Nanchong City, Sichuan Province were analyzed firstly, and then some measures were proposed