Disjoint essential sets of implicates of a CQ Horn function

In this paper we study a class of CQ Horn functions introduced in Boros et al. (Ann Math Artif Intell 57(3–4):249–291, 2010). We prove that given a CQ Horn function f, the maximal number of pairwise disjoint essential sets of implicates of f equals the minimum number of clauses in a CNF representing f. In other words, we prove that the maximum number of pairwise disjoint essential sets of implicates of f constitutes a tight lower bound on the size (the number of clauses) of any CNF representation of f.     

Weaknesses and improvement of Wang et al.'s remote user password authentication scheme for resource-limited environments

Recently, Wang et al. showed that two new verifier-free remote user password authentication schemes, Ku-Chen's scheme and Yoon et al.'s scheme, are vulnerable to an off-line password guessing attack, a forgery attack, and a denial-of-service attack, and then proposed an improved scheme for the real application in resource-limited environments. Unfortunately, we find that Wang et al.'s scheme is still vulnerable to an impersonation attack and an off-line password guessing attack. In addition, Wang et al.'s scheme is not easily reparable and is unable to provide perfect forward secrecy. Finally, we propose an improved scheme with better security strength.     

Mesh generation for confined fusion plasma simulation

XGC1 and M3D-C ¹ are two fusion plasma simulation codes being developed at Princeton Plasma Physics Laboratory. XGC1 uses the particle-in-cell method to simulate gyrokinetic neoclassical physics and turbulence (Chang et al. Phys Plasmas 16(5):056108, 2009; Ku et al. Nucl Fusion 49:115021, 2009; Admas et al. J Phys 180(1):012036, 2009). M3D-\(C^1\) solves the two-fluid resistive magnetohydrodynamic equations with the \(C^1\) finite elements (Jardin J comput phys 200(1):133–152, 2004; Jardin et al. J comput Phys 226(2):2146–2174, 2007; Ferraro and Jardin J comput Phys 228(20):7742–7770, 2009; Jardin J comput Phys 231(3):832–838, 2012; Jardin et al. Comput Sci Discov 5(1):014002, 2012; Ferraro et al. Sci Discov Adv Comput, 2012; Ferraro et al. International sherwood fusion theory conference, 2014). This paper presents the software tools and libraries that were combined to form the geometry and automatic meshing procedures for these codes. Specific consideration has been given to satisfy the mesh configuration and element shape quality constraints of XGC1 and M3D-\(C^1\).     

强耦合多变量模糊温度控制系统的研究

针对强耦合多变量温度控制系统进行了研究，系统是以中央温度和均匀温度作为输入，以加热元件和热风速度作为输出，形成了双输入-双输出温度控制系统。采用具有解耦功能的模糊控制，介绍了控制算法的步骤，根据实际情况提出了分段控制算法。实践表明该系统切实可行，达到了所要求的控制精度和目的。     

氧枪射流检测系统的分析与数据处理

介绍了一种多点压力快速检测系统,并通过对其采样速度、精度与软件设计的分析,最终完成氧枪射流测试实验的数据处理过程。     

Signal shaper with a distributed delay: Spectral analysis and design

Input shapers with time delays have proved useful in many applications related to controls for various oscillatory devices, for example flexible manipulators and cranes. In the paper, a novel approach for designing a zero-vibration signal shaper based on equally distributed delay is proposed. The parameter assessment of the shaper is based on the spectral approach. Various characteristics of the shaper are analyzed and compared with the classical zero-vibration shaper with a lumped delay. The analysis shows that the novel shaper is a slower, but more robust alternative to the classical shaper. Besides, the discrete implementation of the shaper is proposed and tested. It includes zero placement based parameter adjustment with the objective to preserve full compensation of the oscillatory mode by the discrete algorithm.     

Analyzing probabilistic pushdown automata

The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.