Application of differential evolution for cascaded multilevel VSI with harmonics elimination PWM switching

Harmonic elimination pulse width modulation (HEPWM) method has been widely applied to multilevel voltage source inverter (MVSI) to remove low frequency harmonics from its output voltage. However, the computation of the HEPWM switching angles for MVSI is very challenging due to several constraints, namely angle sequencing, very tight angular spacing and the numerous possibilities of angles distribution ratio. Realizing the potential of Differential Evolution (DE) to handle complex problems, this work proposes its application to solve the HEPWM problem for cascaded MVSI. Its emphasis is on improving the availability of HEPWM for higher output voltage by extending the maximum range of modulation index (M). It also removes the discontinuities in the switching angles and reduces the number of distribution ratio required to obtain the required solution. Compared to the most advanced (similar) work, i.e., 7-level MVSI with seventeen switching angles, DE covers a wider range of M; the maximum achievable M is 2.80. Furthermore, it exhibits very low second order distortion factor (DF₂): for the worst case, the value of DF₂ is 0.0014%. To verify the viability of the proposed algorithm, simulation is carried out and hardware prototype is constructed. Both results show very good agreement with the theoretical prediction.     

高地压严重突出区域下向穿层钻孔预抽消突技术

利用工作面高抽巷施工掩护顺槽掘进工作面下向穿层条带预抽钻孔,通过对钻场底板深、浅孔注浆封堵围岩裂隙解决了孔内返水不畅难题;采取了"两堵一注"封孔方式确保封孔严密不漏气;孔内全程下吹水管,实现了单孔、分组、定时吹水工作目标,提高了下向消突钻孔抽采效果,形成了一套高效、快速的下向穿层钻孔消突管理模式,实现了高地压严重突出区域煤层高效消突以及技术经济一体化目标,安全经济效益显著。     

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。     

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.     

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

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

塔里木盆地塔中沙漠区高分辨率地震勘探效果

塔中沙漠区地表被北东—南西向条带状沙层所覆盖,地形起伏剧烈,松散沙层厚度变化巨大,给地震资料采集、处理、解释带来了很大的困难。通过联合攻关,从地震波激发能量下传和反射波接收的研究入手,实现了全部潜水面以下激发,因地制宜、避高就低埋置检波器优化观测系统;针对该区石炭系和志留系低幅度构造、薄储层圈闭难以落实,奥陶系内幕地震资料反射波能量弱、信噪比低、叠加成像困难等问题,开展了沙丘对地震波吸收衰减分析和补偿技术、地表一致性处理技术、多域迭代静校正技术、精细速度场模型确立和偏移成像等配套技术的研究开发与应用。从而极大地改善了塔中沙漠区地震资料的品质,使中深层的石炭系、志留系、奥陶系对应的地震剖面主频从18～20Hz提高到36～40Hz;形成了塔中沙漠区油气勘探技术系列,精细刻画了塔中Ⅰ号带,锁定了油气勘探目标,推动了台盆区油气勘探再掀新高潮。