Model predictive control of a rotary cement kiln

A first principles model of a cement kiln is used to control and optimize the burning of clinker in the cement production process. The model considers heat transfer between a gas and a feed state via convection and radiation. Furthermore, it contains effects such as chemical reactions, feed transport, energy losses and energy input. A model predictive controller is used to stabilize a temperature profile along the rotary kiln, guarantee good combustion conditions and maximize production. Moving horizon estimation was used for online estimation of selected model parameters and unmeasured states. Results from the pilot site are presented.     

可重构系统在线任务预约重调度算法

针对可重构系统的任务调度问题,提出一种基于最小裕度优先策略的在线任务预约重调度算法。该算法在任务预约的基础上,对预约失败的任务和已预约的任务按特定优先策略进行重调度。仿真实验结果显示,在正常负载率区间中,该算法有效降低了任务拒绝率,且运行开销较小。     

基于PTIDES执行策略的调度算法

分析现有PTIDES执行策略调度算法,综合考虑事件的截止期和执行时间,改进传统最小空闲时间优先算法,将空闲时间作为事件调度优先权,提出零空闲时间优先PTIDES调度算法——ZSFPTIDES。实例分析表明,ZSFPTIDES调度算法能避免事件在处理过程中因得不到及时处理而夭折的现象,减小事件的抢占切换率,优化分布实时嵌入式系统的调度性能。     

First-principles calculations of binary Al compounds: Enthalpies of formation and elastic properties

Systematic first-principles calculations of energy vs. volume (E-V) and single crystal elastic stiffness constants (c_ij’s) have been performed for 50 Al binary compounds in the Al-X (X = Co, Cu, Hf, Mg, Mn, Ni, Sr, V, Ti, Y, and Zr) systems. The E-V equations of state are fitted by a four-parameter Birch-Murnaghan equation, and the c_ij’s are determined by an efficient strain-stress method. The calculated lattice parameters, enthalpies of formation, and c_ij’s of these binary compounds are compared with the available experimental data in the literature. In addition, elastic properties of polycrystalline aggregates including bulk modulus (B), shear modulus (G), Young’s modulus (E), B/G (bulk/shear) ratio, and anisotropy ratio are calculated and compared with the experimental and theoretical results available in the literature. The systematic predictions of elastic properties and enthalpies of formation for Al-X compounds provide an insight into the understanding and design of Al-based alloys.     

Modeling of thermodynamic properties of ABr-PrBr3 (A=Li-Cs ) systems

The thermodynamic properties of ABr-PrBr₃(A=Li-Cs) systems were assessed by the CALPHAD method. The liquid phase in the systems was described by the non-stoichiometric associate model. The entropies of mixing in the liquid were evaluated from experimental liquidus and enthalpy of mixing data. For the pseudobinary compounds A₃PrBr₆,APr₂Br₇, and A₂PrBr₅ (A=K,Rb) and Cs₃PrBr₆ and CsPr₂Br₇, the dependences of Gibbs energies of formation on temperature were calculated. The anomalies of sequences of thermodynamic properties in RbBr-PrBr₃ were observed and discussed. The nature of the liquid phase and precision of calculations of the Rb₂PrBr₅(s) compound were discussed.     

基于不同排序方法的快速霍夫曼编码硬件实现

针对软件霍夫曼静态编码计算量大,而动态霍夫曼编码使得解码器同样复杂的缺点,提出了一种准动态霍夫曼硬件编码器。该编码器每次对一组数据序列进行静态编码,然后将编码并行输出,从而使得编码器具有较高的编码速度,而其延迟时间仅为一次编码过程的总时间。首先,为了充分利用硬件并行特性,分别使用动态排序和静态排序两种排序网络,以适应不同场合的编码需要。然后,使用数据流驱动的硬件二叉树构建和解析结构得到信源符号对应的霍夫曼编码。最后,将储存在FIFO中的输入数据查表并输出。设计结果表明,当使用Nexys4 DDR平台时,该编码器可以工作于100MHz以上的频率,同时具有吞吐高、延迟低、编码效率高和译码器简单的特性。     

Decision-theoretic planning with generalized first-order decision diagrams

Many tasks in AI require representation and manipulation of complex functions. First-Order Decision Diagrams (FODD) are a compact knowledge representation expressing functions over relational structures. They represent numerical functions that, when constrained to the Boolean range, use only existential quantification. Previous work has developed a set of operations for composition and for removing redundancies in FODDs, thus keeping them compact, and showed how to successfully employ FODDs for solving large-scale stochastic planning problems through the formalism of relational Markov decision processes (RMDP). In this paper, we introduce several new ideas enhancing the applicability of FODDs. More specifically, we first introduce Generalized FODDs (GFODD) and composition operations for them, generalizing FODDs to arbitrary quantification. Second, we develop a novel approach for reducing (G)FODDs using model checking. This yields – for the first time – a reduction that maximally reduces the diagram for the FODD case and provides a sound reduction procedure for GFODDs. Finally we show how GFODDs can be used in principle to solve RMDPs with arbitrary quantification, and develop a complete solution for the case where the reward function is specified using an arbitrary number of existential quantifiers followed by an arbitrary number of universal quantifiers.     

HFOLD - A program package for calculating two-body MSSM Higgs decays at full one-loop level

HFOLD (Higgs Full One Loop Decays) is a Fortran program package for calculating all MSSM Higgs two-body decay widths and the corresponding branching ratios at full one-loop level. The package is done in the SUSY Parameter Analysis convention and supports the SUSY Les Houches Accord input and output format.

Program summary

Program title: HFOLDCatalogue identifier: AEJG_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEJG_v1_0.htmlProgram obtainable from: CPC Program Library, Queen?s University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 340 621No. of bytes in distributed program, including test data, etc.: 1 760 051Distribution format: tar.gzProgramming language: Fortran 77Computer: Workstation, PCOperating system: LinuxRAM: 524 288 000 BytesClassification: 11.1External routines: LoopTools 2.2 (http://www.feynarts.de/looptools/), SLHALib 2.2 (http://www.feynarts.de/slha/). The LoopTools code is included in the distribution package.Nature of problem: A future high-energy e⁺e⁻ linear collider will be the best environment for the precise measurements of masses, cross sections, branching ratios, etc. Experimental accuracies are expected at the per-cent down to the per-mile level. These must be matched from the theoretical side. Therefore higher order calculations are mandatory.Solution method: This program package calculates all MSSM Higgs two-body decay widths and the corresponding branching ratios at full one-loop level. The renormalization is done in the DR scheme following the SUSY Parameter Analysis convention. The program supports the SUSY Les Houches Accord input and output format.Running time: The example provided takes only a few seconds to run.