基于多维有限自动机的DFA改进算法

多个正则表达式规则编译成一个DFA(deter minister finite automata)时,会产生状态爆炸、存储急剧增加的现象。针对最严重的状态爆炸问题,从信息论的角度给出了解释,并提出多维数学模型,将冗余状态分为0维状态和1维状态,通过前者按照维度压缩,后者动态构建的方法将空间复杂度降到理论下界,并在此基础上提出多维有限自动机(MFA, multi-dimensional finite automata)。实验表明,MFA构造时间比XFA略少,比DFA、STT冗余压缩算法和Hybrid-FA降低了2~3个数量级;存储空间比XFA略高,比DFA、STT冗余压缩算法、mDFA、Hybrid-FA降低了1~2个数量级;匹配时间比DFA、Hybrid-FA略多,但是比XFA略少,比STT冗余压缩算法和mDFA降低了1~2个数量级。     

A Chemically Fuelled Molecular Automaton Displaying Programmed Migration of Zn2+ Between Alternative Binding Sites

A molecular system comprising a cationic zinc complex and an amino acid-derived ambident ligand having phosphate and carboxylate binding sites undergoes a series of rearrangements in which the metal cation migrates autonomously from one site to another. The location of the metal is identified by the circular dichroism spectrum of a ligated bis(2-quinolylmethyl)-(2-pyridylmethyl)amine (BQPA) chromophore, which takes a characteristic shape at each binding site. Migration is fuelled by the decomposition of trichloroacetic acid to CO₂ and CHCl₃, which progressively neutralises the acidity of the system as a function of time, revealing in sequence binding sites of increasing basicity. The migration rate responds to control by variation of the temperature, water content and triethylamine concentration, while an excess of fuel controls the duration of an induction period before the migration event.     

一种价格时间Petri网的状态空间计算

价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.     

面向变厚度柔性轧制工艺的帽型梁横向冲击吸能优化设计

作为汽车主要吸能构件的帽型梁的吸能提升设计是备受关注的问题.研究表明,通过优化薄壁结构的厚度可有效提升吸能性能,但复杂的厚度分布造成制造困难.针对可实现厚度调控的工艺,发展易制造的结构设计方法极为必要.本文基于变厚度柔性轧制工艺(variable gauge rolling, VGR)可实现厚度调控的特点,发展建立帽型梁横向冲击吸能优化设计方法.基于变厚度柔性轧制工艺生产的柔性轧制板(tailor rolled blanks, TRB)的特点,将受横向冲击的帽型薄壁梁设计成沿轴线分段变厚度、分段间设梯度过渡段的结构形式,通过调整各段厚度、分段位置和过渡层梯度变化规律,实现性能的优化.以应变能密度分布均匀为优化准则、基于混合元胞自动机(hybird cellular automata, HCA)方法构建优化模型和求解方法,并在迭代过程中施加满足轧制约束的过滤函数,使结构满足轧制工艺要求.其中,轧制约束的过滤函数由粒子群算法自动寻找.基于本文方法,具体设计了柔性轧制帽型梁横向冲击吸能最优的分段位置、各段厚度及过渡段厚度的梯度过渡方式,设计结果验证了方法的有效性.      

Regioselectivity Study on Propylene Polymerization Catalyzed by Neutral Salicyladiminato Pd（Ⅱ） Model Complex with DFT Method

Many attempts have been made to control the regioselectivity for olefin polymerization by varying the structures of ligands in catalysts. The regioselectivity of propylene polymerization was investigated by replacing a nitrogen atom in the Pd(Ⅱ) diimine catalyst with an oxygen atom from density functional theory method at the B3LYP/LANL2DZ level. The results show that the 1,2-insertion becomes a rival mechanism to the 2,1-insertion when the nitrogen atom is replaced by the oxygen atom leading to an asymmetric environment in the catalyst, and that the steric effect in the asymmetrical catalyst plays an important part in the polymerization. The insertion barrier from 2-O is much higher than that from 2-N. A pyramid transition state was characterized for the catalyst to convert 2-O back to 2-N through internal rotation. The propylene prefers to coordinate at the opposite side of O in the catalyst. This is the driving force for the internal rotation.The results are significant for isotactic and syndiotactic polymerization.     

Properties of Quantum Languages

The class of quantum languages Q() over an alphabet is the class of languages accepted by quantum automata. We study properties of Q() and compare Q() with the class of regular languages R(). It is shown that Q() is closed under union, intersection, and reversal but is not closed under complementation, concatenation, or Kleene star. It is also shown that Q() and R() are incomparable. Finally, we prove that L Q() if and only if L admits a transition amplitude function satisfying a certain property and a similar characterization is given for R().     

Discrete threshold growth dynamics are omnivorous for box neighborhoods

In the discrete threshold model for crystal growth in the plane we begin with some set of seed crystals and observe crystal growth over time by generating a sequence of subsets of by a deterministic rule. This rule is as follows: a site crystallizes when a threshold number of crystallized points appear in the site's prescribed neighborhood. The growth dynamics generated by this model are said to be omnivorous if finite and imply . In this paper we prove that the dynamics are omnivorous when the neighborhood is a box (i.e. when, for some fixed , the neighborhood of is . This result has important implications in the study of the first passage time when is chosen randomly with a sparse Bernoulli density and in the study of the limiting shape to which converges.

     

Parrondo Games as Lattice Gas Automata

Parrondo games are coin flipping games with the surprising property that alternating plays of two losing games can produce a winning game. We show that this phenomenon can be modelled by probabilistic lattice gas automata. Furthermore, motivated by the recent introduction of quantum coin flipping games, we show that quantum lattice gas automata provide an interesting definition for quantum Parrondo games.     

Diffusion in Lorentz lattice gas cellular automata: The honeycomb and quasi-lattices compared with the square and triangular lattices

We study numerically the nature of the diffusion process on a honeycomb and a quasi-lattice, where a point particle, moving along the bonds of the lattice, scatters from randomly placed scatterers on the lattice sites according to strictly deterministic rules. For the honeycomb lattice fully occupied by fixed rotators two (symmetric) isolated critical points appear to be present, with the same hyperscaling relation as for the square and the triangular lattices. No such points appear to exist for the quasi-lattice. A comprehensive comparison is made with the behavior on the previously studied square and triangular lattices. A great variety of diffusive behavior is found, ranging from propagation, superdiffusion, normal, quasi-normal, and anomalous, to absence of diffusion. The influence of the scattering rules as well as of the lattice structure on the diffusive behavior of a point particle moving on the all lattices studied so far is summarized.