Preparation of high-activity coal char-based catalysts from high metals containing coal gangue and lignite for catalytic decomposition of biomass tar

The potential of using high metals containing coal gangue and lignite to prepare high-activity coal char-based catalysts is investigated for effective biomass tar decomposition. Loose structure and rough surface are formed for these char-based catalysts with heterogeneous distribution of a large number of inorganic particles. In the biomass tar decomposition, the performance of the coal char-based catalysts is significantly influenced by the content of the metals in the raw materials and coal gangue char (GC) with the ash content as high as 50.80% exhibits the highest activity in this work. A high biomass tar conversion efficiency of 93.5% is achieved at 800 °C along with a significant increase in the fuel gas product. During the five-time consecutive tests, the catalytic performance of GC increases a little at the second or third times reuse and remains relatively stable, showing the remarkable stability of the catalyst in biomass tar decomposition applications.     

A novel utilized method of tar derived from biomass gasification for fabricating binder-free all-solid-state hybrid supercapacitors

As an industrial pollutant, tar derived from biomass gasification is used as the precursor for fabricating a novel carbon-metal hydroxides composite electrode. A slurry (the mixture of tar, KOH and melamine) is daubed uniformly onto the nickel foam, which is directly carbonized to form NPC@LDH electrode material. This electrode is further coated with NiCo-LDH nanosheets using an electrodeposition method to form NF@NPC@LDH. The newly made NF@NPC@LDH electrode exhibits a high specific capacity of 9.6 F cm⁻² at a current density of 2 mA cm⁻² and good rate performance (55.3% retention). Furthermore, a hybrid NF@NPC@LDH//NF@PC all-solid-state supercapacitor is fabricated, and the device exhibits high energy density of 1.28 mWh cm⁻³ at a power density of 8.04 mW cm⁻³, low resistance and good cycling stability.     

Maximum Cardinality Search for Computing Minimal Triangulations of Graphs

We present a new algorithm, called MCS-M, for computing minimal triangulations of graphs. Lex-BFS, a seminal algorithm for recognizing chordal graphs, was the genesis for two other classical algorithms: LEX M and MCS. LEX M extends the fundamental concept used in Lex-BFS, resulting in an algorithm that not only recognizes chordality, but also computes a minimal triangulation of an arbitrary graph. MCS simplifies the fundamental concept used in Lex-BFS, resulting in a simpler algorithm for recognizing chordal graphs. The new algorithm MCS-M combines the extension of LEX M with the simplification of MCS, achieving all the results of LEX M in the same time complexity.     

Multiple object semilinear motion planning

We present a method based on extended linear real quantifier elimination for multiple object semilinear motion planning, i.e. finding collision-free trajectories for several robots in a time dependent environment. For practical applicability the method is limited to polygonal objects and linear trajectories. It can, however, deal with situations involving even non-convex objects.     

Compile-time copy elimination

Single-assignment and functional languages have value semantics that do not permit side-effects. This lack of side-effects makes automatic detection of parallelism and optimization for data locality in programs much easier. However, the same property poses a challenge in implementing these languages efficiently. This paper describes an optimizing compiler system that solves the key problem of aggregate copy elimination. The methods developed rely exclusively on compile-time algorithms, including interprocedural analysis, that are applied to an intermediate data flow representation. By dividing the problem into update-in-place and build-in-place analysis, a small set of relatively simple techniques—edge substitution, graph pattern matching, substructure sharing and substructure targeting—was found to be very powerful. If combined properly and implemented carefully, the algorithms eliminate unnecessary copy operations to a very high degree. No run-time overhead is imposed on the compiled programs.     

基于MATLAB仿真的无功补偿电容器投切控制研究

对目前常用的无功补偿电容器投切控制方案所存在的不足进行了详细的分析,给出了补偿电容器投切的优化控制方案,并在MATLAB电力仿真环境下进行了仿真试验。结果表明,所提出的优化方案达到较理想的效果。     

低温吸附法脱除一氧化碳中甲烷的实验研究

在液氮温度下,采用吸附剂CNA X进行低温脱甲烷动态吸附实验,结果表明CNA X在液氮温度下可以将一氧化碳中0 1%左右的甲烷脱除到10×10-6。     

二甲基甲酰胺溶剂回收装置焦油塔减压改造方案

实验研究了纯二甲基甲酰胺(DMF)水溶液和焦油塔进料在不同减压压力条件下的水解变化规律,确定了焦油塔减压操作的适宜操作压力和减压操作方案。     

Obtaining shorter regular expressions from finite-state automata

We consider the use of state elimination to construct shorter regular expressions from finite-state automata (FAs). Although state elimination is an intuitive method for computing regular expressions from FAs, the resulting regular expressions are often very long and complicated. We examine the minimization of FAs to obtain shorter expressions first. Then, we introduce vertical chopping based on bridge states and horizontal chopping based on the structural properties of given FAs. We prove that we should not eliminate bridge states until we eliminate all non-bridge states to obtain shorter regular expressions. In addition, we suggest heuristics for state elimination that leads to shorter regular expressions based on vertical chopping and horizontal chopping.     

瞬时吸收率检测与高频噪声的剔除

在高分辨率处理过程中，由于地震数据记录中存在着一类并不被人们十分注意的，但影响却十分严重的高频噪声，使得高分辨率处理结果陷入一种“混沌”状态。为此，本文仔细分析和研究了这类噪声产生的物理机制和原因，并提出瞬时吸收率检测与高频噪声剔除的方法。