利用有限域上的向量空间构作带仲裁的认证码

This paper is devoted to constructing an authentication code with arbitration using subspaces of vector spaces over finite fields.Moreover,if we choose the encoding rules of the transmitter and the decoding rules of the receiver according to a uniform probability distribution,then some parameters and the probabilities of successful attacks are computed.     

A Note on Free Groups in the Ring of Fractions of Skew Polynomial Rings

Let L be a function field over the rationals and let D denote the skew field of fractions of L[t;σ], the skew polynomial ring in t, over L, with automorphism σ. We prove that the multiplicative group D ^× of D contains a free noncyclic subgroup.     

Empirical and DFT GIAO quantum‐mechanical methods of 13C chemical shifts prediction: competitors or collaborators?

The accuracy of ¹³C chemical shift prediction by both DFT GIAO quantum‐mechanical (QM) and empirical methods was compared using 205 structures for which experimental and QM‐calculated chemical shifts were published in the literature. For these structures, ¹³C chemical shifts were calculated using HOSE code and neural network (NN) algorithms developed within our laboratory. In total, 2531 chemical shifts were analyzed and statistically processed. It has been shown that, in general, QM methods are capable of providing similar but inferior accuracy to the empirical approaches, but quite frequently they give larger mean average error values. For the structural set examined in this work, the following mean absolute errors (MAEs) were found: MAE(HOSE) = 1.58 ppm, MAE(NN) = 1.91 ppm and MAE(QM) = 3.29 ppm. A strategy of combined application of both the empirical and DFT GIAO approaches is suggested. The strategy could provide a synergistic effect if the advantages intrinsic to each method are exploited. Copyright © 2010 John Wiley & Sons, Ltd.     

Finding dominators via disjoint set union

The problem of finding dominators in a directed graph has many important applications, notably in global optimization of computer code. Although linear and near-linear-time algorithms exist, they use sophisticated data structures. We develop an algorithm for finding dominators that uses only a “static tree” disjoint set data structure in addition to simple lists and maps. The algorithm runs in near-linear or linear time, depending on the implementation of the disjoint set data structure. We give several versions of the algorithm, including one that computes loop nesting information (needed in many kinds of global code optimization) and that can be made self-certifying, so that the correctness of the computed dominators is very easy to verify.     

矢量合成移相器

描述一种可靠性、价格、能耗和体积诸方面都优于机械相位调节器的新型电控移相器，它的工作原理基于矢量合成，故定名为矢量合成移相器。并已在兰州重离子加速器相位稳定系统０号、４号、６号机柜中代替机械相位调节器，取得了令人满意的结果。     

拟周期时滞耗散半线性波方程的惯性流形

本文研究了具有拟周期外力作用的时滞波方程解的长时间性态,利用斜积半流方法,在扩展相空间中将非自治系统提升成自治系统,利用算子半群理论及Lyapunov-Perron方法在一定的谱间隙条件和充分小的时滞假设下,证明了拟周期半线性时滞波方程惯性流形的存在性.     

保持算子乘积谱函数的映射

设A和B为无限维复Banach空间上的标准算子代数,记Δ~R(·)为下列谱函数之一:σ~R(·),σ_l~R(·),σ_r~R(·),σ_l~R(·)∩σ_r~R(·),(?)σ~R(·),(?)σ~R(·),σ_p~R(·),σ_c~R(·),σ_(ap)~R(·),σ_s~R(·),σ_(ap)~R(·)∩σ_s~R(·),σ_p~R(·)∩σ_c~R(·),σ_p~R(·)∪σ_c~R(·),其中R=A或B.证明了A和B之间的每个保持算子Jordan三乘积(算子乘积)之谱函数△~R(·)的满射Φ必有形式Φ=(?)π,其中(?)是1的立方根(1的平方根)而π或者是A和B之间的代数同构,或者是代数反同构.也获得不定度规空间上的标准算子代数之间保持算子斜乘积之谱函数的映射的完全刻画.     

近垒能区6Li+208Pb熔合激发函数测量

测量了6Li+208Pb熔合反应近垒能区全熔合截面,并与考虑非弹道耦合和不考虑耦合的CCFUS程序计算做了比较. 结果表明在垒上能区,破裂使熔合截面减小,在垒下能区,破裂对熔合截面的影响基本上可以忽略.     

从符号学出发的城市家具设计

本文从符号学的角度来分析城市家具的设计，是对设计如何满足现代社会发展需求的探索，从功能到符号，从符号到设计，设计不再是绘画的附属，而是建立符号系统的过程．